0.00/0.00 c Parsing...
0.00/0.07 c ==============================================================================
0.00/0.07 c | | ORIGINAL | LEARNT | |
0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.07 c ==============================================================================
0.00/0.07 c | 0 | 128735 383430 | 38620 0 0 nan | 0.000 % |
1.09/1.19 c | 0 | 127840 554049 | -- 0 -- -- | -- | -895/170619
1.09/1.19 c ==============================================================================
1.09/1.19 c Result : #vars: 1205 #clauses: 127840 #literals: 554049
1.09/1.19 c CPU time: 1.16382 s
1.09/1.19 c ==============================================================================
1.28/1.34 c This is MiniSat 2.0 beta
1.28/1.34 c WARNING: for repeatability, setting FPU to use double precision
1.28/1.34 c ============================[ Problem Statistics ]=============================
1.28/1.34 c | |
1.28/1.34 c | Number of variables: 1205 |
1.28/1.34 c | Number of clauses: 127840 |
1.33/1.41 c | Parsing time: 0.06 s |
1.33/1.42 c ============================[ Search Statistics ]==============================
1.33/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.33/1.42 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.33/1.42 c ===============================================================================
1.33/1.42 c | 0 | 1205 127840 554049 | 42613 0 nan | 0.000 % |
1.33/1.45 c | 100 | 1205 127840 554049 | 42613 100 47 | 0.000 % |
1.33/1.48 c | 202 | 1205 127840 554049 | 42613 202 61 | 0.000 % |
1.33/1.51 c | 302 | 1205 127840 554049 | 42613 302 63 | 0.000 % |
1.33/1.53 c | 412 | 1205 127840 554049 | 42613 412 66 | 0.000 % |
1.33/1.56 c | 514 | 1205 127840 554049 | 42613 514 69 | 0.000 % |
1.33/1.59 c | 625 | 1205 127840 554049 | 42613 625 70 | 0.000 % |
1.33/1.63 c | 748 | 1205 127840 554049 | 42613 748 74 | 0.000 % |
1.33/1.66 c | 852 | 1205 127840 554049 | 42613 852 77 | 0.000 % |
1.33/1.70 c | 964 | 1205 127840 554049 | 42613 964 80 | 0.000 % |
1.33/1.74 c | 1086 | 1205 127840 554049 | 42613 1086 82 | 0.000 % |
1.33/1.77 c | 1221 | 1205 127840 554049 | 42613 1221 84 | 0.000 % |
1.33/1.80 c | 1323 | 1205 127840 554049 | 42613 1323 85 | 0.000 % |
1.33/1.82 c | 1433 | 1205 127840 554049 | 42613 1433 86 | 0.000 % |
1.33/1.85 c | 1556 | 1205 127840 554049 | 42613 1556 86 | 0.000 % |
1.33/1.87 c | 1689 | 1205 127840 554049 | 42613 1689 88 | 0.000 % |
1.33/1.90 c | 1835 | 1205 127840 554049 | 42613 1835 89 | 0.000 % |
1.33/1.93 c | 1935 | 1205 127840 554049 | 42613 1935 89 | 0.000 % |
1.33/1.95 c | 2045 | 1205 127840 554049 | 42613 2045 90 | 0.000 % |
1.33/1.99 c | 2167 | 1205 127840 554049 | 42613 2167 90 | 0.000 % |
1.33/2.02 c | 2300 | 1205 127840 554049 | 42613 2300 90 | 0.000 % |
1.33/2.06 c | 2446 | 1205 127840 554049 | 42613 2446 91 | 0.000 % |
1.33/2.08 c | 2609 | 1205 127840 554049 | 42613 2609 91 | 0.000 % |
2.07/2.11 c | 2709 | 1205 127840 554049 | 42613 2709 91 | 0.000 % |
2.07/2.13 c | 2820 | 1205 127840 554049 | 42613 2820 91 | 0.000 % |
2.07/2.16 c | 2941 | 1205 127840 554049 | 42613 2941 91 | 0.000 % |
2.07/2.20 c | 3075 | 1205 127840 554049 | 42613 3075 91 | 0.000 % |
2.17/2.25 c | 3221 | 1205 127840 554049 | 42613 3221 92 | 0.000 % |
2.17/2.29 c | 3383 | 1205 127840 554049 | 42613 3383 92 | 0.000 % |
2.26/2.33 c | 3560 | 1205 127840 554049 | 42613 3560 93 | 0.000 % |
2.26/2.37 c | 3662 | 1205 127840 554049 | 42613 3662 93 | 0.000 % |
2.36/2.40 c | 3773 | 1205 127840 554049 | 42613 3773 93 | 0.000 % |
2.36/2.44 c | 3894 | 1205 127840 554049 | 42613 3894 93 | 0.000 % |
2.36/2.48 c | 4028 | 1205 127840 554049 | 42613 4028 93 | 0.000 % |
2.47/2.53 c | 4174 | 1205 127840 554049 | 42613 4174 93 | 0.000 % |
2.47/2.57 c | 4334 | 1205 127840 554049 | 42613 4334 94 | 0.000 % |
2.57/2.62 c | 4511 | 1205 127840 554049 | 42613 4511 94 | 0.000 % |
2.67/2.73 c | 4704 | 1205 127840 554049 | 42613 4704 94 | 0.000 % |
2.67/2.79 c | 4805 | 1205 127840 554049 | 42613 4805 94 | 0.000 % |
2.77/2.84 c | 4915 | 1205 127840 554049 | 42613 4915 94 | 0.000 % |
2.87/2.92 c | 5036 | 1205 127840 554049 | 42613 5036 94 | 0.000 % |
2.87/2.99 c | 5170 | 1205 127840 554049 | 42613 5170 94 | 0.000 % |
2.97/3.05 c | 5316 | 1205 127840 554049 | 42613 5316 94 | 0.000 % |
3.07/3.13 c | 5476 | 1205 127840 554049 | 42613 5476 94 | 0.000 % |
3.18/3.23 c | 5654 | 1205 127840 554049 | 42613 5654 94 | 0.000 % |
3.28/3.31 c | 5847 | 1205 127840 554049 | 42613 5847 94 | 0.000 % |
3.37/3.42 c | 6060 | 1205 127840 554049 | 42613 6060 95 | 0.000 % |
3.37/3.47 c | 6160 | 1205 127840 554049 | 42613 6160 95 | 0.000 % |
3.47/3.51 c | 6270 | 1205 127840 554049 | 42613 6270 95 | 0.000 % |
3.47/3.55 c | 6391 | 1205 127840 554049 | 42613 6391 95 | 0.000 % |
3.57/3.61 c | 6524 | 1205 127840 554049 | 42613 6524 95 | 0.000 % |
3.57/3.69 c | 6671 | 1205 127840 554049 | 42613 6671 95 | 0.000 % |
3.67/3.76 c | 6833 | 1205 127840 554049 | 42613 6833 95 | 0.000 % |
3.77/3.84 c | 7010 | 1205 127840 554049 | 42613 7010 95 | 0.000 % |
3.87/3.92 c | 7204 | 1205 127840 554049 | 42613 7204 95 | 0.000 % |
3.97/4.02 c | 7417 | 1205 127840 554049 | 42613 7417 95 | 0.000 % |
4.07/4.11 c | 7652 | 1205 127840 554049 | 42613 7652 95 | 0.000 % |
4.07/4.17 c | 7752 | 1205 127840 554049 | 42613 7752 95 | 0.000 % |
4.17/4.22 c | 7862 | 1205 127840 554049 | 42613 7862 95 | 0.000 % |
4.17/4.27 c | 7983 | 1205 127840 554049 | 42613 7983 95 | 0.000 % |
4.27/4.33 c | 8117 | 1205 127840 554049 | 42613 8117 95 | 0.000 % |
4.37/4.40 c | 8264 | 1205 127840 554049 | 42613 8264 95 | 0.000 % |
4.37/4.48 c | 8424 | 1205 127840 554049 | 42613 8424 95 | 0.000 % |
4.47/4.57 c | 8603 | 1205 127840 554049 | 42613 8603 95 | 0.000 % |
4.57/4.66 c | 8798 | 1205 127840 554049 | 42613 8798 95 | 0.000 % |
4.67/4.73 c | 9012 | 1205 127840 554049 | 42613 9012 94 | 0.000 % |
4.77/4.82 c | 9245 | 1205 127840 554049 | 42613 9245 94 | 0.000 % |
4.87/4.94 c | 9501 | 1205 127840 554049 | 42613 9501 94 | 0.000 % |
4.97/5.03 c | 9602 | 1205 127840 554049 | 42613 9602 94 | 0.000 % |
5.07/5.10 c | 9713 | 1205 127840 554049 | 42613 9713 94 | 0.000 % |
5.07/5.18 c | 9836 | 1205 127840 554049 | 42613 9836 94 | 0.000 % |
5.17/5.24 c | 9971 | 1205 127840 554049 | 42613 9971 94 | 0.000 % |
5.27/5.35 c | 10119 | 1205 127840 554049 | 2147483647 10119 94 | 0.000 % |
5.37/5.43 c | 10280 | 1205 127840 554049 | 2147483647 10280 94 | 0.000 % |
5.47/5.55 c | 10458 | 1205 127840 554049 | 2147483647 10458 94 | 0.000 % |
5.67/5.70 c | 10652 | 1205 127840 554049 | 2147483647 10652 94 | 0.000 % |
5.77/5.82 c | 10864 | 1205 127840 554049 | 2147483647 10864 94 | 0.000 % |
5.87/5.96 c | 11098 | 1205 127840 554049 | 2147483647 11098 94 | 0.000 % |
6.06/6.11 c | 11355 | 1205 127840 554049 | 2147483647 11355 93 | 0.000 % |
6.17/6.27 c | 11638 | 1205 127840 554049 | 2147483647 11638 93 | 0.000 % |
6.27/6.31 c | 11738 | 1205 127840 554049 | 2147483647 11738 93 | 0.000 % |
6.27/6.36 c | 11848 | 1205 127840 554049 | 2147483647 11848 93 | 0.000 % |
6.37/6.46 c | 11970 | 1205 127840 554049 | 2147483647 11970 93 | 0.000 % |
6.48/6.52 c | 12104 | 1205 127840 554049 | 2147483647 12104 93 | 0.000 % |
6.58/6.60 c | 12250 | 1205 127840 554049 | 2147483647 12250 93 | 0.000 % |
6.58/6.69 c | 12410 | 1205 127840 554049 | 2147483647 12410 93 | 0.000 % |
6.67/6.77 c | 12587 | 1205 127840 554049 | 2147483647 12587 93 | 0.000 % |
6.87/6.92 c | 12781 | 1205 127840 554049 | 2147483647 12781 93 | 0.000 % |
6.97/7.04 c | 12995 | 1205 127840 554049 | 2147483647 12995 93 | 0.000 % |
7.17/7.20 c | 13228 | 1205 127840 554049 | 2147483647 13228 93 | 0.000 % |
7.27/7.37 c | 13484 | 1205 127840 554049 | 2147483647 13484 93 | 0.000 % |
7.37/7.49 c | 13767 | 1205 127840 554049 | 2147483647 13767 93 | 0.000 % |
7.57/7.66 c | 14078 | 1205 127840 554049 | 2147483647 14078 93 | 0.000 % |
7.67/7.71 c | 14182 | 1205 127840 554049 | 2147483647 14182 93 | 0.000 % |
7.67/7.78 c | 14294 | 1205 127840 554049 | 2147483647 14294 93 | 0.000 % |
7.77/7.85 c | 14415 | 1205 127840 554049 | 2147483647 14415 93 | 0.000 % |
7.87/7.92 c | 14548 | 1205 127840 554049 | 2147483647 14548 93 | 0.000 % |
7.97/8.00 c | 14694 | 1205 127840 554049 | 2147483647 14694 93 | 0.000 % |
8.07/8.10 c | 14855 | 1205 127840 554049 | 2147483647 14855 93 | 0.000 % |
8.17/8.21 c | 15031 | 1205 127840 554049 | 2147483647 15031 93 | 0.000 % |
8.27/8.34 c | 15224 | 1205 127840 554049 | 2147483647 15224 93 | 0.000 % |
8.37/8.46 c | 15436 | 1205 127840 554049 | 2147483647 15436 93 | 0.000 % |
8.57/8.64 c | 15669 | 1205 127840 554049 | 2147483647 15669 93 | 0.000 % |
8.67/8.77 c | 15926 | 1205 127840 554049 | 2147483647 15926 93 | 0.000 % |
8.87/8.95 c | 16207 | 1205 127840 554049 | 2147483647 16207 93 | 0.000 % |
9.07/9.13 c | 16519 | 1205 127840 554049 | 2147483647 16519 93 | 0.000 % |
9.27/9.37 c | 16859 | 1205 127840 554049 | 2147483647 16859 93 | 0.000 % |
9.37/9.44 c | 16961 | 1205 127840 554049 | 2147483647 16961 93 | 0.000 % |
9.37/9.49 c | 17074 | 1205 127840 554049 | 2147483647 17074 93 | 0.000 % |
9.47/9.59 c | 17195 | 1205 127840 554049 | 2147483647 17195 93 | 0.000 % |
9.57/9.69 c | 17328 | 1205 127840 554049 | 2147483647 17328 93 | 0.000 % |
9.67/9.79 c | 17474 | 1205 127840 554049 | 2147483647 17474 93 | 0.000 % |
9.77/9.89 c | 17634 | 1205 127840 554049 | 2147483647 17634 93 | 0.000 % |
9.97/10.02 c | 17811 | 1205 127840 554049 | 2147483647 17811 93 | 0.000 % |
10.07/10.18 c | 18004 | 1205 127840 554049 | 2147483647 18004 92 | 0.000 % |
10.27/10.34 c | 18217 | 1205 127840 554049 | 2147483647 18217 92 | 0.000 % |
10.37/10.47 c | 18453 | 1205 127840 554049 | 2147483647 18453 92 | 0.000 % |
10.57/10.67 c | 18710 | 1205 127840 554049 | 2147483647 18710 92 | 0.000 % |
10.77/10.83 c | 18991 | 1205 127840 554049 | 2147483647 18991 92 | 0.000 % |
10.97/11.05 c | 19300 | 1205 127840 554049 | 2147483647 19300 92 | 0.000 % |
11.26/11.30 c | 19639 | 1205 127840 554049 | 2147483647 19639 92 | 0.000 % |
11.46/11.58 c | 20011 | 1205 127840 554049 | 2147483647 20011 92 | 0.000 % |
11.56/11.67 c | 20114 | 1205 127840 554049 | 2147483647 20114 92 | 0.000 % |
11.66/11.74 c | 20224 | 1205 127840 554049 | 2147483647 20224 92 | 0.000 % |
11.77/11.83 c | 20348 | 1205 127840 554049 | 2147483647 20348 92 | 0.000 % |
11.87/11.93 c | 20482 | 1205 127840 554049 | 2147483647 20482 92 | 0.000 % |
11.97/12.07 c | 20630 | 1205 127840 554049 | 2147483647 20630 92 | 0.000 % |
12.07/12.17 c | 20792 | 1205 127840 554049 | 2147483647 20792 92 | 0.000 % |
12.17/12.25 c | 20968 | 1205 127840 554049 | 2147483647 20968 92 | 0.000 % |
12.27/12.38 c | 21163 | 1205 127840 554049 | 2147483647 21163 92 | 0.000 % |
12.47/12.50 c | 21375 | 1205 127840 554049 | 2147483647 21375 92 | 0.000 % |
12.57/12.67 c | 21610 | 1205 127840 554049 | 2147483647 21610 92 | 0.000 % |
12.86/12.95 c | 21867 | 1205 127840 554049 | 2147483647 21867 92 | 0.000 % |
13.17/13.25 c | 22148 | 1205 127840 554049 | 2147483647 22148 92 | 0.000 % |
13.46/13.56 c | 22458 | 1205 127840 554049 | 2147483647 22458 91 | 0.000 % |
13.86/13.96 c | 22797 | 1205 127840 554049 | 2147483647 22797 91 | 0.000 % |
14.27/14.31 c | 23169 | 1205 127840 554049 | 2147483647 23169 91 | 0.000 % |
14.56/14.61 c | 23578 | 1205 127840 554049 | 2147483647 23578 91 | 0.000 % |
14.56/14.69 c | 23678 | 1205 127840 554049 | 2147483647 23678 91 | 0.000 % |
14.87/14.91 c | 23790 | 1205 127840 554049 | 2147483647 23790 91 | 0.000 % |
14.87/15.00 c | 23913 | 1205 127840 554049 | 2147483647 23913 91 | 0.000 % |
15.17/15.23 c | 24047 | 1205 127840 554049 | 2147483647 24047 91 | 0.000 % |
15.27/15.33 c | 24193 | 1205 127840 554049 | 2147483647 24193 91 | 0.000 % |
15.67/15.70 c | 24354 | 1205 127840 554049 | 2147483647 24354 91 | 0.000 % |
15.87/15.90 c | 24531 | 1205 127840 554049 | 2147483647 24531 91 | 0.000 % |
15.97/16.08 c | 24724 | 1205 127840 554049 | 2147483647 24724 90 | 0.000 % |
16.37/16.42 c | 24938 | 1205 127840 554049 | 2147483647 24938 90 | 0.000 % |
16.77/16.84 c | 25172 | 1205 127840 554049 | 2147483647 25172 90 | 0.000 % |
16.97/17.03 c | 25429 | 1205 127840 554049 | 2147483647 25429 90 | 0.000 % |
17.37/17.40 c | 25710 | 1205 127840 554049 | 2147483647 25710 90 | 0.000 % |
17.57/17.62 c | 26021 | 1205 127840 554049 | 2147483647 26021 89 | 0.000 % |
17.67/17.79 c | 26360 | 1205 127840 554049 | 2147483647 26360 89 | 0.000 % |
18.27/18.32 c | 26734 | 1205 127840 554049 | 2147483647 26734 89 | 0.000 % |
18.57/18.65 c | 27143 | 1205 127840 554049 | 2147483647 27143 89 | 0.000 % |
19.37/19.46 c | 27597 | 1205 127840 554049 | 2147483647 27597 89 | 0.000 % |
19.47/19.59 c | 27698 | 1205 127840 554049 | 2147483647 27698 89 | 0.000 % |
19.67/19.73 c | 27809 | 1205 127840 554049 | 2147483647 27809 89 | 0.000 % |
19.77/19.86 c | 27933 | 1205 127840 554049 | 2147483647 27933 89 | 0.000 % |
19.87/19.99 c | 28068 | 1205 127840 554049 | 2147483647 28068 89 | 0.000 % |
20.07/20.14 c | 28215 | 1205 127840 554049 | 2147483647 28215 88 | 0.000 % |
20.17/20.27 c | 28375 | 1205 127840 554049 | 2147483647 28375 88 | 0.000 % |
20.27/20.36 c | 28551 | 1205 127840 554049 | 2147483647 28551 88 | 0.000 % |
20.57/20.68 c | 28744 | 1205 127840 554049 | 2147483647 28744 88 | 0.000 % |
20.77/20.87 c | 28957 | 1205 127840 554049 | 2147483647 28957 88 | 0.000 % |
20.97/21.06 c | 29190 | 1205 127840 554049 | 2147483647 29190 88 | 0.000 % |
21.07/21.17 c | 29446 | 1205 127840 554049 | 2147483647 29446 88 | 0.000 % |
21.66/21.70 c | 29727 | 1205 127840 554049 | 2147483647 29727 88 | 0.000 % |
21.87/21.98 c | 30037 | 1205 127840 554049 | 2147483647 30037 88 | 0.000 % |
22.66/22.76 c | 30376 | 1205 127840 554049 | 2147483647 30376 88 | 0.000 % |
23.36/23.44 c | 30749 | 1205 127840 554049 | 2147483647 30749 87 | 0.000 % |
23.96/24.02 c | 31160 | 1205 127840 554049 | 2147483647 31160 87 | 0.001 % |
24.26/24.39 c | 31609 | 1205 127840 554049 | 2147483647 31609 87 | 0.000 % |
24.46/24.53 c | 32105 | 1205 127840 554049 | 2147483647 32105 87 | 0.000 % |
24.66/24.78 c | 32205 | 1205 127840 554049 | 2147483647 32205 87 | 0.000 % |
24.86/24.99 c | 32315 | 1205 127840 554049 | 2147483647 32315 87 | 0.000 % |
25.06/25.14 c | 32436 | 1205 127840 554049 | 2147483647 32436 87 | 0.000 % |
25.17/25.23 c | 32572 | 1205 127840 554049 | 2147483647 32572 87 | 0.000 % |
25.27/25.33 c | 32718 | 1205 127840 554049 | 2147483647 32718 87 | 0.000 % |
25.66/25.73 c | 32878 | 1205 127840 554049 | 2147483647 32878 87 | 0.000 % |
25.76/25.83 c | 33054 | 1205 127840 554049 | 2147483647 33054 87 | 0.000 % |
26.16/26.23 c | 33247 | 1205 127840 554049 | 2147483647 33247 87 | 0.000 % |
26.46/26.54 c | 33459 | 1205 127840 554049 | 2147483647 33459 87 | 0.000 % |
26.86/26.94 c | 33698 | 1205 127840 554049 | 2147483647 33698 87 | 0.000 % |
27.26/27.31 c | 33956 | 1205 127840 554049 | 2147483647 33956 87 | 0.000 % |
27.46/27.54 c | 34238 | 1205 127840 554049 | 2147483647 34238 87 | 0.000 % |
27.86/27.95 c | 34547 | 1205 127840 554049 | 2147483647 34547 87 | 0.000 % |
28.26/28.38 c | 34887 | 1205 127840 554049 | 2147483647 34887 87 | 0.000 % |
28.57/28.63 c | 35259 | 1205 127840 554049 | 2147483647 35259 87 | 0.000 % |
28.86/28.91 c | 35669 | 1205 127840 554049 | 2147483647 35669 87 | 0.000 % |
29.17/29.23 c | 36118 | 1205 127840 554049 | 2147483647 36118 87 | 0.000 % |
29.47/29.58 c | 36611 | 1205 127840 554049 | 2147483647 36611 87 | 0.000 % |
30.16/30.25 c | 37155 | 1205 127840 554049 | 2147483647 37155 87 | 0.000 % |
30.26/30.37 c | 37255 | 1205 127840 554049 | 2147483647 37255 87 | 0.000 % |
30.36/30.49 c | 37366 | 1205 127840 554049 | 2147483647 37366 87 | 0.000 % |
30.56/30.67 c | 37487 | 1205 127840 554049 | 2147483647 37487 87 | 0.000 % |
30.67/30.76 c | 37620 | 1205 127840 554049 | 2147483647 37620 87 | 0.000 % |
30.86/30.95 c | 37766 | 1205 127840 554049 | 2147483647 37766 87 | 0.000 % |
31.06/31.18 c | 37927 | 1205 127840 554049 | 2147483647 37927 87 | 0.000 % |
31.26/31.37 c | 38103 | 1205 127840 554049 | 2147483647 38103 87 | 0.000 % |
31.46/31.52 c | 38296 | 1205 127840 554049 | 2147483647 38296 87 | 0.000 % |
31.66/31.75 c | 38508 | 1205 127840 554049 | 2147483647 38508 87 | 0.000 % |
32.06/32.13 c | 38743 | 1205 127840 554049 | 2147483647 38743 87 | 0.000 % |
32.36/32.40 c | 39000 | 1205 127840 554049 | 2147483647 39000 87 | 0.000 % |
32.56/32.66 c | 39283 | 1205 127840 554049 | 2147483647 39283 87 | 0.000 % |
32.96/33.03 c | 39594 | 1205 127840 554049 | 2147483647 39594 87 | 0.000 % |
33.16/33.29 c | 39934 | 1205 127840 554049 | 2147483647 39934 87 | 0.000 % |
33.56/33.67 c | 40308 | 1205 127840 554049 | 2147483647 40308 87 | 0.000 % |
33.96/34.04 c | 40718 | 1205 127840 554049 | 2147483647 40718 87 | 0.000 % |
34.36/34.41 c | 41172 | 1205 127840 554049 | 2147483647 41172 86 | 0.000 % |
34.67/34.71 c | 41668 | 1205 127840 554049 | 2147483647 41668 86 | 0.000 % |
35.07/35.17 c | 42210 | 1205 127840 554049 | 2147483647 42210 86 | 0.000 % |
35.66/35.73 c | 42809 | 1205 127840 554049 | 2147483647 42809 85 | 0.000 % |
35.86/35.93 c | 42909 | 1205 127840 554049 | 2147483647 42909 85 | 0.000 % |
35.96/36.05 c | 43019 | 1205 127840 554049 | 2147483647 43019 85 | 0.000 % |
36.27/36.36 c | 43141 | 1205 127840 554049 | 2147483647 43141 85 | 0.000 % |
36.56/36.64 c | 43278 | 1205 127840 554049 | 2147483647 43278 85 | 0.000 % |
36.76/36.82 c | 43425 | 1205 127840 554049 | 2147483647 43425 85 | 0.000 % |
36.86/36.96 c | 43586 | 1205 127840 554049 | 2147483647 43586 85 | 0.000 % |
37.16/37.23 c | 43762 | 1205 127840 554049 | 2147483647 43762 85 | 0.000 % |
37.46/37.56 c | 43957 | 1205 127840 554049 | 2147483647 43957 85 | 0.000 % |
37.76/37.80 c | 44169 | 1205 127840 554049 | 2147483647 44169 85 | 0.000 % |
38.16/38.20 c | 44402 | 1205 127840 554049 | 2147483647 44402 85 | 0.000 % |
38.37/38.45 c | 44659 | 1205 127840 554049 | 2147483647 44659 85 | 0.000 % |
38.66/38.72 c | 44940 | 1205 127840 554049 | 2147483647 44940 85 | 0.000 % |
39.36/39.42 c | 45251 | 1205 127840 554049 | 2147483647 45251 85 | 0.000 % |
39.96/40.05 c | 45590 | 1205 127840 554049 | 2147483647 45590 85 | 0.000 % |
40.26/40.34 c | 45963 | 1205 127840 554049 | 2147483647 45963 85 | 0.000 % |
40.96/41.04 c | 46376 | 1205 127840 554049 | 2147483647 46376 85 | 0.000 % |
41.66/41.71 c | 46825 | 1205 127840 554049 | 2147483647 46825 85 | 0.000 % |
42.16/42.20 c | 47318 | 1205 127840 554049 | 2147483647 47318 85 | 0.000 % |
43.06/43.13 c | 47860 | 1205 127840 554049 | 2147483647 47860 85 | 0.000 % |
43.86/43.99 c | 48456 | 1205 127840 554049 | 2147483647 48456 85 | 0.000 % |
44.56/44.66 c | 49111 | 1205 127840 554049 | 2147483647 49111 85 | 0.000 % |
44.86/44.90 c | 49215 | 1205 127840 554049 | 2147483647 49215 85 | 0.000 % |
45.06/45.10 c | 49327 | 1205 127840 554049 | 2147483647 49327 85 | 0.000 % |
45.15/45.26 c | 49451 | 1205 127840 554049 | 2147483647 49451 84 | 0.000 % |
45.35/45.42 c | 49586 | 1205 127840 554049 | 2147483647 49586 84 | 0.000 % |
45.55/45.68 c | 49734 | 1205 127840 554049 | 2147483647 49734 84 | 0.000 % |
45.75/45.86 c | 49894 | 1205 127840 554049 | 2147483647 49894 84 | 0.000 % |
46.26/46.33 c | 50071 | 1205 127840 554049 | 2147483647 50071 84 | 0.000 % |
46.46/46.60 c | 50265 | 1205 127840 554049 | 2147483647 50265 84 | 0.000 % |
46.76/46.84 c | 50478 | 1205 127840 554049 | 2147483647 50478 84 | 0.000 % |
47.05/47.11 c | 50712 | 1205 127840 554049 | 2147483647 50712 84 | 0.000 % |
47.36/47.48 c | 50968 | 1205 127840 554049 | 2147483647 50968 84 | 0.000 % |
47.56/47.64 c | 51250 | 1205 127840 554049 | 2147483647 51250 84 | 0.000 % |
47.66/47.75 c | 51560 | 1205 127840 554049 | 2147483647 51560 84 | 0.000 % |
47.86/47.98 c | 51901 | 1205 127840 554049 | 2147483647 51901 84 | 0.000 % |
48.46/48.52 c | 52273 | 1205 127840 554049 | 2147483647 52273 84 | 0.000 % |
48.96/49.00 c | 52684 | 1205 127840 554049 | 2147483647 52684 84 | 0.000 % |
49.16/49.30 c | 53133 | 1205 127840 554049 | 2147483647 53133 84 | 0.000 % |
49.66/49.75 c | 53627 | 1205 127840 554049 | 2147483647 53627 84 | 0.000 % |
49.96/50.08 c | 54171 | 1205 127840 554049 | 2147483647 54171 83 | 0.000 % |
50.46/50.54 c | 54770 | 1205 127840 554049 | 2147483647 54770 83 | 0.000 % |
51.06/51.15 c | 55428 | 1205 127840 554049 | 2147483647 55428 83 | 0.000 % |
51.66/51.78 c | 56149 | 1205 127840 554049 | 2147483647 56149 83 | 0.001 % |
52.06/52.10 c | 56250 | 1205 127840 554049 | 2147483647 56250 83 | 0.000 % |
52.26/52.35 c | 56360 | 1205 127840 554049 | 2147483647 56360 83 | 0.000 % |
52.46/52.59 c | 56483 | 1205 127840 554049 | 2147483647 56483 83 | 0.000 % |
52.66/52.78 c | 56617 | 1205 127840 554049 | 2147483647 56617 83 | 0.000 % |
52.96/53.03 c | 56765 | 1205 127840 554049 | 2147483647 56765 83 | 0.000 % |
53.26/53.30 c | 56926 | 1205 127840 554049 | 2147483647 56926 83 | 0.000 % |
53.46/53.58 c | 57102 | 1205 127840 554049 | 2147483647 57102 82 | 0.001 % |
53.76/53.88 c | 57296 | 1205 127840 554049 | 2147483647 57296 82 | 0.000 % |
54.16/54.24 c | 57509 | 1205 127840 554049 | 2147483647 57509 82 | 0.000 % |
54.46/54.58 c | 57742 | 1205 127840 554049 | 2147483647 57742 82 | 0.000 % |
54.86/54.94 c | 57999 | 1205 127840 554049 | 2147483647 57999 82 | 0.000 % |
55.36/55.46 c | 58283 | 1205 127840 554049 | 2147483647 58283 82 | 0.000 % |
56.25/56.36 c | 58592 | 1205 127840 554049 | 2147483647 58592 82 | 0.000 % |
56.85/56.96 c | 58932 | 1205 127840 554049 | 2147483647 58932 82 | 0.000 % |
57.35/57.42 c | 59307 | 1205 127840 554049 | 2147483647 59307 82 | 0.000 % |
58.05/58.11 c | 59717 | 1205 127840 554049 | 2147483647 59717 81 | 0.000 % |
58.65/58.71 c | 60166 | 1205 127840 554049 | 2147483647 60166 81 | 0.000 % |
59.26/59.38 c | 60660 | 1205 127840 554049 | 2147483647 60660 81 | 0.000 % |
60.05/60.14 c | 61207 | 1205 127840 554049 | 2147483647 61207 80 | 0.000 % |
61.15/61.20 c | 61803 | 1205 127840 554049 | 2147483647 61803 80 | 0.000 % |
62.15/62.21 c | 62459 | 1205 127840 554049 | 2147483647 62459 79 | 0.000 % |
62.95/63.05 c | 63181 | 1205 127840 554049 | 2147483647 63181 79 | 0.000 % |
63.85/63.96 c | 63976 | 1205 127840 554049 | 2147483647 63976 79 | 0.000 % |
64.05/64.15 c | 64077 | 1205 127840 554049 | 2147483647 64077 78 | 0.000 % |
64.25/64.34 c | 64190 | 1205 127840 554049 | 2147483647 64190 78 | 0.000 % |
64.45/64.55 c | 64311 | 1205 127840 554049 | 2147483647 64311 78 | 0.000 % |
64.65/64.77 c | 64444 | 1205 127840 554049 | 2147483647 64444 78 | 0.000 % |
64.86/64.91 c | 64592 | 1205 127840 554049 | 2147483647 64592 78 | 0.000 % |
65.26/65.31 c | 64753 | 1205 127840 554049 | 2147483647 64753 78 | 0.000 % |
65.46/65.54 c | 64930 | 1205 127840 554049 | 2147483647 64930 79 | 0.000 % |
65.66/65.77 c | 65123 | 1205 127840 554049 | 2147483647 65123 79 | 0.000 % |
65.96/66.00 c | 65335 | 1205 127840 554049 | 2147483647 65335 79 | 0.000 % |
66.26/66.36 c | 65568 | 1205 127840 554049 | 2147483647 65568 79 | 0.000 % |
66.76/66.89 c | 65825 | 1205 127840 554049 | 2147483647 65825 79 | 0.000 % |
67.46/67.54 c | 66108 | 1205 127840 554049 | 2147483647 66108 79 | 0.000 % |
67.96/68.01 c | 66419 | 1205 127840 554049 | 2147483647 66419 79 | 0.000 % |
68.46/68.54 c | 66759 | 1205 127840 554049 | 2147483647 66759 78 | 0.000 % |
68.96/69.03 c | 67131 | 1205 127840 554049 | 2147483647 67131 78 | 0.000 % |
69.26/69.34 c | 67542 | 1205 127840 554049 | 2147483647 67542 78 | 0.000 % |
70.36/70.42 c | 67992 | 1205 127840 554049 | 2147483647 67992 78 | 0.000 % |
71.15/71.30 c | 68486 | 1205 127840 554049 | 2147483647 68486 78 | 0.000 % |
71.66/71.75 c | 69029 | 1205 127840 554049 | 2147483647 69029 79 | 0.000 % |
72.56/72.65 c | 69625 | 1205 127840 554049 | 2147483647 69625 79 | 0.000 % |
73.45/73.57 c | 70280 | 1205 127840 554049 | 2147483647 70280 79 | 0.000 % |
74.76/74.83 c | 71003 | 1205 127840 554049 | 2147483647 71003 78 | 0.000 % |
75.95/76.05 c | 71797 | 1205 127840 554049 | 2147483647 71797 79 | 0.000 % |
77.55/77.63 c | 72670 | 1205 127840 554049 | 2147483647 72670 79 | 0.000 % |
77.75/77.86 c | 72770 | 1205 127840 554049 | 2147483647 72770 79 | 0.000 % |
77.95/78.06 c | 72880 | 1205 127840 554049 | 2147483647 72880 79 | 0.000 % |
78.15/78.23 c | 73002 | 1205 127840 554049 | 2147483647 73002 79 | 0.000 % |
78.35/78.41 c | 73137 | 1205 127840 554049 | 2147483647 73137 79 | 0.000 % |
78.45/78.51 c | 73283 | 1205 127840 554049 | 2147483647 73283 79 | 0.000 % |
78.75/78.84 c | 73443 | 1205 127840 554049 | 2147483647 73443 79 | 0.000 % |
79.05/79.17 c | 73620 | 1205 127840 554049 | 2147483647 73620 79 | 0.000 % |
79.45/79.54 c | 73813 | 1205 127840 554049 | 2147483647 73813 79 | 0.000 % |
79.65/79.72 c | 74025 | 1205 127840 554049 | 2147483647 74025 79 | 0.000 % |
80.05/80.13 c | 74258 | 1205 127840 554049 | 2147483647 74258 79 | 0.000 % |
80.55/80.64 c | 74515 | 1205 127840 554049 | 2147483647 74515 79 | 0.000 % |
81.05/81.18 c | 74799 | 1205 127840 554049 | 2147483647 74799 79 | 0.000 % |
81.65/81.72 c | 75108 | 1205 127840 554049 | 2147483647 75108 79 | 0.000 % |
81.85/81.94 c | 75448 | 1205 127840 554049 | 2147483647 75448 79 | 0.000 % |
82.65/82.77 c | 75821 | 1205 127840 554049 | 2147483647 75821 79 | 0.000 % |
83.65/83.78 c | 76230 | 1205 127840 554049 | 2147483647 76230 79 | 0.000 % |
84.75/84.83 c | 76681 | 1205 127840 554049 | 2147483647 76681 79 | 0.000 % |
85.35/85.50 c | 77175 | 1205 127840 554049 | 2147483647 77175 79 | 0.000 % |
86.15/86.21 c | 77719 | 1205 127840 554049 | 2147483647 77719 79 | 0.000 % |
86.65/86.75 c | 78316 | 1205 127840 554049 | 2147483647 78316 79 | 0.000 % |
87.14/87.27 c | 78972 | 1205 127840 554049 | 2147483647 78972 79 | 0.000 % |
87.85/87.90 c | 79696 | 1205 127840 554049 | 2147483647 79696 79 | 0.000 % |
89.25/89.37 c | 80488 | 1205 127840 554049 | 2147483647 80488 79 | 0.000 % |
90.15/90.25 c | 81359 | 1205 127840 554049 | 2147483647 81359 79 | 0.000 % |
90.95/91.07 c | 82319 | 1205 127840 554049 | 2147483647 82319 80 | 0.000 % |
91.05/91.16 c | 82422 | 1205 127840 554049 | 2147483647 82422 80 | 0.000 % |
91.15/91.26 c | 82537 | 1205 127840 554049 | 2147483647 82537 80 | 0.000 % |
91.55/91.63 c | 82660 | 1205 127840 554049 | 2147483647 82660 80 | 0.000 % |
91.65/91.78 c | 82796 | 1205 127840 554049 | 2147483647 82796 80 | 0.000 % |
91.85/91.94 c | 82942 | 1205 127840 554049 | 2147483647 82942 80 | 0.000 % |
92.25/92.33 c | 83104 | 1205 127840 554049 | 2147483647 83104 80 | 0.000 % |
92.45/92.59 c | 83280 | 1205 127840 554049 | 2147483647 83280 80 | 0.000 % |
92.95/93.02 c | 83473 | 1205 127840 554049 | 2147483647 83473 80 | 0.000 % |
93.35/93.49 c | 83685 | 1205 127840 554049 | 2147483647 83685 80 | 0.000 % |
93.85/93.95 c | 83918 | 1205 127840 554049 | 2147483647 83918 80 | 0.000 % |
94.55/94.63 c | 84174 | 1205 127840 554049 | 2147483647 84174 80 | 0.000 % |
94.95/95.06 c | 84455 | 1205 127840 554049 | 2147483647 84455 79 | 0.000 % |
95.55/95.60 c | 84765 | 1205 127840 554049 | 2147483647 84765 79 | 0.000 % |
96.35/96.42 c | 85104 | 1205 127840 554049 | 2147483647 85104 79 | 0.000 % |
97.25/97.32 c | 85477 | 1205 127840 554049 | 2147483647 85477 79 | 0.000 % |
98.05/98.14 c | 85887 | 1205 127840 554049 | 2147483647 85887 79 | 0.000 % |
99.05/99.15 c | 86336 | 1205 127840 554049 | 2147483647 86336 79 | 0.000 % |
100.15/100.24 c | 86830 | 1205 127840 554049 | 2147483647 86830 79 | 0.000 % |
101.35/101.42 c | 87374 | 1205 127840 554049 | 2147483647 87374 78 | 0.000 % |
102.35/102.42 c | 87972 | 1205 127840 554049 | 2147483647 87972 78 | 0.000 % |
103.64/103.73 c | 88627 | 1205 127840 554049 | 2147483647 88627 78 | 0.000 % |
104.84/104.93 c | 89347 | 1205 127840 554049 | 2147483647 89347 77 | 0.000 % |
106.34/106.42 c | 90139 | 1205 127840 554049 | 2147483647 90139 77 | 0.000 % |
107.14/107.27 c | 91012 | 1205 127840 554049 | 2147483647 91012 77 | 0.000 % |
109.44/109.59 c | 91975 | 1205 127840 554049 | 2147483647 91975 77 | 0.000 % |
111.24/111.37 c | 93029 | 1205 127840 554049 | 2147483647 93029 78 | 0.000 % |
111.64/111.73 c | 93130 | 1205 127840 554049 | 2147483647 93130 78 | 0.000 % |
111.94/112.07 c | 93240 | 1205 127840 554049 | 2147483647 93240 77 | 0.000 % |
112.24/112.37 c | 93362 | 1205 127840 554049 | 2147483647 93362 77 | 0.000 % |
112.54/112.66 c | 93503 | 1205 127840 554049 | 2147483647 93503 77 | 0.000 % |
112.84/112.94 c | 93649 | 1205 127840 554049 | 2147483647 93649 77 | 0.000 % |
113.14/113.26 c | 93810 | 1205 127840 554049 | 2147483647 93810 77 | 0.000 % |
113.33/113.50 c | 93987 | 1205 127840 554049 | 2147483647 93987 77 | 0.000 % |
113.94/114.03 c | 94181 | 1205 127840 554049 | 2147483647 94181 77 | 0.000 % |
114.25/114.33 c | 94397 | 1205 127840 554049 | 2147483647 94397 77 | 0.000 % |
114.84/114.96 c | 94631 | 1205 127840 554049 | 2147483647 94631 77 | 0.000 % |
115.45/115.56 c | 94887 | 1205 127840 554049 | 2147483647 94887 77 | 0.000 % |
116.04/116.15 c | 95168 | 1205 127840 554049 | 2147483647 95168 77 | 0.000 % |
116.55/116.64 c | 95477 | 1205 127840 554049 | 2147483647 95477 77 | 0.000 % |
117.04/117.16 c | 95819 | 1205 127840 554049 | 2147483647 95819 77 | 0.000 % |
117.65/117.76 c | 96192 | 1205 127840 554049 | 2147483647 96192 77 | 0.000 % |
118.44/118.54 c | 96602 | 1205 127840 554049 | 2147483647 96602 77 | 0.000 % |
119.54/119.61 c | 97054 | 1205 127840 554049 | 2147483647 97054 77 | 0.000 % |
120.04/120.20 c | 97548 | 1205 127840 554049 | 2147483647 97548 77 | 0.000 % |
121.14/121.22 c | 98090 | 1205 127840 554049 | 2147483647 98090 77 | 0.000 % |
122.04/122.19 c | 98687 | 1205 127840 554049 | 2147483647 98687 77 | 0.000 % |
123.24/123.39 c | 99342 | 1205 127840 554049 | 2147483647 99342 77 | 0.000 % |
124.74/124.88 c | 100066 | 1205 127840 554049 | 2147483647 100066 77 | 0.000 % |
126.54/126.62 c | 100860 | 1205 127840 554049 | 2147483647 100860 77 | 0.000 % |
128.14/128.22 c | 101731 | 1205 127840 554049 | 2147483647 101731 77 | 0.000 % |
129.74/129.89 c | 102689 | 1205 127840 554049 | 2147483647 102689 77 | 0.000 % |
131.84/131.98 c | 103742 | 1205 127840 554049 | 2147483647 103742 77 | 0.000 % |
133.63/133.73 c | 104900 | 1205 127840 554049 | 2147483647 104900 77 | 0.000 % |
133.83/133.98 c | 105001 | 1205 127840 554049 | 2147483647 105001 77 | 0.000 % |
134.14/134.29 c | 105111 | 1205 127840 554049 | 2147483647 105111 77 | 0.000 % |
134.53/134.66 c | 105233 | 1205 127840 554049 | 2147483647 105233 77 | 0.000 % |
134.73/134.89 c | 105368 | 1205 127840 554049 | 2147483647 105368 77 | 0.000 % |
135.03/135.11 c | 105514 | 1205 127840 554049 | 2147483647 105514 77 | 0.000 % |
135.43/135.52 c | 105677 | 1205 127840 554049 | 2147483647 105677 77 | 0.000 % |
135.53/135.69 c | 105853 | 1205 127840 554049 | 2147483647 105853 77 | 0.000 % |
136.23/136.40 c | 106046 | 1205 127840 554049 | 2147483647 106046 77 | 0.000 % |
136.73/136.85 c | 106263 | 1205 127840 554049 | 2147483647 106263 77 | 0.000 % |
137.03/137.17 c | 106498 | 1205 127840 554049 | 2147483647 106498 77 | 0.000 % |
137.54/137.68 c | 106754 | 1205 127840 554049 | 2147483647 106754 77 | 0.000 % |
138.14/138.20 c | 107036 | 1205 127840 554049 | 2147483647 107036 77 | 0.000 % |
138.54/138.65 c | 107345 | 1205 127840 554049 | 2147483647 107345 77 | 0.000 % |
139.34/139.41 c | 107686 | 1205 127840 554049 | 2147483647 107686 77 | 0.000 % |
140.04/140.12 c | 108059 | 1205 127840 554049 | 2147483647 108059 77 | 0.000 % |
141.14/141.23 c | 108468 | 1205 127840 554049 | 2147483647 108468 78 | 0.000 % |
142.13/142.23 c | 108919 | 1205 127840 554049 | 2147483647 108919 78 | 0.000 % |
143.13/143.27 c | 109414 | 1205 127840 554049 | 2147483647 109414 77 | 0.000 % |
144.23/144.39 c | 109959 | 1205 127840 554049 | 2147483647 109959 77 | 0.000 % |
145.33/145.48 c | 110555 | 1205 127840 554049 | 2147483647 110555 77 | 0.001 % |
147.33/147.49 c | 111210 | 1205 127840 554049 | 2147483647 111210 77 | 0.000 % |
148.83/148.90 c | 111930 | 1205 127840 554049 | 2147483647 111930 77 | 0.000 % |
151.53/151.60 c | 112724 | 1205 127840 554049 | 2147483647 112724 77 | 0.000 % |
153.63/153.73 c | 113596 | 1205 127840 554049 | 2147483647 113596 77 | 0.000 % |
155.33/155.50 c | 114556 | 1205 127840 554049 | 2147483647 114556 77 | 0.000 % |
157.33/157.42 c | 115611 | 1205 127840 554049 | 2147483647 115611 77 | 0.000 % |
159.63/159.77 c | 116769 | 1205 127840 554049 | 2147483647 116769 77 | 0.000 % |
161.83/161.91 c | 118042 | 1205 127840 554049 | 2147483647 118042 77 | 0.000 % |
162.13/162.25 c | 118142 | 1205 127840 554049 | 2147483647 118142 77 | 0.000 % |
162.33/162.45 c | 118252 | 1205 127840 554049 | 2147483647 118252 77 | 0.000 % |
162.83/162.97 c | 118376 | 1205 127840 554049 | 2147483647 118376 77 | 0.000 % |
163.13/163.24 c | 118511 | 1205 127840 554049 | 2147483647 118511 77 | 0.000 % |
163.53/163.61 c | 118657 | 1205 127840 554049 | 2147483647 118657 77 | 0.000 % |
163.83/163.95 c | 118817 | 1205 127840 554049 | 2147483647 118817 77 | 0.000 % |
164.33/164.46 c | 118993 | 1205 127840 554049 | 2147483647 118993 77 | 0.000 % |
165.13/165.22 c | 119186 | 1205 127840 554049 | 2147483647 119186 77 | 0.000 % |
165.73/165.89 c | 119398 | 1205 127840 554049 | 2147483647 119398 77 | 0.000 % |
166.33/166.48 c | 119634 | 1205 127840 554049 | 2147483647 119634 77 | 0.000 % |
167.03/167.11 c | 119892 | 1205 127840 554049 | 2147483647 119892 77 | 0.000 % |
167.62/167.79 c | 120175 | 1205 127840 554049 | 2147483647 120175 77 | 0.000 % |
168.62/168.70 c | 120484 | 1205 127840 554049 | 2147483647 120484 76 | 0.000 % |
169.52/169.61 c | 120825 | 1205 127840 554049 | 2147483647 120825 76 | 0.000 % |
170.43/170.51 c | 121202 | 1205 127840 554049 | 2147483647 121202 76 | 0.000 % |
171.32/171.45 c | 121611 | 1205 127840 554049 | 2147483647 121611 76 | 0.000 % |
172.42/172.55 c | 122062 | 1205 127840 554049 | 2147483647 122062 76 | 0.000 % |
173.42/173.58 c | 122555 | 1205 127840 554049 | 2147483647 122555 76 | 0.000 % |
174.92/175.06 c | 123099 | 1205 127840 554049 | 2147483647 123099 76 | 0.000 % |
176.23/176.37 c | 123695 | 1205 127840 554049 | 2147483647 123695 76 | 0.000 % |
178.43/178.58 c | 124350 | 1205 127840 554049 | 2147483647 124350 76 | 0.000 % |
180.52/180.60 c | 125072 | 1205 127840 554049 | 2147483647 125072 76 | 0.000 % |
182.72/182.83 c | 125867 | 1205 127840 554049 | 2147483647 125867 76 | 0.000 % |
184.82/184.94 c | 126741 | 1205 127840 554049 | 2147483647 126741 76 | 0.000 % |
186.72/186.88 c | 127700 | 1205 127840 554049 | 2147483647 127700 76 | 0.000 % |
189.22/189.33 c | 128755 | 1205 127840 554049 | 2147483647 128755 75 | 0.000 % |
191.42/191.52 c | 129913 | 1205 127840 554049 | 2147483647 129913 75 | 0.000 % |
193.91/194.08 c | 131189 | 1205 127840 554049 | 2147483647 131189 75 | 0.000 % |
196.62/196.75 c | 132589 | 1205 127840 554049 | 2147483647 132589 75 | 0.000 % |
196.92/197.03 c | 132690 | 1205 127840 554049 | 2147483647 132690 75 | 0.000 % |
197.22/197.32 c | 132800 | 1205 127840 554049 | 2147483647 132800 75 | 0.000 % |
197.42/197.51 c | 132921 | 1205 127840 554049 | 2147483647 132921 75 | 0.000 % |
197.82/197.97 c | 133055 | 1205 127840 554049 | 2147483647 133055 75 | 0.000 % |
198.22/198.30 c | 133201 | 1205 127840 554049 | 2147483647 133201 75 | 0.000 % |
198.72/198.83 c | 133362 | 1205 127840 554049 | 2147483647 133362 75 | 0.000 % |
199.32/199.40 c | 133540 | 1205 127840 554049 | 2147483647 133540 75 | 0.000 % |
199.72/199.86 c | 133735 | 1205 127840 554049 | 2147483647 133735 75 | 0.000 % |
200.22/200.34 c | 133947 | 1205 127840 554049 | 2147483647 133947 75 | 0.000 % |
200.82/200.91 c | 134181 | 1205 127840 554049 | 2147483647 134181 75 | 0.000 % |
201.32/201.46 c | 134439 | 1205 127840 554049 | 2147483647 134439 75 | 0.000 % |
202.02/202.17 c | 134721 | 1205 127840 554049 | 2147483647 134721 75 | 0.000 % |
202.72/202.85 c | 135030 | 1205 127840 554049 | 2147483647 135030 75 | 0.000 % |
203.81/203.91 c | 135369 | 1205 127840 554049 | 2147483647 135369 75 | 0.000 % |
204.71/204.86 c | 135741 | 1205 127840 554049 | 2147483647 135741 75 | 0.000 % |
205.62/205.77 c | 136150 | 1205 127840 554049 | 2147483647 136150 75 | 0.000 % |
206.62/206.79 c | 136602 | 1205 127840 554049 | 2147483647 136602 75 | 0.000 % |
207.61/207.78 c | 137095 | 1205 127840 554049 | 2147483647 137095 75 | 0.000 % |
209.51/209.68 c | 137637 | 1205 127840 554049 | 2147483647 137637 75 | 0.000 % |
211.21/211.37 c | 138233 | 1205 127840 554049 | 2147483647 138233 75 | 0.000 % |
212.81/212.90 c | 138890 | 1205 127840 554049 | 2147483647 138890 75 | 0.000 % |
214.51/214.63 c | 139610 | 1205 127840 554049 | 2147483647 139610 75 | 0.000 % |
216.01/216.14 c | 140404 | 1205 127840 554049 | 2147483647 140404 75 | 0.000 % |
217.92/218.00 c | 141278 | 1205 127840 554049 | 2147483647 141278 75 | 0.000 % |
220.31/220.50 c | 142236 | 1205 127840 554049 | 2147483647 142236 75 | 0.000 % |
222.41/222.53 c | 143290 | 1205 127840 554049 | 2147483647 143290 75 | 0.000 % |
224.41/224.59 c | 144450 | 1205 127840 554049 | 2147483647 144450 75 | 0.000 % |
226.01/226.11 c | 145723 | 1205 127840 554049 | 2147483647 145723 75 | 0.000 % |
228.01/228.17 c | 147123 | 1205 127840 554049 | 2147483647 147123 75 | 0.000 % |
229.82/229.91 c | 148663 | 1205 127840 554049 | 2147483647 148663 76 | 0.000 % |
229.91/230.03 c | 148763 | 1205 127840 554049 | 2147483647 148763 76 | 0.000 % |
230.01/230.18 c | 148873 | 1205 127840 554049 | 2147483647 148873 76 | 0.000 % |
230.21/230.34 c | 148994 | 1205 127840 554049 | 2147483647 148994 76 | 0.000 % |
230.31/230.49 c | 149128 | 1205 127840 554049 | 2147483647 149128 76 | 0.000 % |
230.51/230.65 c | 149274 | 1205 127840 554049 | 2147483647 149274 76 | 0.000 % |
230.82/230.93 c | 149434 | 1205 127840 554049 | 2147483647 149434 76 | 0.000 % |
231.01/231.16 c | 149610 | 1205 127840 554049 | 2147483647 149610 76 | 0.000 % |
231.81/231.90 c | 149805 | 1205 127840 554049 | 2147483647 149805 76 | 0.000 % |
232.21/232.38 c | 150018 | 1205 127840 554049 | 2147483647 150018 76 | 0.000 % |
232.91/233.04 c | 150252 | 1205 127840 554049 | 2147483647 150252 76 | 0.000 % |
233.81/233.92 c | 150509 | 1205 127840 554049 | 2147483647 150509 76 | 0.000 % |
234.71/234.86 c | 150790 | 1205 127840 554049 | 2147483647 150790 76 | 0.000 % |
236.01/236.15 c | 151100 | 1205 127840 554049 | 2147483647 151100 76 | 0.000 % |
236.91/237.05 c | 151439 | 1205 127840 554049 | 2147483647 151439 76 | 0.000 % |
237.91/238.04 c | 151812 | 1205 127840 554049 | 2147483647 151812 76 | 0.000 % |
238.81/238.90 c | 152224 | 1205 127840 554049 | 2147483647 152224 76 | 0.000 % |
240.20/240.33 c | 152674 | 1205 127840 554049 | 2147483647 152674 76 | 0.000 % |
241.30/241.46 c | 153167 | 1205 127840 554049 | 2147483647 153167 76 | 0.000 % |
242.60/242.72 c | 153710 | 1205 127840 554049 | 2147483647 153710 76 | 0.000 % |
244.30/244.49 c | 154307 | 1205 127840 554049 | 2147483647 154307 76 | 0.000 % |
246.31/246.47 c | 154964 | 1205 127840 554049 | 2147483647 154964 75 | 0.000 % |
248.41/248.57 c | 155689 | 1205 127840 554049 | 2147483647 155689 75 | 0.000 % |
250.60/250.80 c | 156481 | 1205 127840 554049 | 2147483647 156481 75 | 0.000 % |
252.80/252.99 c | 157353 | 1205 127840 554049 | 2147483647 157353 75 | 0.000 % |
255.50/255.65 c | 158311 | 1205 127840 554049 | 2147483647 158311 75 | 0.000 % |
258.20/258.37 c | 159368 | 1205 127840 554049 | 2147483647 159368 74 | 0.000 % |
261.50/261.70 c | 160526 | 1205 127840 554049 | 2147483647 160526 74 | 0.000 % |
265.00/265.18 c | 161800 | 1205 127840 554049 | 2147483647 161800 74 | 0.000 % |
268.59/268.74 c | 163200 | 1205 127840 554049 | 2147483647 163200 74 | 0.000 % |
272.90/273.06 c | 164740 | 1205 127840 554049 | 2147483647 164740 74 | 0.000 % |
277.00/277.16 c | 166434 | 1205 127840 554049 | 2147483647 166434 74 | 0.000 % |
277.40/277.57 c | 166535 | 1205 127840 554049 | 2147483647 166535 74 | 0.000 % |
277.80/277.91 c | 166646 | 1205 127840 554049 | 2147483647 166646 74 | 0.000 % |
278.10/278.26 c | 166768 | 1205 127840 554049 | 2147483647 166768 74 | 0.000 % |
278.50/278.63 c | 166902 | 1205 127840 554049 | 2147483647 166902 74 | 0.000 % |
278.90/279.07 c | 167048 | 1205 127840 554049 | 2147483647 167048 74 | 0.000 % |
279.60/279.79 c | 167208 | 1205 127840 554049 | 2147483647 167208 74 | 0.000 % |
280.00/280.15 c | 167385 | 1205 127840 554049 | 2147483647 167385 74 | 0.000 % |
280.50/280.67 c | 167583 | 1205 127840 554049 | 2147483647 167583 74 | 0.000 % |
281.00/281.14 c | 167796 | 1205 127840 554049 | 2147483647 167796 74 | 0.000 % |
282.10/282.22 c | 168029 | 1205 127840 554049 | 2147483647 168029 74 | 0.000 % |
282.89/283.02 c | 168286 | 1205 127840 554049 | 2147483647 168286 74 | 0.000 % |
283.89/284.06 c | 168567 | 1205 127840 554049 | 2147483647 168567 74 | 0.000 % |
284.99/285.12 c | 168877 | 1205 127840 554049 | 2147483647 168877 74 | 0.000 % |
285.69/285.84 c | 169216 | 1205 127840 554049 | 2147483647 169216 74 | 0.000 % |
286.49/286.68 c | 169589 | 1205 127840 554049 | 2147483647 169589 74 | 0.000 % |
287.19/287.37 c | 170000 | 1205 127840 554049 | 2147483647 170000 74 | 0.000 % |
288.99/289.13 c | 170452 | 1205 127840 554049 | 2147483647 170452 74 | 0.000 % |
290.29/290.44 c | 170946 | 1205 127840 554049 | 2147483647 170946 74 | 0.000 % |
291.79/291.91 c | 171491 | 1205 127840 554049 | 2147483647 171491 74 | 0.000 % |
293.38/293.50 c | 172087 | 1205 127840 554049 | 2147483647 172087 74 | 0.000 % |
294.79/294.96 c | 172743 | 1205 127840 554049 | 2147483647 172743 74 | 0.000 % |
295.99/296.10 c | 173463 | 1205 127840 554049 | 2147483647 173463 74 | 0.000 % |
297.19/297.32 c | 174255 | 1205 127840 554049 | 2147483647 174255 74 | 0.000 % |
298.19/298.35 c | 175126 | 1205 127840 554049 | 2147483647 175126 74 | 0.000 % |
299.29/299.43 c | 176090 | 1205 127840 554049 | 2147483647 176090 74 | 0.000 % |
302.29/302.49 c | 177143 | 1205 127840 554049 | 2147483647 177143 74 | 0.000 % |
305.59/305.80 c | 178302 | 1205 127840 554049 | 2147483647 178302 74 | 0.000 % |
307.79/307.94 c | 179575 | 1205 127840 554049 | 2147483647 179575 74 | 0.000 % |
312.48/312.62 c | 180975 | 1205 127840 554049 | 2147483647 180975 74 | 0.000 % |
314.99/315.11 c | 182515 | 1205 127840 554049 | 2147483647 182515 74 | 0.000 % |
319.78/319.97 c | 184210 | 1205 127840 554049 | 2147483647 184210 74 | 0.000 % |
325.18/325.36 c | 186074 | 1205 127840 554049 | 2147483647 186074 74 | 0.000 % |
325.58/325.78 c | 186175 | 1205 127840 554049 | 2147483647 186175 74 | 0.000 % |
325.98/326.15 c | 186289 | 1205 127840 554049 | 2147483647 186289 74 | 0.000 % |
326.38/326.57 c | 186411 | 1205 127840 554049 | 2147483647 186411 74 | 0.000 % |
326.78/326.98 c | 186545 | 1205 127840 554049 | 2147483647 186545 74 | 0.000 % |
327.28/327.43 c | 186691 | 1205 127840 554049 | 2147483647 186691 74 | 0.000 % |
327.58/327.79 c | 186851 | 1205 127840 554049 | 2147483647 186851 74 | 0.000 % |
328.58/328.73 c | 187027 | 1205 127840 554049 | 2147483647 187027 74 | 0.000 % |
329.18/329.33 c | 187220 | 1205 127840 554049 | 2147483647 187220 74 | 0.000 % |
329.68/329.90 c | 187432 | 1205 127840 554049 | 2147483647 187432 74 | 0.000 % |
330.48/330.65 c | 187666 | 1205 127840 554049 | 2147483647 187666 74 | 0.000 % |
331.07/331.22 c | 187923 | 1205 127840 554049 | 2147483647 187923 74 | 0.000 % |
332.08/332.21 c | 188204 | 1205 127840 554049 | 2147483647 188204 74 | 0.000 % |
332.97/333.19 c | 188515 | 1205 127840 554049 | 2147483647 188515 74 | 0.000 % |
334.18/334.37 c | 188856 | 1205 127840 554049 | 2147483647 188856 75 | 0.000 % |
335.28/335.46 c | 189229 | 1205 127840 554049 | 2147483647 189229 75 | 0.000 % |
336.28/336.42 c | 189638 | 1205 127840 554049 | 2147483647 189638 74 | 0.000 % |
337.58/337.73 c | 190089 | 1205 127840 554049 | 2147483647 190089 74 | 0.000 % |
338.58/338.80 c | 190583 | 1205 127840 554049 | 2147483647 190583 75 | 0.000 % |
340.38/340.50 c | 191125 | 1205 127840 554049 | 2147483647 191125 75 | 0.000 % |
341.88/342.06 c | 191721 | 1205 127840 554049 | 2147483647 191721 75 | 0.000 % |
344.08/344.21 c | 192381 | 1205 127840 554049 | 2147483647 192381 74 | 0.000 % |
345.97/346.17 c | 193101 | 1205 127840 554049 | 2147483647 193101 74 | 0.000 % |
348.07/348.23 c | 193894 | 1205 127840 554049 | 2147483647 193894 74 | 0.000 % |
350.17/350.31 c | 194768 | 1205 127840 554049 | 2147483647 194768 74 | 0.000 % |
352.67/352.85 c | 195728 | 1205 127840 554049 | 2147483647 195728 74 | 0.000 % |
356.17/356.35 c | 196781 | 1205 127840 554049 | 2147483647 196781 74 | 0.000 % |
359.27/359.45 c | 197939 | 1205 127840 554049 | 2147483647 197939 74 | 0.000 % |
363.07/363.21 c | 199213 | 1205 127840 554049 | 2147483647 199213 74 | 0.000 % |
367.67/367.85 c | 200617 | 1205 127840 554049 | 2147483647 200617 74 | 0.000 % |
371.87/372.07 c | 202159 | 1205 127840 554049 | 2147483647 202159 74 | 0.000 % |
376.46/376.62 c | 203853 | 1205 127840 554049 | 2147483647 203853 74 | 0.000 % |
381.06/381.26 c | 205717 | 1205 127840 554049 | 2147483647 205717 74 | 0.000 % |
385.56/385.71 c | 207767 | 1205 127840 554049 | 2147483647 207767 74 | 0.000 % |
385.76/385.94 c | 207867 | 1205 127840 554049 | 2147483647 207867 74 | 0.000 % |
386.16/386.35 c | 207981 | 1205 127840 554049 | 2147483647 207981 74 | 0.000 % |
386.56/386.73 c | 208107 | 1205 127840 554049 | 2147483647 208107 74 | 0.000 % |
387.16/387.34 c | 208242 | 1205 127840 554049 | 2147483647 208242 74 | 0.000 % |
387.76/387.98 c | 208391 | 1205 127840 554049 | 2147483647 208391 74 | 0.000 % |
388.46/388.66 c | 208551 | 1205 127840 554049 | 2147483647 208551 74 | 0.000 % |
389.16/389.35 c | 208727 | 1205 127840 554049 | 2147483647 208727 74 | 0.000 % |
389.95/390.16 c | 208920 | 1205 127840 554049 | 2147483647 208920 74 | 0.000 % |
390.65/390.88 c | 209135 | 1205 127840 554049 | 2147483647 209135 74 | 0.000 % |
391.36/391.56 c | 209368 | 1205 127840 554049 | 2147483647 209368 74 | 0.000 % |
392.15/392.35 c | 209624 | 1205 127840 554049 | 2147483647 209624 74 | 0.001 % |
393.25/393.44 c | 209906 | 1205 127840 554049 | 2147483647 209906 74 | 0.001 % |
393.95/394.18 c | 210215 | 1205 127840 554049 | 2147483647 210215 74 | 0.000 % |
394.95/395.11 c | 210554 | 1205 127840 554049 | 2147483647 210554 74 | 0.000 % |
396.05/396.21 c | 210926 | 1205 127840 554049 | 2147483647 210926 74 | 0.000 % |
396.86/397.04 c | 211335 | 1205 127840 554049 | 2147483647 211335 74 | 0.000 % |
398.06/398.21 c | 211784 | 1205 127840 554049 | 2147483647 211784 74 | 0.000 % |
398.65/398.88 c | 212278 | 1205 127840 554049 | 2147483647 212278 73 | 0.000 % |
400.55/400.77 c | 212820 | 1205 127840 554049 | 2147483647 212820 73 | 0.000 % |
401.85/402.02 c | 213416 | 1205 127840 554049 | 2147483647 213416 73 | 0.000 % |
403.65/403.84 c | 214071 | 1205 127840 554049 | 2147483647 214071 73 | 0.000 % |
406.15/406.32 c | 214792 | 1205 127840 554049 | 2147483647 214792 73 | 0.000 % |
408.25/408.43 c | 215586 | 1205 127840 554049 | 2147483647 215586 73 | 0.000 % |
411.35/411.59 c | 216459 | 1205 127840 554049 | 2147483647 216459 74 | 0.000 % |
415.25/415.45 c | 217417 | 1205 127840 554049 | 2147483647 217417 74 | 0.000 % |
418.45/418.67 c | 218470 | 1205 127840 554049 | 2147483647 218470 74 | 0.000 % |
421.45/421.69 c | 219629 | 1205 127840 554049 | 2147483647 219629 74 | 0.000 % |
424.15/424.39 c | 220902 | 1205 127840 554049 | 2147483647 220902 74 | 0.000 % |
426.35/426.58 c | 222302 | 1205 127840 554049 | 2147483647 222302 74 | 0.000 % |
429.64/429.82 c | 223845 | 1205 127840 554049 | 2147483647 223845 74 | 0.000 % |
433.04/433.25 c | 225539 | 1205 127840 554049 | 2147483647 225539 74 | 0.000 % |
438.34/438.54 c | 227405 | 1205 127840 554049 | 2147483647 227405 74 | 0.000 % |
442.45/442.70 c | 229454 | 1205 127840 554049 | 2147483647 229454 74 | 0.000 % |
448.65/448.81 c | 231707 | 1205 127840 554049 | 230000 203469 75 | 0.000 % |
448.94/449.13 c | 231810 | 1205 127840 554049 | 230000 203572 75 | 0.000 % |
449.24/449.41 c | 231921 | 1205 127840 554049 | 230000 203683 75 | 0.000 % |
449.44/449.69 c | 232046 | 1205 127840 554049 | 230000 203808 75 | 0.000 % |
450.04/450.25 c | 232179 | 1205 127840 554049 | 230000 203941 75 | 0.000 % |
450.54/450.73 c | 232326 | 1205 127840 554049 | 230000 204088 75 | 0.000 % |
450.94/451.12 c | 232486 | 1205 127840 554049 | 230000 204248 75 | 0.000 % |
451.64/451.86 c | 232662 | 1205 127840 554049 | 230000 204424 75 | 0.000 % |
452.24/452.43 c | 232855 | 1205 127840 554049 | 230000 204617 75 | 0.000 % |
452.74/452.90 c | 233067 | 1205 127840 554049 | 230000 204829 75 | 0.000 % |
453.64/453.86 c | 233301 | 1205 127840 554049 | 230000 205063 75 | 0.000 % |
454.64/454.83 c | 233558 | 1205 127840 554049 | 230000 205320 75 | 0.000 % |
455.34/455.50 c | 233840 | 1205 127840 554049 | 230000 205602 75 | 0.000 % |
456.14/456.39 c | 234149 | 1205 127840 554049 | 230000 205911 75 | 0.000 % |
457.24/457.41 c | 234493 | 1205 127840 554049 | 230000 206255 75 | 0.000 % |
458.54/458.71 c | 234865 | 1205 127840 554049 | 230000 206627 75 | 0.000 % |
459.64/459.83 c | 235278 | 1205 127840 554049 | 230000 207040 75 | 0.000 % |
460.64/460.90 c | 235727 | 1205 127840 554049 | 230000 207489 75 | 0.000 % |
461.84/462.05 c | 236222 | 1205 127840 554049 | 230000 207984 75 | 0.000 % |
463.34/463.51 c | 236766 | 1205 127840 554049 | 230000 208528 75 | 0.000 % |
464.74/464.93 c | 237362 | 1205 127840 554049 | 230000 209124 75 | 0.000 % |
466.34/466.52 c | 238018 | 1205 127840 554049 | 230000 209780 75 | 0.000 % |
469.04/469.24 c | 238738 | 1205 127840 554049 | 230000 210500 75 | 0.000 % |
471.24/471.40 c | 239531 | 1205 127840 554049 | 230000 211293 75 | 0.000 % |
474.04/474.30 c | 240402 | 1205 127840 554049 | 2147483647 212164 75 | 0.000 % |
476.43/476.68 c | 241361 | 1205 127840 554049 | 2147483647 213123 75 | 0.000 % |
478.83/479.07 c | 242414 | 1205 127840 554049 | 2147483647 214176 75 | 0.000 % |
481.23/481.46 c | 243573 | 1205 127840 554049 | 2147483647 215335 75 | 0.000 % |
485.23/485.43 c | 244848 | 1205 127840 554049 | 2147483647 216610 75 | 0.000 % |
488.53/488.70 c | 246248 | 1205 127840 554049 | 2147483647 218010 75 | 0.000 % |
492.93/493.11 c | 247790 | 1205 127840 554049 | 2147483647 219552 75 | 0.000 % |
496.93/497.19 c | 249486 | 1205 127840 554049 | 2147483647 221248 76 | 0.000 % |
501.53/501.74 c | 251349 | 1205 127840 554049 | 2147483647 223111 76 | 0.000 % |
506.12/506.37 c | 253398 | 1205 127840 554049 | 2147483647 225160 76 | 0.000 % |
511.82/512.05 c | 255652 | 1205 127840 554049 | 2147483647 227414 76 | 0.000 % |
518.52/518.75 c | 258130 | 1205 127840 554049 | 2147483647 229892 76 | 0.000 % |
518.72/518.97 c | 258230 | 1205 127840 554049 | 2147483647 229992 76 | 0.000 % |
519.12/519.34 c | 258340 | 1205 127840 554049 | 2147483647 230102 76 | 0.000 % |
519.52/519.78 c | 258463 | 1205 127840 554049 | 2147483647 230225 76 | 0.000 % |
520.02/520.21 c | 258597 | 1205 127840 554049 | 2147483647 230359 76 | 0.000 % |
520.72/520.92 c | 258744 | 1205 127840 554049 | 2147483647 230506 76 | 0.000 % |
521.42/521.64 c | 258905 | 1205 127840 554049 | 2147483647 230667 76 | 0.000 % |
522.22/522.45 c | 259081 | 1205 127840 554049 | 2147483647 230843 76 | 0.000 % |
523.01/523.24 c | 259276 | 1205 127840 554049 | 2147483647 231038 76 | 0.000 % |
523.81/524.03 c | 259488 | 1205 127840 554049 | 2147483647 231250 76 | 0.000 % |
524.61/524.82 c | 259721 | 1205 127840 554049 | 2147483647 231483 76 | 0.000 % |
525.42/525.65 c | 259977 | 1205 127840 554049 | 2147483647 231739 76 | 0.000 % |
526.02/526.27 c | 260259 | 1205 127840 554049 | 2147483647 232021 76 | 0.000 % |
526.91/527.13 c | 260569 | 1205 127840 554049 | 2147483647 232331 76 | 0.000 % |
527.72/527.92 c | 260908 | 1205 127840 554049 | 2147483647 232670 76 | 0.000 % |
528.21/528.41 c | 261281 | 1205 127840 554049 | 2147483647 233043 76 | 0.000 % |
528.62/528.88 c | 261692 | 1205 127840 554049 | 2147483647 233454 76 | 0.000 % |
529.32/529.59 c | 262141 | 1205 127840 554049 | 2147483647 233903 76 | 0.000 % |
529.92/530.19 c | 262635 | 1205 127840 554049 | 2147483647 234397 76 | 0.000 % |
530.82/531.02 c | 263177 | 1205 127840 554049 | 2147483647 234939 76 | 0.000 % |
531.82/532.02 c | 263774 | 1205 127840 554049 | 2147483647 235536 76 | 0.000 % |
532.82/533.07 c | 264433 | 1205 127840 554049 | 2147483647 236195 76 | 0.000 % |
533.92/534.16 c | 265153 | 1205 127840 554049 | 2147483647 236915 76 | 0.000 % |
535.32/535.52 c | 265946 | 1205 127840 554049 | 2147483647 237708 76 | 0.000 % |
537.22/537.44 c | 266817 | 1205 127840 554049 | 2147483647 238579 76 | 0.000 % |
541.41/541.64 c | 267776 | 1205 127840 554049 | 2147483647 239538 76 | 0.000 % |
543.71/543.93 c | 268830 | 1205 127840 554049 | 2147483647 240592 76 | 0.000 % |
547.51/547.71 c | 269989 | 1205 127840 554049 | 2147483647 241751 76 | 0.000 % |
550.41/550.64 c | 271263 | 1205 127840 554049 | 2147483647 243025 76 | 0.000 % |
555.61/555.82 c | 272663 | 1205 127840 554049 | 2147483647 244425 76 | 0.000 % |
558.41/558.62 c | 274203 | 1205 127840 554049 | 2147483647 245965 76 | 0.000 % |
562.11/562.31 c | 275897 | 1205 127840 554049 | 2147483647 247659 76 | 0.000 % |
564.31/564.57 c | 277761 | 1205 127840 554049 | 2147483647 249523 76 | 0.000 % |
567.41/567.63 c | 279811 | 1205 127840 554049 | 2147483647 251573 76 | 0.000 % |
570.71/570.95 c | 282067 | 1205 127840 554049 | 2147483647 253829 76 | 0.000 % |
577.80/578.06 c | 284545 | 1205 127840 554049 | 2147483647 256307 76 | 0.000 % |
584.70/584.92 c | 287271 | 1205 127840 554049 | 2147483647 259033 76 | 0.000 % |
585.00/585.29 c | 287371 | 1205 127840 554049 | 2147483647 259133 76 | 0.000 % |
585.50/585.77 c | 287482 | 1205 127840 554049 | 2147483647 259244 76 | 0.000 % |
586.10/586.39 c | 287605 | 1205 127840 554049 | 2147483647 259367 76 | 0.000 % |
586.70/586.90 c | 287738 | 1205 127840 554049 | 2147483647 259500 76 | 0.000 % |
587.20/587.46 c | 287886 | 1205 127840 554049 | 2147483647 259648 76 | 0.000 % |
588.40/588.62 c | 288047 | 1205 127840 554049 | 2147483647 259809 76 | 0.000 % |
589.00/589.22 c | 288224 | 1205 127840 554049 | 2147483647 259986 76 | 0.000 % |
590.00/590.29 c | 288418 | 1205 127840 554049 | 2147483647 260180 76 | 0.000 % |
590.89/591.14 c | 288630 | 1205 127840 554049 | 2147483647 260392 76 | 0.000 % |
591.69/591.94 c | 288863 | 1205 127840 554049 | 2147483647 260625 76 | 0.000 % |
592.60/592.87 c | 289119 | 1205 127840 554049 | 2147483647 260881 76 | 0.000 % |
593.80/594.07 c | 289403 | 1205 127840 554049 | 2147483647 261165 76 | 0.000 % |
595.19/595.47 c | 289712 | 1205 127840 554049 | 2147483647 261474 76 | 0.000 % |
596.89/597.10 c | 290053 | 1205 127840 554049 | 2147483647 261815 76 | 0.000 % |
598.29/598.53 c | 290428 | 1205 127840 554049 | 2147483647 262190 76 | 0.000 % |
599.79/600.05 c | 290838 | 1205 127840 554049 | 2147483647 262600 76 | 0.000 % |
601.89/602.11 c | 291287 | 1205 127840 554049 | 2147483647 263049 76 | 0.000 % |
604.19/604.46 c | 291780 | 1205 127840 554049 | 2147483647 263542 76 | 0.000 % |
606.80/607.02 c | 292322 | 1205 127840 554049 | 2147483647 264084 76 | 0.000 % |
608.99/609.25 c | 292922 | 1205 127840 554049 | 2147483647 264684 76 | 0.000 % |
611.49/611.79 c | 293578 | 1205 127840 554049 | 2147483647 265340 76 | 0.000 % |
614.99/615.29 c | 294298 | 1205 127840 554049 | 2147483647 266060 76 | 0.000 % |
619.49/619.74 c | 295090 | 1205 127840 554049 | 2147483647 266852 76 | 0.000 % |
624.18/624.44 c | 295963 | 1205 127840 554049 | 2147483647 267725 76 | 0.000 % |
627.98/628.26 c | 296921 | 1205 127840 554049 | 2147483647 268683 76 | 0.000 % |
634.78/635.03 c | 297974 | 1205 127840 554049 | 2147483647 269736 76 | 0.000 % |
639.68/639.99 c | 299135 | 1205 127840 554049 | 2147483647 270897 76 | 0.000 % |
643.57/643.87 c | 300408 | 1205 127840 554049 | 2147483647 272170 76 | 0.000 % |
646.28/646.52 c | 301808 | 1205 127840 554049 | 2147483647 273570 76 | 0.000 % |
650.47/650.76 c | 303350 | 1205 127840 554049 | 2147483647 275112 76 | 0.000 % |
655.97/656.27 c | 305045 | 1205 127840 554049 | 2147483647 276807 76 | 0.000 % |
660.37/660.61 c | 306910 | 1205 127840 554049 | 2147483647 278672 76 | 0.000 % |
669.37/669.68 c | 308959 | 1205 127840 554049 | 2147483647 280721 76 | 0.000 % |
678.57/678.81 c | 311212 | 1205 127840 554049 | 2147483647 282974 76 | 0.000 % |
683.47/683.76 c | 313690 | 1205 127840 554049 | 2147483647 285452 76 | 0.000 % |
687.97/688.28 c | 316415 | 1205 127840 554049 | 2147483647 288177 76 | 0.000 % |
698.36/698.68 c | 319413 | 1205 127840 554049 | 2147483647 291175 76 | 0.000 % |
698.86/699.16 c | 319513 | 1205 127840 554049 | 2147483647 291275 76 | 0.000 % |
699.27/699.57 c | 319625 | 1205 127840 554049 | 2147483647 291387 76 | 0.000 % |
699.76/700.04 c | 319748 | 1205 127840 554049 | 2147483647 291510 76 | 0.000 % |
700.76/701.02 c | 319882 | 1205 127840 554049 | 2147483647 291644 76 | 0.000 % |
701.46/701.74 c | 320028 | 1205 127840 554049 | 291765 291790 76 | 0.000 % |
702.86/703.14 c | 320188 | 1205 127840 554049 | 291765 260452 78 | 0.000 % |
703.96/704.20 c | 320364 | 1205 127840 554049 | 291765 260628 78 | 0.000 % |
704.66/704.97 c | 320559 | 1205 127840 554049 | 291765 260823 78 | 0.000 % |
705.46/705.71 c | 320771 | 1205 127840 554049 | 291765 261035 78 | 0.000 % |
706.96/707.24 c | 321005 | 1205 127840 554049 | 291765 261269 78 | 0.000 % |
707.96/708.29 c | 321261 | 1205 127840 554049 | 291765 261525 78 | 0.000 % |
709.56/709.81 c | 321542 | 1205 127840 554049 | 291765 261806 78 | 0.000 % |
710.46/710.70 c | 321853 | 1205 127840 554049 | 291765 262117 78 | 0.000 % |
711.96/712.29 c | 322192 | 1205 127840 554049 | 291765 262456 78 | 0.000 % |
713.76/714.01 c | 322567 | 1205 127840 554049 | 291765 262831 78 | 0.000 % |
715.76/716.01 c | 322976 | 1205 127840 554049 | 291765 263240 78 | 0.000 % |
717.96/718.23 c | 323425 | 1205 127840 554049 | 291765 263689 78 | 0.000 % |
720.16/720.43 c | 323918 | 1205 127840 554049 | 291765 264182 78 | 0.000 % |
722.15/722.47 c | 324460 | 1205 127840 554049 | 291765 264724 78 | 0.000 % |
723.56/723.84 c | 325056 | 1205 127840 554049 | 291765 265320 78 | 0.000 % |
727.05/727.31 c | 325711 | 1205 127840 554049 | 291765 265975 78 | 0.000 % |
730.55/730.87 c | 326431 | 1205 127840 554049 | 291765 266695 78 | 0.000 % |
734.35/734.64 c | 327223 | 1205 127840 554049 | 291765 267487 78 | 0.000 % |
737.35/737.68 c | 328096 | 1205 127840 554049 | 291765 268360 78 | 0.000 % |
741.05/741.39 c | 329054 | 1205 127840 554049 | 291765 269318 78 | 0.000 % |
746.34/746.65 c | 330111 | 1205 127840 554049 | 270265 270375 78 | 0.000 % |
753.64/753.92 c | 331269 | 1205 127840 554049 | 270265 239267 78 | 0.000 % |
758.84/759.15 c | 332545 | 1205 127840 554049 | 270265 240543 78 | 0.000 % |
764.94/765.30 c | 333946 | 1205 127840 554049 | 270265 241944 78 | 0.000 % |
769.64/769.93 c | 335486 | 1205 127840 554049 | 270265 243484 78 | 0.000 % |
774.84/775.12 c | 337182 | 1205 127840 554049 | 270265 245180 78 | 0.000 % |
779.83/780.11 c | 339045 | 1205 127840 554049 | 270265 247043 78 | 0.000 % |
789.54/789.82 c | 341096 | 1205 127840 554049 | 2147483647 249094 78 | 0.000 % |
800.93/801.27 c | 343349 | 1205 127840 554049 | 2147483647 251347 78 | 0.000 % |
813.22/813.55 c | 345827 | 1205 127840 554049 | 2147483647 253825 79 | 0.000 % |
824.32/824.68 c | 348553 | 1205 127840 554049 | 2147483647 256551 79 | 0.000 % |
837.82/838.20 c | 351550 | 1205 127840 554049 | 257998 212671 80 | 0.000 % |
853.01/853.33 c | 354848 | 1205 127840 554049 | 257998 215969 80 | 0.000 % |
853.41/853.77 c | 354948 | 1205 127840 554049 | 257998 216069 80 | 0.000 % |
854.21/854.53 c | 355060 | 1205 127840 554049 | 257998 216181 80 | 0.000 % |
854.71/855.09 c | 355183 | 1205 127840 554049 | 257998 216304 80 | 0.000 % |
855.21/855.59 c | 355319 | 1205 127840 554049 | 257998 216440 80 | 0.000 % |
855.71/856.06 c | 355465 | 1205 127840 554049 | 257998 216586 80 | 0.000 % |
856.41/856.76 c | 355626 | 1205 127840 554049 | 257998 216747 80 | 0.000 % |
857.01/857.39 c | 355804 | 1205 127840 554049 | 257998 216925 80 | 0.000 % |
857.72/858.09 c | 355998 | 1205 127840 554049 | 257998 217119 80 | 0.000 % |
858.51/858.83 c | 356214 | 1205 127840 554049 | 257998 217335 80 | 0.000 % |
859.31/859.68 c | 356447 | 1205 127840 554049 | 257998 217568 80 | 0.000 % |
860.31/860.61 c | 356703 | 1205 127840 554049 | 257998 217824 80 | 0.000 % |
861.31/861.63 c | 356984 | 1205 127840 554049 | 257998 218105 80 | 0.000 % |
862.41/862.74 c | 357293 | 1205 127840 554049 | 257998 218414 80 | 0.000 % |
863.61/863.90 c | 357634 | 1205 127840 554049 | 257998 218755 80 | 0.001 % |
864.81/865.14 c | 358007 | 1205 127840 554049 | 257998 219128 80 | 0.000 % |
866.01/866.36 c | 358417 | 1205 127840 554049 | 257998 219538 80 | 0.000 % |
867.41/867.76 c | 358867 | 1205 127840 554049 | 257998 219988 80 | 0.000 % |
870.51/870.87 c | 359360 | 1205 127840 554049 | 257998 220481 80 | 0.000 % |
873.01/873.31 c | 359907 | 1205 127840 554049 | 257998 221028 80 | 0.000 % |
875.01/875.32 c | 360503 | 1205 127840 554049 | 2147483647 221624 79 | 0.000 % |
877.60/877.99 c | 361158 | 1205 127840 554049 | 2147483647 222279 80 | 0.000 % |
881.60/881.91 c | 361879 | 1205 127840 554049 | 2147483647 223000 80 | 0.000 % |
883.80/884.15 c | 362673 | 1205 127840 554049 | 2147483647 223794 80 | 0.000 % |
885.50/885.88 c | 363544 | 1205 127840 554049 | 2147483647 224665 80 | 0.000 % |
888.90/889.23 c | 364502 | 1205 127840 554049 | 2147483647 225623 80 | 0.000 % |
893.80/894.16 c | 365557 | 1205 127840 554049 | 2147483647 226678 80 | 0.000 % |
897.20/897.55 c | 366717 | 1205 127840 554049 | 2147483647 227838 80 | 0.000 % |
900.50/900.87 c | 367992 | 1205 127840 554049 | 2147483647 229113 80 | 0.000 % |
904.60/904.99 c | 369393 | 1205 127840 554049 | 2147483647 230514 80 | 0.000 % |
910.60/910.99 c | 370934 | 1205 127840 554049 | 231122 199708 79 | 0.000 % |
916.49/916.88 c | 372629 | 1205 127840 554049 | 231122 201403 79 | 0.000 % |
922.39/922.75 c | 374492 | 1205 127840 554049 | 231122 203266 79 | 0.000 % |
926.89/927.21 c | 376541 | 1205 127840 554049 | 231122 205315 79 | 0.000 % |
931.89/932.28 c | 378796 | 1205 127840 554049 | 231122 207570 80 | 0.000 % |
935.89/936.22 c | 381274 | 1205 127840 554049 | 2147483647 210048 80 | 0.000 % |
939.78/940.15 c | 384002 | 1205 127840 554049 | 2147483647 212776 80 | 0.000 % |
948.58/948.95 c | 387000 | 1205 127840 554049 | 2147483647 215774 80 | 0.000 % |
955.58/955.99 c | 390296 | 1205 127840 554049 | 2147483647 219070 80 | 0.000 % |
964.59/964.95 c | 393921 | 1205 127840 554049 | 2147483647 222695 80 | 0.000 % |
964.89/965.29 c | 394024 | 1205 127840 554049 | 2147483647 222798 80 | 0.000 % |
965.29/965.69 c | 394135 | 1205 127840 554049 | 2147483647 222909 80 | 0.000 % |
965.89/966.22 c | 394256 | 1205 127840 554049 | 2147483647 223030 80 | 0.000 % |
966.29/966.60 c | 394390 | 1205 127840 554049 | 2147483647 223164 80 | 0.000 % |
966.69/967.07 c | 394536 | 1205 127840 554049 | 2147483647 223310 80 | 0.000 % |
967.59/967.92 c | 394696 | 1205 127840 554049 | 2147483647 223470 80 | 0.000 % |
967.99/968.31 c | 394872 | 1205 127840 554049 | 2147483647 223646 80 | 0.000 % |
968.79/969.14 c | 395066 | 1205 127840 554049 | 2147483647 223840 80 | 0.000 % |
969.79/970.15 c | 395278 | 1205 127840 554049 | 2147483647 224052 80 | 0.000 % |
970.99/971.39 c | 395511 | 1205 127840 554049 | 2147483647 224285 80 | 0.000 % |
972.48/972.89 c | 395768 | 1205 127840 554049 | 2147483647 224542 80 | 0.000 % |
973.78/974.11 c | 396051 | 1205 127840 554049 | 2147483647 224825 80 | 0.000 % |
975.29/975.62 c | 396361 | 1205 127840 554049 | 2147483647 225135 80 | 0.000 % |
976.58/976.98 c | 396702 | 1205 127840 554049 | 2147483647 225476 80 | 0.000 % |
977.78/978.18 c | 397074 | 1205 127840 554049 | 2147483647 225848 80 | 0.000 % |
979.18/979.57 c | 397483 | 1205 127840 554049 | 2147483647 226257 80 | 0.000 % |
981.38/981.75 c | 397935 | 1205 127840 554049 | 2147483647 226709 80 | 0.000 % |
983.18/983.55 c | 398428 | 1205 127840 554049 | 2147483647 227202 80 | 0.000 % |
985.38/985.77 c | 398973 | 1205 127840 554049 | 2147483647 227747 80 | 0.000 % |
987.48/987.85 c | 399569 | 1205 127840 554049 | 2147483647 228343 80 | 0.000 % |
990.28/990.64 c | 400224 | 1205 127840 554049 | 2147483647 228998 80 | 0.000 % |
992.68/993.06 c | 400947 | 1205 127840 554049 | 2147483647 229721 80 | 0.000 % |
995.38/995.78 c | 401741 | 1205 127840 554049 | 2147483647 230515 80 | 0.000 % |
998.18/998.51 c | 402612 | 1205 127840 554049 | 2147483647 231386 79 | 0.000 % |
1001.17/1001.56 c | 403570 | 1205 127840 554049 | 2147483647 232344 79 | 0.000 % |
1005.47/1005.82 c | 404624 | 1205 127840 554049 | 2147483647 233398 79 | 0.000 % |
1010.17/1010.56 c | 405783 | 1205 127840 554049 | 2147483647 234557 79 | 0.000 % |
1012.87/1013.21 c | 407058 | 1205 127840 554049 | 2147483647 235832 79 | 0.000 % |
1018.37/1018.75 c | 408460 | 1205 127840 554049 | 2147483647 237234 79 | 0.000 % |
1023.87/1024.20 c | 410001 | 1205 127840 554049 | 2147483647 238775 79 | 0.000 % |
1029.77/1030.19 c | 411696 | 1205 127840 554049 | 2147483647 240470 79 | 0.000 % |
1036.36/1036.72 c | 413560 | 1205 127840 554049 | 2147483647 242334 79 | 0.000 % |
1041.66/1042.00 c | 415610 | 1205 127840 554049 | 2147483647 244384 80 | 0.000 % |
1049.06/1049.41 c | 417870 | 1205 127840 554049 | 2147483647 246644 80 | 0.000 % |
1058.66/1059.01 c | 420349 | 1205 127840 554049 | 248774 218295 80 | 0.000 % |
1065.95/1066.36 c | 423074 | 1205 127840 554049 | 248774 221020 80 | 0.000 % |
1076.55/1076.98 c | 426071 | 1205 127840 554049 | 248774 224017 80 | 0.000 % |
1083.25/1083.65 c | 429367 | 1205 127840 554049 | 248774 227313 81 | 0.000 % |
1093.84/1094.26 c | 432992 | 1205 127840 554049 | 227947 191967 81 | 0.000 % |
1106.84/1107.25 c | 436979 | 1205 127840 554049 | 227947 195954 81 | 0.000 % |
1107.14/1107.50 c | 437079 | 1205 127840 554049 | 227947 196054 81 | 0.000 % |
1107.64/1108.02 c | 437190 | 1205 127840 554049 | 227947 196165 81 | 0.000 % |
1107.84/1108.29 c | 437312 | 1205 127840 554049 | 227947 196287 81 | 0.000 % |
1108.24/1108.64 c | 437445 | 1205 127840 554049 | 227947 196420 81 | 0.000 % |
1108.64/1109.08 c | 437591 | 1205 127840 554049 | 227947 196566 81 | 0.000 % |
1109.24/1109.65 c | 437752 | 1205 127840 554049 | 227947 196727 81 | 0.000 % |
1109.64/1110.05 c | 437928 | 1205 127840 554049 | 227947 196903 81 | 0.000 % |
1110.54/1110.91 c | 438121 | 1205 127840 554049 | 227947 197096 81 | 0.000 % |
1111.24/1111.66 c | 438335 | 1205 127840 554049 | 227947 197310 81 | 0.000 % |
1112.04/1112.48 c | 438570 | 1205 127840 554049 | 227947 197545 81 | 0.000 % |
1113.04/1113.42 c | 438826 | 1205 127840 554049 | 227947 197801 81 | 0.000 % |
1113.74/1114.13 c | 439108 | 1205 127840 554049 | 227947 198083 81 | 0.000 % |
1114.64/1115.04 c | 439417 | 1205 127840 554049 | 227947 198392 81 | 0.000 % |
1115.84/1116.27 c | 439760 | 1205 127840 554049 | 227947 198735 81 | 0.000 % |
1116.94/1117.33 c | 440132 | 1205 127840 554049 | 2147483647 199107 81 | 0.000 % |
1117.84/1118.23 c | 440541 | 1205 127840 554049 | 2147483647 199516 81 | 0.000 % |
1119.44/1119.84 c | 440993 | 1205 127840 554049 | 2147483647 199968 81 | 0.000 % |
1121.43/1121.90 c | 441486 | 1205 127840 554049 | 2147483647 200461 81 | 0.000 % |
1123.53/1123.95 c | 442029 | 1205 127840 554049 | 2147483647 201004 81 | 0.000 % |
1125.03/1125.44 c | 442626 | 1205 127840 554049 | 2147483647 201601 81 | 0.000 % |
1127.73/1128.11 c | 443282 | 1205 127840 554049 | 2147483647 202257 81 | 0.000 % |
1129.63/1130.10 c | 444002 | 1205 127840 554049 | 2147483647 202977 81 | 0.000 % |
1132.33/1132.71 c | 444794 | 1205 127840 554049 | 2147483647 203769 81 | 0.000 % |
1134.23/1134.68 c | 445670 | 1205 127840 554049 | 2147483647 204645 81 | 0.000 % |
1136.63/1137.07 c | 446628 | 1205 127840 554049 | 2147483647 205603 81 | 0.000 % |
1139.53/1139.92 c | 447681 | 1205 127840 554049 | 2147483647 206656 82 | 0.000 % |
1142.03/1142.46 c | 448839 | 1205 127840 554049 | 2147483647 207814 82 | 0.000 % |
1145.33/1145.75 c | 450112 | 1205 127840 554049 | 2147483647 209087 82 | 0.000 % |
1150.72/1151.14 c | 451514 | 1205 127840 554049 | 2147483647 210489 82 | 0.000 % |
1156.22/1156.65 c | 453055 | 1205 127840 554049 | 2147483647 212030 82 | 0.000 % |
1160.82/1161.29 c | 454751 | 1205 127840 554049 | 2147483647 213726 82 | 0.000 % |
1165.62/1166.07 c | 456615 | 1205 127840 554049 | 2147483647 215590 82 | 0.000 % |
1169.92/1170.37 c | 458666 | 1205 127840 554049 | 2147483647 217641 81 | 0.000 % |
1175.72/1176.16 c | 460920 | 1205 127840 554049 | 2147483647 219895 81 | 0.000 % |
1181.91/1182.36 c | 463398 | 1205 127840 554049 | 2147483647 222373 81 | 0.000 % |
1188.31/1188.79 c | 466125 | 1205 127840 554049 | 2147483647 225100 81 | 0.000 % |
1196.91/1197.33 c | 469123 | 1205 127840 554049 | 2147483647 228098 81 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833941-1242826406/watcher-1833941-1242826406 -o /tmp/evaluation-result-1833941-1242826406/solver-1833941-1242826406 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833941-1242826406.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: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310668655 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269930430546 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11611/statm: 1339 235 195 169 0 50 0
[pid=11612] ppid=11611 vsize=5356 CPUtime=0
/proc/11612/stat : 11612 (SatELiteGTI) S 11611 11611 11433 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310668655 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11612/statm: 1339 238 198 169 0 50 0
[pid=11614] ppid=11612 vsize=0 CPUtime=0
/proc/11614/stat : 11614 (SatELiteGTI) R 11612 11611 11433 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310668655 0 0 1992294400 0 0 0 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 0 0 0
/proc/11614/statm: 0 0 0 0 0 0 0
[startup+0.0109219 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101931 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301954 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702 s]
/proc/loadavg: 0.91 0.97 0.99 3/64 11611
/proc/meminfo: memFree=1965576/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=0
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310668655 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11611/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5011 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 11616
/proc/meminfo: memFree=1951416/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 5356
[startup+3.10128 s]
/proc/loadavg: 0.91 0.97 0.99 2/66 11617
/proc/meminfo: memFree=1953336/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=10364 CPUtime=1.74
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 2479 0 0 0 172 2 0 0 25 0 1 0 310668790 10612736 2465 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 2591 2465 77 171 0 2418 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 15720
[startup+6.30165 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1949880/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=13144 CPUtime=4.94
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 3182 0 0 0 491 3 0 0 25 0 1 0 310668790 13459456 3168 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 3286 3168 77 171 0 3113 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 18500
[startup+12.7024 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1945720/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=17180 CPUtime=11.34
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 4165 0 0 0 1131 3 0 0 25 0 1 0 310668790 17592320 4151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 4295 4151 77 171 0 4122 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22536
[startup+25.5019 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1940152/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=22608 CPUtime=24.13
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 5485 0 0 0 2409 4 0 0 25 0 1 0 310668790 23150592 5471 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 5652 5471 77 171 0 5479 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 27964
[startup+51.1019 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1931832/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=31104 CPUtime=49.73
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 7572 0 0 0 4966 7 0 0 25 0 1 0 310668790 31850496 7558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 7776 7558 77 171 0 7603 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36460
[startup+102.306 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1920888/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=41868 CPUtime=100.92
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 10236 0 0 0 10082 10 0 0 25 0 1 0 310668790 42872832 10222 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 10467 10222 77 171 0 10294 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 47224
[startup+162.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1910392/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=52500 CPUtime=160.9
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 12858 0 0 0 16077 13 0 0 25 0 1 0 310668790 53760000 12844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 13125 12844 77 171 0 12952 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 57856
[startup+222.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1902200/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=60596 CPUtime=220.88
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 14855 0 0 0 22072 16 0 0 25 0 1 0 310668790 62050304 14841 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 15149 14841 77 171 0 14976 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 65952
[startup+282.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1894264/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=68532 CPUtime=280.87
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 16813 0 0 0 28069 18 0 0 25 0 1 0 310668790 70176768 16799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 17133 16799 77 171 0 16960 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 73888
[startup+342.302 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1885696/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=76964 CPUtime=340.85
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 18911 0 0 0 34064 21 0 0 25 0 1 0 310668790 78811136 18897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 19241 18897 77 171 0 19068 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 82320
[startup+402.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1878976/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=84140 CPUtime=400.82
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 20584 0 0 0 40060 22 0 0 25 0 1 0 310668790 86159360 20570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 21035 20570 77 171 0 20862 0
Current children cumulated CPU time (s) 402.15
################
# More data... #
################
/proc/11617/statm: 23155 22702 77 171 0 22982 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 97976
[startup+582.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1861120/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=101568 CPUtime=580.77
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 24971 0 0 0 58051 26 0 0 25 0 1 0 310668790 104005632 24957 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 25392 24957 77 171 0 25219 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 106924
[startup+642.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11617
/proc/meminfo: memFree=1855488/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=107264 CPUtime=640.75
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 26336 0 0 0 64048 27 0 0 25 0 1 0 310668790 109838336 26322 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 26816 26322 77 171 0 26643 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 112620
[startup+702.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1847488/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115060 CPUtime=700.73
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28283 0 0 0 70043 30 0 0 25 0 1 0 310668790 117821440 28269 1992294400 134512640 135215339 4294956240 18446744073709551615 134534556 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28765 28269 77 171 0 28592 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 120416
[startup+762.305 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846976/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=760.71
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28402 0 0 0 76041 30 0 0 25 0 1 0 310668790 118423552 28388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28388 77 171 0 28739 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 121004
[startup+822.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846912/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=820.69
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28409 0 0 0 82039 30 0 0 25 0 1 0 310668790 118423552 28395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28395 77 171 0 28739 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 121004
[startup+882.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846848/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=880.67
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28421 0 0 0 88037 30 0 0 25 0 1 0 310668790 118423552 28407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28407 77 171 0 28739 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 121004
[startup+942.301 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846720/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=940.65
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28428 0 0 0 94035 30 0 0 25 0 1 0 310668790 118423552 28414 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28414 77 171 0 28739 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 121004
[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846592/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1000.64
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28431 0 0 0 100033 31 0 0 25 0 1 0 310668790 118423552 28417 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28417 77 171 0 28739 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 121004
[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846464/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1060.62
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28433 0 0 0 106031 31 0 0 25 0 1 0 310668790 118423552 28419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28419 77 171 0 28739 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 121004
[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846464/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1120.6
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28438 0 0 0 112029 31 0 0 25 0 1 0 310668790 118423552 28424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28424 77 171 0 28739 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 121004
[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846336/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1180.58
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28438 0 0 0 118027 31 0 0 25 0 1 0 310668790 118423552 28424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28424 77 171 0 28739 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 121004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 0.98 1.00 2/66 11619
/proc/meminfo: memFree=1846272/2055920 swapFree=4180828/4192956
[pid=11611] ppid=11609 vsize=5356 CPUtime=1.33
/proc/11611/stat : 11611 (SatELiteGTI) S 11609 11611 11433 0 -1 4194304 336 3637 0 0 0 0 130 3 16 0 1 0 310668655 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11611/statm: 1339 239 197 169 0 50 0
[pid=11617] ppid=11611 vsize=115648 CPUtime=1198.68
/proc/11617/stat : 11617 (minisat_static) R 11611 11611 11433 0 -1 4194304 28438 0 0 0 119837 31 0 0 25 0 1 0 310668790 118423552 28424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/11617/statm: 28912 28424 77 171 0 28739 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 121004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11611 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=308801
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=33994
# CPU time returned by wait4() is 1.3428
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1199.67
CPU system time (s): 0.34
CPU usage (%): 99.9664
Max. virtual memory (cumulated for all children) (KiB): 121004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.3088
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3973
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.35679 second user time and 3.09053 second system time
The end
Begin job on node53 at 2009-05-20 15:33:26
IDJOB=1833941
IDBENCH=71084
IDSOLVER=671
FILE ID=node53/1833941-1242826406
PBS_JOBID= 9322507
Free space on /tmp= 66044 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_12_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833941-1242826406/watcher-1833941-1242826406 -o /tmp/evaluation-result-1833941-1242826406/solver-1833941-1242826406 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833941-1242826406.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fbf37caab2e9eafe910c795f49053484
RANDOM SEED=25760362
node53.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.245
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.245
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: 1966056 kB
Buffers: 15228 kB
Cached: 34484 kB
SwapCached: 6252 kB
Active: 30640 kB
Inactive: 27328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1966056 kB
SwapTotal: 4192956 kB
SwapFree: 4180828 kB
Dirty: 3616 kB
Writeback: 0 kB
Mapped: 13420 kB
Slab: 17964 kB
Committed_AS: 936476 kB
PageTables: 1380 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= 66040 MiB
End job on node53 at 2009-05-20 15:53:29