0.00/0.00 c Parsing...
0.23/0.25 c ==============================================================================
0.23/0.25 c | | ORIGINAL | LEARNT | |
0.23/0.25 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.23/0.25 c ==============================================================================
0.23/0.25 c | 0 | 362797 1083511 | 108839 0 0 nan | 0.000 % |
5.33/5.41 c | 0 | 361512 1585361 | -- 0 -- -- | -- | -1285/501850
5.33/5.41 c ==============================================================================
5.33/5.41 c Result : #vars: 2152 #clauses: 361512 #literals: 1585361
5.33/5.41 c CPU time: 5.37 s
5.33/5.41 c ==============================================================================
5.82/5.90 c This is MiniSat 2.0 beta
5.82/5.90 c WARNING: for repeatability, setting FPU to use double precision
5.82/5.90 c ============================[ Problem Statistics ]=============================
5.82/5.90 c | |
5.82/5.91 c | Number of variables: 2152 |
5.82/5.91 c | Number of clauses: 361512 |
5.90/6.13 c | Parsing time: 0.20 s |
5.90/6.15 c ============================[ Search Statistics ]==============================
5.90/6.15 c | Conflicts | ORIGINAL | LEARNT | Progress |
5.90/6.15 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.90/6.15 c ===============================================================================
5.90/6.15 c | 0 | 2152 361512 1585361 | 120504 0 nan | 0.000 % |
5.90/6.37 c | 101 | 2152 361512 1585361 | 120504 101 79 | 0.000 % |
5.90/6.47 c | 203 | 2152 361512 1585361 | 120504 203 88 | 0.000 % |
6.52/6.58 c | 303 | 2152 361512 1585361 | 120504 303 89 | 0.000 % |
6.62/6.70 c | 415 | 2152 361512 1585361 | 120504 415 91 | 0.000 % |
6.82/6.83 c | 515 | 2152 361512 1585361 | 120504 515 96 | 0.000 % |
6.92/6.99 c | 625 | 2152 361512 1585361 | 120504 625 98 | 0.000 % |
7.02/7.10 c | 747 | 2152 361512 1585361 | 120504 747 100 | 0.000 % |
7.12/7.20 c | 848 | 2152 361512 1585361 | 120504 848 100 | 0.000 % |
7.22/7.30 c | 961 | 2152 361512 1585361 | 120504 961 101 | 0.000 % |
7.42/7.47 c | 1082 | 2152 361512 1585361 | 120504 1082 104 | 0.000 % |
7.52/7.60 c | 1215 | 2152 361512 1585361 | 120504 1215 105 | 0.000 % |
7.61/7.69 c | 1315 | 2152 361512 1585361 | 120504 1315 105 | 0.000 % |
7.71/7.80 c | 1426 | 2152 361512 1585361 | 120504 1426 104 | 0.000 % |
7.91/7.92 c | 1547 | 2152 361512 1585361 | 120504 1547 106 | 0.000 % |
8.01/8.07 c | 1680 | 2152 361512 1585361 | 120504 1680 106 | 0.000 % |
8.21/8.24 c | 1827 | 2152 361512 1585361 | 120504 1827 108 | 0.000 % |
8.31/8.37 c | 1927 | 2152 361512 1585361 | 120504 1927 108 | 0.000 % |
8.41/8.50 c | 2039 | 2152 361512 1585361 | 120504 2039 107 | 0.000 % |
8.51/8.61 c | 2161 | 2152 361512 1585361 | 120504 2161 107 | 0.000 % |
8.61/8.70 c | 2294 | 2152 361512 1585361 | 120504 2294 107 | 0.000 % |
8.81/8.85 c | 2440 | 2152 361512 1585361 | 120504 2440 108 | 0.000 % |
8.91/9.01 c | 2601 | 2152 361512 1585361 | 120504 2601 109 | 0.000 % |
9.01/9.09 c | 2702 | 2152 361512 1585361 | 120504 2702 109 | 0.000 % |
9.21/9.25 c | 2812 | 2152 361512 1585361 | 120504 2812 109 | 0.000 % |
9.31/9.37 c | 2936 | 2152 361512 1585361 | 120504 2936 110 | 0.000 % |
9.51/9.54 c | 3070 | 2152 361512 1585361 | 120504 3070 110 | 0.000 % |
9.61/9.66 c | 3217 | 2152 361512 1585361 | 120504 3217 111 | 0.000 % |
9.71/9.81 c | 3379 | 2152 361512 1585361 | 120504 3379 111 | 0.000 % |
9.91/9.98 c | 3557 | 2152 361512 1585361 | 120504 3557 111 | 0.000 % |
10.01/10.11 c | 3658 | 2152 361512 1585361 | 120504 3658 111 | 0.000 % |
10.21/10.25 c | 3769 | 2152 361512 1585361 | 120504 3769 111 | 0.000 % |
10.31/10.40 c | 3893 | 2152 361512 1585361 | 120504 3893 112 | 0.000 % |
10.51/10.55 c | 4027 | 2152 361512 1585361 | 120504 4027 112 | 0.000 % |
10.61/10.70 c | 4173 | 2152 361512 1585361 | 120504 4173 113 | 0.000 % |
10.81/10.82 c | 4336 | 2152 361512 1585361 | 120504 4336 113 | 0.000 % |
10.91/11.02 c | 4513 | 2152 361512 1585361 | 120504 4513 113 | 0.000 % |
11.11/11.21 c | 4706 | 2152 361512 1585361 | 120504 4706 115 | 0.000 % |
11.31/11.34 c | 4807 | 2152 361512 1585361 | 120504 4807 115 | 0.000 % |
11.41/11.45 c | 4917 | 2152 361512 1585361 | 120504 4917 115 | 0.000 % |
11.51/11.62 c | 5041 | 2152 361512 1585361 | 120504 5041 116 | 0.000 % |
11.71/11.75 c | 5175 | 2152 361512 1585361 | 120504 5175 117 | 0.000 % |
11.81/11.89 c | 5321 | 2152 361512 1585361 | 120504 5321 118 | 0.000 % |
12.01/12.04 c | 5481 | 2152 361512 1585361 | 120504 5481 119 | 0.000 % |
12.11/12.21 c | 5658 | 2152 361512 1585361 | 120504 5658 119 | 0.000 % |
12.31/12.34 c | 5853 | 2152 361512 1585361 | 120504 5853 120 | 0.000 % |
12.41/12.46 c | 6067 | 2152 361512 1585361 | 120504 6067 121 | 0.000 % |
12.51/12.54 c | 6167 | 2152 361512 1585361 | 120504 6167 122 | 0.000 % |
12.51/12.59 c | 6277 | 2152 361512 1585361 | 120504 6277 123 | 0.000 % |
12.61/12.66 c | 6399 | 2152 361512 1585361 | 120504 6399 124 | 0.000 % |
12.71/12.74 c | 6532 | 2152 361512 1585361 | 120504 6532 124 | 0.000 % |
12.81/12.84 c | 6678 | 2152 361512 1585361 | 120504 6678 125 | 0.000 % |
12.91/12.95 c | 6841 | 2152 361512 1585361 | 120504 6841 126 | 0.000 % |
13.01/13.05 c | 7017 | 2152 361512 1585361 | 120504 7017 127 | 0.000 % |
13.11/13.15 c | 7210 | 2152 361512 1585361 | 120504 7210 129 | 0.000 % |
13.21/13.27 c | 7422 | 2152 361512 1585361 | 120504 7422 130 | 0.000 % |
13.41/13.42 c | 7655 | 2152 361512 1585361 | 120504 7655 131 | 0.000 % |
13.41/13.50 c | 7757 | 2152 361512 1585361 | 120504 7757 132 | 0.000 % |
13.51/13.57 c | 7867 | 2152 361512 1585361 | 120504 7867 132 | 0.000 % |
13.61/13.65 c | 7990 | 2152 361512 1585361 | 120504 7990 133 | 0.000 % |
13.71/13.76 c | 8123 | 2152 361512 1585361 | 120504 8123 134 | 0.000 % |
13.81/13.89 c | 8269 | 2152 361512 1585361 | 120504 8269 134 | 0.000 % |
14.01/14.03 c | 8431 | 2152 361512 1585361 | 120504 8431 135 | 0.000 % |
14.11/14.16 c | 8607 | 2152 361512 1585361 | 120504 8607 135 | 0.000 % |
14.21/14.31 c | 8802 | 2152 361512 1585361 | 120504 8802 136 | 0.000 % |
14.41/14.45 c | 9014 | 2152 361512 1585361 | 120504 9014 137 | 0.000 % |
14.61/14.67 c | 9248 | 2152 361512 1585361 | 120504 9248 138 | 0.000 % |
14.81/14.89 c | 9504 | 2152 361512 1585361 | 120504 9504 138 | 0.000 % |
14.91/14.96 c | 9604 | 2152 361512 1585361 | 120504 9604 139 | 0.000 % |
15.01/15.04 c | 9716 | 2152 361512 1585361 | 120504 9716 139 | 0.000 % |
15.11/15.19 c | 9839 | 2152 361512 1585361 | 120504 9839 139 | 0.000 % |
15.31/15.34 c | 9974 | 2152 361512 1585361 | 120504 9974 140 | 0.000 % |
15.41/15.49 c | 10120 | 2152 361512 1585361 | 2147483647 10120 140 | 0.000 % |
15.61/15.63 c | 10280 | 2152 361512 1585361 | 2147483647 10280 140 | 0.000 % |
15.71/15.76 c | 10456 | 2152 361512 1585361 | 2147483647 10456 141 | 0.000 % |
15.91/15.92 c | 10649 | 2152 361512 1585361 | 2147483647 10649 141 | 0.000 % |
16.11/16.13 c | 10861 | 2152 361512 1585361 | 2147483647 10861 141 | 0.000 % |
16.41/16.43 c | 11094 | 2152 361512 1585361 | 2147483647 11094 142 | 0.000 % |
16.71/16.74 c | 11351 | 2152 361512 1585361 | 2147483647 11351 142 | 0.000 % |
16.91/17.00 c | 11634 | 2152 361512 1585361 | 2147483647 11634 143 | 0.000 % |
17.01/17.09 c | 11736 | 2152 361512 1585361 | 2147483647 11736 143 | 0.000 % |
17.21/17.23 c | 11846 | 2152 361512 1585361 | 2147483647 11846 143 | 0.000 % |
17.31/17.37 c | 11967 | 2152 361512 1585361 | 2147483647 11967 144 | 0.000 % |
17.51/17.56 c | 12100 | 2152 361512 1585361 | 2147483647 12100 144 | 0.000 % |
17.71/17.75 c | 12246 | 2152 361512 1585361 | 2147483647 12246 144 | 0.000 % |
17.91/17.97 c | 12407 | 2152 361512 1585361 | 2147483647 12407 144 | 0.000 % |
18.11/18.22 c | 12584 | 2152 361512 1585361 | 2147483647 12584 145 | 0.000 % |
18.31/18.41 c | 12777 | 2152 361512 1585361 | 2147483647 12777 145 | 0.000 % |
18.71/18.74 c | 12990 | 2152 361512 1585361 | 2147483647 12990 145 | 0.000 % |
19.01/19.07 c | 13225 | 2152 361512 1585361 | 2147483647 13225 146 | 0.000 % |
19.41/19.48 c | 13481 | 2152 361512 1585361 | 2147483647 13481 146 | 0.000 % |
19.81/19.91 c | 13763 | 2152 361512 1585361 | 2147483647 13763 146 | 0.000 % |
20.31/20.38 c | 14073 | 2152 361512 1585361 | 2147483647 14073 147 | 0.000 % |
20.51/20.56 c | 14175 | 2152 361512 1585361 | 2147483647 14175 147 | 0.000 % |
20.71/20.74 c | 14285 | 2152 361512 1585361 | 2147483647 14285 147 | 0.000 % |
20.81/20.92 c | 14407 | 2152 361512 1585361 | 2147483647 14407 147 | 0.000 % |
21.11/21.13 c | 14541 | 2152 361512 1585361 | 2147483647 14541 147 | 0.000 % |
21.31/21.35 c | 14690 | 2152 361512 1585361 | 2147483647 14690 147 | 0.000 % |
21.51/21.54 c | 14850 | 2152 361512 1585361 | 2147483647 14850 147 | 0.000 % |
21.61/21.67 c | 15028 | 2152 361512 1585361 | 2147483647 15028 147 | 0.000 % |
21.91/21.97 c | 15221 | 2152 361512 1585361 | 2147483647 15221 148 | 0.000 % |
22.11/22.15 c | 15433 | 2152 361512 1585361 | 2147483647 15433 148 | 0.000 % |
22.41/22.50 c | 15666 | 2152 361512 1585361 | 2147483647 15666 147 | 0.000 % |
22.61/22.72 c | 15922 | 2152 361512 1585361 | 2147483647 15922 147 | 0.000 % |
22.91/23.00 c | 16203 | 2152 361512 1585361 | 2147483647 16203 147 | 0.000 % |
23.21/23.27 c | 16512 | 2152 361512 1585361 | 2147483647 16512 147 | 0.000 % |
23.71/23.79 c | 16851 | 2152 361512 1585361 | 2147483647 16851 147 | 0.000 % |
23.91/23.93 c | 16951 | 2152 361512 1585361 | 2147483647 16951 147 | 0.000 % |
24.01/24.10 c | 17062 | 2152 361512 1585361 | 2147483647 17062 147 | 0.000 % |
24.21/24.32 c | 17183 | 2152 361512 1585361 | 2147483647 17183 147 | 0.000 % |
24.41/24.50 c | 17317 | 2152 361512 1585361 | 2147483647 17317 147 | 0.000 % |
24.61/24.71 c | 17463 | 2152 361512 1585361 | 2147483647 17463 147 | 0.000 % |
24.81/24.91 c | 17626 | 2152 361512 1585361 | 2147483647 17626 147 | 0.000 % |
25.01/25.11 c | 17805 | 2152 361512 1585361 | 2147483647 17805 147 | 0.000 % |
25.21/25.29 c | 17999 | 2152 361512 1585361 | 2147483647 17999 147 | 0.000 % |
25.51/25.56 c | 18211 | 2152 361512 1585361 | 2147483647 18211 147 | 0.000 % |
25.81/25.86 c | 18444 | 2152 361512 1585361 | 2147483647 18444 147 | 0.000 % |
26.01/26.08 c | 18702 | 2152 361512 1585361 | 2147483647 18702 147 | 0.000 % |
26.31/26.37 c | 18985 | 2152 361512 1585361 | 2147483647 18985 147 | 0.000 % |
26.61/26.69 c | 19294 | 2152 361512 1585361 | 2147483647 19294 147 | 0.000 % |
26.81/26.91 c | 19634 | 2152 361512 1585361 | 2147483647 19634 147 | 0.000 % |
27.11/27.20 c | 20011 | 2152 361512 1585361 | 2147483647 20011 147 | 0.000 % |
27.31/27.38 c | 20113 | 2152 361512 1585361 | 2147483647 20113 147 | 0.000 % |
27.41/27.51 c | 20224 | 2152 361512 1585361 | 2147483647 20224 147 | 0.000 % |
27.61/27.64 c | 20346 | 2152 361512 1585361 | 2147483647 20346 147 | 0.000 % |
27.71/27.76 c | 20479 | 2152 361512 1585361 | 2147483647 20479 147 | 0.000 % |
27.81/27.91 c | 20626 | 2152 361512 1585361 | 2147483647 20626 147 | 0.000 % |
28.01/28.07 c | 20786 | 2152 361512 1585361 | 2147483647 20786 147 | 0.000 % |
28.21/28.23 c | 20962 | 2152 361512 1585361 | 2147483647 20962 147 | 0.000 % |
28.41/28.42 c | 21155 | 2152 361512 1585361 | 2147483647 21155 147 | 0.000 % |
28.61/28.70 c | 21367 | 2152 361512 1585361 | 2147483647 21367 147 | 0.000 % |
28.91/28.92 c | 21601 | 2152 361512 1585361 | 2147483647 21601 147 | 0.000 % |
29.11/29.12 c | 21860 | 2152 361512 1585361 | 2147483647 21860 147 | 0.000 % |
29.31/29.39 c | 22143 | 2152 361512 1585361 | 2147483647 22143 147 | 0.000 % |
29.61/29.63 c | 22452 | 2152 361512 1585361 | 2147483647 22452 147 | 0.000 % |
29.81/29.91 c | 22792 | 2152 361512 1585361 | 2147483647 22792 147 | 0.000 % |
30.11/30.21 c | 23165 | 2152 361512 1585361 | 2147483647 23165 147 | 0.000 % |
30.51/30.58 c | 23577 | 2152 361512 1585361 | 2147483647 23577 147 | 0.000 % |
30.71/30.73 c | 23678 | 2152 361512 1585361 | 2147483647 23678 147 | 0.000 % |
30.71/30.80 c | 23789 | 2152 361512 1585361 | 2147483647 23789 147 | 0.000 % |
30.81/30.91 c | 23910 | 2152 361512 1585361 | 2147483647 23910 147 | 0.000 % |
31.01/31.07 c | 24043 | 2152 361512 1585361 | 2147483647 24043 147 | 0.000 % |
31.21/31.26 c | 24189 | 2152 361512 1585361 | 2147483647 24189 147 | 0.000 % |
31.41/31.42 c | 24351 | 2152 361512 1585361 | 2147483647 24351 147 | 0.000 % |
31.61/31.64 c | 24528 | 2152 361512 1585361 | 2147483647 24528 147 | 0.000 % |
31.81/31.88 c | 24722 | 2152 361512 1585361 | 2147483647 24722 147 | 0.000 % |
32.01/32.10 c | 24934 | 2152 361512 1585361 | 2147483647 24934 147 | 0.000 % |
32.31/32.37 c | 25167 | 2152 361512 1585361 | 2147483647 25167 147 | 0.000 % |
32.61/32.62 c | 25423 | 2152 361512 1585361 | 2147483647 25423 147 | 0.000 % |
32.81/32.85 c | 25705 | 2152 361512 1585361 | 2147483647 25705 147 | 0.000 % |
33.11/33.12 c | 26014 | 2152 361512 1585361 | 2147483647 26014 147 | 0.000 % |
33.51/33.58 c | 26353 | 2152 361512 1585361 | 2147483647 26353 147 | 0.000 % |
34.61/34.66 c | 26727 | 2152 361512 1585361 | 2147483647 26727 146 | 0.000 % |
35.11/35.19 c | 27136 | 2152 361512 1585361 | 2147483647 27136 146 | 0.000 % |
36.01/36.04 c | 27585 | 2152 361512 1585361 | 2147483647 27585 145 | 0.000 % |
36.11/36.21 c | 27685 | 2152 361512 1585361 | 2147483647 27685 145 | 0.000 % |
36.41/36.45 c | 27797 | 2152 361512 1585361 | 2147483647 27797 145 | 0.000 % |
36.71/36.81 c | 27918 | 2152 361512 1585361 | 2147483647 27918 145 | 0.000 % |
37.01/37.10 c | 28052 | 2152 361512 1585361 | 2147483647 28052 145 | 0.000 % |
37.41/37.45 c | 28198 | 2152 361512 1585361 | 2147483647 28198 144 | 0.000 % |
37.71/37.78 c | 28359 | 2152 361512 1585361 | 2147483647 28359 144 | 0.000 % |
38.01/38.11 c | 28535 | 2152 361512 1585361 | 2147483647 28535 144 | 0.000 % |
38.41/38.47 c | 28728 | 2152 361512 1585361 | 2147483647 28728 144 | 0.000 % |
38.91/38.92 c | 28940 | 2152 361512 1585361 | 2147483647 28940 144 | 0.000 % |
39.51/39.52 c | 29174 | 2152 361512 1585361 | 2147483647 29174 144 | 0.000 % |
40.21/40.29 c | 29431 | 2152 361512 1585361 | 2147483647 29431 143 | 0.000 % |
40.71/40.80 c | 29712 | 2152 361512 1585361 | 2147483647 29712 142 | 0.000 % |
41.51/41.62 c | 30022 | 2152 361512 1585361 | 2147483647 30022 142 | 0.000 % |
42.21/42.29 c | 30361 | 2152 361512 1585361 | 2147483647 30361 142 | 0.000 % |
43.01/43.03 c | 30734 | 2152 361512 1585361 | 2147483647 30734 142 | 0.000 % |
43.71/43.78 c | 31144 | 2152 361512 1585361 | 2147483647 31144 141 | 0.000 % |
45.31/45.33 c | 31596 | 2152 361512 1585361 | 2147483647 31596 141 | 0.000 % |
45.71/45.80 c | 32090 | 2152 361512 1585361 | 2147483647 32090 141 | 0.000 % |
46.11/46.14 c | 32190 | 2152 361512 1585361 | 2147483647 32190 141 | 0.000 % |
46.31/46.37 c | 32301 | 2152 361512 1585361 | 2147483647 32301 141 | 0.000 % |
46.61/46.71 c | 32423 | 2152 361512 1585361 | 2147483647 32423 141 | 0.000 % |
46.91/46.94 c | 32556 | 2152 361512 1585361 | 2147483647 32556 141 | 0.000 % |
47.41/47.43 c | 32702 | 2152 361512 1585361 | 2147483647 32702 141 | 0.000 % |
47.61/47.69 c | 32862 | 2152 361512 1585361 | 2147483647 32862 140 | 0.000 % |
48.31/48.41 c | 33038 | 2152 361512 1585361 | 2147483647 33038 140 | 0.000 % |
48.81/48.85 c | 33231 | 2152 361512 1585361 | 2147483647 33231 140 | 0.000 % |
49.31/49.32 c | 33444 | 2152 361512 1585361 | 2147483647 33444 140 | 0.000 % |
49.61/49.65 c | 33677 | 2152 361512 1585361 | 2147483647 33677 140 | 0.000 % |
50.11/50.18 c | 33933 | 2152 361512 1585361 | 2147483647 33933 140 | 0.000 % |
50.71/50.76 c | 34214 | 2152 361512 1585361 | 2147483647 34214 140 | 0.000 % |
51.31/51.32 c | 34523 | 2152 361512 1585361 | 2147483647 34523 139 | 0.000 % |
51.91/52.00 c | 34862 | 2152 361512 1585361 | 2147483647 34862 139 | 0.000 % |
52.61/52.63 c | 35234 | 2152 361512 1585361 | 2147483647 35234 139 | 0.000 % |
53.41/53.51 c | 35644 | 2152 361512 1585361 | 2147483647 35644 139 | 0.000 % |
54.21/54.25 c | 36094 | 2152 361512 1585361 | 2147483647 36094 139 | 0.000 % |
55.11/55.20 c | 36589 | 2152 361512 1585361 | 2147483647 36589 139 | 0.000 % |
56.41/56.42 c | 37131 | 2152 361512 1585361 | 2147483647 37131 138 | 0.000 % |
56.91/56.92 c | 37233 | 2152 361512 1585361 | 2147483647 37233 138 | 0.000 % |
57.11/57.14 c | 37346 | 2152 361512 1585361 | 2147483647 37346 138 | 0.000 % |
57.31/57.40 c | 37467 | 2152 361512 1585361 | 2147483647 37467 138 | 0.000 % |
57.61/57.65 c | 37600 | 2152 361512 1585361 | 2147483647 37600 138 | 0.000 % |
57.81/57.86 c | 37747 | 2152 361512 1585361 | 2147483647 37747 138 | 0.000 % |
58.41/58.44 c | 37907 | 2152 361512 1585361 | 2147483647 37907 138 | 0.000 % |
58.71/58.73 c | 38085 | 2152 361512 1585361 | 2147483647 38085 137 | 0.000 % |
59.01/59.07 c | 38278 | 2152 361512 1585361 | 2147483647 38278 137 | 0.000 % |
59.31/59.38 c | 38490 | 2152 361512 1585361 | 2147483647 38490 137 | 0.000 % |
59.81/59.84 c | 38723 | 2152 361512 1585361 | 2147483647 38723 137 | 0.000 % |
60.21/60.26 c | 38979 | 2152 361512 1585361 | 2147483647 38979 137 | 0.000 % |
60.81/60.86 c | 39262 | 2152 361512 1585361 | 2147483647 39262 137 | 0.000 % |
61.41/61.47 c | 39571 | 2152 361512 1585361 | 2147483647 39571 137 | 0.000 % |
62.31/62.39 c | 39910 | 2152 361512 1585361 | 2147483647 39910 137 | 0.000 % |
63.11/63.21 c | 40283 | 2152 361512 1585361 | 2147483647 40283 137 | 0.000 % |
63.91/63.98 c | 40692 | 2152 361512 1585361 | 2147483647 40692 137 | 0.000 % |
64.71/64.78 c | 41144 | 2152 361512 1585361 | 2147483647 41144 137 | 0.000 % |
66.31/66.39 c | 41637 | 2152 361512 1585361 | 2147483647 41637 137 | 0.000 % |
67.21/67.28 c | 42180 | 2152 361512 1585361 | 2147483647 42180 136 | 0.000 % |
69.01/69.10 c | 42776 | 2152 361512 1585361 | 2147483647 42776 136 | 0.000 % |
69.32/69.39 c | 42878 | 2152 361512 1585361 | 2147483647 42878 136 | 0.000 % |
69.61/69.68 c | 42988 | 2152 361512 1585361 | 2147483647 42988 136 | 0.000 % |
70.01/70.10 c | 43110 | 2152 361512 1585361 | 2147483647 43110 136 | 0.000 % |
70.31/70.37 c | 43245 | 2152 361512 1585361 | 2147483647 43245 136 | 0.000 % |
70.61/70.68 c | 43391 | 2152 361512 1585361 | 2147483647 43391 136 | 0.000 % |
70.91/70.92 c | 43551 | 2152 361512 1585361 | 2147483647 43551 136 | 0.000 % |
71.31/71.39 c | 43728 | 2152 361512 1585361 | 2147483647 43728 136 | 0.000 % |
71.61/71.69 c | 43921 | 2152 361512 1585361 | 2147483647 43921 136 | 0.000 % |
72.11/72.18 c | 44134 | 2152 361512 1585361 | 2147483647 44134 136 | 0.000 % |
72.81/72.91 c | 44369 | 2152 361512 1585361 | 2147483647 44369 136 | 0.000 % |
73.31/73.39 c | 44627 | 2152 361512 1585361 | 2147483647 44627 136 | 0.000 % |
74.01/74.07 c | 44909 | 2152 361512 1585361 | 2147483647 44909 135 | 0.000 % |
75.11/75.12 c | 45219 | 2152 361512 1585361 | 2147483647 45219 135 | 0.000 % |
75.71/75.74 c | 45558 | 2152 361512 1585361 | 2147483647 45558 135 | 0.000 % |
76.51/76.52 c | 45932 | 2152 361512 1585361 | 2147483647 45932 136 | 0.000 % |
77.31/77.35 c | 46342 | 2152 361512 1585361 | 2147483647 46342 136 | 0.000 % |
78.21/78.29 c | 46793 | 2152 361512 1585361 | 2147483647 46793 136 | 0.000 % |
79.11/79.18 c | 47286 | 2152 361512 1585361 | 2147483647 47286 135 | 0.000 % |
79.91/79.96 c | 47828 | 2152 361512 1585361 | 2147483647 47828 135 | 0.000 % |
81.51/81.61 c | 48425 | 2152 361512 1585361 | 2147483647 48425 135 | 0.000 % |
82.52/82.55 c | 49080 | 2152 361512 1585361 | 2147483647 49080 135 | 0.000 % |
82.81/82.91 c | 49180 | 2152 361512 1585361 | 2147483647 49180 135 | 0.000 % |
83.11/83.19 c | 49290 | 2152 361512 1585361 | 2147483647 49290 135 | 0.000 % |
83.41/83.45 c | 49411 | 2152 361512 1585361 | 2147483647 49411 135 | 0.000 % |
83.71/83.75 c | 49545 | 2152 361512 1585361 | 2147483647 49545 135 | 0.000 % |
84.21/84.28 c | 49696 | 2152 361512 1585361 | 2147483647 49696 135 | 0.000 % |
84.51/84.55 c | 49857 | 2152 361512 1585361 | 2147483647 49857 135 | 0.000 % |
84.91/84.93 c | 50036 | 2152 361512 1585361 | 2147483647 50036 135 | 0.000 % |
85.31/85.36 c | 50229 | 2152 361512 1585361 | 2147483647 50229 135 | 0.000 % |
85.91/85.93 c | 50442 | 2152 361512 1585361 | 2147483647 50442 135 | 0.000 % |
86.41/86.43 c | 50675 | 2152 361512 1585361 | 2147483647 50675 135 | 0.000 % |
87.01/87.09 c | 50932 | 2152 361512 1585361 | 2147483647 50932 135 | 0.000 % |
87.61/87.70 c | 51215 | 2152 361512 1585361 | 2147483647 51215 135 | 0.000 % |
88.41/88.43 c | 51524 | 2152 361512 1585361 | 2147483647 51524 135 | 0.000 % |
88.91/88.95 c | 51865 | 2152 361512 1585361 | 2147483647 51865 135 | 0.000 % |
89.31/89.34 c | 52237 | 2152 361512 1585361 | 2147483647 52237 135 | 0.000 % |
90.41/90.51 c | 52646 | 2152 361512 1585361 | 2147483647 52646 135 | 0.000 % |
91.11/91.17 c | 53097 | 2152 361512 1585361 | 2147483647 53097 135 | 0.000 % |
92.31/92.40 c | 53591 | 2152 361512 1585361 | 2147483647 53591 135 | 0.000 % |
93.11/93.20 c | 54133 | 2152 361512 1585361 | 2147483647 54133 136 | 0.000 % |
94.71/94.72 c | 54729 | 2152 361512 1585361 | 2147483647 54729 135 | 0.000 % |
95.61/95.62 c | 55385 | 2152 361512 1585361 | 2147483647 55385 135 | 0.000 % |
97.41/97.45 c | 56108 | 2152 361512 1585361 | 2147483647 56108 135 | 0.000 % |
97.71/97.72 c | 56210 | 2152 361512 1585361 | 2147483647 56210 135 | 0.000 % |
97.81/97.91 c | 56320 | 2152 361512 1585361 | 2147483647 56320 135 | 0.000 % |
98.21/98.28 c | 56441 | 2152 361512 1585361 | 2147483647 56441 135 | 0.000 % |
98.61/98.64 c | 56574 | 2152 361512 1585361 | 2147483647 56574 135 | 0.000 % |
99.02/99.04 c | 56720 | 2152 361512 1585361 | 2147483647 56720 135 | 0.000 % |
99.31/99.37 c | 56880 | 2152 361512 1585361 | 2147483647 56880 135 | 0.000 % |
99.71/99.77 c | 57057 | 2152 361512 1585361 | 2147483647 57057 135 | 0.000 % |
100.22/100.24 c | 57250 | 2152 361512 1585361 | 2147483647 57250 135 | 0.000 % |
100.52/100.62 c | 57462 | 2152 361512 1585361 | 2147483647 57462 135 | 0.000 % |
101.12/101.15 c | 57695 | 2152 361512 1585361 | 2147483647 57695 135 | 0.000 % |
101.52/101.55 c | 57952 | 2152 361512 1585361 | 2147483647 57952 135 | 0.000 % |
102.32/102.33 c | 58233 | 2152 361512 1585361 | 2147483647 58233 135 | 0.000 % |
102.92/102.99 c | 58544 | 2152 361512 1585361 | 2147483647 58544 136 | 0.000 % |
103.92/103.97 c | 58883 | 2152 361512 1585361 | 2147483647 58883 135 | 0.000 % |
104.62/104.69 c | 59255 | 2152 361512 1585361 | 2147483647 59255 135 | 0.000 % |
105.42/105.50 c | 59664 | 2152 361512 1585361 | 2147483647 59664 135 | 0.000 % |
106.62/106.72 c | 60114 | 2152 361512 1585361 | 2147483647 60114 135 | 0.000 % |
107.92/108.02 c | 60607 | 2152 361512 1585361 | 2147483647 60607 135 | 0.000 % |
108.82/108.91 c | 61149 | 2152 361512 1585361 | 2147483647 61149 135 | 0.000 % |
110.92/110.95 c | 61747 | 2152 361512 1585361 | 2147483647 61747 135 | 0.000 % |
111.92/111.95 c | 62403 | 2152 361512 1585361 | 2147483647 62403 135 | 0.000 % |
113.32/113.39 c | 63124 | 2152 361512 1585361 | 2147483647 63124 136 | 0.000 % |
114.52/114.60 c | 63916 | 2152 361512 1585361 | 2147483647 63916 136 | 0.000 % |
114.92/114.95 c | 64017 | 2152 361512 1585361 | 2147483647 64017 136 | 0.000 % |
115.22/115.26 c | 64130 | 2152 361512 1585361 | 2147483647 64130 136 | 0.000 % |
115.62/115.64 c | 64251 | 2152 361512 1585361 | 2147483647 64251 136 | 0.000 % |
116.02/116.03 c | 64386 | 2152 361512 1585361 | 2147483647 64386 136 | 0.000 % |
116.42/116.44 c | 64534 | 2152 361512 1585361 | 2147483647 64534 136 | 0.000 % |
116.72/116.78 c | 64694 | 2152 361512 1585361 | 2147483647 64694 136 | 0.000 % |
117.22/117.29 c | 64870 | 2152 361512 1585361 | 2147483647 64870 136 | 0.000 % |
117.72/117.74 c | 65063 | 2152 361512 1585361 | 2147483647 65063 135 | 0.000 % |
118.12/118.21 c | 65275 | 2152 361512 1585361 | 2147483647 65275 136 | 0.000 % |
118.82/118.83 c | 65509 | 2152 361512 1585361 | 2147483647 65509 136 | 0.000 % |
119.32/119.41 c | 65767 | 2152 361512 1585361 | 2147483647 65767 136 | 0.000 % |
120.42/120.46 c | 66050 | 2152 361512 1585361 | 2147483647 66050 135 | 0.000 % |
121.02/121.08 c | 66359 | 2152 361512 1585361 | 2147483647 66359 135 | 0.000 % |
121.62/121.70 c | 66701 | 2152 361512 1585361 | 2147483647 66701 135 | 0.000 % |
122.32/122.33 c | 67073 | 2152 361512 1585361 | 2147483647 67073 135 | 0.000 % |
122.82/122.92 c | 67482 | 2152 361512 1585361 | 2147483647 67482 135 | 0.000 % |
123.72/123.73 c | 67932 | 2152 361512 1585361 | 2147483647 67932 135 | 0.000 % |
124.82/124.85 c | 68426 | 2152 361512 1585361 | 2147483647 68426 135 | 0.000 % |
126.02/126.12 c | 68969 | 2152 361512 1585361 | 2147483647 68969 135 | 0.000 % |
127.12/127.12 c | 69566 | 2152 361512 1585361 | 2147483647 69566 135 | 0.000 % |
128.22/128.23 c | 70221 | 2152 361512 1585361 | 2147483647 70221 135 | 0.000 % |
130.12/130.16 c | 70941 | 2152 361512 1585361 | 2147483647 70941 135 | 0.000 % |
132.22/132.30 c | 71733 | 2152 361512 1585361 | 2147483647 71733 135 | 0.000 % |
133.62/133.67 c | 72606 | 2152 361512 1585361 | 2147483647 72606 135 | 0.000 % |
133.92/133.96 c | 72706 | 2152 361512 1585361 | 2147483647 72706 135 | 0.000 % |
134.22/134.22 c | 72816 | 2152 361512 1585361 | 2147483647 72816 135 | 0.000 % |
134.42/134.45 c | 72939 | 2152 361512 1585361 | 2147483647 72939 135 | 0.000 % |
134.92/134.98 c | 73075 | 2152 361512 1585361 | 2147483647 73075 135 | 0.000 % |
135.32/135.38 c | 73221 | 2152 361512 1585361 | 2147483647 73221 135 | 0.000 % |
135.72/135.78 c | 73383 | 2152 361512 1585361 | 2147483647 73383 135 | 0.000 % |
136.22/136.29 c | 73560 | 2152 361512 1585361 | 2147483647 73560 135 | 0.000 % |
136.72/136.76 c | 73753 | 2152 361512 1585361 | 2147483647 73753 135 | 0.000 % |
137.32/137.34 c | 73965 | 2152 361512 1585361 | 2147483647 73965 135 | 0.000 % |
137.72/137.82 c | 74199 | 2152 361512 1585361 | 2147483647 74199 135 | 0.000 % |
138.32/138.36 c | 74455 | 2152 361512 1585361 | 2147483647 74455 135 | 0.000 % |
139.12/139.19 c | 74736 | 2152 361512 1585361 | 2147483647 74736 135 | 0.000 % |
139.82/139.85 c | 75047 | 2152 361512 1585361 | 2147483647 75047 135 | 0.000 % |
140.72/140.77 c | 75388 | 2152 361512 1585361 | 2147483647 75388 135 | 0.000 % |
141.42/141.46 c | 75760 | 2152 361512 1585361 | 2147483647 75760 135 | 0.000 % |
142.62/142.71 c | 76169 | 2152 361512 1585361 | 2147483647 76169 135 | 0.000 % |
143.62/143.62 c | 76618 | 2152 361512 1585361 | 2147483647 76618 135 | 0.000 % |
144.72/144.82 c | 77112 | 2152 361512 1585361 | 2147483647 77112 136 | 0.000 % |
146.41/146.46 c | 77654 | 2152 361512 1585361 | 2147483647 77654 135 | 0.000 % |
147.81/147.88 c | 78252 | 2152 361512 1585361 | 2147483647 78252 135 | 0.000 % |
149.11/149.21 c | 78907 | 2152 361512 1585361 | 2147483647 78907 135 | 0.000 % |
150.71/150.76 c | 79628 | 2152 361512 1585361 | 2147483647 79628 135 | 0.000 % |
152.51/152.52 c | 80420 | 2152 361512 1585361 | 2147483647 80420 135 | 0.000 % |
154.51/154.54 c | 81299 | 2152 361512 1585361 | 2147483647 81299 134 | 0.000 % |
157.11/157.18 c | 82257 | 2152 361512 1585361 | 2147483647 82257 134 | 0.000 % |
157.51/157.58 c | 82357 | 2152 361512 1585361 | 2147483647 82357 134 | 0.000 % |
157.81/157.88 c | 82467 | 2152 361512 1585361 | 2147483647 82467 134 | 0.000 % |
158.31/158.39 c | 82589 | 2152 361512 1585361 | 2147483647 82589 134 | 0.000 % |
158.71/158.78 c | 82723 | 2152 361512 1585361 | 2147483647 82723 134 | 0.000 % |
159.21/159.22 c | 82869 | 2152 361512 1585361 | 2147483647 82869 134 | 0.000 % |
159.71/159.80 c | 83030 | 2152 361512 1585361 | 2147483647 83030 134 | 0.000 % |
160.41/160.47 c | 83206 | 2152 361512 1585361 | 2147483647 83206 134 | 0.000 % |
161.11/161.14 c | 83402 | 2152 361512 1585361 | 2147483647 83402 134 | 0.000 % |
161.61/161.70 c | 83616 | 2152 361512 1585361 | 2147483647 83616 134 | 0.000 % |
162.41/162.49 c | 83849 | 2152 361512 1585361 | 2147483647 83849 134 | 0.000 % |
163.21/163.30 c | 84110 | 2152 361512 1585361 | 2147483647 84110 134 | 0.000 % |
163.71/163.72 c | 84391 | 2152 361512 1585361 | 2147483647 84391 134 | 0.000 % |
164.61/164.62 c | 84702 | 2152 361512 1585361 | 2147483647 84702 134 | 0.000 % |
165.41/165.45 c | 85042 | 2152 361512 1585361 | 2147483647 85042 134 | 0.000 % |
166.31/166.35 c | 85414 | 2152 361512 1585361 | 2147483647 85414 134 | 0.000 % |
168.01/168.04 c | 85823 | 2152 361512 1585361 | 2147483647 85823 134 | 0.000 % |
169.01/169.04 c | 86274 | 2152 361512 1585361 | 2147483647 86274 134 | 0.000 % |
170.31/170.37 c | 86767 | 2152 361512 1585361 | 2147483647 86767 134 | 0.000 % |
171.51/171.59 c | 87309 | 2152 361512 1585361 | 2147483647 87309 134 | 0.000 % |
173.11/173.18 c | 87905 | 2152 361512 1585361 | 2147483647 87905 134 | 0.000 % |
174.41/174.44 c | 88562 | 2152 361512 1585361 | 2147483647 88562 134 | 0.000 % |
176.02/176.03 c | 89282 | 2152 361512 1585361 | 2147483647 89282 134 | 0.000 % |
177.71/177.74 c | 90075 | 2152 361512 1585361 | 2147483647 90075 134 | 0.000 % |
180.21/180.26 c | 90946 | 2152 361512 1585361 | 2147483647 90946 135 | 0.000 % |
183.11/183.12 c | 91906 | 2152 361512 1585361 | 2147483647 91906 135 | 0.000 % |
186.01/186.01 c | 92961 | 2152 361512 1585361 | 2147483647 92961 135 | 0.000 % |
186.40/186.45 c | 93063 | 2152 361512 1585361 | 2147483647 93063 135 | 0.000 % |
186.70/186.74 c | 93173 | 2152 361512 1585361 | 2147483647 93173 135 | 0.000 % |
187.10/187.15 c | 93294 | 2152 361512 1585361 | 2147483647 93294 135 | 0.000 % |
187.50/187.51 c | 93428 | 2152 361512 1585361 | 2147483647 93428 135 | 0.000 % |
188.00/188.03 c | 93575 | 2152 361512 1585361 | 2147483647 93575 135 | 0.000 % |
188.60/188.69 c | 93736 | 2152 361512 1585361 | 2147483647 93736 135 | 0.000 % |
189.21/189.24 c | 93915 | 2152 361512 1585361 | 2147483647 93915 135 | 0.000 % |
189.90/189.98 c | 94109 | 2152 361512 1585361 | 2147483647 94109 135 | 0.000 % |
190.40/190.41 c | 94322 | 2152 361512 1585361 | 2147483647 94322 135 | 0.000 % |
190.80/190.83 c | 94555 | 2152 361512 1585361 | 2147483647 94555 135 | 0.000 % |
191.80/191.80 c | 94811 | 2152 361512 1585361 | 2147483647 94811 135 | 0.000 % |
192.51/192.58 c | 95092 | 2152 361512 1585361 | 2147483647 95092 135 | 0.000 % |
193.30/193.32 c | 95404 | 2152 361512 1585361 | 2147483647 95404 135 | 0.000 % |
194.10/194.16 c | 95743 | 2152 361512 1585361 | 2147483647 95743 135 | 0.000 % |
195.10/195.12 c | 96115 | 2152 361512 1585361 | 2147483647 96115 135 | 0.000 % |
195.90/195.99 c | 96524 | 2152 361512 1585361 | 2147483647 96524 135 | 0.000 % |
197.20/197.28 c | 96973 | 2152 361512 1585361 | 2147483647 96973 135 | 0.000 % |
198.60/198.69 c | 97466 | 2152 361512 1585361 | 2147483647 97466 135 | 0.000 % |
200.90/200.99 c | 98009 | 2152 361512 1585361 | 2147483647 98009 135 | 0.000 % |
202.30/202.34 c | 98607 | 2152 361512 1585361 | 2147483647 98607 135 | 0.000 % |
204.10/204.14 c | 99262 | 2152 361512 1585361 | 2147483647 99262 135 | 0.000 % |
205.50/205.53 c | 99983 | 2152 361512 1585361 | 2147483647 99983 135 | 0.000 % |
207.30/207.36 c | 100775 | 2152 361512 1585361 | 2147483647 100775 136 | 0.000 % |
208.90/208.97 c | 101646 | 2152 361512 1585361 | 2147483647 101646 136 | 0.000 % |
211.40/211.45 c | 102605 | 2152 361512 1585361 | 2147483647 102605 136 | 0.000 % |
214.61/214.66 c | 103658 | 2152 361512 1585361 | 2147483647 103658 136 | 0.000 % |
216.21/216.29 c | 104819 | 2152 361512 1585361 | 2147483647 104819 135 | 0.000 % |
216.51/216.55 c | 104920 | 2152 361512 1585361 | 2147483647 104920 135 | 0.000 % |
216.81/216.86 c | 105030 | 2152 361512 1585361 | 2147483647 105030 135 | 0.000 % |
217.11/217.16 c | 105151 | 2152 361512 1585361 | 2147483647 105151 135 | 0.000 % |
217.61/217.65 c | 105284 | 2152 361512 1585361 | 2147483647 105284 135 | 0.000 % |
218.01/218.05 c | 105430 | 2152 361512 1585361 | 2147483647 105430 136 | 0.000 % |
218.41/218.43 c | 105591 | 2152 361512 1585361 | 2147483647 105591 136 | 0.000 % |
219.21/219.25 c | 105767 | 2152 361512 1585361 | 2147483647 105767 136 | 0.000 % |
219.81/219.82 c | 105961 | 2152 361512 1585361 | 2147483647 105961 136 | 0.000 % |
220.21/220.28 c | 106174 | 2152 361512 1585361 | 2147483647 106174 136 | 0.000 % |
221.11/221.13 c | 106408 | 2152 361512 1585361 | 2147483647 106408 136 | 0.000 % |
221.81/221.85 c | 106665 | 2152 361512 1585361 | 2147483647 106665 136 | 0.000 % |
222.41/222.47 c | 106946 | 2152 361512 1585361 | 2147483647 106946 136 | 0.000 % |
223.31/223.35 c | 107255 | 2152 361512 1585361 | 2147483647 107255 136 | 0.000 % |
224.11/224.19 c | 107594 | 2152 361512 1585361 | 2147483647 107594 136 | 0.000 % |
225.31/225.41 c | 107969 | 2152 361512 1585361 | 2147483647 107969 136 | 0.000 % |
226.91/226.94 c | 108379 | 2152 361512 1585361 | 2147483647 108379 136 | 0.000 % |
227.81/227.84 c | 108828 | 2152 361512 1585361 | 2147483647 108828 136 | 0.000 % |
229.01/229.06 c | 109323 | 2152 361512 1585361 | 2147483647 109323 136 | 0.000 % |
231.21/231.23 c | 109865 | 2152 361512 1585361 | 2147483647 109865 136 | 0.000 % |
232.61/232.64 c | 110462 | 2152 361512 1585361 | 2147483647 110462 136 | 0.000 % |
234.31/234.32 c | 111118 | 2152 361512 1585361 | 2147483647 111118 136 | 0.000 % |
235.91/235.94 c | 111838 | 2152 361512 1585361 | 2147483647 111838 136 | 0.000 % |
238.21/238.23 c | 112630 | 2152 361512 1585361 | 2147483647 112630 136 | 0.000 % |
240.21/240.22 c | 113503 | 2152 361512 1585361 | 2147483647 113503 136 | 0.000 % |
243.41/243.47 c | 114461 | 2152 361512 1585361 | 2147483647 114461 136 | 0.000 % |
246.01/246.06 c | 115514 | 2152 361512 1585361 | 2147483647 115514 136 | 0.000 % |
249.11/249.12 c | 116673 | 2152 361512 1585361 | 2147483647 116673 136 | 0.000 % |
252.41/252.44 c | 117946 | 2152 361512 1585361 | 2147483647 117946 136 | 0.000 % |
252.81/252.82 c | 118049 | 2152 361512 1585361 | 2147483647 118049 136 | 0.000 % |
253.11/253.16 c | 118161 | 2152 361512 1585361 | 2147483647 118161 136 | 0.000 % |
253.61/253.64 c | 118284 | 2152 361512 1585361 | 2147483647 118284 136 | 0.000 % |
254.31/254.33 c | 118418 | 2152 361512 1585361 | 2147483647 118418 136 | 0.000 % |
254.71/254.76 c | 118565 | 2152 361512 1585361 | 2147483647 118565 136 | 0.000 % |
255.41/255.45 c | 118725 | 2152 361512 1585361 | 2147483647 118725 136 | 0.000 % |
255.91/255.96 c | 118901 | 2152 361512 1585361 | 2147483647 118901 136 | 0.000 % |
256.71/256.74 c | 119094 | 2152 361512 1585361 | 2147483647 119094 136 | 0.000 % |
257.41/257.45 c | 119307 | 2152 361512 1585361 | 2147483647 119307 136 | 0.000 % |
257.81/257.89 c | 119540 | 2152 361512 1585361 | 2147483647 119540 136 | 0.000 % |
258.81/258.88 c | 119796 | 2152 361512 1585361 | 2147483647 119796 135 | 0.000 % |
259.51/259.55 c | 120081 | 2152 361512 1585361 | 2147483647 120081 136 | 0.000 % |
260.81/260.84 c | 120391 | 2152 361512 1585361 | 2147483647 120391 136 | 0.000 % |
261.61/261.67 c | 120730 | 2152 361512 1585361 | 2147483647 120730 136 | 0.000 % |
262.51/262.52 c | 121103 | 2152 361512 1585361 | 2147483647 121103 136 | 0.000 % |
263.51/263.57 c | 121513 | 2152 361512 1585361 | 2147483647 121513 136 | 0.000 % |
265.21/265.21 c | 121963 | 2152 361512 1585361 | 2147483647 121963 136 | 0.000 % |
266.71/266.71 c | 122456 | 2152 361512 1585361 | 2147483647 122456 136 | 0.000 % |
268.11/268.17 c | 122998 | 2152 361512 1585361 | 2147483647 122998 136 | 0.000 % |
269.41/269.45 c | 123594 | 2152 361512 1585361 | 2147483647 123594 136 | 0.000 % |
271.21/271.29 c | 124249 | 2152 361512 1585361 | 2147483647 124249 136 | 0.000 % |
273.31/273.40 c | 124969 | 2152 361512 1585361 | 2147483647 124969 136 | 0.000 % |
277.31/277.32 c | 125763 | 2152 361512 1585361 | 2147483647 125763 136 | 0.000 % |
279.71/279.71 c | 126634 | 2152 361512 1585361 | 2147483647 126634 136 | 0.000 % |
282.51/282.58 c | 127592 | 2152 361512 1585361 | 2147483647 127592 136 | 0.000 % |
284.61/284.63 c | 128645 | 2152 361512 1585361 | 2147483647 128645 136 | 0.000 % |
287.41/287.41 c | 129804 | 2152 361512 1585361 | 2147483647 129804 136 | 0.000 % |
290.31/290.31 c | 131079 | 2152 361512 1585361 | 2147483647 131079 136 | 0.000 % |
293.91/293.92 c | 132479 | 2152 361512 1585361 | 2147483647 132479 137 | 0.000 % |
294.21/294.24 c | 132581 | 2152 361512 1585361 | 2147483647 132581 137 | 0.000 % |
294.71/294.71 c | 132692 | 2152 361512 1585361 | 2147483647 132692 137 | 0.000 % |
295.11/295.16 c | 132814 | 2152 361512 1585361 | 2147483647 132814 137 | 0.000 % |
295.61/295.69 c | 132949 | 2152 361512 1585361 | 2147483647 132949 137 | 0.000 % |
296.21/296.30 c | 133097 | 2152 361512 1585361 | 2147483647 133097 137 | 0.000 % |
296.81/296.89 c | 133258 | 2152 361512 1585361 | 2147483647 133258 137 | 0.000 % |
297.41/297.49 c | 133435 | 2152 361512 1585361 | 2147483647 133435 137 | 0.000 % |
298.01/298.06 c | 133628 | 2152 361512 1585361 | 2147483647 133628 137 | 0.000 % |
299.01/299.04 c | 133840 | 2152 361512 1585361 | 2147483647 133840 137 | 0.000 % |
299.71/299.73 c | 134076 | 2152 361512 1585361 | 2147483647 134076 137 | 0.000 % |
300.41/300.47 c | 134332 | 2152 361512 1585361 | 2147483647 134332 137 | 0.000 % |
301.42/301.43 c | 134614 | 2152 361512 1585361 | 2147483647 134614 137 | 0.000 % |
302.11/302.19 c | 134924 | 2152 361512 1585361 | 2147483647 134924 137 | 0.000 % |
303.11/303.18 c | 135264 | 2152 361512 1585361 | 2147483647 135264 137 | 0.000 % |
304.31/304.35 c | 135636 | 2152 361512 1585361 | 2147483647 135636 137 | 0.000 % |
306.21/306.22 c | 136046 | 2152 361512 1585361 | 2147483647 136046 137 | 0.000 % |
307.61/307.65 c | 136495 | 2152 361512 1585361 | 2147483647 136495 137 | 0.000 % |
308.31/308.35 c | 136988 | 2152 361512 1585361 | 2147483647 136988 137 | 0.000 % |
310.22/310.22 c | 137530 | 2152 361512 1585361 | 2147483647 137530 137 | 0.000 % |
312.51/312.54 c | 138126 | 2152 361512 1585361 | 2147483647 138126 137 | 0.000 % |
315.91/316.00 c | 138781 | 2152 361512 1585361 | 2147483647 138781 137 | 0.000 % |
317.92/317.91 c | 139501 | 2152 361512 1585361 | 2147483647 139501 137 | 0.000 % |
320.01/320.08 c | 140294 | 2152 361512 1585361 | 2147483647 140294 137 | 0.000 % |
322.21/322.27 c | 141167 | 2152 361512 1585361 | 2147483647 141167 137 | 0.000 % |
325.11/325.17 c | 142125 | 2152 361512 1585361 | 2147483647 142125 138 | 0.000 % |
327.92/327.93 c | 143182 | 2152 361512 1585361 | 2147483647 143182 138 | 0.000 % |
330.82/330.88 c | 144340 | 2152 361512 1585361 | 2147483647 144340 138 | 0.000 % |
333.62/333.66 c | 145613 | 2152 361512 1585361 | 2147483647 145613 138 | 0.000 % |
340.32/340.37 c | 147013 | 2152 361512 1585361 | 2147483647 147013 138 | 0.000 % |
345.62/345.68 c | 148554 | 2152 361512 1585361 | 2147483647 148554 138 | 0.000 % |
346.32/346.32 c | 148654 | 2152 361512 1585361 | 2147483647 148654 138 | 0.000 % |
347.02/347.03 c | 148764 | 2152 361512 1585361 | 2147483647 148764 138 | 0.000 % |
347.52/347.52 c | 148886 | 2152 361512 1585361 | 2147483647 148886 138 | 0.000 % |
347.82/347.89 c | 149021 | 2152 361512 1585361 | 2147483647 149021 138 | 0.000 % |
348.62/348.64 c | 149167 | 2152 361512 1585361 | 2147483647 149167 138 | 0.000 % |
349.32/349.36 c | 149327 | 2152 361512 1585361 | 2147483647 149327 138 | 0.000 % |
350.12/350.11 c | 149504 | 2152 361512 1585361 | 2147483647 149504 138 | 0.000 % |
350.92/351.00 c | 149697 | 2152 361512 1585361 | 2147483647 149697 139 | 0.000 % |
351.82/351.90 c | 149911 | 2152 361512 1585361 | 2147483647 149911 139 | 0.000 % |
353.12/353.12 c | 150145 | 2152 361512 1585361 | 2147483647 150145 139 | 0.000 % |
354.12/354.17 c | 150402 | 2152 361512 1585361 | 2147483647 150402 139 | 0.000 % |
355.42/355.42 c | 150683 | 2152 361512 1585361 | 2147483647 150683 139 | 0.000 % |
356.72/356.81 c | 150993 | 2152 361512 1585361 | 2147483647 150993 139 | 0.000 % |
358.02/358.05 c | 151334 | 2152 361512 1585361 | 2147483647 151334 139 | 0.000 % |
359.12/359.18 c | 151708 | 2152 361512 1585361 | 2147483647 151708 139 | 0.000 % |
360.52/360.57 c | 152117 | 2152 361512 1585361 | 2147483647 152117 139 | 0.000 % |
362.42/362.48 c | 152568 | 2152 361512 1585361 | 2147483647 152568 139 | 0.000 % |
363.92/364.01 c | 153062 | 2152 361512 1585361 | 2147483647 153062 139 | 0.000 % |
366.42/366.44 c | 153606 | 2152 361512 1585361 | 2147483647 153606 139 | 0.000 % |
368.82/368.84 c | 154203 | 2152 361512 1585361 | 2147483647 154203 138 | 0.000 % |
372.32/372.39 c | 154861 | 2152 361512 1585361 | 2147483647 154861 138 | 0.000 % |
374.22/374.29 c | 155582 | 2152 361512 1585361 | 2147483647 155582 138 | 0.000 % |
377.52/377.56 c | 156376 | 2152 361512 1585361 | 2147483647 156376 138 | 0.000 % |
379.42/379.46 c | 157249 | 2152 361512 1585361 | 2147483647 157249 138 | 0.000 % |
381.42/381.45 c | 158207 | 2152 361512 1585361 | 2147483647 158207 138 | 0.000 % |
383.72/383.79 c | 159260 | 2152 361512 1585361 | 2147483647 159260 138 | 0.000 % |
386.42/386.41 c | 160418 | 2152 361512 1585361 | 2147483647 160418 137 | 0.000 % |
391.32/391.34 c | 161693 | 2152 361512 1585361 | 2147483647 161693 137 | 0.000 % |
394.82/394.86 c | 163094 | 2152 361512 1585361 | 2147483647 163094 137 | 0.000 % |
400.62/400.64 c | 164634 | 2152 361512 1585361 | 2147483647 164634 138 | 0.000 % |
408.13/408.15 c | 166328 | 2152 361512 1585361 | 2147483647 166328 138 | 0.000 % |
408.42/408.47 c | 166429 | 2152 361512 1585361 | 2147483647 166429 138 | 0.000 % |
408.82/408.87 c | 166541 | 2152 361512 1585361 | 2147483647 166541 138 | 0.000 % |
409.42/409.44 c | 166663 | 2152 361512 1585361 | 2147483647 166663 138 | 0.000 % |
410.12/410.13 c | 166797 | 2152 361512 1585361 | 2147483647 166797 138 | 0.000 % |
410.52/410.52 c | 166943 | 2152 361512 1585361 | 2147483647 166943 138 | 0.000 % |
411.22/411.31 c | 167104 | 2152 361512 1585361 | 2147483647 167104 138 | 0.000 % |
412.02/412.07 c | 167282 | 2152 361512 1585361 | 2147483647 167282 138 | 0.000 % |
412.62/412.65 c | 167476 | 2152 361512 1585361 | 2147483647 167476 138 | 0.000 % |
413.72/413.74 c | 167688 | 2152 361512 1585361 | 2147483647 167688 138 | 0.000 % |
414.42/414.47 c | 167922 | 2152 361512 1585361 | 2147483647 167922 138 | 0.000 % |
415.83/415.90 c | 168178 | 2152 361512 1585361 | 2147483647 168178 138 | 0.000 % |
416.62/416.68 c | 168462 | 2152 361512 1585361 | 2147483647 168462 138 | 0.000 % |
418.12/418.13 c | 168771 | 2152 361512 1585361 | 2147483647 168771 138 | 0.000 % |
419.32/419.36 c | 169110 | 2152 361512 1585361 | 2147483647 169110 138 | 0.000 % |
420.52/420.57 c | 169486 | 2152 361512 1585361 | 2147483647 169486 138 | 0.000 % |
421.62/421.67 c | 169896 | 2152 361512 1585361 | 2147483647 169896 138 | 0.000 % |
423.12/423.21 c | 170348 | 2152 361512 1585361 | 2147483647 170348 138 | 0.000 % |
424.52/424.59 c | 170841 | 2152 361512 1585361 | 2147483647 170841 138 | 0.000 % |
426.12/426.13 c | 171385 | 2152 361512 1585361 | 2147483647 171385 138 | 0.000 % |
426.92/426.99 c | 171981 | 2152 361512 1585361 | 2147483647 171981 138 | 0.000 % |
429.32/429.33 c | 172636 | 2152 361512 1585361 | 2147483647 172636 138 | 0.000 % |
431.32/431.39 c | 173356 | 2152 361512 1585361 | 2147483647 173356 138 | 0.000 % |
433.82/433.83 c | 174148 | 2152 361512 1585361 | 2147483647 174148 138 | 0.000 % |
437.12/437.18 c | 175021 | 2152 361512 1585361 | 2147483647 175021 138 | 0.000 % |
439.32/439.40 c | 175979 | 2152 361512 1585361 | 2147483647 175979 138 | 0.000 % |
444.03/444.08 c | 177032 | 2152 361512 1585361 | 2147483647 177032 138 | 0.000 % |
449.93/449.92 c | 178190 | 2152 361512 1585361 | 2147483647 178190 138 | 0.000 % |
452.83/452.89 c | 179463 | 2152 361512 1585361 | 2147483647 179463 138 | 0.000 % |
457.83/457.85 c | 180863 | 2152 361512 1585361 | 2147483647 180863 138 | 0.000 % |
460.69/460.74 c | 182406 | 2152 361512 1585361 | 2147483647 182406 138 | 0.000 % |
463.58/463.69 c | 184100 | 2152 361512 1585361 | 2147483647 184100 138 | 0.000 % |
469.38/469.48 c | 185963 | 2152 361512 1585361 | 2147483647 185963 138 | 0.000 % |
470.18/470.27 c | 186063 | 2152 361512 1585361 | 2147483647 186063 138 | 0.000 % |
470.68/470.77 c | 186173 | 2152 361512 1585361 | 2147483647 186173 138 | 0.000 % |
471.28/471.32 c | 186294 | 2152 361512 1585361 | 2147483647 186294 138 | 0.000 % |
471.78/471.84 c | 186428 | 2152 361512 1585361 | 2147483647 186428 138 | 0.000 % |
472.48/472.55 c | 186576 | 2152 361512 1585361 | 2147483647 186576 138 | 0.000 % |
472.98/473.11 c | 186736 | 2152 361512 1585361 | 2147483647 186736 138 | 0.000 % |
473.48/473.60 c | 186912 | 2152 361512 1585361 | 2147483647 186912 138 | 0.000 % |
474.38/474.43 c | 187105 | 2152 361512 1585361 | 2147483647 187105 138 | 0.000 % |
475.08/475.14 c | 187317 | 2152 361512 1585361 | 2147483647 187317 138 | 0.000 % |
476.18/476.22 c | 187550 | 2152 361512 1585361 | 2147483647 187550 138 | 0.000 % |
476.98/477.07 c | 187809 | 2152 361512 1585361 | 2147483647 187809 138 | 0.000 % |
477.88/478.01 c | 188090 | 2152 361512 1585361 | 2147483647 188090 138 | 0.000 % |
478.98/479.04 c | 188399 | 2152 361512 1585361 | 2147483647 188399 138 | 0.000 % |
480.18/480.28 c | 188738 | 2152 361512 1585361 | 2147483647 188738 138 | 0.000 % |
481.48/481.56 c | 189110 | 2152 361512 1585361 | 2147483647 189110 138 | 0.000 % |
483.58/483.64 c | 189519 | 2152 361512 1585361 | 2147483647 189519 138 | 0.000 % |
486.28/486.37 c | 189968 | 2152 361512 1585361 | 2147483647 189968 138 | 0.000 % |
488.08/488.21 c | 190463 | 2152 361512 1585361 | 2147483647 190463 138 | 0.001 % |
489.38/489.48 c | 191006 | 2152 361512 1585361 | 2147483647 191006 138 | 0.000 % |
492.18/492.24 c | 191602 | 2152 361512 1585361 | 2147483647 191602 138 | 0.000 % |
494.78/494.85 c | 192257 | 2152 361512 1585361 | 2147483647 192257 138 | 0.000 % |
496.48/496.52 c | 192981 | 2152 361512 1585361 | 2147483647 192981 138 | 0.000 % |
498.88/498.99 c | 193774 | 2152 361512 1585361 | 2147483647 193774 138 | 0.000 % |
502.48/502.56 c | 194646 | 2152 361512 1585361 | 2147483647 194646 138 | 0.000 % |
505.17/505.28 c | 195604 | 2152 361512 1585361 | 2147483647 195604 138 | 0.000 % |
507.97/508.09 c | 196657 | 2152 361512 1585361 | 2147483647 196657 138 | 0.000 % |
511.07/511.14 c | 197816 | 2152 361512 1585361 | 2147483647 197816 138 | 0.000 % |
514.37/514.41 c | 199089 | 2152 361512 1585361 | 2147483647 199089 138 | 0.000 % |
517.57/517.63 c | 200489 | 2152 361512 1585361 | 2147483647 200489 139 | 0.000 % |
521.97/522.00 c | 202029 | 2152 361512 1585361 | 2147483647 202029 139 | 0.000 % |
529.27/529.31 c | 203723 | 2152 361512 1585361 | 2147483647 203723 139 | 0.000 % |
534.37/534.44 c | 205586 | 2152 361512 1585361 | 2147483647 205586 139 | 0.000 % |
540.37/540.44 c | 207638 | 2152 361512 1585361 | 2147483647 207638 139 | 0.000 % |
540.87/540.92 c | 207738 | 2152 361512 1585361 | 2147483647 207738 139 | 0.000 % |
541.37/541.48 c | 207850 | 2152 361512 1585361 | 2147483647 207850 139 | 0.000 % |
541.97/542.02 c | 207972 | 2152 361512 1585361 | 2147483647 207972 139 | 0.000 % |
542.47/542.55 c | 208106 | 2152 361512 1585361 | 2147483647 208106 139 | 0.000 % |
543.07/543.17 c | 208252 | 2152 361512 1585361 | 2147483647 208252 139 | 0.000 % |
543.77/543.88 c | 208412 | 2152 361512 1585361 | 2147483647 208412 139 | 0.000 % |
544.37/544.45 c | 208588 | 2152 361512 1585361 | 2147483647 208588 139 | 0.000 % |
545.47/545.61 c | 208781 | 2152 361512 1585361 | 2147483647 208781 139 | 0.000 % |
546.87/546.91 c | 208994 | 2152 361512 1585361 | 2147483647 208994 139 | 0.000 % |
548.27/548.30 c | 209229 | 2152 361512 1585361 | 2147483647 209229 139 | 0.000 % |
549.57/549.61 c | 209485 | 2152 361512 1585361 | 2147483647 209485 139 | 0.000 % |
550.46/550.51 c | 209768 | 2152 361512 1585361 | 2147483647 209768 139 | 0.000 % |
552.06/552.11 c | 210078 | 2152 361512 1585361 | 2147483647 210078 139 | 0.000 % |
553.16/553.31 c | 210417 | 2152 361512 1585361 | 2147483647 210417 139 | 0.000 % |
554.37/554.47 c | 210789 | 2152 361512 1585361 | 2147483647 210789 139 | 0.000 % |
556.07/556.14 c | 211199 | 2152 361512 1585361 | 2147483647 211199 139 | 0.000 % |
557.77/557.90 c | 211649 | 2152 361512 1585361 | 2147483647 211649 139 | 0.000 % |
559.77/559.89 c | 212142 | 2152 361512 1585361 | 2147483647 212142 139 | 0.000 % |
562.27/562.36 c | 212684 | 2152 361512 1585361 | 2147483647 212684 139 | 0.000 % |
564.17/564.26 c | 213281 | 2152 361512 1585361 | 2147483647 213281 139 | 0.000 % |
567.07/567.15 c | 213936 | 2152 361512 1585361 | 2147483647 213936 139 | 0.000 % |
570.07/570.12 c | 214658 | 2152 361512 1585361 | 2147483647 214658 139 | 0.000 % |
571.87/571.99 c | 215450 | 2152 361512 1585361 | 2147483647 215450 139 | 0.000 % |
575.47/575.52 c | 216321 | 2152 361512 1585361 | 2147483647 216321 139 | 0.000 % |
577.67/577.78 c | 217280 | 2152 361512 1585361 | 2147483647 217280 139 | 0.000 % |
580.97/581.08 c | 218334 | 2152 361512 1585361 | 2147483647 218334 139 | 0.000 % |
584.17/584.25 c | 219492 | 2152 361512 1585361 | 2147483647 219492 139 | 0.000 % |
588.17/588.25 c | 220766 | 2152 361512 1585361 | 2147483647 220766 139 | 0.000 % |
591.87/591.95 c | 222166 | 2152 361512 1585361 | 2147483647 222166 139 | 0.000 % |
597.47/597.55 c | 223706 | 2152 361512 1585361 | 2147483647 223706 140 | 0.000 % |
602.27/602.35 c | 225400 | 2152 361512 1585361 | 2147483647 225400 140 | 0.000 % |
608.37/608.49 c | 227264 | 2152 361512 1585361 | 2147483647 227264 140 | 0.000 % |
615.57/615.62 c | 229314 | 2152 361512 1585361 | 2147483647 229314 140 | 0.000 % |
622.47/622.54 c | 231571 | 2152 361512 1585361 | 2147483647 231571 140 | 0.000 % |
623.07/623.16 c | 231673 | 2152 361512 1585361 | 2147483647 231673 140 | 0.000 % |
623.87/623.99 c | 231783 | 2152 361512 1585361 | 2147483647 231783 140 | 0.000 % |
624.47/624.55 c | 231905 | 2152 361512 1585361 | 2147483647 231905 140 | 0.000 % |
625.17/625.30 c | 232038 | 2152 361512 1585361 | 2147483647 232038 140 | 0.000 % |
625.97/626.04 c | 232188 | 2152 361512 1585361 | 2147483647 232188 140 | 0.000 % |
626.87/626.92 c | 232349 | 2152 361512 1585361 | 2147483647 232349 140 | 0.000 % |
627.57/627.63 c | 232525 | 2152 361512 1585361 | 2147483647 232525 140 | 0.000 % |
628.17/628.24 c | 232719 | 2152 361512 1585361 | 2147483647 232719 140 | 0.000 % |
629.18/629.29 c | 232931 | 2152 361512 1585361 | 2147483647 232931 140 | 0.000 % |
630.77/630.86 c | 233165 | 2152 361512 1585361 | 2147483647 233165 140 | 0.000 % |
631.87/631.94 c | 233421 | 2152 361512 1585361 | 2147483647 233421 140 | 0.000 % |
633.07/633.11 c | 233702 | 2152 361512 1585361 | 2147483647 233702 140 | 0.000 % |
633.87/633.95 c | 234012 | 2152 361512 1585361 | 2147483647 234012 140 | 0.000 % |
635.27/635.33 c | 234351 | 2152 361512 1585361 | 2147483647 234351 140 | 0.000 % |
636.67/636.73 c | 234724 | 2152 361512 1585361 | 2147483647 234724 140 | 0.000 % |
638.47/638.59 c | 235133 | 2152 361512 1585361 | 2147483647 235133 140 | 0.000 % |
640.18/640.26 c | 235583 | 2152 361512 1585361 | 2147483647 235583 140 | 0.000 % |
642.47/642.55 c | 236076 | 2152 361512 1585361 | 2147483647 236076 140 | 0.000 % |
645.47/645.52 c | 236618 | 2152 361512 1585361 | 2147483647 236618 140 | 0.000 % |
648.37/648.45 c | 237216 | 2152 361512 1585361 | 2147483647 237216 140 | 0.000 % |
650.77/650.90 c | 237872 | 2152 361512 1585361 | 2147483647 237872 140 | 0.000 % |
653.27/653.35 c | 238592 | 2152 361512 1585361 | 2147483647 238592 140 | 0.000 % |
655.97/656.10 c | 239385 | 2152 361512 1585361 | 2147483647 239385 140 | 0.000 % |
658.17/658.21 c | 240256 | 2152 361512 1585361 | 2147483647 240256 140 | 0.000 % |
662.18/662.23 c | 241214 | 2152 361512 1585361 | 2147483647 241214 140 | 0.000 % |
668.47/668.51 c | 242267 | 2152 361512 1585361 | 2147483647 242267 140 | 0.000 % |
670.78/670.87 c | 243425 | 2152 361512 1585361 | 2147483647 243425 140 | 0.000 % |
676.58/676.71 c | 244698 | 2152 361512 1585361 | 2147483647 244698 140 | 0.000 % |
684.37/684.47 c | 246098 | 2152 361512 1585361 | 2147483647 246098 140 | 0.000 % |
689.97/690.05 c | 247638 | 2152 361512 1585361 | 2147483647 247638 140 | 0.000 % |
697.17/697.22 c | 249334 | 2152 361512 1585361 | 2147483647 249334 140 | 0.000 % |
701.87/701.98 c | 251197 | 2152 361512 1585361 | 2147483647 251197 140 | 0.000 % |
711.77/711.85 c | 253249 | 2152 361512 1585361 | 2147483647 253249 140 | 0.000 % |
721.07/721.15 c | 255503 | 2152 361512 1585361 | 2147483647 255503 140 | 0.000 % |
733.47/733.52 c | 257981 | 2152 361512 1585361 | 2147483647 257981 141 | 0.000 % |
734.17/734.26 c | 258082 | 2152 361512 1585361 | 2147483647 258082 141 | 0.000 % |
734.87/734.97 c | 258192 | 2152 361512 1585361 | 2147483647 258192 141 | 0.000 % |
735.47/735.58 c | 258314 | 2152 361512 1585361 | 2147483647 258314 141 | 0.000 % |
736.27/736.32 c | 258447 | 2152 361512 1585361 | 2147483647 258447 141 | 0.000 % |
737.17/737.22 c | 258593 | 2152 361512 1585361 | 2147483647 258593 141 | 0.000 % |
737.77/737.82 c | 258753 | 2152 361512 1585361 | 2147483647 258753 141 | 0.000 % |
739.07/739.18 c | 258929 | 2152 361512 1585361 | 2147483647 258929 141 | 0.000 % |
739.87/739.93 c | 259123 | 2152 361512 1585361 | 2147483647 259123 141 | 0.000 % |
740.67/740.78 c | 259336 | 2152 361512 1585361 | 2147483647 259336 141 | 0.000 % |
741.87/741.95 c | 259569 | 2152 361512 1585361 | 2147483647 259569 141 | 0.000 % |
743.07/743.12 c | 259827 | 2152 361512 1585361 | 2147483647 259827 141 | 0.000 % |
744.57/744.64 c | 260110 | 2152 361512 1585361 | 2147483647 260110 141 | 0.000 % |
745.78/745.85 c | 260420 | 2152 361512 1585361 | 2147483647 260420 141 | 0.000 % |
747.27/747.34 c | 260760 | 2152 361512 1585361 | 2147483647 260760 141 | 0.000 % |
748.67/748.76 c | 261132 | 2152 361512 1585361 | 2147483647 261132 141 | 0.000 % |
751.17/751.24 c | 261545 | 2152 361512 1585361 | 2147483647 261545 141 | 0.000 % |
754.67/754.81 c | 261995 | 2152 361512 1585361 | 2147483647 261995 141 | 0.000 % |
756.97/757.07 c | 262488 | 2152 361512 1585361 | 2147483647 262488 141 | 0.000 % |
759.47/759.57 c | 263032 | 2152 361512 1585361 | 2147483647 263032 141 | 0.000 % |
762.77/762.91 c | 263630 | 2152 361512 1585361 | 2147483647 263630 141 | 0.000 % |
766.87/766.97 c | 264287 | 2152 361512 1585361 | 2147483647 264287 141 | 0.000 % |
770.27/770.31 c | 265009 | 2152 361512 1585361 | 2147483647 265009 141 | 0.000 % |
773.28/773.37 c | 265801 | 2152 361512 1585361 | 2147483647 265801 141 | 0.000 % |
775.97/776.05 c | 266673 | 2152 361512 1585361 | 2147483647 266673 141 | 0.000 % |
779.27/779.40 c | 267634 | 2152 361512 1585361 | 2147483647 267634 141 | 0.000 % |
783.18/783.26 c | 268687 | 2152 361512 1585361 | 2147483647 268687 141 | 0.000 % |
786.68/786.80 c | 269846 | 2152 361512 1585361 | 2147483647 269846 141 | 0.000 % |
790.38/790.46 c | 271120 | 2152 361512 1585361 | 2147483647 271120 141 | 0.000 % |
794.98/795.11 c | 272522 | 2152 361512 1585361 | 2147483647 272522 141 | 0.000 % |
803.18/803.31 c | 274062 | 2152 361512 1585361 | 2147483647 274062 141 | 0.000 % |
815.08/815.20 c | 275758 | 2152 361512 1585361 | 2147483647 275758 141 | 0.000 % |
821.18/821.28 c | 277623 | 2152 361512 1585361 | 2147483647 277623 141 | 0.000 % |
829.98/830.10 c | 279672 | 2152 361512 1585361 | 2147483647 279672 141 | 0.000 % |
839.98/840.04 c | 281925 | 2152 361512 1585361 | 2147483647 281925 140 | 0.000 % |
845.28/845.37 c | 284405 | 2152 361512 1585361 | 2147483647 284405 141 | 0.000 % |
855.68/855.77 c | 287130 | 2152 361512 1585361 | 2147483647 287130 141 | 0.000 % |
855.98/856.07 c | 287230 | 2152 361512 1585361 | 2147483647 287230 141 | 0.000 % |
856.58/856.67 c | 287340 | 2152 361512 1585361 | 2147483647 287340 141 | 0.000 % |
857.18/857.24 c | 287462 | 2152 361512 1585361 | 2147483647 287462 141 | 0.000 % |
857.68/857.79 c | 287596 | 2152 361512 1585361 | 2147483647 287596 140 | 0.000 % |
858.58/858.70 c | 287747 | 2152 361512 1585361 | 2147483647 287747 141 | 0.000 % |
859.48/859.58 c | 287909 | 2152 361512 1585361 | 2147483647 287909 141 | 0.000 % |
860.48/860.59 c | 288085 | 2152 361512 1585361 | 2147483647 288085 141 | 0.000 % |
861.68/861.79 c | 288278 | 2152 361512 1585361 | 2147483647 288278 140 | 0.000 % |
862.67/862.78 c | 288491 | 2152 361512 1585361 | 2147483647 288491 140 | 0.000 % |
863.57/863.64 c | 288725 | 2152 361512 1585361 | 2147483647 288725 140 | 0.000 % |
865.27/865.36 c | 288981 | 2152 361512 1585361 | 2147483647 288981 140 | 0.000 % |
866.57/866.63 c | 289263 | 2152 361512 1585361 | 2147483647 289263 141 | 0.000 % |
867.97/868.08 c | 289573 | 2152 361512 1585361 | 2147483647 289573 141 | 0.000 % |
870.08/870.14 c | 289912 | 2152 361512 1585361 | 2147483647 289912 141 | 0.000 % |
871.77/871.89 c | 290284 | 2152 361512 1585361 | 2147483647 290284 141 | 0.000 % |
873.57/873.69 c | 290693 | 2152 361512 1585361 | 2147483647 290693 141 | 0.000 % |
876.57/876.67 c | 291142 | 2152 361512 1585361 | 2147483647 291142 141 | 0.000 % |
878.77/878.86 c | 291636 | 2152 361512 1585361 | 2147483647 291636 141 | 0.000 % |
882.18/882.27 c | 292178 | 2152 361512 1585361 | 2147483647 292178 141 | 0.000 % |
885.07/885.12 c | 292774 | 2152 361512 1585361 | 2147483647 292774 141 | 0.000 % |
888.78/888.89 c | 293429 | 2152 361512 1585361 | 2147483647 293429 141 | 0.000 % |
892.57/892.63 c | 294149 | 2152 361512 1585361 | 2147483647 294149 141 | 0.000 % |
895.47/895.52 c | 294942 | 2152 361512 1585361 | 2147483647 294942 141 | 0.000 % |
898.48/898.56 c | 295813 | 2152 361512 1585361 | 2147483647 295813 141 | 0.000 % |
900.18/900.31 c | 296775 | 2152 361512 1585361 | 2147483647 296775 141 | 0.000 % |
901.88/902.01 c | 297829 | 2152 361512 1585361 | 2147483647 297829 141 | 0.000 % |
903.78/903.91 c | 298988 | 2152 361512 1585361 | 2147483647 298988 141 | 0.014 % |
905.88/905.98 c | 300262 | 2152 361512 1585361 | 2147483647 300262 141 | 0.000 % |
908.08/908.17 c | 301664 | 2152 361512 1585361 | 2147483647 301664 141 | 0.014 % |
910.78/910.84 c | 303206 | 2152 361512 1585361 | 2147483647 303206 142 | 0.000 % |
913.88/913.93 c | 304901 | 2152 361512 1585361 | 2147483647 304901 142 | 0.000 % |
918.18/918.27 c | 306765 | 2152 361512 1585361 | 2147483647 306765 142 | 0.000 % |
923.18/923.28 c | 308814 | 2152 361512 1585361 | 2147483647 308814 142 | 0.000 % |
930.98/931.05 c | 311069 | 2152 361512 1585361 | 2147483647 311069 142 | 0.000 % |
945.08/945.15 c | 313549 | 2152 361512 1585361 | 2147483647 313549 142 | 0.000 % |
960.28/960.34 c | 316275 | 2152 361512 1585361 | 2147483647 316275 142 | 0.000 % |
975.28/975.34 c | 319272 | 2152 361512 1585361 | 2147483647 319272 141 | 0.000 % |
975.58/975.71 c | 319373 | 2152 361512 1585361 | 2147483647 319373 141 | 0.000 % |
976.18/976.28 c | 319483 | 2152 361512 1585361 | 2147483647 319483 141 | 0.000 % |
976.88/976.94 c | 319604 | 2152 361512 1585361 | 2147483647 319604 141 | 0.000 % |
977.48/977.58 c | 319738 | 2152 361512 1585361 | 2147483647 319738 141 | 0.000 % |
978.08/978.12 c | 319884 | 2152 361512 1585361 | 2147483647 319884 141 | 0.000 % |
978.88/978.95 c | 320045 | 2152 361512 1585361 | 2147483647 320045 141 | 0.000 % |
979.58/979.65 c | 320222 | 2152 361512 1585361 | 2147483647 320222 141 | 0.000 % |
980.09/980.19 c | 320415 | 2152 361512 1585361 | 2147483647 320415 141 | 0.000 % |
981.19/981.25 c | 320628 | 2152 361512 1585361 | 2147483647 320628 141 | 0.000 % |
981.98/982.10 c | 320863 | 2152 361512 1585361 | 2147483647 320863 141 | 0.000 % |
983.08/983.11 c | 321120 | 2152 361512 1585361 | 2147483647 321120 141 | 0.000 % |
983.98/984.08 c | 321401 | 2152 361512 1585361 | 2147483647 321401 141 | 0.000 % |
985.18/985.23 c | 321710 | 2152 361512 1585361 | 2147483647 321710 141 | 0.000 % |
986.48/986.57 c | 322049 | 2152 361512 1585361 | 2147483647 322049 141 | 0.000 % |
987.48/987.52 c | 322423 | 2152 361512 1585361 | 2147483647 322423 141 | 0.000 % |
988.58/988.62 c | 322833 | 2152 361512 1585361 | 2147483647 322833 141 | 0.000 % |
990.18/990.27 c | 323283 | 2152 361512 1585361 | 2147483647 323283 141 | 0.000 % |
991.98/992.03 c | 323777 | 2152 361512 1585361 | 2147483647 323777 141 | 0.000 % |
993.48/993.55 c | 324321 | 2152 361512 1585361 | 2147483647 324321 141 | 0.000 % |
995.68/995.79 c | 324917 | 2152 361512 1585361 | 2147483647 324917 141 | 0.000 % |
998.08/998.19 c | 325573 | 2152 361512 1585361 | 2147483647 325573 141 | 0.000 % |
1000.48/1000.60 c | 326293 | 2152 361512 1585361 | 2147483647 326293 141 | 0.000 % |
1003.28/1003.32 c | 327085 | 2152 361512 1585361 | 2147483647 327085 141 | 0.000 % |
1006.08/1006.12 c | 327956 | 2152 361512 1585361 | 2147483647 327956 141 | 0.000 % |
1007.88/1007.94 c | 328914 | 2152 361512 1585361 | 2147483647 328914 141 | 0.000 % |
1010.29/1010.40 c | 329967 | 2152 361512 1585361 | 2147483647 329967 141 | 0.000 % |
1013.39/1013.43 c | 331126 | 2152 361512 1585361 | 2147483647 331126 141 | 0.000 % |
1016.99/1017.03 c | 332401 | 2152 361512 1585361 | 2147483647 332401 141 | 0.000 % |
1021.69/1021.75 c | 333803 | 2152 361512 1585361 | 2147483647 333803 141 | 0.000 % |
1025.49/1025.58 c | 335347 | 2152 361512 1585361 | 2147483647 335347 141 | 0.000 % |
1030.49/1030.56 c | 337042 | 2152 361512 1585361 | 2147483647 337042 141 | 0.000 % |
1037.19/1037.31 c | 338905 | 2152 361512 1585361 | 2147483647 338905 141 | 0.000 % |
1043.99/1044.05 c | 340956 | 2152 361512 1585361 | 2147483647 340956 141 | 0.000 % |
1053.49/1053.55 c | 343210 | 2152 361512 1585361 | 2147483647 343210 141 | 0.000 % |
1060.38/1060.48 c | 345690 | 2152 361512 1585361 | 2147483647 345690 141 | 0.000 % |
1070.18/1070.27 c | 348416 | 2152 361512 1585361 | 2147483647 348416 141 | 0.000 % |
1081.38/1081.50 c | 351413 | 2152 361512 1585361 | 2147483647 351413 141 | 0.000 % |
1089.08/1089.13 c | 354709 | 2152 361512 1585361 | 2147483647 354709 140 | 0.000 % |
1089.48/1089.57 c | 354809 | 2152 361512 1585361 | 2147483647 354809 140 | 0.000 % |
1090.09/1090.14 c | 354919 | 2152 361512 1585361 | 2147483647 354919 140 | 0.000 % |
1090.58/1090.64 c | 355041 | 2152 361512 1585361 | 2147483647 355041 140 | 0.000 % |
1090.98/1091.02 c | 355174 | 2152 361512 1585361 | 2147483647 355174 140 | 0.000 % |
1091.58/1091.64 c | 355322 | 2152 361512 1585361 | 2147483647 355322 140 | 0.000 % |
1092.08/1092.18 c | 355482 | 2152 361512 1585361 | 2147483647 355482 140 | 0.000 % |
1092.98/1093.01 c | 355658 | 2152 361512 1585361 | 2147483647 355658 140 | 0.000 % |
1093.88/1093.99 c | 355853 | 2152 361512 1585361 | 2147483647 355853 140 | 0.000 % |
1094.68/1094.77 c | 356065 | 2152 361512 1585361 | 2147483647 356065 140 | 0.000 % |
1095.48/1095.53 c | 356299 | 2152 361512 1585361 | 2147483647 356299 140 | 0.000 % |
1096.38/1096.48 c | 356556 | 2152 361512 1585361 | 2147483647 356556 140 | 0.000 % |
1097.58/1097.70 c | 356838 | 2152 361512 1585361 | 2147483647 356838 140 | 0.000 % |
1098.68/1098.78 c | 357149 | 2152 361512 1585361 | 2147483647 357149 140 | 0.000 % |
1099.99/1100.07 c | 357489 | 2152 361512 1585361 | 2147483647 357489 140 | 0.000 % |
1101.18/1101.30 c | 357861 | 2152 361512 1585361 | 2147483647 357861 140 | 0.000 % |
1102.68/1102.74 c | 358270 | 2152 361512 1585361 | 2147483647 358270 140 | 0.000 % |
1104.39/1104.42 c | 358719 | 2152 361512 1585361 | 2147483647 358719 140 | 0.000 % |
1105.98/1106.02 c | 359212 | 2152 361512 1585361 | 2147483647 359212 140 | 0.000 % |
1107.98/1108.01 c | 359756 | 2152 361512 1585361 | 2147483647 359756 140 | 0.000 % |
1110.58/1110.64 c | 360352 | 2152 361512 1585361 | 2147483647 360352 140 | 0.000 % |
1112.09/1112.15 c | 361009 | 2152 361512 1585361 | 2147483647 361009 140 | 0.000 % |
1116.18/1116.22 c | 361729 | 2152 361512 1585361 | 2147483647 361729 140 | 0.000 % |
1118.58/1118.66 c | 362521 | 2152 361512 1585361 | 2147483647 362521 140 | 0.000 % |
1121.88/1121.91 c | 363394 | 2152 361512 1585361 | 2147483647 363394 140 | 0.000 % |
1125.89/1125.98 c | 364354 | 2152 361512 1585361 | 2147483647 364354 140 | 0.000 % |
1129.09/1129.14 c | 365407 | 2152 361512 1585361 | 2147483647 365407 140 | 0.000 % |
1133.59/1133.69 c | 366565 | 2152 361512 1585361 | 2147483647 366565 140 | 0.000 % |
1138.29/1138.36 c | 367839 | 2152 361512 1585361 | 2147483647 367839 140 | 0.000 % |
1142.79/1142.86 c | 369239 | 2152 361512 1585361 | 2147483647 369239 140 | 0.000 % |
1146.89/1146.97 c | 370780 | 2152 361512 1585361 | 2147483647 370780 140 | 0.000 % |
1151.99/1152.11 c | 372479 | 2152 361512 1585361 | 2147483647 372479 140 | 0.000 % |
1158.29/1158.40 c | 374342 | 2152 361512 1585361 | 2147483647 374342 140 | 0.000 % |
1164.29/1164.37 c | 376391 | 2152 361512 1585361 | 2147483647 376391 140 | 0.000 % |
1170.89/1171.01 c | 378646 | 2152 361512 1585361 | 2147483647 378646 140 | 0.000 % |
1179.09/1179.12 c | 381128 | 2152 361512 1585361 | 2147483647 381128 140 | 0.000 % |
1189.29/1189.41 c | 383857 | 2152 361512 1585361 | 2147483647 383857 140 | 0.000 % |
1196.89/1196.93 c | 386855 | 2152 361512 1585361 | 2147483647 386855 140 | 0.000 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821814-1242568701/watcher-1821814-1242568701 -o /tmp/evaluation-result-1821814-1242568701/solver-1821814-1242568701 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821814-1242568701.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: 0.92 1.02 1.00 2/93 28754
/proc/meminfo: memFree=670448/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=956 CPUtime=0
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 119 0 0 0 0 0 0 0 20 0 1 0 1021370953 978944 55 4294967295 134512640 135223648 3220398704 3220397596 134737065 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 239 58 45 174 0 64 0
[startup+0.06268 s]
/proc/loadavg: 0.92 1.02 1.00 2/93 28754
/proc/meminfo: memFree=670448/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=6088 CPUtime=0.06
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 1386 0 0 0 6 0 0 0 21 0 1 0 1021370953 6234112 1322 4294967295 134512640 135223648 3220398704 3220397656 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 1522 1323 46 174 0 1347 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8500
[startup+0.122684 s]
/proc/loadavg: 0.92 1.02 1.00 2/93 28754
/proc/meminfo: memFree=670448/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=10696 CPUtime=0.12
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 2492 0 0 0 10 2 0 0 21 0 1 0 1021370953 10952704 2428 4294967295 134512640 135223648 3220398704 3220397656 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 2674 2429 46 174 0 2499 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13108
[startup+0.32267 s]
/proc/loadavg: 0.92 1.02 1.00 2/93 28754
/proc/meminfo: memFree=670448/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=26516 CPUtime=0.32
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 6358 0 0 0 29 3 0 0 21 0 1 0 1021370953 27152384 6294 4294967295 134512640 135223648 3220398704 3220396480 134585461 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 6629 6294 73 174 0 6454 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 28928
[startup+0.722651 s]
/proc/loadavg: 0.92 1.02 1.00 2/93 28754
/proc/meminfo: memFree=670448/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=29564 CPUtime=0.72
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 7115 0 0 0 68 4 0 0 22 0 1 0 1021370953 30273536 7051 4294967295 134512640 135223648 3220398704 3220396704 134549033 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 7391 7051 73 174 0 7216 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 31976
[startup+1.52261 s]
/proc/loadavg: 0.92 1.02 1.00 2/95 28759
/proc/meminfo: memFree=640068/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=34044 CPUtime=1.52
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 7872 0 0 0 148 4 0 0 25 0 1 0 1021370953 34861056 7808 4294967295 134512640 135223648 3220398704 3220396472 134737406 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 8511 7808 73 174 0 8336 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 36456
[startup+3.12254 s]
/proc/loadavg: 0.92 1.02 1.00 3/95 28759
/proc/meminfo: memFree=632876/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2412 CPUtime=0.01
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 367 648 0 0 0 0 0 1 18 0 1 0 1021370952 2469888 277 4294967295 134512640 135169312 3214617856 3214616392 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 603 277 235 161 0 42 0
[pid=28758] ppid=28754 vsize=39400 CPUtime=3.12
/proc/28758/stat : 28758 (SatELite_releas) R 28754 28754 10114 0 -1 4202496 9020 0 0 0 308 4 0 0 25 0 1 0 1021370953 40345600 8956 4294967295 134512640 135223648 3220398704 3220396800 134585480 0 0 0 3 0 0 0 17 1 0 0 0
/proc/28758/statm: 9850 8956 73 174 0 9675 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 41812
[startup+6.32238 s]
/proc/loadavg: 0.93 1.02 1.00 2/95 28759
/proc/meminfo: memFree=635032/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 2416
[startup+12.7221 s]
/proc/loadavg: 0.93 1.02 1.00 2/95 28760
/proc/meminfo: memFree=638832/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=23532 CPUtime=6.81
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 5709 0 0 0 677 4 0 0 25 0 1 0 1021371543 24096768 5644 4294967295 134512640 135215339 3215015344 3215013632 134528728 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 5883 5644 73 172 0 5710 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 25948
[startup+25.5214 s]
/proc/loadavg: 0.95 1.02 1.00 2/95 28762
/proc/meminfo: memFree=630248/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=31664 CPUtime=19.61
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 7745 0 0 0 1955 6 0 0 25 0 1 0 1021371543 32423936 7680 4294967295 134512640 135215339 3215015344 3215013632 134528821 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 7916 7680 73 172 0 7743 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 34080
[startup+51.1202 s]
/proc/loadavg: 0.96 1.02 1.00 2/95 28763
/proc/meminfo: memFree=619592/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=42468 CPUtime=45.21
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 10402 0 0 0 4514 7 0 0 25 0 1 0 1021371543 43487232 10337 4294967295 134512640 135215339 3215015344 3215013632 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 10617 10337 73 172 0 10444 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 44884
[startup+102.328 s]
/proc/loadavg: 0.98 1.01 1.00 3/95 28951
/proc/meminfo: memFree=604984/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=56384 CPUtime=96.42
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 13899 0 0 0 9634 8 0 0 25 0 1 0 1021371543 57737216 13834 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 14096 13834 73 172 0 13923 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 58800
[startup+162.315 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 29138
/proc/meminfo: memFree=590104/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=71524 CPUtime=156.41
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 17648 0 0 0 15628 13 0 0 25 0 1 0 1021371543 73240576 17583 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 17881 17583 73 172 0 17708 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 73940
[startup+222.312 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 29331
/proc/meminfo: memFree=575488/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=86020 CPUtime=216.41
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 21213 0 0 0 21620 21 0 0 25 0 1 0 1021371543 88084480 21148 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 21505 21148 73 172 0 21332 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 88436
[startup+282.309 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 29518
/proc/meminfo: memFree=562816/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=98564 CPUtime=276.41
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 24360 0 0 0 27619 22 0 0 25 0 1 0 1021371543 100929536 24295 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 24641 24295 73 172 0 24468 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 100980
[startup+342.316 s]
/proc/loadavg: 0.99 1.00 1.00 3/95 29705
/proc/meminfo: memFree=549192/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=112304 CPUtime=336.42
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 27714 0 0 0 33607 35 0 0 25 0 1 0 1021371543 114999296 27649 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/28760/statm: 28076 27649 73 172 0 27903 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 114720
[startup+402.313 s]
################
# More data... #
################
/proc/28760/statm: 39225 38657 73 172 0 39052 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 159316
[startup+642.312 s]
/proc/loadavg: 0.99 1.00 1.00 2/95 30650
/proc/meminfo: memFree=494136/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=167880 CPUtime=636.37
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 41485 0 0 0 63572 65 0 0 25 0 1 0 1021371543 171909120 41420 4294967295 134512640 135215339 3215015344 3215013560 134721382 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 41970 41420 73 172 0 41797 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 170296
[startup+702.319 s]
/proc/loadavg: 1.20 1.05 1.02 3/95 30839
/proc/meminfo: memFree=484340/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=177816 CPUtime=696.37
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 43964 0 0 0 69569 68 0 0 25 0 1 0 1021371543 182083584 43899 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 44454 43899 73 172 0 44281 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 180232
[startup+762.326 s]
/proc/loadavg: 1.07 1.04 1.01 2/95 31026
/proc/meminfo: memFree=475908/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=186140 CPUtime=756.38
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 46033 0 0 0 75567 71 0 0 25 0 1 0 1021371543 190607360 45968 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 46535 45968 73 172 0 46362 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 188556
[startup+822.323 s]
/proc/loadavg: 1.08 1.04 1.01 2/95 31215
/proc/meminfo: memFree=467476/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=194736 CPUtime=816.38
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 48175 0 0 0 81567 71 0 0 25 0 1 0 1021371543 199409664 48110 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 48684 48110 73 172 0 48511 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 197152
[startup+882.31 s]
/proc/loadavg: 1.08 1.05 1.01 2/95 31402
/proc/meminfo: memFree=458672/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=203688 CPUtime=876.37
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 50360 0 0 0 87565 72 0 0 25 0 1 0 1021371543 208576512 50295 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 50922 50295 73 172 0 50749 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 206104
[startup+942.317 s]
/proc/loadavg: 1.12 1.06 1.01 3/95 31589
/proc/meminfo: memFree=445156/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=217928 CPUtime=936.38
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 53778 0 0 0 93565 73 0 0 25 0 1 0 1021371543 223158272 53713 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 54482 53713 73 172 0 54309 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 220344
[startup+1002.31 s]
/proc/loadavg: 1.13 1.08 1.02 3/95 31782
/proc/meminfo: memFree=437592/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=225328 CPUtime=996.38
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 55629 0 0 0 99565 73 0 0 25 0 1 0 1021371543 230735872 55564 4294967295 134512640 135215339 3215015344 3215013632 134528884 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 56332 55564 73 172 0 56159 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 227744
[startup+1062.31 s]
/proc/loadavg: 1.05 1.06 1.01 2/95 31969
/proc/meminfo: memFree=426556/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=236344 CPUtime=1056.38
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 58390 0 0 0 105563 75 0 0 25 0 1 0 1021371543 242016256 58325 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 59086 58325 73 172 0 58913 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 238760
[startup+1122.31 s]
/proc/loadavg: 1.02 1.05 1.01 2/95 32161
/proc/meminfo: memFree=416976/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=245496 CPUtime=1116.38
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 60675 0 0 0 111563 75 0 0 25 0 1 0 1021371543 251387904 60610 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 61374 60610 73 172 0 61201 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 247912
[startup+1182.32 s]
/proc/loadavg: 1.00 1.04 1.00 2/95 32348
/proc/meminfo: memFree=406840/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=255568 CPUtime=1176.39
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 63228 0 0 0 117560 79 0 0 25 0 1 0 1021371543 261701632 63163 4294967295 134512640 135215339 3215015344 3215013632 134528673 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 63892 63163 73 172 0 63719 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 257984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.12 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 32350
/proc/meminfo: memFree=403368/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=259032 CPUtime=1194.2
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 64094 0 0 0 119340 80 0 0 25 0 1 0 1021371543 265248768 64029 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 64758 64029 73 172 0 64585 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 261448
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.12 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 32350
/proc/meminfo: memFree=403368/2074464 swapFree=1950884/1959888
[pid=28754] ppid=28752 vsize=2416 CPUtime=5.9
/proc/28754/stat : 28754 (SatELiteGTI) S 28752 28754 10114 0 -1 4194304 387 9671 0 0 0 0 581 9 18 0 1 0 1021370952 2473984 278 4294967295 134512640 135169312 3214617856 3214614072 3085266670 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/28754/statm: 604 278 235 161 0 43 0
[pid=28760] ppid=28754 vsize=259032 CPUtime=1194.2
/proc/28760/stat : 28760 (minisat_static) R 28754 28754 10114 0 -1 4202496 64094 0 0 0 119340 80 0 0 25 0 1 0 1021371543 265248768 64029 4294967295 134512640 135215339 3215015344 3215013632 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/28760/statm: 64758 64029 73 172 0 64585 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 261448
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28754 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=810000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=90000
# CPU time returned by wait4() is 5.9
# while last known CPU time is 1200.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.14
CPU time (s): 1200.1
CPU user time (s): 1199.21
CPU system time (s): 0.89
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 261448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.81
system time used= 0.09
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10058
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= 13
involuntary context switches= 58
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-17 15:58:21
IDJOB=1821814
IDBENCH=71096
IDSOLVER=657
FILE ID=tipi13/1821814-1242568701
PBS_JOBID=
Free space on /tmp= 6768 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_16_UNKNOWN.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821814-1242568701/watcher-1821814-1242568701 -o /tmp/evaluation-result-1821814-1242568701/solver-1821814-1242568701 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821814-1242568701.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 85279cb74dedd2e1c7356e22d8e98939
RANDOM SEED= 427581740
Linux tipi13 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.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
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.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 670448 kB
Buffers: 65608 kB
Cached: 1222288 kB
SwapCached: 3516 kB
Active: 561444 kB
Inactive: 736148 kB
HighTotal: 1178688 kB
HighFree: 85772 kB
LowTotal: 895776 kB
LowFree: 584676 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 7796 kB
Writeback: 0 kB
AnonPages: 8516 kB
Mapped: 3076 kB
Slab: 98444 kB
PageTables: 408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6758 MiB
End job on tipi13 at 2009-05-17 16:18:24