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 | 104640 311346 | 31391 0 0 nan | 0.000 % |
0.72/0.76 c | 0 | 103841 441767 | -- 0 -- -- | -- | -799/130421
0.72/0.76 c ==============================================================================
0.72/0.76 c Result : #vars: 1091 #clauses: 103841 #literals: 441767
0.72/0.76 c CPU time: 0.75 s
0.72/0.76 c ==============================================================================
0.82/0.90 c This is MiniSat 2.0 beta
0.82/0.90 c WARNING: for repeatability, setting FPU to use double precision
0.82/0.90 c ============================[ Problem Statistics ]=============================
0.82/0.90 c | |
0.82/0.90 c | Number of variables: 1091 |
0.82/0.90 c | Number of clauses: 103841 |
0.90/0.96 c | Parsing time: 0.06 s |
0.90/0.97 c ============================[ Search Statistics ]==============================
0.90/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.90/0.97 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.90/0.97 c ===============================================================================
0.90/0.97 c | 0 | 1091 103841 441767 | 34613 0 nan | 0.000 % |
1.02/1.03 c | 101 | 1091 103841 441767 | 34613 101 58 | 0.000 % |
1.02/1.06 c | 202 | 1091 103841 441767 | 34613 202 56 | 0.000 % |
1.02/1.09 c | 302 | 1091 103841 441767 | 34613 302 56 | 0.000 % |
1.13/1.14 c | 413 | 1091 103841 441767 | 34613 413 56 | 0.000 % |
1.13/1.17 c | 514 | 1091 103841 441767 | 34613 514 58 | 0.000 % |
1.13/1.20 c | 624 | 1091 103841 441767 | 34613 624 58 | 0.000 % |
1.22/1.24 c | 749 | 1091 103841 441767 | 34613 749 58 | 0.000 % |
1.22/1.28 c | 849 | 1091 103841 441767 | 34613 849 58 | 0.000 % |
1.32/1.32 c | 960 | 1091 103841 441767 | 34613 960 58 | 0.000 % |
1.32/1.35 c | 1081 | 1091 103841 441767 | 34613 1081 59 | 0.000 % |
1.42/1.42 c | 1214 | 1091 103841 441767 | 34613 1214 60 | 0.000 % |
1.42/1.45 c | 1315 | 1091 103841 441767 | 34613 1315 60 | 0.000 % |
1.42/1.49 c | 1425 | 1091 103841 441767 | 34613 1425 59 | 0.000 % |
1.52/1.53 c | 1547 | 1091 103841 441767 | 34613 1547 59 | 0.000 % |
1.62/1.61 c | 1682 | 1091 103841 441767 | 34613 1682 58 | 0.000 % |
1.62/1.65 c | 1828 | 1091 103841 441767 | 34613 1828 58 | 0.000 % |
1.62/1.70 c | 1928 | 1091 103841 441767 | 34613 1928 58 | 0.000 % |
1.72/1.74 c | 2039 | 1091 103841 441767 | 34613 2039 59 | 0.000 % |
1.72/1.78 c | 2161 | 1091 103841 441767 | 34613 2161 59 | 0.000 % |
1.82/1.82 c | 2294 | 1091 103841 441767 | 34613 2294 60 | 0.000 % |
1.82/1.88 c | 2441 | 1091 103841 441767 | 34613 2441 60 | 0.000 % |
1.92/1.96 c | 2603 | 1091 103841 441767 | 34613 2603 61 | 0.000 % |
1.92/2.01 c | 2704 | 1091 103841 441767 | 34613 2704 61 | 0.000 % |
2.02/2.04 c | 2814 | 1091 103841 441767 | 34613 2814 61 | 0.000 % |
2.12/2.13 c | 2936 | 1091 103841 441767 | 34613 2936 61 | 0.000 % |
2.23/2.22 c | 3070 | 1091 103841 441767 | 34613 3070 59 | 0.000 % |
2.32/2.33 c | 3216 | 1091 103841 441767 | 34613 3216 60 | 0.000 % |
2.32/2.40 c | 3377 | 1091 103841 441767 | 34613 3377 61 | 0.000 % |
2.42/2.47 c | 3555 | 1091 103841 441767 | 34613 3555 61 | 0.000 % |
2.52/2.51 c | 3655 | 1091 103841 441767 | 34613 3655 62 | 0.000 % |
2.52/2.57 c | 3767 | 1091 103841 441767 | 34613 3767 62 | 0.000 % |
2.52/2.61 c | 3889 | 1091 103841 441767 | 34613 3889 62 | 0.000 % |
2.62/2.66 c | 4024 | 1091 103841 441767 | 34613 4024 62 | 0.000 % |
2.72/2.76 c | 4170 | 1091 103841 441767 | 34613 4170 63 | 0.000 % |
2.82/2.83 c | 4331 | 1091 103841 441767 | 34613 4331 63 | 0.000 % |
2.82/2.88 c | 4507 | 1091 103841 441767 | 34613 4507 63 | 0.001 % |
2.92/2.94 c | 4701 | 1091 103841 441767 | 34613 4701 63 | 0.000 % |
2.92/2.98 c | 4802 | 1091 103841 441767 | 34613 4802 63 | 0.000 % |
3.02/3.03 c | 4913 | 1091 103841 441767 | 34613 4913 63 | 0.000 % |
3.02/3.08 c | 5034 | 1091 103841 441767 | 34613 5034 63 | 0.000 % |
3.12/3.14 c | 5167 | 1091 103841 441767 | 34613 5167 63 | 0.000 % |
3.12/3.19 c | 5313 | 1091 103841 441767 | 34613 5313 63 | 0.000 % |
3.22/3.25 c | 5474 | 1091 103841 441767 | 34613 5474 64 | 0.000 % |
3.33/3.33 c | 5650 | 1091 103841 441767 | 34613 5650 64 | 0.000 % |
3.42/3.42 c | 5843 | 1091 103841 441767 | 34613 5843 64 | 0.000 % |
3.42/3.51 c | 6057 | 1091 103841 441767 | 34613 6057 64 | 0.000 % |
3.52/3.56 c | 6161 | 1091 103841 441767 | 34613 6161 64 | 0.000 % |
3.52/3.60 c | 6273 | 1091 103841 441767 | 34613 6273 64 | 0.000 % |
3.62/3.66 c | 6394 | 1091 103841 441767 | 34613 6394 64 | 0.000 % |
3.72/3.72 c | 6528 | 1091 103841 441767 | 34613 6528 64 | 0.000 % |
3.72/3.80 c | 6675 | 1091 103841 441767 | 34613 6675 64 | 0.000 % |
3.82/3.86 c | 6836 | 1091 103841 441767 | 34613 6836 64 | 0.000 % |
3.92/3.94 c | 7013 | 1091 103841 441767 | 34613 7013 63 | 0.000 % |
4.02/4.08 c | 7206 | 1091 103841 441767 | 34613 7206 63 | 0.000 % |
4.12/4.21 c | 7423 | 1091 103841 441767 | 34613 7423 63 | 0.000 % |
4.22/4.26 c | 7659 | 1091 103841 441767 | 34613 7659 62 | 0.001 % |
4.32/4.33 c | 7760 | 1091 103841 441767 | 34613 7760 62 | 0.000 % |
4.32/4.37 c | 7870 | 1091 103841 441767 | 34613 7870 62 | 0.000 % |
4.43/4.44 c | 7994 | 1091 103841 441767 | 34613 7994 62 | 0.000 % |
4.43/4.49 c | 8131 | 1091 103841 441767 | 34613 8131 62 | 0.000 % |
4.52/4.53 c | 8277 | 1091 103841 441767 | 34613 8277 62 | 0.000 % |
4.62/4.61 c | 8440 | 1091 103841 441767 | 34613 8440 62 | 0.000 % |
4.62/4.68 c | 8617 | 1091 103841 441767 | 34613 8617 62 | 0.000 % |
4.72/4.78 c | 8811 | 1091 103841 441767 | 34613 8811 62 | 0.000 % |
4.82/4.90 c | 9023 | 1091 103841 441767 | 34613 9023 63 | 0.000 % |
5.02/5.04 c | 9257 | 1091 103841 441767 | 34613 9257 63 | 0.000 % |
5.12/5.20 c | 9514 | 1091 103841 441767 | 34613 9514 63 | 0.000 % |
5.22/5.27 c | 9614 | 1091 103841 441767 | 34613 9614 63 | 0.000 % |
5.32/5.34 c | 9724 | 1091 103841 441767 | 34613 9724 63 | 0.000 % |
5.42/5.42 c | 9846 | 1091 103841 441767 | 34613 9846 63 | 0.000 % |
5.42/5.47 c | 9981 | 1091 103841 441767 | 34613 9981 63 | 0.000 % |
5.53/5.55 c | 10127 | 1091 103841 441767 | 2147483647 10127 63 | 0.000 % |
5.53/5.61 c | 10289 | 1091 103841 441767 | 2147483647 10289 63 | 0.000 % |
5.62/5.65 c | 10466 | 1091 103841 441767 | 2147483647 10466 63 | 0.000 % |
5.62/5.70 c | 10660 | 1091 103841 441767 | 2147483647 10660 63 | 0.000 % |
5.72/5.75 c | 10872 | 1091 103841 441767 | 2147483647 10872 63 | 0.000 % |
5.82/5.81 c | 11106 | 1091 103841 441767 | 2147483647 11106 63 | 0.000 % |
5.82/5.90 c | 11363 | 1091 103841 441767 | 2147483647 11363 63 | 0.000 % |
6.02/6.05 c | 11644 | 1091 103841 441767 | 2147483647 11644 64 | 0.000 % |
6.02/6.10 c | 11745 | 1091 103841 441767 | 2147483647 11745 64 | 0.000 % |
6.12/6.18 c | 11855 | 1091 103841 441767 | 2147483647 11855 64 | 0.000 % |
6.22/6.24 c | 11979 | 1091 103841 441767 | 2147483647 11979 64 | 0.000 % |
6.32/6.31 c | 12114 | 1091 103841 441767 | 2147483647 12114 64 | 0.000 % |
6.42/6.43 c | 12261 | 1091 103841 441767 | 2147483647 12261 64 | 0.000 % |
6.52/6.52 c | 12421 | 1091 103841 441767 | 2147483647 12421 64 | 0.000 % |
6.52/6.61 c | 12598 | 1091 103841 441767 | 2147483647 12598 64 | 0.000 % |
6.72/6.77 c | 12792 | 1091 103841 441767 | 2147483647 12792 64 | 0.000 % |
6.82/6.88 c | 13005 | 1091 103841 441767 | 2147483647 13005 64 | 0.000 % |
7.02/7.05 c | 13241 | 1091 103841 441767 | 2147483647 13241 64 | 0.000 % |
7.12/7.16 c | 13499 | 1091 103841 441767 | 2147483647 13499 64 | 0.000 % |
7.32/7.36 c | 13780 | 1091 103841 441767 | 2147483647 13780 64 | 0.000 % |
7.52/7.54 c | 14089 | 1091 103841 441767 | 2147483647 14089 64 | 0.000 % |
7.62/7.62 c | 14189 | 1091 103841 441767 | 2147483647 14189 65 | 0.000 % |
7.62/7.69 c | 14299 | 1091 103841 441767 | 2147483647 14299 65 | 0.000 % |
7.73/7.76 c | 14420 | 1091 103841 441767 | 2147483647 14420 65 | 0.000 % |
7.82/7.87 c | 14554 | 1091 103841 441767 | 2147483647 14554 65 | 0.000 % |
7.92/7.99 c | 14700 | 1091 103841 441767 | 2147483647 14700 65 | 0.000 % |
8.12/8.13 c | 14861 | 1091 103841 441767 | 2147483647 14861 65 | 0.000 % |
8.12/8.21 c | 15039 | 1091 103841 441767 | 2147483647 15039 65 | 0.000 % |
8.32/8.32 c | 15232 | 1091 103841 441767 | 2147483647 15232 65 | 0.000 % |
8.42/8.44 c | 15445 | 1091 103841 441767 | 2147483647 15445 65 | 0.000 % |
8.52/8.59 c | 15678 | 1091 103841 441767 | 2147483647 15678 65 | 0.000 % |
8.72/8.79 c | 15936 | 1091 103841 441767 | 2147483647 15936 65 | 0.000 % |
8.92/8.98 c | 16217 | 1091 103841 441767 | 2147483647 16217 65 | 0.000 % |
9.12/9.20 c | 16527 | 1091 103841 441767 | 2147483647 16527 65 | 0.000 % |
9.42/9.51 c | 16866 | 1091 103841 441767 | 2147483647 16866 65 | 0.000 % |
9.52/9.60 c | 16966 | 1091 103841 441767 | 2147483647 16966 65 | 0.000 % |
9.62/9.68 c | 17077 | 1091 103841 441767 | 2147483647 17077 65 | 0.000 % |
9.72/9.77 c | 17200 | 1091 103841 441767 | 2147483647 17200 65 | 0.000 % |
9.82/9.84 c | 17333 | 1091 103841 441767 | 2147483647 17333 65 | 0.001 % |
9.93/9.96 c | 17480 | 1091 103841 441767 | 2147483647 17480 65 | 0.000 % |
10.02/10.03 c | 17640 | 1091 103841 441767 | 2147483647 17640 65 | 0.000 % |
10.12/10.15 c | 17817 | 1091 103841 441767 | 2147483647 17817 65 | 0.000 % |
10.32/10.31 c | 18011 | 1091 103841 441767 | 2147483647 18011 65 | 0.000 % |
10.42/10.47 c | 18223 | 1091 103841 441767 | 2147483647 18223 65 | 0.000 % |
10.62/10.66 c | 18457 | 1091 103841 441767 | 2147483647 18457 65 | 0.000 % |
10.82/10.87 c | 18714 | 1091 103841 441767 | 2147483647 18714 65 | 0.000 % |
11.03/11.03 c | 18996 | 1091 103841 441767 | 2147483647 18996 64 | 0.000 % |
11.12/11.19 c | 19306 | 1091 103841 441767 | 2147483647 19306 64 | 0.000 % |
11.32/11.37 c | 19646 | 1091 103841 441767 | 2147483647 19646 64 | 0.000 % |
11.62/11.62 c | 20019 | 1091 103841 441767 | 2147483647 20019 63 | 0.000 % |
11.72/11.72 c | 20119 | 1091 103841 441767 | 2147483647 20119 63 | 0.000 % |
11.72/11.78 c | 20233 | 1091 103841 441767 | 2147483647 20233 63 | 0.000 % |
11.82/11.83 c | 20355 | 1091 103841 441767 | 2147483647 20355 63 | 0.000 % |
11.92/11.91 c | 20488 | 1091 103841 441767 | 2147483647 20488 63 | 0.000 % |
11.92/12.00 c | 20634 | 1091 103841 441767 | 2147483647 20634 63 | 0.000 % |
12.02/12.08 c | 20794 | 1091 103841 441767 | 2147483647 20794 63 | 0.000 % |
12.13/12.19 c | 20971 | 1091 103841 441767 | 2147483647 20971 63 | 0.001 % |
12.22/12.30 c | 21165 | 1091 103841 441767 | 2147483647 21165 63 | 0.000 % |
12.42/12.42 c | 21378 | 1091 103841 441767 | 2147483647 21378 63 | 0.000 % |
12.52/12.59 c | 21611 | 1091 103841 441767 | 2147483647 21611 63 | 0.000 % |
12.72/12.75 c | 21868 | 1091 103841 441767 | 2147483647 21868 63 | 0.000 % |
12.92/12.96 c | 22149 | 1091 103841 441767 | 2147483647 22149 63 | 0.000 % |
13.12/13.16 c | 22458 | 1091 103841 441767 | 2147483647 22458 63 | 0.000 % |
13.32/13.38 c | 22797 | 1091 103841 441767 | 2147483647 22797 63 | 0.000 % |
13.62/13.63 c | 23170 | 1091 103841 441767 | 2147483647 23170 63 | 0.000 % |
13.92/13.95 c | 23579 | 1091 103841 441767 | 2147483647 23579 63 | 0.000 % |
14.02/14.02 c | 23681 | 1091 103841 441767 | 2147483647 23681 63 | 0.000 % |
14.02/14.11 c | 23791 | 1091 103841 441767 | 2147483647 23791 63 | 0.000 % |
14.12/14.20 c | 23912 | 1091 103841 441767 | 2147483647 23912 63 | 0.000 % |
14.22/14.31 c | 24045 | 1091 103841 441767 | 2147483647 24045 62 | 0.000 % |
14.33/14.40 c | 24191 | 1091 103841 441767 | 2147483647 24191 62 | 0.000 % |
14.52/14.52 c | 24353 | 1091 103841 441767 | 2147483647 24353 62 | 0.000 % |
14.62/14.63 c | 24529 | 1091 103841 441767 | 2147483647 24529 62 | 0.000 % |
14.72/14.77 c | 24722 | 1091 103841 441767 | 2147483647 24722 62 | 0.000 % |
14.92/14.95 c | 24934 | 1091 103841 441767 | 2147483647 24934 62 | 0.000 % |
15.12/15.16 c | 25169 | 1091 103841 441767 | 2147483647 25169 62 | 0.000 % |
15.32/15.35 c | 25426 | 1091 103841 441767 | 2147483647 25426 62 | 0.000 % |
15.52/15.59 c | 25707 | 1091 103841 441767 | 2147483647 25707 62 | 0.000 % |
15.82/15.85 c | 26018 | 1091 103841 441767 | 2147483647 26018 62 | 0.000 % |
16.12/16.19 c | 26357 | 1091 103841 441767 | 2147483647 26357 62 | 0.000 % |
16.42/16.47 c | 26731 | 1091 103841 441767 | 2147483647 26731 62 | 0.000 % |
16.72/16.78 c | 27140 | 1091 103841 441767 | 2147483647 27140 62 | 0.000 % |
17.02/17.09 c | 27589 | 1091 103841 441767 | 2147483647 27589 62 | 0.000 % |
17.12/17.17 c | 27689 | 1091 103841 441767 | 2147483647 27689 62 | 0.000 % |
17.22/17.24 c | 27800 | 1091 103841 441767 | 2147483647 27800 62 | 0.000 % |
17.32/17.31 c | 27922 | 1091 103841 441767 | 2147483647 27922 62 | 0.000 % |
17.32/17.40 c | 28056 | 1091 103841 441767 | 2147483647 28056 62 | 0.000 % |
17.42/17.50 c | 28203 | 1091 103841 441767 | 2147483647 28203 62 | 0.000 % |
17.63/17.64 c | 28363 | 1091 103841 441767 | 2147483647 28363 62 | 0.000 % |
17.72/17.80 c | 28539 | 1091 103841 441767 | 2147483647 28539 62 | 0.000 % |
17.82/17.91 c | 28732 | 1091 103841 441767 | 2147483647 28732 62 | 0.000 % |
18.02/18.09 c | 28944 | 1091 103841 441767 | 2147483647 28944 62 | 0.000 % |
18.22/18.30 c | 29178 | 1091 103841 441767 | 2147483647 29178 62 | 0.000 % |
18.52/18.55 c | 29435 | 1091 103841 441767 | 2147483647 29435 62 | 0.001 % |
18.73/18.76 c | 29717 | 1091 103841 441767 | 2147483647 29717 62 | 0.000 % |
19.02/19.03 c | 30027 | 1091 103841 441767 | 2147483647 30027 62 | 0.000 % |
19.32/19.33 c | 30366 | 1091 103841 441767 | 2147483647 30366 62 | 0.000 % |
19.62/19.67 c | 30738 | 1091 103841 441767 | 2147483647 30738 62 | 0.000 % |
19.92/19.99 c | 31148 | 1091 103841 441767 | 2147483647 31148 61 | 0.000 % |
20.22/20.28 c | 31602 | 1091 103841 441767 | 2147483647 31602 61 | 0.000 % |
20.62/20.63 c | 32095 | 1091 103841 441767 | 2147483647 32095 61 | 0.000 % |
20.72/20.73 c | 32195 | 1091 103841 441767 | 2147483647 32195 61 | 0.000 % |
20.82/20.87 c | 32307 | 1091 103841 441767 | 2147483647 32307 61 | 0.000 % |
20.93/20.99 c | 32428 | 1091 103841 441767 | 2147483647 32428 61 | 0.000 % |
21.12/21.12 c | 32561 | 1091 103841 441767 | 2147483647 32561 61 | 0.000 % |
21.22/21.21 c | 32707 | 1091 103841 441767 | 2147483647 32707 61 | 0.000 % |
21.32/21.39 c | 32869 | 1091 103841 441767 | 2147483647 32869 61 | 0.000 % |
21.52/21.54 c | 33045 | 1091 103841 441767 | 2147483647 33045 61 | 0.000 % |
21.72/21.77 c | 33239 | 1091 103841 441767 | 2147483647 33239 61 | 0.000 % |
21.92/21.93 c | 33452 | 1091 103841 441767 | 2147483647 33452 61 | 0.000 % |
22.12/22.18 c | 33688 | 1091 103841 441767 | 2147483647 33688 61 | 0.000 % |
22.42/22.43 c | 33945 | 1091 103841 441767 | 2147483647 33945 61 | 0.000 % |
22.62/22.68 c | 34226 | 1091 103841 441767 | 2147483647 34226 61 | 0.000 % |
22.92/22.94 c | 34537 | 1091 103841 441767 | 2147483647 34537 61 | 0.000 % |
23.22/23.25 c | 34877 | 1091 103841 441767 | 2147483647 34877 61 | 0.000 % |
23.62/23.65 c | 35250 | 1091 103841 441767 | 2147483647 35250 61 | 0.000 % |
24.02/24.03 c | 35659 | 1091 103841 441767 | 2147483647 35659 61 | 0.000 % |
24.42/24.49 c | 36108 | 1091 103841 441767 | 2147483647 36108 61 | 0.000 % |
24.92/24.98 c | 36603 | 1091 103841 441767 | 2147483647 36603 61 | 0.000 % |
25.42/25.42 c | 37145 | 1091 103841 441767 | 2147483647 37145 62 | 0.000 % |
25.52/25.51 c | 37247 | 1091 103841 441767 | 2147483647 37247 62 | 0.000 % |
25.52/25.60 c | 37361 | 1091 103841 441767 | 2147483647 37361 62 | 0.000 % |
25.62/25.69 c | 37483 | 1091 103841 441767 | 2147483647 37483 62 | 0.000 % |
25.82/25.84 c | 37620 | 1091 103841 441767 | 2147483647 37620 62 | 0.000 % |
25.92/25.94 c | 37767 | 1091 103841 441767 | 2147483647 37767 62 | 0.000 % |
26.02/26.04 c | 37927 | 1091 103841 441767 | 2147483647 37927 62 | 0.000 % |
26.22/26.23 c | 38104 | 1091 103841 441767 | 2147483647 38104 62 | 0.000 % |
26.43/26.42 c | 38298 | 1091 103841 441767 | 2147483647 38298 62 | 0.000 % |
26.52/26.57 c | 38511 | 1091 103841 441767 | 2147483647 38511 62 | 0.000 % |
26.92/26.96 c | 38744 | 1091 103841 441767 | 2147483647 38744 62 | 0.000 % |
27.12/27.18 c | 39001 | 1091 103841 441767 | 2147483647 39001 62 | 0.000 % |
27.62/27.69 c | 39282 | 1091 103841 441767 | 2147483647 39282 62 | 0.000 % |
28.02/28.05 c | 39592 | 1091 103841 441767 | 2147483647 39592 62 | 0.000 % |
28.42/28.43 c | 39936 | 1091 103841 441767 | 2147483647 39936 62 | 0.000 % |
28.82/28.83 c | 40308 | 1091 103841 441767 | 2147483647 40308 62 | 0.000 % |
29.22/29.24 c | 40717 | 1091 103841 441767 | 2147483647 40717 62 | 0.000 % |
29.73/29.76 c | 41166 | 1091 103841 441767 | 2147483647 41166 62 | 0.000 % |
30.12/30.19 c | 41661 | 1091 103841 441767 | 2147483647 41661 61 | 0.000 % |
30.62/30.67 c | 42203 | 1091 103841 441767 | 2147483647 42203 62 | 0.000 % |
31.32/31.37 c | 42799 | 1091 103841 441767 | 2147483647 42799 62 | 0.000 % |
31.42/31.47 c | 42900 | 1091 103841 441767 | 2147483647 42900 62 | 0.000 % |
31.52/31.59 c | 43011 | 1091 103841 441767 | 2147483647 43011 62 | 0.000 % |
31.72/31.74 c | 43134 | 1091 103841 441767 | 2147483647 43134 62 | 0.000 % |
31.82/31.91 c | 43268 | 1091 103841 441767 | 2147483647 43268 62 | 0.000 % |
32.12/32.12 c | 43417 | 1091 103841 441767 | 2147483647 43417 62 | 0.000 % |
32.32/32.34 c | 43577 | 1091 103841 441767 | 2147483647 43577 62 | 0.000 % |
32.52/32.54 c | 43754 | 1091 103841 441767 | 2147483647 43754 62 | 0.000 % |
32.72/32.76 c | 43947 | 1091 103841 441767 | 2147483647 43947 62 | 0.000 % |
33.03/33.07 c | 44159 | 1091 103841 441767 | 2147483647 44159 62 | 0.000 % |
33.42/33.42 c | 44393 | 1091 103841 441767 | 2147483647 44393 62 | 0.000 % |
33.72/33.75 c | 44649 | 1091 103841 441767 | 2147483647 44649 62 | 0.000 % |
34.02/34.08 c | 44930 | 1091 103841 441767 | 2147483647 44930 62 | 0.000 % |
34.42/34.47 c | 45239 | 1091 103841 441767 | 2147483647 45239 61 | 0.001 % |
34.72/34.78 c | 45579 | 1091 103841 441767 | 2147483647 45579 61 | 0.000 % |
35.12/35.16 c | 45953 | 1091 103841 441767 | 2147483647 45953 61 | 0.000 % |
35.62/35.62 c | 46364 | 1091 103841 441767 | 2147483647 46364 61 | 0.000 % |
36.02/36.07 c | 46815 | 1091 103841 441767 | 2147483647 46815 61 | 0.000 % |
36.62/36.62 c | 47310 | 1091 103841 441767 | 2147483647 47310 61 | 0.000 % |
37.22/37.21 c | 47852 | 1091 103841 441767 | 2147483647 47852 61 | 0.000 % |
38.12/38.18 c | 48450 | 1091 103841 441767 | 2147483647 48450 61 | 0.000 % |
39.02/39.07 c | 49105 | 1091 103841 441767 | 2147483647 49105 61 | 0.000 % |
39.22/39.26 c | 49206 | 1091 103841 441767 | 2147483647 49206 61 | 0.000 % |
39.42/39.45 c | 49317 | 1091 103841 441767 | 2147483647 49317 61 | 0.000 % |
39.63/39.65 c | 49438 | 1091 103841 441767 | 2147483647 49438 61 | 0.000 % |
39.82/39.86 c | 49573 | 1091 103841 441767 | 2147483647 49573 61 | 0.000 % |
40.02/40.06 c | 49720 | 1091 103841 441767 | 2147483647 49720 61 | 0.000 % |
40.32/40.36 c | 49880 | 1091 103841 441767 | 2147483647 49880 61 | 0.000 % |
40.52/40.60 c | 50056 | 1091 103841 441767 | 2147483647 50056 61 | 0.000 % |
40.73/40.80 c | 50249 | 1091 103841 441767 | 2147483647 50249 61 | 0.000 % |
41.12/41.13 c | 50463 | 1091 103841 441767 | 2147483647 50463 61 | 0.000 % |
41.52/41.52 c | 50696 | 1091 103841 441767 | 2147483647 50696 61 | 0.000 % |
41.72/41.77 c | 50954 | 1091 103841 441767 | 2147483647 50954 61 | 0.000 % |
42.12/42.20 c | 51236 | 1091 103841 441767 | 2147483647 51236 61 | 0.000 % |
42.52/42.52 c | 51545 | 1091 103841 441767 | 2147483647 51545 61 | 0.000 % |
42.93/42.98 c | 51884 | 1091 103841 441767 | 2147483647 51884 61 | 0.000 % |
43.42/43.46 c | 52256 | 1091 103841 441767 | 2147483647 52256 61 | 0.000 % |
44.03/44.06 c | 52667 | 1091 103841 441767 | 2147483647 52667 61 | 0.000 % |
44.42/44.44 c | 53116 | 1091 103841 441767 | 2147483647 53116 61 | 0.000 % |
45.02/45.09 c | 53610 | 1091 103841 441767 | 2147483647 53610 61 | 0.000 % |
45.72/45.73 c | 54154 | 1091 103841 441767 | 2147483647 54154 62 | 0.000 % |
46.52/46.59 c | 54751 | 1091 103841 441767 | 2147483647 54751 62 | 0.000 % |
47.42/47.48 c | 55406 | 1091 103841 441767 | 2147483647 55406 62 | 0.000 % |
48.22/48.30 c | 56127 | 1091 103841 441767 | 2147483647 56127 62 | 0.000 % |
48.32/48.41 c | 56227 | 1091 103841 441767 | 2147483647 56227 62 | 0.000 % |
48.52/48.60 c | 56338 | 1091 103841 441767 | 2147483647 56338 62 | 0.000 % |
48.72/48.75 c | 56459 | 1091 103841 441767 | 2147483647 56459 62 | 0.000 % |
48.92/48.97 c | 56593 | 1091 103841 441767 | 2147483647 56593 62 | 0.000 % |
49.22/49.21 c | 56739 | 1091 103841 441767 | 2147483647 56739 62 | 0.000 % |
49.53/49.54 c | 56902 | 1091 103841 441767 | 2147483647 56902 62 | 0.000 % |
49.82/49.90 c | 57080 | 1091 103841 441767 | 2147483647 57080 62 | 0.000 % |
50.12/50.14 c | 57273 | 1091 103841 441767 | 2147483647 57273 62 | 0.000 % |
50.42/50.45 c | 57485 | 1091 103841 441767 | 2147483647 57485 62 | 0.000 % |
50.82/50.90 c | 57718 | 1091 103841 441767 | 2147483647 57718 62 | 0.000 % |
51.32/51.33 c | 57978 | 1091 103841 441767 | 2147483647 57978 62 | 0.000 % |
51.73/51.77 c | 58262 | 1091 103841 441767 | 2147483647 58262 62 | 0.000 % |
52.22/52.25 c | 58572 | 1091 103841 441767 | 2147483647 58572 62 | 0.000 % |
52.84/52.84 c | 58911 | 1091 103841 441767 | 2147483647 58911 62 | 0.000 % |
53.44/53.49 c | 59284 | 1091 103841 441767 | 2147483647 59284 62 | 0.000 % |
53.94/54.02 c | 59694 | 1091 103841 441767 | 2147483647 59694 62 | 0.000 % |
54.74/54.76 c | 60143 | 1091 103841 441767 | 2147483647 60143 62 | 0.000 % |
55.34/55.36 c | 60637 | 1091 103841 441767 | 2147483647 60637 62 | 0.000 % |
56.14/56.13 c | 61180 | 1091 103841 441767 | 2147483647 61180 62 | 0.000 % |
56.94/56.95 c | 61776 | 1091 103841 441767 | 2147483647 61776 62 | 0.000 % |
57.84/57.89 c | 62433 | 1091 103841 441767 | 2147483647 62433 62 | 0.000 % |
58.84/58.86 c | 63153 | 1091 103841 441767 | 2147483647 63153 62 | 0.000 % |
59.84/59.88 c | 63946 | 1091 103841 441767 | 2147483647 63946 62 | 0.000 % |
60.04/60.03 c | 64046 | 1091 103841 441767 | 2147483647 64046 62 | 0.000 % |
60.24/60.29 c | 64159 | 1091 103841 441767 | 2147483647 64159 62 | 0.000 % |
60.44/60.46 c | 64280 | 1091 103841 441767 | 2147483647 64280 62 | 0.000 % |
60.64/60.64 c | 64414 | 1091 103841 441767 | 2147483647 64414 62 | 0.000 % |
60.84/60.83 c | 64561 | 1091 103841 441767 | 2147483647 64561 62 | 0.000 % |
61.04/61.06 c | 64721 | 1091 103841 441767 | 2147483647 64721 62 | 0.000 % |
61.14/61.21 c | 64897 | 1091 103841 441767 | 2147483647 64897 62 | 0.000 % |
61.44/61.48 c | 65092 | 1091 103841 441767 | 2147483647 65092 62 | 0.000 % |
61.84/61.83 c | 65305 | 1091 103841 441767 | 2147483647 65305 62 | 0.000 % |
62.14/62.13 c | 65539 | 1091 103841 441767 | 2147483647 65539 62 | 0.000 % |
62.54/62.55 c | 65796 | 1091 103841 441767 | 2147483647 65796 63 | 0.000 % |
62.84/62.85 c | 66077 | 1091 103841 441767 | 2147483647 66077 63 | 0.000 % |
63.23/63.25 c | 66388 | 1091 103841 441767 | 2147483647 66388 63 | 0.000 % |
63.63/63.70 c | 66727 | 1091 103841 441767 | 2147483647 66727 63 | 0.000 % |
64.23/64.22 c | 67099 | 1091 103841 441767 | 2147483647 67099 63 | 0.000 % |
64.63/64.69 c | 67509 | 1091 103841 441767 | 2147483647 67509 63 | 0.000 % |
65.23/65.23 c | 67958 | 1091 103841 441767 | 2147483647 67958 63 | 0.000 % |
65.83/65.89 c | 68451 | 1091 103841 441767 | 2147483647 68451 63 | 0.000 % |
66.63/66.71 c | 68994 | 1091 103841 441767 | 2147483647 68994 63 | 0.000 % |
67.63/67.68 c | 69590 | 1091 103841 441767 | 2147483647 69590 63 | 0.000 % |
68.53/68.55 c | 70248 | 1091 103841 441767 | 2147483647 70248 63 | 0.000 % |
69.43/69.48 c | 70970 | 1091 103841 441767 | 2147483647 70970 63 | 0.000 % |
70.63/70.64 c | 71762 | 1091 103841 441767 | 2147483647 71762 63 | 0.000 % |
72.43/72.46 c | 72635 | 1091 103841 441767 | 2147483647 72635 63 | 0.000 % |
72.63/72.71 c | 72735 | 1091 103841 441767 | 2147483647 72735 63 | 0.000 % |
72.93/72.93 c | 72845 | 1091 103841 441767 | 2147483647 72845 63 | 0.000 % |
73.13/73.17 c | 72967 | 1091 103841 441767 | 2147483647 72967 63 | 0.000 % |
73.43/73.51 c | 73101 | 1091 103841 441767 | 2147483647 73101 63 | 0.000 % |
73.83/73.83 c | 73247 | 1091 103841 441767 | 2147483647 73247 63 | 0.000 % |
74.13/74.21 c | 73409 | 1091 103841 441767 | 2147483647 73409 63 | 0.000 % |
74.63/74.62 c | 73587 | 1091 103841 441767 | 2147483647 73587 63 | 0.000 % |
74.93/75.00 c | 73784 | 1091 103841 441767 | 2147483647 73784 63 | 0.000 % |
75.43/75.45 c | 73996 | 1091 103841 441767 | 2147483647 73996 63 | 0.000 % |
75.63/75.68 c | 74230 | 1091 103841 441767 | 2147483647 74230 63 | 0.000 % |
76.23/76.31 c | 74486 | 1091 103841 441767 | 2147483647 74486 63 | 0.000 % |
76.73/76.78 c | 74768 | 1091 103841 441767 | 2147483647 74768 63 | 0.000 % |
77.33/77.39 c | 75078 | 1091 103841 441767 | 2147483647 75078 63 | 0.000 % |
77.93/77.98 c | 75419 | 1091 103841 441767 | 2147483647 75419 63 | 0.000 % |
78.53/78.57 c | 75791 | 1091 103841 441767 | 2147483647 75791 63 | 0.000 % |
79.23/79.22 c | 76202 | 1091 103841 441767 | 2147483647 76202 63 | 0.000 % |
80.03/80.02 c | 76653 | 1091 103841 441767 | 2147483647 76653 63 | 0.000 % |
80.53/80.59 c | 77146 | 1091 103841 441767 | 2147483647 77146 63 | 0.000 % |
81.73/81.71 c | 77688 | 1091 103841 441767 | 2147483647 77688 63 | 0.000 % |
82.93/82.99 c | 78284 | 1091 103841 441767 | 2147483647 78284 63 | 0.000 % |
84.13/84.16 c | 78939 | 1091 103841 441767 | 2147483647 78939 63 | 0.000 % |
85.23/85.24 c | 79659 | 1091 103841 441767 | 2147483647 79659 63 | 0.000 % |
87.03/87.07 c | 80451 | 1091 103841 441767 | 2147483647 80451 63 | 0.000 % |
88.53/88.59 c | 81326 | 1091 103841 441767 | 2147483647 81326 63 | 0.000 % |
90.53/90.59 c | 82286 | 1091 103841 441767 | 2147483647 82286 63 | 0.000 % |
90.83/90.87 c | 82389 | 1091 103841 441767 | 2147483647 82389 63 | 0.000 % |
91.13/91.14 c | 82500 | 1091 103841 441767 | 2147483647 82500 63 | 0.000 % |
91.33/91.36 c | 82621 | 1091 103841 441767 | 2147483647 82621 63 | 0.000 % |
91.63/91.71 c | 82757 | 1091 103841 441767 | 2147483647 82757 63 | 0.000 % |
92.03/92.10 c | 82903 | 1091 103841 441767 | 2147483647 82903 63 | 0.000 % |
92.43/92.44 c | 83065 | 1091 103841 441767 | 2147483647 83065 63 | 0.000 % |
92.83/92.89 c | 83242 | 1091 103841 441767 | 2147483647 83242 63 | 0.000 % |
93.13/93.16 c | 83439 | 1091 103841 441767 | 2147483647 83439 63 | 0.000 % |
93.53/93.56 c | 83652 | 1091 103841 441767 | 2147483647 83652 63 | 0.000 % |
94.03/94.03 c | 83885 | 1091 103841 441767 | 2147483647 83885 63 | 0.000 % |
94.33/94.36 c | 84141 | 1091 103841 441767 | 2147483647 84141 63 | 0.000 % |
94.83/94.89 c | 84423 | 1091 103841 441767 | 2147483647 84423 63 | 0.000 % |
95.43/95.48 c | 84732 | 1091 103841 441767 | 2147483647 84732 63 | 0.000 % |
96.03/96.07 c | 85071 | 1091 103841 441767 | 2147483647 85071 63 | 0.000 % |
96.53/96.59 c | 85443 | 1091 103841 441767 | 2147483647 85443 63 | 0.000 % |
97.73/97.78 c | 85852 | 1091 103841 441767 | 2147483647 85852 63 | 0.000 % |
98.83/98.84 c | 86301 | 1091 103841 441767 | 2147483647 86301 63 | 0.000 % |
100.33/100.34 c | 86794 | 1091 103841 441767 | 2147483647 86794 63 | 0.000 % |
101.23/101.29 c | 87338 | 1091 103841 441767 | 2147483647 87338 63 | 0.000 % |
102.63/102.69 c | 87935 | 1091 103841 441767 | 2147483647 87935 63 | 0.000 % |
104.13/104.21 c | 88590 | 1091 103841 441767 | 2147483647 88590 63 | 0.000 % |
105.63/105.69 c | 89310 | 1091 103841 441767 | 2147483647 89310 63 | 0.000 % |
106.73/106.73 c | 90102 | 1091 103841 441767 | 2147483647 90102 63 | 0.000 % |
110.13/110.21 c | 90973 | 1091 103841 441767 | 2147483647 90973 63 | 0.000 % |
112.83/112.86 c | 91932 | 1091 103841 441767 | 2147483647 91932 63 | 0.000 % |
115.83/115.83 c | 92985 | 1091 103841 441767 | 2147483647 92985 63 | 0.000 % |
116.13/116.18 c | 93087 | 1091 103841 441767 | 2147483647 93087 63 | 0.000 % |
116.33/116.35 c | 93197 | 1091 103841 441767 | 2147483647 93197 63 | 0.000 % |
116.83/116.83 c | 93318 | 1091 103841 441767 | 2147483647 93318 63 | 0.000 % |
116.93/116.98 c | 93452 | 1091 103841 441767 | 2147483647 93452 63 | 0.000 % |
117.43/117.44 c | 93598 | 1091 103841 441767 | 2147483647 93598 63 | 0.000 % |
117.93/117.95 c | 93758 | 1091 103841 441767 | 2147483647 93758 63 | 0.000 % |
118.23/118.23 c | 93935 | 1091 103841 441767 | 2147483647 93935 63 | 0.000 % |
118.73/118.72 c | 94128 | 1091 103841 441767 | 2147483647 94128 63 | 0.000 % |
119.23/119.26 c | 94340 | 1091 103841 441767 | 2147483647 94340 63 | 0.000 % |
119.63/119.67 c | 94573 | 1091 103841 441767 | 2147483647 94573 63 | 0.000 % |
120.23/120.23 c | 94832 | 1091 103841 441767 | 2147483647 94832 63 | 0.000 % |
121.03/121.10 c | 95113 | 1091 103841 441767 | 2147483647 95113 63 | 0.000 % |
122.23/122.30 c | 95422 | 1091 103841 441767 | 2147483647 95422 63 | 0.000 % |
123.43/123.44 c | 95763 | 1091 103841 441767 | 2147483647 95763 63 | 0.000 % |
124.43/124.48 c | 96137 | 1091 103841 441767 | 2147483647 96137 63 | 0.000 % |
125.43/125.44 c | 96547 | 1091 103841 441767 | 2147483647 96547 63 | 0.000 % |
126.23/126.29 c | 96999 | 1091 103841 441767 | 2147483647 96999 63 | 0.000 % |
127.63/127.62 c | 97495 | 1091 103841 441767 | 2147483647 97495 63 | 0.000 % |
128.23/128.31 c | 98039 | 1091 103841 441767 | 2147483647 98039 63 | 0.000 % |
130.33/130.35 c | 98638 | 1091 103841 441767 | 2147483647 98638 63 | 0.000 % |
132.93/132.98 c | 99294 | 1091 103841 441767 | 2147483647 99294 63 | 0.000 % |
134.13/134.20 c | 100015 | 1091 103841 441767 | 2147483647 100015 63 | 0.000 % |
137.03/137.07 c | 100811 | 1091 103841 441767 | 2147483647 100811 63 | 0.000 % |
139.93/139.99 c | 101688 | 1091 103841 441767 | 2147483647 101688 63 | 0.000 % |
142.73/142.75 c | 102647 | 1091 103841 441767 | 2147483647 102647 63 | 0.000 % |
145.24/145.27 c | 103700 | 1091 103841 441767 | 2147483647 103700 63 | 0.000 % |
147.23/147.22 c | 104858 | 1091 103841 441767 | 2147483647 104858 63 | 0.000 % |
147.33/147.39 c | 104960 | 1091 103841 441767 | 2147483647 104960 63 | 0.000 % |
147.53/147.57 c | 105070 | 1091 103841 441767 | 2147483647 105070 63 | 0.000 % |
148.03/148.05 c | 105191 | 1091 103841 441767 | 2147483647 105191 63 | 0.000 % |
148.43/148.42 c | 105324 | 1091 103841 441767 | 2147483647 105324 63 | 0.000 % |
148.83/148.85 c | 105470 | 1091 103841 441767 | 2147483647 105470 63 | 0.000 % |
149.23/149.24 c | 105630 | 1091 103841 441767 | 2147483647 105630 63 | 0.000 % |
149.53/149.57 c | 105806 | 1091 103841 441767 | 2147483647 105806 63 | 0.000 % |
150.43/150.42 c | 105999 | 1091 103841 441767 | 2147483647 105999 63 | 0.000 % |
151.03/151.05 c | 106211 | 1091 103841 441767 | 2147483647 106211 63 | 0.000 % |
151.63/151.63 c | 106444 | 1091 103841 441767 | 2147483647 106444 63 | 0.000 % |
152.23/152.28 c | 106700 | 1091 103841 441767 | 2147483647 106700 63 | 0.000 % |
152.73/152.80 c | 106983 | 1091 103841 441767 | 2147483647 106983 63 | 0.000 % |
153.13/153.14 c | 107292 | 1091 103841 441767 | 2147483647 107292 63 | 0.000 % |
154.33/154.32 c | 107632 | 1091 103841 441767 | 2147483647 107632 63 | 0.000 % |
154.73/154.75 c | 108004 | 1091 103841 441767 | 2147483647 108004 63 | 0.000 % |
156.43/156.46 c | 108414 | 1091 103841 441767 | 2147483647 108414 63 | 0.000 % |
157.03/157.08 c | 108863 | 1091 103841 441767 | 2147483647 108863 63 | 0.000 % |
158.23/158.27 c | 109356 | 1091 103841 441767 | 2147483647 109356 63 | 0.000 % |
159.33/159.36 c | 109899 | 1091 103841 441767 | 2147483647 109899 63 | 0.000 % |
160.93/160.94 c | 110495 | 1091 103841 441767 | 2147483647 110495 63 | 0.000 % |
162.84/162.84 c | 111151 | 1091 103841 441767 | 2147483647 111151 64 | 0.000 % |
164.43/164.44 c | 111872 | 1091 103841 441767 | 2147483647 111872 64 | 0.000 % |
166.73/166.73 c | 112664 | 1091 103841 441767 | 2147483647 112664 64 | 0.000 % |
167.73/167.71 c | 113538 | 1091 103841 441767 | 2147483647 113538 64 | 0.000 % |
170.13/170.17 c | 114497 | 1091 103841 441767 | 2147483647 114497 64 | 0.000 % |
173.73/173.82 c | 115550 | 1091 103841 441767 | 2147483647 115550 64 | 0.000 % |
176.73/176.76 c | 116708 | 1091 103841 441767 | 2147483647 116708 64 | 0.000 % |
180.33/180.34 c | 117982 | 1091 103841 441767 | 2147483647 117982 64 | 0.000 % |
180.73/180.78 c | 118082 | 1091 103841 441767 | 2147483647 118082 64 | 0.000 % |
181.33/181.31 c | 118193 | 1091 103841 441767 | 2147483647 118193 64 | 0.000 % |
181.54/181.57 c | 118315 | 1091 103841 441767 | 2147483647 118315 64 | 0.000 % |
182.33/182.39 c | 118449 | 1091 103841 441767 | 2147483647 118449 64 | 0.000 % |
182.93/182.96 c | 118595 | 1091 103841 441767 | 2147483647 118595 64 | 0.000 % |
183.13/183.19 c | 118757 | 1091 103841 441767 | 2147483647 118757 64 | 0.000 % |
183.84/183.84 c | 118934 | 1091 103841 441767 | 2147483647 118934 64 | 0.000 % |
184.23/184.23 c | 119128 | 1091 103841 441767 | 2147483647 119128 64 | 0.000 % |
184.64/184.64 c | 119341 | 1091 103841 441767 | 2147483647 119341 64 | 0.000 % |
185.24/185.23 c | 119574 | 1091 103841 441767 | 2147483647 119574 64 | 0.000 % |
186.24/186.24 c | 119837 | 1091 103841 441767 | 2147483647 119837 64 | 0.000 % |
186.64/186.63 c | 120119 | 1091 103841 441767 | 2147483647 120119 64 | 0.000 % |
186.94/187.00 c | 120429 | 1091 103841 441767 | 2147483647 120429 64 | 0.000 % |
187.24/187.26 c | 120769 | 1091 103841 441767 | 2147483647 120769 64 | 0.000 % |
187.54/187.59 c | 121143 | 1091 103841 441767 | 2147483647 121143 64 | 0.000 % |
188.24/188.27 c | 121552 | 1091 103841 441767 | 2147483647 121552 64 | 0.000 % |
190.04/190.06 c | 122004 | 1091 103841 441767 | 2147483647 122004 64 | 0.000 % |
190.54/190.56 c | 122498 | 1091 103841 441767 | 2147483647 122498 64 | 0.000 % |
192.84/192.89 c | 123042 | 1091 103841 441767 | 2147483647 123042 64 | 0.000 % |
194.54/194.54 c | 123640 | 1091 103841 441767 | 2147483647 123640 64 | 0.000 % |
195.74/195.75 c | 124295 | 1091 103841 441767 | 2147483647 124295 64 | 0.000 % |
197.14/197.12 c | 125018 | 1091 103841 441767 | 2147483647 125018 64 | 0.000 % |
199.54/199.58 c | 125810 | 1091 103841 441767 | 2147483647 125810 64 | 0.000 % |
203.54/203.54 c | 126682 | 1091 103841 441767 | 2147483647 126682 65 | 0.000 % |
206.74/206.72 c | 127640 | 1091 103841 441767 | 2147483647 127640 65 | 0.000 % |
210.84/210.83 c | 128697 | 1091 103841 441767 | 2147483647 128697 65 | 0.000 % |
215.24/215.26 c | 129857 | 1091 103841 441767 | 2147483647 129857 65 | 0.000 % |
219.34/219.35 c | 131130 | 1091 103841 441767 | 2147483647 131130 65 | 0.001 % |
224.44/224.46 c | 132530 | 1091 103841 441767 | 2147483647 132530 65 | 0.000 % |
224.74/224.81 c | 132630 | 1091 103841 441767 | 2147483647 132630 65 | 0.000 % |
225.14/225.17 c | 132741 | 1091 103841 441767 | 2147483647 132741 65 | 0.000 % |
225.34/225.36 c | 132862 | 1091 103841 441767 | 2147483647 132862 65 | 0.000 % |
225.54/225.61 c | 132996 | 1091 103841 441767 | 2147483647 132996 65 | 0.000 % |
226.14/226.12 c | 133142 | 1091 103841 441767 | 2147483647 133142 65 | 0.000 % |
226.74/226.77 c | 133305 | 1091 103841 441767 | 2147483647 133305 65 | 0.000 % |
227.44/227.49 c | 133481 | 1091 103841 441767 | 2147483647 133481 65 | 0.000 % |
228.24/228.22 c | 133675 | 1091 103841 441767 | 2147483647 133675 65 | 0.000 % |
229.04/229.08 c | 133887 | 1091 103841 441767 | 2147483647 133887 65 | 0.000 % |
229.44/229.48 c | 134120 | 1091 103841 441767 | 2147483647 134120 65 | 0.000 % |
230.74/230.72 c | 134377 | 1091 103841 441767 | 2147483647 134377 65 | 0.000 % |
231.74/231.76 c | 134659 | 1091 103841 441767 | 2147483647 134659 65 | 0.000 % |
232.74/232.80 c | 134968 | 1091 103841 441767 | 2147483647 134968 65 | 0.000 % |
233.24/233.25 c | 135314 | 1091 103841 441767 | 2147483647 135314 65 | 0.000 % |
234.34/234.39 c | 135689 | 1091 103841 441767 | 2147483647 135689 65 | 0.000 % |
235.74/235.77 c | 136100 | 1091 103841 441767 | 2147483647 136100 65 | 0.000 % |
236.44/236.48 c | 136549 | 1091 103841 441767 | 2147483647 136549 65 | 0.000 % |
237.74/237.80 c | 137044 | 1091 103841 441767 | 2147483647 137044 65 | 0.000 % |
239.34/239.32 c | 137588 | 1091 103841 441767 | 2147483647 137588 65 | 0.000 % |
241.44/241.47 c | 138185 | 1091 103841 441767 | 2147483647 138185 65 | 0.000 % |
242.44/242.43 c | 138841 | 1091 103841 441767 | 2147483647 138841 65 | 0.000 % |
245.14/245.11 c | 139561 | 1091 103841 441767 | 2147483647 139561 65 | 0.000 % |
248.84/248.83 c | 140353 | 1091 103841 441767 | 2147483647 140353 65 | 0.000 % |
250.24/250.30 c | 141225 | 1091 103841 441767 | 2147483647 141225 65 | 0.000 % |
252.94/252.97 c | 142184 | 1091 103841 441767 | 2147483647 142184 65 | 0.000 % |
255.64/255.65 c | 143237 | 1091 103841 441767 | 2147483647 143237 65 | 0.000 % |
258.14/258.12 c | 144397 | 1091 103841 441767 | 2147483647 144397 65 | 0.000 % |
261.85/261.90 c | 145670 | 1091 103841 441767 | 2147483647 145670 65 | 0.000 % |
263.54/263.60 c | 147071 | 1091 103841 441767 | 2147483647 147071 65 | 0.000 % |
270.65/270.67 c | 148614 | 1091 103841 441767 | 2147483647 148614 65 | 0.000 % |
271.14/271.12 c | 148714 | 1091 103841 441767 | 2147483647 148714 65 | 0.000 % |
271.44/271.48 c | 148824 | 1091 103841 441767 | 2147483647 148824 65 | 0.000 % |
271.84/271.82 c | 148946 | 1091 103841 441767 | 2147483647 148946 65 | 0.000 % |
272.14/272.19 c | 149081 | 1091 103841 441767 | 2147483647 149081 65 | 0.000 % |
272.74/272.72 c | 149228 | 1091 103841 441767 | 2147483647 149228 65 | 0.000 % |
273.14/273.20 c | 149389 | 1091 103841 441767 | 2147483647 149389 65 | 0.000 % |
273.64/273.70 c | 149568 | 1091 103841 441767 | 2147483647 149568 65 | 0.000 % |
274.04/274.02 c | 149764 | 1091 103841 441767 | 2147483647 149764 65 | 0.000 % |
274.54/274.59 c | 149977 | 1091 103841 441767 | 2147483647 149977 65 | 0.000 % |
275.54/275.59 c | 150211 | 1091 103841 441767 | 2147483647 150211 65 | 0.000 % |
276.34/276.38 c | 150468 | 1091 103841 441767 | 2147483647 150468 65 | 0.000 % |
277.44/277.51 c | 150749 | 1091 103841 441767 | 2147483647 150749 65 | 0.000 % |
278.64/278.71 c | 151058 | 1091 103841 441767 | 2147483647 151058 65 | 0.000 % |
279.74/279.71 c | 151398 | 1091 103841 441767 | 2147483647 151398 65 | 0.000 % |
280.34/280.35 c | 151771 | 1091 103841 441767 | 2147483647 151771 65 | 0.000 % |
281.54/281.61 c | 152182 | 1091 103841 441767 | 2147483647 152182 65 | 0.000 % |
283.14/283.19 c | 152634 | 1091 103841 441767 | 2147483647 152634 65 | 0.000 % |
284.34/284.39 c | 153131 | 1091 103841 441767 | 2147483647 153131 65 | 0.000 % |
286.05/286.04 c | 153673 | 1091 103841 441767 | 2147483647 153673 65 | 0.000 % |
287.54/287.59 c | 154269 | 1091 103841 441767 | 2147483647 154269 65 | 0.000 % |
288.64/288.65 c | 154927 | 1091 103841 441767 | 2147483647 154927 65 | 0.000 % |
291.24/291.30 c | 155648 | 1091 103841 441767 | 2147483647 155648 65 | 0.000 % |
293.44/293.49 c | 156446 | 1091 103841 441767 | 2147483647 156446 65 | 0.000 % |
295.74/295.77 c | 157319 | 1091 103841 441767 | 2147483647 157319 64 | 0.000 % |
298.24/298.23 c | 158277 | 1091 103841 441767 | 2147483647 158277 64 | 0.000 % |
299.94/299.95 c | 159331 | 1091 103841 441767 | 2147483647 159331 64 | 0.000 % |
303.94/303.94 c | 160490 | 1091 103841 441767 | 2147483647 160490 64 | 0.000 % |
308.64/308.61 c | 161764 | 1091 103841 441767 | 2147483647 161764 64 | 0.000 % |
312.94/312.92 c | 163169 | 1091 103841 441767 | 2147483647 163169 64 | 0.000 % |
317.25/317.29 c | 164711 | 1091 103841 441767 | 2147483647 164711 63 | 0.000 % |
320.75/320.74 c | 166405 | 1091 103841 441767 | 2147483647 166405 63 | 0.000 % |
320.85/320.91 c | 166507 | 1091 103841 441767 | 2147483647 166507 63 | 0.000 % |
321.25/321.26 c | 166618 | 1091 103841 441767 | 2147483647 166618 63 | 0.000 % |
321.65/321.67 c | 166739 | 1091 103841 441767 | 2147483647 166739 63 | 0.000 % |
321.95/321.99 c | 166872 | 1091 103841 441767 | 2147483647 166872 63 | 0.000 % |
322.45/322.42 c | 167019 | 1091 103841 441767 | 2147483647 167019 63 | 0.000 % |
322.75/322.80 c | 167180 | 1091 103841 441767 | 2147483647 167180 63 | 0.000 % |
323.05/323.11 c | 167357 | 1091 103841 441767 | 2147483647 167357 63 | 0.000 % |
323.75/323.77 c | 167552 | 1091 103841 441767 | 2147483647 167552 63 | 0.000 % |
324.45/324.47 c | 167764 | 1091 103841 441767 | 2147483647 167764 63 | 0.000 % |
324.85/324.88 c | 168000 | 1091 103841 441767 | 2147483647 168000 63 | 0.000 % |
325.65/325.69 c | 168256 | 1091 103841 441767 | 2147483647 168256 63 | 0.000 % |
326.45/326.47 c | 168537 | 1091 103841 441767 | 2147483647 168537 63 | 0.000 % |
326.95/326.96 c | 168849 | 1091 103841 441767 | 2147483647 168849 63 | 0.000 % |
327.95/327.92 c | 169189 | 1091 103841 441767 | 2147483647 169189 63 | 0.000 % |
328.95/328.97 c | 169561 | 1091 103841 441767 | 2147483647 169561 63 | 0.000 % |
329.95/329.95 c | 169971 | 1091 103841 441767 | 2147483647 169971 63 | 0.000 % |
331.25/331.25 c | 170420 | 1091 103841 441767 | 2147483647 170420 63 | 0.000 % |
331.85/331.91 c | 170913 | 1091 103841 441767 | 2147483647 170913 63 | 0.000 % |
333.45/333.46 c | 171455 | 1091 103841 441767 | 2147483647 171455 63 | 0.000 % |
334.85/334.86 c | 172051 | 1091 103841 441767 | 2147483647 172051 63 | 0.000 % |
336.75/336.72 c | 172706 | 1091 103841 441767 | 2147483647 172706 63 | 0.000 % |
338.65/338.70 c | 173428 | 1091 103841 441767 | 2147483647 173428 64 | 0.000 % |
340.85/340.90 c | 174220 | 1091 103841 441767 | 2147483647 174220 64 | 0.000 % |
342.45/342.46 c | 175092 | 1091 103841 441767 | 2147483647 175092 64 | 0.000 % |
345.85/345.86 c | 176051 | 1091 103841 441767 | 2147483647 176051 64 | 0.000 % |
347.15/347.17 c | 177104 | 1091 103841 441767 | 2147483647 177104 64 | 0.000 % |
350.45/350.46 c | 178263 | 1091 103841 441767 | 2147483647 178263 64 | 0.000 % |
354.05/354.07 c | 179536 | 1091 103841 441767 | 2147483647 179536 64 | 0.000 % |
356.15/356.16 c | 180936 | 1091 103841 441767 | 2147483647 180936 64 | 0.000 % |
358.25/358.27 c | 182476 | 1091 103841 441767 | 2147483647 182476 64 | 0.000 % |
360.15/360.15 c | 184170 | 1091 103841 441767 | 2147483647 184170 64 | 0.000 % |
362.45/362.50 c | 186035 | 1091 103841 441767 | 2147483647 186035 64 | 0.000 % |
362.95/362.97 c | 186137 | 1091 103841 441767 | 2147483647 186137 64 | 0.000 % |
363.35/363.39 c | 186248 | 1091 103841 441767 | 2147483647 186248 64 | 0.000 % |
363.75/363.76 c | 186369 | 1091 103841 441767 | 2147483647 186369 64 | 0.000 % |
364.25/364.23 c | 186504 | 1091 103841 441767 | 2147483647 186504 64 | 0.000 % |
364.75/364.76 c | 186650 | 1091 103841 441767 | 2147483647 186650 64 | 0.000 % |
365.25/365.28 c | 186811 | 1091 103841 441767 | 2147483647 186811 64 | 0.000 % |
365.85/365.85 c | 186987 | 1091 103841 441767 | 2147483647 186987 64 | 0.000 % |
366.25/366.26 c | 187182 | 1091 103841 441767 | 2147483647 187182 64 | 0.000 % |
366.75/366.74 c | 187394 | 1091 103841 441767 | 2147483647 187394 64 | 0.000 % |
367.35/367.41 c | 187628 | 1091 103841 441767 | 2147483647 187628 64 | 0.000 % |
368.25/368.22 c | 187884 | 1091 103841 441767 | 2147483647 187884 64 | 0.000 % |
368.95/368.95 c | 188167 | 1091 103841 441767 | 2147483647 188167 64 | 0.000 % |
369.75/369.72 c | 188481 | 1091 103841 441767 | 2147483647 188481 64 | 0.000 % |
370.45/370.49 c | 188823 | 1091 103841 441767 | 2147483647 188823 64 | 0.000 % |
371.55/371.60 c | 189197 | 1091 103841 441767 | 2147483647 189197 64 | 0.000 % |
372.85/372.83 c | 189606 | 1091 103841 441767 | 2147483647 189606 64 | 0.000 % |
374.35/374.35 c | 190059 | 1091 103841 441767 | 2147483647 190059 64 | 0.000 % |
375.35/375.34 c | 190552 | 1091 103841 441767 | 2147483647 190552 64 | 0.000 % |
377.45/377.45 c | 191094 | 1091 103841 441767 | 2147483647 191094 64 | 0.000 % |
378.95/378.99 c | 191690 | 1091 103841 441767 | 2147483647 191690 65 | 0.000 % |
380.15/380.13 c | 192346 | 1091 103841 441767 | 2147483647 192346 65 | 0.000 % |
382.35/382.35 c | 193068 | 1091 103841 441767 | 2147483647 193068 65 | 0.000 % |
385.05/385.05 c | 193860 | 1091 103841 441767 | 2147483647 193860 65 | 0.000 % |
386.65/386.62 c | 194731 | 1091 103841 441767 | 2147483647 194731 65 | 0.000 % |
389.85/389.83 c | 195690 | 1091 103841 441767 | 2147483647 195690 65 | 0.000 % |
393.15/393.13 c | 196743 | 1091 103841 441767 | 2147483647 196743 65 | 0.000 % |
395.85/395.87 c | 197901 | 1091 103841 441767 | 2147483647 197901 64 | 0.000 % |
400.46/400.45 c | 199182 | 1091 103841 441767 | 2147483647 199182 64 | 0.000 % |
404.35/404.35 c | 200583 | 1091 103841 441767 | 2147483647 200583 64 | 0.000 % |
407.46/407.48 c | 202125 | 1091 103841 441767 | 2147483647 202125 64 | 0.000 % |
412.26/412.32 c | 203819 | 1091 103841 441767 | 2147483647 203819 64 | 0.000 % |
418.36/418.41 c | 205682 | 1091 103841 441767 | 2147483647 205682 65 | 0.000 % |
423.35/423.37 c | 207732 | 1091 103841 441767 | 2147483647 207732 65 | 0.000 % |
423.95/423.92 c | 207834 | 1091 103841 441767 | 2147483647 207834 65 | 0.000 % |
424.35/424.34 c | 207945 | 1091 103841 441767 | 2147483647 207945 65 | 0.000 % |
424.66/424.68 c | 208069 | 1091 103841 441767 | 2147483647 208069 65 | 0.000 % |
425.15/425.11 c | 208204 | 1091 103841 441767 | 2147483647 208204 65 | 0.001 % |
425.35/425.39 c | 208352 | 1091 103841 441767 | 2147483647 208352 65 | 0.000 % |
426.25/426.23 c | 208512 | 1091 103841 441767 | 2147483647 208512 65 | 0.000 % |
426.75/426.74 c | 208689 | 1091 103841 441767 | 2147483647 208689 65 | 0.000 % |
427.45/427.48 c | 208883 | 1091 103841 441767 | 2147483647 208883 65 | 0.000 % |
428.45/428.42 c | 209096 | 1091 103841 441767 | 2147483647 209096 65 | 0.000 % |
429.25/429.25 c | 209332 | 1091 103841 441767 | 2147483647 209332 65 | 0.000 % |
429.85/429.82 c | 209589 | 1091 103841 441767 | 2147483647 209589 65 | 0.000 % |
430.85/430.85 c | 209871 | 1091 103841 441767 | 2147483647 209871 65 | 0.000 % |
432.25/432.21 c | 210180 | 1091 103841 441767 | 2147483647 210180 65 | 0.000 % |
433.46/433.45 c | 210520 | 1091 103841 441767 | 2147483647 210520 65 | 0.000 % |
434.35/434.38 c | 210892 | 1091 103841 441767 | 2147483647 210892 65 | 0.000 % |
435.45/435.44 c | 211301 | 1091 103841 441767 | 2147483647 211301 65 | 0.000 % |
437.15/437.12 c | 211750 | 1091 103841 441767 | 2147483647 211750 65 | 0.000 % |
438.85/438.82 c | 212244 | 1091 103841 441767 | 2147483647 212244 65 | 0.000 % |
440.85/440.83 c | 212787 | 1091 103841 441767 | 2147483647 212787 65 | 0.000 % |
442.75/442.76 c | 213383 | 1091 103841 441767 | 2147483647 213383 65 | 0.000 % |
445.35/445.35 c | 214038 | 1091 103841 441767 | 2147483647 214038 65 | 0.000 % |
446.66/446.69 c | 214760 | 1091 103841 441767 | 2147483647 214760 65 | 0.000 % |
449.76/449.75 c | 215555 | 1091 103841 441767 | 2147483647 215555 65 | 0.000 % |
452.16/452.12 c | 216426 | 1091 103841 441767 | 2147483647 216426 65 | 0.000 % |
455.96/456.01 c | 217386 | 1091 103841 441767 | 2147483647 217386 65 | 0.000 % |
460.36/460.38 c | 218439 | 1091 103841 441767 | 2147483647 218439 65 | 0.000 % |
464.66/464.62 c | 219599 | 1091 103841 441767 | 2147483647 219599 65 | 0.000 % |
467.36/467.38 c | 220872 | 1091 103841 441767 | 2147483647 220872 65 | 0.000 % |
472.16/472.14 c | 222273 | 1091 103841 441767 | 2147483647 222273 65 | 0.000 % |
476.96/476.97 c | 223813 | 1091 103841 441767 | 2147483647 223813 65 | 0.000 % |
482.06/482.03 c | 225507 | 1091 103841 441767 | 2147483647 225507 65 | 0.000 % |
486.36/486.36 c | 227373 | 1091 103841 441767 | 2147483647 227373 65 | 0.000 % |
491.46/491.50 c | 229422 | 1091 103841 441767 | 2147483647 229422 65 | 0.000 % |
498.46/498.41 c | 231676 | 1091 103841 441767 | 2147483647 231676 65 | 0.000 % |
498.76/498.75 c | 231776 | 1091 103841 441767 | 2147483647 231776 65 | 0.000 % |
499.16/499.14 c | 231889 | 1091 103841 441767 | 2147483647 231889 65 | 0.000 % |
499.46/499.46 c | 232010 | 1091 103841 441767 | 2147483647 232010 65 | 0.000 % |
500.06/500.08 c | 232143 | 1091 103841 441767 | 2147483647 232143 65 | 0.000 % |
500.76/500.75 c | 232289 | 1091 103841 441767 | 2147483647 232289 65 | 0.000 % |
501.16/501.19 c | 232452 | 1091 103841 441767 | 2147483647 232452 65 | 0.000 % |
501.86/501.85 c | 232629 | 1091 103841 441767 | 2147483647 232629 65 | 0.000 % |
502.56/502.54 c | 232824 | 1091 103841 441767 | 2147483647 232824 65 | 0.000 % |
503.36/503.38 c | 233037 | 1091 103841 441767 | 2147483647 233037 65 | 0.000 % |
504.16/504.13 c | 233272 | 1091 103841 441767 | 2147483647 233272 65 | 0.000 % |
504.96/504.95 c | 233529 | 1091 103841 441767 | 2147483647 233529 65 | 0.000 % |
505.96/505.94 c | 233812 | 1091 103841 441767 | 2147483647 233812 65 | 0.000 % |
506.66/506.69 c | 234122 | 1091 103841 441767 | 2147483647 234122 65 | 0.000 % |
507.86/507.82 c | 234462 | 1091 103841 441767 | 2147483647 234462 65 | 0.000 % |
509.06/509.03 c | 234834 | 1091 103841 441767 | 2147483647 234834 65 | 0.000 % |
510.36/510.33 c | 235245 | 1091 103841 441767 | 2147483647 235245 65 | 0.000 % |
511.76/511.73 c | 235694 | 1091 103841 441767 | 2147483647 235694 65 | 0.000 % |
513.46/513.47 c | 236187 | 1091 103841 441767 | 2147483647 236187 65 | 0.000 % |
514.66/514.71 c | 236729 | 1091 103841 441767 | 2147483647 236729 65 | 0.000 % |
516.86/516.89 c | 237325 | 1091 103841 441767 | 2147483647 237325 65 | 0.000 % |
518.46/518.49 c | 237980 | 1091 103841 441767 | 2147483647 237980 65 | 0.000 % |
520.86/520.86 c | 238702 | 1091 103841 441767 | 2147483647 238702 65 | 0.000 % |
524.26/524.29 c | 239495 | 1091 103841 441767 | 2147483647 239495 65 | 0.000 % |
527.36/527.34 c | 240369 | 1091 103841 441767 | 2147483647 240369 65 | 0.000 % |
530.96/530.95 c | 241328 | 1091 103841 441767 | 2147483647 241328 64 | 0.000 % |
534.36/534.32 c | 242382 | 1091 103841 441767 | 2147483647 242382 64 | 0.000 % |
538.36/538.32 c | 243542 | 1091 103841 441767 | 2147483647 243542 64 | 0.000 % |
541.76/541.76 c | 244815 | 1091 103841 441767 | 2147483647 244815 64 | 0.000 % |
544.86/544.81 c | 246215 | 1091 103841 441767 | 2147483647 246215 64 | 0.000 % |
549.06/549.08 c | 247755 | 1091 103841 441767 | 2147483647 247755 64 | 0.000 % |
553.16/553.14 c | 249451 | 1091 103841 441767 | 2147483647 249451 64 | 0.001 % |
556.67/556.63 c | 251315 | 1091 103841 441767 | 2147483647 251315 64 | 0.000 % |
560.96/560.97 c | 253367 | 1091 103841 441767 | 2147483647 253367 64 | 0.002 % |
570.56/570.53 c | 255624 | 1091 103841 441767 | 2147483647 255624 64 | 0.000 % |
579.77/579.76 c | 258105 | 1091 103841 441767 | 2147483647 258105 64 | 0.000 % |
580.07/580.10 c | 258205 | 1091 103841 441767 | 2147483647 258205 64 | 0.000 % |
580.57/580.55 c | 258315 | 1091 103841 441767 | 2147483647 258315 64 | 0.000 % |
580.97/580.95 c | 258437 | 1091 103841 441767 | 2147483647 258437 64 | 0.000 % |
581.37/581.41 c | 258570 | 1091 103841 441767 | 2147483647 258570 64 | 0.000 % |
582.27/582.23 c | 258718 | 1091 103841 441767 | 2147483647 258718 64 | 0.000 % |
582.97/582.98 c | 258880 | 1091 103841 441767 | 2147483647 258880 64 | 0.000 % |
583.67/583.66 c | 259056 | 1091 103841 441767 | 2147483647 259056 64 | 0.000 % |
584.27/584.27 c | 259250 | 1091 103841 441767 | 2147483647 259250 64 | 0.000 % |
585.07/585.11 c | 259462 | 1091 103841 441767 | 2147483647 259462 64 | 0.000 % |
586.27/586.26 c | 259696 | 1091 103841 441767 | 2147483647 259696 64 | 0.000 % |
587.57/587.61 c | 259952 | 1091 103841 441767 | 2147483647 259952 64 | 0.000 % |
588.67/588.63 c | 260234 | 1091 103841 441767 | 2147483647 260234 64 | 0.000 % |
589.87/589.83 c | 260543 | 1091 103841 441767 | 2147483647 260543 64 | 0.000 % |
591.27/591.29 c | 260885 | 1091 103841 441767 | 2147483647 260885 64 | 0.000 % |
592.37/592.38 c | 261258 | 1091 103841 441767 | 2147483647 261258 64 | 0.000 % |
593.97/593.94 c | 261668 | 1091 103841 441767 | 2147483647 261668 64 | 0.000 % |
595.27/595.30 c | 262117 | 1091 103841 441767 | 2147483647 262117 64 | 0.000 % |
597.37/597.39 c | 262612 | 1091 103841 441767 | 2147483647 262612 64 | 0.000 % |
598.77/598.74 c | 263156 | 1091 103841 441767 | 2147483647 263156 64 | 0.000 % |
601.07/601.06 c | 263754 | 1091 103841 441767 | 2147483647 263754 64 | 0.000 % |
602.87/602.87 c | 264411 | 1091 103841 441767 | 2147483647 264411 64 | 0.000 % |
604.07/604.11 c | 265132 | 1091 103841 441767 | 2147483647 265132 65 | 0.000 % |
605.17/605.17 c | 265924 | 1091 103841 441767 | 2147483647 265924 65 | 0.000 % |
606.77/606.74 c | 266795 | 1091 103841 441767 | 2147483647 266795 65 | 0.000 % |
609.37/609.37 c | 267753 | 1091 103841 441767 | 2147483647 267753 65 | 0.000 % |
613.87/613.82 c | 268806 | 1091 103841 441767 | 2147483647 268806 65 | 0.000 % |
616.07/616.06 c | 269966 | 1091 103841 441767 | 2147483647 269966 65 | 0.000 % |
620.57/620.52 c | 271239 | 1091 103841 441767 | 270000 230574 64 | 0.000 % |
623.87/623.85 c | 272641 | 1091 103841 441767 | 270000 231976 64 | 0.000 % |
629.07/629.08 c | 274181 | 1091 103841 441767 | 270000 233516 64 | 0.000 % |
634.27/634.28 c | 275876 | 1091 103841 441767 | 270000 235211 64 | 0.000 % |
640.27/640.29 c | 277742 | 1091 103841 441767 | 270000 237077 64 | 0.000 % |
646.27/646.27 c | 279792 | 1091 103841 441767 | 270000 239127 64 | 0.001 % |
653.37/653.34 c | 282047 | 1091 103841 441767 | 2147483647 241382 64 | 0.000 % |
659.97/659.92 c | 284529 | 1091 103841 441767 | 2147483647 243864 64 | 0.000 % |
668.67/668.68 c | 287254 | 1091 103841 441767 | 2147483647 246589 64 | 0.000 % |
669.07/669.03 c | 287354 | 1091 103841 441767 | 2147483647 246689 64 | 0.000 % |
669.47/669.43 c | 287467 | 1091 103841 441767 | 2147483647 246802 64 | 0.000 % |
669.87/669.86 c | 287588 | 1091 103841 441767 | 2147483647 246923 64 | 0.000 % |
670.47/670.46 c | 287722 | 1091 103841 441767 | 2147483647 247057 64 | 0.000 % |
670.87/670.82 c | 287870 | 1091 103841 441767 | 2147483647 247205 64 | 0.000 % |
671.37/671.33 c | 288030 | 1091 103841 441767 | 2147483647 247365 64 | 0.000 % |
671.97/671.98 c | 288206 | 1091 103841 441767 | 2147483647 247541 64 | 0.000 % |
672.77/672.75 c | 288402 | 1091 103841 441767 | 2147483647 247737 64 | 0.000 % |
673.37/673.35 c | 288615 | 1091 103841 441767 | 2147483647 247950 64 | 0.000 % |
674.07/674.07 c | 288848 | 1091 103841 441767 | 2147483647 248183 64 | 0.000 % |
674.97/674.92 c | 289104 | 1091 103841 441767 | 2147483647 248439 64 | 0.000 % |
675.77/675.78 c | 289386 | 1091 103841 441767 | 2147483647 248721 64 | 0.000 % |
676.87/676.88 c | 289700 | 1091 103841 441767 | 2147483647 249035 64 | 0.000 % |
677.97/677.94 c | 290040 | 1091 103841 441767 | 2147483647 249375 64 | 0.000 % |
678.87/678.88 c | 290412 | 1091 103841 441767 | 2147483647 249747 64 | 0.000 % |
680.17/680.13 c | 290821 | 1091 103841 441767 | 2147483647 250156 64 | 0.000 % |
681.97/681.97 c | 291270 | 1091 103841 441767 | 2147483647 250605 64 | 0.000 % |
683.18/683.20 c | 291763 | 1091 103841 441767 | 2147483647 251098 64 | 0.000 % |
684.67/684.64 c | 292306 | 1091 103841 441767 | 2147483647 251641 64 | 0.000 % |
686.67/686.66 c | 292902 | 1091 103841 441767 | 2147483647 252237 64 | 0.000 % |
688.27/688.22 c | 293559 | 1091 103841 441767 | 2147483647 252894 64 | 0.000 % |
691.27/691.25 c | 294279 | 1091 103841 441767 | 2147483647 253614 64 | 0.000 % |
693.67/693.66 c | 295073 | 1091 103841 441767 | 2147483647 254408 64 | 0.000 % |
696.77/696.78 c | 295945 | 1091 103841 441767 | 2147483647 255280 64 | 0.000 % |
700.37/700.31 c | 296903 | 1091 103841 441767 | 2147483647 256238 64 | 0.000 % |
703.47/703.45 c | 297956 | 1091 103841 441767 | 2147483647 257291 64 | 0.000 % |
707.38/707.35 c | 299115 | 1091 103841 441767 | 2147483647 258450 64 | 0.000 % |
711.18/711.14 c | 300388 | 1091 103841 441767 | 2147483647 259723 64 | 0.000 % |
715.28/715.28 c | 301788 | 1091 103841 441767 | 2147483647 261123 64 | 0.000 % |
719.78/719.80 c | 303328 | 1091 103841 441767 | 2147483647 262663 63 | 0.000 % |
723.88/723.90 c | 305023 | 1091 103841 441767 | 2147483647 264358 63 | 0.000 % |
730.18/730.12 c | 306887 | 1091 103841 441767 | 2147483647 266222 63 | 0.000 % |
736.88/736.89 c | 308941 | 1091 103841 441767 | 2147483647 268276 63 | 0.000 % |
742.18/742.17 c | 311196 | 1091 103841 441767 | 2147483647 270531 63 | 0.000 % |
747.68/747.68 c | 313675 | 1091 103841 441767 | 2147483647 273010 63 | 0.000 % |
756.28/756.23 c | 316402 | 1091 103841 441767 | 2147483647 275737 63 | 0.001 % |
766.19/766.13 c | 319399 | 1091 103841 441767 | 2147483647 278734 63 | 0.000 % |
766.49/766.44 c | 319500 | 1091 103841 441767 | 2147483647 278835 63 | 0.000 % |
766.89/766.85 c | 319611 | 1091 103841 441767 | 2147483647 278946 63 | 0.000 % |
767.29/767.30 c | 319733 | 1091 103841 441767 | 2147483647 279068 63 | 0.000 % |
767.69/767.66 c | 319867 | 1091 103841 441767 | 2147483647 279202 63 | 0.000 % |
768.29/768.31 c | 320013 | 1091 103841 441767 | 2147483647 279348 63 | 0.000 % |
769.09/769.04 c | 320175 | 1091 103841 441767 | 2147483647 279510 63 | 0.000 % |
769.39/769.40 c | 320355 | 1091 103841 441767 | 2147483647 279690 63 | 0.000 % |
769.79/769.76 c | 320549 | 1091 103841 441767 | 2147483647 279884 63 | 0.000 % |
770.49/770.46 c | 320763 | 1091 103841 441767 | 2147483647 280098 63 | 0.000 % |
771.19/771.19 c | 320997 | 1091 103841 441767 | 2147483647 280332 63 | 0.000 % |
772.29/772.23 c | 321256 | 1091 103841 441767 | 2147483647 280591 63 | 0.000 % |
773.09/773.05 c | 321538 | 1091 103841 441767 | 2147483647 280873 63 | 0.000 % |
774.19/774.19 c | 321847 | 1091 103841 441767 | 2147483647 281182 63 | 0.000 % |
774.89/774.91 c | 322187 | 1091 103841 441767 | 2147483647 281522 63 | 0.000 % |
776.19/776.22 c | 322561 | 1091 103841 441767 | 2147483647 281896 63 | 0.000 % |
777.29/777.27 c | 322970 | 1091 103841 441767 | 2147483647 282305 63 | 0.000 % |
778.88/778.90 c | 323420 | 1091 103841 441767 | 2147483647 282755 63 | 0.000 % |
780.18/780.16 c | 323914 | 1091 103841 441767 | 2147483647 283249 63 | 0.000 % |
782.28/782.25 c | 324460 | 1091 103841 441767 | 2147483647 283795 63 | 0.000 % |
783.78/783.72 c | 325056 | 1091 103841 441767 | 2147483647 284391 63 | 0.000 % |
785.28/785.25 c | 325711 | 1091 103841 441767 | 2147483647 285046 63 | 0.000 % |
787.98/787.91 c | 326431 | 1091 103841 441767 | 2147483647 285766 63 | 0.000 % |
790.28/790.28 c | 327223 | 1091 103841 441767 | 2147483647 286558 63 | 0.000 % |
792.78/792.76 c | 328095 | 1091 103841 441767 | 2147483647 287430 63 | 0.000 % |
797.28/797.24 c | 329053 | 1091 103841 441767 | 2147483647 288388 63 | 0.000 % |
800.98/800.99 c | 330106 | 1091 103841 441767 | 2147483647 289441 63 | 0.000 % |
805.78/805.73 c | 331264 | 1091 103841 441767 | 2147483647 290599 63 | 0.000 % |
810.18/810.11 c | 332538 | 1091 103841 441767 | 2147483647 291873 63 | 0.000 % |
814.58/814.60 c | 333938 | 1091 103841 441767 | 2147483647 293273 63 | 0.000 % |
820.69/820.62 c | 335478 | 1091 103841 441767 | 2147483647 294813 63 | 0.000 % |
827.38/827.31 c | 337174 | 1091 103841 441767 | 2147483647 296509 63 | 0.000 % |
833.58/833.59 c | 339037 | 1091 103841 441767 | 2147483647 298372 63 | 0.000 % |
840.89/840.81 c | 341086 | 1091 103841 441767 | 2147483647 300421 63 | 0.000 % |
849.09/849.09 c | 343340 | 1091 103841 441767 | 2147483647 302675 64 | 0.000 % |
854.89/854.90 c | 345819 | 1091 103841 441767 | 2147483647 305154 64 | 0.000 % |
865.19/865.19 c | 348544 | 1091 103841 441767 | 2147483647 307879 64 | 0.000 % |
876.99/876.98 c | 351541 | 1091 103841 441767 | 2147483647 310876 64 | 0.000 % |
889.19/889.14 c | 354839 | 1091 103841 441767 | 2147483647 314174 64 | 0.000 % |
889.59/889.53 c | 354939 | 1091 103841 441767 | 2147483647 314274 64 | 0.000 % |
889.99/889.98 c | 355049 | 1091 103841 441767 | 2147483647 314384 64 | 0.000 % |
890.69/890.62 c | 355171 | 1091 103841 441767 | 2147483647 314506 64 | 0.000 % |
891.39/891.33 c | 355304 | 1091 103841 441767 | 2147483647 314639 64 | 0.000 % |
891.89/891.90 c | 355451 | 1091 103841 441767 | 2147483647 314786 64 | 0.000 % |
892.69/892.66 c | 355611 | 1091 103841 441767 | 2147483647 314946 64 | 0.000 % |
893.39/893.32 c | 355788 | 1091 103841 441767 | 2147483647 315123 64 | 0.000 % |
894.09/894.07 c | 355981 | 1091 103841 441767 | 2147483647 315316 64 | 0.000 % |
895.09/895.06 c | 356193 | 1091 103841 441767 | 2147483647 315528 64 | 0.000 % |
896.09/896.09 c | 356427 | 1091 103841 441767 | 2147483647 315762 64 | 0.000 % |
897.29/897.25 c | 356685 | 1091 103841 441767 | 2147483647 316020 64 | 0.000 % |
898.39/898.33 c | 356966 | 1091 103841 441767 | 2147483647 316301 64 | 0.000 % |
899.69/899.63 c | 357276 | 1091 103841 441767 | 2147483647 316611 64 | 0.000 % |
900.99/900.91 c | 357618 | 1091 103841 441767 | 2147483647 316953 64 | 0.000 % |
902.59/902.59 c | 357990 | 1091 103841 441767 | 2147483647 317325 64 | 0.000 % |
904.49/904.41 c | 358400 | 1091 103841 441767 | 2147483647 317735 64 | 0.000 % |
906.09/906.08 c | 358850 | 1091 103841 441767 | 2147483647 318185 64 | 0.000 % |
908.09/908.07 c | 359343 | 1091 103841 441767 | 2147483647 318678 64 | 0.000 % |
910.19/910.20 c | 359885 | 1091 103841 441767 | 2147483647 319220 64 | 0.000 % |
912.39/912.33 c | 360481 | 1091 103841 441767 | 2147483647 319816 64 | 0.000 % |
914.19/914.20 c | 361138 | 1091 103841 441767 | 2147483647 320473 64 | 0.000 % |
916.89/916.86 c | 361863 | 1091 103841 441767 | 2147483647 321198 63 | 0.000 % |
919.59/919.54 c | 362657 | 1091 103841 441767 | 2147483647 321992 63 | 0.000 % |
923.00/922.98 c | 363529 | 1091 103841 441767 | 2147483647 322864 63 | 0.000 % |
926.89/926.81 c | 364489 | 1091 103841 441767 | 2147483647 323824 63 | 0.000 % |
931.29/931.29 c | 365542 | 1091 103841 441767 | 2147483647 324877 63 | 0.000 % |
934.29/934.30 c | 366702 | 1091 103841 441767 | 2147483647 326037 64 | 0.000 % |
938.09/938.05 c | 367977 | 1091 103841 441767 | 2147483647 327312 64 | 0.000 % |
942.49/942.47 c | 369377 | 1091 103841 441767 | 2147483647 328712 64 | 0.000 % |
949.19/949.17 c | 370918 | 1091 103841 441767 | 2147483647 330253 64 | 0.000 % |
955.39/955.35 c | 372613 | 1091 103841 441767 | 2147483647 331948 63 | 0.000 % |
962.39/962.40 c | 374476 | 1091 103841 441767 | 2147483647 333811 63 | 0.000 % |
970.30/970.31 c | 376527 | 1091 103841 441767 | 2147483647 335862 63 | 0.000 % |
978.00/977.97 c | 378780 | 1091 103841 441767 | 2147483647 338115 64 | 0.000 % |
986.30/986.26 c | 381259 | 1091 103841 441767 | 2147483647 340594 64 | 0.000 % |
996.60/996.54 c | 383984 | 1091 103841 441767 | 2147483647 343319 64 | 0.000 % |
1007.10/1007.03 c | 386982 | 1091 103841 441767 | 2147483647 346317 64 | 0.000 % |
1014.80/1014.81 c | 390279 | 1091 103841 441767 | 349337 349614 64 | 0.000 % |
1026.70/1026.63 c | 393904 | 1091 103841 441767 | 349337 312524 64 | 0.000 % |
1026.90/1026.87 c | 394006 | 1091 103841 441767 | 349337 312626 64 | 0.000 % |
1027.50/1027.41 c | 394116 | 1091 103841 441767 | 349337 312736 64 | 0.000 % |
1027.90/1027.86 c | 394237 | 1091 103841 441767 | 349337 312857 64 | 0.000 % |
1028.30/1028.23 c | 394372 | 1091 103841 441767 | 349337 312992 64 | 0.000 % |
1029.00/1028.93 c | 394518 | 1091 103841 441767 | 349337 313138 64 | 0.000 % |
1029.80/1029.77 c | 394678 | 1091 103841 441767 | 349337 313298 64 | 0.000 % |
1030.40/1030.33 c | 394854 | 1091 103841 441767 | 349337 313474 64 | 0.000 % |
1031.30/1031.24 c | 395047 | 1091 103841 441767 | 349337 313667 64 | 0.000 % |
1032.00/1031.91 c | 395259 | 1091 103841 441767 | 349337 313879 64 | 0.000 % |
1032.80/1032.80 c | 395492 | 1091 103841 441767 | 349337 314112 64 | 0.000 % |
1034.00/1033.93 c | 395748 | 1091 103841 441767 | 349337 314368 64 | 0.000 % |
1035.00/1034.92 c | 396031 | 1091 103841 441767 | 349337 314651 64 | 0.000 % |
1036.10/1036.03 c | 396341 | 1091 103841 441767 | 349337 314961 64 | 0.000 % |
1037.50/1037.43 c | 396681 | 1091 103841 441767 | 349337 315301 64 | 0.000 % |
1038.30/1038.27 c | 397055 | 1091 103841 441767 | 349337 315675 64 | 0.000 % |
1039.90/1039.82 c | 397464 | 1091 103841 441767 | 349337 316084 64 | 0.000 % |
1042.10/1042.02 c | 397913 | 1091 103841 441767 | 349337 316533 64 | 0.000 % |
1043.60/1043.61 c | 398406 | 1091 103841 441767 | 349337 317026 64 | 0.000 % |
1045.80/1045.72 c | 398948 | 1091 103841 441767 | 349337 317568 64 | 0.000 % |
1048.40/1048.39 c | 399545 | 1091 103841 441767 | 349337 318165 64 | 0.000 % |
1050.30/1050.28 c | 400202 | 1091 103841 441767 | 318621 318822 64 | 0.000 % |
1054.70/1054.66 c | 400923 | 1091 103841 441767 | 318621 274171 64 | 0.000 % |
1057.50/1057.44 c | 401715 | 1091 103841 441767 | 318621 274963 64 | 0.000 % |
1060.51/1060.46 c | 402588 | 1091 103841 441767 | 318621 275836 64 | 0.000 % |
1063.81/1063.77 c | 403546 | 1091 103841 441767 | 318621 276794 64 | 0.000 % |
1067.70/1067.69 c | 404600 | 1091 103841 441767 | 318621 277848 64 | 0.000 % |
1072.10/1072.04 c | 405761 | 1091 103841 441767 | 318621 279009 64 | 0.000 % |
1076.50/1076.43 c | 407034 | 1091 103841 441767 | 318621 280282 64 | 0.000 % |
1081.10/1081.09 c | 408434 | 1091 103841 441767 | 318621 281682 64 | 0.000 % |
1085.50/1085.46 c | 409974 | 1091 103841 441767 | 318621 283222 65 | 0.000 % |
1091.80/1091.73 c | 411673 | 1091 103841 441767 | 2147483647 284921 64 | 0.000 % |
1097.80/1097.72 c | 413537 | 1091 103841 441767 | 2147483647 286785 64 | 0.000 % |
1103.91/1103.87 c | 415587 | 1091 103841 441767 | 2147483647 288835 64 | 0.000 % |
1111.21/1111.15 c | 417841 | 1091 103841 441767 | 2147483647 291089 64 | 0.000 % |
1118.72/1118.66 c | 420321 | 1091 103841 441767 | 2147483647 293569 65 | 0.000 % |
1125.62/1125.53 c | 423046 | 1091 103841 441767 | 2147483647 296294 65 | 0.000 % |
1133.12/1133.11 c | 426043 | 1091 103841 441767 | 2147483647 299291 65 | 0.000 % |
1141.01/1140.92 c | 429341 | 1091 103841 441767 | 2147483647 302589 65 | 0.000 % |
1153.01/1152.96 c | 432968 | 1091 103841 441767 | 2147483647 306216 65 | 0.000 % |
1166.41/1166.40 c | 436955 | 1091 103841 441767 | 2147483647 310203 65 | 0.000 % |
1166.91/1166.82 c | 437057 | 1091 103841 441767 | 2147483647 310305 65 | 0.000 % |
1167.41/1167.35 c | 437168 | 1091 103841 441767 | 2147483647 310416 65 | 0.000 % |
1167.91/1167.83 c | 437289 | 1091 103841 441767 | 2147483647 310537 65 | 0.000 % |
1168.41/1168.31 c | 437424 | 1091 103841 441767 | 2147483647 310672 65 | 0.000 % |
1168.81/1168.78 c | 437571 | 1091 103841 441767 | 2147483647 310819 65 | 0.000 % |
1169.61/1169.59 c | 437731 | 1091 103841 441767 | 2147483647 310979 65 | 0.000 % |
1170.41/1170.32 c | 437910 | 1091 103841 441767 | 2147483647 311158 65 | 0.000 % |
1171.11/1171.04 c | 438103 | 1091 103841 441767 | 2147483647 311351 65 | 0.000 % |
1171.81/1171.74 c | 438316 | 1091 103841 441767 | 2147483647 311564 65 | 0.000 % |
1172.71/1172.65 c | 438549 | 1091 103841 441767 | 2147483647 311797 65 | 0.000 % |
1174.01/1173.92 c | 438811 | 1091 103841 441767 | 2147483647 312059 65 | 0.000 % |
1175.01/1174.99 c | 439092 | 1091 103841 441767 | 2147483647 312340 65 | 0.000 % |
1176.51/1176.42 c | 439402 | 1091 103841 441767 | 2147483647 312650 65 | 0.000 % |
1177.41/1177.33 c | 439741 | 1091 103841 441767 | 2147483647 312989 65 | 0.000 % |
1178.71/1178.63 c | 440113 | 1091 103841 441767 | 2147483647 313361 65 | 0.000 % |
1180.51/1180.49 c | 440522 | 1091 103841 441767 | 2147483647 313770 65 | 0.000 % |
1182.62/1182.58 c | 440972 | 1091 103841 441767 | 2147483647 314220 65 | 0.000 % |
1183.91/1183.83 c | 441465 | 1091 103841 441767 | 2147483647 314713 65 | 0.000 % |
1186.11/1186.05 c | 442010 | 1091 103841 441767 | 2147483647 315258 65 | 0.000 % |
1188.21/1188.20 c | 442609 | 1091 103841 441767 | 2147483647 315857 65 | 0.000 % |
1190.32/1190.27 c | 443265 | 1091 103841 441767 | 2147483647 316513 65 | 0.000 % |
1192.71/1192.70 c | 443985 | 1091 103841 441767 | 2147483647 317233 65 | 0.000 % |
1195.61/1195.55 c | 444777 | 1091 103841 441767 | 2147483647 318025 65 | 0.000 % |
1198.71/1198.70 c | 445649 | 1091 103841 441767 | 2147483647 318897 65 | 0.000 % |
1200.01/1199.92 HOME/SatELiteGTI: line 36: 13466 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-1821676-1242551042/watcher-1821676-1242551042 -o /tmp/evaluation-result-1821676-1242551042/solver-1821676-1242551042 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821676-1242551042.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.01 1.00 2/91 13460
/proc/meminfo: memFree=877668/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2416 CPUtime=0.01
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 367 647 0 0 0 0 0 1 25 0 1 0 1019602284 2473984 277 4294967295 134512640 135169312 3219614144 3219612680 3084934894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13460/statm: 604 277 235 161 0 43 0
[pid=13464] ppid=13460 vsize=952 CPUtime=0
/proc/13464/stat : 13464 (SatELite_releas) R 13460 13460 15108 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1019602284 974848 49 4294967295 134512640 135223648 3217405856 3217404760 134736942 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13464/statm: 239 54 44 174 0 64 0
[startup+0.093896 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 13460
/proc/meminfo: memFree=877668/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2416 CPUtime=0.01
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 367 647 0 0 0 0 0 1 25 0 1 0 1019602284 2473984 277 4294967295 134512640 135169312 3219614144 3219612680 3084934894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13460/statm: 604 277 235 161 0 43 0
[pid=13464] ppid=13460 vsize=8532 CPUtime=0.09
/proc/13464/stat : 13464 (SatELite_releas) R 13460 13460 15108 0 -1 4202496 2027 0 0 0 9 0 0 0 25 0 1 0 1019602284 8736768 1963 4294967295 134512640 135223648 3217405856 3217403856 134548337 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13464/statm: 2133 1963 73 174 0 1958 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10948
[startup+0.113894 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 13460
/proc/meminfo: memFree=877668/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2416 CPUtime=0.01
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 367 647 0 0 0 0 0 1 25 0 1 0 1019602284 2473984 277 4294967295 134512640 135169312 3219614144 3219612680 3084934894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13460/statm: 604 277 235 161 0 43 0
[pid=13464] ppid=13460 vsize=8816 CPUtime=0.11
/proc/13464/stat : 13464 (SatELite_releas) R 13460 13460 15108 0 -1 4202496 2083 0 0 0 11 0 0 0 25 0 1 0 1019602284 9027584 2019 4294967295 134512640 135223648 3217405856 3217403856 134549039 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13464/statm: 2204 2019 73 174 0 2029 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 11232
[startup+0.313879 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 13460
/proc/meminfo: memFree=877668/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2416 CPUtime=0.01
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 367 647 0 0 0 0 0 1 25 0 1 0 1019602284 2473984 277 4294967295 134512640 135169312 3219614144 3219612680 3084934894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13460/statm: 604 277 235 161 0 43 0
[pid=13464] ppid=13460 vsize=11148 CPUtime=0.31
/proc/13464/stat : 13464 (SatELite_releas) R 13460 13460 15108 0 -1 4202496 2668 0 0 0 30 1 0 0 25 0 1 0 1019602284 11415552 2604 4294967295 134512640 135223648 3217405856 3217403952 134585544 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13464/statm: 2787 2604 73 174 0 2612 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 13564
[startup+0.713848 s]
/proc/loadavg: 1.00 1.01 1.00 2/91 13460
/proc/meminfo: memFree=877668/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2416 CPUtime=0.01
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 367 647 0 0 0 0 0 1 25 0 1 0 1019602284 2473984 277 4294967295 134512640 135169312 3219614144 3219612680 3084934894 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/13460/statm: 604 277 235 161 0 43 0
[pid=13464] ppid=13460 vsize=11536 CPUtime=0.71
/proc/13464/stat : 13464 (SatELite_releas) R 13460 13460 15108 0 -1 4202496 2765 0 0 0 70 1 0 0 25 0 1 0 1019602284 11812864 2701 4294967295 134512640 135223648 3217405856 3217403952 134585507 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13464/statm: 2884 2701 73 174 0 2709 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 13952
[startup+1.51379 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 13466
/proc/meminfo: memFree=869484/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=7572 CPUtime=0.62
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 1804 0 0 0 61 1 0 0 23 0 1 0 1019602374 7753728 1739 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 1893 1739 73 172 0 1720 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 9992
[startup+3.11367 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 13466
/proc/meminfo: memFree=867996/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=8760 CPUtime=2.22
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 2089 0 0 0 221 1 0 0 25 0 1 0 1019602374 8970240 2024 4294967295 134512640 135215339 3214912928 3214910928 134532672 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 2190 2024 73 172 0 2017 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 11180
[startup+6.31342 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 13466
/proc/meminfo: memFree=865888/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=10756 CPUtime=5.42
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 2601 0 0 0 541 1 0 0 25 0 1 0 1019602374 11014144 2536 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 2689 2536 73 172 0 2516 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 13176
[startup+12.7129 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 13467
/proc/meminfo: memFree=862572/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=13632 CPUtime=11.82
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 3301 0 0 0 1181 1 0 0 25 0 1 0 1019602374 13959168 3236 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 3408 3236 73 172 0 3235 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 16052
[startup+25.5119 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 13468
/proc/meminfo: memFree=858080/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=17904 CPUtime=24.62
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 4381 0 0 0 2461 1 0 0 25 0 1 0 1019602374 18333696 4316 4294967295 134512640 135215339 3214912928 3214911216 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 4476 4316 73 172 0 4303 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 20324
[startup+51.11 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 13469
/proc/meminfo: memFree=852100/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=23988 CPUtime=50.22
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 5907 0 0 0 5019 3 0 0 25 0 1 0 1019602374 24563712 5842 4294967295 134512640 135215339 3214912928 3214911216 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 5997 5842 73 172 0 5824 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 26408
[startup+102.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 13657
/proc/meminfo: memFree=841956/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=34176 CPUtime=101.43
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 8371 0 0 0 10139 4 0 0 25 0 1 0 1019602374 34996224 8306 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 8544 8306 73 172 0 8371 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 36596
[startup+162.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 13849
/proc/meminfo: memFree=834268/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=41940 CPUtime=161.43
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 10250 0 0 0 16137 6 0 0 25 0 1 0 1019602374 42946560 10185 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 10485 10185 73 172 0 10312 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 44360
[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14037
/proc/meminfo: memFree=827068/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=48852 CPUtime=221.44
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 12002 0 0 0 22137 7 0 0 25 0 1 0 1019602374 50024448 11937 4294967295 134512640 135215339 3214912928 3214911216 134528824 0 0 0 3 0 0 0 17 0 0 0 0
/proc/13466/statm: 12213 11937 73 172 0 12040 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 51272
[startup+282.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14225
/proc/meminfo: memFree=821092/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=55656 CPUtime=281.44
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 13636 0 0 0 28137 7 0 0 25 0 1 0 1019602374 56991744 13571 4294967295 134512640 135215339 3214912928 3214911216 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 13914 13571 73 172 0 13741 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 58076
[startup+342.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14411
/proc/meminfo: memFree=815248/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=61448 CPUtime=341.45
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 15105 0 0 0 34138 7 0 0 25 0 1 0 1019602374 62922752 15040 4294967295 134512640 135215339 3214912928 3214911216 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 15362 15040 73 172 0 15189 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=82344 CPUtime=521.46
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 20193 0 0 0 52134 12 0 0 25 0 1 0 1019602374 84320256 20128 4294967295 134512640 135215339 3214912928 3214911216 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 20586 20128 73 172 0 20413 0
Current children cumulated CPU time (s) 522.36
Current children cumulated vsize (KiB) 84764
[startup+582.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15173
/proc/meminfo: memFree=789316/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=87520 CPUtime=581.47
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 21511 0 0 0 58133 14 0 0 25 0 1 0 1019602374 89620480 21446 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 21880 21446 73 172 0 21707 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 89940
[startup+642.315 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15359
/proc/meminfo: memFree=785488/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=91480 CPUtime=641.47
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 22489 0 0 0 64130 17 0 0 25 0 1 0 1019602374 93675520 22424 4294967295 134512640 135215339 3214912928 3214911216 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 22870 22424 73 172 0 22697 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 93900
[startup+702.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15548
/proc/meminfo: memFree=785356/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=91480 CPUtime=701.47
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 22493 0 0 0 70130 17 0 0 25 0 1 0 1019602374 93675520 22428 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 22870 22428 73 172 0 22697 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 93900
[startup+762.325 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15736
/proc/meminfo: memFree=784620/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=92288 CPUtime=761.49
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 22711 0 0 0 76131 18 0 0 25 0 1 0 1019602374 94502912 22646 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 23072 22646 73 172 0 22899 0
Current children cumulated CPU time (s) 762.39
Current children cumulated vsize (KiB) 94708
[startup+822.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15931
/proc/meminfo: memFree=778600/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=98060 CPUtime=821.48
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 24140 0 0 0 82128 20 0 0 25 0 1 0 1019602374 100413440 24075 4294967295 134512640 135215339 3214912928 3214911216 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 24515 24075 73 172 0 24342 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 100480
[startup+882.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16119
/proc/meminfo: memFree=772872/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=104452 CPUtime=881.49
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 25578 0 0 0 88127 22 0 0 25 0 1 0 1019602374 106958848 25513 4294967295 134512640 135215339 3214912928 3214911216 134528875 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 26113 25513 73 172 0 25940 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 106872
[startup+942.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16305
/proc/meminfo: memFree=768928/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=108752 CPUtime=941.49
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 26648 0 0 0 94126 23 0 0 25 0 1 0 1019602374 111362048 26583 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 27188 26583 73 172 0 27015 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 111172
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16494
/proc/meminfo: memFree=763712/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=113884 CPUtime=1001.5
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 27918 0 0 0 100126 24 0 0 25 0 1 0 1019602374 116617216 27853 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 28471 27853 73 172 0 28298 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 116304
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16682
/proc/meminfo: memFree=762348/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=115204 CPUtime=1061.5
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 28272 0 0 0 106126 24 0 0 25 0 1 0 1019602374 117968896 28207 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 28801 28207 73 172 0 28628 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 117624
[startup+1122.33 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16870
/proc/meminfo: memFree=762232/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=115324 CPUtime=1121.52
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 28303 0 0 0 112128 24 0 0 25 0 1 0 1019602374 118091776 28238 4294967295 134512640 135215339 3214912928 3214911216 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 28831 28238 73 172 0 28658 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 117744
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 17062
/proc/meminfo: memFree=762068/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=115488 CPUtime=1181.51
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 28344 0 0 0 118127 24 0 0 25 0 1 0 1019602374 118259712 28279 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 28872 28279 73 172 0 28699 0
Current children cumulated CPU time (s) 1182.41
Current children cumulated vsize (KiB) 117908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 17246
/proc/meminfo: memFree=761596/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=115632 CPUtime=1199.11
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 28363 0 0 0 119887 24 0 0 25 0 1 0 1019602374 118407168 28298 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 28908 28298 73 172 0 28735 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 118052
Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 17246
/proc/meminfo: memFree=761596/2074464 swapFree=1952056/1959888
[pid=13460] ppid=13458 vsize=2420 CPUtime=0.9
/proc/13460/stat : 13460 (SatELiteGTI) S 13458 13460 15108 0 -1 4194304 386 3416 0 0 0 0 86 4 18 0 1 0 1019602284 2478080 278 4294967295 134512640 135169312 3219614144 3219610360 3084934894 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/13460/statm: 605 278 235 161 0 44 0
[pid=13466] ppid=13460 vsize=115632 CPUtime=1199.11
/proc/13466/stat : 13466 (minisat_static) R 13460 13460 15108 0 -1 4202496 28363 0 0 0 119887 24 0 0 25 0 1 0 1019602374 118407168 28298 4294967295 134512640 135215339 3214912928 3214911216 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/13466/statm: 28908 28298 73 172 0 28735 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 118052
Child status: 143
Real time (s): 1199.93
CPU time (s): 1200.02
CPU user time (s): 1199.73
CPU system time (s): 0.29
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 118052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.73
system time used= 0.29
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32442
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= 23
involuntary context switches= 2931
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi24 at 2009-05-17 11:04:02
IDJOB=1821676
IDBENCH=71064
IDSOLVER=657
FILE ID=tipi24/1821676-1242551042
PBS_JOBID=
Free space on /tmp= 9656 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_11_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821676-1242551042/watcher-1821676-1242551042 -o /tmp/evaluation-result-1821676-1242551042/solver-1821676-1242551042 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821676-1242551042.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b02fa517730e45c506203f9bd7ebb62c
RANDOM SEED= 1677512879
Linux tipi24 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.461
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.75
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.461
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.461
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: 877668 kB
Buffers: 52360 kB
Cached: 1028764 kB
SwapCached: 3828 kB
Active: 301580 kB
Inactive: 789076 kB
HighTotal: 1178688 kB
HighFree: 230692 kB
LowTotal: 895776 kB
LowFree: 646976 kB
SwapTotal: 1959888 kB
SwapFree: 1952056 kB
Dirty: 3320 kB
Writeback: 0 kB
AnonPages: 8764 kB
Mapped: 3176 kB
Slab: 97620 kB
PageTables: 444 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87800 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9656 MiB
End job on tipi24 at 2009-05-17 11:24:02