0.00/0.00 c Parsing...
0.00/0.08 c ==============================================================================
0.00/0.08 c | | ORIGINAL | LEARNT | |
0.00/0.08 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.08 c ==============================================================================
0.00/0.08 c | 0 | 144294 429916 | 43288 0 0 nan | 0.000 % |
1.28/1.32 c | 0 | 143366 620643 | -- 0 -- -- | -- | -928/190727
1.28/1.32 c ==============================================================================
1.28/1.32 c Result : #vars: 1298 #clauses: 143366 #literals: 620643
1.28/1.32 c CPU time: 1.2888 s
1.28/1.32 c ==============================================================================
1.39/1.50 c This is MiniSat 2.0 beta
1.39/1.50 c WARNING: for repeatability, setting FPU to use double precision
1.39/1.50 c ============================[ Problem Statistics ]=============================
1.39/1.50 c | |
1.48/1.50 c | Number of variables: 1298 |
1.48/1.50 c | Number of clauses: 143366 |
1.48/1.57 c | Parsing time: 0.07 s |
1.48/1.58 c ============================[ Search Statistics ]==============================
1.48/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.48/1.58 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.48/1.58 c ===============================================================================
1.48/1.58 c | 0 | 1298 143366 620643 | 47788 0 nan | 0.000 % |
1.48/1.62 c | 101 | 1298 143366 620643 | 47788 101 61 | 0.000 % |
1.48/1.65 c | 201 | 1298 143366 620643 | 47788 201 74 | 0.000 % |
1.48/1.67 c | 301 | 1298 143366 620643 | 47788 301 75 | 0.000 % |
1.48/1.70 c | 413 | 1298 143366 620643 | 47788 413 78 | 0.000 % |
1.48/1.74 c | 513 | 1298 143366 620643 | 47788 513 79 | 0.000 % |
1.48/1.77 c | 623 | 1298 143366 620643 | 47788 623 79 | 0.000 % |
1.48/1.81 c | 744 | 1298 143366 620643 | 47788 744 80 | 0.000 % |
1.48/1.83 c | 844 | 1298 143366 620643 | 47788 844 81 | 0.000 % |
1.48/1.87 c | 956 | 1298 143366 620643 | 47788 956 81 | 0.000 % |
1.48/1.92 c | 1078 | 1298 143366 620643 | 47788 1078 82 | 0.000 % |
1.48/1.95 c | 1212 | 1298 143366 620643 | 47788 1212 81 | 0.000 % |
1.48/1.98 c | 1312 | 1298 143366 620643 | 47788 1312 82 | 0.000 % |
1.48/2.01 c | 1422 | 1298 143366 620643 | 47788 1422 83 | 0.000 % |
1.48/2.06 c | 1544 | 1298 143366 620643 | 47788 1544 85 | 0.000 % |
1.48/2.09 c | 1677 | 1298 143366 620643 | 47788 1677 85 | 0.000 % |
2.08/2.14 c | 1823 | 1298 143366 620643 | 47788 1823 85 | 0.000 % |
2.08/2.16 c | 1924 | 1298 143366 620643 | 47788 1924 85 | 0.000 % |
2.18/2.20 c | 2034 | 1298 143366 620643 | 47788 2034 85 | 0.000 % |
2.18/2.25 c | 2156 | 1298 143366 620643 | 47788 2156 86 | 0.000 % |
2.18/2.29 c | 2290 | 1298 143366 620643 | 47788 2290 86 | 0.000 % |
2.27/2.34 c | 2437 | 1298 143366 620643 | 47788 2437 86 | 0.000 % |
2.37/2.40 c | 2598 | 1298 143366 620643 | 47788 2598 86 | 0.000 % |
2.37/2.44 c | 2698 | 1298 143366 620643 | 47788 2698 86 | 0.000 % |
2.37/2.48 c | 2809 | 1298 143366 620643 | 47788 2809 86 | 0.000 % |
2.47/2.52 c | 2930 | 1298 143366 620643 | 47788 2930 85 | 0.000 % |
2.47/2.57 c | 3063 | 1298 143366 620643 | 47788 3063 86 | 0.000 % |
2.57/2.63 c | 3209 | 1298 143366 620643 | 47788 3209 86 | 0.000 % |
2.57/2.68 c | 3370 | 1298 143366 620643 | 47788 3370 85 | 0.000 % |
2.67/2.74 c | 3546 | 1298 143366 620643 | 47788 3546 86 | 0.000 % |
2.67/2.78 c | 3648 | 1298 143366 620643 | 47788 3648 86 | 0.000 % |
2.77/2.81 c | 3759 | 1298 143366 620643 | 47788 3759 86 | 0.000 % |
2.77/2.85 c | 3882 | 1298 143366 620643 | 47788 3882 86 | 0.000 % |
2.77/2.89 c | 4017 | 1298 143366 620643 | 47788 4017 86 | 0.000 % |
2.87/2.93 c | 4163 | 1298 143366 620643 | 47788 4163 86 | 0.000 % |
2.87/2.98 c | 4324 | 1298 143366 620643 | 47788 4324 87 | 0.000 % |
2.97/3.01 c | 4500 | 1298 143366 620643 | 47788 4500 88 | 0.000 % |
2.97/3.06 c | 4693 | 1298 143366 620643 | 47788 4693 89 | 0.000 % |
2.97/3.09 c | 4793 | 1298 143366 620643 | 47788 4793 89 | 0.000 % |
3.07/3.12 c | 4904 | 1298 143366 620643 | 47788 4904 89 | 0.000 % |
3.07/3.16 c | 5025 | 1298 143366 620643 | 47788 5025 90 | 0.000 % |
3.07/3.19 c | 5158 | 1298 143366 620643 | 47788 5158 90 | 0.000 % |
3.17/3.23 c | 5305 | 1298 143366 620643 | 47788 5305 91 | 0.000 % |
3.17/3.26 c | 5465 | 1298 143366 620643 | 47788 5465 91 | 0.000 % |
3.27/3.31 c | 5643 | 1298 143366 620643 | 47788 5643 92 | 0.000 % |
3.27/3.37 c | 5836 | 1298 143366 620643 | 47788 5836 93 | 0.000 % |
3.37/3.41 c | 6048 | 1298 143366 620643 | 47788 6048 94 | 0.000 % |
3.37/3.44 c | 6150 | 1298 143366 620643 | 47788 6150 94 | 0.000 % |
3.37/3.47 c | 6260 | 1298 143366 620643 | 47788 6260 95 | 0.000 % |
3.47/3.50 c | 6383 | 1298 143366 620643 | 47788 6383 95 | 0.000 % |
3.47/3.53 c | 6518 | 1298 143366 620643 | 47788 6518 95 | 0.000 % |
3.47/3.58 c | 6668 | 1298 143366 620643 | 47788 6668 96 | 0.000 % |
3.57/3.61 c | 6829 | 1298 143366 620643 | 47788 6829 96 | 0.000 % |
3.57/3.66 c | 7006 | 1298 143366 620643 | 47788 7006 97 | 0.000 % |
3.67/3.70 c | 7200 | 1298 143366 620643 | 47788 7200 98 | 0.000 % |
3.67/3.76 c | 7413 | 1298 143366 620643 | 47788 7413 99 | 0.000 % |
3.77/3.83 c | 7646 | 1298 143366 620643 | 47788 7646 100 | 0.000 % |
3.77/3.86 c | 7747 | 1298 143366 620643 | 47788 7747 100 | 0.000 % |
3.77/3.89 c | 7857 | 1298 143366 620643 | 47788 7857 100 | 0.000 % |
3.87/3.93 c | 7978 | 1298 143366 620643 | 47788 7978 101 | 0.000 % |
3.87/3.97 c | 8111 | 1298 143366 620643 | 47788 8111 101 | 0.000 % |
3.97/4.04 c | 8257 | 1298 143366 620643 | 47788 8257 101 | 0.000 % |
4.07/4.10 c | 8417 | 1298 143366 620643 | 47788 8417 102 | 0.000 % |
4.07/4.17 c | 8593 | 1298 143366 620643 | 47788 8593 102 | 0.000 % |
4.17/4.26 c | 8786 | 1298 143366 620643 | 47788 8786 103 | 0.000 % |
4.27/4.36 c | 8998 | 1298 143366 620643 | 47788 8998 103 | 0.000 % |
4.37/4.46 c | 9233 | 1298 143366 620643 | 47788 9233 104 | 0.000 % |
4.47/4.58 c | 9491 | 1298 143366 620643 | 47788 9491 104 | 0.000 % |
4.57/4.61 c | 9591 | 1298 143366 620643 | 47788 9591 104 | 0.000 % |
4.57/4.68 c | 9703 | 1298 143366 620643 | 47788 9703 105 | 0.000 % |
4.67/4.74 c | 9824 | 1298 143366 620643 | 47788 9824 105 | 0.000 % |
4.77/4.82 c | 9958 | 1298 143366 620643 | 47788 9958 105 | 0.000 % |
4.77/4.89 c | 10105 | 1298 143366 620643 | 2147483647 10105 105 | 0.000 % |
4.87/4.97 c | 10265 | 1298 143366 620643 | 2147483647 10265 106 | 0.000 % |
5.07/5.12 c | 10441 | 1298 143366 620643 | 2147483647 10441 106 | 0.000 % |
5.17/5.27 c | 10638 | 1298 143366 620643 | 2147483647 10638 106 | 0.000 % |
5.37/5.41 c | 10850 | 1298 143366 620643 | 2147483647 10850 106 | 0.000 % |
5.47/5.54 c | 11084 | 1298 143366 620643 | 2147483647 11084 107 | 0.000 % |
5.66/5.78 c | 11341 | 1298 143366 620643 | 2147483647 11341 107 | 0.000 % |
5.86/5.98 c | 11623 | 1298 143366 620643 | 2147483647 11623 108 | 0.000 % |
5.96/6.07 c | 11723 | 1298 143366 620643 | 2147483647 11723 108 | 0.000 % |
6.06/6.17 c | 11836 | 1298 143366 620643 | 2147483647 11836 108 | 0.000 % |
6.16/6.28 c | 11958 | 1298 143366 620643 | 2147483647 11958 108 | 0.000 % |
6.26/6.39 c | 12092 | 1298 143366 620643 | 2147483647 12092 108 | 0.000 % |
6.36/6.48 c | 12239 | 1298 143366 620643 | 2147483647 12239 108 | 0.000 % |
6.58/6.60 c | 12400 | 1298 143366 620643 | 2147483647 12400 108 | 0.000 % |
6.67/6.75 c | 12576 | 1298 143366 620643 | 2147483647 12576 109 | 0.000 % |
6.77/6.85 c | 12770 | 1298 143366 620643 | 2147483647 12770 109 | 0.000 % |
6.87/6.90 c | 12982 | 1298 143366 620643 | 2147483647 12982 109 | 0.000 % |
6.87/6.97 c | 13215 | 1298 143366 620643 | 2147483647 13215 109 | 0.000 % |
6.97/7.07 c | 13472 | 1298 143366 620643 | 2147483647 13472 109 | 0.000 % |
7.07/7.15 c | 13755 | 1298 143366 620643 | 2147483647 13755 109 | 0.000 % |
7.17/7.23 c | 14064 | 1298 143366 620643 | 2147483647 14064 109 | 0.000 % |
7.17/7.27 c | 14165 | 1298 143366 620643 | 2147483647 14165 109 | 0.000 % |
7.27/7.30 c | 14276 | 1298 143366 620643 | 2147483647 14276 109 | 0.000 % |
7.27/7.34 c | 14398 | 1298 143366 620643 | 2147483647 14398 109 | 0.000 % |
7.27/7.39 c | 14533 | 1298 143366 620643 | 2147483647 14533 109 | 0.000 % |
7.37/7.46 c | 14680 | 1298 143366 620643 | 2147483647 14680 109 | 0.000 % |
7.47/7.52 c | 14842 | 1298 143366 620643 | 2147483647 14842 109 | 0.000 % |
7.57/7.60 c | 15019 | 1298 143366 620643 | 2147483647 15019 109 | 0.000 % |
7.57/7.68 c | 15212 | 1298 143366 620643 | 2147483647 15212 109 | 0.000 % |
7.67/7.77 c | 15424 | 1298 143366 620643 | 2147483647 15424 109 | 0.000 % |
7.77/7.89 c | 15658 | 1298 143366 620643 | 2147483647 15658 110 | 0.000 % |
7.87/7.98 c | 15915 | 1298 143366 620643 | 2147483647 15915 110 | 0.000 % |
8.07/8.11 c | 16196 | 1298 143366 620643 | 2147483647 16196 110 | 0.000 % |
8.16/8.25 c | 16505 | 1298 143366 620643 | 2147483647 16505 110 | 0.000 % |
8.36/8.45 c | 16845 | 1298 143366 620643 | 2147483647 16845 110 | 0.000 % |
8.46/8.53 c | 16945 | 1298 143366 620643 | 2147483647 16945 110 | 0.000 % |
8.56/8.61 c | 17056 | 1298 143366 620643 | 2147483647 17056 110 | 0.000 % |
8.56/8.70 c | 17177 | 1298 143366 620643 | 2147483647 17177 110 | 0.000 % |
8.67/8.78 c | 17310 | 1298 143366 620643 | 2147483647 17310 110 | 0.000 % |
8.77/8.87 c | 17458 | 1298 143366 620643 | 2147483647 17458 110 | 0.000 % |
8.86/8.94 c | 17618 | 1298 143366 620643 | 2147483647 17618 110 | 0.000 % |
8.96/9.04 c | 17794 | 1298 143366 620643 | 2147483647 17794 110 | 0.000 % |
9.36/9.46 c | 17988 | 1298 143366 620643 | 2147483647 17988 110 | 0.000 % |
9.77/9.80 c | 18201 | 1298 143366 620643 | 2147483647 18201 110 | 0.000 % |
10.16/10.24 c | 18436 | 1298 143366 620643 | 2147483647 18436 110 | 0.000 % |
10.56/10.67 c | 18692 | 1298 143366 620643 | 2147483647 18692 110 | 0.000 % |
11.07/11.15 c | 18973 | 1298 143366 620643 | 2147483647 18973 110 | 0.000 % |
11.57/11.70 c | 19284 | 1298 143366 620643 | 2147483647 19284 110 | 0.000 % |
12.17/12.24 c | 19625 | 1298 143366 620643 | 2147483647 19625 110 | 0.000 % |
12.67/12.78 c | 19998 | 1298 143366 620643 | 2147483647 19998 110 | 0.000 % |
12.77/12.85 c | 20099 | 1298 143366 620643 | 2147483647 20099 110 | 0.000 % |
12.87/12.93 c | 20209 | 1298 143366 620643 | 2147483647 20209 110 | 0.000 % |
12.97/13.09 c | 20331 | 1298 143366 620643 | 2147483647 20331 110 | 0.000 % |
13.27/13.37 c | 20465 | 1298 143366 620643 | 2147483647 20465 110 | 0.000 % |
13.47/13.50 c | 20611 | 1298 143366 620643 | 2147483647 20611 110 | 0.000 % |
13.67/13.74 c | 20774 | 1298 143366 620643 | 2147483647 20774 110 | 0.000 % |
13.77/13.80 c | 20951 | 1298 143366 620643 | 2147483647 20951 110 | 0.000 % |
13.97/14.10 c | 21145 | 1298 143366 620643 | 2147483647 21145 110 | 0.000 % |
14.07/14.17 c | 21357 | 1298 143366 620643 | 2147483647 21357 110 | 0.000 % |
14.17/14.27 c | 21591 | 1298 143366 620643 | 2147483647 21591 110 | 0.002 % |
14.56/14.65 c | 21847 | 1298 143366 620643 | 2147483647 21847 110 | 0.000 % |
14.96/15.09 c | 22128 | 1298 143366 620643 | 2147483647 22128 110 | 0.000 % |
15.36/15.47 c | 22438 | 1298 143366 620643 | 2147483647 22438 110 | 0.000 % |
15.46/15.59 c | 22777 | 1298 143366 620643 | 2147483647 22777 110 | 0.000 % |
16.26/16.34 c | 23153 | 1298 143366 620643 | 2147483647 23153 110 | 0.000 % |
17.06/17.11 c | 23562 | 1298 143366 620643 | 2147483647 23562 110 | 0.000 % |
17.26/17.35 c | 23663 | 1298 143366 620643 | 2147483647 23663 110 | 0.000 % |
17.47/17.55 c | 23773 | 1298 143366 620643 | 2147483647 23773 110 | 0.000 % |
17.66/17.77 c | 23895 | 1298 143366 620643 | 2147483647 23895 110 | 0.000 % |
17.96/18.02 c | 24029 | 1298 143366 620643 | 2147483647 24029 110 | 0.000 % |
18.36/18.46 c | 24177 | 1298 143366 620643 | 2147483647 24177 110 | 0.000 % |
18.86/18.96 c | 24337 | 1298 143366 620643 | 2147483647 24337 111 | 0.000 % |
19.36/19.41 c | 24513 | 1298 143366 620643 | 2147483647 24513 111 | 0.000 % |
19.77/19.81 c | 24707 | 1298 143366 620643 | 2147483647 24707 111 | 0.000 % |
20.36/20.45 c | 24919 | 1298 143366 620643 | 2147483647 24919 111 | 0.000 % |
21.16/21.29 c | 25154 | 1298 143366 620643 | 2147483647 25154 111 | 0.000 % |
21.87/21.98 c | 25412 | 1298 143366 620643 | 2147483647 25412 111 | 0.000 % |
22.76/22.89 c | 25694 | 1298 143366 620643 | 2147483647 25694 111 | 0.000 % |
23.66/23.72 c | 26004 | 1298 143366 620643 | 2147483647 26004 111 | 0.000 % |
24.76/24.86 c | 26344 | 1298 143366 620643 | 2147483647 26344 111 | 0.000 % |
26.06/26.12 c | 26717 | 1298 143366 620643 | 2147483647 26717 111 | 0.000 % |
27.26/27.32 c | 27126 | 1298 143366 620643 | 2147483647 27126 111 | 0.000 % |
28.25/28.36 c | 27575 | 1298 143366 620643 | 2147483647 27575 111 | 0.000 % |
28.65/28.75 c | 27675 | 1298 143366 620643 | 2147483647 27675 111 | 0.000 % |
29.05/29.15 c | 27786 | 1298 143366 620643 | 2147483647 27786 111 | 0.000 % |
29.56/29.65 c | 27907 | 1298 143366 620643 | 2147483647 27907 111 | 0.000 % |
30.05/30.17 c | 28041 | 1298 143366 620643 | 2147483647 28041 111 | 0.000 % |
30.45/30.55 c | 28187 | 1298 143366 620643 | 2147483647 28187 111 | 0.000 % |
30.95/31.07 c | 28347 | 1298 143366 620643 | 2147483647 28347 111 | 0.000 % |
31.65/31.72 c | 28523 | 1298 143366 620643 | 2147483647 28523 111 | 0.000 % |
32.35/32.43 c | 28718 | 1298 143366 620643 | 2147483647 28718 111 | 0.000 % |
32.95/33.01 c | 28930 | 1298 143366 620643 | 2147483647 28930 111 | 0.000 % |
33.56/33.63 c | 29163 | 1298 143366 620643 | 2147483647 29163 111 | 0.000 % |
34.16/34.20 c | 29419 | 1298 143366 620643 | 2147483647 29419 111 | 0.000 % |
34.56/34.70 c | 29700 | 1298 143366 620643 | 2147483647 29700 111 | 0.000 % |
35.36/35.50 c | 30009 | 1298 143366 620643 | 2147483647 30009 111 | 0.000 % |
36.26/36.38 c | 30349 | 1298 143366 620643 | 2147483647 30349 111 | 0.000 % |
36.96/37.04 c | 30722 | 1298 143366 620643 | 2147483647 30722 111 | 0.000 % |
37.36/37.43 c | 31131 | 1298 143366 620643 | 2147483647 31131 111 | 0.000 % |
38.75/38.88 c | 31582 | 1298 143366 620643 | 2147483647 31582 111 | 0.000 % |
39.85/39.96 c | 32077 | 1298 143366 620643 | 2147483647 32077 111 | 0.000 % |
39.95/40.05 c | 32178 | 1298 143366 620643 | 2147483647 32178 111 | 0.000 % |
40.15/40.26 c | 32290 | 1298 143366 620643 | 2147483647 32290 111 | 0.000 % |
40.35/40.45 c | 32411 | 1298 143366 620643 | 2147483647 32411 111 | 0.000 % |
40.65/40.76 c | 32545 | 1298 143366 620643 | 2147483647 32545 111 | 0.000 % |
40.85/40.99 c | 32691 | 1298 143366 620643 | 2147483647 32691 111 | 0.000 % |
41.35/41.45 c | 32852 | 1298 143366 620643 | 2147483647 32852 111 | 0.000 % |
41.55/41.64 c | 33028 | 1298 143366 620643 | 2147483647 33028 111 | 0.000 % |
41.66/41.74 c | 33223 | 1298 143366 620643 | 2147483647 33223 111 | 0.000 % |
41.76/41.88 c | 33438 | 1298 143366 620643 | 2147483647 33438 111 | 0.000 % |
41.95/42.08 c | 33672 | 1298 143366 620643 | 2147483647 33672 112 | 0.000 % |
42.35/42.44 c | 33928 | 1298 143366 620643 | 2147483647 33928 112 | 0.000 % |
42.55/42.62 c | 34209 | 1298 143366 620643 | 2147483647 34209 112 | 0.000 % |
42.76/42.84 c | 34519 | 1298 143366 620643 | 2147483647 34519 112 | 0.000 % |
42.95/43.00 c | 34860 | 1298 143366 620643 | 2147483647 34860 112 | 0.000 % |
43.05/43.17 c | 35233 | 1298 143366 620643 | 2147483647 35233 112 | 0.000 % |
43.25/43.37 c | 35643 | 1298 143366 620643 | 2147483647 35643 112 | 0.000 % |
43.65/43.70 c | 36093 | 1298 143366 620643 | 2147483647 36093 112 | 0.000 % |
43.95/44.00 c | 36587 | 1298 143366 620643 | 2147483647 36587 112 | 0.000 % |
44.25/44.30 c | 37131 | 1298 143366 620643 | 2147483647 37131 112 | 0.000 % |
44.25/44.37 c | 37231 | 1298 143366 620643 | 2147483647 37231 112 | 0.000 % |
44.35/44.43 c | 37342 | 1298 143366 620643 | 2147483647 37342 112 | 0.000 % |
44.45/44.53 c | 37463 | 1298 143366 620643 | 2147483647 37463 112 | 0.000 % |
44.55/44.61 c | 37599 | 1298 143366 620643 | 2147483647 37599 112 | 0.000 % |
44.65/44.73 c | 37746 | 1298 143366 620643 | 2147483647 37746 112 | 0.000 % |
44.75/44.86 c | 37908 | 1298 143366 620643 | 2147483647 37908 112 | 0.000 % |
44.95/45.02 c | 38085 | 1298 143366 620643 | 2147483647 38085 112 | 0.000 % |
45.05/45.17 c | 38279 | 1298 143366 620643 | 2147483647 38279 112 | 0.000 % |
45.25/45.38 c | 38492 | 1298 143366 620643 | 2147483647 38492 112 | 0.000 % |
45.55/45.61 c | 38728 | 1298 143366 620643 | 2147483647 38728 111 | 0.000 % |
45.75/45.84 c | 38984 | 1298 143366 620643 | 2147483647 38984 111 | 0.000 % |
45.95/46.04 c | 39265 | 1298 143366 620643 | 2147483647 39265 111 | 0.000 % |
46.15/46.29 c | 39574 | 1298 143366 620643 | 2147483647 39574 111 | 0.000 % |
46.45/46.59 c | 39916 | 1298 143366 620643 | 2147483647 39916 111 | 0.000 % |
46.84/46.96 c | 40289 | 1298 143366 620643 | 2147483647 40289 111 | 0.000 % |
47.75/47.86 c | 40698 | 1298 143366 620643 | 2147483647 40698 111 | 0.000 % |
48.45/48.58 c | 41147 | 1298 143366 620643 | 2147483647 41147 111 | 0.000 % |
50.65/50.79 c | 41640 | 1298 143366 620643 | 2147483647 41640 110 | 0.000 % |
51.15/51.29 c | 42182 | 1298 143366 620643 | 2147483647 42182 110 | 0.000 % |
52.25/52.35 c | 42778 | 1298 143366 620643 | 2147483647 42778 110 | 0.000 % |
52.55/52.60 c | 42879 | 1298 143366 620643 | 2147483647 42879 110 | 0.000 % |
52.85/52.95 c | 42990 | 1298 143366 620643 | 2147483647 42990 110 | 0.000 % |
53.25/53.32 c | 43111 | 1298 143366 620643 | 2147483647 43111 110 | 0.000 % |
53.45/53.50 c | 43244 | 1298 143366 620643 | 2147483647 43244 110 | 0.000 % |
53.75/53.87 c | 43393 | 1298 143366 620643 | 2147483647 43393 110 | 0.000 % |
54.35/54.40 c | 43553 | 1298 143366 620643 | 2147483647 43553 110 | 0.000 % |
54.45/54.51 c | 43731 | 1298 143366 620643 | 2147483647 43731 110 | 0.000 % |
55.05/55.14 c | 43924 | 1298 143366 620643 | 2147483647 43924 110 | 0.000 % |
55.25/55.37 c | 44136 | 1298 143366 620643 | 2147483647 44136 110 | 0.000 % |
55.85/55.92 c | 44370 | 1298 143366 620643 | 2147483647 44370 109 | 0.000 % |
55.95/56.05 c | 44627 | 1298 143366 620643 | 2147483647 44627 109 | 0.000 % |
56.35/56.40 c | 44908 | 1298 143366 620643 | 2147483647 44908 109 | 0.000 % |
56.75/56.87 c | 45217 | 1298 143366 620643 | 2147483647 45217 109 | 0.000 % |
57.34/57.40 c | 45558 | 1298 143366 620643 | 2147483647 45558 109 | 0.000 % |
58.25/58.30 c | 45930 | 1298 143366 620643 | 2147483647 45930 109 | 0.000 % |
59.04/59.17 c | 46340 | 1298 143366 620643 | 2147483647 46340 109 | 0.000 % |
59.74/59.87 c | 46790 | 1298 143366 620643 | 2147483647 46790 108 | 0.000 % |
61.14/61.28 c | 47284 | 1298 143366 620643 | 2147483647 47284 108 | 0.002 % |
61.84/61.96 c | 47826 | 1298 143366 620643 | 2147483647 47826 108 | 0.000 % |
63.04/63.12 c | 48422 | 1298 143366 620643 | 2147483647 48422 108 | 0.000 % |
63.64/63.76 c | 49078 | 1298 143366 620643 | 2147483647 49078 108 | 0.000 % |
63.94/64.04 c | 49179 | 1298 143366 620643 | 2147483647 49179 108 | 0.000 % |
64.14/64.26 c | 49289 | 1298 143366 620643 | 2147483647 49289 108 | 0.000 % |
64.44/64.56 c | 49411 | 1298 143366 620643 | 2147483647 49411 108 | 0.000 % |
64.75/64.88 c | 49547 | 1298 143366 620643 | 2147483647 49547 108 | 0.000 % |
65.15/65.29 c | 49694 | 1298 143366 620643 | 2147483647 49694 108 | 0.000 % |
65.45/65.52 c | 49856 | 1298 143366 620643 | 2147483647 49856 108 | 0.000 % |
65.55/65.69 c | 50032 | 1298 143366 620643 | 2147483647 50032 108 | 0.000 % |
65.95/66.06 c | 50225 | 1298 143366 620643 | 2147483647 50225 108 | 0.000 % |
66.55/66.68 c | 50437 | 1298 143366 620643 | 2147483647 50437 108 | 0.000 % |
67.15/67.24 c | 50672 | 1298 143366 620643 | 2147483647 50672 107 | 0.000 % |
67.65/67.79 c | 50928 | 1298 143366 620643 | 2147483647 50928 107 | 0.000 % |
68.15/68.29 c | 51210 | 1298 143366 620643 | 2147483647 51210 107 | 0.000 % |
68.54/68.65 c | 51519 | 1298 143366 620643 | 2147483647 51519 107 | 0.000 % |
69.25/69.35 c | 51860 | 1298 143366 620643 | 2147483647 51860 107 | 0.000 % |
70.14/70.24 c | 52234 | 1298 143366 620643 | 2147483647 52234 107 | 0.000 % |
70.64/70.73 c | 52643 | 1298 143366 620643 | 2147483647 52643 107 | 0.000 % |
71.24/71.36 c | 53094 | 1298 143366 620643 | 2147483647 53094 107 | 0.000 % |
72.14/72.21 c | 53588 | 1298 143366 620643 | 2147483647 53588 107 | 0.000 % |
73.14/73.27 c | 54130 | 1298 143366 620643 | 2147483647 54130 107 | 0.000 % |
73.74/73.84 c | 54726 | 1298 143366 620643 | 2147483647 54726 107 | 0.000 % |
74.44/74.53 c | 55381 | 1298 143366 620643 | 2147483647 55381 106 | 0.000 % |
75.34/75.43 c | 56101 | 1298 143366 620643 | 2147483647 56101 106 | 0.000 % |
75.44/75.56 c | 56202 | 1298 143366 620643 | 2147483647 56202 106 | 0.000 % |
75.64/75.80 c | 56313 | 1298 143366 620643 | 2147483647 56313 106 | 0.000 % |
75.84/75.99 c | 56435 | 1298 143366 620643 | 2147483647 56435 106 | 0.001 % |
76.64/76.76 c | 56568 | 1298 143366 620643 | 2147483647 56568 106 | 0.000 % |
76.84/76.99 c | 56720 | 1298 143366 620643 | 2147483647 56720 106 | 0.000 % |
77.43/77.60 c | 56880 | 1298 143366 620643 | 2147483647 56880 106 | 0.000 % |
78.04/78.11 c | 57056 | 1298 143366 620643 | 2147483647 57056 106 | 0.000 % |
78.33/78.46 c | 57251 | 1298 143366 620643 | 2147483647 57251 106 | 0.000 % |
78.53/78.62 c | 57463 | 1298 143366 620643 | 2147483647 57463 105 | 0.000 % |
79.04/79.11 c | 57699 | 1298 143366 620643 | 2147483647 57699 106 | 0.000 % |
79.53/79.62 c | 57956 | 1298 143366 620643 | 2147483647 57956 106 | 0.000 % |
80.73/80.81 c | 58237 | 1298 143366 620643 | 2147483647 58237 106 | 0.000 % |
81.43/81.52 c | 58546 | 1298 143366 620643 | 2147483647 58546 106 | 0.000 % |
81.63/81.75 c | 58886 | 1298 143366 620643 | 2147483647 58886 105 | 0.000 % |
83.13/83.22 c | 59260 | 1298 143366 620643 | 2147483647 59260 105 | 0.000 % |
83.94/84.08 c | 59670 | 1298 143366 620643 | 2147483647 59670 106 | 0.000 % |
84.64/84.74 c | 60119 | 1298 143366 620643 | 2147483647 60119 106 | 0.000 % |
85.43/85.54 c | 60612 | 1298 143366 620643 | 2147483647 60612 106 | 0.000 % |
86.53/86.66 c | 61155 | 1298 143366 620643 | 2147483647 61155 106 | 0.000 % |
87.83/87.99 c | 61752 | 1298 143366 620643 | 2147483647 61752 105 | 0.000 % |
88.93/89.03 c | 62409 | 1298 143366 620643 | 2147483647 62409 105 | 0.000 % |
90.03/90.15 c | 63130 | 1298 143366 620643 | 2147483647 63130 105 | 0.000 % |
91.44/91.58 c | 63922 | 1298 143366 620643 | 2147483647 63922 105 | 0.000 % |
91.54/91.69 c | 64023 | 1298 143366 620643 | 2147483647 64023 105 | 0.000 % |
91.84/91.97 c | 64136 | 1298 143366 620643 | 2147483647 64136 105 | 0.000 % |
91.94/92.06 c | 64257 | 1298 143366 620643 | 2147483647 64257 105 | 0.000 % |
92.74/92.80 c | 64391 | 1298 143366 620643 | 2147483647 64391 105 | 0.000 % |
92.84/93.00 c | 64538 | 1298 143366 620643 | 2147483647 64538 105 | 0.000 % |
93.34/93.44 c | 64699 | 1298 143366 620643 | 2147483647 64699 105 | 0.000 % |
93.53/93.69 c | 64876 | 1298 143366 620643 | 2147483647 64876 105 | 0.000 % |
94.23/94.30 c | 65070 | 1298 143366 620643 | 2147483647 65070 105 | 0.000 % |
95.03/95.16 c | 65282 | 1298 143366 620643 | 2147483647 65282 105 | 0.000 % |
95.33/95.42 c | 65517 | 1298 143366 620643 | 2147483647 65517 105 | 0.000 % |
95.83/95.93 c | 65773 | 1298 143366 620643 | 2147483647 65773 105 | 0.000 % |
96.43/96.56 c | 66055 | 1298 143366 620643 | 2147483647 66055 105 | 0.000 % |
97.33/97.41 c | 66364 | 1298 143366 620643 | 2147483647 66364 105 | 0.000 % |
97.83/97.90 c | 66703 | 1298 143366 620643 | 2147483647 66703 105 | 0.001 % |
98.23/98.38 c | 67075 | 1298 143366 620643 | 2147483647 67075 105 | 0.000 % |
99.23/99.31 c | 67484 | 1298 143366 620643 | 2147483647 67484 105 | 0.000 % |
100.43/100.52 c | 67935 | 1298 143366 620643 | 2147483647 67935 105 | 0.000 % |
101.13/101.22 c | 68428 | 1298 143366 620643 | 2147483647 68428 105 | 0.000 % |
103.12/103.30 c | 68970 | 1298 143366 620643 | 2147483647 68970 105 | 0.000 % |
105.32/105.42 c | 69567 | 1298 143366 620643 | 2147483647 69567 105 | 0.000 % |
106.72/106.88 c | 70222 | 1298 143366 620643 | 2147483647 70222 105 | 0.000 % |
108.12/108.28 c | 70942 | 1298 143366 620643 | 2147483647 70942 105 | 0.000 % |
109.83/109.96 c | 71734 | 1298 143366 620643 | 2147483647 71734 105 | 0.000 % |
111.22/111.30 c | 72605 | 1298 143366 620643 | 2147483647 72605 105 | 0.000 % |
111.62/111.71 c | 72705 | 1298 143366 620643 | 2147483647 72705 105 | 0.000 % |
111.72/111.89 c | 72817 | 1298 143366 620643 | 2147483647 72817 105 | 0.000 % |
112.02/112.14 c | 72940 | 1298 143366 620643 | 2147483647 72940 105 | 0.000 % |
112.42/112.50 c | 73074 | 1298 143366 620643 | 2147483647 73074 105 | 0.000 % |
112.82/112.90 c | 73220 | 1298 143366 620643 | 2147483647 73220 105 | 0.000 % |
113.12/113.28 c | 73381 | 1298 143366 620643 | 2147483647 73381 105 | 0.000 % |
113.62/113.70 c | 73557 | 1298 143366 620643 | 2147483647 73557 105 | 0.000 % |
114.12/114.25 c | 73750 | 1298 143366 620643 | 2147483647 73750 105 | 0.000 % |
114.62/114.78 c | 73962 | 1298 143366 620643 | 2147483647 73962 105 | 0.000 % |
115.72/115.84 c | 74195 | 1298 143366 620643 | 2147483647 74195 105 | 0.000 % |
116.93/117.05 c | 74451 | 1298 143366 620643 | 2147483647 74451 105 | 0.000 % |
117.93/118.02 c | 74734 | 1298 143366 620643 | 2147483647 74734 104 | 0.001 % |
118.33/118.45 c | 75044 | 1298 143366 620643 | 2147483647 75044 104 | 0.000 % |
118.93/119.06 c | 75388 | 1298 143366 620643 | 2147483647 75388 104 | 0.000 % |
119.62/119.70 c | 75760 | 1298 143366 620643 | 2147483647 75760 104 | 0.000 % |
120.52/120.60 c | 76170 | 1298 143366 620643 | 2147483647 76170 104 | 0.000 % |
122.12/122.26 c | 76620 | 1298 143366 620643 | 2147483647 76620 104 | 0.000 % |
123.22/123.36 c | 77114 | 1298 143366 620643 | 2147483647 77114 104 | 0.000 % |
124.32/124.46 c | 77656 | 1298 143366 620643 | 2147483647 77656 104 | 0.000 % |
125.12/125.24 c | 78252 | 1298 143366 620643 | 2147483647 78252 104 | 0.000 % |
125.72/125.85 c | 78907 | 1298 143366 620643 | 2147483647 78907 104 | 0.000 % |
127.22/127.36 c | 79630 | 1298 143366 620643 | 2147483647 79630 104 | 0.000 % |
128.42/128.50 c | 80422 | 1298 143366 620643 | 2147483647 80422 104 | 0.000 % |
129.51/129.70 c | 81293 | 1298 143366 620643 | 2147483647 81293 104 | 0.002 % |
130.72/130.86 c | 82258 | 1298 143366 620643 | 2147483647 82258 104 | 0.000 % |
130.91/131.05 c | 82359 | 1298 143366 620643 | 2147483647 82359 104 | 0.000 % |
131.11/131.28 c | 82470 | 1298 143366 620643 | 2147483647 82470 104 | 0.000 % |
131.31/131.41 c | 82591 | 1298 143366 620643 | 2147483647 82591 104 | 0.000 % |
131.71/131.84 c | 82724 | 1298 143366 620643 | 2147483647 82724 104 | 0.000 % |
132.11/132.25 c | 82870 | 1298 143366 620643 | 2147483647 82870 104 | 0.000 % |
132.51/132.67 c | 83031 | 1298 143366 620643 | 2147483647 83031 104 | 0.000 % |
132.91/133.04 c | 83208 | 1298 143366 620643 | 2147483647 83208 104 | 0.000 % |
133.31/133.46 c | 83404 | 1298 143366 620643 | 2147483647 83404 104 | 0.000 % |
133.91/134.03 c | 83618 | 1298 143366 620643 | 2147483647 83618 104 | 0.000 % |
134.41/134.55 c | 83851 | 1298 143366 620643 | 2147483647 83851 104 | 0.000 % |
135.01/135.15 c | 84107 | 1298 143366 620643 | 2147483647 84107 104 | 0.000 % |
135.41/135.51 c | 84388 | 1298 143366 620643 | 2147483647 84388 104 | 0.000 % |
136.41/136.56 c | 84697 | 1298 143366 620643 | 2147483647 84697 104 | 0.000 % |
137.41/137.55 c | 85036 | 1298 143366 620643 | 2147483647 85036 104 | 0.000 % |
138.12/138.24 c | 85409 | 1298 143366 620643 | 2147483647 85409 104 | 0.000 % |
139.42/139.56 c | 85819 | 1298 143366 620643 | 2147483647 85819 104 | 0.000 % |
140.31/140.46 c | 86270 | 1298 143366 620643 | 2147483647 86270 104 | 0.001 % |
141.21/141.32 c | 86764 | 1298 143366 620643 | 2147483647 86764 104 | 0.000 % |
143.31/143.48 c | 87306 | 1298 143366 620643 | 2147483647 87306 104 | 0.000 % |
144.31/144.49 c | 87902 | 1298 143366 620643 | 2147483647 87902 104 | 0.000 % |
145.41/145.53 c | 88558 | 1298 143366 620643 | 2147483647 88558 104 | 0.000 % |
147.81/147.97 c | 89278 | 1298 143366 620643 | 2147483647 89278 104 | 0.000 % |
149.81/149.92 c | 90070 | 1298 143366 620643 | 2147483647 90070 104 | 0.000 % |
151.81/151.95 c | 90943 | 1298 143366 620643 | 2147483647 90943 104 | 0.000 % |
153.11/153.24 c | 91901 | 1298 143366 620643 | 2147483647 91901 104 | 0.000 % |
154.61/154.73 c | 92956 | 1298 143366 620643 | 2147483647 92956 104 | 0.000 % |
155.01/155.17 c | 93058 | 1298 143366 620643 | 2147483647 93058 104 | 0.000 % |
155.51/155.66 c | 93170 | 1298 143366 620643 | 2147483647 93170 104 | 0.000 % |
155.71/155.87 c | 93293 | 1298 143366 620643 | 2147483647 93293 104 | 0.000 % |
156.01/156.19 c | 93427 | 1298 143366 620643 | 2147483647 93427 104 | 0.000 % |
156.31/156.48 c | 93576 | 1298 143366 620643 | 2147483647 93576 104 | 0.000 % |
156.71/156.87 c | 93736 | 1298 143366 620643 | 2147483647 93736 104 | 0.000 % |
157.00/157.15 c | 93912 | 1298 143366 620643 | 2147483647 93912 104 | 0.000 % |
157.60/157.74 c | 94107 | 1298 143366 620643 | 2147483647 94107 104 | 0.000 % |
158.10/158.25 c | 94322 | 1298 143366 620643 | 2147483647 94322 104 | 0.000 % |
158.61/158.79 c | 94561 | 1298 143366 620643 | 2147483647 94561 103 | 0.000 % |
159.41/159.59 c | 94817 | 1298 143366 620643 | 2147483647 94817 103 | 0.000 % |
160.80/160.93 c | 95099 | 1298 143366 620643 | 2147483647 95099 103 | 0.000 % |
161.40/161.55 c | 95408 | 1298 143366 620643 | 2147483647 95408 103 | 0.000 % |
162.40/162.52 c | 95747 | 1298 143366 620643 | 2147483647 95747 103 | 0.000 % |
163.20/163.34 c | 96120 | 1298 143366 620643 | 2147483647 96120 103 | 0.000 % |
163.71/163.86 c | 96529 | 1298 143366 620643 | 2147483647 96529 103 | 0.000 % |
165.00/165.10 c | 96980 | 1298 143366 620643 | 2147483647 96980 103 | 0.000 % |
165.60/165.71 c | 97475 | 1298 143366 620643 | 2147483647 97475 103 | 0.000 % |
167.40/167.57 c | 98019 | 1298 143366 620643 | 2147483647 98019 103 | 0.000 % |
168.20/168.38 c | 98618 | 1298 143366 620643 | 2147483647 98618 103 | 0.000 % |
169.40/169.59 c | 99273 | 1298 143366 620643 | 2147483647 99273 103 | 0.000 % |
170.51/170.62 c | 99993 | 1298 143366 620643 | 2147483647 99993 103 | 0.000 % |
173.71/173.82 c | 100786 | 1298 143366 620643 | 2147483647 100786 103 | 0.000 % |
176.91/177.01 c | 101657 | 1298 143366 620643 | 2147483647 101657 103 | 0.001 % |
178.70/178.82 c | 102617 | 1298 143366 620643 | 2147483647 102617 103 | 0.000 % |
180.50/180.63 c | 103671 | 1298 143366 620643 | 2147483647 103671 103 | 0.000 % |
181.40/181.59 c | 104830 | 1298 143366 620643 | 2147483647 104830 102 | 0.000 % |
181.80/181.93 c | 104931 | 1298 143366 620643 | 2147483647 104931 102 | 0.000 % |
182.30/182.45 c | 105042 | 1298 143366 620643 | 2147483647 105042 102 | 0.000 % |
182.60/182.77 c | 105164 | 1298 143366 620643 | 2147483647 105164 102 | 0.000 % |
183.20/183.40 c | 105298 | 1298 143366 620643 | 2147483647 105298 102 | 0.000 % |
183.50/183.68 c | 105446 | 1298 143366 620643 | 2147483647 105446 102 | 0.000 % |
184.00/184.18 c | 105606 | 1298 143366 620643 | 2147483647 105606 102 | 0.000 % |
184.50/184.63 c | 105782 | 1298 143366 620643 | 2147483647 105782 102 | 0.000 % |
184.90/185.09 c | 105975 | 1298 143366 620643 | 2147483647 105975 102 | 0.000 % |
185.70/185.82 c | 106187 | 1298 143366 620643 | 2147483647 106187 102 | 0.000 % |
186.69/186.81 c | 106425 | 1298 143366 620643 | 2147483647 106425 102 | 0.000 % |
187.90/188.05 c | 106684 | 1298 143366 620643 | 2147483647 106684 102 | 0.000 % |
188.49/188.68 c | 106968 | 1298 143366 620643 | 2147483647 106968 102 | 0.001 % |
189.59/189.72 c | 107277 | 1298 143366 620643 | 2147483647 107277 102 | 0.000 % |
190.29/190.45 c | 107620 | 1298 143366 620643 | 2147483647 107620 102 | 0.000 % |
191.09/191.27 c | 107992 | 1298 143366 620643 | 2147483647 107992 102 | 0.000 % |
192.09/192.23 c | 108402 | 1298 143366 620643 | 2147483647 108402 102 | 0.000 % |
193.69/193.84 c | 108852 | 1298 143366 620643 | 2147483647 108852 102 | 0.000 % |
194.89/195.01 c | 109345 | 1298 143366 620643 | 2147483647 109345 102 | 0.000 % |
196.09/196.28 c | 109893 | 1298 143366 620643 | 2147483647 109893 102 | 0.000 % |
197.59/197.73 c | 110493 | 1298 143366 620643 | 2147483647 110493 102 | 0.000 % |
199.69/199.80 c | 111150 | 1298 143366 620643 | 2147483647 111150 101 | 0.001 % |
201.39/201.60 c | 111872 | 1298 143366 620643 | 2147483647 111872 101 | 0.001 % |
203.69/203.88 c | 112666 | 1298 143366 620643 | 2147483647 112666 101 | 0.000 % |
204.50/204.68 c | 113540 | 1298 143366 620643 | 2147483647 113540 101 | 0.000 % |
206.19/206.37 c | 114500 | 1298 143366 620643 | 2147483647 114500 101 | 0.000 % |
208.99/209.14 c | 115555 | 1298 143366 620643 | 2147483647 115555 101 | 0.000 % |
212.49/212.63 c | 116717 | 1298 143366 620643 | 2147483647 116717 101 | 0.000 % |
214.88/215.01 c | 117990 | 1298 143366 620643 | 2147483647 117990 101 | 0.000 % |
215.08/215.25 c | 118090 | 1298 143366 620643 | 2147483647 118090 101 | 0.000 % |
215.39/215.51 c | 118200 | 1298 143366 620643 | 2147483647 118200 101 | 0.000 % |
215.58/215.79 c | 118321 | 1298 143366 620643 | 2147483647 118321 101 | 0.000 % |
216.08/216.23 c | 118454 | 1298 143366 620643 | 2147483647 118454 101 | 0.000 % |
216.59/216.75 c | 118600 | 1298 143366 620643 | 2147483647 118600 101 | 0.000 % |
216.98/217.18 c | 118761 | 1298 143366 620643 | 2147483647 118761 101 | 0.000 % |
217.59/217.73 c | 118938 | 1298 143366 620643 | 2147483647 118938 101 | 0.000 % |
217.98/218.20 c | 119131 | 1298 143366 620643 | 2147483647 119131 101 | 0.000 % |
218.39/218.57 c | 119343 | 1298 143366 620643 | 2147483647 119343 101 | 0.000 % |
219.59/219.76 c | 119578 | 1298 143366 620643 | 2147483647 119578 101 | 0.001 % |
220.09/220.20 c | 119835 | 1298 143366 620643 | 2147483647 119835 101 | 0.000 % |
220.69/220.88 c | 120118 | 1298 143366 620643 | 2147483647 120118 101 | 0.000 % |
221.38/221.52 c | 120427 | 1298 143366 620643 | 2147483647 120427 101 | 0.000 % |
221.88/222.04 c | 120768 | 1298 143366 620643 | 2147483647 120768 101 | 0.000 % |
222.78/222.98 c | 121142 | 1298 143366 620643 | 2147483647 121142 101 | 0.000 % |
223.98/224.17 c | 121556 | 1298 143366 620643 | 2147483647 121556 101 | 0.000 % |
225.98/226.19 c | 122005 | 1298 143366 620643 | 2147483647 122005 101 | 0.000 % |
228.18/228.39 c | 122498 | 1298 143366 620643 | 2147483647 122498 101 | 0.000 % |
229.48/229.64 c | 123042 | 1298 143366 620643 | 2147483647 123042 101 | 0.000 % |
230.89/231.07 c | 123638 | 1298 143366 620643 | 2147483647 123638 101 | 0.000 % |
232.78/232.92 c | 124293 | 1298 143366 620643 | 2147483647 124293 101 | 0.000 % |
234.58/234.70 c | 125014 | 1298 143366 620643 | 2147483647 125014 101 | 0.000 % |
237.39/237.57 c | 125806 | 1298 143366 620643 | 2147483647 125806 101 | 0.000 % |
238.98/239.13 c | 126677 | 1298 143366 620643 | 2147483647 126677 101 | 0.000 % |
241.78/241.96 c | 127637 | 1298 143366 620643 | 2147483647 127637 101 | 0.000 % |
244.28/244.49 c | 128691 | 1298 143366 620643 | 2147483647 128691 101 | 0.000 % |
247.87/248.01 c | 129849 | 1298 143366 620643 | 2147483647 129849 101 | 0.000 % |
250.78/250.91 c | 131122 | 1298 143366 620643 | 2147483647 131122 101 | 0.000 % |
254.18/254.32 c | 132523 | 1298 143366 620643 | 2147483647 132523 100 | 0.001 % |
254.38/254.60 c | 132623 | 1298 143366 620643 | 2147483647 132623 100 | 0.000 % |
254.88/255.05 c | 132735 | 1298 143366 620643 | 2147483647 132735 100 | 0.000 % |
255.28/255.48 c | 132856 | 1298 143366 620643 | 2147483647 132856 100 | 0.000 % |
255.78/255.95 c | 132990 | 1298 143366 620643 | 2147483647 132990 100 | 0.000 % |
256.18/256.32 c | 133136 | 1298 143366 620643 | 2147483647 133136 100 | 0.000 % |
256.47/256.65 c | 133296 | 1298 143366 620643 | 2147483647 133296 100 | 0.000 % |
257.37/257.51 c | 133472 | 1298 143366 620643 | 2147483647 133472 100 | 0.000 % |
258.07/258.24 c | 133666 | 1298 143366 620643 | 2147483647 133666 100 | 0.000 % |
258.47/258.65 c | 133879 | 1298 143366 620643 | 2147483647 133879 100 | 0.000 % |
259.77/259.98 c | 134113 | 1298 143366 620643 | 2147483647 134113 100 | 0.000 % |
260.97/261.16 c | 134370 | 1298 143366 620643 | 2147483647 134370 100 | 0.000 % |
261.47/261.67 c | 134652 | 1298 143366 620643 | 2147483647 134652 100 | 0.000 % |
262.77/262.94 c | 134961 | 1298 143366 620643 | 2147483647 134961 100 | 0.000 % |
263.27/263.42 c | 135302 | 1298 143366 620643 | 2147483647 135302 100 | 0.000 % |
263.97/264.11 c | 135674 | 1298 143366 620643 | 2147483647 135674 100 | 0.000 % |
264.77/264.94 c | 136084 | 1298 143366 620643 | 2147483647 136084 100 | 0.000 % |
266.07/266.26 c | 136536 | 1298 143366 620643 | 2147483647 136536 100 | 0.000 % |
267.97/268.15 c | 137030 | 1298 143366 620643 | 2147483647 137030 100 | 0.000 % |
269.07/269.22 c | 137572 | 1298 143366 620643 | 2147483647 137572 100 | 0.000 % |
270.66/270.87 c | 138169 | 1298 143366 620643 | 2147483647 138169 100 | 0.000 % |
271.76/271.95 c | 138825 | 1298 143366 620643 | 2147483647 138825 101 | 0.000 % |
274.26/274.46 c | 139546 | 1298 143366 620643 | 2147483647 139546 101 | 0.000 % |
276.27/276.45 c | 140338 | 1298 143366 620643 | 2147483647 140338 101 | 0.000 % |
279.17/279.33 c | 141211 | 1298 143366 620643 | 2147483647 141211 101 | 0.000 % |
282.06/282.28 c | 142169 | 1298 143366 620643 | 2147483647 142169 101 | 0.000 % |
284.46/284.69 c | 143225 | 1298 143366 620643 | 2147483647 143225 101 | 0.000 % |
287.36/287.53 c | 144383 | 1298 143366 620643 | 2147483647 144383 101 | 0.000 % |
291.96/292.12 c | 145657 | 1298 143366 620643 | 2147483647 145657 101 | 0.000 % |
293.96/294.14 c | 147057 | 1298 143366 620643 | 2147483647 147057 101 | 0.000 % |
299.86/300.06 c | 148598 | 1298 143366 620643 | 2147483647 148598 102 | 0.000 % |
300.06/300.30 c | 148698 | 1298 143366 620643 | 2147483647 148698 102 | 0.000 % |
300.46/300.68 c | 148808 | 1298 143366 620643 | 2147483647 148808 102 | 0.000 % |
300.96/301.17 c | 148929 | 1298 143366 620643 | 2147483647 148929 102 | 0.000 % |
301.46/301.64 c | 149062 | 1298 143366 620643 | 2147483647 149062 102 | 0.000 % |
302.16/302.31 c | 149208 | 1298 143366 620643 | 2147483647 149208 102 | 0.000 % |
302.96/303.14 c | 149369 | 1298 143366 620643 | 2147483647 149369 102 | 0.000 % |
303.46/303.61 c | 149545 | 1298 143366 620643 | 2147483647 149545 102 | 0.000 % |
304.06/304.24 c | 149739 | 1298 143366 620643 | 2147483647 149739 102 | 0.000 % |
304.76/304.91 c | 149952 | 1298 143366 620643 | 2147483647 149952 102 | 0.000 % |
305.36/305.52 c | 150187 | 1298 143366 620643 | 2147483647 150187 102 | 0.000 % |
306.05/306.22 c | 150444 | 1298 143366 620643 | 2147483647 150444 102 | 0.000 % |
307.05/307.25 c | 150725 | 1298 143366 620643 | 2147483647 150725 101 | 0.000 % |
307.86/308.07 c | 151034 | 1298 143366 620643 | 2147483647 151034 101 | 0.000 % |
309.96/310.15 c | 151374 | 1298 143366 620643 | 2147483647 151374 102 | 0.000 % |
310.55/310.79 c | 151748 | 1298 143366 620643 | 2147483647 151748 102 | 0.000 % |
311.95/312.17 c | 152160 | 1298 143366 620643 | 2147483647 152160 102 | 0.000 % |
313.15/313.39 c | 152610 | 1298 143366 620643 | 2147483647 152610 102 | 0.000 % |
314.35/314.58 c | 153103 | 1298 143366 620643 | 2147483647 153103 102 | 0.000 % |
315.45/315.65 c | 153645 | 1298 143366 620643 | 2147483647 153645 102 | 0.000 % |
316.75/316.97 c | 154242 | 1298 143366 620643 | 2147483647 154242 102 | 0.000 % |
319.36/319.59 c | 154898 | 1298 143366 620643 | 2147483647 154898 102 | 0.000 % |
321.76/321.96 c | 155620 | 1298 143366 620643 | 2147483647 155620 102 | 0.000 % |
324.75/324.98 c | 156413 | 1298 143366 620643 | 2147483647 156413 101 | 0.000 % |
328.05/328.28 c | 157284 | 1298 143366 620643 | 2147483647 157284 101 | 0.000 % |
329.95/330.18 c | 158243 | 1298 143366 620643 | 2147483647 158243 101 | 0.000 % |
332.84/333.04 c | 159296 | 1298 143366 620643 | 2147483647 159296 101 | 0.000 % |
334.85/335.00 c | 160455 | 1298 143366 620643 | 2147483647 160455 101 | 0.000 % |
336.45/336.69 c | 161730 | 1298 143366 620643 | 2147483647 161730 101 | 0.000 % |
338.45/338.68 c | 163131 | 1298 143366 620643 | 2147483647 163131 101 | 0.000 % |
341.45/341.63 c | 164672 | 1298 143366 620643 | 2147483647 164672 101 | 0.000 % |
344.44/344.61 c | 166366 | 1298 143366 620643 | 2147483647 166366 101 | 0.000 % |
344.64/344.80 c | 166466 | 1298 143366 620643 | 2147483647 166466 101 | 0.000 % |
344.84/345.01 c | 166576 | 1298 143366 620643 | 2147483647 166576 101 | 0.000 % |
345.34/345.55 c | 166697 | 1298 143366 620643 | 2147483647 166697 101 | 0.000 % |
345.74/345.96 c | 166831 | 1298 143366 620643 | 2147483647 166831 101 | 0.000 % |
346.74/347.00 c | 166978 | 1298 143366 620643 | 2147483647 166978 101 | 0.000 % |
347.54/347.79 c | 167139 | 1298 143366 620643 | 2147483647 167139 101 | 0.000 % |
348.24/348.45 c | 167316 | 1298 143366 620643 | 2147483647 167316 101 | 0.000 % |
348.94/349.12 c | 167513 | 1298 143366 620643 | 2147483647 167513 101 | 0.001 % |
349.74/349.97 c | 167726 | 1298 143366 620643 | 2147483647 167726 101 | 0.000 % |
350.54/350.76 c | 167960 | 1298 143366 620643 | 2147483647 167960 101 | 0.000 % |
351.34/351.52 c | 168218 | 1298 143366 620643 | 2147483647 168218 101 | 0.000 % |
352.24/352.48 c | 168499 | 1298 143366 620643 | 2147483647 168499 101 | 0.000 % |
353.05/353.23 c | 168808 | 1298 143366 620643 | 2147483647 168808 101 | 0.000 % |
353.85/354.02 c | 169147 | 1298 143366 620643 | 2147483647 169147 101 | 0.000 % |
354.55/354.75 c | 169520 | 1298 143366 620643 | 2147483647 169520 101 | 0.000 % |
356.15/356.36 c | 169931 | 1298 143366 620643 | 2147483647 169931 101 | 0.000 % |
357.94/358.17 c | 170380 | 1298 143366 620643 | 2147483647 170380 101 | 0.000 % |
359.24/359.48 c | 170873 | 1298 143366 620643 | 2147483647 170873 101 | 0.000 % |
360.54/360.78 c | 171415 | 1298 143366 620643 | 2147483647 171415 101 | 0.000 % |
362.04/362.26 c | 172013 | 1298 143366 620643 | 2147483647 172013 101 | 0.001 % |
364.24/364.41 c | 172668 | 1298 143366 620643 | 2147483647 172668 101 | 0.000 % |
367.24/367.44 c | 173389 | 1298 143366 620643 | 2147483647 173389 101 | 0.000 % |
369.64/369.81 c | 174181 | 1298 143366 620643 | 2147483647 174181 101 | 0.000 % |
372.24/372.44 c | 175054 | 1298 143366 620643 | 2147483647 175054 100 | 0.000 % |
375.14/375.31 c | 176014 | 1298 143366 620643 | 2147483647 176014 101 | 0.000 % |
380.34/380.52 c | 177069 | 1298 143366 620643 | 2147483647 177069 101 | 0.000 % |
383.94/384.15 c | 178227 | 1298 143366 620643 | 2147483647 178227 101 | 0.000 % |
387.54/387.79 c | 179500 | 1298 143366 620643 | 2147483647 179500 101 | 0.000 % |
391.13/391.31 c | 180901 | 1298 143366 620643 | 2147483647 180901 101 | 0.000 % |
394.83/395.08 c | 182441 | 1298 143366 620643 | 2147483647 182441 101 | 0.000 % |
398.43/398.66 c | 184136 | 1298 143366 620643 | 2147483647 184136 101 | 0.000 % |
404.42/404.61 c | 186004 | 1298 143366 620643 | 2147483647 186004 101 | 0.000 % |
404.92/405.14 c | 186106 | 1298 143366 620643 | 2147483647 186106 101 | 0.000 % |
405.42/405.65 c | 186216 | 1298 143366 620643 | 2147483647 186216 101 | 0.000 % |
405.92/406.11 c | 186338 | 1298 143366 620643 | 2147483647 186338 101 | 0.000 % |
406.42/406.66 c | 186472 | 1298 143366 620643 | 2147483647 186472 101 | 0.000 % |
406.92/407.16 c | 186622 | 1298 143366 620643 | 2147483647 186622 101 | 0.000 % |
407.52/407.71 c | 186782 | 1298 143366 620643 | 2147483647 186782 101 | 0.000 % |
408.22/408.44 c | 186958 | 1298 143366 620643 | 2147483647 186958 101 | 0.000 % |
408.82/409.07 c | 187151 | 1298 143366 620643 | 2147483647 187151 101 | 0.000 % |
409.52/409.77 c | 187363 | 1298 143366 620643 | 2147483647 187363 101 | 0.000 % |
410.02/410.21 c | 187596 | 1298 143366 620643 | 2147483647 187596 101 | 0.000 % |
411.33/411.58 c | 187852 | 1298 143366 620643 | 2147483647 187852 101 | 0.000 % |
412.43/412.63 c | 188137 | 1298 143366 620643 | 2147483647 188137 101 | 0.000 % |
413.33/413.56 c | 188446 | 1298 143366 620643 | 2147483647 188446 101 | 0.000 % |
414.63/414.89 c | 188785 | 1298 143366 620643 | 2147483647 188785 101 | 0.000 % |
415.23/415.48 c | 189159 | 1298 143366 620643 | 2147483647 189159 101 | 0.000 % |
416.03/416.25 c | 189568 | 1298 143366 620643 | 2147483647 189568 101 | 0.000 % |
418.23/418.46 c | 190017 | 1298 143366 620643 | 2147483647 190017 101 | 0.000 % |
420.22/420.45 c | 190510 | 1298 143366 620643 | 2147483647 190510 101 | 0.000 % |
422.82/423.08 c | 191052 | 1298 143366 620643 | 2147483647 191052 101 | 0.000 % |
424.72/424.94 c | 191648 | 1298 143366 620643 | 2147483647 191648 101 | 0.000 % |
427.73/427.99 c | 192303 | 1298 143366 620643 | 2147483647 192303 101 | 0.000 % |
431.32/431.58 c | 193027 | 1298 143366 620643 | 2147483647 193027 101 | 0.000 % |
435.12/435.38 c | 193819 | 1298 143366 620643 | 2147483647 193819 101 | 0.000 % |
437.72/437.98 c | 194690 | 1298 143366 620643 | 2147483647 194690 101 | 0.000 % |
439.62/439.83 c | 195648 | 1298 143366 620643 | 2147483647 195648 101 | 0.001 % |
442.02/442.25 c | 196703 | 1298 143366 620643 | 2147483647 196703 101 | 0.000 % |
443.71/443.95 c | 197862 | 1298 143366 620643 | 2147483647 197862 101 | 0.000 % |
446.51/446.71 c | 199135 | 1298 143366 620643 | 2147483647 199135 101 | 0.000 % |
449.72/449.99 c | 200538 | 1298 143366 620643 | 2147483647 200538 101 | 0.000 % |
453.81/454.00 c | 202081 | 1298 143366 620643 | 2147483647 202081 101 | 0.000 % |
461.81/462.07 c | 203776 | 1298 143366 620643 | 2147483647 203776 101 | 0.000 % |
465.61/465.87 c | 205639 | 1298 143366 620643 | 2147483647 205639 101 | 0.000 % |
470.51/470.74 c | 207690 | 1298 143366 620643 | 2147483647 207690 101 | 0.000 % |
470.90/471.13 c | 207791 | 1298 143366 620643 | 2147483647 207791 101 | 0.000 % |
471.40/471.69 c | 207904 | 1298 143366 620643 | 2147483647 207904 101 | 0.000 % |
472.00/472.20 c | 208026 | 1298 143366 620643 | 2147483647 208026 101 | 0.000 % |
472.82/473.06 c | 208160 | 1298 143366 620643 | 2147483647 208160 101 | 0.000 % |
473.41/473.64 c | 208306 | 1298 143366 620643 | 2147483647 208306 101 | 0.000 % |
474.01/474.26 c | 208466 | 1298 143366 620643 | 2147483647 208466 101 | 0.000 % |
474.81/475.05 c | 208646 | 1298 143366 620643 | 2147483647 208646 101 | 0.000 % |
475.81/476.06 c | 208840 | 1298 143366 620643 | 2147483647 208840 101 | 0.000 % |
476.61/476.87 c | 209055 | 1298 143366 620643 | 2147483647 209055 101 | 0.000 % |
477.81/478.00 c | 209288 | 1298 143366 620643 | 2147483647 209288 101 | 0.000 % |
478.61/478.80 c | 209545 | 1298 143366 620643 | 2147483647 209545 101 | 0.000 % |
479.31/479.55 c | 209826 | 1298 143366 620643 | 2147483647 209826 101 | 0.000 % |
480.41/480.70 c | 210135 | 1298 143366 620643 | 2147483647 210135 101 | 0.000 % |
481.71/481.93 c | 210474 | 1298 143366 620643 | 2147483647 210474 101 | 0.000 % |
482.71/482.93 c | 210846 | 1298 143366 620643 | 2147483647 210846 101 | 0.000 % |
484.70/484.96 c | 211255 | 1298 143366 620643 | 2147483647 211255 101 | 0.000 % |
486.90/487.15 c | 211704 | 1298 143366 620643 | 2147483647 211704 101 | 0.000 % |
488.50/488.76 c | 212197 | 1298 143366 620643 | 2147483647 212197 101 | 0.000 % |
490.60/490.82 c | 212740 | 1298 143366 620643 | 2147483647 212740 101 | 0.000 % |
492.90/493.12 c | 213336 | 1298 143366 620643 | 2147483647 213336 101 | 0.000 % |
494.90/495.17 c | 213991 | 1298 143366 620643 | 2147483647 213991 101 | 0.000 % |
496.10/496.36 c | 214712 | 1298 143366 620643 | 2147483647 214712 101 | 0.000 % |
498.30/498.54 c | 215504 | 1298 143366 620643 | 2147483647 215504 101 | 0.000 % |
500.79/501.07 c | 216375 | 1298 143366 620643 | 2147483647 216375 101 | 0.000 % |
504.19/504.46 c | 217333 | 1298 143366 620643 | 2147483647 217333 101 | 0.000 % |
508.20/508.48 c | 218388 | 1298 143366 620643 | 2147483647 218388 101 | 0.000 % |
512.70/512.92 c | 219546 | 1298 143366 620643 | 2147483647 219546 101 | 0.000 % |
517.39/517.68 c | 220819 | 1298 143366 620643 | 2147483647 220819 101 | 0.000 % |
521.29/521.56 c | 222221 | 1298 143366 620643 | 2147483647 222221 101 | 0.000 % |
525.89/526.13 c | 223761 | 1298 143366 620643 | 2147483647 223761 101 | 0.000 % |
531.79/532.04 c | 225455 | 1298 143366 620643 | 2147483647 225455 101 | 0.000 % |
537.98/538.21 c | 227318 | 1298 143366 620643 | 2147483647 227318 101 | 0.000 % |
543.49/543.79 c | 229369 | 1298 143366 620643 | 2147483647 229369 101 | 0.000 % |
551.39/551.60 c | 231622 | 1298 143366 620643 | 2147483647 231622 101 | 0.000 % |
551.78/552.00 c | 231724 | 1298 143366 620643 | 2147483647 231724 101 | 0.000 % |
552.08/552.40 c | 231838 | 1298 143366 620643 | 2147483647 231838 101 | 0.000 % |
552.68/552.99 c | 231959 | 1298 143366 620643 | 2147483647 231959 101 | 0.000 % |
553.18/553.41 c | 232092 | 1298 143366 620643 | 2147483647 232092 101 | 0.000 % |
553.58/553.87 c | 232238 | 1298 143366 620643 | 2147483647 232238 101 | 0.000 % |
554.28/554.50 c | 232400 | 1298 143366 620643 | 2147483647 232400 101 | 0.000 % |
554.88/555.16 c | 232576 | 1298 143366 620643 | 2147483647 232576 101 | 0.000 % |
556.08/556.38 c | 232770 | 1298 143366 620643 | 2147483647 232770 101 | 0.000 % |
556.98/557.28 c | 232984 | 1298 143366 620643 | 2147483647 232984 101 | 0.000 % |
557.68/557.99 c | 233219 | 1298 143366 620643 | 2147483647 233219 101 | 0.000 % |
559.38/559.60 c | 233475 | 1298 143366 620643 | 2147483647 233475 101 | 0.000 % |
560.58/560.86 c | 233756 | 1298 143366 620643 | 2147483647 233756 101 | 0.000 % |
561.48/561.79 c | 234066 | 1298 143366 620643 | 2147483647 234066 101 | 0.000 % |
562.57/562.81 c | 234405 | 1298 143366 620643 | 2147483647 234405 101 | 0.000 % |
564.28/564.53 c | 234778 | 1298 143366 620643 | 2147483647 234778 101 | 0.000 % |
565.78/566.06 c | 235187 | 1298 143366 620643 | 2147483647 235187 101 | 0.000 % |
567.58/567.86 c | 235637 | 1298 143366 620643 | 2147483647 235637 101 | 0.000 % |
569.38/569.61 c | 236130 | 1298 143366 620643 | 2147483647 236130 101 | 0.000 % |
570.58/570.81 c | 236672 | 1298 143366 620643 | 2147483647 236672 101 | 0.000 % |
573.08/573.30 c | 237268 | 1298 143366 620643 | 2147483647 237268 101 | 0.000 % |
577.38/577.61 c | 237923 | 1298 143366 620643 | 2147483647 237923 101 | 0.000 % |
579.58/579.88 c | 238643 | 1298 143366 620643 | 2147483647 238643 101 | 0.000 % |
581.58/581.83 c | 239436 | 1298 143366 620643 | 2147483647 239436 101 | 0.000 % |
585.07/585.39 c | 240307 | 1298 143366 620643 | 2147483647 240307 101 | 0.000 % |
588.07/588.38 c | 241265 | 1298 143366 620643 | 2147483647 241265 101 | 0.000 % |
592.67/592.94 c | 242319 | 1298 143366 620643 | 2147483647 242319 101 | 0.000 % |
596.26/596.59 c | 243477 | 1298 143366 620643 | 2147483647 243477 101 | 0.000 % |
600.86/601.15 c | 244750 | 1298 143366 620643 | 2147483647 244750 101 | 0.000 % |
604.07/604.30 c | 246151 | 1298 143366 620643 | 2147483647 246151 101 | 0.000 % |
609.26/609.50 c | 247692 | 1298 143366 620643 | 2147483647 247692 101 | 0.000 % |
616.26/616.53 c | 249389 | 1298 143366 620643 | 2147483647 249389 100 | 0.000 % |
621.86/622.13 c | 251255 | 1298 143366 620643 | 2147483647 251255 100 | 0.000 % |
629.46/629.73 c | 253305 | 1298 143366 620643 | 2147483647 253305 100 | 0.000 % |
634.75/635.05 c | 255558 | 1298 143366 620643 | 2147483647 255558 100 | 0.000 % |
639.16/639.44 c | 258036 | 1298 143366 620643 | 2147483647 258036 100 | 0.000 % |
639.86/640.11 c | 258136 | 1298 143366 620643 | 2147483647 258136 100 | 0.000 % |
640.25/640.51 c | 258248 | 1298 143366 620643 | 2147483647 258248 100 | 0.000 % |
641.15/641.46 c | 258370 | 1298 143366 620643 | 2147483647 258370 100 | 0.000 % |
641.75/642.00 c | 258503 | 1298 143366 620643 | 2147483647 258503 100 | 0.000 % |
642.45/642.74 c | 258649 | 1298 143366 620643 | 2147483647 258649 100 | 0.000 % |
643.16/643.48 c | 258809 | 1298 143366 620643 | 2147483647 258809 100 | 0.000 % |
644.55/644.83 c | 258985 | 1298 143366 620643 | 2147483647 258985 100 | 0.000 % |
645.46/645.80 c | 259178 | 1298 143366 620643 | 2147483647 259178 100 | 0.000 % |
646.35/646.69 c | 259390 | 1298 143366 620643 | 2147483647 259390 100 | 0.000 % |
647.45/647.77 c | 259625 | 1298 143366 620643 | 2147483647 259625 100 | 0.000 % |
648.65/648.98 c | 259881 | 1298 143366 620643 | 2147483647 259881 100 | 0.001 % |
649.85/650.16 c | 260163 | 1298 143366 620643 | 2147483647 260163 100 | 0.000 % |
651.25/651.52 c | 260472 | 1298 143366 620643 | 2147483647 260472 100 | 0.000 % |
652.55/652.84 c | 260816 | 1298 143366 620643 | 2147483647 260816 100 | 0.000 % |
653.85/654.18 c | 261189 | 1298 143366 620643 | 2147483647 261189 100 | 0.000 % |
654.95/655.20 c | 261599 | 1298 143366 620643 | 2147483647 261599 100 | 0.000 % |
655.85/656.16 c | 262048 | 1298 143366 620643 | 2147483647 262048 100 | 0.000 % |
658.65/658.98 c | 262541 | 1298 143366 620643 | 2147483647 262541 100 | 0.000 % |
662.04/662.30 c | 263084 | 1298 143366 620643 | 2147483647 263084 100 | 0.000 % |
664.74/665.09 c | 263680 | 1298 143366 620643 | 2147483647 263680 100 | 0.000 % |
666.84/667.15 c | 264336 | 1298 143366 620643 | 2147483647 264336 100 | 0.001 % |
668.94/669.27 c | 265058 | 1298 143366 620643 | 2147483647 265058 100 | 0.000 % |
673.64/673.97 c | 265852 | 1298 143366 620643 | 2147483647 265852 100 | 0.000 % |
677.84/678.17 c | 266723 | 1298 143366 620643 | 2147483647 266723 100 | 0.000 % |
682.34/682.68 c | 267681 | 1298 143366 620643 | 2147483647 267681 100 | 0.000 % |
686.43/686.79 c | 268736 | 1298 143366 620643 | 2147483647 268736 100 | 0.000 % |
690.33/690.63 c | 269894 | 1298 143366 620643 | 2147483647 269894 100 | 0.000 % |
694.84/695.13 c | 271168 | 1298 143366 620643 | 2147483647 271168 99 | 0.000 % |
701.84/702.16 c | 272570 | 1298 143366 620643 | 2147483647 272570 99 | 0.000 % |
706.84/707.14 c | 274110 | 1298 143366 620643 | 2147483647 274110 99 | 0.000 % |
712.63/712.98 c | 275805 | 1298 143366 620643 | 2147483647 275805 99 | 0.000 % |
717.33/717.64 c | 277675 | 1298 143366 620643 | 2147483647 277675 99 | 0.000 % |
723.54/723.89 c | 279728 | 1298 143366 620643 | 2147483647 279728 99 | 0.000 % |
730.03/730.33 c | 281981 | 1298 143366 620643 | 2147483647 281981 99 | 0.000 % |
741.32/741.69 c | 284460 | 1298 143366 620643 | 2147483647 284460 99 | 0.000 % |
752.03/752.39 c | 287185 | 1298 143366 620643 | 2147483647 287185 99 | 0.000 % |
752.32/752.68 c | 287285 | 1298 143366 620643 | 2147483647 287285 99 | 0.000 % |
752.72/753.02 c | 287396 | 1298 143366 620643 | 2147483647 287396 99 | 0.000 % |
753.23/753.55 c | 287518 | 1298 143366 620643 | 2147483647 287518 99 | 0.000 % |
754.23/754.60 c | 287652 | 1298 143366 620643 | 2147483647 287652 99 | 0.000 % |
754.92/755.21 c | 287798 | 1298 143366 620643 | 2147483647 287798 99 | 0.000 % |
755.82/756.15 c | 287958 | 1298 143366 620643 | 2147483647 287958 99 | 0.000 % |
756.53/756.83 c | 288134 | 1298 143366 620643 | 2147483647 288134 99 | 0.000 % |
757.72/758.05 c | 288327 | 1298 143366 620643 | 2147483647 288327 99 | 0.000 % |
758.82/759.13 c | 288539 | 1298 143366 620643 | 2147483647 288539 99 | 0.000 % |
760.82/761.20 c | 288774 | 1298 143366 620643 | 2147483647 288774 99 | 0.000 % |
761.92/762.30 c | 289030 | 1298 143366 620643 | 2147483647 289030 99 | 0.000 % |
763.32/763.61 c | 289311 | 1298 143366 620643 | 2147483647 289311 99 | 0.000 % |
764.42/764.78 c | 289620 | 1298 143366 620643 | 2147483647 289620 99 | 0.000 % |
766.82/767.14 c | 289959 | 1298 143366 620643 | 2147483647 289959 99 | 0.000 % |
768.62/768.95 c | 290332 | 1298 143366 620643 | 2147483647 290332 99 | 0.000 % |
770.42/770.77 c | 290741 | 1298 143366 620643 | 2147483647 290741 99 | 0.000 % |
772.81/773.11 c | 291191 | 1298 143366 620643 | 2147483647 291191 99 | 0.000 % |
774.71/775.09 c | 291686 | 1298 143366 620643 | 2147483647 291686 99 | 0.001 % |
776.91/777.20 c | 292229 | 1298 143366 620643 | 2147483647 292229 99 | 0.000 % |
779.41/779.78 c | 292825 | 1298 143366 620643 | 2147483647 292825 99 | 0.000 % |
782.71/783.01 c | 293480 | 1298 143366 620643 | 2147483647 293480 99 | 0.001 % |
785.51/785.87 c | 294201 | 1298 143366 620643 | 2147483647 294201 99 | 0.000 % |
787.51/787.87 c | 294993 | 1298 143366 620643 | 2147483647 294993 99 | 0.000 % |
790.71/791.01 c | 295864 | 1298 143366 620643 | 2147483647 295864 99 | 0.000 % |
794.51/794.80 c | 296823 | 1298 143366 620643 | 2147483647 296823 99 | 0.000 % |
799.10/799.45 c | 297878 | 1298 143366 620643 | 2147483647 297878 99 | 0.000 % |
802.81/803.10 c | 299039 | 1298 143366 620643 | 2147483647 299039 99 | 0.000 % |
808.41/808.76 c | 300312 | 1298 143366 620643 | 2147483647 300312 99 | 0.000 % |
816.00/816.31 c | 301715 | 1298 143366 620643 | 2147483647 301715 99 | 0.000 % |
824.40/824.76 c | 303255 | 1298 143366 620643 | 2147483647 303255 99 | 0.000 % |
832.60/832.94 c | 304949 | 1298 143366 620643 | 2147483647 304949 99 | 0.000 % |
841.89/842.27 c | 306812 | 1298 143366 620643 | 2147483647 306812 99 | 0.000 % |
849.20/849.60 c | 308861 | 1298 143366 620643 | 2147483647 308861 98 | 0.000 % |
858.49/858.87 c | 311114 | 1298 143366 620643 | 2147483647 311114 98 | 0.000 % |
869.59/869.90 c | 313592 | 1298 143366 620643 | 2147483647 313592 98 | 0.001 % |
876.98/877.34 c | 316319 | 1298 143366 620643 | 2147483647 316319 98 | 0.000 % |
889.69/890.05 c | 319317 | 1298 143366 620643 | 2147483647 319317 98 | 0.000 % |
890.38/890.71 c | 319419 | 1298 143366 620643 | 2147483647 319419 98 | 0.000 % |
891.08/891.43 c | 319530 | 1298 143366 620643 | 2147483647 319530 98 | 0.000 % |
891.69/892.06 c | 319656 | 1298 143366 620643 | 2147483647 319656 98 | 0.000 % |
892.89/893.22 c | 319790 | 1298 143366 620643 | 2147483647 319790 98 | 0.000 % |
893.48/893.87 c | 319939 | 1298 143366 620643 | 2147483647 319939 98 | 0.000 % |
894.78/895.12 c | 320100 | 1298 143366 620643 | 2147483647 320100 98 | 0.000 % |
895.38/895.77 c | 320278 | 1298 143366 620643 | 2147483647 320278 98 | 0.000 % |
896.68/897.01 c | 320471 | 1298 143366 620643 | 2147483647 320471 98 | 0.000 % |
897.38/897.79 c | 320684 | 1298 143366 620643 | 2147483647 320684 98 | 0.000 % |
898.58/898.98 c | 320922 | 1298 143366 620643 | 2147483647 320922 98 | 0.000 % |
899.88/900.27 c | 321179 | 1298 143366 620643 | 2147483647 321179 98 | 0.000 % |
901.18/901.58 c | 321460 | 1298 143366 620643 | 2147483647 321460 98 | 0.000 % |
902.58/903.00 c | 321771 | 1298 143366 620643 | 2147483647 321771 98 | 0.000 % |
904.08/904.40 c | 322110 | 1298 143366 620643 | 2147483647 322110 98 | 0.000 % |
905.58/905.99 c | 322482 | 1298 143366 620643 | 2147483647 322482 98 | 0.000 % |
907.58/907.91 c | 322892 | 1298 143366 620643 | 2147483647 322892 98 | 0.000 % |
909.58/909.94 c | 323346 | 1298 143366 620643 | 2147483647 323346 98 | 0.000 % |
911.68/912.00 c | 323839 | 1298 143366 620643 | 2147483647 323839 98 | 0.001 % |
914.08/914.43 c | 324381 | 1298 143366 620643 | 2147483647 324381 98 | 0.000 % |
916.67/917.09 c | 324980 | 1298 143366 620643 | 2147483647 324980 98 | 0.000 % |
920.47/920.82 c | 325635 | 1298 143366 620643 | 2147483647 325635 98 | 0.001 % |
923.47/923.84 c | 326355 | 1298 143366 620643 | 2147483647 326355 98 | 0.000 % |
926.47/926.82 c | 327148 | 1298 143366 620643 | 2147483647 327148 98 | 0.000 % |
931.07/931.43 c | 328025 | 1298 143366 620643 | 2147483647 328025 98 | 0.000 % |
937.17/937.56 c | 328983 | 1298 143366 620643 | 2147483647 328983 98 | 0.000 % |
942.67/943.09 c | 330036 | 1298 143366 620643 | 2147483647 330036 98 | 0.000 % |
947.37/947.79 c | 331196 | 1298 143366 620643 | 2147483647 331196 98 | 0.000 % |
951.76/952.11 c | 332470 | 1298 143366 620643 | 2147483647 332470 98 | 0.000 % |
957.76/958.15 c | 333872 | 1298 143366 620643 | 2147483647 333872 98 | 0.000 % |
961.16/961.56 c | 335412 | 1298 143366 620643 | 2147483647 335412 98 | 0.000 % |
969.66/970.04 c | 337108 | 1298 143366 620643 | 2147483647 337108 98 | 0.000 % |
978.06/978.41 c | 338971 | 1298 143366 620643 | 2147483647 338971 98 | 0.000 % |
984.86/985.21 c | 341021 | 1298 143366 620643 | 2147483647 341021 98 | 0.000 % |
994.75/995.11 c | 343275 | 1298 143366 620643 | 2147483647 343275 98 | 0.000 % |
1005.05/1005.49 c | 345753 | 1298 143366 620643 | 2147483647 345753 98 | 0.001 % |
1016.24/1016.66 c | 348478 | 1298 143366 620643 | 2147483647 348478 98 | 0.001 % |
1029.64/1030.07 c | 351475 | 1298 143366 620643 | 2147483647 351475 97 | 0.000 % |
1043.14/1043.54 c | 354772 | 1298 143366 620643 | 2147483647 354772 97 | 0.000 % |
1043.64/1044.07 c | 354873 | 1298 143366 620643 | 2147483647 354873 97 | 0.000 % |
1044.14/1044.60 c | 354988 | 1298 143366 620643 | 2147483647 354988 97 | 0.000 % |
1044.84/1045.21 c | 355109 | 1298 143366 620643 | 2147483647 355109 97 | 0.001 % |
1045.44/1045.87 c | 355242 | 1298 143366 620643 | 2147483647 355242 97 | 0.000 % |
1046.24/1046.63 c | 355388 | 1298 143366 620643 | 2147483647 355388 97 | 0.000 % |
1047.04/1047.43 c | 355548 | 1298 143366 620643 | 2147483647 355548 97 | 0.000 % |
1047.84/1048.25 c | 355724 | 1298 143366 620643 | 2147483647 355724 97 | 0.000 % |
1049.14/1049.51 c | 355917 | 1298 143366 620643 | 2147483647 355917 97 | 0.000 % |
1050.33/1050.72 c | 356129 | 1298 143366 620643 | 2147483647 356129 97 | 0.000 % |
1051.43/1051.82 c | 356363 | 1298 143366 620643 | 2147483647 356363 97 | 0.000 % |
1052.43/1052.83 c | 356619 | 1298 143366 620643 | 2147483647 356619 97 | 0.001 % |
1053.63/1054.06 c | 356901 | 1298 143366 620643 | 2147483647 356901 97 | 0.000 % |
1054.83/1055.29 c | 357212 | 1298 143366 620643 | 2147483647 357212 97 | 0.000 % |
1057.23/1057.69 c | 357553 | 1298 143366 620643 | 2147483647 357553 97 | 0.000 % |
1059.13/1059.56 c | 357926 | 1298 143366 620643 | 2147483647 357926 97 | 0.000 % |
1060.63/1061.01 c | 358335 | 1298 143366 620643 | 2147483647 358335 97 | 0.000 % |
1062.42/1062.81 c | 358787 | 1298 143366 620643 | 2147483647 358787 97 | 0.000 % |
1064.52/1064.92 c | 359280 | 1298 143366 620643 | 2147483647 359280 97 | 0.000 % |
1066.63/1067.06 c | 359822 | 1298 143366 620643 | 2147483647 359822 97 | 0.000 % |
1070.22/1070.66 c | 360418 | 1298 143366 620643 | 2147483647 360418 97 | 0.000 % |
1073.72/1074.15 c | 361077 | 1298 143366 620643 | 2147483647 361077 97 | 0.000 % |
1080.53/1080.92 c | 361798 | 1298 143366 620643 | 2147483647 361798 97 | 0.000 % |
1086.72/1087.16 c | 362595 | 1298 143366 620643 | 2147483647 362595 97 | 0.000 % |
1091.62/1092.02 c | 363466 | 1298 143366 620643 | 2147483647 363466 97 | 0.000 % |
1097.02/1097.47 c | 364424 | 1298 143366 620643 | 2147483647 364424 97 | 0.000 % |
1100.62/1101.07 c | 365477 | 1298 143366 620643 | 2147483647 365477 97 | 0.000 % |
1107.31/1107.70 c | 366635 | 1298 143366 620643 | 2147483647 366635 97 | 0.000 % |
1112.02/1112.49 c | 367914 | 1298 143366 620643 | 2147483647 367914 97 | 0.000 % |
1119.21/1119.62 c | 369315 | 1298 143366 620643 | 2147483647 369315 97 | 0.000 % |
1126.91/1127.31 c | 370856 | 1298 143366 620643 | 2147483647 370856 97 | 0.000 % |
1133.71/1134.15 c | 372553 | 1298 143366 620643 | 2147483647 372553 97 | 0.000 % |
1143.70/1144.17 c | 374416 | 1298 143366 620643 | 2147483647 374416 97 | 0.000 % |
1153.51/1153.96 c | 376465 | 1298 143366 620643 | 2147483647 376465 97 | 0.000 % |
1169.60/1170.04 c | 378718 | 1298 143366 620643 | 2147483647 378718 97 | 0.000 % |
1181.39/1181.88 c | 381197 | 1298 143366 620643 | 2147483647 381197 97 | 0.000 % |
1187.49/1187.99 c | 383922 | 1298 143366 620643 | 2147483647 383922 97 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833929-1242826217/watcher-1833929-1242826217 -o /tmp/evaluation-result-1833929-1242826217/solver-1833929-1242826217 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833929-1242826217.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2186
/proc/meminfo: memFree=1766392/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=0
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 310650850 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/2186/statm: 1339 235 195 169 0 50 0
[pid=2187] ppid=2186 vsize=5356 CPUtime=0
/proc/2187/stat : 2187 (SatELiteGTI) R 2186 2186 1203 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 1 0 310650850 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187162271 0 65538 4096 65538 0 0 0 17 0 0 0
/proc/2187/statm: 1339 238 198 169 0 50 0
[pid=2188] ppid=2187 vsize=0 CPUtime=0
/proc/2188/stat : 2188 (SatELiteGTI) Z 2187 2186 1203 0 -1 4194380 25 0 0 0 0 0 0 0 20 0 1 0 310650850 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 18446744071563351923 0 0 17 0 0 0
/proc/2188/statm: 0 0 0 0 0 0 0
[pid=2189] ppid=2187 vsize=5356 CPUtime=0
/proc/2189/stat : 2189 (SatELiteGTI) R 2187 2186 1203 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187330149 0 0 4096 65538 0 0 0 17 0 0 0
/proc/2189/statm: 1339 239 199 169 0 50 0
[startup+0.0382471 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2186
/proc/meminfo: memFree=1766392/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=0
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310650850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2186/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10125 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2186
/proc/meminfo: memFree=1766392/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=0
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310650850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2186/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301274 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2186
/proc/meminfo: memFree=1766392/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=0
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310650850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2186/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701319 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 2186
/proc/meminfo: memFree=1766392/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=0
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310650850 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2186/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2191
/proc/meminfo: memFree=1750696/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5356
[startup+3.10159 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1753448/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=11160 CPUtime=1.59
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 2614 0 0 0 158 1 0 0 25 0 1 0 310651000 11427840 2600 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 2790 2600 77 171 0 2617 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16516
[startup+6.30196 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1748968/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=14856 CPUtime=4.78
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 3538 0 0 0 477 1 0 0 25 0 1 0 310651000 15212544 3524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 3714 3524 77 171 0 3541 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20212
[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1744168/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=19228 CPUtime=11.19
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 4630 0 0 0 1116 3 0 0 25 0 1 0 310651000 19689472 4616 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 4807 4616 77 171 0 4634 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 24584
[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1740328/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=22932 CPUtime=23.98
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 5558 0 0 0 2394 4 0 0 25 0 1 0 310651000 23482368 5544 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 5733 5544 77 171 0 5560 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 28288
[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1731176/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=32756 CPUtime=49.57
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 7905 0 0 0 4950 7 0 0 25 0 1 0 310651000 33542144 7891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 8189 7891 77 171 0 8016 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 38112
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1718504/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=45420 CPUtime=100.75
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 11016 0 0 0 10065 10 0 0 25 0 1 0 310651000 46510080 11002 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 11355 11002 77 171 0 11182 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 50776
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1706408/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=57640 CPUtime=160.72
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 14048 0 0 0 16060 12 0 0 25 0 1 0 310651000 59023360 14034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 14410 14034 77 171 0 14237 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 62996
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1695848/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=68012 CPUtime=220.7
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 16663 0 0 0 22055 15 0 0 25 0 1 0 310651000 69644288 16649 1992294400 134512640 135215339 4294956240 18446744073709551615 134528724 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 17003 16649 77 171 0 16830 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 73368
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1686504/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=77740 CPUtime=280.68
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 19015 0 0 0 28050 18 0 0 25 0 1 0 310651000 79605760 19001 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 19435 19001 77 171 0 19262 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 83096
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1676200/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=87812 CPUtime=340.66
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 21551 0 0 0 34045 21 0 0 25 0 1 0 310651000 89919488 21537 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 21953 21537 77 171 0 21780 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 93168
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1667240/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=96728 CPUtime=400.64
################
# More data... #
################
/proc/2192/statm: 30487 29895 77 171 0 30314 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 127304
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1634472/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=129908 CPUtime=640.58
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 31910 0 0 0 64026 32 0 0 25 0 1 0 310651000 133025792 31896 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 32477 31896 77 171 0 32304 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 135264
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1628968/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=135352 CPUtime=700.56
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 33249 0 0 0 70023 33 0 0 25 0 1 0 310651000 138600448 33235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 33838 33235 77 171 0 33665 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 140708
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1621672/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=142460 CPUtime=760.54
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 35045 0 0 0 76020 34 0 0 25 0 1 0 310651000 145879040 35031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 35615 35031 77 171 0 35442 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 147816
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2192
/proc/meminfo: memFree=1616040/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=148240 CPUtime=820.52
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 36470 0 0 0 82017 35 0 0 25 0 1 0 310651000 151797760 36456 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 37060 36456 77 171 0 36887 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 153596
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1610792/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=153932 CPUtime=880.5
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 37743 0 0 0 88014 36 0 0 25 0 1 0 310651000 157626368 37729 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 38483 37729 77 171 0 38310 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 159288
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1605544/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=159288 CPUtime=940.49
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 39064 0 0 0 94011 38 0 0 25 0 1 0 310651000 163110912 39050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 39822 39050 77 171 0 39649 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 164644
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1598312/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=166544 CPUtime=1000.46
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 40854 0 0 0 100006 40 0 0 25 0 1 0 310651000 170541056 40840 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 41636 40840 77 171 0 41463 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 171900
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1594024/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=171008 CPUtime=1060.44
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 41938 0 0 0 106003 41 0 0 25 0 1 0 310651000 175112192 41924 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 42752 41924 77 171 0 42579 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 176364
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1588776/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=176188 CPUtime=1120.43
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 43232 0 0 0 112000 43 0 0 25 0 1 0 310651000 180416512 43218 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 44047 43218 77 171 0 43874 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 181544
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1583656/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=181372 CPUtime=1180.41
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 44523 0 0 0 117997 44 0 0 25 0 1 0 310651000 185724928 44509 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 45343 44509 77 171 0 45170 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 186728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1581672/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=183192 CPUtime=1198.61
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 44985 0 0 0 119817 44 0 0 25 0 1 0 310651000 187588608 44971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 45798 44971 77 171 0 45625 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 188548
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 2194
/proc/meminfo: memFree=1581672/2055920 swapFree=4180344/4192956
[pid=2186] ppid=2184 vsize=5356 CPUtime=1.48
/proc/2186/stat : 2186 (SatELiteGTI) S 2184 2186 1203 0 -1 4194304 336 3987 0 0 0 0 144 4 16 0 1 0 310650850 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2186/statm: 1339 239 197 169 0 50 0
[pid=2192] ppid=2186 vsize=183192 CPUtime=1198.61
/proc/2192/stat : 2192 (minisat_static) R 2186 2186 1203 0 -1 4194304 44985 0 0 0 119817 44 0 0 25 0 1 0 310651000 187588608 44971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2192/statm: 45798 44971 77 171 0 45625 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 188548
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2186 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=445780
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=52991
# CPU time returned by wait4() is 1.49877
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.09
CPU user time (s): 1199.61
CPU system time (s): 0.48
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 188548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.44578
system time used= 0.052991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4323
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= 14
involuntary context switches= 9
runsolver used 1.15582 second user time and 3.2835 second system time
The end
Begin job on node88 at 2009-05-20 15:30:17
IDJOB=1833929
IDBENCH=71076
IDSOLVER=671
FILE ID=node88/1833929-1242826217
PBS_JOBID= 9322542
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_13_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833929-1242826217/watcher-1833929-1242826217 -o /tmp/evaluation-result-1833929-1242826217/solver-1833929-1242826217 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833929-1242826217.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 57b85ec7870f670f13b00667a6315c05
RANDOM SEED=994803519
node88.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.229
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.229
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: 1766936 kB
Buffers: 53524 kB
Cached: 186096 kB
SwapCached: 6880 kB
Active: 70440 kB
Inactive: 178048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1766936 kB
SwapTotal: 4192956 kB
SwapFree: 4180344 kB
Dirty: 3896 kB
Writeback: 0 kB
Mapped: 14056 kB
Slab: 26480 kB
Committed_AS: 886764 kB
PageTables: 1456 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= 66132 MiB
End job on node88 at 2009-05-20 15:50:20