0.00/0.00 c Parsing...
0.42/0.43 c ==============================================================================
0.42/0.43 c | | ORIGINAL | LEARNT | |
0.42/0.43 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.42/0.43 c ==============================================================================
0.42/0.43 c | 0 | 542252 1554258 | 162675 0 0 nan | 0.000 % |
4.11/4.18 c | 0 | 518020 1616108 | -- 0 -- -- | -- | -24095/63495
4.11/4.18 c ==============================================================================
4.11/4.18 c Result : #vars: 32773 #clauses: 518020 #literals: 1616108
4.11/4.18 c CPU time: 4.1 s
4.11/4.18 c ==============================================================================
4.71/4.72 c This is MiniSat 2.0 beta
4.71/4.72 c WARNING: for repeatability, setting FPU to use double precision
4.71/4.72 c ============================[ Problem Statistics ]=============================
4.71/4.72 c | |
4.71/4.72 c | Number of variables: 32773 |
4.71/4.72 c | Number of clauses: 518020 |
4.71/5.06 c | Parsing time: 0.32 s |
4.71/5.08 c ============================[ Search Statistics ]==============================
4.71/5.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
4.71/5.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
4.71/5.08 c ===============================================================================
4.71/5.08 c | 0 | 32773 518020 1616108 | 172673 0 nan | 0.000 % |
4.71/5.23 c | 513 | 32773 518020 1616108 | 172673 513 34 | 0.000 % |
5.41/5.44 c | 1026 | 32773 518020 1616108 | 172673 1026 38 | 0.000 % |
5.51/5.53 c | 1538 | 32773 518020 1616108 | 172673 1538 35 | 0.000 % |
5.81/5.82 c | 2564 | 32773 518020 1616108 | 172673 2564 48 | 0.000 % |
5.91/6.01 c | 3076 | 32773 518020 1616108 | 172673 3076 46 | 0.000 % |
6.11/6.18 c | 3588 | 32773 518020 1616108 | 172673 3588 45 | 0.000 % |
6.51/6.52 c | 4613 | 32773 518020 1616108 | 172673 4613 44 | 0.000 % |
7.01/7.02 c | 6662 | 32773 518020 1616108 | 172673 6662 46 | 0.000 % |
7.11/7.17 c | 7175 | 32773 518020 1616108 | 172673 7175 46 | 0.000 % |
7.31/7.34 c | 7687 | 32773 518020 1616108 | 172673 7687 45 | 0.000 % |
7.51/7.52 c | 8711 | 32773 518020 1616108 | 172673 8711 47 | 0.000 % |
7.51/7.61 c | 9224 | 32773 518020 1616108 | 172673 9224 46 | 0.000 % |
7.61/7.70 c | 9736 | 32773 518020 1616108 | 172673 9736 46 | 0.000 % |
7.91/8.00 c | 10760 | 32773 518020 1616108 | 2147483647 10760 47 | 0.000 % |
8.41/8.46 c | 12809 | 32773 518020 1616108 | 2147483647 12809 47 | 0.000 % |
9.11/9.17 c | 16905 | 32773 518020 1616108 | 2147483647 16905 47 | 0.000 % |
9.31/9.38 c | 17417 | 32773 518020 1616108 | 2147483647 17417 47 | 0.000 % |
9.41/9.50 c | 17930 | 32773 518020 1616108 | 2147483647 17930 47 | 0.000 % |
9.71/9.72 c | 18954 | 32773 518020 1616108 | 2147483647 18954 48 | 0.000 % |
9.81/9.86 c | 19468 | 32773 518020 1616108 | 2147483647 19468 48 | 0.000 % |
9.91/9.96 c | 19981 | 32773 518020 1616108 | 2147483647 19981 48 | 0.000 % |
10.11/10.17 c | 21007 | 32773 518020 1616108 | 2147483647 21007 48 | 0.000 % |
10.71/10.80 c | 23055 | 32773 518020 1616108 | 2147483647 23055 50 | 0.000 % |
10.91/10.95 c | 23567 | 32773 518020 1616108 | 2147483647 23567 50 | 0.000 % |
11.11/11.14 c | 24079 | 32773 518020 1616108 | 2147483647 24079 50 | 0.000 % |
11.41/11.43 c | 25103 | 32773 518020 1616108 | 2147483647 25103 50 | 0.000 % |
11.51/11.56 c | 25616 | 32773 518020 1616108 | 2147483647 25616 49 | 0.000 % |
11.71/11.74 c | 26128 | 32773 518020 1616108 | 2147483647 26128 49 | 0.000 % |
11.91/11.98 c | 27152 | 32773 518020 1616108 | 2147483647 27152 49 | 0.000 % |
12.31/12.36 c | 29201 | 32773 518020 1616108 | 2147483647 29201 49 | 0.000 % |
13.21/13.22 c | 33297 | 32773 518020 1616108 | 2147483647 33297 47 | 0.000 % |
15.01/15.06 c | 41490 | 32773 518020 1616108 | 2147483647 41490 45 | 0.000 % |
15.21/15.22 c | 42002 | 32773 518020 1616108 | 2147483647 42002 45 | 0.000 % |
15.31/15.37 c | 42515 | 32773 518020 1616108 | 2147483647 42515 45 | 0.000 % |
15.61/15.68 c | 43539 | 32773 518020 1616108 | 2147483647 43539 46 | 0.000 % |
15.81/15.88 c | 44052 | 32773 518020 1616108 | 2147483647 44052 46 | 0.000 % |
16.11/16.14 c | 44564 | 32773 518020 1616108 | 2147483647 44564 46 | 0.000 % |
16.61/16.64 c | 45592 | 32773 518020 1616108 | 2147483647 45592 46 | 0.000 % |
17.51/17.54 c | 47642 | 32773 518020 1616108 | 2147483647 47642 47 | 0.000 % |
17.71/17.72 c | 48154 | 32773 518020 1616108 | 2147483647 48154 47 | 0.000 % |
17.91/17.91 c | 48669 | 32773 518020 1616108 | 2147483647 48669 47 | 0.000 % |
18.31/18.32 c | 49695 | 32773 518020 1616108 | 2147483647 49695 47 | 0.000 % |
18.41/18.42 c | 50208 | 32773 518020 1616108 | 2147483647 50208 47 | 0.000 % |
18.51/18.54 c | 50720 | 32773 518020 1616108 | 2147483647 50720 46 | 0.000 % |
18.81/18.86 c | 51745 | 32773 518020 1616108 | 2147483647 51745 47 | 0.000 % |
19.31/19.32 c | 53794 | 32773 518020 1616108 | 2147483647 53794 47 | 0.000 % |
20.51/20.55 c | 57891 | 32773 518020 1616108 | 2147483647 57891 46 | 0.000 % |
20.61/20.64 c | 58403 | 32773 518020 1616108 | 2147483647 58403 46 | 0.000 % |
20.81/20.82 c | 58915 | 32773 518020 1616108 | 2147483647 58915 46 | 0.000 % |
21.21/21.30 c | 59943 | 32773 518020 1616108 | 2147483647 59943 46 | 0.000 % |
21.41/21.50 c | 60455 | 32773 518020 1616108 | 2147483647 60455 46 | 0.000 % |
21.71/21.72 c | 60969 | 32773 518020 1616108 | 2147483647 60969 46 | 0.000 % |
22.11/22.12 c | 61995 | 32773 518020 1616108 | 2147483647 61995 46 | 0.000 % |
22.71/22.77 c | 64043 | 32773 518020 1616108 | 2147483647 64043 47 | 0.000 % |
22.91/23.00 c | 64555 | 32773 518020 1616108 | 2147483647 64555 47 | 0.000 % |
23.21/23.30 c | 65067 | 32773 518020 1616108 | 2147483647 65067 47 | 0.000 % |
23.81/23.85 c | 66092 | 32773 518020 1616108 | 2147483647 66092 47 | 0.000 % |
24.11/24.19 c | 66604 | 32773 518020 1616108 | 2147483647 66604 46 | 0.000 % |
24.41/24.44 c | 67117 | 32773 518020 1616108 | 2147483647 67117 47 | 0.000 % |
24.91/24.97 c | 68141 | 32773 518020 1616108 | 2147483647 68141 47 | 0.000 % |
25.41/25.47 c | 70191 | 32773 518020 1616108 | 2147483647 70191 47 | 0.000 % |
26.61/26.65 c | 74288 | 32773 518020 1616108 | 2147483647 74288 48 | 0.000 % |
29.01/29.10 c | 82482 | 32773 518020 1616108 | 2147483647 82482 50 | 0.000 % |
35.11/35.13 c | 98866 | 32773 518020 1616108 | 2147483647 98866 69 | 0.000 % |
35.22/35.31 c | 99381 | 32773 518020 1616108 | 2147483647 99381 69 | 0.000 % |
35.61/35.68 c | 99893 | 32773 518020 1616108 | 2147483647 99893 69 | 0.000 % |
36.11/36.21 c | 100919 | 32773 518020 1616108 | 2147483647 100919 69 | 0.000 % |
36.51/36.60 c | 101432 | 32773 518020 1616108 | 2147483647 101432 69 | 0.000 % |
36.71/36.81 c | 101946 | 32773 518020 1616108 | 2147483647 101946 69 | 0.000 % |
37.11/37.19 c | 102970 | 32773 518020 1616108 | 2147483647 102970 69 | 0.000 % |
37.81/37.84 c | 105018 | 32773 518020 1616108 | 2147483647 105018 69 | 0.000 % |
38.11/38.20 c | 105531 | 32773 518020 1616108 | 2147483647 105531 69 | 0.000 % |
38.31/38.40 c | 106045 | 32773 518020 1616108 | 2147483647 106045 69 | 0.000 % |
39.01/39.02 c | 107069 | 32773 518020 1616108 | 2147483647 107069 69 | 0.000 % |
39.31/39.37 c | 107582 | 32773 518020 1616108 | 2147483647 107582 68 | 0.000 % |
39.71/39.78 c | 108094 | 32773 518020 1616108 | 2147483647 108094 68 | 0.000 % |
40.11/40.21 c | 109119 | 32773 518020 1616108 | 2147483647 109119 68 | 0.000 % |
41.11/41.19 c | 111169 | 32773 518020 1616108 | 2147483647 111169 68 | 0.000 % |
42.81/42.91 c | 115266 | 32773 518020 1616108 | 2147483647 115266 67 | 0.000 % |
43.21/43.25 c | 115778 | 32773 518020 1616108 | 2147483647 115778 67 | 0.000 % |
43.41/43.47 c | 116292 | 32773 518020 1616108 | 2147483647 116292 67 | 0.000 % |
44.02/44.08 c | 117316 | 32773 518020 1616108 | 2147483647 117316 66 | 0.000 % |
44.21/44.27 c | 117828 | 32773 518020 1616108 | 2147483647 117828 67 | 0.000 % |
44.41/44.49 c | 118340 | 32773 518020 1616108 | 2147483647 118340 67 | 0.000 % |
44.81/44.86 c | 119364 | 32773 518020 1616108 | 2147483647 119364 66 | 0.000 % |
46.01/46.02 c | 121412 | 32773 518020 1616108 | 2147483647 121412 66 | 0.000 % |
46.31/46.40 c | 121924 | 32773 518020 1616108 | 2147483647 121924 66 | 0.000 % |
46.51/46.54 c | 122436 | 32773 518020 1616108 | 2147483647 122436 66 | 0.000 % |
46.81/46.83 c | 123460 | 32773 518020 1616108 | 2147483647 123460 66 | 0.000 % |
47.11/47.12 c | 123972 | 32773 518020 1616108 | 2147483647 123972 66 | 0.000 % |
47.41/47.42 c | 124485 | 32773 518020 1616108 | 2147483647 124485 66 | 0.000 % |
47.91/47.93 c | 125509 | 32773 518020 1616108 | 2147483647 125509 66 | 0.000 % |
48.81/48.91 c | 127557 | 32773 518020 1616108 | 2147483647 127557 67 | 0.000 % |
50.31/50.39 c | 131653 | 32773 518020 1616108 | 2147483647 131653 67 | 0.000 % |
52.71/52.82 c | 139845 | 32773 518020 1616108 | 2147483647 139845 66 | 0.000 % |
52.91/52.98 c | 140357 | 32773 518020 1616108 | 2147483647 140357 66 | 0.000 % |
53.11/53.18 c | 140870 | 32773 518020 1616108 | 2147483647 140870 66 | 0.001 % |
53.51/53.58 c | 141896 | 32773 518020 1616108 | 2147483647 141896 65 | 0.000 % |
53.71/53.79 c | 142410 | 32773 518020 1616108 | 2147483647 142410 65 | 0.000 % |
54.01/54.01 c | 142922 | 32773 518020 1616108 | 2147483647 142922 65 | 0.000 % |
54.31/54.39 c | 143946 | 32773 518020 1616108 | 2147483647 143946 65 | 0.000 % |
55.11/55.12 c | 145994 | 32773 518020 1616108 | 2147483647 145994 65 | 0.000 % |
55.21/55.31 c | 146507 | 32773 518020 1616108 | 2147483647 146507 65 | 0.000 % |
55.51/55.53 c | 147020 | 32773 518020 1616108 | 2147483647 147020 65 | 0.000 % |
55.91/55.98 c | 148044 | 32773 518020 1616108 | 2147483647 148044 65 | 0.000 % |
56.12/56.19 c | 148556 | 32773 518020 1616108 | 2147483647 148556 65 | 0.000 % |
56.31/56.39 c | 149068 | 32773 518020 1616108 | 2147483647 149068 65 | 0.000 % |
56.71/56.71 c | 150092 | 32773 518020 1616108 | 2147483647 150092 65 | 0.000 % |
57.31/57.34 c | 152140 | 32773 518020 1616108 | 2147483647 152140 65 | 0.000 % |
58.81/58.89 c | 156236 | 32773 518020 1616108 | 2147483647 156236 64 | 0.000 % |
59.11/59.12 c | 156748 | 32773 518020 1616108 | 2147483647 156748 64 | 0.000 % |
59.31/59.34 c | 157262 | 32773 518020 1616108 | 2147483647 157262 64 | 0.000 % |
59.71/59.77 c | 158286 | 32773 518020 1616108 | 2147483647 158286 64 | 0.000 % |
60.01/60.02 c | 158801 | 32773 518020 1616108 | 2147483647 158801 63 | 0.000 % |
60.21/60.28 c | 159313 | 32773 518020 1616108 | 2147483647 159313 63 | 0.000 % |
60.61/60.71 c | 160338 | 32773 518020 1616108 | 2147483647 160338 63 | 0.000 % |
61.51/61.54 c | 162386 | 32773 518020 1616108 | 2147483647 162386 63 | 0.000 % |
61.71/61.73 c | 162898 | 32773 518020 1616108 | 2147483647 162898 63 | 0.000 % |
61.91/61.92 c | 163410 | 32773 518020 1616108 | 2147483647 163410 62 | 0.001 % |
62.31/62.33 c | 164434 | 32773 518020 1616108 | 2147483647 164434 62 | 0.000 % |
62.61/62.63 c | 164948 | 32773 518020 1616108 | 2147483647 164948 62 | 0.000 % |
63.11/63.13 c | 165460 | 32773 518020 1616108 | 2147483647 165460 62 | 0.000 % |
63.71/63.74 c | 166484 | 32773 518020 1616108 | 2147483647 166484 62 | 0.000 % |
65.01/65.02 c | 168538 | 32773 518020 1616108 | 2147483647 168538 62 | 0.000 % |
67.21/67.23 c | 172636 | 32773 518020 1616108 | 2147483647 172636 63 | 0.000 % |
70.51/70.53 c | 180830 | 32773 518020 1616108 | 2147483647 180830 65 | 0.000 % |
78.12/78.17 c | 197214 | 32773 518020 1616108 | 2147483647 197214 68 | 0.000 % |
94.91/94.91 c | 229983 | 32773 518020 1616108 | 220000 229983 68 | 0.000 % |
96.01/96.08 c | 230495 | 32773 518020 1616108 | 201816 202311 63 | 0.000 % |
98.61/98.67 c | 231008 | 32773 518020 1616108 | 201816 177796 65 | 0.000 % |
99.31/99.33 c | 232032 | 32773 518020 1616108 | 201816 178820 66 | 0.000 % |
99.51/99.58 c | 232545 | 32773 518020 1616108 | 201816 179333 65 | 0.000 % |
100.01/100.04 c | 233059 | 32773 518020 1616108 | 201816 179847 65 | 0.000 % |
100.51/100.59 c | 234084 | 32773 518020 1616108 | 201816 180872 66 | 0.000 % |
101.41/101.47 c | 236132 | 32773 518020 1616108 | 201816 182920 65 | 0.000 % |
101.81/101.85 c | 236644 | 32773 518020 1616108 | 201816 183432 65 | 0.000 % |
102.01/102.11 c | 237157 | 32773 518020 1616108 | 201816 183945 65 | 0.000 % |
102.51/102.60 c | 238183 | 32773 518020 1616108 | 201816 184971 65 | 0.000 % |
102.81/102.85 c | 238695 | 32773 518020 1616108 | 201816 185483 65 | 0.000 % |
103.01/103.09 c | 239207 | 32773 518020 1616108 | 201816 185995 65 | 0.000 % |
103.51/103.57 c | 240231 | 32773 518020 1616108 | 2147483647 187019 65 | 0.000 % |
104.51/104.55 c | 242280 | 32773 518020 1616108 | 2147483647 189068 64 | 0.000 % |
106.41/106.42 c | 246376 | 32773 518020 1616108 | 2147483647 193164 63 | 0.000 % |
106.71/106.71 c | 246888 | 32773 518020 1616108 | 2147483647 193676 63 | 0.000 % |
106.91/106.94 c | 247400 | 32773 518020 1616108 | 2147483647 194188 63 | 0.000 % |
107.31/107.39 c | 248424 | 32773 518020 1616108 | 2147483647 195212 63 | 0.000 % |
107.61/107.67 c | 248936 | 32773 518020 1616108 | 2147483647 195724 63 | 0.000 % |
107.81/107.91 c | 249449 | 32773 518020 1616108 | 2147483647 196237 63 | 0.000 % |
108.31/108.32 c | 250474 | 32773 518020 1616108 | 2147483647 197262 63 | 0.000 % |
109.21/109.27 c | 252522 | 32773 518020 1616108 | 2147483647 199310 62 | 0.000 % |
109.51/109.52 c | 253034 | 32773 518020 1616108 | 2147483647 199822 62 | 0.000 % |
109.71/109.76 c | 253546 | 32773 518020 1616108 | 2147483647 200334 62 | 0.000 % |
110.21/110.22 c | 254572 | 32773 518020 1616108 | 2147483647 201360 62 | 0.000 % |
110.41/110.45 c | 255085 | 32773 518020 1616108 | 2147483647 201873 62 | 0.000 % |
110.61/110.70 c | 255597 | 32773 518020 1616108 | 2147483647 202385 62 | 0.000 % |
111.21/111.28 c | 256623 | 32773 518020 1616108 | 2147483647 203411 62 | 0.000 % |
112.41/112.41 c | 258673 | 32773 518020 1616108 | 2147483647 205461 62 | 0.000 % |
114.91/114.99 c | 262770 | 32773 518020 1616108 | 2147483647 209558 62 | 0.000 % |
119.01/119.02 c | 270962 | 32773 518020 1616108 | 2147483647 217750 62 | 0.000 % |
119.31/119.31 c | 271476 | 32773 518020 1616108 | 2147483647 218264 62 | 0.000 % |
119.71/119.80 c | 271988 | 32773 518020 1616108 | 2147483647 218776 62 | 0.000 % |
120.51/120.55 c | 273014 | 32773 518020 1616108 | 2147483647 219802 62 | 0.000 % |
121.21/121.26 c | 273527 | 32773 518020 1616108 | 2147483647 220315 62 | 0.000 % |
121.81/121.84 c | 274039 | 32773 518020 1616108 | 2147483647 220827 62 | 0.000 % |
122.71/122.71 c | 275064 | 32773 518020 1616108 | 2147483647 221852 62 | 0.000 % |
123.91/123.95 c | 277112 | 32773 518020 1616108 | 2147483647 223900 62 | 0.000 % |
124.21/124.24 c | 277625 | 32773 518020 1616108 | 2147483647 224413 62 | 0.000 % |
124.51/124.54 c | 278137 | 32773 518020 1616108 | 2147483647 224925 62 | 0.000 % |
125.31/125.36 c | 279162 | 32773 518020 1616108 | 2147483647 225950 62 | 0.000 % |
125.61/125.70 c | 279674 | 32773 518020 1616108 | 2147483647 226462 62 | 0.000 % |
126.01/126.03 c | 280187 | 32773 518020 1616108 | 2147483647 226975 62 | 0.000 % |
126.61/126.64 c | 281211 | 32773 518020 1616108 | 2147483647 227999 62 | 0.000 % |
127.71/127.76 c | 283260 | 32773 518020 1616108 | 2147483647 230048 62 | 0.000 % |
129.31/129.40 c | 287356 | 32773 518020 1616108 | 2147483647 234144 62 | 0.000 % |
129.71/129.76 c | 287870 | 32773 518020 1616108 | 2147483647 234658 62 | 0.000 % |
130.01/130.09 c | 288382 | 32773 518020 1616108 | 2147483647 235170 62 | 0.000 % |
130.41/130.42 c | 289406 | 32773 518020 1616108 | 2147483647 236194 62 | 0.000 % |
130.81/130.83 c | 289918 | 32773 518020 1616108 | 2147483647 236706 62 | 0.000 % |
131.21/131.24 c | 290431 | 32773 518020 1616108 | 2147483647 237219 62 | 0.000 % |
132.01/132.05 c | 291455 | 32773 518020 1616108 | 2147483647 238243 62 | 0.000 % |
133.01/133.09 c | 293503 | 32773 518020 1616108 | 2147483647 240291 62 | 0.000 % |
133.61/133.61 c | 294015 | 32773 518020 1616108 | 2147483647 240803 62 | 0.000 % |
134.41/134.47 c | 294527 | 32773 518020 1616108 | 2147483647 241315 62 | 0.000 % |
135.41/135.46 c | 295553 | 32773 518020 1616108 | 2147483647 242341 62 | 0.000 % |
135.81/135.90 c | 296065 | 32773 518020 1616108 | 2147483647 242853 62 | 0.000 % |
136.51/136.59 c | 296577 | 32773 518020 1616108 | 2147483647 243365 62 | 0.000 % |
137.31/137.37 c | 297601 | 32773 518020 1616108 | 2147483647 244389 62 | 0.000 % |
138.61/138.64 c | 299651 | 32773 518020 1616108 | 2147483647 246439 62 | 0.000 % |
140.11/140.17 c | 303747 | 32773 518020 1616108 | 2147483647 250535 62 | 0.000 % |
143.61/143.63 c | 311940 | 32773 518020 1616108 | 2147483647 258728 62 | 0.000 % |
149.81/149.83 c | 328324 | 32773 518020 1616108 | 2147483647 275112 63 | 0.000 % |
150.21/150.21 c | 328836 | 32773 518020 1616108 | 2147483647 275624 63 | 0.000 % |
150.51/150.60 c | 329349 | 32773 518020 1616108 | 2147483647 276137 63 | 0.000 % |
151.41/151.45 c | 330373 | 32773 518020 1616108 | 2147483647 277161 63 | 0.000 % |
151.81/151.84 c | 330887 | 32773 518020 1616108 | 2147483647 277675 63 | 0.000 % |
152.11/152.13 c | 331400 | 32773 518020 1616108 | 2147483647 278188 63 | 0.000 % |
152.61/152.69 c | 332424 | 32773 518020 1616108 | 2147483647 279212 63 | 0.000 % |
153.81/153.84 c | 334474 | 32773 518020 1616108 | 2147483647 281262 63 | 0.000 % |
154.21/154.28 c | 334987 | 32773 518020 1616108 | 2147483647 281775 63 | 0.000 % |
154.51/154.60 c | 335499 | 32773 518020 1616108 | 2147483647 282287 63 | 0.000 % |
155.41/155.49 c | 336523 | 32773 518020 1616108 | 2147483647 283311 63 | 0.000 % |
156.01/156.10 c | 337035 | 32773 518020 1616108 | 2147483647 283823 63 | 0.000 % |
156.61/156.65 c | 337547 | 32773 518020 1616108 | 2147483647 284335 63 | 0.000 % |
157.51/157.58 c | 338571 | 32773 518020 1616108 | 2147483647 285359 63 | 0.000 % |
159.11/159.19 c | 340619 | 32773 518020 1616108 | 286789 287407 63 | 0.000 % |
165.41/165.50 c | 344716 | 32773 518020 1616108 | 286789 261577 64 | 0.000 % |
166.01/166.02 c | 345229 | 32773 518020 1616108 | 286789 262090 64 | 0.000 % |
166.51/166.51 c | 345741 | 32773 518020 1616108 | 286789 262602 64 | 0.000 % |
167.22/167.30 c | 346765 | 32773 518020 1616108 | 286789 263626 64 | 0.000 % |
167.61/167.69 c | 347277 | 32773 518020 1616108 | 286789 264138 64 | 0.000 % |
168.01/168.01 c | 347789 | 32773 518020 1616108 | 286789 264650 64 | 0.000 % |
168.61/168.69 c | 348818 | 32773 518020 1616108 | 286789 265679 64 | 0.000 % |
170.31/170.39 c | 350866 | 32773 518020 1616108 | 2147483647 267727 64 | 0.000 % |
170.61/170.65 c | 351379 | 32773 518020 1616108 | 2147483647 268240 64 | 0.000 % |
171.01/171.10 c | 351891 | 32773 518020 1616108 | 2147483647 268752 64 | 0.000 % |
171.51/171.61 c | 352915 | 32773 518020 1616108 | 2147483647 269776 64 | 0.000 % |
172.01/172.02 c | 353427 | 32773 518020 1616108 | 2147483647 270288 64 | 0.000 % |
172.21/172.29 c | 353939 | 32773 518020 1616108 | 2147483647 270800 64 | 0.000 % |
173.11/173.11 c | 354963 | 32773 518020 1616108 | 2147483647 271824 64 | 0.000 % |
174.21/174.22 c | 357012 | 32773 518020 1616108 | 2147483647 273873 64 | 0.000 % |
176.51/176.57 c | 361108 | 32773 518020 1616108 | 2147483647 277969 64 | 0.000 % |
180.71/180.80 c | 369300 | 32773 518020 1616108 | 2147483647 286161 64 | 0.000 % |
181.01/181.07 c | 369815 | 32773 518020 1616108 | 2147483647 286676 64 | 0.000 % |
181.41/181.47 c | 370329 | 32773 518020 1616108 | 2147483647 287190 64 | 0.000 % |
181.91/181.98 c | 371353 | 32773 518020 1616108 | 2147483647 288214 64 | 0.000 % |
182.41/182.47 c | 371865 | 32773 518020 1616108 | 2147483647 288726 64 | 0.000 % |
182.81/182.81 c | 372378 | 32773 518020 1616108 | 2147483647 289239 64 | 0.000 % |
183.41/183.46 c | 373403 | 32773 518020 1616108 | 2147483647 290264 64 | 0.000 % |
184.71/184.75 c | 375453 | 32773 518020 1616108 | 2147483647 292314 64 | 0.000 % |
185.11/185.13 c | 375967 | 32773 518020 1616108 | 2147483647 292828 64 | 0.000 % |
185.51/185.55 c | 376479 | 32773 518020 1616108 | 2147483647 293340 64 | 0.000 % |
186.31/186.31 c | 377503 | 32773 518020 1616108 | 2147483647 294364 64 | 0.000 % |
186.51/186.59 c | 378017 | 32773 518020 1616108 | 2147483647 294878 64 | 0.000 % |
187.02/187.07 c | 378529 | 32773 518020 1616108 | 2147483647 295390 64 | 0.000 % |
187.71/187.76 c | 379555 | 32773 518020 1616108 | 2147483647 296416 64 | 0.000 % |
188.91/189.00 c | 381603 | 32773 518020 1616108 | 2147483647 298464 64 | 0.000 % |
191.21/191.24 c | 385700 | 32773 518020 1616108 | 2147483647 302561 65 | 0.000 % |
191.61/191.62 c | 386212 | 32773 518020 1616108 | 2147483647 303073 65 | 0.000 % |
192.01/192.03 c | 386725 | 32773 518020 1616108 | 2147483647 303586 65 | 0.000 % |
192.81/192.80 c | 387750 | 32773 518020 1616108 | 2147483647 304611 65 | 0.000 % |
193.11/193.13 c | 388262 | 32773 518020 1616108 | 2147483647 305123 65 | 0.000 % |
193.41/193.44 c | 388774 | 32773 518020 1616108 | 2147483647 305635 65 | 0.000 % |
194.11/194.11 c | 389799 | 32773 518020 1616108 | 2147483647 306660 65 | 0.000 % |
194.81/194.84 c | 391847 | 32773 518020 1616108 | 2147483647 308708 65 | 0.000 % |
195.11/195.14 c | 392362 | 32773 518020 1616108 | 2147483647 309223 65 | 0.000 % |
195.41/195.43 c | 392874 | 32773 518020 1616108 | 2147483647 309735 65 | 0.000 % |
196.11/196.19 c | 393898 | 32773 518020 1616108 | 2147483647 310759 65 | 0.000 % |
196.51/196.58 c | 394411 | 32773 518020 1616108 | 2147483647 311272 65 | 0.000 % |
196.81/196.87 c | 394923 | 32773 518020 1616108 | 2147483647 311784 65 | 0.000 % |
197.51/197.52 c | 395947 | 32773 518020 1616108 | 2147483647 312808 65 | 0.000 % |
198.91/198.97 c | 397996 | 32773 518020 1616108 | 2147483647 314857 65 | 0.000 % |
201.91/201.96 c | 402092 | 32773 518020 1616108 | 2147483647 318953 65 | 0.000 % |
207.01/207.09 c | 410284 | 32773 518020 1616108 | 2147483647 327145 65 | 0.000 % |
217.12/217.16 c | 426669 | 32773 518020 1616108 | 336861 343530 66 | 0.000 % |
244.32/244.34 c | 459439 | 32773 518020 1616108 | 322981 332419 71 | 0.000 % |
291.53/291.52 c | 524976 | 32773 518020 1616108 | 338839 343815 70 | 0.000 % |
294.83/294.85 c | 525490 | 32773 518020 1616108 | 338839 278534 69 | 0.000 % |
295.32/295.31 c | 526004 | 32773 518020 1616108 | 338839 279048 68 | 0.000 % |
296.42/296.43 c | 527028 | 32773 518020 1616108 | 338839 280072 68 | 0.000 % |
297.12/297.14 c | 527540 | 32773 518020 1616108 | 338839 280584 68 | 0.000 % |
297.72/297.81 c | 528052 | 32773 518020 1616108 | 338839 281096 68 | 0.000 % |
299.12/299.16 c | 529076 | 32773 518020 1616108 | 338839 282120 68 | 0.000 % |
300.52/300.57 c | 531124 | 32773 518020 1616108 | 283044 284168 69 | 0.000 % |
302.72/302.79 c | 531638 | 32773 518020 1616108 | 283044 225203 71 | 0.000 % |
303.12/303.12 c | 532151 | 32773 518020 1616108 | 283044 225716 71 | 0.000 % |
304.12/304.12 c | 533175 | 32773 518020 1616108 | 283044 226740 71 | 0.000 % |
304.42/304.48 c | 533687 | 32773 518020 1616108 | 283044 227252 71 | 0.000 % |
304.92/305.01 c | 534199 | 32773 518020 1616108 | 283044 227764 71 | 0.000 % |
305.72/305.80 c | 535223 | 32773 518020 1616108 | 283044 228788 71 | 0.000 % |
306.93/306.93 c | 537272 | 32773 518020 1616108 | 283044 230837 71 | 0.000 % |
309.62/309.70 c | 541369 | 32773 518020 1616108 | 233565 234934 71 | 0.000 % |
310.52/310.57 c | 541882 | 32773 518020 1616108 | 233565 204786 70 | 0.000 % |
310.82/310.90 c | 542395 | 32773 518020 1616108 | 233565 205299 70 | 0.000 % |
311.92/311.92 c | 543419 | 32773 518020 1616108 | 233565 206323 70 | 0.000 % |
312.12/312.12 c | 543931 | 32773 518020 1616108 | 233565 206835 70 | 0.000 % |
312.52/312.53 c | 544443 | 32773 518020 1616108 | 233565 207347 70 | 0.000 % |
313.22/313.26 c | 545467 | 32773 518020 1616108 | 233565 208371 70 | 0.000 % |
314.63/314.70 c | 547515 | 32773 518020 1616108 | 233565 210419 70 | 0.000 % |
315.22/315.26 c | 548028 | 32773 518020 1616108 | 233565 210932 70 | 0.000 % |
316.02/316.09 c | 548540 | 32773 518020 1616108 | 233565 211444 70 | 0.000 % |
317.12/317.12 c | 549564 | 32773 518020 1616108 | 233565 212468 70 | 0.000 % |
317.52/317.56 c | 550076 | 32773 518020 1616108 | 212904 212980 70 | 0.000 % |
319.12/319.19 c | 550588 | 32773 518020 1616108 | 212904 191360 68 | 0.000 % |
320.42/320.45 c | 551612 | 32773 518020 1616108 | 212904 192384 68 | 0.000 % |
321.92/321.96 c | 553660 | 32773 518020 1616108 | 212904 194432 68 | 0.000 % |
324.22/324.28 c | 557758 | 32773 518020 1616108 | 212904 198530 69 | 0.000 % |
327.92/327.95 c | 565951 | 32773 518020 1616108 | 2147483647 206723 70 | 0.000 % |
328.32/328.37 c | 566463 | 32773 518020 1616108 | 2147483647 207235 70 | 0.000 % |
328.72/328.80 c | 566975 | 32773 518020 1616108 | 2147483647 207747 70 | 0.000 % |
329.42/329.43 c | 568000 | 32773 518020 1616108 | 2147483647 208772 70 | 0.000 % |
329.72/329.78 c | 568512 | 32773 518020 1616108 | 2147483647 209284 69 | 0.000 % |
330.32/330.35 c | 569024 | 32773 518020 1616108 | 2147483647 209796 70 | 0.000 % |
331.22/331.30 c | 570048 | 32773 518020 1616108 | 210772 210820 70 | 0.000 % |
333.82/333.83 c | 572096 | 32773 518020 1616108 | 210772 191669 69 | 0.000 % |
334.43/334.45 c | 572608 | 32773 518020 1616108 | 210772 192181 69 | 0.000 % |
334.92/334.93 c | 573120 | 32773 518020 1616108 | 210772 192693 69 | 0.000 % |
335.62/335.68 c | 574144 | 32773 518020 1616108 | 210772 193717 69 | 0.000 % |
335.92/335.95 c | 574657 | 32773 518020 1616108 | 210772 194230 69 | 0.000 % |
336.42/336.43 c | 575171 | 32773 518020 1616108 | 210772 194744 69 | 0.000 % |
337.13/337.20 c | 576195 | 32773 518020 1616108 | 210772 195768 69 | 0.000 % |
338.53/338.56 c | 578243 | 32773 518020 1616108 | 210772 197816 69 | 0.000 % |
340.73/340.77 c | 582339 | 32773 518020 1616108 | 2147483647 201912 68 | 0.000 % |
341.13/341.17 c | 582851 | 32773 518020 1616108 | 2147483647 202424 68 | 0.000 % |
341.43/341.49 c | 583363 | 32773 518020 1616108 | 2147483647 202936 68 | 0.000 % |
342.23/342.23 c | 584387 | 32773 518020 1616108 | 2147483647 203960 68 | 0.000 % |
342.53/342.52 c | 584899 | 32773 518020 1616108 | 2147483647 204472 68 | 0.000 % |
342.93/342.92 c | 585411 | 32773 518020 1616108 | 2147483647 204984 68 | 0.000 % |
343.73/343.74 c | 586436 | 32773 518020 1616108 | 2147483647 206009 68 | 0.000 % |
345.53/345.55 c | 588484 | 32773 518020 1616108 | 2147483647 208057 68 | 0.000 % |
345.93/345.97 c | 588996 | 32773 518020 1616108 | 2147483647 208569 68 | 0.000 % |
346.43/346.42 c | 589508 | 32773 518020 1616108 | 2147483647 209081 68 | 0.000 % |
347.23/347.29 c | 590532 | 32773 518020 1616108 | 209573 210105 68 | 0.000 % |
349.23/349.23 c | 591045 | 32773 518020 1616108 | 209573 178955 65 | 0.000 % |
349.63/349.62 c | 591557 | 32773 518020 1616108 | 209573 179467 65 | 0.000 % |
350.33/350.38 c | 592581 | 32773 518020 1616108 | 209573 180491 65 | 0.000 % |
352.13/352.17 c | 594631 | 32773 518020 1616108 | 209573 182541 65 | 0.000 % |
355.03/355.06 c | 598727 | 32773 518020 1616108 | 209573 186637 65 | 0.000 % |
359.43/359.50 c | 606919 | 32773 518020 1616108 | 187911 194829 66 | 0.000 % |
371.73/371.76 c | 623303 | 32773 518020 1616108 | 184790 188092 66 | 0.000 % |
373.43/373.46 c | 623815 | 32773 518020 1616108 | 184790 159203 62 | 0.000 % |
373.83/373.84 c | 624328 | 32773 518020 1616108 | 184790 159716 62 | 0.000 % |
374.63/374.62 c | 625353 | 32773 518020 1616108 | 184790 160741 62 | 0.000 % |
374.93/374.96 c | 625865 | 32773 518020 1616108 | 184790 161253 62 | 0.000 % |
375.23/375.28 c | 626377 | 32773 518020 1616108 | 184790 161765 62 | 0.000 % |
375.93/375.98 c | 627401 | 32773 518020 1616108 | 184790 162789 62 | 0.000 % |
377.33/377.37 c | 629449 | 32773 518020 1616108 | 184790 164837 62 | 0.000 % |
377.73/377.79 c | 629962 | 32773 518020 1616108 | 184790 165350 62 | 0.000 % |
378.13/378.19 c | 630474 | 32773 518020 1616108 | 165388 165862 62 | 0.000 % |
380.13/380.15 c | 631498 | 32773 518020 1616108 | 165388 139209 62 | 0.000 % |
380.43/380.51 c | 632011 | 32773 518020 1616108 | 165388 139722 62 | 0.000 % |
380.93/380.96 c | 632524 | 32773 518020 1616108 | 165388 140235 62 | 0.000 % |
381.53/381.54 c | 633550 | 32773 518020 1616108 | 165388 141261 62 | 0.000 % |
382.73/382.73 c | 635598 | 32773 518020 1616108 | 165388 143309 62 | 0.000 % |
385.53/385.59 c | 639695 | 32773 518020 1616108 | 165388 147406 62 | 0.000 % |
385.93/386.01 c | 640209 | 32773 518020 1616108 | 2147483647 147920 62 | 0.000 % |
386.23/386.29 c | 640724 | 32773 518020 1616108 | 2147483647 148435 62 | 0.000 % |
386.83/386.85 c | 641748 | 32773 518020 1616108 | 2147483647 149459 62 | 0.000 % |
387.23/387.25 c | 642260 | 32773 518020 1616108 | 2147483647 149971 62 | 0.000 % |
387.33/387.41 c | 642772 | 32773 518020 1616108 | 2147483647 150483 62 | 0.000 % |
388.23/388.30 c | 643797 | 32773 518020 1616108 | 2147483647 151508 62 | 0.000 % |
389.03/389.07 c | 645846 | 32773 518020 1616108 | 2147483647 153557 62 | 0.000 % |
389.43/389.47 c | 646359 | 32773 518020 1616108 | 2147483647 154070 62 | 0.000 % |
389.83/389.82 c | 646871 | 32773 518020 1616108 | 2147483647 154582 62 | 0.000 % |
390.43/390.45 c | 647895 | 32773 518020 1616108 | 2147483647 155606 62 | 0.000 % |
390.63/390.66 c | 648409 | 32773 518020 1616108 | 2147483647 156120 62 | 0.000 % |
390.83/390.90 c | 648921 | 32773 518020 1616108 | 2147483647 156632 62 | 0.000 % |
391.73/391.77 c | 649945 | 32773 518020 1616108 | 2147483647 157656 62 | 0.000 % |
392.63/392.66 c | 651993 | 32773 518020 1616108 | 2147483647 159704 62 | 0.000 % |
394.43/394.50 c | 656089 | 32773 518020 1616108 | 2147483647 163800 62 | 0.000 % |
397.73/397.72 c | 664283 | 32773 518020 1616108 | 2147483647 171994 66 | 0.000 % |
397.93/397.96 c | 664795 | 32773 518020 1616108 | 2147483647 172506 66 | 0.000 % |
398.23/398.30 c | 665312 | 32773 518020 1616108 | 2147483647 173023 66 | 0.000 % |
398.63/398.63 c | 666336 | 32773 518020 1616108 | 2147483647 174047 66 | 0.000 % |
398.93/398.98 c | 666848 | 32773 518020 1616108 | 2147483647 174559 66 | 0.000 % |
399.33/399.39 c | 667363 | 32773 518020 1616108 | 2147483647 175074 66 | 0.000 % |
399.73/399.77 c | 668387 | 32773 518020 1616108 | 2147483647 176098 66 | 0.000 % |
400.53/400.57 c | 670435 | 32773 518020 1616108 | 2147483647 178146 66 | 0.000 % |
400.73/400.81 c | 670947 | 32773 518020 1616108 | 2147483647 178658 66 | 0.000 % |
401.13/401.12 c | 671461 | 32773 518020 1616108 | 2147483647 179172 66 | 0.000 % |
402.03/402.02 c | 672485 | 32773 518020 1616108 | 2147483647 180196 66 | 0.000 % |
402.23/402.28 c | 672997 | 32773 518020 1616108 | 2147483647 180708 66 | 0.000 % |
402.63/402.66 c | 673509 | 32773 518020 1616108 | 2147483647 181220 66 | 0.000 % |
403.33/403.40 c | 674535 | 32773 518020 1616108 | 2147483647 182246 66 | 0.000 % |
404.93/404.92 c | 676583 | 32773 518020 1616108 | 2147483647 184294 66 | 0.000 % |
408.03/408.03 c | 680679 | 32773 518020 1616108 | 2147483647 188390 66 | 0.000 % |
408.43/408.46 c | 681191 | 32773 518020 1616108 | 2147483647 188902 66 | 0.000 % |
409.03/409.02 c | 681704 | 32773 518020 1616108 | 2147483647 189415 66 | 0.000 % |
409.83/409.83 c | 682730 | 32773 518020 1616108 | 2147483647 190441 66 | 0.000 % |
410.13/410.17 c | 683242 | 32773 518020 1616108 | 2147483647 190953 66 | 0.000 % |
410.53/410.60 c | 683754 | 32773 518020 1616108 | 2147483647 191465 66 | 0.000 % |
411.23/411.24 c | 684779 | 32773 518020 1616108 | 2147483647 192490 66 | 0.000 % |
412.63/412.68 c | 686827 | 32773 518020 1616108 | 2147483647 194538 66 | 0.000 % |
413.03/413.11 c | 687340 | 32773 518020 1616108 | 2147483647 195051 66 | 0.000 % |
413.33/413.36 c | 687852 | 32773 518020 1616108 | 2147483647 195563 66 | 0.000 % |
413.93/413.99 c | 688878 | 32773 518020 1616108 | 2147483647 196589 66 | 0.000 % |
414.33/414.33 c | 689390 | 32773 518020 1616108 | 2147483647 197101 66 | 0.000 % |
414.63/414.68 c | 689904 | 32773 518020 1616108 | 2147483647 197615 65 | 0.000 % |
415.13/415.21 c | 690928 | 32773 518020 1616108 | 2147483647 198639 65 | 0.000 % |
416.33/416.35 c | 692977 | 32773 518020 1616108 | 2147483647 200688 65 | 0.000 % |
419.53/419.52 c | 697073 | 32773 518020 1616108 | 2147483647 204784 65 | 0.000 % |
424.64/424.62 c | 705265 | 32773 518020 1616108 | 207711 212976 66 | 0.000 % |
437.33/437.36 c | 721650 | 32773 518020 1616108 | 195435 197085 65 | 0.000 % |
459.72/459.75 c | 754421 | 32773 518020 1616108 | 202261 206682 66 | 0.000 % |
461.42/461.46 c | 754933 | 32773 518020 1616108 | 202261 176353 66 | 0.000 % |
461.82/461.88 c | 755445 | 32773 518020 1616108 | 202261 176865 66 | 0.000 % |
462.62/462.67 c | 756469 | 32773 518020 1616108 | 202261 177889 66 | 0.000 % |
463.03/463.08 c | 756981 | 32773 518020 1616108 | 202261 178401 66 | 0.000 % |
463.43/463.47 c | 757497 | 32773 518020 1616108 | 202261 178917 66 | 0.000 % |
464.13/464.14 c | 758521 | 32773 518020 1616108 | 202261 179941 66 | 0.000 % |
465.53/465.57 c | 760569 | 32773 518020 1616108 | 181421 181989 67 | 0.000 % |
467.13/467.12 c | 761081 | 32773 518020 1616108 | 181421 161515 67 | 0.000 % |
467.43/467.47 c | 761594 | 32773 518020 1616108 | 181421 162028 67 | 0.000 % |
468.43/468.48 c | 762619 | 32773 518020 1616108 | 181421 163053 67 | 0.000 % |
469.03/469.04 c | 763131 | 32773 518020 1616108 | 181421 163565 67 | 0.000 % |
469.53/469.54 c | 763644 | 32773 518020 1616108 | 181421 164078 67 | 0.000 % |
470.43/470.46 c | 764671 | 32773 518020 1616108 | 181421 165105 67 | 0.000 % |
472.13/472.16 c | 766719 | 32773 518020 1616108 | 181421 167153 67 | 0.000 % |
474.73/474.76 c | 770817 | 32773 518020 1616108 | 170434 171251 66 | 0.000 % |
475.73/475.73 c | 771329 | 32773 518020 1616108 | 170434 151735 66 | 0.000 % |
476.13/476.11 c | 771841 | 32773 518020 1616108 | 170434 152247 66 | 0.000 % |
476.83/476.82 c | 772867 | 32773 518020 1616108 | 170434 153273 66 | 0.000 % |
477.13/477.14 c | 773380 | 32773 518020 1616108 | 170434 153786 66 | 0.000 % |
477.43/477.51 c | 773892 | 32773 518020 1616108 | 170434 154298 66 | 0.000 % |
478.03/478.06 c | 774916 | 32773 518020 1616108 | 170434 155322 66 | 0.000 % |
479.33/479.34 c | 776965 | 32773 518020 1616108 | 170434 157371 66 | 0.000 % |
479.73/479.73 c | 777478 | 32773 518020 1616108 | 170434 157884 66 | 0.000 % |
479.93/479.97 c | 777990 | 32773 518020 1616108 | 170434 158396 66 | 0.000 % |
480.73/480.77 c | 779014 | 32773 518020 1616108 | 170434 159420 66 | 0.000 % |
481.23/481.22 c | 779526 | 32773 518020 1616108 | 170434 159932 66 | 0.000 % |
481.73/481.75 c | 780038 | 32773 518020 1616108 | 2147483647 160444 66 | 0.000 % |
482.53/482.60 c | 781063 | 32773 518020 1616108 | 2147483647 161469 66 | 0.000 % |
484.33/484.40 c | 783111 | 32773 518020 1616108 | 2147483647 163517 65 | 0.000 % |
486.73/486.79 c | 787207 | 32773 518020 1616108 | 2147483647 167613 66 | 0.000 % |
490.43/490.45 c | 795399 | 32773 518020 1616108 | 2147483647 175805 67 | 0.000 % |
490.53/490.59 c | 795911 | 32773 518020 1616108 | 2147483647 176317 67 | 0.000 % |
491.03/491.03 c | 796424 | 32773 518020 1616108 | 2147483647 176830 67 | 0.000 % |
491.53/491.53 c | 797448 | 32773 518020 1616108 | 2147483647 177854 67 | 0.000 % |
491.63/491.69 c | 797960 | 32773 518020 1616108 | 2147483647 178366 67 | 0.000 % |
491.93/491.97 c | 798473 | 32773 518020 1616108 | 2147483647 178879 67 | 0.000 % |
492.53/492.60 c | 799498 | 32773 518020 1616108 | 2147483647 179904 67 | 0.000 % |
493.33/493.37 c | 801549 | 32773 518020 1616108 | 2147483647 181955 67 | 0.000 % |
494.03/494.03 c | 802061 | 32773 518020 1616108 | 2147483647 182467 67 | 0.000 % |
494.53/494.54 c | 802573 | 32773 518020 1616108 | 2147483647 182979 66 | 0.000 % |
495.23/495.22 c | 803597 | 32773 518020 1616108 | 2147483647 184003 66 | 0.000 % |
495.63/495.65 c | 804109 | 32773 518020 1616108 | 2147483647 184515 66 | 0.000 % |
495.93/495.99 c | 804621 | 32773 518020 1616108 | 2147483647 185027 66 | 0.000 % |
496.53/496.56 c | 805645 | 32773 518020 1616108 | 2147483647 186051 66 | 0.000 % |
497.33/497.34 c | 807696 | 32773 518020 1616108 | 2147483647 188102 66 | 0.000 % |
499.53/499.53 c | 811792 | 32773 518020 1616108 | 2147483647 192198 66 | 0.000 % |
499.83/499.84 c | 812305 | 32773 518020 1616108 | 2147483647 192711 66 | 0.000 % |
500.03/500.05 c | 812817 | 32773 518020 1616108 | 2147483647 193223 66 | 0.000 % |
500.63/500.62 c | 813841 | 32773 518020 1616108 | 2147483647 194247 66 | 0.000 % |
500.83/500.89 c | 814354 | 32773 518020 1616108 | 2147483647 194760 66 | 0.000 % |
501.23/501.23 c | 814866 | 32773 518020 1616108 | 2147483647 195272 66 | 0.000 % |
501.63/501.68 c | 815891 | 32773 518020 1616108 | 2147483647 196297 65 | 0.000 % |
502.53/502.51 c | 817939 | 32773 518020 1616108 | 2147483647 198345 65 | 0.000 % |
502.73/502.71 c | 818452 | 32773 518020 1616108 | 2147483647 198858 65 | 0.000 % |
503.13/503.14 c | 818967 | 32773 518020 1616108 | 2147483647 199373 65 | 0.000 % |
503.83/503.90 c | 819991 | 32773 518020 1616108 | 2147483647 200397 65 | 0.000 % |
504.13/504.15 c | 820503 | 32773 518020 1616108 | 2147483647 200909 65 | 0.000 % |
504.83/504.89 c | 821015 | 32773 518020 1616108 | 2147483647 201421 65 | 0.000 % |
505.83/505.87 c | 822039 | 32773 518020 1616108 | 2147483647 202445 66 | 0.000 % |
507.23/507.24 c | 824087 | 32773 518020 1616108 | 2147483647 204493 66 | 0.000 % |
510.13/510.14 c | 828183 | 32773 518020 1616108 | 2147483647 208589 66 | 0.000 % |
514.13/514.16 c | 836375 | 32773 518020 1616108 | 2147483647 216781 66 | 0.000 % |
523.73/523.78 c | 852760 | 32773 518020 1616108 | 230406 233166 68 | 0.000 % |
525.73/525.79 c | 853273 | 32773 518020 1616108 | 230406 198113 68 | 0.000 % |
526.03/526.10 c | 853785 | 32773 518020 1616108 | 230406 198625 68 | 0.000 % |
526.73/526.73 c | 854809 | 32773 518020 1616108 | 230406 199649 68 | 0.000 % |
527.03/527.10 c | 855321 | 32773 518020 1616108 | 230406 200161 68 | 0.000 % |
527.43/527.44 c | 855833 | 32773 518020 1616108 | 230406 200673 68 | 0.000 % |
528.13/528.13 c | 856857 | 32773 518020 1616108 | 230406 201697 68 | 0.000 % |
529.53/529.54 c | 858907 | 32773 518020 1616108 | 230406 203747 68 | 0.000 % |
529.93/529.95 c | 859419 | 32773 518020 1616108 | 230406 204259 68 | 0.000 % |
530.33/530.38 c | 859931 | 32773 518020 1616108 | 230406 204771 68 | 0.000 % |
531.13/531.16 c | 860956 | 32773 518020 1616108 | 204841 205796 68 | 0.000 % |
532.03/532.03 c | 861468 | 32773 518020 1616108 | 204841 177929 67 | 0.000 % |
532.43/532.47 c | 861981 | 32773 518020 1616108 | 204841 178442 67 | 0.000 % |
532.93/532.99 c | 863005 | 32773 518020 1616108 | 204841 179466 67 | 0.000 % |
534.23/534.21 c | 865053 | 32773 518020 1616108 | 204841 181514 67 | 0.000 % |
536.84/536.83 c | 869151 | 32773 518020 1616108 | 204841 185612 68 | 0.000 % |
537.33/537.33 c | 869664 | 32773 518020 1616108 | 204841 186125 68 | 0.000 % |
537.63/537.64 c | 870176 | 32773 518020 1616108 | 186462 186637 68 | 0.000 % |
539.04/539.04 c | 871200 | 32773 518020 1616108 | 186462 164184 63 | 0.000 % |
539.33/539.35 c | 871712 | 32773 518020 1616108 | 186462 164696 63 | 0.000 % |
539.63/539.62 c | 872224 | 32773 518020 1616108 | 186462 165208 63 | 0.000 % |
540.23/540.22 c | 873248 | 32773 518020 1616108 | 186462 166232 63 | 0.000 % |
541.63/541.65 c | 875297 | 32773 518020 1616108 | 186462 168281 63 | 0.000 % |
542.03/542.10 c | 875809 | 32773 518020 1616108 | 186462 168793 63 | 0.000 % |
542.53/542.55 c | 876323 | 32773 518020 1616108 | 186462 169307 63 | 0.000 % |
543.13/543.17 c | 877347 | 32773 518020 1616108 | 186462 170331 63 | 0.000 % |
543.53/543.57 c | 877861 | 32773 518020 1616108 | 186462 170845 63 | 0.000 % |
543.83/543.89 c | 878373 | 32773 518020 1616108 | 186462 171357 63 | 0.000 % |
544.54/544.57 c | 879398 | 32773 518020 1616108 | 186462 172382 63 | 0.000 % |
545.83/545.88 c | 881446 | 32773 518020 1616108 | 172984 174430 62 | 0.000 % |
548.43/548.48 c | 885542 | 32773 518020 1616108 | 172984 158093 62 | 0.000 % |
554.33/554.32 c | 893735 | 32773 518020 1616108 | 2147483647 166286 72 | 0.000 % |
554.73/554.72 c | 894248 | 32773 518020 1616108 | 2147483647 166799 72 | 0.000 % |
555.03/555.04 c | 894761 | 32773 518020 1616108 | 2147483647 167312 72 | 0.000 % |
555.63/555.61 c | 895785 | 32773 518020 1616108 | 2147483647 168336 72 | 0.000 % |
555.83/555.83 c | 896297 | 32773 518020 1616108 | 2147483647 168848 72 | 0.000 % |
556.03/556.08 c | 896809 | 32773 518020 1616108 | 2147483647 169360 71 | 0.000 % |
556.64/556.65 c | 897833 | 32773 518020 1616108 | 2147483647 170384 71 | 0.000 % |
557.74/557.72 c | 899882 | 32773 518020 1616108 | 2147483647 172433 71 | 0.000 % |
558.03/558.03 c | 900395 | 32773 518020 1616108 | 2147483647 172946 71 | 0.000 % |
558.23/558.30 c | 900908 | 32773 518020 1616108 | 2147483647 173459 71 | 0.000 % |
558.84/558.86 c | 901932 | 32773 518020 1616108 | 2147483647 174483 71 | 0.000 % |
559.23/559.25 c | 902444 | 32773 518020 1616108 | 2147483647 174995 71 | 0.000 % |
559.73/559.77 c | 902958 | 32773 518020 1616108 | 2147483647 175509 71 | 0.000 % |
560.13/560.15 c | 903983 | 32773 518020 1616108 | 2147483647 176534 71 | 0.000 % |
561.33/561.35 c | 906031 | 32773 518020 1616108 | 2147483647 178582 70 | 0.000 % |
563.63/563.66 c | 910128 | 32773 518020 1616108 | 2147483647 182679 71 | 0.000 % |
563.93/563.92 c | 910642 | 32773 518020 1616108 | 2147483647 183193 71 | 0.000 % |
564.13/564.14 c | 911154 | 32773 518020 1616108 | 2147483647 183705 71 | 0.000 % |
564.63/564.70 c | 912179 | 32773 518020 1616108 | 2147483647 184730 71 | 0.000 % |
565.03/565.03 c | 912691 | 32773 518020 1616108 | 2147483647 185242 71 | 0.000 % |
565.23/565.29 c | 913203 | 32773 518020 1616108 | 2147483647 185754 71 | 0.000 % |
565.83/565.80 c | 914228 | 32773 518020 1616108 | 2147483647 186779 71 | 0.000 % |
566.73/566.78 c | 916276 | 32773 518020 1616108 | 2147483647 188827 71 | 0.000 % |
567.03/567.05 c | 916788 | 32773 518020 1616108 | 2147483647 189339 71 | 0.000 % |
567.33/567.39 c | 917302 | 32773 518020 1616108 | 2147483647 189853 71 | 0.000 % |
567.93/567.97 c | 918327 | 32773 518020 1616108 | 2147483647 190878 70 | 0.000 % |
568.63/568.64 c | 918839 | 32773 518020 1616108 | 2147483647 191390 70 | 0.000 % |
569.03/569.10 c | 919351 | 32773 518020 1616108 | 2147483647 191902 70 | 0.000 % |
569.93/569.91 c | 920376 | 32773 518020 1616108 | 2147483647 192927 70 | 0.000 % |
571.33/571.33 c | 922424 | 32773 518020 1616108 | 2147483647 194975 70 | 0.000 % |
573.53/573.51 c | 926521 | 32773 518020 1616108 | 2147483647 199072 69 | 0.000 % |
579.43/579.44 c | 934713 | 32773 518020 1616108 | 202552 207264 70 | 0.000 % |
591.04/591.07 c | 951097 | 32773 518020 1616108 | 179414 180511 72 | 0.000 % |
614.84/614.84 c | 983865 | 32773 518020 1616108 | 170740 174604 80 | 0.000 % |
661.64/661.70 c | 1049402 | 32773 518020 1616108 | 186988 196390 78 | 0.000 % |
775.95/776.00 c | 1180474 | 32773 518020 1616108 | 210756 211230 64 | 0.000 % |
778.85/778.86 c | 1180986 | 32773 518020 1616108 | 210756 158388 61 | 0.000 % |
779.25/779.27 c | 1181498 | 32773 518020 1616108 | 210756 158900 61 | 0.000 % |
780.25/780.24 c | 1182522 | 32773 518020 1616108 | 210756 159924 61 | 0.000 % |
780.75/780.81 c | 1183034 | 32773 518020 1616108 | 210756 160436 61 | 0.000 % |
781.45/781.46 c | 1183546 | 32773 518020 1616108 | 210756 160948 61 | 0.000 % |
782.25/782.27 c | 1184572 | 32773 518020 1616108 | 210756 161974 61 | 0.000 % |
783.45/783.50 c | 1186620 | 32773 518020 1616108 | 210756 164022 61 | 0.000 % |
783.85/783.84 c | 1187132 | 32773 518020 1616108 | 210756 164534 61 | 0.000 % |
784.25/784.24 c | 1187645 | 32773 518020 1616108 | 210756 165047 61 | 0.000 % |
785.25/785.21 c | 1188669 | 32773 518020 1616108 | 210756 166071 61 | 0.000 % |
785.55/785.54 c | 1189183 | 32773 518020 1616108 | 210756 166585 61 | 0.000 % |
785.75/785.81 c | 1189696 | 32773 518020 1616108 | 210756 167098 61 | 0.000 % |
786.25/786.25 c | 1190720 | 32773 518020 1616108 | 167402 168122 61 | 0.000 % |
790.85/790.86 c | 1192768 | 32773 518020 1616108 | 167402 146339 59 | 0.000 % |
794.26/794.23 c | 1196864 | 32773 518020 1616108 | 167402 150435 59 | 0.000 % |
794.65/794.68 c | 1197377 | 32773 518020 1616108 | 167402 150948 59 | 0.000 % |
795.05/795.06 c | 1197889 | 32773 518020 1616108 | 167402 151460 59 | 0.000 % |
795.75/795.79 c | 1198914 | 32773 518020 1616108 | 167402 152485 59 | 0.000 % |
796.05/796.10 c | 1199426 | 32773 518020 1616108 | 167402 152997 59 | 0.000 % |
796.46/796.49 c | 1199939 | 32773 518020 1616108 | 167402 153510 58 | 0.000 % |
797.05/797.07 c | 1200964 | 32773 518020 1616108 | 153571 154535 58 | 0.000 % |
799.25/799.27 c | 1203013 | 32773 518020 1616108 | 153571 140811 58 | 0.000 % |
799.76/799.72 c | 1203525 | 32773 518020 1616108 | 153571 141323 58 | 0.000 % |
800.24/800.23 c | 1204037 | 32773 518020 1616108 | 153571 141835 58 | 0.000 % |
801.14/801.19 c | 1205061 | 32773 518020 1616108 | 153571 142859 58 | 0.001 % |
801.74/801.72 c | 1205576 | 32773 518020 1616108 | 153571 143374 58 | 0.000 % |
802.24/802.24 c | 1206088 | 32773 518020 1616108 | 153571 143886 58 | 0.000 % |
803.24/803.23 c | 1207112 | 32773 518020 1616108 | 153571 144910 58 | 0.000 % |
804.24/804.28 c | 1209161 | 32773 518020 1616108 | 153571 146959 58 | 0.000 % |
807.04/807.01 c | 1213259 | 32773 518020 1616108 | 2147483647 151057 58 | 0.000 % |
810.54/810.59 c | 1221451 | 32773 518020 1616108 | 2147483647 159249 59 | 0.000 % |
810.75/810.71 c | 1221963 | 32773 518020 1616108 | 2147483647 159761 59 | 0.001 % |
810.94/810.98 c | 1222475 | 32773 518020 1616108 | 2147483647 160273 59 | 0.000 % |
811.64/811.62 c | 1223502 | 32773 518020 1616108 | 2147483647 161300 59 | 0.001 % |
812.24/812.29 c | 1224014 | 32773 518020 1616108 | 2147483647 161812 59 | 0.001 % |
812.74/812.73 c | 1224526 | 32773 518020 1616108 | 2147483647 162324 59 | 0.000 % |
813.54/813.55 c | 1225550 | 32773 518020 1616108 | 2147483647 163348 59 | 0.000 % |
814.74/814.78 c | 1227598 | 32773 518020 1616108 | 2147483647 165396 59 | 0.001 % |
815.44/815.47 c | 1228110 | 32773 518020 1616108 | 2147483647 165908 59 | 0.001 % |
816.04/816.05 c | 1228622 | 32773 518020 1616108 | 2147483647 166420 59 | 0.000 % |
816.84/816.84 c | 1229646 | 32773 518020 1616108 | 2147483647 167444 59 | 0.000 % |
817.14/817.16 c | 1230158 | 32773 518020 1616108 | 2147483647 167956 59 | 0.000 % |
817.44/817.43 c | 1230670 | 32773 518020 1616108 | 2147483647 168468 59 | 0.001 % |
818.14/818.14 c | 1231695 | 32773 518020 1616108 | 2147483647 169493 59 | 0.000 % |
819.24/819.26 c | 1233744 | 32773 518020 1616108 | 2147483647 171542 59 | 0.000 % |
821.84/821.88 c | 1237840 | 32773 518020 1616108 | 2147483647 175638 59 | 0.001 % |
822.14/822.12 c | 1238353 | 32773 518020 1616108 | 2147483647 176151 59 | 0.000 % |
822.64/822.61 c | 1238866 | 32773 518020 1616108 | 2147483647 176664 59 | 0.001 % |
823.44/823.42 c | 1239890 | 32773 518020 1616108 | 2147483647 177688 59 | 0.000 % |
823.84/823.81 c | 1240403 | 32773 518020 1616108 | 2147483647 178201 59 | 0.000 % |
824.14/824.14 c | 1240919 | 32773 518020 1616108 | 2147483647 178717 59 | 0.001 % |
824.74/824.74 c | 1241943 | 32773 518020 1616108 | 2147483647 179741 59 | 0.001 % |
826.54/826.53 c | 1243991 | 32773 518020 1616108 | 2147483647 181789 59 | 0.001 % |
827.04/827.02 c | 1244504 | 32773 518020 1616108 | 2147483647 182302 59 | 0.001 % |
827.54/827.56 c | 1245016 | 32773 518020 1616108 | 2147483647 182814 59 | 0.001 % |
828.64/828.67 c | 1246040 | 32773 518020 1616108 | 2147483647 183838 58 | 0.001 % |
829.14/829.10 c | 1246552 | 32773 518020 1616108 | 2147483647 184350 59 | 0.001 % |
829.74/829.71 c | 1247064 | 32773 518020 1616108 | 2147483647 184862 58 | 0.000 % |
830.55/830.54 c | 1248090 | 32773 518020 1616108 | 2147483647 185888 58 | 0.001 % |
831.74/831.71 c | 1250141 | 32773 518020 1616108 | 187798 187939 59 | 0.000 % |
835.04/835.09 c | 1254239 | 32773 518020 1616108 | 187798 170412 58 | 0.000 % |
837.94/837.94 c | 1262431 | 32773 518020 1616108 | 2147483647 178604 58 | 0.000 % |
844.15/844.14 c | 1278815 | 32773 518020 1616108 | 2147483647 194988 58 | 0.000 % |
844.65/844.70 c | 1279328 | 32773 518020 1616108 | 2147483647 195501 58 | 0.000 % |
845.05/845.10 c | 1279840 | 32773 518020 1616108 | 2147483647 196013 58 | 0.000 % |
845.35/845.37 c | 1280864 | 32773 518020 1616108 | 2147483647 197037 58 | 0.000 % |
845.95/845.96 c | 1281378 | 32773 518020 1616108 | 2147483647 197551 58 | 0.000 % |
846.25/846.22 c | 1281890 | 32773 518020 1616108 | 2147483647 198063 58 | 0.000 % |
846.85/846.84 c | 1282914 | 32773 518020 1616108 | 2147483647 199087 58 | 0.000 % |
848.45/848.46 c | 1284963 | 32773 518020 1616108 | 2147483647 201136 59 | 0.000 % |
848.65/848.65 c | 1285476 | 32773 518020 1616108 | 2147483647 201649 59 | 0.000 % |
848.95/848.97 c | 1285988 | 32773 518020 1616108 | 2147483647 202161 59 | 0.000 % |
849.35/849.39 c | 1287018 | 32773 518020 1616108 | 2147483647 203191 59 | 0.000 % |
849.75/849.76 c | 1287530 | 32773 518020 1616108 | 2147483647 203703 59 | 0.000 % |
850.25/850.22 c | 1288045 | 32773 518020 1616108 | 2147483647 204218 58 | 0.000 % |
850.75/850.74 c | 1289070 | 32773 518020 1616108 | 2147483647 205243 59 | 0.000 % |
852.15/852.12 c | 1291118 | 32773 518020 1616108 | 2147483647 207291 59 | 0.000 % |
854.65/854.68 c | 1295214 | 32773 518020 1616108 | 2147483647 211387 59 | 0.000 % |
854.95/855.00 c | 1295726 | 32773 518020 1616108 | 2147483647 211899 59 | 0.000 % |
855.35/855.31 c | 1296238 | 32773 518020 1616108 | 2147483647 212411 59 | 0.001 % |
855.75/855.75 c | 1297263 | 32773 518020 1616108 | 2147483647 213436 59 | 0.000 % |
855.95/855.97 c | 1297778 | 32773 518020 1616108 | 2147483647 213951 59 | 0.001 % |
856.25/856.26 c | 1298293 | 32773 518020 1616108 | 2147483647 214466 59 | 0.000 % |
856.65/856.70 c | 1299317 | 32773 518020 1616108 | 2147483647 215490 59 | 0.001 % |
857.55/857.58 c | 1301367 | 32773 518020 1616108 | 2147483647 217540 59 | 0.000 % |
857.95/857.92 c | 1301879 | 32773 518020 1616108 | 2147483647 218052 59 | 0.001 % |
858.15/858.20 c | 1302393 | 32773 518020 1616108 | 2147483647 218566 59 | 0.001 % |
858.95/859.00 c | 1303418 | 32773 518020 1616108 | 2147483647 219591 59 | 0.001 % |
859.25/859.29 c | 1303930 | 32773 518020 1616108 | 2147483647 220103 59 | 0.000 % |
859.95/859.92 c | 1304442 | 32773 518020 1616108 | 2147483647 220615 59 | 0.000 % |
860.55/860.54 c | 1305466 | 32773 518020 1616108 | 2147483647 221639 59 | 0.000 % |
861.55/861.51 c | 1307517 | 32773 518020 1616108 | 2147483647 223690 59 | 0.000 % |
864.05/864.05 c | 1311613 | 32773 518020 1616108 | 2147483647 227786 60 | 0.000 % |
868.95/868.97 c | 1319806 | 32773 518020 1616108 | 2147483647 235979 61 | 0.000 % |
869.35/869.38 c | 1320319 | 32773 518020 1616108 | 2147483647 236492 61 | 0.001 % |
869.75/869.75 c | 1320832 | 32773 518020 1616108 | 2147483647 237005 61 | 0.000 % |
870.45/870.45 c | 1321856 | 32773 518020 1616108 | 2147483647 238029 61 | 0.001 % |
870.75/870.75 c | 1322368 | 32773 518020 1616108 | 2147483647 238541 61 | 0.001 % |
871.05/871.08 c | 1322880 | 32773 518020 1616108 | 2147483647 239053 61 | 0.001 % |
871.65/871.67 c | 1323905 | 32773 518020 1616108 | 2147483647 240078 61 | 0.001 % |
873.35/873.38 c | 1325954 | 32773 518020 1616108 | 2147483647 242127 61 | 0.001 % |
873.95/873.98 c | 1326466 | 32773 518020 1616108 | 2147483647 242639 61 | 0.001 % |
874.25/874.30 c | 1326978 | 32773 518020 1616108 | 2147483647 243151 61 | 0.001 % |
875.15/875.15 c | 1328003 | 32773 518020 1616108 | 2147483647 244176 61 | 0.001 % |
875.95/875.93 c | 1328515 | 32773 518020 1616108 | 2147483647 244688 60 | 0.000 % |
876.55/876.53 c | 1329028 | 32773 518020 1616108 | 2147483647 245201 61 | 0.000 % |
877.85/877.82 c | 1330054 | 32773 518020 1616108 | 246174 246227 60 | 0.000 % |
882.05/882.04 c | 1332103 | 32773 518020 1616108 | 246174 216927 61 | 0.000 % |
885.35/885.35 c | 1336200 | 32773 518020 1616108 | 246174 221024 61 | 0.001 % |
885.65/885.67 c | 1336715 | 32773 518020 1616108 | 246174 221539 61 | 0.001 % |
886.05/886.07 c | 1337228 | 32773 518020 1616108 | 246174 222052 61 | 0.001 % |
886.85/886.83 c | 1338253 | 32773 518020 1616108 | 246174 223077 61 | 0.001 % |
887.25/887.21 c | 1338765 | 32773 518020 1616108 | 246174 223589 61 | 0.001 % |
887.55/887.52 c | 1339278 | 32773 518020 1616108 | 246174 224102 61 | 0.001 % |
888.25/888.30 c | 1340304 | 32773 518020 1616108 | 224825 225128 61 | 0.001 % |
891.45/891.49 c | 1342352 | 32773 518020 1616108 | 224825 191992 60 | 0.000 % |
891.75/891.78 c | 1342864 | 32773 518020 1616108 | 224825 192504 60 | 0.000 % |
892.05/892.03 c | 1343376 | 32773 518020 1616108 | 224825 193016 60 | 0.000 % |
892.65/892.66 c | 1344400 | 32773 518020 1616108 | 224825 194040 60 | 0.001 % |
893.05/893.04 c | 1344912 | 32773 518020 1616108 | 224825 194552 60 | 0.000 % |
893.35/893.35 c | 1345424 | 32773 518020 1616108 | 224825 195064 60 | 0.000 % |
894.05/894.06 c | 1346448 | 32773 518020 1616108 | 224825 196088 60 | 0.001 % |
895.35/895.31 c | 1348496 | 32773 518020 1616108 | 224825 198136 60 | 0.000 % |
897.75/897.74 c | 1352592 | 32773 518020 1616108 | 199641 202232 59 | 0.001 % |
903.35/903.31 c | 1360784 | 32773 518020 1616108 | 2147483647 190199 61 | 0.000 % |
912.65/912.66 c | 1377168 | 32773 518020 1616108 | 2147483647 206583 66 | 0.000 % |
933.05/933.01 c | 1409936 | 32773 518020 1616108 | 229415 239351 64 | 0.000 % |
935.45/935.46 c | 1410449 | 32773 518020 1616108 | 211495 211942 64 | 0.000 % |
937.35/937.35 c | 1410962 | 32773 518020 1616108 | 211495 188290 64 | 0.000 % |
938.15/938.14 c | 1411986 | 32773 518020 1616108 | 211495 189314 64 | 0.001 % |
938.65/938.68 c | 1412498 | 32773 518020 1616108 | 211495 189826 64 | 0.000 % |
939.05/939.04 c | 1413010 | 32773 518020 1616108 | 211495 190338 64 | 0.001 % |
939.95/939.91 c | 1414034 | 32773 518020 1616108 | 211495 191362 64 | 0.001 % |
941.55/941.59 c | 1416086 | 32773 518020 1616108 | 211495 193414 64 | 0.001 % |
941.95/941.95 c | 1416598 | 32773 518020 1616108 | 211495 193926 64 | 0.000 % |
942.65/942.69 c | 1417111 | 32773 518020 1616108 | 211495 194439 64 | 0.000 % |
943.35/943.37 c | 1418137 | 32773 518020 1616108 | 211495 195465 64 | 0.000 % |
943.65/943.66 c | 1418649 | 32773 518020 1616108 | 211495 195977 64 | 0.000 % |
944.05/944.08 c | 1419161 | 32773 518020 1616108 | 211495 196489 64 | 0.000 % |
944.65/944.66 c | 1420185 | 32773 518020 1616108 | 197331 197513 64 | 0.000 % |
946.35/946.30 c | 1422233 | 32773 518020 1616108 | 197331 179810 64 | 0.000 % |
947.65/947.60 c | 1426331 | 32773 518020 1616108 | 197331 183908 64 | 0.000 % |
947.95/947.95 c | 1426845 | 32773 518020 1616108 | 197331 184422 64 | 0.000 % |
948.55/948.54 c | 1427358 | 32773 518020 1616108 | 197331 184935 64 | 0.000 % |
948.85/948.86 c | 1428383 | 32773 518020 1616108 | 197331 185960 64 | 0.000 % |
949.15/949.18 c | 1428896 | 32773 518020 1616108 | 197331 186473 64 | 0.000 % |
949.55/949.58 c | 1429408 | 32773 518020 1616108 | 197331 186985 64 | 0.000 % |
950.15/950.19 c | 1430437 | 32773 518020 1616108 | 2147483647 188014 64 | 0.000 % |
951.35/951.31 c | 1432487 | 32773 518020 1616108 | 2147483647 190064 64 | 0.000 % |
951.56/951.55 c | 1433000 | 32773 518020 1616108 | 2147483647 190577 64 | 0.000 % |
952.05/952.03 c | 1433513 | 32773 518020 1616108 | 2147483647 191090 64 | 0.000 % |
952.75/952.76 c | 1434538 | 32773 518020 1616108 | 2147483647 192115 64 | 0.000 % |
953.35/953.31 c | 1435054 | 32773 518020 1616108 | 2147483647 192631 64 | 0.000 % |
953.85/953.85 c | 1435568 | 32773 518020 1616108 | 2147483647 193145 64 | 0.000 % |
954.65/954.65 c | 1436592 | 32773 518020 1616108 | 2147483647 194169 64 | 0.000 % |
956.55/956.57 c | 1438640 | 32773 518020 1616108 | 2147483647 196217 65 | 0.000 % |
959.45/959.47 c | 1442736 | 32773 518020 1616108 | 2147483647 200313 65 | 0.000 % |
964.85/964.90 c | 1450929 | 32773 518020 1616108 | 207577 208506 64 | 0.001 % |
967.46/967.43 c | 1451443 | 32773 518020 1616108 | 207577 181762 63 | 0.000 % |
967.76/967.73 c | 1451956 | 32773 518020 1616108 | 207577 182275 63 | 0.001 % |
968.36/968.41 c | 1452984 | 32773 518020 1616108 | 207577 183303 63 | 0.001 % |
968.86/968.81 c | 1453496 | 32773 518020 1616108 | 207577 183815 63 | 0.001 % |
969.26/969.21 c | 1454010 | 32773 518020 1616108 | 207577 184329 63 | 0.001 % |
969.96/969.92 c | 1455034 | 32773 518020 1616108 | 207577 185353 63 | 0.000 % |
971.66/971.65 c | 1457082 | 32773 518020 1616108 | 207577 187401 63 | 0.001 % |
971.96/971.99 c | 1457594 | 32773 518020 1616108 | 207577 187913 63 | 0.001 % |
972.56/972.57 c | 1458106 | 32773 518020 1616108 | 207577 188425 63 | 0.001 % |
973.06/973.08 c | 1459130 | 32773 518020 1616108 | 207577 189449 63 | 0.001 % |
973.56/973.55 c | 1459642 | 32773 518020 1616108 | 207577 189961 63 | 0.000 % |
973.76/973.80 c | 1460154 | 32773 518020 1616108 | 2147483647 190473 63 | 0.000 % |
974.36/974.41 c | 1461178 | 32773 518020 1616108 | 2147483647 191497 63 | 0.000 % |
975.66/975.65 c | 1463228 | 32773 518020 1616108 | 2147483647 193547 63 | 0.000 % |
977.96/978.00 c | 1467326 | 32773 518020 1616108 | 2147483647 197645 62 | 0.001 % |
978.26/978.25 c | 1467840 | 32773 518020 1616108 | 2147483647 198159 62 | 0.001 % |
978.56/978.59 c | 1468352 | 32773 518020 1616108 | 2147483647 198671 62 | 0.001 % |
979.36/979.34 c | 1469376 | 32773 518020 1616108 | 2147483647 199695 62 | 0.001 % |
979.66/979.69 c | 1469890 | 32773 518020 1616108 | 2147483647 200209 62 | 0.000 % |
980.16/980.12 c | 1470403 | 32773 518020 1616108 | 2147483647 200722 62 | 0.001 % |
980.86/980.91 c | 1471427 | 32773 518020 1616108 | 2147483647 201746 62 | 0.000 % |
982.26/982.29 c | 1473475 | 32773 518020 1616108 | 2147483647 203794 62 | 0.000 % |
982.76/982.74 c | 1473988 | 32773 518020 1616108 | 2147483647 204307 62 | 0.001 % |
983.06/983.03 c | 1474500 | 32773 518020 1616108 | 2147483647 204819 62 | 0.001 % |
984.16/984.11 c | 1475527 | 32773 518020 1616108 | 2147483647 205846 62 | 0.000 % |
984.56/984.59 c | 1476039 | 32773 518020 1616108 | 2147483647 206358 62 | 0.000 % |
985.06/985.05 c | 1476552 | 32773 518020 1616108 | 2147483647 206871 62 | 0.001 % |
985.76/985.76 c | 1477576 | 32773 518020 1616108 | 2147483647 207895 62 | 0.000 % |
987.46/987.41 c | 1479624 | 32773 518020 1616108 | 2147483647 209943 62 | 0.000 % |
989.46/989.49 c | 1483721 | 32773 518020 1616108 | 2147483647 214040 63 | 0.000 % |
994.16/994.18 c | 1491915 | 32773 518020 1616108 | 2147483647 222234 64 | 0.000 % |
1001.66/1001.71 c | 1508300 | 32773 518020 1616108 | 2147483647 238619 68 | 0.000 % |
1002.06/1002.03 c | 1508813 | 32773 518020 1616108 | 2147483647 239132 68 | 0.000 % |
1002.36/1002.39 c | 1509325 | 32773 518020 1616108 | 2147483647 239644 68 | 0.000 % |
1002.96/1003.00 c | 1510349 | 32773 518020 1616108 | 2147483647 240668 68 | 0.000 % |
1003.36/1003.39 c | 1510862 | 32773 518020 1616108 | 2147483647 241181 68 | 0.000 % |
1003.96/1003.93 c | 1511375 | 32773 518020 1616108 | 2147483647 241694 68 | 0.000 % |
1004.86/1004.88 c | 1512401 | 32773 518020 1616108 | 2147483647 242720 68 | 0.000 % |
1006.06/1006.06 c | 1514449 | 32773 518020 1616108 | 2147483647 244768 68 | 0.000 % |
1006.56/1006.55 c | 1514962 | 32773 518020 1616108 | 2147483647 245281 68 | 0.000 % |
1006.86/1006.90 c | 1515474 | 32773 518020 1616108 | 2147483647 245793 68 | 0.000 % |
1007.66/1007.67 c | 1516499 | 32773 518020 1616108 | 2147483647 246818 68 | 0.000 % |
1008.06/1008.05 c | 1517011 | 32773 518020 1616108 | 2147483647 247330 68 | 0.000 % |
1008.66/1008.67 c | 1517523 | 32773 518020 1616108 | 2147483647 247842 68 | 0.000 % |
1009.66/1009.68 c | 1518549 | 32773 518020 1616108 | 2147483647 248868 68 | 0.000 % |
1011.26/1011.22 c | 1520597 | 32773 518020 1616108 | 250319 250916 68 | 0.000 % |
1015.76/1015.75 c | 1524695 | 32773 518020 1616108 | 250319 226806 64 | 0.000 % |
1016.16/1016.11 c | 1525207 | 32773 518020 1616108 | 250319 227318 64 | 0.000 % |
1016.56/1016.52 c | 1525719 | 32773 518020 1616108 | 250319 227830 64 | 0.000 % |
1017.16/1017.20 c | 1526743 | 32773 518020 1616108 | 250319 228854 64 | 0.000 % |
1017.56/1017.60 c | 1527255 | 32773 518020 1616108 | 250319 229366 64 | 0.000 % |
1018.06/1018.04 c | 1527770 | 32773 518020 1616108 | 250319 229881 64 | 0.000 % |
1018.76/1018.79 c | 1528795 | 32773 518020 1616108 | 250319 230906 64 | 0.000 % |
1020.16/1020.16 c | 1530843 | 32773 518020 1616108 | 232112 232954 64 | 0.001 % |
1021.46/1021.45 c | 1531355 | 32773 518020 1616108 | 232112 199616 64 | 0.000 % |
1021.76/1021.79 c | 1531867 | 32773 518020 1616108 | 232112 200128 64 | 0.001 % |
1022.46/1022.48 c | 1532892 | 32773 518020 1616108 | 232112 201153 64 | 0.001 % |
1022.86/1022.83 c | 1533404 | 32773 518020 1616108 | 232112 201665 64 | 0.000 % |
1023.16/1023.16 c | 1533918 | 32773 518020 1616108 | 232112 202179 64 | 0.001 % |
1023.86/1023.86 c | 1534943 | 32773 518020 1616108 | 232112 203204 64 | 0.001 % |
1025.26/1025.24 c | 1536991 | 32773 518020 1616108 | 232112 205252 64 | 0.001 % |
1027.46/1027.47 c | 1541087 | 32773 518020 1616108 | 208261 209348 63 | 0.001 % |
1032.46/1032.44 c | 1549280 | 32773 518020 1616108 | 208261 196607 65 | 0.001 % |
1032.96/1032.91 c | 1549793 | 32773 518020 1616108 | 208261 197120 65 | 0.000 % |
1033.26/1033.28 c | 1550305 | 32773 518020 1616108 | 197328 197632 65 | 0.000 % |
1034.86/1034.90 c | 1551331 | 32773 518020 1616108 | 197328 175905 66 | 0.001 % |
1035.26/1035.22 c | 1551843 | 32773 518020 1616108 | 197328 176417 66 | 0.001 % |
1035.56/1035.55 c | 1552355 | 32773 518020 1616108 | 197328 176929 66 | 0.001 % |
1035.96/1035.99 c | 1553379 | 32773 518020 1616108 | 197328 177953 66 | 0.001 % |
1037.26/1037.25 c | 1555427 | 32773 518020 1616108 | 197328 180001 66 | 0.001 % |
1037.46/1037.48 c | 1555939 | 32773 518020 1616108 | 197328 180513 66 | 0.001 % |
1037.76/1037.80 c | 1556451 | 32773 518020 1616108 | 197328 181025 66 | 0.001 % |
1038.36/1038.35 c | 1557476 | 32773 518020 1616108 | 197328 182050 66 | 0.000 % |
1038.66/1038.69 c | 1557989 | 32773 518020 1616108 | 197328 182563 66 | 0.001 % |
1039.06/1039.04 c | 1558501 | 32773 518020 1616108 | 197328 183075 65 | 0.001 % |
1039.76/1039.76 c | 1559525 | 32773 518020 1616108 | 197328 184099 66 | 0.001 % |
1041.66/1041.63 c | 1561573 | 32773 518020 1616108 | 2147483647 186147 66 | 0.000 % |
1045.16/1045.11 c | 1565669 | 32773 518020 1616108 | 2147483647 190243 66 | 0.001 % |
1045.56/1045.55 c | 1566181 | 32773 518020 1616108 | 2147483647 190755 66 | 0.001 % |
1045.96/1045.99 c | 1566693 | 32773 518020 1616108 | 2147483647 191267 66 | 0.001 % |
1046.66/1046.64 c | 1567717 | 32773 518020 1616108 | 2147483647 192291 66 | 0.001 % |
1047.06/1047.01 c | 1568229 | 32773 518020 1616108 | 2147483647 192803 66 | 0.001 % |
1047.36/1047.40 c | 1568741 | 32773 518020 1616108 | 2147483647 193315 66 | 0.001 % |
1048.16/1048.11 c | 1569765 | 32773 518020 1616108 | 2147483647 194339 66 | 0.001 % |
1049.26/1049.30 c | 1571814 | 32773 518020 1616108 | 194574 196388 65 | 0.000 % |
1050.06/1050.10 c | 1572326 | 32773 518020 1616108 | 194574 175603 65 | 0.001 % |
1050.46/1050.47 c | 1572839 | 32773 518020 1616108 | 194574 176116 65 | 0.000 % |
1051.16/1051.20 c | 1573863 | 32773 518020 1616108 | 194574 177140 65 | 0.000 % |
1051.67/1051.62 c | 1574375 | 32773 518020 1616108 | 194574 177652 65 | 0.001 % |
1052.06/1052.09 c | 1574887 | 32773 518020 1616108 | 194574 178164 65 | 0.001 % |
1052.86/1052.82 c | 1575911 | 32773 518020 1616108 | 194574 179188 65 | 0.000 % |
1054.16/1054.16 c | 1577961 | 32773 518020 1616108 | 194574 181238 65 | 0.000 % |
1057.06/1057.01 c | 1582057 | 32773 518020 1616108 | 2147483647 185334 64 | 0.001 % |
1061.96/1061.92 c | 1590249 | 32773 518020 1616108 | 193278 193526 66 | 0.001 % |
1073.67/1073.69 c | 1606636 | 32773 518020 1616108 | 174492 181128 68 | 0.001 % |
1096.97/1097.01 c | 1639404 | 32773 518020 1616108 | 176742 164382 63 | 0.001 % |
1144.47/1144.49 c | 1704940 | 32773 518020 1616108 | 202392 207332 63 | 0.001 % |
1146.97/1146.97 c | 1705452 | 32773 518020 1616108 | 202392 167197 62 | 0.000 % |
1147.47/1147.45 c | 1705964 | 32773 518020 1616108 | 202392 167709 62 | 0.001 % |
1148.07/1148.10 c | 1706989 | 32773 518020 1616108 | 202392 168734 62 | 0.000 % |
1148.47/1148.44 c | 1707502 | 32773 518020 1616108 | 202392 169247 62 | 0.001 % |
1148.77/1148.78 c | 1708014 | 32773 518020 1616108 | 202392 169759 62 | 0.000 % |
1150.07/1150.01 c | 1709039 | 32773 518020 1616108 | 202392 170784 62 | 0.001 % |
1151.67/1151.64 c | 1711087 | 32773 518020 1616108 | 171746 172832 62 | 0.001 % |
1153.57/1153.53 c | 1711599 | 32773 518020 1616108 | 171746 145551 60 | 0.001 % |
1153.77/1153.74 c | 1712112 | 32773 518020 1616108 | 171746 146064 59 | 0.000 % |
1154.77/1154.74 c | 1713136 | 32773 518020 1616108 | 171746 147088 59 | 0.000 % |
1155.47/1155.42 c | 1713652 | 32773 518020 1616108 | 171746 147604 59 | 0.001 % |
1155.97/1155.95 c | 1714167 | 32773 518020 1616108 | 171746 148119 59 | 0.001 % |
1156.87/1156.86 c | 1715191 | 32773 518020 1616108 | 171746 149143 59 | 0.000 % |
1158.76/1158.80 c | 1717246 | 32773 518020 1616108 | 171746 151198 59 | 0.000 % |
1162.16/1162.10 c | 1721343 | 32773 518020 1616108 | 153952 155295 59 | 0.000 % |
1163.36/1163.40 c | 1721856 | 32773 518020 1616108 | 153952 136145 56 | 0.001 % |
1163.66/1163.69 c | 1722368 | 32773 518020 1616108 | 153952 136657 56 | 0.000 % |
1164.56/1164.53 c | 1723393 | 32773 518020 1616108 | 153952 137682 56 | 0.000 % |
1164.97/1164.91 c | 1723906 | 32773 518020 1616108 | 153952 138195 56 | 0.000 % |
1165.26/1165.26 c | 1724418 | 32773 518020 1616108 | 153952 138707 56 | 0.000 % |
1165.86/1165.84 c | 1725443 | 32773 518020 1616108 | 153952 139732 56 | 0.000 % |
1167.06/1167.03 c | 1727491 | 32773 518020 1616108 | 153952 141780 56 | 0.001 % |
1167.56/1167.51 c | 1728004 | 32773 518020 1616108 | 153952 142293 56 | 0.001 % |
1167.86/1167.87 c | 1728518 | 32773 518020 1616108 | 153952 142807 56 | 0.001 % |
1168.56/1168.60 c | 1729544 | 32773 518020 1616108 | 153952 143833 56 | 0.000 % |
1169.16/1169.12 c | 1730056 | 32773 518020 1616108 | 144289 144345 56 | 0.000 % |
1170.36/1170.36 c | 1730568 | 32773 518020 1616108 | 144289 130423 55 | 0.001 % |
1171.26/1171.23 c | 1731594 | 32773 518020 1616108 | 144289 131449 55 | 0.001 % |
1172.67/1172.65 c | 1733642 | 32773 518020 1616108 | 144289 133497 55 | 0.000 % |
1175.46/1175.43 c | 1737738 | 32773 518020 1616108 | 144289 137593 55 | 0.000 % |
1181.56/1181.54 c | 1745931 | 32773 518020 1616108 | 139855 145786 56 | 0.000 % |
1183.46/1183.42 c | 1746444 | 32773 518020 1616108 | 139855 126006 56 | 0.000 % |
1183.76/1183.70 c | 1746960 | 32773 518020 1616108 | 139855 126522 56 | 0.000 % |
1184.16/1184.18 c | 1747984 | 32773 518020 1616108 | 139855 127546 56 | 0.001 % |
1184.46/1184.42 c | 1748496 | 32773 518020 1616108 | 139855 128058 56 | 0.001 % |
1184.77/1184.75 c | 1749008 | 32773 518020 1616108 | 139855 128570 56 | 0.001 % |
1185.76/1185.77 c | 1750032 | 32773 518020 1616108 | 129563 129594 56 | 0.000 % |
1188.07/1188.06 c | 1752080 | 32773 518020 1616108 | 129563 117727 57 | 0.001 % |
1188.46/1188.44 c | 1752592 | 32773 518020 1616108 | 129563 118239 57 | 0.000 % |
1188.76/1188.73 c | 1753104 | 32773 518020 1616108 | 129563 118751 57 | 0.001 % |
1189.26/1189.22 c | 1754130 | 32773 518020 1616108 | 129563 119777 57 | 0.000 % |
1189.46/1189.45 c | 1754643 | 32773 518020 1616108 | 129563 120290 57 | 0.000 % |
1189.66/1189.68 c | 1755160 | 32773 518020 1616108 | 129563 120807 56 | 0.000 % |
1190.16/1190.17 c | 1756187 | 32773 518020 1616108 | 129563 121834 56 | 0.000 % |
1190.86/1190.80 c | 1758236 | 32773 518020 1616108 | 129563 123883 56 | 0.000 % |
1192.47/1192.46 c | 1762332 | 32766 518010 1616088 | 2147483647 127972 58 | 0.022 % |
1192.76/1192.74 c | 1762845 | 32766 518010 1616088 | 2147483647 128485 57 | 0.022 % |
1193.06/1193.08 c | 1763357 | 32766 518010 1616088 | 2147483647 128997 57 | 0.022 % |
1193.46/1193.41 c | 1764382 | 32766 518010 1616088 | 2147483647 130022 57 | 0.022 % |
1193.66/1193.63 c | 1764895 | 32766 518010 1616088 | 2147483647 130535 57 | 0.022 % |
1193.86/1193.85 c | 1765408 | 32766 518010 1616088 | 2147483647 131048 57 | 0.022 % |
1194.56/1194.51 c | 1766433 | 32766 518010 1616088 | 2147483647 132073 58 | 0.022 % |
1195.46/1195.48 c | 1768482 | 32766 518010 1616088 | 2147483647 134122 57 | 0.021 % |
1195.77/1195.72 c | 1768994 | 32766 518010 1616088 | 2147483647 134634 57 | 0.022 % |
1195.96/1195.99 c | 1769506 | 32766 518010 1616088 | 2147483647 135146 57 | 0.021 % |
1196.46/1196.42 c | 1770530 | 32766 518010 1616088 | 2147483647 136170 58 | 0.022 % |
1196.87/1196.89 c | 1771042 | 32766 518010 1616088 | 2147483647 136682 58 | 0.022 % |
1197.56/1197.51 c | 1771554 | 32766 518010 1616088 | 2147483647 137194 57 | 0.022 % |
1198.26/1198.28 c | 1772580 | 32766 518010 1616088 | 2147483647 138220 58 | 0.022 % |
1199.56/1199.58 c | 1774628 | 32766 518010 1616088 | 2147483647 140268 58 | 0.022 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820663-1242464719/watcher-1820663-1242464719 -o /tmp/evaluation-result-1820663-1242464719/solver-1820663-1242464719 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820663-1242464719.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.08 1.03 1.01 2/96 21859
/proc/meminfo: memFree=1219068/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=956 CPUtime=0
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 118 0 0 0 0 0 0 0 25 0 1 0 1010970272 978944 54 4294967295 134512640 135223648 3220908784 3220907676 134737065 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 239 57 46 174 0 64 0
[startup+0.099899 s]
/proc/loadavg: 1.08 1.03 1.01 2/96 21859
/proc/meminfo: memFree=1219068/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=9772 CPUtime=0.1
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 2164 0 0 0 9 1 0 0 25 0 1 0 1010970272 10006528 2100 4294967295 134512640 135223648 3220908784 3220907736 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 2443 2101 46 174 0 2268 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12184
[startup+0.119897 s]
/proc/loadavg: 1.08 1.03 1.01 2/96 21859
/proc/meminfo: memFree=1219068/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=10960 CPUtime=0.12
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 2534 0 0 0 11 1 0 0 25 0 1 0 1010970272 11223040 2470 4294967295 134512640 135223648 3220908784 3220907736 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 2740 2470 46 174 0 2565 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13372
[startup+0.319886 s]
/proc/loadavg: 1.08 1.03 1.01 2/96 21859
/proc/meminfo: memFree=1219068/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=28984 CPUtime=0.32
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 6555 0 0 0 29 3 0 0 25 0 1 0 1010970272 29679616 6491 4294967295 134512640 135223648 3220908784 3220907400 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 7246 6492 46 174 0 7071 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31396
[startup+0.719864 s]
/proc/loadavg: 1.08 1.03 1.01 2/96 21859
/proc/meminfo: memFree=1219068/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=50968 CPUtime=0.72
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 11872 0 0 0 67 5 0 0 25 0 1 0 1010970272 52191232 10629 4294967295 134512640 135223648 3220908784 3220906452 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 12742 10629 73 174 0 12567 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 53380
[startup+1.51982 s]
/proc/loadavg: 1.08 1.03 1.01 3/98 21864
/proc/meminfo: memFree=1173908/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=54888 CPUtime=1.52
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 12793 0 0 0 145 7 0 0 25 0 1 0 1010970272 56205312 11550 4294967295 134512640 135223648 3220908784 3220906800 134586851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 13722 11550 73 174 0 13547 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 57300
[startup+3.11973 s]
/proc/loadavg: 1.08 1.03 1.01 3/98 21864
/proc/meminfo: memFree=1171924/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2412 CPUtime=0
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 368 649 0 0 0 0 0 0 25 0 1 0 1010970272 2469888 277 4294967295 134512640 135169312 3215302048 3215300584 3085250286 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/21859/statm: 603 277 235 161 0 42 0
[pid=21863] ppid=21859 vsize=62424 CPUtime=3.12
/proc/21863/stat : 21863 (SatELite_releas) R 21859 21859 11066 0 -1 4202496 14055 0 0 0 305 7 0 0 25 0 1 0 1010970272 63922176 12724 4294967295 134512640 135223648 3220908784 3220906800 134549033 0 0 0 3 0 0 0 17 2 0 0 0
/proc/21863/statm: 15606 12724 73 174 0 15431 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 64836
[startup+6.31955 s]
/proc/loadavg: 1.08 1.03 1.00 3/98 21865
/proc/meminfo: memFree=1181224/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=28296 CPUtime=1.6
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 6700 0 0 0 158 2 0 0 20 0 1 0 1010970745 28975104 6634 4294967295 134512640 135216591 3214159072 3214157248 134525784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 7074 6634 75 172 0 6901 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 30712
[startup+12.7192 s]
/proc/loadavg: 1.07 1.03 1.00 3/98 21866
/proc/meminfo: memFree=1174592/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=34664 CPUtime=8
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 8297 0 0 0 798 2 0 0 25 0 1 0 1010970745 35495936 8231 4294967295 134512640 135216591 3214159072 3214156976 134532786 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 8666 8231 75 172 0 8493 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 37080
[startup+25.5185 s]
/proc/loadavg: 1.05 1.02 1.00 3/98 21868
/proc/meminfo: memFree=1165116/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=44072 CPUtime=20.8
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 10597 0 0 0 2076 4 0 0 25 0 1 0 1010970745 45129728 10531 4294967295 134512640 135216591 3214159072 3214157264 134528860 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 11018 10531 75 172 0 10845 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 46488
[startup+51.1171 s]
/proc/loadavg: 1.03 1.02 1.00 3/98 22051
/proc/meminfo: memFree=1139816/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=68836 CPUtime=46.4
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 16819 0 0 0 4633 7 0 0 25 0 1 0 1010970745 70488064 16753 4294967295 134512640 135216591 3214159072 3214157248 134525873 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 17209 16753 75 172 0 17036 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 71252
[startup+102.314 s]
/proc/loadavg: 1.01 1.02 1.00 3/98 22240
/proc/meminfo: memFree=1109052/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=99256 CPUtime=97.6
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 24279 0 0 0 9749 11 0 0 25 0 1 0 1010970745 101638144 24213 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 24814 24213 75 172 0 24641 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 101672
[startup+162.311 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 22427
/proc/meminfo: memFree=1095040/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=112856 CPUtime=157.6
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 27734 0 0 0 15746 14 0 0 25 0 1 0 1010970745 115564544 27668 4294967295 134512640 135216591 3214159072 3214157184 134534336 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 28214 27668 75 172 0 28041 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 115272
[startup+222.317 s]
/proc/loadavg: 1.00 1.01 1.00 3/98 22614
/proc/meminfo: memFree=1074564/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=133788 CPUtime=217.61
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 32876 0 0 0 21746 15 0 0 25 0 1 0 1010970745 136998912 32810 4294967295 134512640 135216591 3214159072 3214157264 134528881 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 33447 32810 75 172 0 33274 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 136204
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 22801
/proc/meminfo: memFree=1070000/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=138440 CPUtime=277.61
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34031 0 0 0 27745 16 0 0 25 0 1 0 1010970745 141762560 33965 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 34610 33965 75 172 0 34437 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 140856
[startup+342.321 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 22996
/proc/meminfo: memFree=1067264/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141584 CPUtime=337.62
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34804 0 0 0 33744 18 0 0 25 0 1 0 1010970745 144982016 34738 4294967295 134512640 135216591 3214159072 3214157040 134539159 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35396 34738 75 172 0 35223 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
[pid=21865] ppid=21859 vsize=141824 CPUtime=457.61
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34836 0 0 0 45743 18 0 0 25 0 1 0 1010970745 145227776 34770 4294967295 134512640 135216591 3214159072 3214157264 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35456 34770 75 172 0 35283 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 144240
[startup+522.311 s]
/proc/loadavg: 1.01 1.00 1.00 3/98 23559
/proc/meminfo: memFree=1066800/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141824 CPUtime=517.62
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34843 0 0 0 51744 18 0 0 25 0 1 0 1010970745 145227776 34777 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35456 34777 75 172 0 35283 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 144240
[startup+582.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 23746
/proc/meminfo: memFree=1067024/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141944 CPUtime=577.62
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34858 0 0 0 57744 18 0 0 25 0 1 0 1010970745 145350656 34792 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35486 34792 75 172 0 35313 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 144360
[startup+642.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 23935
/proc/meminfo: memFree=1066892/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141944 CPUtime=637.63
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34858 0 0 0 63745 18 0 0 25 0 1 0 1010970745 145350656 34792 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35486 34792 75 172 0 35313 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 144360
[startup+702.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24131
/proc/meminfo: memFree=1066816/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141944 CPUtime=697.63
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34860 0 0 0 69744 19 0 0 25 0 1 0 1010970745 145350656 34794 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35486 34794 75 172 0 35313 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 144360
[startup+762.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 24318
/proc/meminfo: memFree=1066660/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141944 CPUtime=757.64
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34863 0 0 0 75738 26 0 0 25 0 1 0 1010970745 145350656 34797 4294967295 134512640 135216591 3214159072 3214157264 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35486 34797 75 172 0 35313 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 144360
[startup+822.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 24505
/proc/meminfo: memFree=1066520/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=141944 CPUtime=817.63
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34892 0 0 0 81731 32 0 0 25 0 1 0 1010970745 145350656 34826 4294967295 134512640 135216591 3214159072 3214157040 134538716 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35486 34826 75 172 0 35313 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 144360
[startup+882.311 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 24692
/proc/meminfo: memFree=1066544/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142064 CPUtime=877.64
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34911 0 0 0 87732 32 0 0 25 0 1 0 1010970745 145473536 34845 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35516 34845 75 172 0 35343 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 144480
[startup+942.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 24881
/proc/meminfo: memFree=1066536/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142064 CPUtime=937.64
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34911 0 0 0 93732 32 0 0 25 0 1 0 1010970745 145473536 34845 4294967295 134512640 135216591 3214159072 3214157264 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35516 34845 75 172 0 35343 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 144480
[startup+1002.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25070
/proc/meminfo: memFree=1066544/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142064 CPUtime=997.65
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34911 0 0 0 99729 36 0 0 25 0 1 0 1010970745 145473536 34845 4294967295 134512640 135216591 3214159072 3214157264 134528948 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35516 34845 75 172 0 35343 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 144480
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25257
/proc/meminfo: memFree=1066652/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142184 CPUtime=1057.65
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34916 0 0 0 105724 41 0 0 25 0 1 0 1010970745 145596416 34850 4294967295 134512640 135216591 3214159072 3214157184 134534651 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35546 34850 75 172 0 35373 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 144600
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25448
/proc/meminfo: memFree=1066544/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142184 CPUtime=1117.66
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34924 0 0 0 111724 42 0 0 25 0 1 0 1010970745 145596416 34858 4294967295 134512640 135216591 3214159072 3214157264 134528969 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35546 34858 75 172 0 35373 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 144600
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25635
/proc/meminfo: memFree=1066576/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142184 CPUtime=1177.65
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34926 0 0 0 117722 43 0 0 25 0 1 0 1010970745 145596416 34860 4294967295 134512640 135216591 3214159072 3214157184 134534465 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35546 34860 75 172 0 35373 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 144600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 25638
/proc/meminfo: memFree=1066752/2074464 swapFree=1950760/1959888
[pid=21859] ppid=21857 vsize=2416 CPUtime=4.71
/proc/21859/stat : 21859 (SatELiteGTI) S 21857 21859 11066 0 -1 4194304 388 15774 0 0 0 0 460 11 22 0 1 0 1010970272 2473984 278 4294967295 134512640 135169312 3215302048 3215298264 3085250286 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/21859/statm: 604 278 235 161 0 43 0
[pid=21865] ppid=21859 vsize=142184 CPUtime=1195.35
/proc/21865/stat : 21865 (minisat_static) R 21859 21859 11066 0 -1 4202496 34926 0 0 0 119490 45 0 0 25 0 1 0 1010970745 145596416 34860 4294967295 134512640 135216591 3214159072 3214157264 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/21865/statm: 35546 34860 75 172 0 35373 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 144600
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.02
CPU time (s): 1200.08
CPU user time (s): 1199.5
CPU system time (s): 0.58
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 144600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.5
system time used= 0.58
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51088
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= 19
involuntary context switches= 1232
runsolver used 0.03 second user time and 0.05 second system time
The end
Begin job on tipi23 at 2009-05-16 11:05:19
IDJOB=1820663
IDBENCH=20577
IDSOLVER=658
FILE ID=tipi23/1820663-1242464719
PBS_JOBID=
Free space on /tmp= 9476 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820663-1242464719/watcher-1820663-1242464719 -o /tmp/evaluation-result-1820663-1242464719/solver-1820663-1242464719 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820663-1242464719.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f0f4556999ccb446384994a4148fca28
RANDOM SEED= 527147838
Linux tipi23 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.377
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.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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.377
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.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
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: 1219076 kB
Buffers: 8196 kB
Cached: 743908 kB
SwapCached: 3688 kB
Active: 141936 kB
Inactive: 621900 kB
HighTotal: 1178688 kB
HighFree: 636196 kB
LowTotal: 895776 kB
LowFree: 582880 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 12156 kB
Writeback: 0 kB
AnonPages: 11040 kB
Mapped: 4364 kB
Slab: 83120 kB
PageTables: 472 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96892 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9464 MiB
End job on tipi23 at 2009-05-16 11:25:22