0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 43649 87978 | 13094 0 0 nan | 0.000 % |
0.00/0.13 c | 0 | 42622 135832 | -- 0 -- -- | -- | -1027/47854
0.00/0.13 c ==============================================================================
0.00/0.13 c Result : #vars: 720 #clauses: 42622 #literals: 135832
0.00/0.13 c CPU time: 0.124981 s
0.00/0.13 c ==============================================================================
0.00/0.17 c This is MiniSat 2.0 beta
0.00/0.17 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.17 c ============================[ Problem Statistics ]=============================
0.00/0.17 c | |
0.00/0.17 c | Number of variables: 720 |
0.00/0.17 c | Number of clauses: 42622 |
0.00/0.19 c | Parsing time: 0.02 s |
0.00/0.19 c ============================[ Search Statistics ]==============================
0.00/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.19 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.19 c ===============================================================================
0.00/0.19 c | 0 | 720 42622 135832 | 14207 0 nan | 0.000 % |
0.16/0.20 c | 100 | 720 42622 135832 | 14207 100 52 | 0.000 % |
0.16/0.21 c | 200 | 720 42622 135832 | 14207 200 49 | 0.000 % |
0.16/0.22 c | 301 | 720 42622 135832 | 14207 301 51 | 0.000 % |
0.16/0.23 c | 411 | 720 42622 135832 | 14207 411 49 | 0.000 % |
0.16/0.23 c | 511 | 720 42622 135832 | 14207 511 45 | 0.023 % |
0.16/0.24 c | 621 | 720 42622 135832 | 14207 621 48 | 0.000 % |
0.16/0.25 c | 744 | 720 42622 135832 | 14207 744 47 | 0.000 % |
0.16/0.26 c | 844 | 720 42622 135832 | 14207 844 46 | 0.000 % |
0.16/0.27 c | 954 | 720 42622 135832 | 14207 954 46 | 0.000 % |
0.16/0.28 c | 1078 | 720 42622 135832 | 14207 1078 46 | 0.019 % |
0.16/0.29 c | 1211 | 720 42622 135832 | 14207 1211 48 | 0.000 % |
0.16/0.29 c | 1313 | 720 42622 135832 | 14207 1313 50 | 0.000 % |
0.16/0.30 c | 1426 | 720 42622 135832 | 14207 1426 51 | 0.000 % |
0.16/0.31 c | 1549 | 720 42622 135832 | 14207 1549 51 | 0.000 % |
0.16/0.32 c | 1685 | 720 42622 135832 | 14207 1685 53 | 0.000 % |
0.16/0.34 c | 1831 | 720 42622 135832 | 14207 1831 53 | 0.000 % |
0.16/0.34 c | 1931 | 720 42622 135832 | 14207 1931 52 | 0.000 % |
0.16/0.35 c | 2043 | 720 42622 135832 | 14207 2043 51 | 0.023 % |
0.16/0.36 c | 2164 | 720 42622 135832 | 14207 2164 53 | 0.000 % |
0.16/0.37 c | 2300 | 720 42622 135832 | 14207 2300 54 | 0.000 % |
0.16/0.39 c | 2446 | 720 42622 135832 | 14207 2446 54 | 0.000 % |
0.16/0.40 c | 2606 | 720 42622 135832 | 14207 2606 54 | 0.000 % |
0.16/0.41 c | 2713 | 720 42622 135832 | 14207 2713 54 | 0.000 % |
0.16/0.42 c | 2824 | 720 42622 135832 | 14207 2824 53 | 0.000 % |
0.16/0.43 c | 2946 | 720 42622 135832 | 14207 2946 54 | 0.000 % |
0.16/0.44 c | 3081 | 720 42622 135832 | 14207 3081 53 | 0.000 % |
0.16/0.46 c | 3227 | 720 42622 135832 | 14207 3227 55 | 0.000 % |
0.16/0.47 c | 3389 | 720 42622 135832 | 14207 3389 55 | 0.000 % |
0.16/0.48 c | 3565 | 720 42622 135832 | 14207 3565 54 | 0.000 % |
0.16/0.50 c | 3665 | 720 42622 135832 | 14207 3665 55 | 0.000 % |
0.16/0.51 c | 3776 | 720 42622 135832 | 14207 3776 55 | 0.000 % |
0.16/0.52 c | 3897 | 720 42622 135832 | 14207 3897 54 | 0.000 % |
0.16/0.53 c | 4030 | 720 42622 135832 | 14207 4030 54 | 0.000 % |
0.16/0.55 c | 4176 | 720 42622 135832 | 14207 4176 55 | 0.000 % |
0.16/0.56 c | 4341 | 720 42622 135832 | 14207 4341 55 | 0.000 % |
0.16/0.58 c | 4517 | 720 42622 135832 | 14207 4517 54 | 0.026 % |
0.16/0.60 c | 4711 | 720 42622 135832 | 14207 4711 55 | 0.000 % |
0.16/0.62 c | 4811 | 720 42622 135832 | 14207 4811 55 | 0.000 % |
0.16/0.63 c | 4923 | 720 42622 135832 | 14207 4923 55 | 0.024 % |
0.16/0.64 c | 5046 | 720 42622 135832 | 14207 5046 54 | 0.026 % |
0.16/0.66 c | 5180 | 720 42622 135832 | 14207 5180 54 | 0.000 % |
0.16/0.67 c | 5326 | 720 42622 135832 | 14207 5326 55 | 0.000 % |
0.16/0.69 c | 5486 | 720 42622 135832 | 14207 5486 55 | 0.000 % |
0.16/0.71 c | 5663 | 720 42622 135832 | 14207 5663 55 | 0.000 % |
0.16/0.73 c | 5856 | 720 42622 135832 | 14207 5856 54 | 0.027 % |
0.16/0.76 c | 6068 | 720 42622 135832 | 14207 6068 54 | 0.027 % |
0.16/0.77 c | 6170 | 720 42622 135832 | 14207 6170 54 | 0.000 % |
0.16/0.78 c | 6281 | 720 42622 135832 | 14207 6281 55 | 0.000 % |
0.16/0.80 c | 6403 | 720 42622 135832 | 14207 6403 54 | 0.000 % |
0.16/0.81 c | 6536 | 720 42622 135832 | 14207 6536 54 | 0.018 % |
0.16/0.83 c | 6682 | 720 42622 135832 | 14207 6682 55 | 0.000 % |
0.16/0.85 c | 6842 | 720 42622 135832 | 14207 6842 56 | 0.000 % |
0.16/0.88 c | 7018 | 720 42622 135832 | 14207 7018 56 | 0.000 % |
0.16/0.90 c | 7211 | 720 42622 135832 | 14207 7211 56 | 0.000 % |
0.16/0.93 c | 7423 | 720 42622 135832 | 14207 7423 56 | 0.029 % |
0.16/0.96 c | 7657 | 720 42622 135832 | 14207 7657 56 | 0.000 % |
0.16/0.97 c | 7759 | 720 42622 135832 | 14207 7759 56 | 0.020 % |
0.16/0.99 c | 7869 | 720 42622 135832 | 14207 7869 55 | 0.020 % |
0.97/1.01 c | 7990 | 720 42622 135832 | 14207 7990 55 | 0.000 % |
0.97/1.03 c | 8123 | 720 42622 135832 | 14207 8123 55 | 0.024 % |
0.97/1.05 c | 8270 | 720 42622 135832 | 14207 8270 55 | 0.024 % |
0.97/1.06 c | 8430 | 720 42622 135832 | 14207 8430 55 | 0.000 % |
0.97/1.09 c | 8608 | 720 42622 135832 | 14207 8608 54 | 0.000 % |
1.07/1.11 c | 8801 | 720 42622 135832 | 14207 8801 54 | 0.000 % |
1.07/1.14 c | 9017 | 720 42622 135832 | 14207 9017 54 | 0.024 % |
1.07/1.17 c | 9250 | 720 42622 135832 | 14207 9250 55 | 0.000 % |
1.18/1.21 c | 9509 | 720 42622 135832 | 14207 9509 54 | 0.000 % |
1.18/1.23 c | 9611 | 720 42622 135832 | 14207 9611 55 | 0.000 % |
1.18/1.24 c | 9723 | 720 42622 135832 | 14207 9723 55 | 0.000 % |
1.18/1.26 c | 9844 | 720 42622 135832 | 14207 9844 55 | 0.000 % |
1.18/1.28 c | 9978 | 720 42622 135832 | 14207 9978 55 | 0.026 % |
1.27/1.30 c | 10124 | 720 42622 135832 | 2147483647 10124 55 | 0.000 % |
1.27/1.33 c | 10285 | 720 42622 135832 | 2147483647 10285 55 | 0.000 % |
1.27/1.35 c | 10462 | 720 42622 135832 | 2147483647 10462 55 | 0.026 % |
1.27/1.38 c | 10655 | 720 42622 135832 | 2147483647 10655 55 | 0.000 % |
1.37/1.41 c | 10867 | 720 42622 135832 | 2147483647 10867 54 | 0.025 % |
1.37/1.45 c | 11104 | 720 42622 135832 | 2147483647 11104 54 | 0.025 % |
1.47/1.50 c | 11361 | 720 42622 135832 | 2147483647 11361 54 | 0.000 % |
1.47/1.55 c | 11642 | 720 42622 135832 | 2147483647 11642 54 | 0.027 % |
1.47/1.56 c | 11745 | 720 42622 135832 | 2147483647 11745 54 | 0.027 % |
1.47/1.58 c | 11855 | 720 42622 135832 | 2147483647 11855 53 | 0.026 % |
1.57/1.61 c | 11977 | 720 42622 135832 | 2147483647 11977 53 | 0.022 % |
1.57/1.63 c | 12113 | 720 42622 135832 | 2147483647 12113 53 | 0.022 % |
1.57/1.66 c | 12259 | 720 42622 135832 | 2147483647 12259 53 | 0.027 % |
1.57/1.69 c | 12419 | 720 42622 135832 | 2147483647 12419 52 | 0.027 % |
1.67/1.72 c | 12596 | 720 42622 135832 | 2147483647 12596 52 | 0.022 % |
1.67/1.76 c | 12791 | 720 42622 135832 | 2147483647 12791 53 | 0.000 % |
1.67/1.80 c | 13003 | 720 42622 135832 | 2147483647 13003 53 | 0.000 % |
1.77/1.84 c | 13236 | 720 42622 135832 | 2147483647 13236 53 | 0.000 % |
1.77/1.88 c | 13492 | 720 42622 135832 | 2147483647 13492 54 | 0.000 % |
1.87/1.93 c | 13773 | 720 42622 135832 | 2147483647 13773 54 | 0.000 % |
1.87/1.99 c | 14083 | 720 42622 135832 | 2147483647 14083 54 | 0.000 % |
1.97/2.02 c | 14183 | 720 42622 135832 | 2147483647 14183 55 | 0.000 % |
1.97/2.04 c | 14294 | 720 42622 135832 | 2147483647 14294 55 | 0.000 % |
1.97/2.07 c | 14417 | 720 42622 135832 | 2147483647 14417 55 | 0.000 % |
2.07/2.10 c | 14552 | 720 42622 135832 | 2147483647 14552 55 | 0.000 % |
2.07/2.13 c | 14699 | 720 42622 135832 | 2147483647 14699 55 | 0.000 % |
2.07/2.16 c | 14859 | 720 42622 135832 | 2147483647 14859 55 | 0.000 % |
2.07/2.19 c | 15036 | 720 42622 135832 | 2147483647 15036 55 | 0.000 % |
2.17/2.23 c | 15229 | 720 42622 135832 | 2147483647 15229 55 | 0.000 % |
2.17/2.27 c | 15441 | 720 42622 135832 | 2147483647 15441 56 | 0.000 % |
2.27/2.33 c | 15677 | 720 42622 135832 | 2147483647 15677 56 | 0.000 % |
2.27/2.38 c | 15935 | 720 42622 135832 | 2147483647 15935 55 | 0.019 % |
2.37/2.44 c | 16218 | 720 42622 135832 | 2147483647 16218 55 | 0.023 % |
2.46/2.50 c | 16528 | 720 42622 135832 | 2147483647 16528 55 | 0.023 % |
2.46/2.59 c | 16867 | 720 42622 135832 | 2147483647 16867 55 | 0.000 % |
2.56/2.61 c | 16969 | 720 42622 135832 | 2147483647 16969 56 | 0.000 % |
2.56/2.63 c | 17079 | 720 42622 135832 | 2147483647 17079 56 | 0.000 % |
2.56/2.66 c | 17202 | 720 42622 135832 | 2147483647 17202 56 | 0.000 % |
2.66/2.70 c | 17335 | 720 42622 135832 | 2147483647 17335 56 | 0.000 % |
2.66/2.74 c | 17481 | 720 42622 135832 | 2147483647 17481 56 | 0.000 % |
2.66/2.78 c | 17641 | 720 42622 135832 | 2147483647 17641 56 | 0.000 % |
2.76/2.82 c | 17818 | 720 42622 135832 | 2147483647 17818 56 | 0.000 % |
2.76/2.87 c | 18019 | 720 42622 135832 | 2147483647 18019 56 | 0.000 % |
2.86/2.93 c | 18232 | 720 42622 135832 | 2147483647 18232 56 | 0.000 % |
2.86/2.98 c | 18465 | 720 42622 135832 | 2147483647 18465 56 | 0.000 % |
2.97/3.03 c | 18721 | 720 42622 135832 | 2147483647 18721 56 | 0.025 % |
3.07/3.10 c | 19004 | 720 42622 135832 | 2147483647 19004 56 | 0.000 % |
3.17/3.20 c | 19313 | 720 42622 135832 | 2147483647 19313 56 | 0.000 % |
3.17/3.28 c | 19653 | 720 42622 135832 | 2147483647 19653 56 | 0.000 % |
3.27/3.40 c | 20027 | 720 42622 135832 | 2147483647 20027 57 | 0.000 % |
3.37/3.43 c | 20127 | 720 42622 135832 | 2147483647 20127 57 | 0.000 % |
3.37/3.46 c | 20237 | 720 42622 135832 | 2147483647 20237 57 | 0.000 % |
3.37/3.49 c | 20358 | 720 42622 135832 | 2147483647 20358 57 | 0.000 % |
3.46/3.52 c | 20491 | 720 42622 135832 | 2147483647 20491 57 | 0.000 % |
3.46/3.55 c | 20641 | 720 42622 135832 | 2147483647 20641 57 | 0.027 % |
3.46/3.59 c | 20802 | 720 42622 135832 | 2147483647 20802 57 | 0.027 % |
3.56/3.63 c | 20979 | 720 42622 135832 | 2147483647 20979 57 | 0.000 % |
3.56/3.68 c | 21173 | 720 42622 135832 | 2147483647 21173 57 | 0.000 % |
3.66/3.74 c | 21385 | 720 42622 135832 | 2147483647 21385 57 | 0.000 % |
3.66/3.80 c | 21620 | 720 42622 135832 | 2147483647 21620 57 | 0.000 % |
3.76/3.87 c | 21876 | 720 42622 135832 | 2147483647 21876 57 | 0.000 % |
3.86/3.93 c | 22158 | 720 42622 135832 | 2147483647 22158 57 | 0.028 % |
3.86/4.00 c | 22468 | 720 42622 135832 | 2147483647 22468 56 | 0.021 % |
3.96/4.08 c | 22808 | 720 42622 135832 | 2147483647 22808 56 | 0.019 % |
4.06/4.17 c | 23181 | 720 42622 135832 | 2147483647 23181 56 | 0.021 % |
4.16/4.27 c | 23590 | 720 42622 135832 | 2147483647 23590 56 | 0.000 % |
4.27/4.31 c | 23690 | 720 42622 135832 | 2147483647 23690 56 | 0.000 % |
4.27/4.34 c | 23800 | 720 42622 135832 | 2147483647 23800 56 | 0.000 % |
4.27/4.38 c | 23923 | 720 42622 135832 | 2147483647 23923 56 | 0.000 % |
4.36/4.42 c | 24056 | 720 42622 135832 | 2147483647 24056 56 | 0.000 % |
4.36/4.47 c | 24202 | 720 42622 135832 | 2147483647 24202 56 | 0.000 % |
4.46/4.51 c | 24363 | 720 42622 135832 | 2147483647 24363 56 | 0.000 % |
4.46/4.57 c | 24539 | 720 42622 135832 | 2147483647 24539 56 | 0.000 % |
4.56/4.65 c | 24733 | 720 42622 135832 | 2147483647 24733 56 | 0.000 % |
4.66/4.71 c | 24945 | 720 42622 135832 | 2147483647 24945 56 | 0.000 % |
4.66/4.79 c | 25178 | 720 42622 135832 | 2147483647 25178 56 | 0.000 % |
4.76/4.85 c | 25435 | 720 42622 135832 | 2147483647 25435 56 | 0.000 % |
4.86/4.94 c | 25716 | 720 42622 135832 | 2147483647 25716 56 | 0.000 % |
4.96/5.02 c | 26027 | 720 42622 135832 | 2147483647 26027 57 | 0.000 % |
5.07/5.17 c | 26367 | 720 42622 135832 | 2147483647 26367 57 | 0.000 % |
5.26/5.32 c | 26740 | 720 42622 135832 | 2147483647 26740 57 | 0.000 % |
5.37/5.45 c | 27150 | 720 42622 135832 | 2147483647 27150 57 | 0.000 % |
5.47/5.59 c | 27600 | 720 42622 135832 | 2147483647 27600 57 | 0.000 % |
5.56/5.61 c | 27700 | 720 42622 135832 | 2147483647 27700 57 | 0.027 % |
5.56/5.65 c | 27810 | 720 42622 135832 | 2147483647 27810 57 | 0.000 % |
5.56/5.69 c | 27932 | 720 42622 135832 | 2147483647 27932 57 | 0.020 % |
5.66/5.74 c | 28065 | 720 42622 135832 | 2147483647 28065 57 | 0.020 % |
5.66/5.79 c | 28211 | 720 42622 135832 | 2147483647 28211 57 | 0.000 % |
5.76/5.85 c | 28371 | 720 42622 135832 | 2147483647 28371 57 | 0.000 % |
5.86/5.93 c | 28547 | 720 42622 135832 | 2147483647 28547 57 | 0.000 % |
5.96/6.02 c | 28741 | 720 42622 135832 | 2147483647 28741 57 | 0.000 % |
6.06/6.11 c | 28953 | 720 42622 135832 | 2147483647 28953 57 | 0.000 % |
6.16/6.21 c | 29187 | 720 42622 135832 | 2147483647 29187 57 | 0.000 % |
6.26/6.30 c | 29443 | 720 42622 135832 | 2147483647 29443 57 | 0.000 % |
6.36/6.40 c | 29725 | 720 42622 135832 | 2147483647 29725 57 | 0.000 % |
6.46/6.52 c | 30036 | 720 42622 135832 | 2147483647 30036 57 | 0.000 % |
6.56/6.66 c | 30376 | 720 42622 135832 | 2147483647 30376 57 | 0.000 % |
6.76/6.81 c | 30750 | 720 42622 135832 | 2147483647 30750 58 | 0.000 % |
6.86/6.95 c | 31162 | 720 42622 135832 | 2147483647 31162 57 | 0.000 % |
7.06/7.10 c | 31611 | 720 42622 135832 | 2147483647 31611 57 | 0.028 % |
7.16/7.29 c | 32104 | 720 42622 135832 | 2147483647 32104 57 | 0.028 % |
7.26/7.33 c | 32204 | 720 42622 135832 | 2147483647 32204 57 | 0.000 % |
7.26/7.37 c | 32314 | 720 42622 135832 | 2147483647 32314 57 | 0.019 % |
7.35/7.41 c | 32436 | 720 42622 135832 | 2147483647 32436 57 | 0.019 % |
7.35/7.47 c | 32569 | 720 42622 135832 | 2147483647 32569 57 | 0.000 % |
7.45/7.53 c | 32718 | 720 42622 135832 | 2147483647 32718 57 | 0.000 % |
7.45/7.59 c | 32878 | 720 42622 135832 | 2147483647 32878 57 | 0.000 % |
7.56/7.67 c | 33057 | 720 42622 135832 | 2147483647 33057 57 | 0.022 % |
7.66/7.75 c | 33255 | 720 42622 135832 | 2147483647 33255 57 | 0.000 % |
7.75/7.82 c | 33469 | 720 42622 135832 | 2147483647 33469 57 | 0.029 % |
7.85/7.90 c | 33708 | 720 42622 135832 | 2147483647 33708 57 | 0.029 % |
7.95/8.00 c | 33964 | 720 42622 135832 | 2147483647 33964 57 | 0.000 % |
8.05/8.10 c | 34246 | 720 42622 135832 | 2147483647 34246 57 | 0.000 % |
8.15/8.23 c | 34555 | 720 42622 135832 | 2147483647 34555 57 | 0.000 % |
8.25/8.35 c | 34894 | 720 42622 135832 | 2147483647 34894 58 | 0.000 % |
8.45/8.50 c | 35267 | 720 42622 135832 | 2147483647 35267 58 | 0.000 % |
8.56/8.63 c | 35677 | 720 42622 135832 | 2147483647 35677 58 | 0.000 % |
8.77/8.81 c | 36127 | 720 42622 135832 | 2147483647 36127 58 | 0.000 % |
8.96/9.08 c | 36620 | 720 42622 135832 | 2147483647 36620 58 | 0.000 % |
9.26/9.33 c | 37162 | 720 42622 135832 | 2147483647 37162 58 | 0.000 % |
9.26/9.38 c | 37264 | 720 42622 135832 | 2147483647 37264 58 | 0.000 % |
9.36/9.43 c | 37376 | 720 42622 135832 | 2147483647 37376 58 | 0.000 % |
9.36/9.49 c | 37499 | 720 42622 135832 | 2147483647 37499 58 | 0.000 % |
9.46/9.54 c | 37633 | 720 42622 135832 | 2147483647 37633 58 | 0.000 % |
9.46/9.59 c | 37779 | 720 42622 135832 | 2147483647 37779 58 | 0.000 % |
9.56/9.67 c | 37940 | 720 42622 135832 | 2147483647 37940 57 | 0.000 % |
9.66/9.73 c | 38117 | 720 42622 135832 | 2147483647 38117 57 | 0.000 % |
9.76/9.83 c | 38312 | 720 42622 135832 | 2147483647 38312 57 | 0.026 % |
9.86/9.92 c | 38524 | 720 42622 135832 | 2147483647 38524 57 | 0.026 % |
9.96/10.07 c | 38758 | 720 42622 135832 | 2147483647 38758 57 | 0.000 % |
10.06/10.19 c | 39014 | 720 42622 135832 | 2147483647 39014 57 | 0.000 % |
10.26/10.39 c | 39296 | 720 42622 135832 | 2147483647 39296 58 | 0.000 % |
10.46/10.57 c | 39605 | 720 42622 135832 | 2147483647 39605 58 | 0.000 % |
10.66/10.72 c | 39944 | 720 42622 135832 | 2147483647 39944 58 | 0.023 % |
10.76/10.90 c | 40320 | 720 42622 135832 | 2147483647 40320 58 | 0.000 % |
10.96/11.08 c | 40729 | 720 42622 135832 | 2147483647 40729 57 | 0.000 % |
11.16/11.28 c | 41181 | 720 42622 135832 | 2147483647 41181 57 | 0.026 % |
11.46/11.55 c | 41676 | 720 42622 135832 | 2147483647 41676 57 | 0.026 % |
11.76/11.86 c | 42221 | 720 42622 135832 | 2147483647 42221 57 | 0.023 % |
12.06/12.19 c | 42818 | 720 42622 135832 | 2147483647 42818 56 | 0.023 % |
12.16/12.23 c | 42919 | 720 42622 135832 | 2147483647 42919 56 | 0.000 % |
12.16/12.29 c | 43029 | 720 42622 135832 | 2147483647 43029 56 | 0.023 % |
12.26/12.38 c | 43152 | 720 42622 135832 | 2147483647 43152 57 | 0.000 % |
12.36/12.44 c | 43285 | 720 42622 135832 | 2147483647 43285 57 | 0.000 % |
12.46/12.52 c | 43432 | 720 42622 135832 | 2147483647 43432 57 | 0.000 % |
12.56/12.61 c | 43592 | 720 42622 135832 | 2147483647 43592 57 | 0.000 % |
12.66/12.76 c | 43770 | 720 42622 135832 | 2147483647 43770 57 | 0.000 % |
12.76/12.87 c | 43963 | 720 42622 135832 | 2147483647 43963 57 | 0.000 % |
12.86/12.99 c | 44175 | 720 42622 135832 | 2147483647 44175 57 | 0.000 % |
12.96/13.10 c | 44410 | 720 42622 135832 | 2147483647 44410 57 | 0.000 % |
13.16/13.26 c | 44666 | 720 42622 135832 | 2147483647 44666 57 | 0.000 % |
13.35/13.47 c | 44947 | 720 42622 135832 | 2147483647 44947 57 | 0.000 % |
13.55/13.63 c | 45258 | 720 42622 135832 | 2147483647 45258 57 | 0.026 % |
13.75/13.84 c | 45599 | 720 42622 135832 | 2147483647 45599 57 | 0.000 % |
13.95/14.04 c | 45976 | 720 42622 135832 | 2147483647 45976 57 | 0.000 % |
14.15/14.29 c | 46387 | 720 42622 135832 | 2147483647 46387 57 | 0.000 % |
14.55/14.63 c | 46837 | 720 42622 135832 | 2147483647 46837 57 | 0.000 % |
14.85/14.97 c | 47330 | 720 42622 135832 | 2147483647 47330 57 | 0.028 % |
15.25/15.32 c | 47876 | 720 42622 135832 | 2147483647 47876 57 | 0.028 % |
15.55/15.64 c | 48472 | 720 42622 135832 | 2147483647 48472 57 | 0.000 % |
15.95/16.00 c | 49130 | 720 42622 135832 | 2147483647 49130 57 | 0.028 % |
15.95/16.07 c | 49232 | 720 42622 135832 | 2147483647 49232 57 | 0.000 % |
16.05/16.14 c | 49343 | 720 42622 135832 | 2147483647 49343 57 | 0.028 % |
16.05/16.20 c | 49464 | 720 42622 135832 | 2147483647 49464 57 | 0.028 % |
16.15/16.28 c | 49597 | 720 42622 135832 | 2147483647 49597 57 | 0.000 % |
16.35/16.41 c | 49744 | 720 42622 135832 | 2147483647 49744 57 | 0.000 % |
16.45/16.51 c | 49905 | 720 42622 135832 | 2147483647 49905 57 | 0.000 % |
16.55/16.64 c | 50081 | 720 42622 135832 | 2147483647 50081 57 | 0.000 % |
16.65/16.78 c | 50274 | 720 42622 135832 | 2147483647 50274 57 | 0.000 % |
16.86/16.92 c | 50486 | 720 42622 135832 | 2147483647 50486 57 | 0.000 % |
16.96/17.08 c | 50719 | 720 42622 135832 | 2147483647 50719 57 | 0.000 % |
17.15/17.25 c | 50979 | 720 42622 135832 | 2147483647 50979 57 | 0.000 % |
17.35/17.41 c | 51260 | 720 42622 135832 | 2147483647 51260 57 | 0.020 % |
17.46/17.54 c | 51569 | 720 42622 135832 | 2147483647 51569 57 | 0.020 % |
17.65/17.76 c | 51908 | 720 42622 135832 | 2147483647 51908 57 | 0.000 % |
17.85/17.93 c | 52280 | 720 42622 135832 | 2147483647 52280 57 | 0.000 % |
18.05/18.15 c | 52689 | 720 42622 135832 | 2147483647 52689 57 | 0.000 % |
18.35/18.43 c | 53138 | 720 42622 135832 | 2147483647 53138 57 | 0.022 % |
18.56/18.67 c | 53631 | 720 42622 135832 | 2147483647 53631 56 | 0.000 % |
18.95/19.00 c | 54173 | 720 42622 135832 | 2147483647 54173 56 | 0.000 % |
19.25/19.30 c | 54772 | 720 42622 135832 | 2147483647 54772 56 | 0.020 % |
19.55/19.69 c | 55427 | 720 42622 135832 | 2147483647 55427 56 | 0.000 % |
19.95/20.09 c | 56147 | 720 42622 135832 | 2147483647 56147 56 | 0.020 % |
20.05/20.14 c | 56250 | 720 42622 135832 | 2147483647 56250 56 | 0.000 % |
20.05/20.19 c | 56360 | 720 42622 135832 | 2147483647 56360 56 | 0.029 % |
20.15/20.26 c | 56481 | 720 42622 135832 | 2147483647 56481 56 | 0.000 % |
20.25/20.31 c | 56614 | 720 42622 135832 | 2147483647 56614 56 | 0.000 % |
20.25/20.38 c | 56761 | 720 42622 135832 | 2147483647 56761 56 | 0.020 % |
20.35/20.46 c | 56922 | 720 42622 135832 | 2147483647 56922 56 | 0.026 % |
20.45/20.56 c | 57100 | 720 42622 135832 | 2147483647 57100 56 | 0.000 % |
20.55/20.67 c | 57293 | 720 42622 135832 | 2147483647 57293 56 | 0.000 % |
20.75/20.80 c | 57505 | 720 42622 135832 | 2147483647 57505 56 | 0.020 % |
20.95/21.02 c | 57742 | 720 42622 135832 | 2147483647 57742 56 | 0.000 % |
21.05/21.19 c | 57999 | 720 42622 135832 | 2147483647 57999 56 | 0.000 % |
21.25/21.38 c | 58281 | 720 42622 135832 | 2147483647 58281 56 | 0.024 % |
21.45/21.58 c | 58591 | 720 42622 135832 | 2147483647 58591 55 | 0.000 % |
21.75/21.81 c | 58930 | 720 42622 135832 | 2147483647 58930 56 | 0.000 % |
22.05/22.11 c | 59304 | 720 42622 135832 | 2147483647 59304 56 | 0.000 % |
22.35/22.40 c | 59713 | 720 42622 135832 | 2147483647 59713 56 | 0.000 % |
22.65/22.76 c | 60168 | 720 42622 135832 | 60001 60168 56 | 0.026 % |
22.95/23.06 c | 60662 | 720 42622 135832 | 60001 51913 54 | 0.026 % |
23.25/23.36 c | 61205 | 720 42622 135832 | 60001 52456 54 | 0.000 % |
23.65/23.71 c | 61801 | 720 42622 135832 | 60001 53052 54 | 0.000 % |
24.05/24.13 c | 62458 | 720 42622 135832 | 60001 53709 54 | 0.000 % |
24.35/24.48 c | 63182 | 720 42622 135832 | 60001 54433 54 | 0.000 % |
24.85/24.91 c | 63974 | 720 42622 135832 | 60001 55225 54 | 0.026 % |
24.95/25.00 c | 64077 | 720 42622 135832 | 60001 55328 54 | 0.026 % |
25.05/25.10 c | 64189 | 720 42622 135832 | 60001 55440 54 | 0.000 % |
25.05/25.19 c | 64310 | 720 42622 135832 | 60001 55561 54 | 0.000 % |
25.15/25.27 c | 64443 | 720 42622 135832 | 60001 55694 54 | 0.000 % |
25.25/25.34 c | 64589 | 720 42622 135832 | 60001 55840 54 | 0.000 % |
25.34/25.49 c | 64749 | 720 42622 135832 | 60001 56000 54 | 0.000 % |
25.54/25.60 c | 64925 | 720 42622 135832 | 60001 56176 54 | 0.000 % |
25.64/25.74 c | 65119 | 720 42622 135832 | 60001 56370 54 | 0.023 % |
25.74/25.86 c | 65333 | 720 42622 135832 | 60001 56584 54 | 0.000 % |
25.94/26.02 c | 65570 | 720 42622 135832 | 60001 56821 54 | 0.023 % |
26.14/26.23 c | 65826 | 720 42622 135832 | 60001 57077 54 | 0.000 % |
26.25/26.39 c | 66109 | 720 42622 135832 | 60001 57360 54 | 0.000 % |
26.44/26.54 c | 66420 | 720 42622 135832 | 60001 57671 54 | 0.000 % |
26.64/26.75 c | 66759 | 720 42622 135832 | 60001 58010 54 | 0.000 % |
26.94/27.02 c | 67132 | 720 42622 135832 | 60001 58383 54 | 0.024 % |
27.24/27.31 c | 67543 | 720 42622 135832 | 60001 58794 54 | 0.000 % |
27.54/27.69 c | 67993 | 720 42622 135832 | 60001 59244 54 | 0.000 % |
27.84/28.00 c | 68486 | 720 42622 135832 | 60001 59737 54 | 0.000 % |
28.24/28.33 c | 69029 | 720 42622 135832 | 60001 60280 54 | 0.000 % |
28.74/28.84 c | 69626 | 720 42622 135832 | 60001 51229 52 | 0.000 % |
29.14/29.23 c | 70281 | 720 42622 135832 | 51605 51884 52 | 0.000 % |
29.44/29.57 c | 71002 | 720 42622 135832 | 51605 44372 48 | 0.027 % |
29.94/30.03 c | 71794 | 720 42622 135832 | 51605 45164 49 | 0.000 % |
30.24/30.40 c | 72665 | 720 42622 135832 | 51605 46035 50 | 0.000 % |
30.34/30.45 c | 72766 | 720 42622 135832 | 51605 46136 50 | 0.000 % |
30.44/30.51 c | 72876 | 720 42622 135832 | 51605 46246 50 | 0.000 % |
30.44/30.59 c | 72997 | 720 42622 135832 | 51605 46367 50 | 0.025 % |
30.54/30.66 c | 73130 | 720 42622 135832 | 51605 46500 50 | 0.023 % |
30.64/30.72 c | 73276 | 720 42622 135832 | 51605 46646 50 | 0.023 % |
30.64/30.79 c | 73438 | 720 42622 135832 | 51605 46808 50 | 0.000 % |
30.74/30.90 c | 73617 | 720 42622 135832 | 51605 46987 50 | 0.000 % |
30.84/30.97 c | 73810 | 720 42622 135832 | 51605 47180 50 | 0.000 % |
30.94/31.08 c | 74022 | 720 42622 135832 | 51605 47392 50 | 0.000 % |
31.14/31.22 c | 74256 | 720 42622 135832 | 51605 47626 50 | 0.000 % |
31.24/31.34 c | 74513 | 720 42622 135832 | 51605 47883 50 | 0.000 % |
31.34/31.48 c | 74796 | 720 42622 135832 | 51605 48166 50 | 0.000 % |
31.54/31.66 c | 75108 | 720 42622 135832 | 51605 48478 50 | 0.000 % |
31.74/31.82 c | 75448 | 720 42622 135832 | 51605 48818 50 | 0.000 % |
31.94/32.08 c | 75821 | 720 42622 135832 | 51605 49191 50 | 0.000 % |
32.24/32.30 c | 76231 | 720 42622 135832 | 51605 49601 51 | 0.000 % |
32.44/32.59 c | 76682 | 720 42622 135832 | 51605 50052 51 | 0.000 % |
32.74/32.86 c | 77177 | 720 42622 135832 | 51605 50547 51 | 0.000 % |
33.04/33.19 c | 77721 | 720 42622 135832 | 51605 51091 51 | 0.021 % |
33.33/33.49 c | 78318 | 720 42622 135832 | 51605 51688 51 | 0.020 % |
33.73/33.85 c | 78973 | 720 42622 135832 | 51605 45546 50 | 0.000 % |
34.13/34.27 c | 79696 | 720 42622 135832 | 51605 46269 50 | 0.000 % |
34.63/34.73 c | 80489 | 720 42622 135832 | 46573 41120 49 | 0.000 % |
35.14/35.20 c | 81361 | 720 42622 135832 | 46573 41992 49 | 0.000 % |
35.53/35.66 c | 82319 | 720 42622 135832 | 46573 42950 49 | 0.000 % |
35.63/35.73 c | 82419 | 720 42622 135832 | 46573 43050 49 | 0.000 % |
35.63/35.79 c | 82532 | 720 42622 135832 | 46573 43163 49 | 0.000 % |
35.73/35.88 c | 82653 | 720 42622 135832 | 46573 43284 49 | 0.000 % |
35.83/35.96 c | 82787 | 720 42622 135832 | 46573 43418 49 | 0.000 % |
35.93/36.05 c | 82933 | 720 42622 135832 | 46573 43564 49 | 0.000 % |
36.03/36.14 c | 83093 | 720 42622 135832 | 46573 43724 49 | 0.000 % |
36.14/36.25 c | 83269 | 720 42622 135832 | 46573 43900 49 | 0.000 % |
36.24/36.34 c | 83464 | 720 42622 135832 | 46573 44095 49 | 0.000 % |
36.33/36.45 c | 83676 | 720 42622 135832 | 46573 44307 49 | 0.020 % |
36.43/36.57 c | 83910 | 720 42622 135832 | 46573 44541 49 | 0.027 % |
36.53/36.68 c | 84166 | 720 42622 135832 | 46573 44797 50 | 0.024 % |
36.73/36.83 c | 84447 | 720 42622 135832 | 46573 45078 50 | 0.000 % |
36.83/36.97 c | 84756 | 720 42622 135832 | 46573 45387 50 | 0.027 % |
37.03/37.15 c | 85097 | 720 42622 135832 | 46573 45728 50 | 0.000 % |
37.23/37.39 c | 85472 | 720 42622 135832 | 46573 46103 50 | 0.000 % |
37.53/37.62 c | 85882 | 720 42622 135832 | 46573 46513 50 | 0.000 % |
37.83/37.92 c | 86331 | 720 42622 135832 | 46573 41637 50 | 0.000 % |
38.13/38.24 c | 86825 | 720 42622 135832 | 46573 42131 50 | 0.000 % |
38.43/38.58 c | 87367 | 720 42622 135832 | 46573 42673 50 | 0.000 % |
38.83/38.90 c | 87963 | 720 42622 135832 | 46573 43269 50 | 0.000 % |
39.13/39.22 c | 88619 | 720 42622 135832 | 46573 43925 51 | 0.000 % |
39.43/39.57 c | 89339 | 720 42622 135832 | 46573 44645 51 | 0.000 % |
39.93/40.08 c | 90132 | 720 42622 135832 | 45308 45438 51 | 0.000 % |
40.53/40.62 c | 91008 | 720 42622 135832 | 45308 41014 51 | 0.000 % |
41.03/41.18 c | 91967 | 720 42622 135832 | 45308 41973 52 | 0.000 % |
41.63/41.79 c | 93023 | 720 42622 135832 | 45308 43029 52 | 0.000 % |
41.73/41.87 c | 93123 | 720 42622 135832 | 45308 43129 52 | 0.000 % |
41.83/41.94 c | 93234 | 720 42622 135832 | 45308 43240 52 | 0.000 % |
41.83/42.00 c | 93358 | 720 42622 135832 | 45308 43364 52 | 0.000 % |
41.93/42.09 c | 93492 | 720 42622 135832 | 45308 43498 52 | 0.000 % |
42.03/42.18 c | 93638 | 720 42622 135832 | 45308 43644 52 | 0.000 % |
42.13/42.29 c | 93799 | 720 42622 135832 | 45308 43805 53 | 0.000 % |
42.23/42.36 c | 93975 | 720 42622 135832 | 45308 43981 53 | 0.000 % |
42.43/42.52 c | 94168 | 720 42622 135832 | 45308 44174 53 | 0.000 % |
42.53/42.63 c | 94380 | 720 42622 135832 | 45308 44386 53 | 0.000 % |
42.73/42.82 c | 94614 | 720 42622 135832 | 45308 44620 53 | 0.000 % |
42.83/42.97 c | 94873 | 720 42622 135832 | 45308 44879 53 | 0.000 % |
43.03/43.13 c | 95154 | 720 42622 135832 | 45308 45160 53 | 0.000 % |
43.23/43.36 c | 95463 | 720 42622 135832 | 45308 45469 53 | 0.022 % |
43.43/43.56 c | 95805 | 720 42622 135832 | 45308 40022 53 | 0.000 % |
43.63/43.77 c | 96179 | 720 42622 135832 | 45308 40396 53 | 0.000 % |
43.83/43.99 c | 96588 | 720 42622 135832 | 45308 40805 53 | 0.026 % |
44.03/44.19 c | 97038 | 720 42622 135832 | 45308 41255 53 | 0.000 % |
44.33/44.47 c | 97532 | 720 42622 135832 | 45308 41749 53 | 0.000 % |
44.73/44.84 c | 98074 | 720 42622 135832 | 45308 42291 54 | 0.000 % |
45.13/45.24 c | 98671 | 720 42622 135832 | 45308 42888 54 | 0.000 % |
45.52/45.67 c | 99327 | 720 42622 135832 | 45308 43544 54 | 0.000 % |
46.02/46.13 c | 100048 | 720 42622 135832 | 44218 44265 54 | 0.026 % |
46.52/46.64 c | 100841 | 720 42622 135832 | 44218 39498 53 | 0.000 % |
47.02/47.15 c | 101712 | 720 42622 135832 | 44218 40369 53 | 0.000 % |
47.72/47.85 c | 102674 | 720 42622 135832 | 44218 41331 53 | 0.000 % |
48.42/48.52 c | 103729 | 720 42622 135832 | 44218 42386 53 | 0.000 % |
49.12/49.22 c | 104887 | 720 42622 135832 | 44218 43544 54 | 0.000 % |
49.12/49.29 c | 104987 | 720 42622 135832 | 44218 43644 54 | 0.020 % |
49.22/49.35 c | 105100 | 720 42622 135832 | 44218 43757 54 | 0.020 % |
49.32/49.43 c | 105223 | 720 42622 135832 | 44218 43880 54 | 0.020 % |
49.42/49.51 c | 105357 | 720 42622 135832 | 44218 44014 54 | 0.000 % |
49.42/49.58 c | 105503 | 720 42622 135832 | 44218 44160 54 | 0.020 % |
49.62/49.71 c | 105665 | 720 42622 135832 | 44218 44322 54 | 0.000 % |
49.71/49.82 c | 105841 | 720 42622 135832 | 44218 38841 53 | 0.000 % |
49.81/49.96 c | 106035 | 720 42622 135832 | 44218 39035 53 | 0.000 % |
49.91/50.08 c | 106247 | 720 42622 135832 | 44218 39247 53 | 0.000 % |
50.11/50.21 c | 106480 | 720 42622 135832 | 44218 39480 53 | 0.000 % |
50.21/50.36 c | 106739 | 720 42622 135832 | 44218 39739 54 | 0.000 % |
50.31/50.48 c | 107022 | 720 42622 135832 | 44218 40022 54 | 0.000 % |
50.52/50.70 c | 107331 | 720 42622 135832 | 44218 40331 54 | 0.000 % |
50.81/50.97 c | 107670 | 720 42622 135832 | 44218 40670 54 | 0.000 % |
51.11/51.23 c | 108044 | 720 42622 135832 | 44218 41044 54 | 0.000 % |
51.52/51.60 c | 108453 | 720 42622 135832 | 44218 41453 55 | 0.000 % |
51.81/51.92 c | 108907 | 720 42622 135832 | 44218 41907 55 | 0.000 % |
52.11/52.22 c | 109400 | 720 42622 135832 | 44218 42400 55 | 0.020 % |
52.41/52.54 c | 109944 | 720 42622 135832 | 44218 42944 54 | 0.020 % |
52.81/52.93 c | 110540 | 720 42622 135832 | 43002 38104 53 | 0.020 % |
53.31/53.44 c | 111195 | 720 42622 135832 | 43002 38759 54 | 0.000 % |
53.61/53.75 c | 111918 | 720 42622 135832 | 43002 39482 54 | 0.000 % |
54.02/54.19 c | 112712 | 720 42622 135832 | 43002 40276 54 | 0.000 % |
54.52/54.61 c | 113583 | 720 42622 135832 | 43002 41147 54 | 0.000 % |
55.22/55.39 c | 114541 | 720 42622 135832 | 43002 42105 55 | 0.000 % |
56.12/56.29 c | 115596 | 720 42622 135832 | 43002 43160 56 | 0.000 % |
57.02/57.13 c | 116756 | 720 42622 135832 | 43002 38672 56 | 0.000 % |
57.82/57.93 c | 118032 | 720 42622 135832 | 43002 39948 55 | 0.024 % |
57.92/58.01 c | 118132 | 720 42622 135832 | 43002 40048 56 | 0.000 % |
58.02/58.10 c | 118242 | 720 42622 135832 | 43002 40158 56 | 0.000 % |
58.02/58.17 c | 118364 | 720 42622 135832 | 43002 40280 56 | 0.000 % |
58.12/58.28 c | 118499 | 720 42622 135832 | 43002 40415 56 | 0.000 % |
58.22/58.38 c | 118646 | 720 42622 135832 | 43002 40562 56 | 0.021 % |
58.32/58.46 c | 118807 | 720 42622 135832 | 43002 40723 55 | 0.021 % |
58.42/58.55 c | 118983 | 720 42622 135832 | 43002 40899 55 | 0.029 % |
58.52/58.67 c | 119176 | 720 42622 135832 | 43002 41092 55 | 0.000 % |
58.62/58.80 c | 119388 | 720 42622 135832 | 43002 41304 55 | 0.021 % |
58.92/59.00 c | 119621 | 720 42622 135832 | 43002 41537 55 | 0.000 % |
59.02/59.18 c | 119877 | 720 42622 135832 | 43002 41793 55 | 0.025 % |
59.22/59.36 c | 120159 | 720 42622 135832 | 41917 42075 55 | 0.000 % |
59.42/59.54 c | 120469 | 720 42622 135832 | 41917 36587 53 | 0.000 % |
59.62/59.70 c | 120810 | 720 42622 135832 | 41917 36928 53 | 0.000 % |
59.82/59.96 c | 121182 | 720 42622 135832 | 41917 37300 54 | 0.000 % |
60.02/60.19 c | 121592 | 720 42622 135832 | 41917 37710 54 | 0.000 % |
60.42/60.50 c | 122042 | 720 42622 135832 | 41917 38160 54 | 0.000 % |
60.72/60.80 c | 122535 | 720 42622 135832 | 41917 38653 54 | 0.000 % |
61.11/61.24 c | 123080 | 720 42622 135832 | 41917 39198 55 | 0.000 % |
61.71/61.83 c | 123676 | 720 42622 135832 | 41917 39794 56 | 0.000 % |
62.11/62.29 c | 124331 | 720 42622 135832 | 41917 40449 56 | 0.000 % |
62.62/62.71 c | 125053 | 720 42622 135832 | 41917 41171 56 | 0.000 % |
63.11/63.26 c | 125845 | 720 42622 135832 | 41917 41963 57 | 0.000 % |
63.51/63.68 c | 126717 | 720 42622 135832 | 41917 36961 55 | 0.000 % |
64.11/64.24 c | 127677 | 720 42622 135832 | 41917 37921 55 | 0.000 % |
64.61/64.78 c | 128730 | 720 42622 135832 | 41917 38974 56 | 0.000 % |
65.31/65.46 c | 129890 | 720 42622 135832 | 41917 40134 56 | 0.000 % |
66.01/66.18 c | 131164 | 720 42622 135832 | 40244 35733 54 | 0.000 % |
66.71/66.87 c | 132567 | 720 42622 135832 | 40244 37136 54 | 0.000 % |
66.81/66.95 c | 132668 | 720 42622 135832 | 40244 37237 54 | 0.000 % |
66.91/67.03 c | 132780 | 720 42622 135832 | 40244 37349 54 | 0.000 % |
66.91/67.08 c | 132903 | 720 42622 135832 | 40244 37472 54 | 0.030 % |
67.01/67.16 c | 133036 | 720 42622 135832 | 40244 37605 54 | 0.000 % |
67.11/67.27 c | 133184 | 720 42622 135832 | 40244 37753 54 | 0.000 % |
67.31/67.43 c | 133344 | 720 42622 135832 | 40244 37913 54 | 0.000 % |
67.41/67.59 c | 133524 | 720 42622 135832 | 40244 38093 54 | 0.000 % |
67.61/67.77 c | 133717 | 720 42622 135832 | 40244 38286 54 | 0.000 % |
67.81/67.94 c | 133929 | 720 42622 135832 | 40244 38498 54 | 0.000 % |
68.01/68.10 c | 134165 | 720 42622 135832 | 40244 38734 55 | 0.000 % |
68.11/68.29 c | 134421 | 720 42622 135832 | 40244 38990 55 | 0.000 % |
68.31/68.47 c | 134702 | 720 42622 135832 | 40244 39271 55 | 0.000 % |
68.51/68.68 c | 135012 | 720 42622 135832 | 40244 39581 55 | 0.022 % |
68.81/68.97 c | 135351 | 720 42622 135832 | 40244 39920 55 | 0.000 % |
69.11/69.25 c | 135724 | 720 42622 135832 | 40244 40293 55 | 0.000 % |
69.41/69.53 c | 136133 | 720 42622 135832 | 40244 34841 54 | 0.000 % |
69.61/69.79 c | 136584 | 720 42622 135832 | 40244 35292 54 | 0.000 % |
70.11/70.20 c | 137078 | 720 42622 135832 | 40244 35786 54 | 0.000 % |
70.51/70.60 c | 137621 | 720 42622 135832 | 40244 36329 55 | 0.000 % |
70.91/71.04 c | 138217 | 720 42622 135832 | 40244 36925 55 | 0.000 % |
71.31/71.50 c | 138872 | 720 42622 135832 | 40244 37580 55 | 0.030 % |
71.81/71.99 c | 139594 | 720 42622 135832 | 40244 38302 55 | 0.000 % |
72.51/72.68 c | 140386 | 720 42622 135832 | 38712 33509 53 | 0.000 % |
73.01/73.19 c | 141260 | 720 42622 135832 | 38712 34383 53 | 0.000 % |
73.51/73.66 c | 142218 | 720 42622 135832 | 38712 35341 53 | 0.000 % |
74.01/74.15 c | 143271 | 720 42622 135832 | 38712 36394 53 | 0.027 % |
74.61/74.74 c | 144429 | 720 42622 135832 | 38712 37552 53 | 0.000 % |
75.31/75.44 c | 145703 | 720 42622 135832 | 38712 38826 53 | 0.018 % |
76.01/76.11 c | 147103 | 720 42622 135832 | 38712 35845 52 | 0.000 % |
76.81/76.91 c | 148643 | 720 42622 135832 | 38712 37385 52 | 0.000 % |
76.81/76.99 c | 148743 | 720 42622 135832 | 38712 37485 52 | 0.000 % |
76.91/77.05 c | 148853 | 720 42622 135832 | 38712 37595 52 | 0.000 % |
77.00/77.14 c | 148974 | 720 42622 135832 | 38712 37716 52 | 0.000 % |
77.10/77.21 c | 149107 | 720 42622 135832 | 38712 37849 52 | 0.000 % |
77.20/77.30 c | 149253 | 720 42622 135832 | 38712 37995 52 | 0.021 % |
77.20/77.38 c | 149414 | 720 42622 135832 | 38712 38156 52 | 0.000 % |
77.30/77.47 c | 149590 | 720 42622 135832 | 38712 38332 52 | 0.000 % |
77.50/77.63 c | 149784 | 720 42622 135832 | 38712 38526 52 | 0.000 % |
77.60/77.75 c | 149997 | 720 42622 135832 | 38712 38739 52 | 0.000 % |
77.80/77.90 c | 150232 | 720 42622 135832 | 34601 31224 48 | 0.000 % |
77.91/78.04 c | 150489 | 720 42622 135832 | 34601 31481 48 | 0.000 % |
78.10/78.24 c | 150770 | 720 42622 135832 | 34601 31762 48 | 0.000 % |
78.20/78.38 c | 151079 | 720 42622 135832 | 34601 32071 49 | 0.000 % |
78.50/78.63 c | 151418 | 720 42622 135832 | 34601 32410 49 | 0.000 % |
78.70/78.82 c | 151791 | 720 42622 135832 | 34601 32783 49 | 0.000 % |
78.90/79.02 c | 152202 | 720 42622 135832 | 34601 33194 49 | 0.000 % |
79.11/79.24 c | 152651 | 720 42622 135832 | 34601 33643 49 | 0.000 % |
79.40/79.54 c | 153144 | 720 42622 135832 | 34601 34136 49 | 0.000 % |
79.60/79.79 c | 153688 | 720 42622 135832 | 34601 34680 49 | 0.026 % |
79.90/80.02 c | 154284 | 720 42622 135832 | 34601 31748 49 | 0.021 % |
80.30/80.40 c | 154940 | 720 42622 135832 | 34601 32404 49 | 0.000 % |
80.70/80.85 c | 155661 | 720 42622 135832 | 34601 33125 49 | 0.028 % |
81.10/81.21 c | 156454 | 720 42622 135832 | 34601 33918 49 | 0.000 % |
81.50/81.67 c | 157327 | 720 42622 135832 | 34601 34791 49 | 0.000 % |
82.00/82.13 c | 158285 | 720 42622 135832 | 34601 32270 48 | 0.019 % |
82.60/82.72 c | 159338 | 720 42622 135832 | 34601 33323 48 | 0.000 % |
83.30/83.47 c | 160496 | 720 42622 135832 | 2147483647 34481 49 | 0.022 % |
84.00/84.18 c | 161769 | 720 42622 135832 | 2147483647 35754 49 | 0.000 % |
84.80/84.98 c | 163169 | 720 42622 135832 | 2147483647 37154 50 | 0.024 % |
85.60/85.75 c | 164710 | 720 42622 135832 | 2147483647 38695 50 | 0.000 % |
86.40/86.58 c | 166404 | 720 42622 135832 | 2147483647 40389 50 | 0.000 % |
86.50/86.66 c | 166505 | 720 42622 135832 | 2147483647 40490 50 | 0.000 % |
86.60/86.76 c | 166615 | 720 42622 135832 | 2147483647 40600 50 | 0.000 % |
86.70/86.87 c | 166736 | 720 42622 135832 | 2147483647 40721 50 | 0.000 % |
86.80/86.98 c | 166869 | 720 42622 135832 | 2147483647 40854 51 | 0.000 % |
86.90/87.06 c | 167018 | 720 42622 135832 | 2147483647 41003 51 | 0.000 % |
87.10/87.22 c | 167181 | 720 42622 135832 | 2147483647 41166 51 | 0.000 % |
87.20/87.34 c | 167359 | 720 42622 135832 | 2147483647 41344 51 | 0.000 % |
87.30/87.46 c | 167553 | 720 42622 135832 | 2147483647 41538 51 | 0.000 % |
87.50/87.60 c | 167766 | 720 42622 135832 | 2147483647 41751 51 | 0.000 % |
87.60/87.75 c | 168000 | 720 42622 135832 | 2147483647 41985 51 | 0.000 % |
87.80/87.92 c | 168257 | 720 42622 135832 | 2147483647 42242 52 | 0.000 % |
88.00/88.12 c | 168538 | 720 42622 135832 | 2147483647 42523 52 | 0.000 % |
88.10/88.28 c | 168847 | 720 42622 135832 | 2147483647 42832 52 | 0.000 % |
88.40/88.51 c | 169186 | 720 42622 135832 | 2147483647 43171 52 | 0.000 % |
88.60/88.75 c | 169558 | 720 42622 135832 | 2147483647 43543 52 | 0.000 % |
89.00/89.16 c | 169968 | 720 42622 135832 | 2147483647 43953 53 | 0.000 % |
89.30/89.46 c | 170418 | 720 42622 135832 | 43986 39001 50 | 0.000 % |
89.60/89.80 c | 170911 | 720 42622 135832 | 43986 39494 51 | 0.000 % |
89.90/90.10 c | 171453 | 720 42622 135832 | 43986 40036 51 | 0.000 % |
90.39/90.52 c | 172049 | 720 42622 135832 | 43986 40632 51 | 0.000 % |
90.79/90.91 c | 172704 | 720 42622 135832 | 43986 41287 51 | 0.000 % |
91.29/91.45 c | 173425 | 720 42622 135832 | 43986 42008 52 | 0.000 % |
91.79/91.91 c | 174218 | 720 42622 135832 | 43986 42801 52 | 0.000 % |
92.39/92.51 c | 175089 | 720 42622 135832 | 43986 43672 53 | 0.000 % |
93.29/93.43 c | 176048 | 720 42622 135832 | 43986 38665 53 | 0.000 % |
93.89/94.04 c | 177102 | 720 42622 135832 | 43986 39719 54 | 0.000 % |
94.59/94.79 c | 178260 | 720 42622 135832 | 43986 40877 55 | 0.000 % |
95.29/95.42 c | 179533 | 720 42622 135832 | 43986 42150 55 | 0.000 % |
96.49/96.69 c | 180933 | 720 42622 135832 | 42617 37594 55 | 0.000 % |
97.59/97.74 c | 182473 | 720 42622 135832 | 42617 39134 55 | 0.028 % |
98.59/98.76 c | 184167 | 720 42622 135832 | 42617 40828 55 | 0.026 % |
99.78/99.96 c | 186031 | 720 42622 135832 | 42617 42692 55 | 0.000 % |
99.89/100.07 c | 186131 | 720 42622 135832 | 42617 36230 54 | 0.000 % |
99.99/100.13 c | 186241 | 720 42622 135832 | 42617 36340 54 | 0.000 % |
100.08/100.21 c | 186362 | 720 42622 135832 | 42617 36461 54 | 0.000 % |
100.08/100.28 c | 186495 | 720 42622 135832 | 42617 36594 54 | 0.000 % |
100.18/100.36 c | 186642 | 720 42622 135832 | 42617 36741 54 | 0.000 % |
100.28/100.45 c | 186802 | 720 42622 135832 | 42617 36901 54 | 0.026 % |
100.38/100.56 c | 186978 | 720 42622 135832 | 42617 37077 54 | 0.000 % |
100.58/100.70 c | 187174 | 720 42622 135832 | 42617 37273 54 | 0.000 % |
100.68/100.83 c | 187388 | 720 42622 135832 | 42617 37487 54 | 0.000 % |
100.78/100.98 c | 187621 | 720 42622 135832 | 42617 37720 55 | 0.019 % |
100.99/101.13 c | 187877 | 720 42622 135832 | 42617 37976 55 | 0.024 % |
101.09/101.27 c | 188158 | 720 42622 135832 | 42617 38257 55 | 0.000 % |
101.28/101.47 c | 188467 | 720 42622 135832 | 42617 38566 55 | 0.000 % |
101.48/101.64 c | 188806 | 720 42622 135832 | 42617 38905 55 | 0.000 % |
101.68/101.89 c | 189178 | 720 42622 135832 | 42617 39277 55 | 0.021 % |
101.88/102.08 c | 189587 | 720 42622 135832 | 42617 39686 55 | 0.000 % |
102.28/102.47 c | 190041 | 720 42622 135832 | 40099 40140 55 | 0.000 % |
102.58/102.79 c | 190536 | 720 42622 135832 | 40099 34578 55 | 0.000 % |
102.98/103.19 c | 191078 | 720 42622 135832 | 40099 35120 55 | 0.000 % |
103.48/103.64 c | 191674 | 720 42622 135832 | 40099 35716 56 | 0.000 % |
103.98/104.15 c | 192329 | 720 42622 135832 | 40099 36371 56 | 0.000 % |
104.39/104.56 c | 193050 | 720 42622 135832 | 40099 37092 57 | 0.000 % |
105.08/105.29 c | 193842 | 720 42622 135832 | 40099 37884 58 | 0.000 % |
105.78/105.92 c | 194716 | 720 42622 135832 | 40099 38758 58 | 0.000 % |
106.68/106.82 c | 195674 | 720 42622 135832 | 40099 39716 59 | 0.000 % |
107.48/107.63 c | 196727 | 720 42622 135832 | 40099 34826 57 | 0.000 % |
108.28/108.49 c | 197886 | 720 42622 135832 | 40099 35985 57 | 0.000 % |
109.28/109.49 c | 199163 | 720 42622 135832 | 40099 37262 58 | 0.000 % |
110.18/110.34 c | 200564 | 720 42622 135832 | 38101 32538 55 | 0.000 % |
111.28/111.46 c | 202105 | 720 42622 135832 | 38101 34079 57 | 0.000 % |
112.28/112.49 c | 203799 | 720 42622 135832 | 38101 35773 57 | 0.000 % |
113.18/113.38 c | 205663 | 720 42622 135832 | 38101 37637 57 | 0.000 % |
114.28/114.44 c | 207714 | 720 42622 135832 | 38101 34720 55 | 0.000 % |
114.38/114.50 c | 207816 | 720 42622 135832 | 38101 34822 55 | 0.026 % |
114.38/114.54 c | 207926 | 720 42622 135832 | 38101 34932 55 | 0.000 % |
114.48/114.61 c | 208051 | 720 42622 135832 | 38101 35057 55 | 0.026 % |
114.58/114.72 c | 208185 | 720 42622 135832 | 38101 35191 55 | 0.000 % |
114.68/114.80 c | 208331 | 720 42622 135832 | 38101 35337 55 | 0.000 % |
114.78/114.91 c | 208493 | 720 42622 135832 | 38101 35499 55 | 0.000 % |
114.87/115.02 c | 208670 | 720 42622 135832 | 38101 35676 55 | 0.026 % |
114.97/115.14 c | 208865 | 720 42622 135832 | 38101 35871 55 | 0.000 % |
115.07/115.28 c | 209078 | 720 42622 135832 | 38101 36084 55 | 0.000 % |
115.28/115.47 c | 209311 | 720 42622 135832 | 38101 36317 56 | 0.000 % |
115.48/115.67 c | 209567 | 720 42622 135832 | 38101 36573 56 | 0.000 % |
115.68/115.87 c | 209848 | 720 42622 135832 | 38101 36854 56 | 0.000 % |
115.98/116.13 c | 210162 | 720 42622 135832 | 37006 37168 56 | 0.026 % |
116.28/116.41 c | 210501 | 720 42622 135832 | 37006 32559 56 | 0.000 % |
116.48/116.63 c | 210874 | 720 42622 135832 | 37006 32932 56 | 0.000 % |
116.77/116.92 c | 211284 | 720 42622 135832 | 37006 33342 56 | 0.000 % |
116.97/117.13 c | 211734 | 720 42622 135832 | 37006 33792 56 | 0.000 % |
117.17/117.38 c | 212227 | 720 42622 135832 | 37006 34285 57 | 0.000 % |
117.58/117.73 c | 212769 | 720 42622 135832 | 37006 34827 57 | 0.000 % |
117.97/118.14 c | 213367 | 720 42622 135832 | 37006 35425 57 | 0.000 % |
118.37/118.52 c | 214023 | 720 42622 135832 | 37006 36081 57 | 0.000 % |
118.87/119.01 c | 214744 | 720 42622 135832 | 37006 36802 57 | 0.000 % |
119.47/119.60 c | 215537 | 720 42622 135832 | 37006 32553 53 | 0.000 % |
119.97/120.14 c | 216408 | 720 42622 135832 | 37006 33424 54 | 0.000 % |
120.57/120.74 c | 217366 | 720 42622 135832 | 37006 34382 55 | 0.000 % |
121.37/121.59 c | 218420 | 720 42622 135832 | 37006 35436 57 | 0.000 % |
122.07/122.28 c | 219579 | 720 42622 135832 | 37006 36595 57 | 0.000 % |
123.17/123.33 c | 220852 | 720 42622 135832 | 37017 33102 57 | 0.000 % |
123.87/124.08 c | 222252 | 720 42622 135832 | 37017 34502 57 | 0.000 % |
124.67/124.87 c | 223792 | 720 42622 135832 | 37017 36042 58 | 0.000 % |
125.57/125.73 c | 225487 | 720 42622 135832 | 37017 33019 55 | 0.000 % |
126.47/126.69 c | 227350 | 720 42622 135832 | 37017 34882 55 | 0.024 % |
127.57/127.74 c | 229399 | 720 42622 135832 | 37017 36931 55 | 0.000 % |
128.87/129.05 c | 231653 | 720 42622 135832 | 33194 31153 54 | 0.029 % |
128.97/129.12 c | 231754 | 720 42622 135832 | 33194 31254 54 | 0.000 % |
128.97/129.19 c | 231866 | 720 42622 135832 | 33194 31366 54 | 0.000 % |
129.07/129.26 c | 231987 | 720 42622 135832 | 33194 31487 54 | 0.021 % |
129.17/129.34 c | 232120 | 720 42622 135832 | 33194 31620 54 | 0.000 % |
129.27/129.42 c | 232266 | 720 42622 135832 | 33194 31766 54 | 0.000 % |
129.37/129.51 c | 232426 | 720 42622 135832 | 33194 31926 55 | 0.000 % |
129.47/129.61 c | 232603 | 720 42622 135832 | 33194 32103 55 | 0.000 % |
129.57/129.70 c | 232796 | 720 42622 135832 | 33194 32296 55 | 0.000 % |
129.67/129.80 c | 233009 | 720 42622 135832 | 33194 32509 55 | 0.000 % |
129.87/130.00 c | 233243 | 720 42622 135832 | 33194 32743 55 | 0.000 % |
129.97/130.17 c | 233499 | 720 42622 135832 | 33194 32999 55 | 0.000 % |
130.17/130.36 c | 233780 | 720 42622 135832 | 33194 33280 55 | 0.000 % |
130.37/130.58 c | 234089 | 720 42622 135832 | 33194 30195 54 | 0.000 % |
130.67/130.81 c | 234428 | 720 42622 135832 | 33194 30534 54 | 0.000 % |
130.77/130.96 c | 234802 | 720 42622 135832 | 33194 30908 55 | 0.000 % |
130.97/131.20 c | 235213 | 720 42622 135832 | 33194 31319 55 | 0.000 % |
131.27/131.49 c | 235662 | 720 42622 135832 | 33194 31768 55 | 0.000 % |
131.57/131.75 c | 236157 | 720 42622 135832 | 33194 32263 55 | 0.000 % |
131.87/132.01 c | 236700 | 720 42622 135832 | 33194 32806 55 | 0.000 % |
132.27/132.47 c | 237298 | 720 42622 135832 | 33194 33404 56 | 0.000 % |
132.67/132.86 c | 237953 | 720 42622 135832 | 33194 30648 53 | 0.000 % |
133.06/133.26 c | 238674 | 720 42622 135832 | 33194 31369 54 | 0.000 % |
133.46/133.70 c | 239466 | 720 42622 135832 | 33194 32161 54 | 0.000 % |
134.06/134.21 c | 240338 | 720 42622 135832 | 2147483647 33033 55 | 0.000 % |
134.66/134.82 c | 241297 | 720 42622 135832 | 2147483647 33992 55 | 0.000 % |
135.25/135.46 c | 242350 | 720 42622 135832 | 2147483647 35045 56 | 0.000 % |
136.05/136.24 c | 243509 | 720 42622 135832 | 2147483647 36204 56 | 0.020 % |
137.05/137.23 c | 244783 | 720 42622 135832 | 2147483647 37478 58 | 0.000 % |
137.85/138.07 c | 246185 | 720 42622 135832 | 2147483647 38880 59 | 0.000 % |
139.05/139.28 c | 247727 | 720 42622 135832 | 2147483647 40422 59 | 0.000 % |
140.15/140.32 c | 249425 | 720 42622 135832 | 2147483647 42120 60 | 0.000 % |
141.25/141.49 c | 251288 | 720 42622 135832 | 42696 37478 56 | 0.022 % |
142.55/142.71 c | 253339 | 720 42622 135832 | 42696 39529 56 | 0.000 % |
143.85/144.00 c | 255596 | 720 42622 135832 | 42696 41786 56 | 0.000 % |
145.85/146.04 c | 258074 | 720 42622 135832 | 42696 37907 58 | 0.000 % |
145.95/146.16 c | 258175 | 720 42622 135832 | 42696 38008 58 | 0.000 % |
146.05/146.26 c | 258285 | 720 42622 135832 | 42696 38118 58 | 0.000 % |
146.15/146.34 c | 258408 | 720 42622 135832 | 42696 38241 58 | 0.000 % |
146.25/146.47 c | 258541 | 720 42622 135832 | 42696 38374 58 | 0.026 % |
146.45/146.65 c | 258689 | 720 42622 135832 | 42696 38522 58 | 0.000 % |
146.65/146.81 c | 258856 | 720 42622 135832 | 42696 38689 58 | 0.000 % |
146.75/146.95 c | 259034 | 720 42622 135832 | 42696 38867 58 | 0.000 % |
146.95/147.13 c | 259227 | 720 42622 135832 | 42696 39060 59 | 0.000 % |
147.05/147.26 c | 259442 | 720 42622 135832 | 42696 39275 59 | 0.000 % |
147.25/147.43 c | 259676 | 720 42622 135832 | 42696 39509 59 | 0.000 % |
147.45/147.65 c | 259932 | 720 42622 135832 | 42696 39765 59 | 0.000 % |
147.65/147.80 c | 260213 | 720 42622 135832 | 39836 40046 59 | 0.000 % |
147.85/148.02 c | 260522 | 720 42622 135832 | 39836 34009 57 | 0.000 % |
148.15/148.36 c | 260862 | 720 42622 135832 | 39836 34349 57 | 0.000 % |
148.45/148.66 c | 261238 | 720 42622 135832 | 39836 34725 57 | 0.000 % |
148.75/148.96 c | 261649 | 720 42622 135832 | 39836 35136 58 | 0.000 % |
149.15/149.30 c | 262098 | 720 42622 135832 | 39836 35585 58 | 0.000 % |
149.35/149.58 c | 262592 | 720 42622 135832 | 39836 36079 58 | 0.000 % |
149.85/150.01 c | 263136 | 720 42622 135832 | 39836 36623 58 | 0.000 % |
150.15/150.38 c | 263732 | 720 42622 135832 | 39836 37219 59 | 0.000 % |
150.75/150.98 c | 264387 | 720 42622 135832 | 39836 37874 59 | 0.000 % |
151.45/151.70 c | 265107 | 720 42622 135832 | 39836 38594 59 | 0.000 % |
152.25/152.48 c | 265899 | 720 42622 135832 | 39836 39386 60 | 0.000 % |
152.85/153.01 c | 266770 | 720 42622 135832 | 39836 33715 57 | 0.000 % |
153.25/153.47 c | 267728 | 720 42622 135832 | 39836 34673 57 | 0.000 % |
154.05/154.24 c | 268783 | 720 42622 135832 | 39836 35728 57 | 0.000 % |
154.75/154.94 c | 269942 | 720 42622 135832 | 39836 36887 58 | 0.023 % |
155.35/155.52 c | 271217 | 720 42622 135832 | 36946 32237 54 | 0.000 % |
156.45/156.62 c | 272617 | 720 42622 135832 | 36946 33637 55 | 0.000 % |
157.35/157.59 c | 274159 | 720 42622 135832 | 36946 35179 56 | 0.000 % |
158.55/158.71 c | 275855 | 720 42622 135832 | 36946 36875 57 | 0.000 % |
159.55/159.74 c | 277719 | 720 42622 135832 | 36946 33827 57 | 0.000 % |
160.84/161.01 c | 279768 | 720 42622 135832 | 36946 35876 57 | 0.027 % |
162.04/162.22 c | 282021 | 720 42622 135832 | 36110 33521 55 | 0.000 % |
163.94/164.14 c | 284502 | 720 42622 135832 | 36110 36002 57 | 0.000 % |
165.74/165.97 c | 287232 | 720 42622 135832 | 36110 34550 58 | 0.000 % |
165.85/166.02 c | 287333 | 720 42622 135832 | 36110 34651 58 | 0.000 % |
165.85/166.07 c | 287446 | 720 42622 135832 | 36110 34764 58 | 0.000 % |
165.95/166.16 c | 287569 | 720 42622 135832 | 36110 34887 58 | 0.000 % |
166.14/166.30 c | 287706 | 720 42622 135832 | 36110 35024 58 | 0.000 % |
166.24/166.42 c | 287853 | 720 42622 135832 | 36110 35171 58 | 0.000 % |
166.34/166.56 c | 288014 | 720 42622 135832 | 36110 35332 58 | 0.000 % |
166.54/166.72 c | 288191 | 720 42622 135832 | 36110 35509 58 | 0.000 % |
166.64/166.88 c | 288385 | 720 42622 135832 | 36110 35703 59 | 0.000 % |
166.84/167.07 c | 288597 | 720 42622 135832 | 36110 35915 59 | 0.000 % |
167.05/167.23 c | 288830 | 720 42622 135832 | 36110 36148 59 | 0.000 % |
167.24/167.40 c | 289088 | 720 42622 135832 | 36110 32141 58 | 0.000 % |
167.44/167.64 c | 289369 | 720 42622 135832 | 36110 32422 58 | 0.000 % |
167.64/167.84 c | 289678 | 720 42622 135832 | 36110 32731 58 | 0.000 % |
167.84/168.01 c | 290020 | 720 42622 135832 | 33054 33073 59 | 0.000 % |
168.05/168.28 c | 290392 | 720 42622 135832 | 33054 29584 58 | 0.000 % |
168.24/168.49 c | 290801 | 720 42622 135832 | 33054 29993 59 | 0.000 % |
168.54/168.70 c | 291250 | 720 42622 135832 | 33054 30442 59 | 0.000 % |
168.74/168.99 c | 291744 | 720 42622 135832 | 33054 30936 59 | 0.000 % |
169.15/169.34 c | 292287 | 720 42622 135832 | 33054 31479 59 | 0.000 % |
169.44/169.66 c | 292884 | 720 42622 135832 | 33054 32076 59 | 0.000 % |
169.84/170.00 c | 293539 | 720 42622 135832 | 33054 32731 59 | 0.000 % |
170.34/170.51 c | 294260 | 720 42622 135832 | 33054 29967 59 | 0.000 % |
170.74/170.92 c | 295052 | 720 42622 135832 | 33054 30759 60 | 0.000 % |
171.24/171.43 c | 295925 | 720 42622 135832 | 33054 31632 60 | 0.000 % |
171.84/172.04 c | 296883 | 720 42622 135832 | 33054 32590 60 | 0.000 % |
172.54/172.77 c | 297936 | 720 42622 135832 | 33054 29998 59 | 0.000 % |
173.54/173.73 c | 299095 | 720 42622 135832 | 33054 31157 59 | 0.000 % |
174.44/174.62 c | 300368 | 720 42622 135832 | 32065 32430 60 | 0.000 % |
175.34/175.59 c | 301768 | 720 42622 135832 | 32065 30086 62 | 0.000 % |
176.44/176.61 c | 303310 | 720 42622 135832 | 32065 31628 61 | 0.000 % |
177.44/177.65 c | 305007 | 720 42622 135832 | 32065 29328 60 | 0.000 % |
178.54/178.71 c | 306871 | 720 42622 135832 | 32065 31192 61 | 0.000 % |
179.34/179.56 c | 308921 | 720 42622 135832 | 32065 29712 59 | 0.000 % |
180.63/180.83 c | 311178 | 720 42622 135832 | 30794 28860 59 | 0.000 % |
182.02/182.20 c | 313656 | 720 42622 135832 | 30794 28231 59 | 0.000 % |
183.62/183.89 c | 316382 | 720 42622 135832 | 30794 30957 60 | 0.000 % |
185.11/185.38 c | 319379 | 720 42622 135832 | 30794 30859 61 | 0.000 % |
185.21/185.45 c | 319479 | 720 42622 135832 | 30794 27874 60 | 0.000 % |
185.31/185.50 c | 319589 | 720 42622 135832 | 30794 27984 60 | 0.000 % |
185.31/185.60 c | 319710 | 720 42622 135832 | 30794 28105 60 | 0.000 % |
185.41/185.67 c | 319843 | 720 42622 135832 | 30794 28238 60 | 0.000 % |
185.51/185.74 c | 319990 | 720 42622 135832 | 30794 28385 60 | 0.000 % |
185.62/185.84 c | 320150 | 720 42622 135832 | 2147483647 28545 60 | 0.000 % |
185.72/185.94 c | 320328 | 720 42622 135832 | 2147483647 28723 60 | 0.000 % |
185.81/186.04 c | 320524 | 720 42622 135832 | 2147483647 28919 60 | 0.000 % |
185.91/186.18 c | 320736 | 720 42622 135832 | 2147483647 29131 61 | 0.000 % |
186.11/186.32 c | 320971 | 720 42622 135832 | 2147483647 29366 61 | 0.000 % |
186.31/186.50 c | 321231 | 720 42622 135832 | 2147483647 29626 61 | 0.000 % |
186.41/186.68 c | 321513 | 720 42622 135832 | 2147483647 29908 61 | 0.000 % |
186.61/186.88 c | 321823 | 720 42622 135832 | 2147483647 30218 62 | 0.000 % |
186.91/187.11 c | 322163 | 720 42622 135832 | 2147483647 30558 62 | 0.000 % |
187.11/187.36 c | 322536 | 720 42622 135832 | 2147483647 30931 62 | 0.000 % |
187.31/187.58 c | 322946 | 720 42622 135832 | 2147483647 31341 62 | 0.000 % |
187.61/187.81 c | 323395 | 720 42622 135832 | 2147483647 31790 63 | 0.000 % |
187.82/188.09 c | 323889 | 720 42622 135832 | 2147483647 32284 63 | 0.000 % |
188.11/188.37 c | 324432 | 720 42622 135832 | 2147483647 32827 63 | 0.000 % |
188.51/188.74 c | 325030 | 720 42622 135832 | 2147483647 33425 63 | 0.000 % |
189.02/189.25 c | 325685 | 720 42622 135832 | 2147483647 34080 64 | 0.000 % |
189.41/189.62 c | 326406 | 720 42622 135832 | 2147483647 34801 64 | 0.000 % |
189.81/190.07 c | 327198 | 720 42622 135832 | 2147483647 35593 65 | 0.000 % |
190.41/190.63 c | 328070 | 720 42622 135832 | 2147483647 36465 65 | 0.000 % |
191.31/191.54 c | 329031 | 720 42622 135832 | 2147483647 37426 66 | 0.000 % |
192.21/192.45 c | 330085 | 720 42622 135832 | 38399 38480 66 | 0.000 % |
193.31/193.52 c | 331245 | 720 42622 135832 | 38399 35379 67 | 0.000 % |
194.11/194.36 c | 332520 | 720 42622 135832 | 38399 36654 68 | 0.000 % |
195.41/195.62 c | 333921 | 720 42622 135832 | 38399 38055 69 | 0.000 % |
196.41/196.69 c | 335461 | 720 42622 135832 | 38399 34489 67 | 0.000 % |
197.81/198.04 c | 337156 | 720 42622 135832 | 38399 36184 67 | 0.000 % |
199.21/199.48 c | 339024 | 720 42622 135832 | 38399 38052 67 | 0.000 % |
200.81/201.07 c | 341074 | 720 42622 135832 | 33069 28997 64 | 0.000 % |
202.51/202.75 c | 343329 | 720 42622 135832 | 33069 31252 66 | 0.000 % |
204.12/204.34 c | 345807 | 720 42622 135832 | 33069 29431 66 | 0.000 % |
205.81/206.03 c | 348532 | 720 42622 135832 | 33069 32156 68 | 0.000 % |
207.91/208.16 c | 351530 | 720 42622 135832 | 29211 26842 66 | 0.000 % |
210.01/210.29 c | 354826 | 720 42622 135832 | 29211 26713 69 | 0.000 % |
210.11/210.35 c | 354926 | 720 42622 135832 | 29211 26813 69 | 0.000 % |
210.21/210.43 c | 355037 | 720 42622 135832 | 29211 26924 69 | 0.000 % |
210.31/210.53 c | 355158 | 720 42622 135832 | 29211 27045 70 | 0.000 % |
210.41/210.62 c | 355291 | 720 42622 135832 | 29211 27178 69 | 0.000 % |
210.51/210.70 c | 355438 | 720 42622 135832 | 29211 27325 69 | 0.000 % |
210.61/210.80 c | 355599 | 720 42622 135832 | 29211 27486 69 | 0.000 % |
210.71/210.97 c | 355775 | 720 42622 135832 | 29211 27662 70 | 0.000 % |
210.91/211.11 c | 355968 | 720 42622 135832 | 29211 27855 70 | 0.000 % |
211.01/211.29 c | 356181 | 720 42622 135832 | 29211 28068 70 | 0.000 % |
211.21/211.48 c | 356416 | 720 42622 135832 | 29211 28303 70 | 0.000 % |
211.41/211.65 c | 356676 | 720 42622 135832 | 29211 28563 70 | 0.000 % |
211.61/211.82 c | 356958 | 720 42622 135832 | 29211 28845 70 | 0.000 % |
211.81/212.05 c | 357268 | 720 42622 135832 | 29211 29155 70 | 0.000 % |
212.01/212.24 c | 357609 | 720 42622 135832 | 29211 29496 70 | 0.000 % |
212.31/212.51 c | 357981 | 720 42622 135832 | 29211 26604 69 | 0.000 % |
212.51/212.74 c | 358392 | 720 42622 135832 | 29211 27015 69 | 0.000 % |
212.81/213.04 c | 358842 | 720 42622 135832 | 29211 27465 69 | 0.000 % |
213.11/213.33 c | 359335 | 720 42622 135832 | 29211 27958 69 | 0.000 % |
213.41/213.69 c | 359880 | 720 42622 135832 | 29211 28503 69 | 0.000 % |
213.91/214.12 c | 360476 | 720 42622 135832 | 28624 25782 66 | 0.000 % |
214.31/214.57 c | 361131 | 720 42622 135832 | 28624 26437 66 | 0.000 % |
214.61/214.88 c | 361851 | 720 42622 135832 | 28624 27157 66 | 0.000 % |
215.11/215.38 c | 362643 | 720 42622 135832 | 28624 27949 66 | 0.000 % |
215.51/215.72 c | 363517 | 720 42622 135832 | 28624 28823 66 | 0.029 % |
216.21/216.46 c | 364475 | 720 42622 135832 | 28624 26899 65 | 0.000 % |
216.91/217.13 c | 365529 | 720 42622 135832 | 28624 27953 65 | 0.000 % |
217.71/217.95 c | 366689 | 720 42622 135832 | 28624 26235 64 | 0.000 % |
218.51/218.73 c | 367962 | 720 42622 135832 | 28624 27508 65 | 0.000 % |
219.21/219.47 c | 369363 | 720 42622 135832 | 28624 28909 65 | 0.000 % |
220.00/220.27 c | 370904 | 720 42622 135832 | 2147483647 27560 61 | 0.000 % |
220.81/221.05 c | 372598 | 720 42622 135832 | 2147483647 29254 61 | 0.000 % |
222.40/222.61 c | 374461 | 720 42622 135832 | 2147483647 31117 64 | 0.000 % |
224.11/224.34 c | 376511 | 720 42622 135832 | 2147483647 33167 65 | 0.000 % |
225.99/226.22 c | 378765 | 720 42622 135832 | 2147483647 35421 66 | 0.000 % |
228.69/228.92 c | 381243 | 720 42622 135832 | 36657 33466 66 | 0.000 % |
230.70/230.91 c | 383968 | 720 42622 135832 | 36657 36191 66 | 0.000 % |
232.90/233.16 c | 386967 | 720 42622 135832 | 36657 33951 66 | 0.000 % |
235.20/235.42 c | 390265 | 720 42622 135832 | 31829 32092 63 | 0.000 % |
237.29/237.58 c | 393891 | 720 42622 135832 | 31829 31251 65 | 0.000 % |
237.39/237.66 c | 393993 | 720 42622 135832 | 31829 31353 65 | 0.000 % |
237.49/237.74 c | 394103 | 720 42622 135832 | 31829 31463 65 | 0.000 % |
237.59/237.85 c | 394224 | 720 42622 135832 | 31829 31584 65 | 0.000 % |
237.69/237.94 c | 394359 | 720 42622 135832 | 31829 31719 65 | 0.000 % |
237.79/238.02 c | 394505 | 720 42622 135832 | 31829 31865 65 | 0.000 % |
237.89/238.17 c | 394666 | 720 42622 135832 | 31829 28606 62 | 0.000 % |
237.99/238.27 c | 394845 | 720 42622 135832 | 31829 28785 62 | 0.000 % |
238.09/238.38 c | 395039 | 720 42622 135832 | 31829 28979 62 | 0.000 % |
238.29/238.57 c | 395253 | 720 42622 135832 | 31829 29193 62 | 0.000 % |
238.49/238.74 c | 395487 | 720 42622 135832 | 31829 29427 62 | 0.000 % |
238.69/238.95 c | 395743 | 720 42622 135832 | 31829 29683 63 | 0.000 % |
238.89/239.12 c | 396025 | 720 42622 135832 | 31829 29965 63 | 0.000 % |
239.09/239.39 c | 396334 | 720 42622 135832 | 31829 30274 63 | 0.000 % |
239.39/239.65 c | 396673 | 720 42622 135832 | 31829 30613 64 | 0.000 % |
239.59/239.88 c | 397049 | 720 42622 135832 | 31829 30989 64 | 0.000 % |
239.99/240.24 c | 397459 | 720 42622 135832 | 31829 31399 64 | 0.000 % |
240.29/240.56 c | 397908 | 720 42622 135832 | 31829 31848 64 | 0.000 % |
240.69/240.94 c | 398401 | 720 42622 135832 | 31829 28761 61 | 0.000 % |
240.99/241.22 c | 398945 | 720 42622 135832 | 31829 29305 62 | 0.000 % |
241.39/241.62 c | 399542 | 720 42622 135832 | 31829 29902 62 | 0.000 % |
241.89/242.13 c | 400198 | 720 42622 135832 | 30360 30558 63 | 0.000 % |
242.29/242.51 c | 400919 | 720 42622 135832 | 30360 27828 61 | 0.000 % |
242.69/242.95 c | 401713 | 720 42622 135832 | 30360 28622 61 | 0.000 % |
243.19/243.41 c | 402584 | 720 42622 135832 | 30360 29493 61 | 0.000 % |
243.69/243.92 c | 403543 | 720 42622 135832 | 30360 30452 62 | 0.000 % |
244.49/244.80 c | 404597 | 720 42622 135832 | 30360 28461 61 | 0.000 % |
245.38/245.69 c | 405755 | 720 42622 135832 | 30360 29619 63 | 0.000 % |
246.09/246.37 c | 407029 | 720 42622 135832 | 30360 27830 62 | 0.000 % |
246.98/247.23 c | 408432 | 720 42622 135832 | 30360 29233 63 | 0.000 % |
247.88/248.14 c | 409973 | 720 42622 135832 | 30360 27709 62 | 0.000 % |
248.78/249.04 c | 411667 | 720 42622 135832 | 2147483647 29403 62 | 0.000 % |
249.68/249.99 c | 413531 | 720 42622 135832 | 2147483647 31267 62 | 0.000 % |
251.28/251.53 c | 415580 | 720 42622 135832 | 2147483647 33316 64 | 0.000 % |
252.88/253.11 c | 417834 | 720 42622 135832 | 2147483647 35570 65 | 0.000 % |
255.38/255.63 c | 420312 | 720 42622 135832 | 37737 38048 67 | 0.000 % |
257.28/257.56 c | 423037 | 720 42622 135832 | 37737 35316 65 | 0.024 % |
260.58/260.85 c | 426035 | 720 42622 135832 | 37737 31925 64 | 0.000 % |
263.37/263.63 c | 429331 | 720 42622 135832 | 37737 35221 66 | 0.000 % |
266.37/266.63 c | 432957 | 720 42622 135832 | 35891 32875 65 | 0.000 % |
268.77/269.00 c | 436944 | 720 42622 135832 | 35891 31326 66 | 0.000 % |
268.77/269.09 c | 437049 | 720 42622 135832 | 35891 31431 67 | 0.000 % |
268.87/269.18 c | 437161 | 720 42622 135832 | 35891 31543 67 | 0.000 % |
268.97/269.30 c | 437282 | 720 42622 135832 | 35891 31664 67 | 0.000 % |
269.07/269.39 c | 437416 | 720 42622 135832 | 35891 31798 67 | 0.000 % |
269.28/269.53 c | 437569 | 720 42622 135832 | 35891 31951 67 | 0.000 % |
269.37/269.69 c | 437729 | 720 42622 135832 | 35891 32111 67 | 0.000 % |
269.57/269.86 c | 437906 | 720 42622 135832 | 35891 32288 67 | 0.000 % |
269.77/270.03 c | 438100 | 720 42622 135832 | 35891 32482 67 | 0.000 % |
269.97/270.20 c | 438314 | 720 42622 135832 | 35891 32696 67 | 0.000 % |
270.07/270.35 c | 438549 | 720 42622 135832 | 35891 32931 67 | 0.000 % |
270.27/270.58 c | 438809 | 720 42622 135832 | 35891 33191 67 | 0.000 % |
270.46/270.79 c | 439090 | 720 42622 135832 | 35891 33472 67 | 0.000 % |
270.86/271.13 c | 439400 | 720 42622 135832 | 35891 33782 68 | 0.000 % |
271.16/271.40 c | 439740 | 720 42622 135832 | 35891 34122 68 | 0.000 % |
271.37/271.65 c | 440113 | 720 42622 135832 | 34382 34495 68 | 0.000 % |
271.66/271.94 c | 440527 | 720 42622 135832 | 34382 29561 64 | 0.000 % |
272.06/272.32 c | 440977 | 720 42622 135832 | 34382 30011 64 | 0.000 % |
272.36/272.66 c | 441472 | 720 42622 135832 | 34382 30506 64 | 0.000 % |
272.76/273.09 c | 442018 | 720 42622 135832 | 34382 31052 64 | 0.000 % |
273.26/273.51 c | 442615 | 720 42622 135832 | 34382 31649 65 | 0.000 % |
273.67/273.97 c | 443270 | 720 42622 135832 | 34382 32304 65 | 0.000 % |
274.16/274.47 c | 443991 | 720 42622 135832 | 34382 33025 65 | 0.000 % |
274.77/275.05 c | 444783 | 720 42622 135832 | 34382 33817 64 | 0.000 % |
275.26/275.52 c | 445657 | 720 42622 135832 | 34382 29468 62 | 0.000 % |
275.66/275.98 c | 446615 | 720 42622 135832 | 34382 30426 62 | 0.000 % |
276.26/276.53 c | 447669 | 720 42622 135832 | 34382 31480 62 | 0.000 % |
276.96/277.22 c | 448830 | 720 42622 135832 | 34382 32641 62 | 0.000 % |
277.76/278.02 c | 450103 | 720 42622 135832 | 33811 33914 62 | 0.025 % |
278.66/278.98 c | 451507 | 720 42622 135832 | 33811 31051 59 | 0.000 % |
280.06/280.34 c | 453051 | 720 42622 135832 | 33811 32595 61 | 0.000 % |
281.66/281.99 c | 454748 | 720 42622 135832 | 33811 30019 61 | 0.000 % |
282.96/283.27 c | 456612 | 720 42622 135832 | 33811 31883 60 | 0.021 % |
283.96/284.28 c | 458664 | 720 42622 135832 | 33811 33935 61 | 0.000 % |
285.56/285.81 c | 460917 | 720 42622 135832 | 31175 28224 57 | 0.000 % |
286.96/287.30 c | 463395 | 720 42622 135832 | 31175 30702 59 | 0.000 % |
288.16/288.42 c | 466122 | 720 42622 135832 | 31175 30171 58 | 0.028 % |
289.76/290.07 c | 469121 | 720 42622 135832 | 31175 30035 59 | 0.000 % |
291.46/291.76 c | 472417 | 720 42622 135832 | 2147483647 33331 62 | 0.000 % |
293.86/294.17 c | 476044 | 720 42622 135832 | 2147483647 36958 64 | 0.000 % |
296.85/297.16 c | 480032 | 720 42622 135832 | 40914 40946 67 | 0.000 % |
300.75/301.06 c | 484417 | 720 42622 135832 | 40914 39834 68 | 0.000 % |
300.85/301.12 c | 484517 | 720 42622 135832 | 40914 39934 68 | 0.000 % |
300.95/301.25 c | 484627 | 720 42622 135832 | 40914 40044 68 | 0.000 % |
301.06/301.37 c | 484752 | 720 42622 135832 | 40914 40169 68 | 0.000 % |
301.16/301.49 c | 484885 | 720 42622 135832 | 40914 40302 68 | 0.000 % |
301.35/301.61 c | 485033 | 720 42622 135832 | 40914 40450 68 | 0.000 % |
301.45/301.78 c | 485193 | 720 42622 135832 | 40914 40610 68 | 0.000 % |
301.65/301.97 c | 485369 | 720 42622 135832 | 40914 40786 68 | 0.000 % |
301.85/302.14 c | 485562 | 720 42622 135832 | 40914 40979 68 | 0.000 % |
302.16/302.43 c | 485774 | 720 42622 135832 | 40914 35587 67 | 0.000 % |
302.26/302.57 c | 486008 | 720 42622 135832 | 40914 35821 68 | 0.000 % |
302.55/302.85 c | 486266 | 720 42622 135832 | 40914 36079 68 | 0.000 % |
302.75/303.08 c | 486551 | 720 42622 135832 | 40914 36364 68 | 0.000 % |
303.15/303.45 c | 486861 | 720 42622 135832 | 40914 36674 68 | 0.000 % |
303.45/303.75 c | 487200 | 720 42622 135832 | 40914 37013 69 | 0.000 % |
303.75/304.00 c | 487573 | 720 42622 135832 | 40914 37386 69 | 0.000 % |
304.15/304.42 c | 487982 | 720 42622 135832 | 40914 37795 69 | 0.000 % |
304.55/304.82 c | 488435 | 720 42622 135832 | 40914 38248 69 | 0.000 % |
304.85/305.14 c | 488928 | 720 42622 135832 | 40914 38741 69 | 0.000 % |
305.25/305.54 c | 489470 | 720 42622 135832 | 40914 39283 69 | 0.000 % |
305.65/305.96 c | 490066 | 720 42622 135832 | 39813 39879 69 | 0.000 % |
306.45/306.72 c | 490724 | 720 42622 135832 | 39813 34861 70 | 0.000 % |
307.15/307.42 c | 491449 | 720 42622 135832 | 39813 35586 70 | 0.000 % |
307.55/307.84 c | 492243 | 720 42622 135832 | 39813 36380 70 | 0.000 % |
308.15/308.43 c | 493115 | 720 42622 135832 | 39813 37252 70 | 0.000 % |
308.65/308.94 c | 494075 | 720 42622 135832 | 39813 38212 70 | 0.000 % |
309.85/310.18 c | 495128 | 720 42622 135832 | 39813 39265 70 | 0.000 % |
311.15/311.44 c | 496286 | 720 42622 135832 | 39813 33761 70 | 0.000 % |
311.95/312.26 c | 497560 | 720 42622 135832 | 39813 35035 69 | 0.000 % |
313.05/313.33 c | 498960 | 720 42622 135832 | 39813 36435 70 | 0.000 % |
314.05/314.32 c | 500503 | 720 42622 135832 | 37475 31890 66 | 0.000 % |
315.74/316.05 c | 502203 | 720 42622 135832 | 37475 33590 68 | 0.000 % |
316.74/317.00 c | 504066 | 720 42622 135832 | 37475 35453 69 | 0.000 % |
319.04/319.39 c | 506115 | 720 42622 135832 | 37475 37502 71 | 0.000 % |
320.54/320.85 c | 508368 | 720 42622 135832 | 37475 33935 68 | 0.000 % |
322.24/322.51 c | 510850 | 720 42622 135832 | 35567 31173 66 | 0.000 % |
323.84/324.15 c | 513577 | 720 42622 135832 | 35567 33900 66 | 0.022 % |
326.14/326.47 c | 516576 | 720 42622 135832 | 35567 32263 66 | 0.000 % |
328.84/329.12 c | 519873 | 720 42622 135832 | 35567 35560 69 | 0.000 % |
331.54/331.88 c | 523499 | 720 42622 135832 | 35688 34543 68 | 0.000 % |
334.14/334.48 c | 527486 | 720 42622 135832 | 35688 33741 65 | 0.000 % |
336.43/336.75 c | 531873 | 720 42622 135832 | 31786 29831 61 | 0.000 % |
339.33/339.66 c | 536697 | 720 42622 135832 | 31786 31444 65 | 0.000 % |
339.43/339.72 c | 536797 | 720 42622 135832 | 31786 31544 65 | 0.000 % |
339.54/339.81 c | 536909 | 720 42622 135832 | 31786 31656 65 | 0.000 % |
339.54/339.87 c | 537031 | 720 42622 135832 | 31786 31778 65 | 0.000 % |
339.73/340.05 c | 537166 | 720 42622 135832 | 31786 31913 66 | 0.000 % |
339.83/340.15 c | 537312 | 720 42622 135832 | 31786 28868 62 | 0.000 % |
339.93/340.23 c | 537472 | 720 42622 135832 | 31786 29028 62 | 0.000 % |
340.03/340.34 c | 537651 | 720 42622 135832 | 31786 29207 63 | 0.000 % |
340.13/340.47 c | 537844 | 720 42622 135832 | 31786 29400 63 | 0.000 % |
340.33/340.64 c | 538059 | 720 42622 135832 | 31786 29615 63 | 0.000 % |
340.53/340.85 c | 538293 | 720 42622 135832 | 31786 29849 63 | 0.000 % |
340.53/340.87 c ===============================================================================
340.53/340.87 c restarts : 915
340.53/340.87 c conflicts : 538311 (1581 /sec)
340.53/340.87 c decisions : 860947 (1.14 % random) (2529 /sec)
340.53/340.87 c propagations : 48392106 (142170 /sec)
340.53/340.87 c conflict literals : 38791537 (36.91 % deleted)
340.53/340.87 c Memory used : 20.22 MB
340.53/340.87 c CPU time : 340.382 s
340.53/340.87 c
340.53/340.87 s SATISFIABLE
340.53/340.88 s SATISFIABLE
340.53/340.88 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 -677 -678 -679 -680 -681 -682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 699 -700 -701 -702 -703 -704 -705 706 -707 -708 -709 -710 -711 -712 -713 -714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 753 -754 -755 -756 -757 -758 -759 -760 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834087-1242827657/watcher-1834087-1242827657 -o /tmp/evaluation-result-1834087-1242827657/solver-1834087-1242827657 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834087-1242827657.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.06 1.06 1.01 3/65 21410
/proc/meminfo: memFree=1897680/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310795749 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 234046062674 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/21410/statm: 1339 235 195 169 0 50 0
[pid=21411] ppid=21410 vsize=5356 CPUtime=0
/proc/21411/stat : 21411 (SatELiteGTI) S 21410 21410 20993 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310795749 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/21411/statm: 1339 238 198 169 0 50 0
[pid=21413] ppid=21411 vsize=5356 CPUtime=0
/proc/21413/stat : 21413 (SatELiteGTI) R 21411 21410 20993 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045893927 0 0 4096 0 0 0 0 17 0 0 0
/proc/21413/statm: 0 0 0 0 0 0 0
[startup+0.0812729 s]
/proc/loadavg: 1.06 1.06 1.01 3/65 21410
/proc/meminfo: memFree=1897680/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795749 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21410/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101272 s]
/proc/loadavg: 1.06 1.06 1.01 3/65 21410
/proc/meminfo: memFree=1897680/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310795749 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21410/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301295 s]
/proc/loadavg: 1.06 1.06 1.01 3/65 21410
/proc/meminfo: memFree=1897680/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+0.701337 s]
/proc/loadavg: 1.06 1.06 1.01 3/65 21410
/proc/meminfo: memFree=1897680/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 5356
[startup+1.50142 s]
/proc/loadavg: 1.06 1.06 1.01 2/67 21416
/proc/meminfo: memFree=1891904/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=6772 CPUtime=1.31
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 1498 0 0 0 130 1 0 0 25 0 1 0 310795766 6934528 1484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/21416/statm: 1693 1484 77 171 0 1520 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12128
[startup+3.10159 s]
/proc/loadavg: 1.06 1.06 1.01 2/67 21416
/proc/meminfo: memFree=1890048/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=9044 CPUtime=2.91
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 2033 0 0 0 289 2 0 0 25 0 1 0 310795766 9261056 2019 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/21416/statm: 2261 2019 77 171 0 2088 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 14400
[startup+6.30191 s]
/proc/loadavg: 1.05 1.06 1.01 2/67 21416
/proc/meminfo: memFree=1886336/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=11980 CPUtime=6.1
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 2775 0 0 0 607 3 0 0 25 0 1 0 310795766 12267520 2761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 2995 2761 77 171 0 2822 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 17336
[startup+12.7016 s]
/proc/loadavg: 1.05 1.06 1.01 2/67 21416
/proc/meminfo: memFree=1882112/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=15764 CPUtime=12.5
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 3729 0 0 0 1246 4 0 0 25 0 1 0 310795766 16142336 3715 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 3941 3715 77 171 0 3768 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 21120
[startup+25.5019 s]
/proc/loadavg: 1.04 1.05 1.01 2/67 21416
/proc/meminfo: memFree=1877568/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20004 CPUtime=25.28
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4789 0 0 0 2523 5 0 0 25 0 1 0 310795766 20484096 4775 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5001 4775 77 171 0 4828 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 25360
[startup+51.1016 s]
/proc/loadavg: 1.02 1.05 1.00 2/67 21416
/proc/meminfo: memFree=1877376/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20136 CPUtime=50.85
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4825 0 0 0 5080 5 0 0 25 0 1 0 310795766 20619264 4811 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5034 4811 77 171 0 4861 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 25492
[startup+102.306 s]
/proc/loadavg: 1.01 1.04 1.00 2/67 21416
/proc/meminfo: memFree=1877056/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20272 CPUtime=102.03
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4851 0 0 0 10197 6 0 0 25 0 1 0 310795766 20758528 4837 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5068 4837 77 171 0 4895 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 25628
[startup+162.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/67 21416
/proc/meminfo: memFree=1876800/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20404 CPUtime=161.98
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4893 0 0 0 16192 6 0 0 25 0 1 0 310795766 20893696 4879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5101 4879 77 171 0 4928 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 25760
[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 21416
/proc/meminfo: memFree=1876672/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20552 CPUtime=221.94
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4908 0 0 0 22187 7 0 0 25 0 1 0 310795766 21045248 4894 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5138 4894 77 171 0 4965 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 25908
[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/67 21416
/proc/meminfo: memFree=1876480/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20552 CPUtime=281.9
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4937 0 0 0 28183 7 0 0 25 0 1 0 310795766 21045248 4923 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5138 4923 77 171 0 4965 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 25908
Solver just ended. Dumping a history of the last processes samples
[startup+307.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876352/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=306.69
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4944 0 0 0 30662 7 0 0 25 0 1 0 310795766 21196800 4930 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4930 77 171 0 5002 0
Current children cumulated CPU time (s) 306.85
Current children cumulated vsize (KiB) 26056
[startup+319.902 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876288/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=319.48
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4945 0 0 0 31941 7 0 0 25 0 1 0 310795766 21196800 4931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4931 77 171 0 5002 0
Current children cumulated CPU time (s) 319.64
Current children cumulated vsize (KiB) 26056
[startup+332.702 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=332.28
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4960 0 0 0 33221 7 0 0 25 0 1 0 310795766 21196800 4946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4946 77 171 0 5002 0
Current children cumulated CPU time (s) 332.44
Current children cumulated vsize (KiB) 26056
[startup+335.901 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=335.47
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4965 0 0 0 33540 7 0 0 25 0 1 0 310795766 21196800 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4951 77 171 0 5002 0
Current children cumulated CPU time (s) 335.63
Current children cumulated vsize (KiB) 26056
[startup+339.102 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=338.67
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4965 0 0 0 33860 7 0 0 25 0 1 0 310795766 21196800 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4951 77 171 0 5002 0
Current children cumulated CPU time (s) 338.83
Current children cumulated vsize (KiB) 26056
[startup+339.906 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=339.48
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4965 0 0 0 33941 7 0 0 25 0 1 0 310795766 21196800 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4951 77 171 0 5002 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 26056
[startup+340.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=339.87
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4965 0 0 0 33980 7 0 0 25 0 1 0 310795766 21196800 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134537869 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4951 77 171 0 5002 0
Current children cumulated CPU time (s) 340.03
Current children cumulated vsize (KiB) 26056
[startup+340.702 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=340.27
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4965 0 0 0 34020 7 0 0 25 0 1 0 310795766 21196800 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4951 77 171 0 5002 0
Current children cumulated CPU time (s) 340.43
Current children cumulated vsize (KiB) 26056
[startup+340.802 s]
/proc/loadavg: 1.00 1.01 1.00 2/67 21416
/proc/meminfo: memFree=1876224/2055920 swapFree=4115588/4192956
[pid=21410] ppid=21408 vsize=5356 CPUtime=0.16
/proc/21410/stat : 21410 (SatELiteGTI) S 21408 21410 20993 0 -1 4194304 336 1246 0 0 0 0 15 1 15 0 1 0 310795749 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21410/statm: 1339 239 197 169 0 50 0
[pid=21416] ppid=21410 vsize=20700 CPUtime=340.37
/proc/21416/stat : 21416 (minisat_static) R 21410 21410 20993 0 -1 4194304 4965 0 0 0 34030 7 0 0 25 0 1 0 310795766 21196800 4951 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/21416/statm: 5175 4951 77 171 0 5002 0
Current children cumulated CPU time (s) 340.53
Current children cumulated vsize (KiB) 26056
Child status: 10
Real time (s): 340.892
CPU time (s): 340.643
CPU user time (s): 340.549
CPU system time (s): 0.093985
CPU usage (%): 99.927
Max. virtual memory (cumulated for all children) (KiB): 26056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 340.549
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6857
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= 51
involuntary context switches= 2878
runsolver used 0.318951 second user time and 1.00985 second system time
The end
Begin job on node79 at 2009-05-20 15:54:17
IDJOB=1834087
IDBENCH=71289
IDSOLVER=671
FILE ID=node79/1834087-1242827657
PBS_JOBID= 9322482
Free space on /tmp= 66332 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v760c43649g8.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834087-1242827657/watcher-1834087-1242827657 -o /tmp/evaluation-result-1834087-1242827657/solver-1834087-1242827657 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834087-1242827657.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 26faf32fde08600c4dd1614dd861e544
RANDOM SEED=778974650
node79.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.220
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.220
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1898160 kB
Buffers: 15112 kB
Cached: 37340 kB
SwapCached: 71512 kB
Active: 83784 kB
Inactive: 42320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1898160 kB
SwapTotal: 4192956 kB
SwapFree: 4115588 kB
Dirty: 2120 kB
Writeback: 0 kB
Mapped: 15428 kB
Slab: 17632 kB
Committed_AS: 1048276 kB
PageTables: 1404 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= 66328 MiB
End job on node79 at 2009-05-20 15:59:58