0.00/0.00 c Parsing...
0.04/0.05 c ==============================================================================
0.04/0.05 c | | ORIGINAL | LEARNT | |
0.04/0.05 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.04/0.05 c ==============================================================================
0.04/0.05 c | 0 | 74789 222346 | 22436 0 0 nan | 0.000 % |
0.73/0.75 c | 0 | 73888 319243 | -- 0 -- -- | -- | -901/96897
0.73/0.75 c ==============================================================================
0.73/0.75 c Result : #vars: 763 #clauses: 73888 #literals: 319243
0.73/0.75 c CPU time: 0.72 s
0.73/0.75 c ==============================================================================
0.83/0.84 c This is MiniSat 2.0 beta
0.83/0.84 c WARNING: for repeatability, setting FPU to use double precision
0.83/0.84 c ============================[ Problem Statistics ]=============================
0.83/0.84 c | |
0.83/0.85 c | Number of variables: 763 |
0.83/0.85 c | Number of clauses: 73888 |
0.83/0.89 c | Parsing time: 0.03 s |
0.83/0.89 c ============================[ Search Statistics ]==============================
0.83/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.83/0.89 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.83/0.89 c ===============================================================================
0.83/0.89 c | 0 | 763 73888 319243 | 24629 0 nan | 0.000 % |
0.85/0.95 c | 100 | 763 73888 319243 | 24629 100 46 | 0.000 % |
0.85/1.00 c | 202 | 763 73888 319243 | 24629 202 41 | 0.000 % |
1.03/1.07 c | 304 | 763 73888 319243 | 24629 304 37 | 0.000 % |
1.13/1.12 c | 415 | 763 73888 319243 | 24629 415 34 | 0.000 % |
1.13/1.17 c | 515 | 763 73888 319243 | 24629 515 32 | 0.000 % |
1.23/1.25 c | 629 | 763 73888 319243 | 24629 629 32 | 0.000 % |
1.23/1.32 c | 750 | 763 73888 319243 | 24629 750 31 | 0.000 % |
1.33/1.37 c | 851 | 763 73888 319243 | 24629 851 30 | 0.000 % |
1.43/1.43 c | 963 | 763 73888 319243 | 24629 963 30 | 0.000 % |
1.43/1.49 c | 1085 | 763 73888 319243 | 24629 1085 29 | 0.000 % |
1.53/1.55 c | 1218 | 763 73888 319243 | 24629 1218 31 | 0.000 % |
1.53/1.60 c | 1318 | 763 73888 319243 | 24629 1318 30 | 0.000 % |
1.63/1.66 c | 1428 | 763 73888 319243 | 24629 1428 30 | 0.000 % |
1.73/1.72 c | 1549 | 763 73888 319243 | 24629 1549 29 | 0.000 % |
1.73/1.80 c | 1683 | 763 73888 319243 | 24629 1683 30 | 0.000 % |
1.83/1.86 c | 1830 | 763 73888 319243 | 24629 1830 31 | 0.000 % |
1.83/1.89 c | 1930 | 763 73888 319243 | 24629 1930 32 | 0.000 % |
1.93/1.92 c | 2040 | 763 73888 319243 | 24629 2040 32 | 0.000 % |
1.93/1.99 c | 2161 | 763 73888 319243 | 24629 2161 33 | 0.000 % |
2.03/2.06 c | 2299 | 763 73888 319243 | 24629 2299 33 | 0.000 % |
2.13/2.14 c | 2445 | 763 73888 319243 | 24629 2445 32 | 0.000 % |
2.13/2.21 c | 2609 | 763 73888 319243 | 24629 2609 32 | 0.000 % |
2.23/2.27 c | 2709 | 763 73888 319243 | 24629 2709 32 | 0.000 % |
2.33/2.33 c | 2821 | 763 73888 319243 | 24629 2821 32 | 0.000 % |
2.33/2.39 c | 2942 | 763 73888 319243 | 24629 2942 32 | 0.000 % |
2.43/2.47 c | 3079 | 763 73888 319243 | 24629 3079 32 | 0.000 % |
2.53/2.55 c | 3225 | 763 73888 319243 | 24629 3225 32 | 0.000 % |
2.63/2.63 c | 3385 | 763 73888 319243 | 24629 3385 32 | 0.000 % |
2.73/2.73 c | 3562 | 763 73888 319243 | 24629 3562 32 | 0.000 % |
2.73/2.78 c | 3663 | 763 73888 319243 | 24629 3663 32 | 0.000 % |
2.83/2.85 c | 3773 | 763 73888 319243 | 24629 3773 32 | 0.000 % |
2.83/2.90 c | 3894 | 763 73888 319243 | 24629 3894 32 | 0.000 % |
2.93/2.96 c | 4027 | 763 73888 319243 | 24629 4027 32 | 0.000 % |
3.03/3.04 c | 4177 | 763 73888 319243 | 24629 4177 32 | 0.000 % |
3.13/3.13 c | 4338 | 763 73888 319243 | 24629 4338 32 | 0.000 % |
3.23/3.23 c | 4517 | 763 73888 319243 | 24629 4517 32 | 0.000 % |
3.33/3.33 c | 4710 | 763 73888 319243 | 24629 4710 32 | 0.000 % |
3.33/3.39 c | 4811 | 763 73888 319243 | 24629 4811 32 | 0.000 % |
3.43/3.45 c | 4922 | 763 73888 319243 | 24629 4922 32 | 0.000 % |
3.43/3.51 c | 5043 | 763 73888 319243 | 24629 5043 32 | 0.000 % |
3.53/3.59 c | 5177 | 763 73888 319243 | 24629 5177 32 | 0.000 % |
3.63/3.65 c | 5323 | 763 73888 319243 | 24629 5323 33 | 0.000 % |
3.73/3.72 c | 5484 | 763 73888 319243 | 24629 5484 33 | 0.000 % |
3.73/3.81 c | 5662 | 763 73888 319243 | 24629 5662 33 | 0.000 % |
3.83/3.92 c | 5855 | 763 73888 319243 | 24629 5855 33 | 0.000 % |
4.03/4.04 c | 6070 | 763 73888 319243 | 24629 6070 32 | 0.000 % |
4.03/4.09 c | 6170 | 763 73888 319243 | 24629 6170 33 | 0.000 % |
4.12/4.15 c | 6282 | 763 73888 319243 | 24629 6282 33 | 0.000 % |
4.12/4.20 c | 6404 | 763 73888 319243 | 24629 6404 33 | 0.000 % |
4.22/4.25 c | 6538 | 763 73888 319243 | 24629 6538 33 | 0.000 % |
4.22/4.31 c | 6685 | 763 73888 319243 | 24629 6685 33 | 0.000 % |
4.32/4.39 c | 6846 | 763 73888 319243 | 24629 6846 33 | 0.000 % |
4.42/4.50 c | 7022 | 763 73888 319243 | 24629 7022 33 | 0.000 % |
4.52/4.59 c | 7217 | 763 73888 319243 | 24629 7217 34 | 0.000 % |
4.62/4.67 c | 7429 | 763 73888 319243 | 24629 7429 34 | 0.000 % |
4.72/4.76 c | 7662 | 763 73888 319243 | 24629 7662 34 | 0.000 % |
4.72/4.80 c | 7763 | 763 73888 319243 | 24629 7763 34 | 0.000 % |
4.82/4.84 c | 7873 | 763 73888 319243 | 24629 7873 34 | 0.000 % |
4.82/4.88 c | 7995 | 763 73888 319243 | 24629 7995 34 | 0.000 % |
4.82/4.92 c | 8128 | 763 73888 319243 | 24629 8128 34 | 0.000 % |
4.92/5.00 c | 8274 | 763 73888 319243 | 24629 8274 34 | 0.000 % |
5.02/5.07 c | 8435 | 763 73888 319243 | 24629 8435 34 | 0.000 % |
5.12/5.13 c | 8611 | 763 73888 319243 | 24629 8611 35 | 0.000 % |
5.22/5.25 c | 8804 | 763 73888 319243 | 24629 8804 35 | 0.000 % |
5.32/5.39 c | 9017 | 763 73888 319243 | 24629 9017 34 | 0.000 % |
5.42/5.49 c | 9250 | 763 73888 319243 | 24629 9250 35 | 0.000 % |
5.52/5.59 c | 9506 | 763 73888 319243 | 24629 9506 35 | 0.000 % |
5.62/5.64 c | 9610 | 763 73888 319243 | 24629 9610 35 | 0.000 % |
5.72/5.72 c | 9721 | 763 73888 319243 | 24629 9721 35 | 0.000 % |
5.72/5.80 c | 9843 | 763 73888 319243 | 24629 9843 35 | 0.000 % |
5.82/5.89 c | 9976 | 763 73888 319243 | 24629 9976 35 | 0.000 % |
5.92/6.00 c | 10124 | 763 73888 319243 | 2147483647 10124 35 | 0.000 % |
6.12/6.12 c | 10285 | 763 73888 319243 | 2147483647 10285 35 | 0.000 % |
6.22/6.25 c | 10464 | 763 73888 319243 | 2147483647 10464 35 | 0.000 % |
6.32/6.38 c | 10661 | 763 73888 319243 | 2147483647 10661 34 | 0.000 % |
6.42/6.52 c | 10873 | 763 73888 319243 | 2147483647 10873 34 | 0.000 % |
6.62/6.66 c | 11106 | 763 73888 319243 | 2147483647 11106 34 | 0.000 % |
6.82/6.84 c | 11364 | 763 73888 319243 | 2147483647 11364 34 | 0.000 % |
7.02/7.02 c | 11646 | 763 73888 319243 | 2147483647 11646 33 | 0.000 % |
7.02/7.10 c | 11750 | 763 73888 319243 | 2147483647 11750 33 | 0.000 % |
7.12/7.17 c | 11860 | 763 73888 319243 | 2147483647 11860 33 | 0.000 % |
7.22/7.26 c | 11981 | 763 73888 319243 | 2147483647 11981 33 | 0.000 % |
7.32/7.36 c | 12114 | 763 73888 319243 | 2147483647 12114 33 | 0.000 % |
7.42/7.45 c | 12261 | 763 73888 319243 | 2147483647 12261 33 | 0.000 % |
7.52/7.57 c | 12424 | 763 73888 319243 | 2147483647 12424 33 | 0.000 % |
7.62/7.71 c | 12601 | 763 73888 319243 | 2147483647 12601 33 | 0.000 % |
7.82/7.85 c | 12795 | 763 73888 319243 | 2147483647 12795 33 | 0.000 % |
7.92/8.01 c | 13009 | 763 73888 319243 | 2147483647 13009 33 | 0.000 % |
8.12/8.18 c | 13244 | 763 73888 319243 | 2147483647 13244 33 | 0.000 % |
8.32/8.35 c | 13500 | 763 73888 319243 | 2147483647 13500 33 | 0.000 % |
8.42/8.51 c | 13781 | 763 73888 319243 | 2147483647 13781 33 | 0.000 % |
8.62/8.65 c | 14090 | 763 73888 319243 | 2147483647 14090 33 | 0.000 % |
8.72/8.72 c | 14190 | 763 73888 319243 | 2147483647 14190 33 | 0.000 % |
8.82/8.82 c | 14302 | 763 73888 319243 | 2147483647 14302 33 | 0.000 % |
8.82/8.89 c | 14425 | 763 73888 319243 | 2147483647 14425 33 | 0.000 % |
8.92/8.95 c | 14558 | 763 73888 319243 | 2147483647 14558 34 | 0.000 % |
9.02/9.07 c | 14705 | 763 73888 319243 | 2147483647 14705 34 | 0.000 % |
9.12/9.17 c | 14866 | 763 73888 319243 | 2147483647 14866 34 | 0.000 % |
9.22/9.31 c | 15045 | 763 73888 319243 | 2147483647 15045 34 | 0.000 % |
9.42/9.46 c | 15240 | 763 73888 319243 | 2147483647 15240 34 | 0.000 % |
9.62/9.62 c | 15452 | 763 73888 319243 | 2147483647 15452 34 | 0.000 % |
9.72/9.80 c | 15685 | 763 73888 319243 | 2147483647 15685 34 | 0.000 % |
9.92/9.97 c | 15944 | 763 73888 319243 | 2147483647 15944 34 | 0.000 % |
10.12/10.15 c | 16225 | 763 73888 319243 | 2147483647 16225 34 | 0.000 % |
10.32/10.34 c | 16536 | 763 73888 319243 | 2147483647 16536 34 | 0.000 % |
10.62/10.62 c | 16876 | 763 73888 319243 | 2147483647 16876 34 | 0.000 % |
10.62/10.71 c | 16981 | 763 73888 319243 | 2147483647 16981 34 | 0.000 % |
10.72/10.80 c | 17094 | 763 73888 319243 | 2147483647 17094 34 | 0.000 % |
10.82/10.86 c | 17217 | 763 73888 319243 | 2147483647 17217 34 | 0.000 % |
10.92/10.95 c | 17350 | 763 73888 319243 | 2147483647 17350 34 | 0.000 % |
11.02/11.02 c | 17498 | 763 73888 319243 | 2147483647 17498 34 | 0.000 % |
11.02/11.11 c | 17658 | 763 73888 319243 | 2147483647 17658 34 | 0.000 % |
11.22/11.23 c | 17834 | 763 73888 319243 | 2147483647 17834 34 | 0.000 % |
11.32/11.38 c | 18028 | 763 73888 319243 | 2147483647 18028 34 | 0.000 % |
11.52/11.55 c | 18240 | 763 73888 319243 | 2147483647 18240 34 | 0.000 % |
11.72/11.77 c | 18473 | 763 73888 319243 | 2147483647 18473 34 | 0.000 % |
11.82/11.91 c | 18729 | 763 73888 319243 | 2147483647 18729 35 | 0.000 % |
12.02/12.08 c | 19010 | 763 73888 319243 | 2147483647 19010 35 | 0.000 % |
12.32/12.35 c | 19319 | 763 73888 319243 | 2147483647 19319 35 | 0.000 % |
12.52/12.58 c | 19658 | 763 73888 319243 | 2147483647 19658 35 | 0.000 % |
12.82/12.88 c | 20034 | 763 73888 319243 | 2147483647 20034 35 | 0.000 % |
12.92/12.97 c | 20135 | 763 73888 319243 | 2147483647 20135 35 | 0.000 % |
13.02/13.07 c | 20248 | 763 73888 319243 | 2147483647 20248 35 | 0.000 % |
13.12/13.15 c | 20371 | 763 73888 319243 | 2147483647 20371 35 | 0.000 % |
13.22/13.28 c | 20504 | 763 73888 319243 | 2147483647 20504 35 | 0.000 % |
13.32/13.37 c | 20652 | 763 73888 319243 | 2147483647 20652 35 | 0.000 % |
13.42/13.49 c | 20813 | 763 73888 319243 | 2147483647 20813 35 | 0.000 % |
13.62/13.63 c | 20990 | 763 73888 319243 | 2147483647 20990 35 | 0.000 % |
13.72/13.76 c | 21186 | 763 73888 319243 | 2147483647 21186 35 | 0.000 % |
13.92/13.94 c | 21398 | 763 73888 319243 | 2147483647 21398 35 | 0.000 % |
14.12/14.13 c | 21632 | 763 73888 319243 | 2147483647 21632 36 | 0.000 % |
14.22/14.28 c | 21888 | 763 73888 319243 | 2147483647 21888 36 | 0.000 % |
14.52/14.54 c | 22170 | 763 73888 319243 | 2147483647 22170 36 | 0.000 % |
14.82/14.82 c | 22481 | 763 73888 319243 | 2147483647 22481 36 | 0.000 % |
15.12/15.13 c | 22820 | 763 73888 319243 | 2147483647 22820 36 | 0.000 % |
15.42/15.48 c | 23192 | 763 73888 319243 | 2147483647 23192 35 | 0.000 % |
15.82/15.83 c | 23603 | 763 73888 319243 | 2147483647 23603 35 | 0.000 % |
15.82/15.91 c | 23705 | 763 73888 319243 | 2147483647 23705 35 | 0.000 % |
15.92/16.01 c | 23815 | 763 73888 319243 | 2147483647 23815 35 | 0.000 % |
16.02/16.08 c | 23936 | 763 73888 319243 | 2147483647 23936 35 | 0.000 % |
16.12/16.20 c | 24069 | 763 73888 319243 | 2147483647 24069 35 | 0.000 % |
16.32/16.33 c | 24216 | 763 73888 319243 | 2147483647 24216 35 | 0.000 % |
16.42/16.49 c | 24377 | 763 73888 319243 | 2147483647 24377 35 | 0.000 % |
16.52/16.59 c | 24553 | 763 73888 319243 | 2147483647 24553 35 | 0.000 % |
16.72/16.75 c | 24747 | 763 73888 319243 | 2147483647 24747 35 | 0.000 % |
16.92/16.95 c | 24959 | 763 73888 319243 | 2147483647 24959 35 | 0.000 % |
17.12/17.14 c | 25192 | 763 73888 319243 | 2147483647 25192 35 | 0.000 % |
17.32/17.35 c | 25448 | 763 73888 319243 | 2147483647 25448 36 | 0.000 % |
17.52/17.56 c | 25731 | 763 73888 319243 | 2147483647 25731 36 | 0.000 % |
17.72/17.75 c | 26040 | 763 73888 319243 | 2147483647 26040 36 | 0.000 % |
17.92/17.99 c | 26379 | 763 73888 319243 | 2147483647 26379 36 | 0.000 % |
18.22/18.22 c | 26751 | 763 73888 319243 | 2147483647 26751 36 | 0.000 % |
18.42/18.46 c | 27160 | 763 73888 319243 | 2147483647 27160 36 | 0.000 % |
18.62/18.71 c | 27609 | 763 73888 319243 | 2147483647 27609 36 | 0.000 % |
18.72/18.75 c | 27709 | 763 73888 319243 | 2147483647 27709 36 | 0.000 % |
18.82/18.82 c | 27819 | 763 73888 319243 | 2147483647 27819 36 | 0.000 % |
18.92/18.92 c | 27940 | 763 73888 319243 | 2147483647 27940 36 | 0.000 % |
19.02/19.06 c | 28073 | 763 73888 319243 | 2147483647 28073 36 | 0.000 % |
19.22/19.22 c | 28220 | 763 73888 319243 | 2147483647 28220 36 | 0.000 % |
19.32/19.37 c | 28381 | 763 73888 319243 | 2147483647 28381 36 | 0.000 % |
19.52/19.55 c | 28559 | 763 73888 319243 | 2147483647 28559 36 | 0.000 % |
19.72/19.72 c | 28752 | 763 73888 319243 | 2147483647 28752 36 | 0.000 % |
19.82/19.91 c | 28964 | 763 73888 319243 | 2147483647 28964 36 | 0.000 % |
20.02/20.08 c | 29197 | 763 73888 319243 | 2147483647 29197 36 | 0.000 % |
20.22/20.24 c | 29453 | 763 73888 319243 | 2147483647 29453 36 | 0.000 % |
20.42/20.43 c | 29734 | 763 73888 319243 | 2147483647 29734 36 | 0.000 % |
20.62/20.68 c | 30044 | 763 73888 319243 | 2147483647 30044 36 | 0.000 % |
20.92/20.99 c | 30384 | 763 73888 319243 | 2147483647 30384 36 | 0.000 % |
21.22/21.29 c | 30756 | 763 73888 319243 | 2147483647 30756 36 | 0.000 % |
21.52/21.59 c | 31166 | 763 73888 319243 | 2147483647 31166 36 | 0.000 % |
21.92/22.01 c | 31620 | 763 73888 319243 | 2147483647 31620 36 | 0.000 % |
22.42/22.45 c | 32113 | 763 73888 319243 | 2147483647 32113 36 | 0.000 % |
22.52/22.55 c | 32215 | 763 73888 319243 | 2147483647 32215 36 | 0.000 % |
22.62/22.67 c | 32326 | 763 73888 319243 | 2147483647 32326 36 | 0.000 % |
22.72/22.76 c | 32448 | 763 73888 319243 | 2147483647 32448 36 | 0.000 % |
22.92/22.93 c | 32581 | 763 73888 319243 | 2147483647 32581 36 | 0.000 % |
23.02/23.11 c | 32727 | 763 73888 319243 | 2147483647 32727 36 | 0.000 % |
23.22/23.30 c | 32887 | 763 73888 319243 | 2147483647 32887 36 | 0.000 % |
23.42/23.48 c | 33066 | 763 73888 319243 | 2147483647 33066 36 | 0.000 % |
23.72/23.75 c | 33259 | 763 73888 319243 | 2147483647 33259 36 | 0.000 % |
23.92/23.99 c | 33472 | 763 73888 319243 | 2147483647 33472 36 | 0.000 % |
24.12/24.17 c | 33705 | 763 73888 319243 | 2147483647 33705 36 | 0.000 % |
24.32/24.39 c | 33963 | 763 73888 319243 | 2147483647 33963 36 | 0.000 % |
24.62/24.67 c | 34244 | 763 73888 319243 | 2147483647 34244 36 | 0.000 % |
24.92/24.97 c | 34554 | 763 73888 319243 | 2147483647 34554 36 | 0.000 % |
25.32/25.41 c | 34894 | 763 73888 319243 | 2147483647 34894 36 | 0.000 % |
25.82/25.86 c | 35267 | 763 73888 319243 | 2147483647 35267 37 | 0.000 % |
26.32/26.32 c | 35677 | 763 73888 319243 | 2147483647 35677 37 | 0.000 % |
26.82/26.90 c | 36128 | 763 73888 319243 | 2147483647 36128 37 | 0.000 % |
27.52/27.52 c | 36623 | 763 73888 319243 | 2147483647 36623 37 | 0.000 % |
28.22/28.27 c | 37166 | 763 73888 319243 | 2147483647 37166 37 | 0.000 % |
28.32/28.39 c | 37267 | 763 73888 319243 | 2147483647 37267 37 | 0.000 % |
28.42/28.50 c | 37378 | 763 73888 319243 | 2147483647 37378 36 | 0.000 % |
28.62/28.63 c | 37499 | 763 73888 319243 | 2147483647 37499 36 | 0.000 % |
28.82/28.84 c | 37632 | 763 73888 319243 | 2147483647 37632 36 | 0.000 % |
28.92/29.01 c | 37778 | 763 73888 319243 | 2147483647 37778 36 | 0.000 % |
29.12/29.14 c | 37938 | 763 73888 319243 | 2147483647 37938 36 | 0.000 % |
29.32/29.38 c | 38114 | 763 73888 319243 | 2147483647 38114 36 | 0.000 % |
29.52/29.57 c | 38309 | 763 73888 319243 | 2147483647 38309 36 | 0.000 % |
29.72/29.81 c | 38521 | 763 73888 319243 | 2147483647 38521 36 | 0.000 % |
30.12/30.14 c | 38756 | 763 73888 319243 | 2147483647 38756 37 | 0.000 % |
30.42/30.48 c | 39012 | 763 73888 319243 | 2147483647 39012 37 | 0.000 % |
30.82/30.87 c | 39293 | 763 73888 319243 | 2147483647 39293 37 | 0.000 % |
31.12/31.19 c | 39602 | 763 73888 319243 | 2147483647 39602 37 | 0.000 % |
31.62/31.67 c | 39945 | 763 73888 319243 | 2147483647 39945 37 | 0.000 % |
32.12/32.17 c | 40321 | 763 73888 319243 | 2147483647 40321 37 | 0.000 % |
32.62/32.62 c | 40731 | 763 73888 319243 | 2147483647 40731 37 | 0.000 % |
33.02/33.08 c | 41180 | 763 73888 319243 | 2147483647 41180 37 | 0.000 % |
33.62/33.65 c | 41673 | 763 73888 319243 | 2147483647 41673 37 | 0.000 % |
34.12/34.17 c | 42215 | 763 73888 319243 | 2147483647 42215 37 | 0.000 % |
34.72/34.75 c | 42811 | 763 73888 319243 | 2147483647 42811 37 | 0.000 % |
34.82/34.86 c | 42911 | 763 73888 319243 | 2147483647 42911 37 | 0.000 % |
34.92/34.96 c | 43023 | 763 73888 319243 | 2147483647 43023 37 | 0.000 % |
35.12/35.15 c | 43145 | 763 73888 319243 | 2147483647 43145 37 | 0.000 % |
35.32/35.32 c | 43278 | 763 73888 319243 | 2147483647 43278 37 | 0.000 % |
35.42/35.47 c | 43425 | 763 73888 319243 | 2147483647 43425 37 | 0.000 % |
35.62/35.63 c | 43588 | 763 73888 319243 | 2147483647 43588 37 | 0.000 % |
35.92/35.92 c | 43766 | 763 73888 319243 | 2147483647 43766 37 | 0.000 % |
36.12/36.16 c | 43959 | 763 73888 319243 | 2147483647 43959 37 | 0.000 % |
36.32/36.38 c | 44173 | 763 73888 319243 | 2147483647 44173 37 | 0.000 % |
36.52/36.59 c | 44406 | 763 73888 319243 | 2147483647 44406 37 | 0.000 % |
36.92/36.91 c | 44662 | 763 73888 319243 | 2147483647 44662 37 | 0.000 % |
37.22/37.23 c | 44943 | 763 73888 319243 | 2147483647 44943 37 | 0.000 % |
37.52/37.60 c | 45255 | 763 73888 319243 | 2147483647 45255 37 | 0.000 % |
37.92/37.94 c | 45595 | 763 73888 319243 | 2147483647 45595 37 | 0.000 % |
38.42/38.51 c | 45967 | 763 73888 319243 | 2147483647 45967 37 | 0.000 % |
39.12/39.15 c | 46376 | 763 73888 319243 | 2147483647 46376 37 | 0.000 % |
39.62/39.70 c | 46826 | 763 73888 319243 | 2147483647 46826 37 | 0.000 % |
40.32/40.40 c | 47320 | 763 73888 319243 | 2147483647 47320 37 | 0.000 % |
41.12/41.18 c | 47862 | 763 73888 319243 | 2147483647 47862 37 | 0.000 % |
42.12/42.12 c | 48459 | 763 73888 319243 | 2147483647 48459 37 | 0.000 % |
42.93/42.97 c | 49116 | 763 73888 319243 | 2147483647 49116 37 | 0.000 % |
43.02/43.09 c | 49216 | 763 73888 319243 | 2147483647 49216 37 | 0.000 % |
43.22/43.23 c | 49327 | 763 73888 319243 | 2147483647 49327 37 | 0.000 % |
43.32/43.38 c | 49448 | 763 73888 319243 | 2147483647 49448 37 | 0.000 % |
43.52/43.53 c | 49586 | 763 73888 319243 | 2147483647 49586 37 | 0.000 % |
43.72/43.74 c | 49732 | 763 73888 319243 | 2147483647 49732 37 | 0.000 % |
44.03/44.02 c | 49892 | 763 73888 319243 | 2147483647 49892 37 | 0.000 % |
44.32/44.31 c | 50070 | 763 73888 319243 | 2147483647 50070 37 | 0.000 % |
44.52/44.60 c | 50264 | 763 73888 319243 | 2147483647 50264 37 | 0.000 % |
44.82/44.85 c | 50476 | 763 73888 319243 | 2147483647 50476 37 | 0.000 % |
45.22/45.28 c | 50709 | 763 73888 319243 | 2147483647 50709 37 | 0.000 % |
45.72/45.74 c | 50967 | 763 73888 319243 | 2147483647 50967 37 | 0.000 % |
46.12/46.15 c | 51250 | 763 73888 319243 | 2147483647 51250 37 | 0.000 % |
46.52/46.58 c | 51560 | 763 73888 319243 | 2147483647 51560 37 | 0.000 % |
47.12/47.21 c | 51900 | 763 73888 319243 | 2147483647 51900 37 | 0.000 % |
47.82/47.84 c | 52272 | 763 73888 319243 | 2147483647 52272 37 | 0.000 % |
48.43/48.43 c | 52681 | 763 73888 319243 | 2147483647 52681 37 | 0.000 % |
49.02/49.07 c | 53132 | 763 73888 319243 | 2147483647 53132 37 | 0.000 % |
49.72/49.76 c | 53625 | 763 73888 319243 | 2147483647 53625 37 | 0.000 % |
50.42/50.45 c | 54168 | 763 73888 319243 | 2147483647 54168 37 | 0.000 % |
51.22/51.25 c | 54766 | 763 73888 319243 | 2147483647 54766 37 | 0.000 % |
52.42/52.46 c | 55423 | 763 73888 319243 | 2147483647 55423 37 | 0.000 % |
53.93/53.95 c | 56143 | 763 73888 319243 | 2147483647 56143 37 | 0.000 % |
54.12/54.15 c | 56243 | 763 73888 319243 | 2147483647 56243 37 | 0.000 % |
54.32/54.34 c | 56355 | 763 73888 319243 | 2147483647 56355 37 | 0.000 % |
54.52/54.55 c | 56477 | 763 73888 319243 | 2147483647 56477 37 | 0.000 % |
54.72/54.76 c | 56613 | 763 73888 319243 | 2147483647 56613 37 | 0.000 % |
54.82/54.90 c | 56759 | 763 73888 319243 | 2147483647 56759 37 | 0.000 % |
55.12/55.19 c | 56920 | 763 73888 319243 | 2147483647 56920 37 | 0.000 % |
55.52/55.53 c | 57096 | 763 73888 319243 | 2147483647 57096 37 | 0.000 % |
55.82/55.86 c | 57290 | 763 73888 319243 | 2147483647 57290 37 | 0.000 % |
56.13/56.19 c | 57503 | 763 73888 319243 | 2147483647 57503 37 | 0.000 % |
56.52/56.61 c | 57738 | 763 73888 319243 | 2147483647 57738 37 | 0.000 % |
57.02/57.06 c | 57996 | 763 73888 319243 | 2147483647 57996 37 | 0.000 % |
57.52/57.59 c | 58278 | 763 73888 319243 | 2147483647 58278 37 | 0.000 % |
58.12/58.13 c | 58588 | 763 73888 319243 | 2147483647 58588 37 | 0.000 % |
58.72/58.76 c | 58927 | 763 73888 319243 | 2147483647 58927 37 | 0.000 % |
59.32/59.38 c | 59299 | 763 73888 319243 | 2147483647 59299 37 | 0.000 % |
60.02/60.07 c | 59709 | 763 73888 319243 | 2147483647 59709 37 | 0.000 % |
60.92/60.98 c | 60158 | 763 73888 319243 | 2147483647 60158 37 | 0.000 % |
61.52/61.60 c | 60651 | 763 73888 319243 | 2147483647 60651 37 | 0.000 % |
62.73/62.75 c | 61194 | 763 73888 319243 | 2147483647 61194 37 | 0.000 % |
63.83/63.86 c | 61790 | 763 73888 319243 | 2147483647 61790 37 | 0.000 % |
64.62/64.67 c | 62447 | 763 73888 319243 | 2147483647 62447 37 | 0.000 % |
65.92/65.94 c | 63167 | 763 73888 319243 | 2147483647 63167 37 | 0.000 % |
67.72/67.73 c | 63960 | 763 73888 319243 | 2147483647 63960 37 | 0.000 % |
68.02/68.05 c | 64061 | 763 73888 319243 | 2147483647 64061 37 | 0.000 % |
68.32/68.32 c | 64171 | 763 73888 319243 | 2147483647 64171 37 | 0.000 % |
68.42/68.48 c | 64292 | 763 73888 319243 | 2147483647 64292 37 | 0.000 % |
68.62/68.64 c | 64427 | 763 73888 319243 | 2147483647 64427 37 | 0.000 % |
68.82/68.85 c | 64574 | 763 73888 319243 | 2147483647 64574 37 | 0.000 % |
69.22/69.26 c | 64738 | 763 73888 319243 | 2147483647 64738 37 | 0.000 % |
69.52/69.57 c | 64915 | 763 73888 319243 | 2147483647 64915 37 | 0.000 % |
69.82/69.85 c | 65108 | 763 73888 319243 | 2147483647 65108 37 | 0.000 % |
70.12/70.21 c | 65322 | 763 73888 319243 | 2147483647 65322 37 | 0.000 % |
70.62/70.66 c | 65555 | 763 73888 319243 | 2147483647 65555 37 | 0.000 % |
71.22/71.23 c | 65811 | 763 73888 319243 | 2147483647 65811 37 | 0.000 % |
71.82/71.89 c | 66093 | 763 73888 319243 | 2147483647 66093 37 | 0.000 % |
72.63/72.63 c | 66402 | 763 73888 319243 | 2147483647 66402 37 | 0.000 % |
73.32/73.40 c | 66745 | 763 73888 319243 | 2147483647 66745 37 | 0.000 % |
74.42/74.43 c | 67117 | 763 73888 319243 | 2147483647 67117 37 | 0.000 % |
75.43/75.51 c | 67529 | 763 73888 319243 | 2147483647 67529 37 | 0.000 % |
76.53/76.52 c | 67979 | 763 73888 319243 | 2147483647 67979 37 | 0.000 % |
77.53/77.54 c | 68472 | 763 73888 319243 | 2147483647 68472 37 | 0.000 % |
78.83/78.82 c | 69015 | 763 73888 319243 | 2147483647 69015 37 | 0.000 % |
80.23/80.30 c | 69614 | 763 73888 319243 | 2147483647 69614 37 | 0.000 % |
82.13/82.17 c | 70269 | 763 73888 319243 | 2147483647 70269 37 | 0.000 % |
84.03/84.04 c | 70989 | 763 73888 319243 | 2147483647 70989 37 | 0.000 % |
86.13/86.12 c | 71781 | 763 73888 319243 | 2147483647 71781 37 | 0.000 % |
88.43/88.42 c | 72654 | 763 73888 319243 | 2147483647 72654 37 | 0.000 % |
88.63/88.70 c | 72754 | 763 73888 319243 | 2147483647 72754 37 | 0.000 % |
88.83/88.90 c | 72866 | 763 73888 319243 | 2147483647 72866 37 | 0.000 % |
89.13/89.18 c | 72988 | 763 73888 319243 | 2147483647 72988 37 | 0.000 % |
89.43/89.50 c | 73121 | 763 73888 319243 | 2147483647 73121 37 | 0.000 % |
89.83/89.90 c | 73267 | 763 73888 319243 | 2147483647 73267 37 | 0.000 % |
90.33/90.38 c | 73427 | 763 73888 319243 | 2147483647 73427 37 | 0.000 % |
90.83/90.88 c | 73605 | 763 73888 319243 | 2147483647 73605 37 | 0.000 % |
91.23/91.27 c | 73801 | 763 73888 319243 | 2147483647 73801 37 | 0.000 % |
91.73/91.75 c | 74014 | 763 73888 319243 | 2147483647 74014 37 | 0.000 % |
92.43/92.42 c | 74247 | 763 73888 319243 | 2147483647 74247 37 | 0.000 % |
93.03/93.10 c | 74507 | 763 73888 319243 | 2147483647 74507 37 | 0.000 % |
93.93/93.98 c | 74793 | 763 73888 319243 | 2147483647 74793 37 | 0.000 % |
94.83/94.87 c | 75103 | 763 73888 319243 | 2147483647 75103 37 | 0.000 % |
95.83/95.89 c | 75442 | 763 73888 319243 | 2147483647 75442 37 | 0.000 % |
97.03/97.10 c | 75817 | 763 73888 319243 | 2147483647 75817 37 | 0.000 % |
98.23/98.24 c | 76227 | 763 73888 319243 | 2147483647 76227 37 | 0.000 % |
99.53/99.56 c | 76679 | 763 73888 319243 | 2147483647 76679 37 | 0.000 % |
101.03/101.06 c | 77172 | 763 73888 319243 | 2147483647 77172 37 | 0.000 % |
102.73/102.81 c | 77714 | 763 73888 319243 | 2147483647 77714 37 | 0.000 % |
104.53/104.60 c | 78312 | 763 73888 319243 | 2147483647 78312 37 | 0.000 % |
106.33/106.36 c | 78967 | 763 73888 319243 | 2147483647 78967 37 | 0.000 % |
107.33/107.37 c | 79688 | 763 73888 319243 | 2147483647 79688 37 | 0.000 % |
109.73/109.73 c | 80480 | 763 73888 319243 | 2147483647 80480 37 | 0.000 % |
111.93/112.00 c | 81351 | 763 73888 319243 | 2147483647 81351 36 | 0.000 % |
113.13/113.14 c | 82309 | 763 73888 319243 | 2147483647 82309 36 | 0.000 % |
113.23/113.27 c | 82412 | 763 73888 319243 | 2147483647 82412 36 | 0.000 % |
113.33/113.39 c | 82522 | 763 73888 319243 | 2147483647 82522 36 | 0.002 % |
113.93/113.96 c | 82643 | 763 73888 319243 | 2147483647 82643 36 | 0.000 % |
114.23/114.22 c | 82776 | 763 73888 319243 | 2147483647 82776 36 | 0.000 % |
114.63/114.67 c | 82922 | 763 73888 319243 | 2147483647 82922 36 | 0.000 % |
115.43/115.43 c | 83082 | 763 73888 319243 | 2147483647 83082 36 | 0.000 % |
116.03/116.04 c | 83258 | 763 73888 319243 | 2147483647 83258 36 | 0.000 % |
116.23/116.24 c | 83456 | 763 73888 319243 | 2147483647 83456 36 | 0.000 % |
116.43/116.43 c | 83670 | 763 73888 319243 | 2147483647 83670 36 | 0.000 % |
116.63/116.64 c | 83905 | 763 73888 319243 | 2147483647 83905 36 | 0.000 % |
116.83/116.90 c | 84161 | 763 73888 319243 | 2147483647 84161 36 | 0.000 % |
117.13/117.19 c | 84443 | 763 73888 319243 | 2147483647 84443 36 | 0.000 % |
117.43/117.43 c | 84753 | 763 73888 319243 | 2147483647 84753 36 | 0.002 % |
118.63/118.69 c | 85092 | 763 73888 319243 | 2147483647 85092 36 | 0.000 % |
119.83/119.89 c | 85465 | 763 73888 319243 | 2147483647 85465 36 | 0.000 % |
121.03/121.09 c | 85875 | 763 73888 319243 | 2147483647 85875 36 | 0.000 % |
121.33/121.36 c | 86324 | 763 73888 319243 | 2147483647 86324 36 | 0.000 % |
122.63/122.64 c | 86817 | 763 73888 319243 | 2147483647 86817 36 | 0.000 % |
124.23/124.26 c | 87359 | 763 73888 319243 | 2147483647 87359 36 | 0.000 % |
125.83/125.90 c | 87957 | 763 73888 319243 | 2147483647 87957 36 | 0.000 % |
127.23/127.27 c | 88614 | 763 73888 319243 | 2147483647 88614 36 | 0.000 % |
128.83/128.86 c | 89335 | 763 73888 319243 | 2147483647 89335 36 | 0.000 % |
130.03/130.07 c | 90128 | 763 73888 319243 | 2147483647 90128 36 | 0.000 % |
132.33/132.39 c | 90999 | 763 73888 319243 | 2147483647 90999 36 | 0.000 % |
134.33/134.35 c | 91958 | 763 73888 319243 | 2147483647 91958 36 | 0.000 % |
136.44/136.43 c | 93012 | 763 73888 319243 | 2147483647 93012 36 | 0.000 % |
136.83/136.84 c | 93112 | 763 73888 319243 | 2147483647 93112 36 | 0.000 % |
137.13/137.12 c | 93223 | 763 73888 319243 | 2147483647 93223 36 | 0.000 % |
137.43/137.46 c | 93344 | 763 73888 319243 | 2147483647 93344 36 | 0.000 % |
137.73/137.81 c | 93478 | 763 73888 319243 | 2147483647 93478 36 | 0.000 % |
137.83/137.91 c | 93625 | 763 73888 319243 | 2147483647 93625 36 | 0.000 % |
138.33/138.32 c | 93785 | 763 73888 319243 | 2147483647 93785 36 | 0.000 % |
138.83/138.86 c | 93961 | 763 73888 319243 | 2147483647 93961 36 | 0.000 % |
139.23/139.31 c | 94156 | 763 73888 319243 | 2147483647 94156 36 | 0.000 % |
139.63/139.68 c | 94370 | 763 73888 319243 | 2147483647 94370 36 | 0.000 % |
140.03/140.03 c | 94605 | 763 73888 319243 | 2147483647 94605 36 | 0.000 % |
140.73/140.75 c | 94862 | 763 73888 319243 | 2147483647 94862 36 | 0.000 % |
141.53/141.53 c | 95143 | 763 73888 319243 | 2147483647 95143 36 | 0.000 % |
142.23/142.30 c | 95453 | 763 73888 319243 | 2147483647 95453 36 | 0.000 % |
143.23/143.28 c | 95792 | 763 73888 319243 | 2147483647 95792 36 | 0.000 % |
144.23/144.27 c | 96165 | 763 73888 319243 | 2147483647 96165 36 | 0.000 % |
145.03/145.06 c | 96575 | 763 73888 319243 | 2147483647 96575 36 | 0.002 % |
148.33/148.32 c | 97025 | 763 73888 319243 | 2147483647 97025 36 | 0.000 % |
150.23/150.26 c | 97518 | 763 73888 319243 | 2147483647 97518 36 | 0.000 % |
151.93/151.92 c | 98060 | 763 73888 319243 | 2147483647 98060 36 | 0.000 % |
154.43/154.45 c | 98656 | 763 73888 319243 | 2147483647 98656 36 | 0.000 % |
158.44/158.43 c | 99311 | 763 73888 319243 | 2147483647 99311 36 | 0.000 % |
161.74/161.78 c | 100031 | 763 73888 319243 | 100001 100031 36 | 0.000 % |
165.94/165.98 c | 100823 | 763 73888 319243 | 100001 88732 37 | 0.000 % |
170.24/170.23 c | 101694 | 763 73888 319243 | 100001 89603 37 | 0.000 % |
174.24/174.23 c | 102654 | 763 73888 319243 | 100001 90563 37 | 0.000 % |
178.93/178.92 c | 103708 | 763 73888 319243 | 100001 91617 36 | 0.000 % |
183.73/183.77 c | 104867 | 763 73888 319243 | 100001 92776 36 | 0.000 % |
184.23/184.30 c | 104967 | 763 73888 319243 | 100001 92876 36 | 0.002 % |
184.83/184.84 c | 105077 | 763 73888 319243 | 100001 92986 36 | 0.000 % |
185.53/185.52 c | 105201 | 763 73888 319243 | 100001 93110 36 | 0.000 % |
186.03/186.02 c | 105335 | 763 73888 319243 | 100001 93244 36 | 0.000 % |
186.43/186.43 c | 105483 | 763 73888 319243 | 100001 93392 36 | 0.000 % |
186.63/186.64 c | 105645 | 763 73888 319243 | 100001 93554 36 | 0.000 % |
187.03/187.05 c | 105821 | 763 73888 319243 | 100001 93730 36 | 0.000 % |
187.53/187.57 c | 106015 | 763 73888 319243 | 100001 93924 36 | 0.000 % |
188.83/188.87 c | 106229 | 763 73888 319243 | 100001 94138 36 | 0.000 % |
190.53/190.53 c | 106462 | 763 73888 319243 | 100001 94371 36 | 0.000 % |
191.73/191.75 c | 106718 | 763 73888 319243 | 100001 94627 36 | 0.000 % |
193.03/193.06 c | 107000 | 763 73888 319243 | 100001 94909 36 | 0.000 % |
195.03/195.06 c | 107311 | 763 73888 319243 | 100001 95220 36 | 0.000 % |
196.73/196.80 c | 107652 | 763 73888 319243 | 100001 95561 36 | 0.000 % |
197.93/197.99 c | 108025 | 763 73888 319243 | 100001 95934 36 | 0.000 % |
200.33/200.31 c | 108436 | 763 73888 319243 | 100001 96345 36 | 0.000 % |
202.13/202.13 c | 108885 | 763 73888 319243 | 100001 96794 36 | 0.000 % |
204.53/204.54 c | 109379 | 763 73888 319243 | 100001 97288 36 | 0.000 % |
206.73/206.81 c | 109922 | 763 73888 319243 | 100001 97831 36 | 0.000 % |
209.33/209.39 c | 110519 | 763 73888 319243 | 97911 85450 36 | 0.000 % |
212.43/212.44 c | 111174 | 763 73888 319243 | 97911 86105 36 | 0.000 % |
215.03/215.01 c | 111894 | 763 73888 319243 | 97911 86825 36 | 0.000 % |
216.63/216.69 c | 112686 | 763 73888 319243 | 97911 87617 36 | 0.000 % |
218.83/218.86 c | 113560 | 763 73888 319243 | 97911 88491 36 | 0.000 % |
223.23/223.21 c | 114518 | 763 73888 319243 | 97911 89449 36 | 0.000 % |
226.43/226.48 c | 115575 | 763 73888 319243 | 97911 90506 36 | 0.000 % |
232.33/232.33 c | 116735 | 763 73888 319243 | 97911 91666 36 | 0.000 % |
236.54/236.60 c | 118011 | 763 73888 319243 | 97911 92942 36 | 0.000 % |
237.13/237.13 c | 118111 | 763 73888 319243 | 97911 93042 36 | 0.000 % |
237.43/237.49 c | 118221 | 763 73888 319243 | 97911 93152 36 | 0.000 % |
237.73/237.78 c | 118342 | 763 73888 319243 | 97911 93273 36 | 0.000 % |
238.53/238.53 c | 118477 | 763 73888 319243 | 97911 93408 36 | 0.000 % |
239.14/239.14 c | 118623 | 763 73888 319243 | 97911 93554 36 | 0.000 % |
240.04/240.04 c | 118784 | 763 73888 319243 | 97911 93715 36 | 0.000 % |
240.84/240.83 c | 118960 | 763 73888 319243 | 97911 93891 36 | 0.000 % |
241.94/242.01 c | 119154 | 763 73888 319243 | 97911 94085 36 | 0.000 % |
242.64/242.65 c | 119371 | 763 73888 319243 | 97911 94302 36 | 0.000 % |
243.24/243.27 c | 119605 | 763 73888 319243 | 97911 94536 36 | 0.000 % |
244.24/244.31 c | 119861 | 763 73888 319243 | 97911 94792 36 | 0.000 % |
246.14/246.16 c | 120143 | 763 73888 319243 | 94934 84589 36 | 0.000 % |
247.34/247.36 c | 120454 | 763 73888 319243 | 94934 84900 36 | 0.000 % |
248.54/248.59 c | 120796 | 763 73888 319243 | 94934 85242 36 | 0.000 % |
249.74/249.75 c | 121169 | 763 73888 319243 | 94934 85615 36 | 0.000 % |
250.84/250.84 c | 121579 | 763 73888 319243 | 94934 86025 36 | 0.000 % |
253.04/253.07 c | 122029 | 763 73888 319243 | 94934 86475 36 | 0.000 % |
255.04/255.04 c | 122523 | 763 73888 319243 | 94934 86969 36 | 0.000 % |
257.44/257.47 c | 123065 | 763 73888 319243 | 94934 87511 36 | 0.000 % |
259.24/259.25 c | 123663 | 763 73888 319243 | 94934 88109 36 | 0.000 % |
261.54/261.58 c | 124320 | 763 73888 319243 | 94934 88766 36 | 0.000 % |
264.54/264.59 c | 125042 | 763 73888 319243 | 94934 89488 36 | 0.000 % |
268.14/268.14 c | 125834 | 763 73888 319243 | 94934 90280 36 | 0.000 % |
271.84/271.83 c | 126705 | 763 73888 319243 | 94934 91151 36 | 0.000 % |
275.74/275.80 c | 127664 | 763 73888 319243 | 94934 92110 36 | 0.000 % |
279.94/279.96 c | 128719 | 763 73888 319243 | 94934 93165 36 | 0.000 % |
283.74/283.75 c | 129877 | 763 73888 319243 | 94934 94323 36 | 0.000 % |
287.64/287.62 c | 131150 | 763 73888 319243 | 2147483647 95596 36 | 0.000 % |
292.74/292.72 c | 132552 | 763 73888 319243 | 2147483647 96998 36 | 0.000 % |
293.14/293.14 c | 132654 | 763 73888 319243 | 2147483647 97100 36 | 0.000 % |
293.44/293.41 c | 132764 | 763 73888 319243 | 2147483647 97210 36 | 0.000 % |
293.84/293.89 c | 132886 | 763 73888 319243 | 2147483647 97332 36 | 0.000 % |
294.44/294.48 c | 133019 | 763 73888 319243 | 2147483647 97465 36 | 0.000 % |
295.14/295.16 c | 133166 | 763 73888 319243 | 2147483647 97612 36 | 0.000 % |
295.64/295.63 c | 133327 | 763 73888 319243 | 2147483647 97773 36 | 0.000 % |
296.24/296.30 c | 133503 | 763 73888 319243 | 2147483647 97949 36 | 0.000 % |
297.14/297.20 c | 133698 | 763 73888 319243 | 2147483647 98144 36 | 0.000 % |
298.04/298.05 c | 133910 | 763 73888 319243 | 2147483647 98356 36 | 0.000 % |
298.84/298.82 c | 134145 | 763 73888 319243 | 2147483647 98591 36 | 0.000 % |
299.74/299.76 c | 134401 | 763 73888 319243 | 2147483647 98847 36 | 0.000 % |
300.94/300.91 c | 134684 | 763 73888 319243 | 2147483647 99130 36 | 0.000 % |
302.14/302.21 c | 134993 | 763 73888 319243 | 2147483647 99439 36 | 0.000 % |
303.65/303.68 c | 135336 | 763 73888 319243 | 2147483647 99782 36 | 0.000 % |
305.24/305.29 c | 135712 | 763 73888 319243 | 2147483647 100158 36 | 0.000 % |
307.14/307.13 c | 136122 | 763 73888 319243 | 2147483647 100568 36 | 0.000 % |
309.15/309.18 c | 136572 | 763 73888 319243 | 2147483647 101018 36 | 0.000 % |
311.35/311.39 c | 137065 | 763 73888 319243 | 2147483647 101511 36 | 0.000 % |
314.44/314.42 c | 137610 | 763 73888 319243 | 2147483647 102056 36 | 0.000 % |
316.94/317.00 c | 138206 | 763 73888 319243 | 2147483647 102652 36 | 0.000 % |
319.84/319.87 c | 138861 | 763 73888 319243 | 2147483647 103307 36 | 0.000 % |
323.15/323.18 c | 139586 | 763 73888 319243 | 2147483647 104032 36 | 0.000 % |
326.25/326.29 c | 140378 | 763 73888 319243 | 2147483647 104824 36 | 0.000 % |
328.65/328.63 c | 141250 | 763 73888 319243 | 2147483647 105696 36 | 0.000 % |
331.35/331.36 c | 142209 | 763 73888 319243 | 2147483647 106655 36 | 0.000 % |
334.45/334.50 c | 143262 | 763 73888 319243 | 2147483647 107708 36 | 0.000 % |
341.15/341.12 c | 144424 | 763 73888 319243 | 2147483647 108870 36 | 0.000 % |
347.35/347.36 c | 145697 | 763 73888 319243 | 2147483647 110143 36 | 0.000 % |
352.45/352.44 c | 147097 | 763 73888 319243 | 2147483647 111543 36 | 0.000 % |
358.65/358.65 c | 148638 | 763 73888 319243 | 2147483647 113084 36 | 0.000 % |
359.15/359.14 c | 148738 | 763 73888 319243 | 2147483647 113184 36 | 0.000 % |
359.75/359.77 c | 148848 | 763 73888 319243 | 2147483647 113294 36 | 0.000 % |
360.45/360.42 c | 148971 | 763 73888 319243 | 2147483647 113417 36 | 0.000 % |
360.95/360.94 c | 149106 | 763 73888 319243 | 2147483647 113552 36 | 0.000 % |
361.45/361.50 c | 149252 | 763 73888 319243 | 2147483647 113698 36 | 0.000 % |
362.35/362.33 c | 149412 | 763 73888 319243 | 2147483647 113858 36 | 0.000 % |
363.35/363.35 c | 149590 | 763 73888 319243 | 2147483647 114036 36 | 0.000 % |
364.05/364.08 c | 149784 | 763 73888 319243 | 2147483647 114230 36 | 0.000 % |
364.85/364.81 c | 149997 | 763 73888 319243 | 2147483647 114443 36 | 0.000 % |
365.65/365.69 c | 150230 | 763 73888 319243 | 2147483647 114676 36 | 0.000 % |
366.55/366.53 c | 150486 | 763 73888 319243 | 2147483647 114932 36 | 0.000 % |
367.75/367.73 c | 150767 | 763 73888 319243 | 2147483647 115213 36 | 0.000 % |
369.05/369.05 c | 151076 | 763 73888 319243 | 2147483647 115522 36 | 0.000 % |
370.76/370.78 c | 151416 | 763 73888 319243 | 2147483647 115862 36 | 0.000 % |
372.55/372.60 c | 151788 | 763 73888 319243 | 2147483647 116234 36 | 0.000 % |
374.35/374.39 c | 152197 | 763 73888 319243 | 2147483647 116643 36 | 0.000 % |
376.35/376.34 c | 152648 | 763 73888 319243 | 2147483647 117094 36 | 0.000 % |
378.25/378.25 c | 153142 | 763 73888 319243 | 2147483647 117588 36 | 0.000 % |
380.35/380.33 c | 153684 | 763 73888 319243 | 2147483647 118130 36 | 0.000 % |
383.05/383.09 c | 154280 | 763 73888 319243 | 2147483647 118726 36 | 0.000 % |
385.65/385.69 c | 154937 | 763 73888 319243 | 2147483647 119383 36 | 0.000 % |
387.95/388.00 c | 155659 | 763 73888 319243 | 2147483647 120105 36 | 0.000 % |
390.25/390.24 c | 156451 | 763 73888 319243 | 2147483647 120897 36 | 0.000 % |
392.85/392.83 c | 157322 | 763 73888 319243 | 2147483647 121768 36 | 0.000 % |
395.45/395.41 c | 158280 | 763 73888 319243 | 2147483647 122726 35 | 0.000 % |
397.95/397.93 c | 159333 | 763 73888 319243 | 2147483647 123779 35 | 0.000 % |
403.26/403.31 c | 160496 | 763 73888 319243 | 2147483647 124942 35 | 0.000 % |
408.26/408.25 c | 161770 | 763 73888 319243 | 2147483647 126216 35 | 0.000 % |
411.76/411.82 c | 163171 | 763 73888 319243 | 2147483647 127617 35 | 0.000 % |
417.56/417.61 c | 164714 | 763 73888 319243 | 2147483647 129160 35 | 0.000 % |
423.96/423.95 c | 166409 | 763 73888 319243 | 2147483647 130855 35 | 0.000 % |
424.16/424.19 c | 166509 | 763 73888 319243 | 2147483647 130955 35 | 0.002 % |
424.96/424.97 c | 166619 | 763 73888 319243 | 2147483647 131065 35 | 0.000 % |
425.46/425.49 c | 166741 | 763 73888 319243 | 2147483647 131187 35 | 0.000 % |
426.16/426.12 c | 166876 | 763 73888 319243 | 2147483647 131322 35 | 0.000 % |
426.96/426.93 c | 167023 | 763 73888 319243 | 2147483647 131469 35 | 0.000 % |
427.66/427.66 c | 167183 | 763 73888 319243 | 2147483647 131629 35 | 0.000 % |
428.56/428.58 c | 167359 | 763 73888 319243 | 2147483647 131805 35 | 0.000 % |
429.66/429.62 c | 167553 | 763 73888 319243 | 2147483647 131999 35 | 0.000 % |
430.16/430.21 c | 167768 | 763 73888 319243 | 2147483647 132214 35 | 0.000 % |
430.86/430.83 c | 168001 | 763 73888 319243 | 2147483647 132447 35 | 0.000 % |
432.56/432.56 c | 168259 | 763 73888 319243 | 2147483647 132705 35 | 0.000 % |
434.26/434.28 c | 168541 | 763 73888 319243 | 2147483647 132987 35 | 0.000 % |
435.56/435.61 c | 168851 | 763 73888 319243 | 2147483647 133297 35 | 0.000 % |
436.46/436.45 c | 169191 | 763 73888 319243 | 2147483647 133637 35 | 0.000 % |
438.46/438.47 c | 169565 | 763 73888 319243 | 2147483647 134011 35 | 0.000 % |
440.76/440.74 c | 169975 | 763 73888 319243 | 2147483647 134421 35 | 0.000 % |
442.76/442.73 c | 170425 | 763 73888 319243 | 2147483647 134871 35 | 0.000 % |
445.86/445.84 c | 170919 | 763 73888 319243 | 2147483647 135365 35 | 0.000 % |
449.06/449.10 c | 171461 | 763 73888 319243 | 2147483647 135907 35 | 0.000 % |
452.26/452.24 c | 172058 | 763 73888 319243 | 2147483647 136504 35 | 0.000 % |
456.06/456.01 c | 172714 | 763 73888 319243 | 2147483647 137160 35 | 0.000 % |
459.36/459.36 c | 173434 | 763 73888 319243 | 2147483647 137880 35 | 0.000 % |
462.66/462.62 c | 174226 | 763 73888 319243 | 2147483647 138672 36 | 0.000 % |
465.86/465.87 c | 175098 | 763 73888 319243 | 2147483647 139544 36 | 0.000 % |
472.06/472.05 c | 176057 | 763 73888 319243 | 2147483647 140503 36 | 0.000 % |
477.26/477.31 c | 177111 | 763 73888 319243 | 2147483647 141557 36 | 0.000 % |
483.26/483.26 c | 178269 | 763 73888 319243 | 2147483647 142715 36 | 0.000 % |
489.87/489.91 c | 179545 | 763 73888 319243 | 2147483647 143991 36 | 0.000 % |
497.07/497.04 c | 180946 | 763 73888 319243 | 144446 109039 35 | 0.000 % |
501.77/501.76 c | 182486 | 763 73888 319243 | 144446 110579 35 | 0.000 % |
507.07/507.02 c | 184182 | 763 73888 319243 | 144446 112275 35 | 0.000 % |
513.57/513.56 c | 186047 | 763 73888 319243 | 144446 114140 35 | 0.000 % |
514.07/514.12 c | 186147 | 763 73888 319243 | 144446 114240 35 | 0.000 % |
514.77/514.72 c | 186258 | 763 73888 319243 | 144446 114351 35 | 0.000 % |
515.27/515.25 c | 186382 | 763 73888 319243 | 144446 114475 35 | 0.000 % |
515.97/516.01 c | 186515 | 763 73888 319243 | 144446 114608 35 | 0.000 % |
516.87/516.82 c | 186661 | 763 73888 319243 | 144446 114754 36 | 0.000 % |
517.47/517.45 c | 186822 | 763 73888 319243 | 144446 114915 36 | 0.000 % |
518.07/518.02 c | 186998 | 763 73888 319243 | 144446 115091 36 | 0.000 % |
518.87/518.89 c | 187191 | 763 73888 319243 | 144446 115284 36 | 0.000 % |
519.97/519.93 c | 187403 | 763 73888 319243 | 144446 115496 36 | 0.000 % |
520.67/520.62 c | 187637 | 763 73888 319243 | 144446 115730 36 | 0.000 % |
521.67/521.64 c | 187894 | 763 73888 319243 | 144446 115987 36 | 0.000 % |
522.57/522.57 c | 188177 | 763 73888 319243 | 144446 116270 36 | 0.000 % |
523.67/523.66 c | 188486 | 763 73888 319243 | 144446 116579 36 | 0.000 % |
525.27/525.27 c | 188825 | 763 73888 319243 | 144446 116918 36 | 0.000 % |
526.87/526.83 c | 189197 | 763 73888 319243 | 144446 117290 36 | 0.000 % |
527.97/527.98 c | 189607 | 763 73888 319243 | 144446 117700 36 | 0.000 % |
530.07/530.07 c | 190062 | 763 73888 319243 | 118097 118155 36 | 0.000 % |
532.37/532.33 c | 190558 | 763 73888 319243 | 118097 103693 36 | 0.000 % |
534.37/534.36 c | 191101 | 763 73888 319243 | 118097 104236 36 | 0.000 % |
536.56/536.60 c | 191697 | 763 73888 319243 | 118097 104832 36 | 0.000 % |
538.46/538.49 c | 192352 | 763 73888 319243 | 118097 105487 36 | 0.000 % |
540.96/540.98 c | 193072 | 763 73888 319243 | 118097 106207 36 | 0.000 % |
544.16/544.19 c | 193865 | 763 73888 319243 | 118097 107000 36 | 0.000 % |
547.96/547.97 c | 194737 | 763 73888 319243 | 118097 107872 36 | 0.000 % |
552.16/552.12 c | 195697 | 763 73888 319243 | 118097 108832 36 | 0.000 % |
556.56/556.53 c | 196752 | 763 73888 319243 | 118097 109887 36 | 0.000 % |
561.07/561.08 c | 197912 | 763 73888 319243 | 118097 111047 36 | 0.000 % |
564.56/564.56 c | 199185 | 763 73888 319243 | 118097 112320 36 | 0.000 % |
568.47/568.47 c | 200586 | 763 73888 319243 | 2147483647 113721 36 | 0.000 % |
574.57/574.56 c | 202127 | 763 73888 319243 | 2147483647 115262 36 | 0.000 % |
582.07/582.02 c | 203824 | 763 73888 319243 | 2147483647 116959 36 | 0.000 % |
589.57/589.55 c | 205687 | 763 73888 319243 | 2147483647 118822 36 | 0.001 % |
597.27/597.25 c | 207736 | 763 73888 319243 | 2147483647 120871 36 | 0.000 % |
597.57/597.59 c | 207836 | 763 73888 319243 | 2147483647 120971 36 | 0.000 % |
598.07/598.05 c | 207946 | 763 73888 319243 | 2147483647 121081 36 | 0.000 % |
598.67/598.69 c | 208069 | 763 73888 319243 | 2147483647 121204 36 | 0.000 % |
599.47/599.46 c | 208204 | 763 73888 319243 | 2147483647 121339 36 | 0.000 % |
599.97/600.00 c | 208350 | 763 73888 319243 | 2147483647 121485 36 | 0.000 % |
600.57/600.59 c | 208512 | 763 73888 319243 | 2147483647 121647 36 | 0.000 % |
601.37/601.36 c | 208689 | 763 73888 319243 | 2147483647 121824 36 | 0.000 % |
601.97/602.00 c | 208882 | 763 73888 319243 | 2147483647 122017 36 | 0.000 % |
602.77/602.72 c | 209096 | 763 73888 319243 | 2147483647 122231 36 | 0.000 % |
603.57/603.56 c | 209331 | 763 73888 319243 | 2147483647 122466 36 | 0.000 % |
604.57/604.57 c | 209588 | 763 73888 319243 | 2147483647 122723 36 | 0.000 % |
605.57/605.54 c | 209869 | 763 73888 319243 | 2147483647 123004 36 | 0.000 % |
606.77/606.71 c | 210179 | 763 73888 319243 | 2147483647 123314 36 | 0.000 % |
607.97/607.94 c | 210520 | 763 73888 319243 | 2147483647 123655 36 | 0.000 % |
609.37/609.38 c | 210892 | 763 73888 319243 | 2147483647 124027 36 | 0.000 % |
610.97/610.91 c | 211301 | 763 73888 319243 | 2147483647 124436 36 | 0.000 % |
612.47/612.50 c | 211750 | 763 73888 319243 | 2147483647 124885 36 | 0.000 % |
614.67/614.64 c | 212243 | 763 73888 319243 | 2147483647 125378 36 | 0.000 % |
617.07/617.01 c | 212787 | 763 73888 319243 | 2147483647 125922 36 | 0.000 % |
619.38/619.35 c | 213383 | 763 73888 319243 | 2147483647 126518 36 | 0.000 % |
622.17/622.17 c | 214040 | 763 73888 319243 | 2147483647 127175 36 | 0.000 % |
625.57/625.58 c | 214763 | 763 73888 319243 | 2147483647 127898 36 | 0.000 % |
629.28/629.25 c | 215559 | 763 73888 319243 | 2147483647 128694 36 | 0.000 % |
633.77/633.77 c | 216430 | 763 73888 319243 | 2147483647 129565 36 | 0.000 % |
637.97/637.92 c | 217388 | 763 73888 319243 | 2147483647 130523 36 | 0.000 % |
641.97/642.00 c | 218442 | 763 73888 319243 | 2147483647 131577 36 | 0.000 % |
646.17/646.19 c | 219603 | 763 73888 319243 | 2147483647 132738 36 | 0.000 % |
650.68/650.62 c | 220878 | 763 73888 319243 | 133135 115949 36 | 0.000 % |
653.98/653.93 c | 222278 | 763 73888 319243 | 133135 117349 36 | 0.000 % |
658.38/658.36 c | 223818 | 763 73888 319243 | 133135 118889 37 | 0.000 % |
663.78/663.81 c | 225513 | 763 73888 319243 | 133135 120584 37 | 0.000 % |
667.88/667.83 c | 227376 | 763 73888 319243 | 133135 122447 37 | 0.000 % |
671.38/671.34 c | 229426 | 763 73888 319243 | 133135 124497 37 | 0.000 % |
678.28/678.21 c | 231679 | 763 73888 319243 | 2147483647 126750 37 | 0.000 % |
678.48/678.46 c | 231779 | 763 73888 319243 | 2147483647 126850 37 | 0.000 % |
678.98/678.94 c | 231889 | 763 73888 319243 | 2147483647 126960 37 | 0.000 % |
679.28/679.28 c | 232012 | 763 73888 319243 | 2147483647 127083 37 | 0.000 % |
679.98/679.94 c | 232146 | 763 73888 319243 | 2147483647 127217 37 | 0.000 % |
680.38/680.39 c | 232298 | 763 73888 319243 | 2147483647 127369 37 | 0.000 % |
680.78/680.78 c | 232464 | 763 73888 319243 | 2147483647 127535 37 | 0.000 % |
681.28/681.28 c | 232640 | 763 73888 319243 | 2147483647 127711 37 | 0.000 % |
681.88/681.91 c | 232837 | 763 73888 319243 | 2147483647 127908 37 | 0.000 % |
682.68/682.64 c | 233049 | 763 73888 319243 | 2147483647 128120 37 | 0.000 % |
683.48/683.47 c | 233282 | 763 73888 319243 | 2147483647 128353 37 | 0.000 % |
684.28/684.29 c | 233538 | 763 73888 319243 | 2147483647 128609 37 | 0.000 % |
685.58/685.60 c | 233819 | 763 73888 319243 | 2147483647 128890 37 | 0.000 % |
686.48/686.47 c | 234130 | 763 73888 319243 | 2147483647 129201 37 | 0.000 % |
687.78/687.71 c | 234469 | 763 73888 319243 | 2147483647 129540 37 | 0.000 % |
689.18/689.13 c | 234843 | 763 73888 319243 | 2147483647 129914 37 | 0.000 % |
690.48/690.50 c | 235256 | 763 73888 319243 | 2147483647 130327 37 | 0.000 % |
692.08/692.02 c | 235706 | 763 73888 319243 | 2147483647 130777 37 | 0.000 % |
693.48/693.46 c | 236200 | 763 73888 319243 | 2147483647 131271 37 | 0.000 % |
695.38/695.40 c | 236742 | 763 73888 319243 | 2147483647 131813 37 | 0.000 % |
697.49/697.45 c | 237339 | 763 73888 319243 | 2147483647 132410 37 | 0.000 % |
699.78/699.78 c | 237994 | 763 73888 319243 | 2147483647 133065 37 | 0.000 % |
702.68/702.63 c | 238716 | 763 73888 319243 | 2147483647 133787 37 | 0.000 % |
705.68/705.64 c | 239509 | 763 73888 319243 | 2147483647 134580 37 | 0.000 % |
709.28/709.29 c | 240380 | 763 73888 319243 | 2147483647 135451 37 | 0.000 % |
712.58/712.52 c | 241341 | 763 73888 319243 | 2147483647 136412 37 | 0.000 % |
715.48/715.43 c | 242396 | 763 73888 319243 | 2147483647 137467 37 | 0.000 % |
718.98/718.97 c | 243558 | 763 73888 319243 | 2147483647 138629 37 | 0.000 % |
722.88/722.89 c | 244831 | 763 73888 319243 | 2147483647 139902 37 | 0.000 % |
727.58/727.55 c | 246235 | 763 73888 319243 | 2147483647 141306 37 | 0.000 % |
732.69/732.62 c | 247776 | 763 73888 319243 | 2147483647 142847 37 | 0.000 % |
738.39/738.33 c | 249472 | 763 73888 319243 | 2147483647 144543 37 | 0.000 % |
745.89/745.82 c | 251335 | 763 73888 319243 | 2147483647 146406 37 | 0.000 % |
754.09/754.11 c | 253384 | 763 73888 319243 | 2147483647 148455 37 | 0.000 % |
761.49/761.41 c | 255638 | 763 73888 319243 | 2147483647 150709 37 | 0.000 % |
769.39/769.39 c | 258117 | 763 73888 319243 | 2147483647 153188 37 | 0.000 % |
769.69/769.70 c | 258218 | 763 73888 319243 | 2147483647 153289 37 | 0.000 % |
770.19/770.17 c | 258330 | 763 73888 319243 | 2147483647 153401 37 | 0.000 % |
770.79/770.80 c | 258452 | 763 73888 319243 | 2147483647 153523 37 | 0.000 % |
771.59/771.55 c | 258586 | 763 73888 319243 | 2147483647 153657 37 | 0.000 % |
772.29/772.26 c | 258734 | 763 73888 319243 | 2147483647 153805 37 | 0.000 % |
772.89/772.86 c | 258894 | 763 73888 319243 | 2147483647 153965 37 | 0.000 % |
773.49/773.49 c | 259070 | 763 73888 319243 | 2147483647 154141 37 | 0.000 % |
774.69/774.69 c | 259265 | 763 73888 319243 | 2147483647 154336 37 | 0.000 % |
775.79/775.75 c | 259480 | 763 73888 319243 | 2147483647 154551 37 | 0.000 % |
776.59/776.54 c | 259715 | 763 73888 319243 | 2147483647 154786 37 | 0.000 % |
777.59/777.51 c | 259971 | 763 73888 319243 | 2147483647 155042 37 | 0.000 % |
779.19/779.21 c | 260254 | 763 73888 319243 | 155073 135010 37 | 0.000 % |
780.19/780.18 c | 260566 | 763 73888 319243 | 155073 135322 37 | 0.000 % |
781.79/781.80 c | 260905 | 763 73888 319243 | 155073 135661 37 | 0.000 % |
783.39/783.34 c | 261277 | 763 73888 319243 | 155073 136033 37 | 0.000 % |
784.69/784.63 c | 261686 | 763 73888 319243 | 155073 136442 37 | 0.000 % |
786.49/786.46 c | 262135 | 763 73888 319243 | 155073 136891 37 | 0.000 % |
788.19/788.12 c | 262631 | 763 73888 319243 | 155073 137387 37 | 0.000 % |
790.39/790.39 c | 263173 | 763 73888 319243 | 155073 137929 37 | 0.000 % |
792.79/792.75 c | 263772 | 763 73888 319243 | 155073 138528 37 | 0.000 % |
795.49/795.46 c | 264430 | 763 73888 319243 | 155073 139186 37 | 0.000 % |
798.79/798.74 c | 265152 | 763 73888 319243 | 155073 139908 37 | 0.000 % |
801.79/801.80 c | 265944 | 763 73888 319243 | 155073 140700 37 | 0.000 % |
805.30/805.26 c | 266816 | 763 73888 319243 | 155073 141572 37 | 0.000 % |
808.19/808.13 c | 267774 | 763 73888 319243 | 155073 142530 37 | 0.000 % |
811.90/811.87 c | 268828 | 763 73888 319243 | 155073 143584 37 | 0.000 % |
816.20/816.19 c | 269986 | 763 73888 319243 | 155073 144742 37 | 0.000 % |
820.40/820.36 c | 271259 | 763 73888 319243 | 2147483647 146015 37 | 0.000 % |
824.50/824.43 c | 272660 | 763 73888 319243 | 2147483647 147416 37 | 0.000 % |
828.30/828.28 c | 274200 | 763 73888 319243 | 2147483647 148956 37 | 0.000 % |
834.40/834.33 c | 275896 | 763 73888 319243 | 2147483647 150652 37 | 0.000 % |
839.80/839.80 c | 277761 | 763 73888 319243 | 2147483647 152517 37 | 0.000 % |
846.20/846.21 c | 279810 | 763 73888 319243 | 2147483647 154566 37 | 0.000 % |
852.30/852.30 c | 282066 | 763 73888 319243 | 2147483647 156822 37 | 0.000 % |
863.61/863.60 c | 284544 | 763 73888 319243 | 2147483647 159300 37 | 0.000 % |
876.30/876.24 c | 287271 | 763 73888 319243 | 2147483647 162027 37 | 0.000 % |
876.60/876.54 c | 287372 | 763 73888 319243 | 2147483647 162128 37 | 0.000 % |
876.90/876.89 c | 287483 | 763 73888 319243 | 2147483647 162239 37 | 0.000 % |
877.40/877.39 c | 287604 | 763 73888 319243 | 2147483647 162360 37 | 0.000 % |
877.80/877.79 c | 287737 | 763 73888 319243 | 2147483647 162493 37 | 0.000 % |
878.40/878.34 c | 287883 | 763 73888 319243 | 2147483647 162639 37 | 0.000 % |
878.90/878.90 c | 288043 | 763 73888 319243 | 2147483647 162799 37 | 0.000 % |
880.11/880.09 c | 288219 | 763 73888 319243 | 2147483647 162975 37 | 0.000 % |
880.80/880.77 c | 288413 | 763 73888 319243 | 2147483647 163169 37 | 0.000 % |
882.00/881.96 c | 288625 | 763 73888 319243 | 2147483647 163381 37 | 0.000 % |
883.10/883.02 c | 288858 | 763 73888 319243 | 2147483647 163614 37 | 0.000 % |
884.10/884.02 c | 289114 | 763 73888 319243 | 2147483647 163870 37 | 0.000 % |
884.90/884.89 c | 289396 | 763 73888 319243 | 2147483647 164152 37 | 0.000 % |
886.20/886.17 c | 289705 | 763 73888 319243 | 2147483647 164461 37 | 0.000 % |
887.90/887.85 c | 290044 | 763 73888 319243 | 2147483647 164800 37 | 0.000 % |
890.30/890.26 c | 290417 | 763 73888 319243 | 2147483647 165173 37 | 0.000 % |
893.50/893.48 c | 290826 | 763 73888 319243 | 2147483647 165582 37 | 0.000 % |
896.50/896.43 c | 291275 | 763 73888 319243 | 2147483647 166031 37 | 0.000 % |
899.60/899.60 c | 291768 | 763 73888 319243 | 2147483647 166524 37 | 0.000 % |
903.00/902.94 c | 292310 | 763 73888 319243 | 2147483647 167066 37 | 0.000 % |
906.50/906.44 c | 292906 | 763 73888 319243 | 2147483647 167662 37 | 0.000 % |
909.80/909.77 c | 293561 | 763 73888 319243 | 2147483647 168317 37 | 0.000 % |
912.80/912.71 c | 294284 | 763 73888 319243 | 2147483647 169040 37 | 0.000 % |
915.50/915.49 c | 295076 | 763 73888 319243 | 2147483647 169832 37 | 0.000 % |
921.10/921.01 c | 295948 | 763 73888 319243 | 2147483647 170704 37 | 0.000 % |
928.00/927.92 c | 296906 | 763 73888 319243 | 2147483647 171662 37 | 0.000 % |
934.60/934.56 c | 297959 | 763 73888 319243 | 2147483647 172715 37 | 0.000 % |
940.50/940.50 c | 299117 | 763 73888 319243 | 2147483647 173873 37 | 0.000 % |
947.00/946.97 c | 300390 | 763 73888 319243 | 174758 137226 38 | 0.000 % |
953.81/953.72 c | 301792 | 763 73888 319243 | 174758 138628 38 | 0.000 % |
961.51/961.45 c | 303334 | 763 73888 319243 | 174758 140170 38 | 0.000 % |
970.70/970.64 c | 305029 | 763 73888 319243 | 174758 141865 38 | 0.000 % |
981.61/981.54 c | 306893 | 763 73888 319243 | 174758 143729 38 | 0.000 % |
992.01/991.93 c | 308943 | 763 73888 319243 | 174758 145779 38 | 0.000 % |
1001.71/1001.69 c | 311197 | 763 73888 319243 | 146837 120460 37 | 0.000 % |
1006.71/1006.64 c | 313675 | 763 73888 319243 | 146837 122938 37 | 0.000 % |
1015.81/1015.72 c | 316401 | 763 73888 319243 | 146837 125664 37 | 0.000 % |
1024.71/1024.69 c | 319398 | 763 73888 319243 | 146837 128661 37 | 0.000 % |
1025.32/1025.22 c | 319499 | 763 73888 319243 | 146837 128762 37 | 0.000 % |
1025.91/1025.84 c | 319609 | 763 73888 319243 | 146837 128872 37 | 0.000 % |
1026.42/1026.37 c | 319731 | 763 73888 319243 | 146837 128994 37 | 0.000 % |
1027.01/1026.95 c | 319864 | 763 73888 319243 | 146837 129127 37 | 0.000 % |
1027.52/1027.44 c | 320010 | 763 73888 319243 | 129263 129273 37 | 0.000 % |
1028.81/1028.72 c | 320170 | 763 73888 319243 | 129263 107929 37 | 0.000 % |
1029.51/1029.47 c | 320350 | 763 73888 319243 | 129263 108109 37 | 0.000 % |
1030.21/1030.15 c | 320545 | 763 73888 319243 | 129263 108304 37 | 0.000 % |
1030.82/1030.76 c | 320760 | 763 73888 319243 | 129263 108519 37 | 0.000 % |
1031.71/1031.67 c | 320995 | 763 73888 319243 | 129263 108754 37 | 0.000 % |
1032.51/1032.46 c | 321252 | 763 73888 319243 | 129263 109011 37 | 0.000 % |
1033.21/1033.15 c | 321533 | 763 73888 319243 | 129263 109292 37 | 0.000 % |
1034.41/1034.40 c | 321844 | 763 73888 319243 | 129263 109603 37 | 0.000 % |
1035.71/1035.69 c | 322183 | 763 73888 319243 | 129263 109942 37 | 0.000 % |
1036.91/1036.89 c | 322556 | 763 73888 319243 | 129263 110315 37 | 0.000 % |
1038.91/1038.83 c | 322967 | 763 73888 319243 | 129263 110726 37 | 0.000 % |
1041.31/1041.24 c | 323416 | 763 73888 319243 | 129263 111175 37 | 0.000 % |
1043.71/1043.70 c | 323909 | 763 73888 319243 | 129263 111668 37 | 0.000 % |
1046.71/1046.69 c | 324451 | 763 73888 319243 | 129263 112210 37 | 0.000 % |
1049.11/1049.07 c | 325047 | 763 73888 319243 | 129263 112806 37 | 0.000 % |
1052.82/1052.76 c | 325703 | 763 73888 319243 | 129263 113462 37 | 0.000 % |
1056.31/1056.22 c | 326425 | 763 73888 319243 | 129263 114184 37 | 0.000 % |
1059.61/1059.58 c | 327218 | 763 73888 319243 | 129263 114977 37 | 0.000 % |
1063.02/1063.00 c | 328091 | 763 73888 319243 | 129263 115850 37 | 0.000 % |
1068.22/1068.19 c | 329050 | 763 73888 319243 | 129263 116809 37 | 0.000 % |
1074.32/1074.28 c | 330103 | 763 73888 319243 | 117759 97781 37 | 0.000 % |
1077.82/1077.74 c | 331261 | 763 73888 319243 | 117759 98939 37 | 0.000 % |
1082.22/1082.12 c | 332534 | 763 73888 319243 | 117759 100212 37 | 0.000 % |
1087.72/1087.70 c | 333935 | 763 73888 319243 | 117759 101613 37 | 0.000 % |
1092.32/1092.27 c | 335476 | 763 73888 319243 | 117759 103154 37 | 0.000 % |
1096.12/1096.04 c | 337171 | 763 73888 319243 | 117759 104849 37 | 0.000 % |
1098.82/1098.78 c | 339035 | 763 73888 319243 | 117759 106713 37 | 0.000 % |
1107.22/1107.12 c | 341086 | 763 73888 319243 | 2147483647 108764 37 | 0.000 % |
1116.22/1116.14 c | 343339 | 763 73888 319243 | 2147483647 111017 37 | 0.000 % |
1124.62/1124.52 c | 345820 | 763 73888 319243 | 2147483647 113498 37 | 0.000 % |
1132.82/1132.72 c | 348552 | 763 73888 319243 | 2147483647 116230 37 | 0.000 % |
1144.03/1143.98 c | 351549 | 763 73888 319243 | 117678 103835 37 | 0.000 % |
1155.83/1155.80 c | 354850 | 763 73888 319243 | 117678 107136 37 | 0.000 % |
1156.23/1156.18 c | 354952 | 763 73888 319243 | 117678 107238 37 | 0.000 % |
1156.53/1156.50 c | 355062 | 763 73888 319243 | 117678 107348 37 | 0.000 % |
1157.13/1157.11 c | 355183 | 763 73888 319243 | 117678 107469 37 | 0.000 % |
1157.73/1157.65 c | 355317 | 763 73888 319243 | 117678 107603 37 | 0.000 % |
1158.23/1158.18 c | 355466 | 763 73888 319243 | 117678 107752 37 | 0.000 % |
1158.93/1158.85 c | 355627 | 763 73888 319243 | 117678 107913 37 | 0.000 % |
1159.63/1159.53 c | 355803 | 763 73888 319243 | 117678 108089 37 | 0.000 % |
1160.13/1160.04 c | 355997 | 763 73888 319243 | 117678 108283 37 | 0.000 % |
1160.73/1160.69 c | 356210 | 763 73888 319243 | 117678 108496 37 | 0.000 % |
1161.53/1161.51 c | 356445 | 763 73888 319243 | 117678 108731 37 | 0.000 % |
1162.63/1162.56 c | 356703 | 763 73888 319243 | 117678 108989 37 | 0.000 % |
1163.73/1163.67 c | 356984 | 763 73888 319243 | 117678 109270 37 | 0.000 % |
1165.03/1164.94 c | 357293 | 763 73888 319243 | 117678 109579 37 | 0.000 % |
1166.33/1166.23 c | 357632 | 763 73888 319243 | 117678 109918 37 | 0.000 % |
1167.63/1167.53 c | 358004 | 763 73888 319243 | 117678 110290 37 | 0.000 % |
1169.33/1169.23 c | 358413 | 763 73888 319243 | 117678 110699 37 | 0.000 % |
1171.33/1171.28 c | 358862 | 763 73888 319243 | 117678 111148 37 | 0.000 % |
1173.53/1173.51 c | 359355 | 763 73888 319243 | 117678 111641 37 | 0.000 % |
1175.83/1175.73 c | 359898 | 763 73888 319243 | 117678 112184 37 | 0.000 % |
1178.03/1177.98 c | 360497 | 763 73888 319243 | 2147483647 112783 37 | 0.000 % |
1180.73/1180.64 c | 361152 | 763 73888 319243 | 2147483647 113438 37 | 0.000 % |
1183.63/1183.60 c | 361873 | 763 73888 319243 | 2147483647 114159 37 | 0.000 % |
1186.13/1186.05 c | 362665 | 763 73888 319243 | 2147483647 114951 37 | 0.000 % |
1188.63/1188.59 c | 363538 | 763 73888 319243 | 2147483647 115824 37 | 0.000 % |
1191.83/1191.81 c | 364496 | 763 73888 319243 | 2147483647 116782 37 | 0.000 % |
1195.23/1195.20 c | 365550 | 763 73888 319243 | 2147483647 117836 37 | 0.000 % |
1200.03/1199.92 HOME/SatELiteGTI: line 36: 20260 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821682-1242551859/watcher-1821682-1242551859 -o /tmp/evaluation-result-1821682-1242551859/solver-1821682-1242551859 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821682-1242551859.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.04 1.01 2/93 20254
/proc/meminfo: memFree=457872/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2416 CPUtime=0.01
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 366 647 0 0 0 0 1 0 18 0 1 0 1019686986 2473984 276 4294967295 134512640 135169312 3218264192 3218262728 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20254/statm: 604 276 235 161 0 43 0
[pid=20258] ppid=20254 vsize=816 CPUtime=0
/proc/20258/stat : 20258 (SatELite_releas) R 20254 20254 20977 0 -1 4194304 75 0 0 0 0 0 0 0 20 0 1 0 1019686987 835584 11 4294967295 134512640 135223648 3220007440 3220007228 134737824 0 0 0 0 0 0 0 17 0 0 0 0
/proc/20258/statm: 205 23 17 174 0 30 0
[startup+0.032604 s]
/proc/loadavg: 1.00 1.04 1.01 2/93 20254
/proc/meminfo: memFree=457872/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2416 CPUtime=0.01
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 366 647 0 0 0 0 1 0 18 0 1 0 1019686986 2473984 276 4294967295 134512640 135169312 3218264192 3218262728 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20254/statm: 604 276 235 161 0 43 0
[pid=20258] ppid=20254 vsize=3456 CPUtime=0.03
/proc/20258/stat : 20258 (SatELite_releas) R 20254 20254 20977 0 -1 4202496 746 0 0 0 3 0 0 0 20 0 1 0 1019686987 3538944 682 4294967295 134512640 135223648 3220007440 3220006392 134737310 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 864 683 46 174 0 689 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5872
[startup+0.122595 s]
/proc/loadavg: 1.00 1.04 1.01 2/93 20254
/proc/meminfo: memFree=457872/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2416 CPUtime=0.01
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 366 647 0 0 0 0 1 0 18 0 1 0 1019686986 2473984 276 4294967295 134512640 135169312 3218264192 3218262728 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20254/statm: 604 276 235 161 0 43 0
[pid=20258] ppid=20254 vsize=7052 CPUtime=0.12
/proc/20258/stat : 20258 (SatELite_releas) R 20254 20254 20977 0 -1 4202496 1633 0 0 0 11 1 0 0 21 0 1 0 1019686987 7221248 1569 4294967295 134512640 135223648 3220007440 3220005216 134585512 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 1763 1569 73 174 0 1588 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 9468
[startup+0.322575 s]
/proc/loadavg: 1.00 1.04 1.01 2/93 20254
/proc/meminfo: memFree=457872/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2416 CPUtime=0.01
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 366 647 0 0 0 0 1 0 18 0 1 0 1019686986 2473984 276 4294967295 134512640 135169312 3218264192 3218262728 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20254/statm: 604 276 235 161 0 43 0
[pid=20258] ppid=20254 vsize=9376 CPUtime=0.32
/proc/20258/stat : 20258 (SatELite_releas) R 20254 20254 20977 0 -1 4202496 2097 0 0 0 30 2 0 0 21 0 1 0 1019686987 9601024 2033 4294967295 134512640 135223648 3220007440 3220005536 134585544 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 2344 2033 73 174 0 2169 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 11792
[startup+0.722534 s]
/proc/loadavg: 1.00 1.04 1.01 2/93 20254
/proc/meminfo: memFree=457872/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2416 CPUtime=0.01
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 366 647 0 0 0 0 1 0 18 0 1 0 1019686986 2473984 276 4294967295 134512640 135169312 3218264192 3218262728 3085147886 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/20254/statm: 604 276 235 161 0 43 0
[pid=20258] ppid=20254 vsize=9376 CPUtime=0.72
/proc/20258/stat : 20258 (SatELite_releas) R 20254 20254 20977 0 -1 4202496 2097 0 0 0 70 2 0 0 22 0 1 0 1019686987 9601024 2033 4294967295 134512640 135223648 3220007440 3220005536 134585544 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20258/statm: 2344 2033 73 174 0 2169 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 11792
[startup+1.52246 s]
/proc/loadavg: 1.00 1.04 1.01 2/95 20260
/proc/meminfo: memFree=450904/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=5896 CPUtime=0.68
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 1392 0 0 0 66 2 0 0 22 0 1 0 1019687071 6037504 1326 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20260/statm: 1474 1326 73 172 0 1301 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 8316
[startup+3.12231 s]
/proc/loadavg: 1.08 1.05 1.01 5/96 20360
/proc/meminfo: memFree=449872/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=6432 CPUtime=2.28
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 1529 0 0 0 226 2 0 0 25 0 1 0 1019687071 6586368 1463 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20260/statm: 1608 1463 73 172 0 1435 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 8852
[startup+6.32198 s]
/proc/loadavg: 1.08 1.05 1.01 2/95 20443
/proc/meminfo: memFree=449312/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=7488 CPUtime=5.47
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 1811 0 0 0 545 2 0 0 25 0 1 0 1019687071 7667712 1745 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 1872 1745 73 172 0 1699 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9908
[startup+12.7214 s]
/proc/loadavg: 1.07 1.05 1.01 2/95 20443
/proc/meminfo: memFree=447424/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=9212 CPUtime=11.87
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 2237 0 0 0 1185 2 0 0 25 0 1 0 1019687071 9433088 2171 4294967295 134512640 135215339 3213562960 3213561248 134528881 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 2303 2171 73 172 0 2130 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 11632
[startup+25.5201 s]
/proc/loadavg: 1.06 1.05 1.01 2/95 20445
/proc/meminfo: memFree=444328/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=12304 CPUtime=24.67
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 2993 0 0 0 2465 2 0 0 25 0 1 0 1019687071 12599296 2927 4294967295 134512640 135215339 3213562960 3213561248 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 3076 2927 73 172 0 2903 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 14724
[startup+51.1176 s]
/proc/loadavg: 1.04 1.04 1.01 2/95 20447
/proc/meminfo: memFree=440408/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=16304 CPUtime=50.27
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 3975 0 0 0 5024 3 0 0 25 0 1 0 1019687071 16695296 3909 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 4076 3909 73 172 0 3903 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 18724
[startup+102.323 s]
/proc/loadavg: 1.05 1.05 1.01 2/95 20634
/proc/meminfo: memFree=436004/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=20672 CPUtime=101.48
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 5049 0 0 0 10143 5 0 0 25 0 1 0 1019687071 21168128 4983 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 5168 4983 73 172 0 4995 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 23092
[startup+162.327 s]
/proc/loadavg: 1.02 1.04 1.00 3/95 20821
/proc/meminfo: memFree=430400/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=26456 CPUtime=161.49
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 6396 0 0 0 16144 5 0 0 25 0 1 0 1019687071 27090944 6330 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 6614 6330 73 172 0 6441 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 28876
[startup+222.311 s]
/proc/loadavg: 1.14 1.06 1.01 3/95 21013
/proc/meminfo: memFree=429944/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=26680 CPUtime=221.48
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 6456 0 0 0 22143 5 0 0 25 0 1 0 1019687071 27320320 6390 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 6670 6390 73 172 0 6497 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 29100
[startup+282.315 s]
/proc/loadavg: 1.05 1.05 1.00 3/95 21206
/proc/meminfo: memFree=429656/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=26972 CPUtime=281.49
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 6515 0 0 0 28144 5 0 0 25 0 1 0 1019687071 27619328 6449 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 6743 6449 73 172 0 6570 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 29392
[startup+342.319 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 21397
/proc/meminfo: memFree=428440/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=28632 CPUtime=341.5
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 6926 0 0 0 34144 6 0 0 25 0 1 0 1019687071 29319168 6860 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 7158 6860 73 172 0 6985 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
[pid=20260] ppid=20254 vsize=35364 CPUtime=521.52
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 8574 0 0 0 52144 8 0 0 25 0 1 0 1019687071 36212736 8508 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 8841 8508 73 172 0 8668 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 37784
[startup+582.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 22147
/proc/meminfo: memFree=421900/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=35544 CPUtime=581.52
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 8629 0 0 0 58144 8 0 0 25 0 1 0 1019687071 36397056 8563 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 8886 8563 73 172 0 8713 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 37964
[startup+642.309 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 22340
/proc/meminfo: memFree=421488/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=35756 CPUtime=641.52
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 8671 0 0 0 64144 8 0 0 25 0 1 0 1019687071 36614144 8605 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 8939 8605 73 172 0 8766 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 38176
[startup+702.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 22527
/proc/meminfo: memFree=421040/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=36592 CPUtime=701.53
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 8871 0 0 0 70145 8 0 0 25 0 1 0 1019687071 37470208 8805 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 9148 8805 73 172 0 8975 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 39012
[startup+762.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 22714
/proc/meminfo: memFree=418808/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=39108 CPUtime=761.54
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 9456 0 0 0 76146 8 0 0 25 0 1 0 1019687071 40046592 9390 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 9777 9390 73 172 0 9604 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 41528
[startup+822.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 22903
/proc/meminfo: memFree=417164/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=40896 CPUtime=821.55
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 9866 0 0 0 82146 9 0 0 25 0 1 0 1019687071 41877504 9800 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 10224 9800 73 172 0 10051 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 43316
[startup+882.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23090
/proc/meminfo: memFree=415956/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=42280 CPUtime=881.55
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10180 0 0 0 88146 9 0 0 25 0 1 0 1019687071 43294720 10114 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 10570 10114 73 172 0 10397 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 44700
[startup+942.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23279
/proc/meminfo: memFree=414220/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=44288 CPUtime=941.55
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10669 0 0 0 94146 9 0 0 25 0 1 0 1019687071 45350912 10603 4294967295 134512640 135215339 3213562960 3213561248 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11072 10603 73 172 0 10899 0
Current children cumulated CPU time (s) 942.4
Current children cumulated vsize (KiB) 46708
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 23470
/proc/meminfo: memFree=413360/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=44732 CPUtime=1001.56
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10803 0 0 0 100147 9 0 0 25 0 1 0 1019687071 45805568 10737 4294967295 134512640 135215339 3213562960 3213561248 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11183 10737 73 172 0 11010 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 47152
[startup+1062.32 s]
/proc/loadavg: 1.04 1.01 1.00 3/95 23657
/proc/meminfo: memFree=413056/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=45096 CPUtime=1061.57
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10876 0 0 0 106148 9 0 0 25 0 1 0 1019687071 46178304 10810 4294967295 134512640 135215339 3213562960 3213561248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11274 10810 73 172 0 11101 0
Current children cumulated CPU time (s) 1062.42
Current children cumulated vsize (KiB) 47516
[startup+1122.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 23846
/proc/meminfo: memFree=413244/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=45412 CPUtime=1121.57
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10920 0 0 0 112148 9 0 0 25 0 1 0 1019687071 46501888 10854 4294967295 134512640 135215339 3213562960 3213561248 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11353 10854 73 172 0 11180 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 47832
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24033
/proc/meminfo: memFree=413080/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=45412 CPUtime=1181.58
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10949 0 0 0 118149 9 0 0 25 0 1 0 1019687071 46501888 10883 4294967295 134512640 135215339 3213562960 3213561248 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11353 10883 73 172 0 11180 0
Current children cumulated CPU time (s) 1182.43
Current children cumulated vsize (KiB) 47832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24035
/proc/meminfo: memFree=412956/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=45600 CPUtime=1199.18
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10989 0 0 0 119909 9 0 0 25 0 1 0 1019687071 46694400 10923 4294967295 134512640 135215339 3213562960 3213561248 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11400 10923 73 172 0 11227 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 48020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24035
/proc/meminfo: memFree=412956/2074464 swapFree=1951864/1959888
[pid=20254] ppid=20252 vsize=2420 CPUtime=0.85
/proc/20254/stat : 20254 (SatELiteGTI) S 20252 20254 20977 0 -1 4194304 386 2748 0 0 0 0 83 2 18 0 1 0 1019686986 2478080 278 4294967295 134512640 135169312 3218264192 3218260408 3085147886 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20254/statm: 605 278 235 161 0 44 0
[pid=20260] ppid=20254 vsize=45600 CPUtime=1199.18
/proc/20260/stat : 20260 (minisat_static) R 20254 20254 20977 0 -1 4202496 10989 0 0 0 119909 9 0 0 25 0 1 0 1019687071 46694400 10923 4294967295 134512640 135215339 3213562960 3213561248 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20260/statm: 11400 10923 73 172 0 11227 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 48020
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.04
CPU user time (s): 1199.92
CPU system time (s): 0.12
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 48020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.12
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14398
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= 20
involuntary context switches= 1992
runsolver used 0.01 second user time and 0.01 second system time
The end
Begin job on tipi10 at 2009-05-17 11:17:39
IDJOB=1821682
IDBENCH=71065
IDSOLVER=657
FILE ID=tipi10/1821682-1242551859
PBS_JOBID=
Free space on /tmp= 3862 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rpoc_xits_08_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821682-1242551859/watcher-1821682-1242551859 -o /tmp/evaluation-result-1821682-1242551859/solver-1821682-1242551859 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821682-1242551859.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0b7170d33b896e8b879b19b65ac5c517
RANDOM SEED= 36529828
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 457888 kB
Buffers: 44184 kB
Cached: 1437556 kB
SwapCached: 2732 kB
Active: 603864 kB
Inactive: 887776 kB
HighTotal: 1178688 kB
HighFree: 123148 kB
LowTotal: 895776 kB
LowFree: 334740 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 2988 kB
Writeback: 0 kB
AnonPages: 9248 kB
Mapped: 3248 kB
Slab: 115332 kB
PageTables: 544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90584 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3862 MiB
End job on tipi10 at 2009-05-17 11:37:39