0.00/0.00 c Parsing...
0.12/0.12 c ==============================================================================
0.12/0.12 c | | ORIGINAL | LEARNT | |
0.12/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.12 c ==============================================================================
0.12/0.12 c | 0 | 194072 507926 | 58221 0 0 nan | 0.000 % |
0.12/0.12 c ==============================================================================
0.12/0.12 c Result : #vars: 1156 #clauses: 194072 #literals: 507926
0.12/0.12 c CPU time: 0.13 s
0.12/0.12 c ==============================================================================
0.22/0.30 c This is MiniSat 2.0 beta
0.22/0.30 c WARNING: for repeatability, setting FPU to use double precision
0.22/0.30 c ============================[ Problem Statistics ]=============================
0.22/0.30 c | |
0.22/0.30 c | Number of variables: 1156 |
0.22/0.30 c | Number of clauses: 194072 |
0.30/0.39 c | Parsing time: 0.08 s |
0.30/0.40 c ============================[ Search Statistics ]==============================
0.30/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.30/0.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.30/0.40 c ===============================================================================
0.30/0.40 c | 0 | 1156 194072 507926 | 64690 0 nan | 0.000 % |
0.30/0.59 c | 513 | 1156 194072 507926 | 64690 513 84 | 0.000 % |
0.30/0.70 c | 1028 | 1156 194072 507926 | 64690 1028 84 | 0.000 % |
0.30/0.79 c | 1543 | 1156 194072 507926 | 64690 1543 100 | 0.000 % |
0.30/1.00 c | 2569 | 1156 194072 507926 | 64690 2569 99 | 0.000 % |
1.02/1.08 c | 3083 | 1156 194072 507926 | 64690 3083 98 | 0.000 % |
1.12/1.18 c | 3595 | 1156 194072 507926 | 64690 3595 103 | 0.000 % |
1.32/1.36 c | 4619 | 1156 194072 507926 | 64690 4619 104 | 0.000 % |
1.72/1.80 c | 6670 | 1156 194072 507926 | 64690 6670 84 | 0.006 % |
1.92/1.92 c | 7182 | 1156 194072 507926 | 64690 7182 81 | 0.006 % |
2.02/2.03 c | 7696 | 1156 194072 507926 | 64690 7696 78 | 0.006 % |
2.22/2.24 c | 8720 | 1156 194072 507926 | 64690 8720 74 | 0.006 % |
2.32/2.35 c | 9236 | 1156 194072 507926 | 64690 9236 72 | 0.000 % |
2.42/2.47 c | 9749 | 1156 194072 507926 | 64690 9749 71 | 0.006 % |
2.72/2.71 c | 10773 | 1156 194072 507926 | 2147483647 10773 68 | 0.006 % |
3.22/3.22 c | 12823 | 1156 194072 507926 | 2147483647 12823 64 | 0.006 % |
4.22/4.30 c | 16919 | 1156 194072 507926 | 2147483647 16919 59 | 0.006 % |
4.42/4.46 c | 17431 | 1156 194072 507926 | 2147483647 17431 58 | 0.006 % |
4.62/4.61 c | 17944 | 1156 194072 507926 | 2147483647 17944 57 | 0.006 % |
4.82/4.88 c | 18969 | 1156 194072 507926 | 2147483647 18969 58 | 0.006 % |
5.02/5.03 c | 19481 | 1156 194072 507926 | 2147483647 19481 58 | 0.006 % |
5.12/5.18 c | 19995 | 1156 194072 507926 | 2147483647 19995 58 | 0.006 % |
5.42/5.47 c | 21020 | 1156 194072 507926 | 2147483647 21020 57 | 0.006 % |
5.92/5.99 c | 23070 | 1156 194072 507926 | 2147483647 23070 63 | 0.000 % |
6.12/6.12 c | 23583 | 1156 194072 507926 | 2147483647 23583 64 | 0.000 % |
6.22/6.25 c | 24097 | 1156 194072 507926 | 2147483647 24097 66 | 0.000 % |
6.52/6.54 c | 25125 | 1156 194072 507926 | 2147483647 25125 68 | 0.000 % |
6.62/6.68 c | 25638 | 1156 194072 507926 | 2147483647 25638 68 | 0.000 % |
6.82/6.82 c | 26153 | 1156 194072 507926 | 2147483647 26153 67 | 0.006 % |
7.12/7.15 c | 27177 | 1156 194072 507926 | 2147483647 27177 66 | 0.006 % |
7.72/7.77 c | 29225 | 1156 194072 507926 | 2147483647 29225 65 | 0.006 % |
9.12/9.16 c | 33322 | 1156 194072 507926 | 2147483647 33322 62 | 0.006 % |
12.22/12.25 c | 41514 | 1156 194072 507926 | 2147483647 41514 59 | 0.006 % |
12.42/12.41 c | 42026 | 1156 194072 507926 | 2147483647 42026 59 | 0.000 % |
12.52/12.60 c | 42539 | 1156 194072 507926 | 2147483647 42539 60 | 0.000 % |
12.92/12.99 c | 43565 | 1156 194072 507926 | 2147483647 43565 62 | 0.000 % |
13.12/13.17 c | 44078 | 1156 194072 507926 | 2147483647 44078 62 | 0.000 % |
13.32/13.37 c | 44593 | 1156 194072 507926 | 2147483647 44593 63 | 0.000 % |
13.62/13.70 c | 45618 | 1156 194072 507926 | 2147483647 45618 65 | 0.000 % |
14.52/14.54 c | 47667 | 1155 193742 507070 | 2147483647 47666 66 | 0.087 % |
14.72/14.77 c | 48180 | 1155 193742 507070 | 2147483647 48179 66 | 0.092 % |
14.92/14.98 c | 48693 | 1155 193742 507070 | 2147483647 48692 66 | 0.092 % |
15.42/15.43 c | 49718 | 1155 193742 507070 | 2147483647 49717 65 | 0.092 % |
15.62/15.67 c | 50230 | 1155 193742 507070 | 2147483647 50229 65 | 0.092 % |
15.82/15.87 c | 50742 | 1155 193742 507070 | 2147483647 50741 65 | 0.092 % |
16.32/16.33 c | 51767 | 1155 193742 507070 | 2147483647 51766 65 | 0.092 % |
17.22/17.26 c | 53815 | 1155 193742 507070 | 2147483647 53814 64 | 0.092 % |
19.02/19.02 c | 57911 | 1155 193742 507070 | 2147483647 57910 63 | 0.092 % |
19.22/19.28 c | 58429 | 1155 193742 507070 | 2147483647 58428 62 | 0.092 % |
19.52/19.55 c | 58944 | 1155 193742 507070 | 2147483647 58943 62 | 0.092 % |
20.02/20.01 c | 59969 | 1155 193742 507070 | 2147483647 59968 62 | 0.092 % |
20.22/20.26 c | 60483 | 1155 193742 507070 | 2147483647 60482 62 | 0.087 % |
20.52/20.52 c | 60997 | 1155 193742 507070 | 2147483647 60996 61 | 0.092 % |
20.92/21.00 c | 62022 | 1155 193742 507070 | 2147483647 62021 61 | 0.092 % |
21.92/21.92 c | 64070 | 1155 193742 507070 | 2147483647 64069 64 | 0.087 % |
22.12/22.19 c | 64585 | 1155 193742 507070 | 2147483647 64584 64 | 0.087 % |
22.42/22.41 c | 65100 | 1155 193742 507070 | 2147483647 65099 64 | 0.087 % |
22.92/22.91 c | 66126 | 1155 193742 507070 | 2147483647 66125 64 | 0.087 % |
23.12/23.17 c | 66640 | 1155 193742 507070 | 2147483647 66639 64 | 0.092 % |
23.42/23.46 c | 67155 | 1155 193742 507070 | 2147483647 67154 64 | 0.087 % |
23.92/24.00 c | 68179 | 1155 193742 507070 | 2147483647 68178 64 | 0.092 % |
25.02/25.06 c | 70229 | 1155 193742 507070 | 2147483647 70228 63 | 0.092 % |
27.02/27.06 c | 74326 | 1155 193742 507070 | 2147483647 74325 62 | 0.092 % |
32.42/32.43 c | 82521 | 1155 193742 507070 | 2147483647 82520 61 | 0.092 % |
42.32/42.38 c | 98905 | 1155 193742 507070 | 2147483647 98904 69 | 0.087 % |
42.72/42.74 c | 99422 | 1155 193742 507070 | 2147483647 99421 69 | 0.087 % |
43.12/43.14 c | 99934 | 1155 193742 507070 | 2147483647 99933 68 | 0.092 % |
43.92/43.99 c | 100959 | 1155 193742 507070 | 99999 89514 68 | 0.092 % |
44.32/44.31 c | 101471 | 1155 193742 507070 | 99999 90026 68 | 0.092 % |
44.62/44.67 c | 101984 | 1155 193742 507070 | 99999 90539 68 | 0.092 % |
45.42/45.46 c | 103008 | 1155 193742 507070 | 99999 91563 68 | 0.093 % |
46.62/46.70 c | 105056 | 1155 193742 507070 | 99999 93611 68 | 0.087 % |
47.02/47.07 c | 105570 | 1155 193742 507070 | 99999 94125 69 | 0.087 % |
47.33/47.41 c | 106085 | 1155 193742 507070 | 99999 94640 69 | 0.087 % |
48.12/48.17 c | 107111 | 1155 193742 507070 | 99999 95666 70 | 0.087 % |
48.52/48.59 c | 107623 | 1155 193742 507070 | 99999 96178 70 | 0.087 % |
48.92/48.94 c | 108135 | 1155 193742 507070 | 99999 96690 70 | 0.087 % |
49.62/49.65 c | 109161 | 1155 193742 507070 | 99999 97716 70 | 0.087 % |
51.22/51.24 c | 111209 | 1155 193742 507070 | 98555 87460 69 | 0.092 % |
54.22/54.29 c | 115305 | 1155 193742 507070 | 98555 91556 67 | 0.092 % |
54.62/54.69 c | 115817 | 1155 193742 507070 | 98555 92068 67 | 0.092 % |
55.03/55.05 c | 116329 | 1155 193742 507070 | 98555 92580 67 | 0.092 % |
55.72/55.75 c | 117354 | 1155 193742 507070 | 98555 93605 67 | 0.092 % |
56.02/56.11 c | 117866 | 1155 193742 507070 | 98555 94117 67 | 0.092 % |
56.42/56.48 c | 118381 | 1155 193742 507070 | 98555 94632 67 | 0.092 % |
57.23/57.23 c | 119405 | 1155 193742 507070 | 98555 95656 66 | 0.092 % |
58.92/58.91 c | 121453 | 1155 193742 507070 | 96251 83760 69 | 0.092 % |
59.22/59.22 c | 121969 | 1155 193742 507070 | 96251 84276 69 | 0.092 % |
59.52/59.58 c | 122482 | 1155 193742 507070 | 96251 84789 69 | 0.092 % |
60.22/60.29 c | 123506 | 1155 193742 507070 | 96251 85813 68 | 0.092 % |
60.62/60.63 c | 124019 | 1155 193742 507070 | 96251 86326 69 | 0.087 % |
60.92/60.94 c | 124533 | 1155 193742 507070 | 96251 86840 69 | 0.087 % |
61.63/61.68 c | 125563 | 1155 193742 507070 | 96251 87870 70 | 0.087 % |
62.82/62.86 c | 127611 | 1155 193742 507070 | 96251 89918 71 | 0.087 % |
65.72/65.76 c | 131708 | 1155 193742 507070 | 92307 79821 70 | 0.087 % |
71.62/71.69 c | 139902 | 1155 193742 507070 | 92307 88015 70 | 0.093 % |
72.02/72.09 c | 140418 | 1155 193742 507070 | 88113 88531 70 | 0.092 % |
72.52/72.58 c | 140930 | 1155 193742 507070 | 88113 74758 71 | 0.087 % |
73.32/73.40 c | 141957 | 1155 193742 507070 | 88113 75785 70 | 0.092 % |
73.73/73.74 c | 142469 | 1155 193742 507070 | 88113 76297 70 | 0.092 % |
74.12/74.12 c | 142981 | 1155 193742 507070 | 88113 76809 70 | 0.092 % |
74.92/74.96 c | 144006 | 1155 193742 507070 | 88113 77834 70 | 0.092 % |
76.42/76.41 c | 146056 | 1155 193742 507070 | 88113 79884 72 | 0.087 % |
76.72/76.74 c | 146568 | 1155 193742 507070 | 88113 80396 72 | 0.087 % |
77.03/77.04 c | 147082 | 1155 193742 507070 | 88113 80910 72 | 0.087 % |
77.62/77.70 c | 148107 | 1155 193742 507070 | 88113 81935 73 | 0.087 % |
78.02/78.05 c | 148620 | 1155 193742 507070 | 88113 82448 74 | 0.093 % |
78.42/78.46 c | 149133 | 1155 193742 507070 | 88113 82961 73 | 0.093 % |
79.42/79.42 c | 150157 | 1155 193742 507070 | 83829 83985 73 | 0.092 % |
80.92/80.98 c | 152208 | 1155 193742 507070 | 83829 73147 76 | 0.092 % |
84.32/84.35 c | 156306 | 1155 193742 507070 | 83829 77245 74 | 0.093 % |
84.73/84.78 c | 156819 | 1155 193742 507070 | 83829 77758 73 | 0.093 % |
85.22/85.21 c | 157332 | 1155 193742 507070 | 83829 78271 73 | 0.092 % |
86.02/86.03 c | 158357 | 1155 193742 507070 | 83829 79296 73 | 0.093 % |
86.52/86.56 c | 158869 | 1155 193742 507070 | 83829 79808 73 | 0.092 % |
86.93/86.97 c | 159382 | 1155 193742 507070 | 83829 80321 72 | 0.092 % |
87.73/87.80 c | 160410 | 1155 193742 507070 | 80939 81349 72 | 0.093 % |
89.23/89.28 c | 162458 | 1155 193742 507070 | 80939 70170 63 | 0.092 % |
89.53/89.61 c | 162971 | 1155 193742 507070 | 80939 70683 63 | 0.093 % |
89.93/89.94 c | 163483 | 1155 193742 507070 | 80939 71195 63 | 0.087 % |
90.53/90.60 c | 164509 | 1155 193742 507070 | 80939 72221 63 | 0.092 % |
90.93/90.96 c | 165022 | 1155 193742 507070 | 80939 72734 63 | 0.087 % |
91.23/91.27 c | 165535 | 1155 193742 507070 | 80939 73247 64 | 0.087 % |
91.93/91.94 c | 166561 | 1155 193742 507070 | 80939 74273 64 | 0.087 % |
93.33/93.32 c | 168610 | 1155 193742 507070 | 80939 76322 66 | 0.087 % |
96.23/96.27 c | 172706 | 1155 193742 507070 | 77712 69664 63 | 0.092 % |
102.33/102.35 c | 180898 | 1155 193742 507070 | 76958 67070 64 | 0.093 % |
113.73/113.76 c | 197282 | 1155 193742 507070 | 76173 71107 63 | 0.093 % |
144.13/144.13 c | 230051 | 1155 193742 507070 | 59639 59690 54 | 0.093 % |
144.43/144.48 c | 230563 | 1155 193742 507070 | 59639 45928 51 | 0.087 % |
144.73/144.76 c | 231077 | 1155 193742 507070 | 59639 46442 52 | 0.087 % |
145.33/145.32 c | 232101 | 1155 193742 507070 | 59639 47466 53 | 0.087 % |
145.53/145.59 c | 232614 | 1155 193742 507070 | 59639 47979 53 | 0.092 % |
145.83/145.85 c | 233129 | 1155 193742 507070 | 59639 48494 53 | 0.092 % |
146.43/146.42 c | 234154 | 1155 193742 507070 | 59639 49519 53 | 0.092 % |
147.63/147.64 c | 236207 | 1155 193742 507070 | 59639 51572 53 | 0.092 % |
147.93/147.93 c | 236720 | 1155 193742 507070 | 59639 52085 53 | 0.092 % |
148.13/148.21 c | 237232 | 1155 193742 507070 | 59639 52597 53 | 0.092 % |
148.73/148.80 c | 238256 | 1155 193742 507070 | 59639 53621 52 | 0.087 % |
149.03/149.07 c | 238768 | 1155 193742 507070 | 59639 54133 52 | 0.092 % |
149.33/149.33 c | 239281 | 1155 193742 507070 | 59639 54646 52 | 0.092 % |
149.93/149.91 c | 240307 | 1155 193742 507070 | 55365 55672 52 | 0.092 % |
151.13/151.18 c | 242359 | 1155 193742 507070 | 55365 51376 50 | 0.092 % |
153.63/153.70 c | 246455 | 1155 193742 507070 | 55365 55472 50 | 0.092 % |
154.03/154.07 c | 246968 | 1155 193742 507070 | 55365 50438 49 | 0.092 % |
154.23/154.31 c | 247482 | 1155 193742 507070 | 55365 50952 49 | 0.092 % |
154.83/154.89 c | 248506 | 1155 193742 507070 | 55365 51976 49 | 0.092 % |
155.13/155.14 c | 249021 | 1155 193742 507070 | 55365 52491 50 | 0.087 % |
155.33/155.40 c | 249533 | 1155 193742 507070 | 55365 53003 50 | 0.087 % |
155.83/155.83 c | 250560 | 1155 193742 507070 | 2147483647 54030 52 | 0.087 % |
156.93/156.91 c | 252608 | 1155 193742 507070 | 2147483647 56078 56 | 0.087 % |
157.23/157.25 c | 253120 | 1155 193742 507070 | 2147483647 56590 56 | 0.087 % |
157.53/157.55 c | 253633 | 1155 193742 507070 | 2147483647 57103 56 | 0.092 % |
158.23/158.30 c | 254657 | 1155 193742 507070 | 2147483647 58127 55 | 0.092 % |
158.63/158.69 c | 255169 | 1155 193742 507070 | 2147483647 58639 55 | 0.092 % |
159.03/159.05 c | 255681 | 1155 193742 507070 | 2147483647 59151 55 | 0.093 % |
159.63/159.63 c | 256707 | 1155 193742 507070 | 2147483647 60177 55 | 0.092 % |
160.83/160.89 c | 258755 | 1155 193742 507070 | 2147483647 62225 55 | 0.087 % |
163.73/163.75 c | 262853 | 1155 193742 507070 | 2147483647 66323 54 | 0.092 % |
169.73/169.73 c | 271046 | 1155 193742 507070 | 73471 64813 54 | 0.092 % |
170.03/170.05 c | 271560 | 1155 193742 507070 | 73471 65327 55 | 0.087 % |
170.33/170.37 c | 272073 | 1155 193742 507070 | 73471 65840 56 | 0.087 % |
171.03/171.03 c | 273097 | 1155 193742 507070 | 73471 66864 57 | 0.087 % |
171.33/171.34 c | 273609 | 1155 193742 507070 | 73471 67376 57 | 0.087 % |
171.64/171.67 c | 274123 | 1155 193742 507070 | 73471 67890 57 | 0.092 % |
172.33/172.37 c | 275148 | 1155 193742 507070 | 73471 68915 57 | 0.092 % |
173.73/173.72 c | 277197 | 1155 193742 507070 | 73471 70964 56 | 0.092 % |
174.03/174.06 c | 277710 | 1155 193742 507070 | 73471 71477 56 | 0.092 % |
174.43/174.44 c | 278222 | 1155 193742 507070 | 73471 71989 56 | 0.087 % |
175.03/175.11 c | 279247 | 1155 193742 507070 | 73471 73014 56 | 0.092 % |
175.43/175.43 c | 279759 | 1155 193742 507070 | 73471 73526 56 | 0.092 % |
175.83/175.87 c | 280271 | 1155 193742 507070 | 64556 64826 57 | 0.092 % |
176.53/176.56 c | 281295 | 1155 193742 507070 | 64556 57782 56 | 0.092 % |
177.83/177.87 c | 283343 | 1155 193742 507070 | 64556 59830 55 | 0.092 % |
180.53/180.54 c | 287440 | 1155 193742 507070 | 64556 63927 54 | 0.092 % |
180.93/180.94 c | 287953 | 1155 193742 507070 | 64556 64440 54 | 0.092 % |
181.33/181.34 c | 288465 | 1155 193742 507070 | 64556 64952 54 | 0.092 % |
182.03/182.09 c | 289489 | 1155 193742 507070 | 64556 59197 53 | 0.092 % |
182.43/182.43 c | 290007 | 1155 193742 507070 | 64556 59715 53 | 0.092 % |
182.73/182.74 c | 290519 | 1155 193742 507070 | 59715 60227 54 | 0.087 % |
183.33/183.40 c | 291543 | 1155 193742 507070 | 59715 54922 56 | 0.087 % |
184.73/184.76 c | 293591 | 1155 193742 507070 | 59715 56970 60 | 0.087 % |
185.13/185.14 c | 294104 | 1155 193742 507070 | 59715 57483 60 | 0.087 % |
185.43/185.48 c | 294617 | 1155 193742 507070 | 59715 57996 60 | 0.093 % |
186.03/186.05 c | 295643 | 1155 193742 507070 | 59715 59022 60 | 0.093 % |
186.33/186.37 c | 296155 | 1155 193742 507070 | 59715 59534 60 | 0.087 % |
186.73/186.73 c | 296668 | 1155 193742 507070 | 59715 60047 60 | 0.092 % |
187.33/187.36 c | 297692 | 1155 193742 507070 | 59715 55067 58 | 0.092 % |
188.83/188.82 c | 299740 | 1155 193742 507070 | 59715 57115 57 | 0.092 % |
191.73/191.74 c | 303838 | 1155 193742 507070 | 2147483647 61213 58 | 0.087 % |
197.93/198.02 c | 312033 | 1155 193742 507070 | 67376 59951 57 | 0.092 % |
211.34/211.38 c | 328417 | 1155 193742 507070 | 67918 65167 78 | 0.087 % |
211.74/211.81 c | 328931 | 1155 193742 507070 | 67918 65681 77 | 0.092 % |
212.24/212.23 c | 329445 | 1155 193742 507070 | 67918 66195 77 | 0.093 % |
213.14/213.16 c | 330474 | 1155 193742 507070 | 66751 54011 82 | 0.092 % |
213.64/213.63 c | 330986 | 1155 193742 507070 | 66751 54523 81 | 0.092 % |
214.04/214.06 c | 331498 | 1155 193742 507070 | 66751 55035 81 | 0.092 % |
214.94/214.97 c | 332524 | 1155 193742 507070 | 66751 56061 80 | 0.092 % |
216.44/216.43 c | 334576 | 1155 193742 507070 | 66751 58113 82 | 0.087 % |
216.84/216.83 c | 335088 | 1155 193742 507070 | 66751 58625 83 | 0.087 % |
217.14/217.16 c | 335600 | 1155 193742 507070 | 66751 59137 83 | 0.087 % |
217.84/217.83 c | 336625 | 1155 193742 507070 | 66751 60162 83 | 0.087 % |
218.14/218.22 c | 337137 | 1155 193742 507070 | 66751 60674 83 | 0.092 % |
218.64/218.62 c | 337651 | 1155 193742 507070 | 66751 61188 82 | 0.087 % |
219.34/219.34 c | 338676 | 1155 193742 507070 | 66751 62213 82 | 0.092 % |
221.04/221.05 c | 340724 | 1155 193742 507070 | 63537 53227 82 | 0.087 % |
223.54/223.55 c | 344820 | 1155 193742 507070 | 63537 57323 80 | 0.087 % |
223.84/223.91 c | 345337 | 1155 193742 507070 | 63537 57840 80 | 0.092 % |
224.24/224.23 c | 345849 | 1155 193742 507070 | 63537 58352 79 | 0.092 % |
224.94/224.98 c | 346874 | 1155 193742 507070 | 63537 59377 78 | 0.092 % |
225.34/225.39 c | 347386 | 1155 193742 507070 | 63537 59889 78 | 0.092 % |
225.74/225.74 c | 347898 | 1155 193742 507070 | 63537 60401 78 | 0.092 % |
226.44/226.51 c | 348923 | 1155 193742 507070 | 63537 61426 77 | 0.092 % |
228.04/228.07 c | 350976 | 1155 193742 507070 | 62503 53757 79 | 0.092 % |
228.44/228.43 c | 351492 | 1155 193742 507070 | 62503 54273 79 | 0.092 % |
228.74/228.81 c | 352004 | 1155 193742 507070 | 62503 54785 78 | 0.092 % |
229.44/229.42 c | 353031 | 1155 193742 507070 | 62503 55812 79 | 0.087 % |
229.74/229.77 c | 353543 | 1155 193742 507070 | 62503 56324 80 | 0.087 % |
230.04/230.10 c | 354056 | 1155 193742 507070 | 62503 56837 80 | 0.087 % |
230.74/230.80 c | 355080 | 1155 193742 507070 | 62503 57861 81 | 0.087 % |
232.34/232.33 c | 357129 | 1155 193742 507070 | 62503 59910 82 | 0.087 % |
235.64/235.63 c | 361227 | 1155 193742 507070 | 62781 54318 80 | 0.092 % |
242.84/242.83 c | 369420 | 1155 193742 507070 | 62781 62511 78 | 0.092 % |
243.34/243.39 c | 369932 | 1155 193742 507070 | 62781 63023 77 | 0.092 % |
243.94/243.95 c | 370444 | 1155 193742 507070 | 51678 42668 59 | 0.092 % |
244.64/244.69 c | 371468 | 1155 193742 507070 | 51678 43692 58 | 0.092 % |
245.04/245.07 c | 371980 | 1155 193742 507070 | 51678 44204 58 | 0.092 % |
245.44/245.47 c | 372492 | 1155 193742 507070 | 51678 44716 58 | 0.092 % |
246.24/246.26 c | 373520 | 1155 193742 507070 | 51678 45744 58 | 0.092 % |
247.54/247.59 c | 375571 | 1155 193742 507070 | 51678 47795 60 | 0.087 % |
247.84/247.83 c | 376087 | 1155 193742 507070 | 51678 48311 61 | 0.087 % |
248.04/248.10 c | 376600 | 1155 193742 507070 | 51678 48824 62 | 0.087 % |
248.74/248.78 c | 377627 | 1155 193742 507070 | 51678 49851 62 | 0.087 % |
249.14/249.16 c | 378141 | 1155 193742 507070 | 51678 50365 62 | 0.092 % |
249.44/249.44 c | 378654 | 1155 193742 507070 | 51678 50878 62 | 0.093 % |
250.04/250.09 c | 379679 | 1155 193742 507070 | 51678 51903 61 | 0.092 % |
251.54/251.57 c | 381727 | 1155 193742 507070 | 45333 41448 63 | 0.092 % |
254.34/254.38 c | 385826 | 1155 193742 507070 | 45333 45547 61 | 0.092 % |
254.74/254.72 c | 386339 | 1155 193742 507070 | 45333 41130 60 | 0.093 % |
255.04/255.04 c | 386854 | 1155 193742 507070 | 45333 41645 60 | 0.092 % |
255.74/255.73 c | 387878 | 1155 193742 507070 | 45333 42669 60 | 0.093 % |
256.04/256.04 c | 388390 | 1155 193742 507070 | 45333 43181 59 | 0.092 % |
256.34/256.36 c | 388907 | 1155 193742 507070 | 45333 43698 59 | 0.092 % |
257.04/257.03 c | 389933 | 1155 193742 507070 | 45333 44724 59 | 0.087 % |
258.04/258.04 c | 391981 | 1155 193742 507070 | 44792 42254 53 | 0.092 % |
258.34/258.32 c | 392493 | 1155 193742 507070 | 44792 42766 52 | 0.092 % |
258.54/258.59 c | 393006 | 1155 193742 507070 | 44792 43279 52 | 0.092 % |
259.04/259.06 c | 394032 | 1155 193742 507070 | 44792 44305 54 | 0.087 % |
259.34/259.34 c | 394545 | 1155 193742 507070 | 44792 44818 55 | 0.087 % |
259.64/259.67 c | 395057 | 1155 193742 507070 | 44792 40849 55 | 0.087 % |
260.14/260.18 c | 396081 | 1155 193742 507070 | 44792 41873 57 | 0.087 % |
261.24/261.29 c | 398132 | 1155 193742 507070 | 44792 43924 60 | 0.087 % |
263.74/263.74 c | 402229 | 1155 193742 507070 | 2147483647 43483 57 | 0.087 % |
268.45/268.44 c | 410421 | 1155 193742 507070 | 2147483647 51675 59 | 0.092 % |
281.24/281.27 c | 426805 | 1155 193742 507070 | 61254 58375 60 | 0.087 % |
312.93/312.93 c | 459576 | 1155 193742 507070 | 48404 46951 59 | 0.092 % |
361.44/361.44 c | 525113 | 1155 193742 507070 | 36708 36971 134 | 0.087 % |
361.74/361.76 c | 525625 | 1155 193742 507070 | 36708 33491 129 | 0.087 % |
362.04/362.11 c | 526137 | 1155 193742 507070 | 36708 34003 128 | 0.092 % |
362.84/362.88 c | 527166 | 1155 193742 507070 | 36708 35032 125 | 0.092 % |
363.24/363.29 c | 527678 | 1155 193742 507070 | 36708 35544 124 | 0.092 % |
363.64/363.66 c | 528190 | 1155 193742 507070 | 36708 36056 123 | 0.092 % |
364.44/364.49 c | 529214 | 1155 193742 507070 | 36708 37080 121 | 0.092 % |
365.94/365.94 c | 531262 | 1155 193742 507070 | 33648 31098 106 | 0.092 % |
366.24/366.28 c | 531775 | 1155 193742 507070 | 33648 31611 105 | 0.092 % |
366.54/366.58 c | 532289 | 1155 193742 507070 | 33648 32125 104 | 0.092 % |
367.04/367.04 c | 533313 | 1155 193742 507070 | 33648 33149 102 | 0.092 % |
367.34/367.32 c | 533825 | 1155 193742 507070 | 33648 33661 102 | 0.092 % |
367.64/367.62 c | 534338 | 1155 193742 507070 | 33648 30808 95 | 0.092 % |
368.24/368.21 c | 535363 | 1155 193742 507070 | 33648 31833 93 | 0.092 % |
369.64/369.64 c | 537412 | 1155 193742 507070 | 33648 33882 90 | 0.092 % |
372.34/372.34 c | 541511 | 1155 193742 507070 | 2147483647 34593 79 | 0.092 % |
372.64/372.66 c | 542025 | 1155 193742 507070 | 2147483647 35107 79 | 0.087 % |
372.94/372.95 c | 542538 | 1155 193742 507070 | 2147483647 35620 80 | 0.087 % |
373.44/373.49 c | 543562 | 1155 193742 507070 | 2147483647 36644 81 | 0.087 % |
373.84/373.83 c | 544076 | 1155 193742 507070 | 2147483647 37158 82 | 0.087 % |
374.14/374.12 c | 544588 | 1155 193742 507070 | 2147483647 37670 83 | 0.087 % |
374.74/374.72 c | 545613 | 1155 193742 507070 | 2147483647 38695 84 | 0.087 % |
375.84/375.89 c | 547661 | 1155 193742 507070 | 2147483647 40743 84 | 0.092 % |
376.14/376.18 c | 548174 | 1155 193742 507070 | 2147483647 41256 84 | 0.092 % |
376.44/376.50 c | 548687 | 1155 193742 507070 | 2147483647 41769 83 | 0.087 % |
377.14/377.18 c | 549714 | 1155 193742 507070 | 2147483647 42796 82 | 0.092 % |
377.44/377.51 c | 550227 | 1155 193742 507070 | 2147483647 43309 82 | 0.092 % |
377.84/377.87 c | 550740 | 1155 193742 507070 | 2147483647 43822 81 | 0.092 % |
378.54/378.57 c | 551765 | 1155 193742 507070 | 2147483647 44847 80 | 0.092 % |
380.04/380.04 c | 553814 | 1155 193742 507070 | 2147483647 46896 79 | 0.093 % |
382.93/382.98 c | 557912 | 1155 193742 507070 | 2147483647 50994 76 | 0.092 % |
387.73/387.74 c | 566104 | 1155 193742 507070 | 53082 52522 67 | 0.093 % |
388.03/388.02 c | 566617 | 1155 193742 507070 | 53082 53035 66 | 0.092 % |
388.34/388.34 c | 567130 | 1155 193742 507070 | 53082 47831 58 | 0.092 % |
388.83/388.86 c | 568155 | 1155 193742 507070 | 53082 48856 58 | 0.092 % |
389.13/389.12 c | 568667 | 1155 193742 507070 | 53082 49368 57 | 0.093 % |
389.33/389.39 c | 569179 | 1155 193742 507070 | 53082 49880 57 | 0.087 % |
389.93/389.96 c | 570206 | 1155 193742 507070 | 2147483647 50907 57 | 0.092 % |
391.13/391.12 c | 572254 | 1155 193742 507070 | 2147483647 52955 57 | 0.092 % |
391.43/391.41 c | 572769 | 1155 193742 507070 | 2147483647 53470 56 | 0.092 % |
391.73/391.75 c | 573283 | 1155 193742 507070 | 2147483647 53984 56 | 0.092 % |
392.53/392.51 c | 574307 | 1155 193742 507070 | 2147483647 55008 56 | 0.092 % |
392.74/392.79 c | 574819 | 1155 193742 507070 | 2147483647 55520 56 | 0.093 % |
393.03/393.10 c | 575331 | 1155 193742 507070 | 2147483647 56032 56 | 0.092 % |
393.63/393.66 c | 576357 | 1155 193742 507070 | 2147483647 57058 56 | 0.092 % |
394.83/394.86 c | 578409 | 1155 193742 507070 | 2147483647 59110 55 | 0.092 % |
397.33/397.34 c | 582506 | 1155 193742 507070 | 2147483647 63207 56 | 0.092 % |
397.63/397.68 c | 583019 | 1155 193742 507070 | 2147483647 63720 57 | 0.087 % |
397.93/398.00 c | 583535 | 1155 193742 507070 | 2147483647 64236 58 | 0.087 % |
398.53/398.56 c | 584559 | 1155 193742 507070 | 2147483647 65260 59 | 0.087 % |
398.73/398.77 c | 585071 | 1155 193742 507070 | 2147483647 65772 60 | 0.087 % |
399.03/399.05 c | 585583 | 1155 193742 507070 | 2147483647 66284 60 | 0.087 % |
399.73/399.72 c | 586607 | 1155 193742 507070 | 2147483647 67308 61 | 0.087 % |
400.93/400.94 c | 588657 | 1155 193742 507070 | 2147483647 69358 61 | 0.092 % |
401.23/401.26 c | 589172 | 1155 193742 507070 | 2147483647 69873 61 | 0.092 % |
401.63/401.61 c | 589684 | 1155 193742 507070 | 2147483647 70385 61 | 0.092 % |
402.23/402.25 c | 590710 | 1155 193742 507070 | 2147483647 71411 61 | 0.092 % |
402.64/402.63 c | 591222 | 1155 193742 507070 | 2147483647 71923 61 | 0.087 % |
402.93/402.92 c | 591734 | 1155 193742 507070 | 2147483647 72435 60 | 0.092 % |
403.43/403.47 c | 592759 | 1155 193742 507070 | 2147483647 73460 61 | 0.092 % |
404.93/404.91 c | 594807 | 1155 193742 507070 | 2147483647 75508 60 | 0.087 % |
407.63/407.70 c | 598904 | 1155 193742 507070 | 2147483647 79605 60 | 0.092 % |
413.53/413.53 c | 607099 | 1155 193742 507070 | 80703 77441 62 | 0.092 % |
427.33/427.33 c | 623484 | 1155 193742 507070 | 77702 68687 82 | 0.087 % |
427.63/427.70 c | 623998 | 1155 193742 507070 | 77702 69201 82 | 0.087 % |
428.13/428.14 c | 624512 | 1155 193742 507070 | 77702 69715 82 | 0.092 % |
428.83/428.86 c | 625538 | 1155 193742 507070 | 77702 70741 82 | 0.087 % |
429.33/429.30 c | 626051 | 1155 193742 507070 | 77702 71254 82 | 0.087 % |
429.63/429.65 c | 626566 | 1155 193742 507070 | 77702 71769 83 | 0.087 % |
430.34/430.35 c | 627590 | 1155 193742 507070 | 77702 72793 84 | 0.087 % |
432.14/432.14 c | 629640 | 1155 193742 507070 | 77702 74843 86 | 0.087 % |
432.54/432.60 c | 630152 | 1155 193742 507070 | 75203 75355 86 | 0.087 % |
433.04/433.05 c | 630669 | 1155 193742 507070 | 75203 62497 91 | 0.092 % |
433.74/433.75 c | 631695 | 1155 193742 507070 | 75203 63523 90 | 0.092 % |
434.14/434.14 c | 632207 | 1155 193742 507070 | 75203 64035 89 | 0.092 % |
434.54/434.61 c | 632721 | 1155 193742 507070 | 75203 64549 89 | 0.092 % |
435.44/435.45 c | 633746 | 1155 193742 507070 | 75203 65574 88 | 0.092 % |
437.04/437.05 c | 635797 | 1155 193742 507070 | 75203 67625 87 | 0.092 % |
440.54/440.52 c | 639896 | 1155 193742 507070 | 75203 71724 85 | 0.092 % |
441.14/441.14 c | 640413 | 1155 193742 507070 | 71830 58560 85 | 0.092 % |
441.64/441.62 c | 640926 | 1155 193742 507070 | 71830 59073 84 | 0.092 % |
442.64/442.63 c | 641953 | 1155 193742 507070 | 71830 60100 84 | 0.092 % |
443.04/443.03 c | 642466 | 1155 193742 507070 | 71830 60613 83 | 0.092 % |
443.44/443.50 c | 642980 | 1155 193742 507070 | 71830 61127 83 | 0.092 % |
444.44/444.42 c | 644008 | 1155 193742 507070 | 71830 62155 82 | 0.092 % |
445.94/445.92 c | 646056 | 1155 193742 507070 | 71830 64203 85 | 0.087 % |
446.34/446.35 c | 646570 | 1155 193742 507070 | 71830 64717 85 | 0.087 % |
446.84/446.84 c | 647082 | 1155 193742 507070 | 71830 65229 85 | 0.087 % |
447.64/447.71 c | 648106 | 1155 193742 507070 | 71830 66253 86 | 0.087 % |
448.14/448.11 c | 648621 | 1155 193742 507070 | 71830 66768 85 | 0.092 % |
448.44/448.45 c | 649133 | 1155 193742 507070 | 71830 67280 85 | 0.092 % |
449.24/449.24 c | 650166 | 1155 193742 507070 | 68147 68313 84 | 0.092 % |
451.04/451.02 c | 652214 | 1155 193742 507070 | 68147 57816 89 | 0.092 % |
454.64/454.67 c | 656312 | 1155 193742 507070 | 68147 61914 86 | 0.092 % |
461.94/461.97 c | 664505 | 1155 193742 507070 | 65604 57356 73 | 0.092 % |
462.34/462.33 c | 665019 | 1155 193742 507070 | 65604 57870 73 | 0.087 % |
462.84/462.81 c | 665534 | 1155 193742 507070 | 65604 58385 74 | 0.087 % |
463.54/463.60 c | 666559 | 1155 193742 507070 | 65604 59410 75 | 0.087 % |
464.04/464.04 c | 667071 | 1155 193742 507070 | 65604 59922 76 | 0.087 % |
464.44/464.41 c | 667583 | 1155 193742 507070 | 65604 60434 76 | 0.087 % |
465.14/465.13 c | 668607 | 1155 193742 507070 | 65604 61458 77 | 0.087 % |
466.94/466.97 c | 670658 | 1155 193742 507070 | 62851 51543 63 | 0.087 % |
467.34/467.31 c | 671173 | 1155 193742 507070 | 62851 52058 63 | 0.092 % |
467.64/467.62 c | 671687 | 1155 193742 507070 | 62851 52572 63 | 0.087 % |
468.24/468.31 c | 672715 | 1155 193742 507070 | 62851 53600 62 | 0.092 % |
468.64/468.63 c | 673227 | 1155 193742 507070 | 62851 54112 62 | 0.092 % |
468.94/468.99 c | 673739 | 1155 193742 507070 | 62851 54624 62 | 0.092 % |
469.74/469.73 c | 674764 | 1155 193742 507070 | 62851 55649 62 | 0.092 % |
471.14/471.20 c | 676814 | 1155 193742 507070 | 62851 57699 61 | 0.092 % |
474.54/474.55 c | 680910 | 1155 193742 507070 | 60886 52948 59 | 0.092 % |
474.94/474.91 c | 681425 | 1155 193742 507070 | 60886 53463 59 | 0.092 % |
475.34/475.36 c | 681941 | 1155 193742 507070 | 60886 53979 59 | 0.092 % |
476.14/476.17 c | 682970 | 1155 193742 507070 | 60886 55008 58 | 0.092 % |
476.54/476.54 c | 683484 | 1155 193742 507070 | 60886 55522 58 | 0.092 % |
476.94/476.93 c | 683999 | 1155 193742 507070 | 60886 56037 58 | 0.092 % |
477.74/477.80 c | 685025 | 1155 193742 507070 | 60886 57063 58 | 0.092 % |
479.14/479.14 c | 687073 | 1155 193742 507070 | 60886 59111 60 | 0.087 % |
479.54/479.52 c | 687586 | 1155 193742 507070 | 60886 59624 60 | 0.087 % |
479.84/479.90 c | 688099 | 1155 193742 507070 | 60886 60137 61 | 0.087 % |
480.64/480.62 c | 689123 | 1155 193742 507070 | 60886 61161 62 | 0.087 % |
480.94/480.98 c | 689639 | 1155 193742 507070 | 60886 53531 61 | 0.087 % |
481.34/481.36 c | 690151 | 1155 193742 507070 | 53892 54043 61 | 0.092 % |
482.14/482.12 c | 691178 | 1155 193742 507070 | 53892 47919 59 | 0.093 % |
483.64/483.64 c | 693226 | 1155 193742 507070 | 53892 49967 58 | 0.092 % |
486.44/486.42 c | 697322 | 1155 193742 507070 | 53892 54063 57 | 0.092 % |
492.14/492.20 c | 705517 | 1155 193742 507070 | 49849 48501 57 | 0.087 % |
502.64/502.70 c | 721903 | 1155 193742 507070 | 45587 41388 77 | 0.087 % |
528.14/528.15 c | 754674 | 1155 193742 507070 | 35249 33669 54 | 0.092 % |
528.54/528.55 c | 755188 | 1155 193742 507070 | 35249 34183 54 | 0.092 % |
528.84/528.85 c | 755700 | 1155 193742 507070 | 35249 34695 54 | 0.092 % |
529.34/529.37 c | 756724 | 1155 193742 507070 | 35249 35719 54 | 0.087 % |
529.64/529.64 c | 757237 | 1155 193742 507070 | 35249 30640 55 | 0.092 % |
529.84/529.87 c | 757752 | 1155 193742 507070 | 35249 31155 54 | 0.092 % |
530.34/530.36 c | 758777 | 1155 193742 507070 | 35249 32180 54 | 0.093 % |
531.44/531.49 c | 760825 | 1155 193742 507070 | 33404 30421 53 | 0.093 % |
531.64/531.69 c | 761337 | 1155 193742 507070 | 33404 30933 52 | 0.092 % |
531.84/531.87 c | 761850 | 1155 193742 507070 | 33404 31446 52 | 0.092 % |
532.34/532.36 c | 762876 | 1155 193742 507070 | 33404 32472 52 | 0.092 % |
532.54/532.56 c | 763388 | 1155 193742 507070 | 33404 32984 52 | 0.092 % |
532.84/532.81 c | 763900 | 1155 193742 507070 | 33404 33496 52 | 0.092 % |
533.24/533.24 c | 764924 | 1155 193742 507070 | 33404 31171 49 | 0.092 % |
534.04/534.01 c | 766972 | 1155 193742 507070 | 33404 33219 49 | 0.093 % |
535.84/535.87 c | 771069 | 1155 193742 507070 | 2147483647 33937 46 | 0.092 % |
536.04/536.05 c | 771581 | 1155 193742 507070 | 2147483647 34449 48 | 0.087 % |
536.24/536.27 c | 772094 | 1155 193742 507070 | 2147483647 34962 49 | 0.087 % |
536.74/536.73 c | 773118 | 1155 193742 507070 | 2147483647 35986 51 | 0.087 % |
536.94/536.93 c | 773630 | 1155 193742 507070 | 2147483647 36498 51 | 0.092 % |
537.14/537.14 c | 774142 | 1155 193742 507070 | 2147483647 37010 50 | 0.092 % |
537.64/537.63 c | 775167 | 1155 193742 507070 | 2147483647 38035 50 | 0.092 % |
538.54/538.56 c | 777218 | 1155 193742 507070 | 2147483647 40086 50 | 0.092 % |
538.74/538.76 c | 777731 | 1155 193742 507070 | 2147483647 40599 49 | 0.092 % |
538.94/539.01 c | 778243 | 1155 193742 507070 | 2147483647 41111 49 | 0.092 % |
539.44/539.47 c | 779267 | 1155 193742 507070 | 2147483647 42135 49 | 0.092 % |
539.74/539.73 c | 779779 | 1155 193742 507070 | 2147483647 42647 49 | 0.092 % |
539.94/539.97 c | 780293 | 1155 193742 507070 | 2147483647 43161 49 | 0.087 % |
540.44/540.42 c | 781317 | 1155 193742 507070 | 2147483647 44185 48 | 0.092 % |
541.44/541.42 c | 783365 | 1155 193742 507070 | 2147483647 46233 48 | 0.092 % |
543.54/543.51 c | 787461 | 1155 193742 507070 | 2147483647 50329 47 | 0.092 % |
547.75/547.80 c | 795658 | 1155 193742 507070 | 2147483647 58526 47 | 0.092 % |
548.15/548.12 c | 796172 | 1155 193742 507070 | 2147483647 59040 47 | 0.092 % |
548.35/548.39 c | 796684 | 1155 193742 507070 | 2147483647 59552 47 | 0.092 % |
548.85/548.91 c | 797709 | 1155 193742 507070 | 2147483647 60577 47 | 0.087 % |
549.15/549.19 c | 798225 | 1155 193742 507070 | 2147483647 61093 47 | 0.087 % |
549.45/549.46 c | 798740 | 1155 193742 507070 | 2147483647 61608 47 | 0.092 % |
549.95/549.97 c | 799764 | 1155 193742 507070 | 2147483647 62632 46 | 0.092 % |
551.05/551.09 c | 801814 | 1155 193742 507070 | 2147483647 64682 46 | 0.092 % |
551.35/551.38 c | 802327 | 1155 193742 507070 | 2147483647 65195 46 | 0.092 % |
551.65/551.66 c | 802839 | 1155 193742 507070 | 2147483647 65707 47 | 0.092 % |
552.25/552.23 c | 803863 | 1155 193742 507070 | 2147483647 66731 46 | 0.092 % |
552.55/552.56 c | 804376 | 1155 193742 507070 | 2147483647 67244 46 | 0.092 % |
552.85/552.87 c | 804889 | 1155 193742 507070 | 2147483647 67757 46 | 0.092 % |
553.45/553.43 c | 805913 | 1155 193742 507070 | 2147483647 68781 46 | 0.092 % |
554.55/554.60 c | 807961 | 1155 193742 507070 | 2147483647 70829 46 | 0.092 % |
556.95/556.92 c | 812061 | 1155 193742 507070 | 2147483647 74929 46 | 0.092 % |
557.25/557.23 c | 812573 | 1155 193742 507070 | 2147483647 75441 47 | 0.087 % |
557.55/557.52 c | 813090 | 1155 193742 507070 | 2147483647 75958 47 | 0.087 % |
558.15/558.12 c | 814114 | 1155 193742 507070 | 2147483647 76982 49 | 0.087 % |
558.35/558.38 c | 814627 | 1155 193742 507070 | 2147483647 77495 49 | 0.087 % |
558.65/558.64 c | 815139 | 1155 193742 507070 | 2147483647 78007 49 | 0.087 % |
559.25/559.26 c | 816164 | 1155 193742 507070 | 2147483647 79032 49 | 0.092 % |
560.35/560.37 c | 818212 | 1155 193742 507070 | 2147483647 81080 49 | 0.092 % |
560.65/560.68 c | 818724 | 1155 193742 507070 | 2147483647 81592 49 | 0.092 % |
560.95/560.99 c | 819236 | 1155 193742 507070 | 2147483647 82104 49 | 0.093 % |
561.65/561.65 c | 820260 | 1155 193742 507070 | 2147483647 83128 49 | 0.092 % |
561.95/561.97 c | 820773 | 1155 193742 507070 | 2147483647 83641 49 | 0.093 % |
562.25/562.26 c | 821285 | 1155 193742 507070 | 2147483647 84153 49 | 0.093 % |
562.85/562.84 c | 822311 | 1155 193742 507070 | 2147483647 85179 49 | 0.092 % |
564.25/564.30 c | 824360 | 1155 193742 507070 | 2147483647 87228 48 | 0.092 % |
566.85/566.83 c | 828456 | 1155 193742 507070 | 2147483647 91324 48 | 0.093 % |
571.95/571.96 c | 836651 | 1155 193742 507070 | 92869 89020 46 | 0.093 % |
585.15/585.17 c | 853035 | 1155 193742 507070 | 88913 76811 49 | 0.092 % |
585.45/585.50 c | 853547 | 1155 193742 507070 | 88913 77323 49 | 0.087 % |
585.85/585.83 c | 854059 | 1155 193742 507070 | 88913 77835 50 | 0.087 % |
586.45/586.47 c | 855083 | 1155 193742 507070 | 88913 78859 51 | 0.087 % |
586.75/586.81 c | 855601 | 1155 193742 507070 | 88913 79377 51 | 0.087 % |
587.25/587.22 c | 856113 | 1155 193742 507070 | 88913 79889 51 | 0.092 % |
587.95/587.96 c | 857138 | 1155 193742 507070 | 88913 80914 51 | 0.092 % |
589.25/589.29 c | 859191 | 1155 193742 507070 | 88913 82967 51 | 0.092 % |
589.65/589.63 c | 859706 | 1155 193742 507070 | 88913 83482 51 | 0.092 % |
589.95/590.00 c | 860218 | 1155 193742 507070 | 83777 83994 51 | 0.092 % |
590.75/590.75 c | 861244 | 1155 193742 507070 | 83777 72450 52 | 0.092 % |
591.05/591.06 c | 861758 | 1155 193742 507070 | 83777 72964 52 | 0.092 % |
591.35/591.40 c | 862271 | 1155 193742 507070 | 83777 73477 52 | 0.093 % |
592.05/592.10 c | 863297 | 1155 193742 507070 | 83777 74503 52 | 0.092 % |
593.55/593.60 c | 865346 | 1155 193742 507070 | 83777 76552 52 | 0.092 % |
596.65/596.67 c | 869443 | 1155 193742 507070 | 83777 80649 52 | 0.092 % |
596.95/596.95 c | 869955 | 1155 193742 507070 | 83777 81161 52 | 0.093 % |
597.25/597.25 c | 870468 | 1155 193742 507070 | 81207 81674 52 | 0.087 % |
598.05/598.03 c | 871492 | 1155 193742 507070 | 81207 71573 53 | 0.092 % |
598.35/598.33 c | 872006 | 1155 193742 507070 | 81207 72087 53 | 0.092 % |
598.55/598.60 c | 872520 | 1155 193742 507070 | 81207 72601 53 | 0.087 % |
599.15/599.21 c | 873544 | 1155 193742 507070 | 81207 73625 54 | 0.087 % |
600.55/600.56 c | 875593 | 1155 193742 507070 | 81207 75674 56 | 0.087 % |
600.85/600.90 c | 876108 | 1155 193742 507070 | 81207 76189 56 | 0.087 % |
601.25/601.21 c | 876621 | 1155 193742 507070 | 81207 76702 57 | 0.087 % |
601.95/601.92 c | 877649 | 1155 193742 507070 | 81207 77730 56 | 0.087 % |
602.25/602.28 c | 878161 | 1155 193742 507070 | 81207 78242 56 | 0.092 % |
602.55/602.59 c | 878673 | 1155 193742 507070 | 81207 78754 56 | 0.092 % |
603.35/603.34 c | 879697 | 1155 193742 507070 | 81207 79778 56 | 0.092 % |
604.75/604.75 c | 881753 | 1155 193742 507070 | 80081 71436 54 | 0.092 % |
607.65/607.64 c | 885853 | 1155 193742 507070 | 80081 75536 54 | 0.087 % |
613.86/613.90 c | 894045 | 1155 193742 507070 | 79683 72426 54 | 0.092 % |
614.25/614.24 c | 894557 | 1155 193742 507070 | 79683 72938 54 | 0.087 % |
614.55/614.53 c | 895069 | 1155 193742 507070 | 79683 73450 55 | 0.087 % |
615.15/615.16 c | 896095 | 1155 193742 507070 | 79683 74476 56 | 0.087 % |
615.45/615.45 c | 896609 | 1155 193742 507070 | 79683 74990 57 | 0.087 % |
615.75/615.78 c | 897122 | 1155 193742 507070 | 79683 75503 57 | 0.087 % |
616.45/616.49 c | 898146 | 1155 193742 507070 | 79683 76527 57 | 0.092 % |
617.85/617.91 c | 900195 | 1155 193742 507070 | 78381 78576 56 | 0.092 % |
618.35/618.34 c | 900709 | 1155 193742 507070 | 78381 67678 58 | 0.092 % |
618.75/618.74 c | 901225 | 1155 193742 507070 | 78381 68194 58 | 0.092 % |
619.45/619.49 c | 902250 | 1155 193742 507070 | 78381 69219 58 | 0.093 % |
619.95/619.91 c | 902762 | 1155 193742 507070 | 78381 69731 57 | 0.092 % |
620.25/620.26 c | 903276 | 1155 193742 507070 | 78381 70245 57 | 0.092 % |
620.95/620.94 c | 904300 | 1155 193742 507070 | 78381 71269 57 | 0.092 % |
622.55/622.56 c | 906352 | 1155 193742 507070 | 78381 73321 57 | 0.092 % |
625.75/625.74 c | 910448 | 1155 193742 507070 | 76970 77417 57 | 0.093 % |
626.25/626.22 c | 910961 | 1155 193742 507070 | 76970 66358 54 | 0.093 % |
626.55/626.54 c | 911474 | 1155 193742 507070 | 76970 66871 54 | 0.092 % |
627.25/627.24 c | 912499 | 1155 193742 507070 | 76970 67896 54 | 0.092 % |
627.65/627.64 c | 913017 | 1155 193742 507070 | 76970 68414 54 | 0.093 % |
627.95/627.97 c | 913530 | 1155 193742 507070 | 76970 68927 54 | 0.087 % |
628.55/628.54 c | 914557 | 1155 193742 507070 | 76970 69954 56 | 0.087 % |
629.85/629.90 c | 916605 | 1155 193742 507070 | 76970 72002 59 | 0.087 % |
630.25/630.26 c | 917118 | 1155 193742 507070 | 76970 72515 60 | 0.087 % |
630.55/630.61 c | 917632 | 1155 193742 507070 | 76970 73029 60 | 0.093 % |
631.25/631.30 c | 918659 | 1155 193742 507070 | 76970 74056 59 | 0.092 % |
631.65/631.66 c | 919172 | 1155 193742 507070 | 76970 74569 59 | 0.092 % |
632.05/632.06 c | 919686 | 1155 193742 507070 | 76970 75083 59 | 0.087 % |
632.95/632.92 c | 920710 | 1155 193742 507070 | 75397 65019 58 | 0.092 % |
634.35/634.31 c | 922758 | 1155 193742 507070 | 75397 67067 58 | 0.093 % |
637.45/637.46 c | 926858 | 1155 193742 507070 | 75397 71167 57 | 0.092 % |
643.95/643.98 c | 935050 | 1155 193742 507070 | 74312 66964 55 | 0.093 % |
657.24/657.26 c | 951437 | 1155 193742 507070 | 71065 60117 83 | 0.087 % |
687.15/687.11 c | 984206 | 1155 193742 507070 | 61238 51936 86 | 0.087 % |
741.46/741.46 c | 1049742 | 1155 193742 507070 | 37988 32860 60 | 0.093 % |
831.96/831.96 c | 1180815 | 1155 193742 507070 | 2147483647 38783 42 | 0.093 % |
832.26/832.23 c | 1181329 | 1155 193742 507070 | 2147483647 39297 42 | 0.092 % |
832.56/832.56 c | 1181842 | 1155 193742 507070 | 2147483647 39810 42 | 0.092 % |
833.26/833.22 c | 1182868 | 1155 193742 507070 | 2147483647 40836 42 | 0.092 % |
833.56/833.60 c | 1183382 | 1155 193742 507070 | 2147483647 41350 42 | 0.092 % |
833.96/833.92 c | 1183896 | 1155 193742 507070 | 2147483647 41864 42 | 0.093 % |
834.56/834.53 c | 1184920 | 1155 193742 507070 | 2147483647 42888 41 | 0.092 % |
835.56/835.56 c | 1186970 | 1155 193742 507070 | 2147483647 44938 42 | 0.092 % |
835.86/835.83 c | 1187482 | 1155 193742 507070 | 2147483647 45450 42 | 0.093 % |
836.06/836.08 c | 1187996 | 1155 193742 507070 | 2147483647 45964 42 | 0.092 % |
836.56/836.52 c | 1189021 | 1155 193742 507070 | 2147483647 46989 42 | 0.093 % |
836.76/836.73 c | 1189533 | 1155 193742 507070 | 2147483647 47501 43 | 0.087 % |
836.86/836.91 c | 1190047 | 1155 193742 507070 | 2147483647 48015 44 | 0.087 % |
837.26/837.30 c | 1191072 | 1155 193742 507070 | 2147483647 49040 47 | 0.087 % |
838.16/838.11 c | 1193123 | 1155 193742 507070 | 2147483647 51091 51 | 0.087 % |
840.16/840.16 c | 1197220 | 1155 193742 507070 | 2147483647 55188 50 | 0.092 % |
840.36/840.39 c | 1197733 | 1155 193742 507070 | 2147483647 55701 50 | 0.093 % |
840.56/840.61 c | 1198247 | 1155 193742 507070 | 2147483647 56215 50 | 0.092 % |
841.06/841.03 c | 1199271 | 1155 193742 507070 | 2147483647 57239 50 | 0.092 % |
841.26/841.25 c | 1199784 | 1155 193742 507070 | 2147483647 57752 50 | 0.092 % |
841.46/841.50 c | 1200296 | 1155 193742 507070 | 2147483647 58264 50 | 0.092 % |
841.96/841.94 c | 1201321 | 1155 193742 507070 | 2147483647 59289 50 | 0.092 % |
842.96/842.93 c | 1203370 | 1155 193742 507070 | 2147483647 61338 50 | 0.092 % |
843.26/843.21 c | 1203883 | 1155 193742 507070 | 2147483647 61851 50 | 0.093 % |
843.46/843.51 c | 1204395 | 1155 193742 507070 | 2147483647 62363 50 | 0.093 % |
844.06/844.02 c | 1205419 | 1155 193742 507070 | 2147483647 63387 50 | 0.093 % |
844.36/844.31 c | 1205934 | 1155 193742 507070 | 2147483647 63902 50 | 0.093 % |
844.56/844.58 c | 1206446 | 1155 193742 507070 | 2147483647 64414 50 | 0.092 % |
845.16/845.18 c | 1207471 | 1155 193742 507070 | 2147483647 65439 50 | 0.092 % |
846.26/846.25 c | 1209519 | 1155 193742 507070 | 2147483647 67487 50 | 0.092 % |
848.76/848.72 c | 1213616 | 1155 193742 507070 | 2147483647 71584 54 | 0.087 % |
853.76/853.72 c | 1221808 | 1155 193742 507070 | 2147483647 79776 56 | 0.092 % |
854.06/854.05 c | 1222323 | 1155 193742 507070 | 2147483647 80291 56 | 0.087 % |
854.46/854.41 c | 1222835 | 1155 193742 507070 | 2147483647 80803 56 | 0.092 % |
855.06/855.09 c | 1223862 | 1155 193742 507070 | 2147483647 81830 56 | 0.093 % |
855.46/855.48 c | 1224374 | 1155 193742 507070 | 2147483647 82342 56 | 0.093 % |
855.87/855.90 c | 1224896 | 1155 193742 507070 | 2147483647 82864 56 | 0.092 % |
856.66/856.65 c | 1225920 | 1155 193742 507070 | 2147483647 83888 56 | 0.092 % |
857.96/858.01 c | 1227969 | 1155 193742 507070 | 2147483647 85937 55 | 0.092 % |
858.26/858.26 c | 1228481 | 1155 193742 507070 | 2147483647 86449 55 | 0.092 % |
858.56/858.53 c | 1228994 | 1155 193742 507070 | 2147483647 86962 55 | 0.093 % |
859.06/859.11 c | 1230018 | 1155 193742 507070 | 87968 87986 55 | 0.087 % |
859.76/859.74 c | 1230531 | 1155 193742 507070 | 87968 78451 57 | 0.087 % |
860.06/860.02 c | 1231044 | 1155 193742 507070 | 87968 78964 58 | 0.087 % |
860.66/860.62 c | 1232068 | 1155 193742 507070 | 87968 79988 58 | 0.087 % |
861.86/861.81 c | 1234116 | 1155 193742 507070 | 87968 82036 60 | 0.087 % |
864.16/864.16 c | 1238213 | 1155 193742 507070 | 87968 86133 60 | 0.087 % |
864.56/864.51 c | 1238726 | 1155 193742 507070 | 87968 86646 60 | 0.093 % |
864.86/864.82 c | 1239238 | 1155 193742 507070 | 87968 87158 60 | 0.093 % |
865.56/865.59 c | 1240262 | 1155 193742 507070 | 87923 88182 60 | 0.092 % |
866.16/866.17 c | 1240777 | 1155 193742 507070 | 87923 77675 62 | 0.093 % |
866.56/866.55 c | 1241289 | 1155 193742 507070 | 87923 78187 62 | 0.092 % |
867.26/867.25 c | 1242314 | 1155 193742 507070 | 87923 79212 62 | 0.092 % |
868.46/868.51 c | 1244365 | 1155 193742 507070 | 87923 81263 62 | 0.092 % |
868.86/868.86 c | 1244880 | 1155 193742 507070 | 87923 81778 61 | 0.093 % |
869.26/869.23 c | 1245393 | 1155 193742 507070 | 87923 82291 61 | 0.093 % |
870.06/870.01 c | 1246417 | 1155 193742 507070 | 87923 83315 61 | 0.093 % |
870.46/870.41 c | 1246930 | 1155 193742 507070 | 87923 83828 61 | 0.093 % |
870.86/870.86 c | 1247443 | 1155 193742 507070 | 87923 84341 61 | 0.092 % |
871.66/871.62 c | 1248473 | 1155 193742 507070 | 87923 85371 61 | 0.092 % |
873.56/873.53 c | 1250523 | 1155 193742 507070 | 86898 75119 62 | 0.092 % |
876.26/876.26 c | 1254619 | 1155 193742 507070 | 86898 79215 66 | 0.087 % |
882.86/882.85 c | 1262813 | 1155 193742 507070 | 84597 75423 66 | 0.087 % |
895.67/895.68 c | 1279198 | 1155 193742 507070 | 82610 78724 65 | 0.092 % |
896.17/896.13 c | 1279710 | 1155 193742 507070 | 82610 79236 65 | 0.087 % |
896.57/896.61 c | 1280222 | 1155 193742 507070 | 79528 79748 65 | 0.092 % |
897.47/897.50 c | 1281248 | 1155 193742 507070 | 79528 66218 60 | 0.092 % |
897.87/897.87 c | 1281761 | 1155 193742 507070 | 79528 66731 60 | 0.092 % |
898.27/898.26 c | 1282273 | 1155 193742 507070 | 79528 67243 60 | 0.092 % |
899.07/899.07 c | 1283297 | 1155 193742 507070 | 79528 68267 59 | 0.092 % |
900.67/900.68 c | 1285347 | 1155 193742 507070 | 79528 70317 59 | 0.092 % |
901.07/901.09 c | 1285861 | 1155 193742 507070 | 79528 70831 58 | 0.092 % |
901.47/901.52 c | 1286375 | 1155 193742 507070 | 79528 71345 58 | 0.092 % |
902.37/902.32 c | 1287399 | 1155 193742 507070 | 79528 72369 58 | 0.092 % |
902.77/902.73 c | 1287911 | 1155 193742 507070 | 79528 72881 58 | 0.092 % |
903.17/903.18 c | 1288425 | 1155 193742 507070 | 79528 73395 58 | 0.092 % |
903.97/903.99 c | 1289449 | 1155 193742 507070 | 79528 74419 57 | 0.092 % |
905.37/905.33 c | 1291497 | 1155 193742 507070 | 74971 63811 56 | 0.092 % |
907.97/908.01 c | 1295593 | 1155 193742 507070 | 74971 67907 55 | 0.092 % |
908.37/908.36 c | 1296105 | 1155 193742 507070 | 74971 68419 56 | 0.087 % |
908.67/908.71 c | 1296617 | 1155 193742 507070 | 74971 68931 56 | 0.092 % |
909.47/909.43 c | 1297641 | 1155 193742 507070 | 74971 69955 55 | 0.092 % |
909.77/909.72 c | 1298154 | 1155 193742 507070 | 74971 70468 55 | 0.092 % |
910.07/910.05 c | 1298668 | 1155 193742 507070 | 74971 70982 55 | 0.092 % |
910.57/910.56 c | 1299692 | 1155 193742 507070 | 74971 72006 55 | 0.092 % |
911.97/911.96 c | 1301744 | 1155 193742 507070 | 72319 65415 55 | 0.092 % |
912.27/912.22 c | 1302258 | 1155 193742 507070 | 72319 65929 55 | 0.092 % |
912.57/912.52 c | 1302771 | 1155 193742 507070 | 72319 66442 55 | 0.092 % |
913.07/913.09 c | 1303796 | 1155 193742 507070 | 72319 67467 55 | 0.092 % |
913.37/913.39 c | 1304309 | 1155 193742 507070 | 72319 67980 55 | 0.092 % |
913.67/913.71 c | 1304821 | 1155 193742 507070 | 72319 68492 55 | 0.092 % |
914.27/914.32 c | 1305847 | 1155 193742 507070 | 72319 69518 55 | 0.092 % |
915.67/915.64 c | 1307895 | 1155 193742 507070 | 72319 71566 54 | 0.092 % |
918.47/918.49 c | 1311992 | 1155 193742 507070 | 2147483647 68377 54 | 0.092 % |
924.17/924.17 c | 1320184 | 1155 193742 507070 | 76385 76569 53 | 0.092 % |
924.57/924.60 c | 1320697 | 1155 193742 507070 | 76385 68000 46 | 0.092 % |
924.87/924.91 c | 1321211 | 1155 193742 507070 | 76385 68514 46 | 0.087 % |
925.47/925.47 c | 1322239 | 1155 193742 507070 | 76385 69542 46 | 0.087 % |
925.77/925.77 c | 1322751 | 1155 193742 507070 | 76385 70054 46 | 0.092 % |
926.07/926.06 c | 1323263 | 1155 193742 507070 | 76385 70566 46 | 0.092 % |
926.67/926.65 c | 1324287 | 1155 193742 507070 | 76385 71590 46 | 0.092 % |
927.87/927.83 c | 1326336 | 1155 193742 507070 | 76385 73639 46 | 0.092 % |
928.07/928.10 c | 1326848 | 1155 193742 507070 | 76385 74151 46 | 0.092 % |
928.37/928.40 c | 1327360 | 1155 193742 507070 | 76385 74663 46 | 0.092 % |
928.97/929.00 c | 1328385 | 1155 193742 507070 | 76385 75688 46 | 0.093 % |
929.37/929.34 c | 1328898 | 1155 193742 507070 | 76385 76201 46 | 0.093 % |
929.67/929.63 c | 1329410 | 1155 193742 507070 | 76385 76713 46 | 0.092 % |
930.27/930.23 c | 1330434 | 1155 193742 507070 | 2147483647 70066 45 | 0.093 % |
931.57/931.57 c | 1332482 | 1155 193742 507070 | 2147483647 72114 45 | 0.093 % |
934.27/934.22 c | 1336583 | 1155 193742 507070 | 2147483647 76215 45 | 0.093 % |
934.57/934.54 c | 1337099 | 1155 193742 507070 | 2147483647 76731 45 | 0.087 % |
934.77/934.81 c | 1337612 | 1155 193742 507070 | 2147483647 77244 46 | 0.087 % |
935.37/935.36 c | 1338637 | 1155 193742 507070 | 2147483647 78269 46 | 0.087 % |
935.67/935.64 c | 1339149 | 1155 193742 507070 | 2147483647 78781 46 | 0.092 % |
935.97/936.00 c | 1339661 | 1155 193742 507070 | 2147483647 79293 46 | 0.092 % |
936.77/936.73 c | 1340687 | 1155 193742 507070 | 79632 71886 46 | 0.092 % |
937.97/937.92 c | 1342735 | 1155 193742 507070 | 79632 73934 46 | 0.092 % |
938.27/938.24 c | 1343249 | 1155 193742 507070 | 79632 74448 46 | 0.092 % |
938.57/938.56 c | 1343761 | 1155 193742 507070 | 79632 74960 46 | 0.092 % |
939.17/939.21 c | 1344786 | 1155 193742 507070 | 79632 75985 46 | 0.092 % |
939.57/939.57 c | 1345298 | 1155 193742 507070 | 79632 76497 46 | 0.092 % |
939.97/939.95 c | 1345811 | 1155 193742 507070 | 79632 77010 46 | 0.092 % |
940.67/940.66 c | 1346835 | 1155 193742 507070 | 79632 78034 46 | 0.092 % |
941.97/942.00 c | 1348883 | 1155 193742 507070 | 79632 80082 45 | 0.092 % |
944.77/944.80 c | 1352981 | 1155 193742 507070 | 73170 68443 45 | 0.092 % |
950.67/950.67 c | 1361174 | 1155 193742 507070 | 66560 59181 44 | 0.092 % |
962.58/962.53 c | 1377559 | 1155 193742 507070 | 59315 59036 47 | 0.093 % |
985.77/985.76 c | 1410328 | 1155 193742 507070 | 38642 38967 99 | 0.087 % |
986.37/986.32 c | 1410841 | 1155 193742 507070 | 38642 32410 97 | 0.087 % |
986.78/986.77 c | 1411353 | 1155 193742 507070 | 38642 32922 96 | 0.093 % |
987.67/987.71 c | 1412380 | 1155 193742 507070 | 38642 33949 94 | 0.093 % |
987.97/988.01 c | 1412892 | 1155 193742 507070 | 38642 34461 94 | 0.092 % |
988.37/988.36 c | 1413404 | 1155 193742 507070 | 38642 34973 93 | 0.092 % |
989.07/989.06 c | 1414428 | 1155 193742 507070 | 38642 35997 92 | 0.092 % |
990.57/990.54 c | 1416479 | 1155 193742 507070 | 38642 38048 89 | 0.092 % |
990.97/990.98 c | 1416993 | 1155 193742 507070 | 38642 38562 88 | 0.092 % |
991.37/991.39 c | 1417507 | 1155 193742 507070 | 38642 32957 82 | 0.092 % |
991.87/991.89 c | 1418531 | 1155 193742 507070 | 38642 33981 84 | 0.087 % |
992.17/992.14 c | 1419043 | 1155 193742 507070 | 38642 34493 85 | 0.087 % |
992.47/992.46 c | 1419555 | 1155 193742 507070 | 38642 35005 86 | 0.087 % |
993.17/993.20 c | 1420580 | 1155 193742 507070 | 35457 31437 84 | 0.087 % |
994.27/994.30 c | 1422628 | 1155 193742 507070 | 35457 33485 86 | 0.087 % |
996.77/996.80 c | 1426724 | 1155 193742 507070 | 35457 33687 81 | 0.093 % |
997.17/997.13 c | 1427236 | 1155 193742 507070 | 35457 34199 81 | 0.092 % |
997.47/997.43 c | 1427748 | 1155 193742 507070 | 35457 34711 80 | 0.092 % |
998.07/998.09 c | 1428774 | 1155 193742 507070 | 35457 35737 79 | 0.092 % |
998.47/998.45 c | 1429287 | 1155 193742 507070 | 35457 32396 74 | 0.092 % |
998.77/998.78 c | 1429800 | 1155 193742 507070 | 35457 32909 73 | 0.093 % |
999.47/999.42 c | 1430824 | 1155 193742 507070 | 33109 30569 68 | 0.093 % |
1000.27/1000.29 c | 1432875 | 1155 193742 507070 | 33109 32620 67 | 0.093 % |
1000.57/1000.57 c | 1433387 | 1155 193742 507070 | 33109 33132 66 | 0.092 % |
1000.87/1000.84 c | 1433900 | 1155 193742 507070 | 33109 30332 63 | 0.092 % |
1001.37/1001.39 c | 1434925 | 1155 193742 507070 | 33109 31357 63 | 0.087 % |
1001.67/1001.67 c | 1435440 | 1155 193742 507070 | 33109 31872 62 | 0.093 % |
1001.87/1001.90 c | 1435953 | 1155 193742 507070 | 33109 32385 62 | 0.092 % |
1002.48/1002.43 c | 1436977 | 1155 193742 507070 | 33109 33409 61 | 0.092 % |
1003.48/1003.48 c | 1439027 | 1155 193742 507070 | 33109 32119 59 | 0.092 % |
1005.58/1005.55 c | 1443124 | 1155 193742 507070 | 2147483647 36216 67 | 0.087 % |
1010.48/1010.43 c | 1451316 | 1155 193742 507070 | 2147483647 44408 66 | 0.092 % |
1010.78/1010.79 c | 1451830 | 1155 193742 507070 | 2147483647 44922 66 | 0.087 % |
1011.18/1011.18 c | 1452343 | 1155 193742 507070 | 2147483647 45435 66 | 0.092 % |
1011.88/1011.82 c | 1453367 | 1155 193742 507070 | 2147483647 46459 65 | 0.093 % |
1012.08/1012.12 c | 1453879 | 1155 193742 507070 | 2147483647 46971 65 | 0.092 % |
1012.47/1012.43 c | 1454394 | 1155 193742 507070 | 2147483647 47486 64 | 0.092 % |
1013.07/1013.02 c | 1455421 | 1155 193742 507070 | 2147483647 48513 64 | 0.092 % |
1014.37/1014.33 c | 1457470 | 1155 193742 507070 | 2147483647 50562 63 | 0.092 % |
1014.67/1014.62 c | 1457982 | 1155 193742 507070 | 2147483647 51074 62 | 0.093 % |
1014.97/1014.93 c | 1458494 | 1155 193742 507070 | 2147483647 51586 62 | 0.093 % |
1015.47/1015.45 c | 1459519 | 1155 193742 507070 | 2147483647 52611 62 | 0.092 % |
1015.77/1015.76 c | 1460035 | 1155 193742 507070 | 2147483647 53127 62 | 0.087 % |
1016.07/1016.06 c | 1460550 | 1155 193742 507070 | 2147483647 53642 63 | 0.087 % |
1016.67/1016.69 c | 1461576 | 1155 193742 507070 | 2147483647 54668 64 | 0.087 % |
1017.87/1017.84 c | 1463624 | 1155 193742 507070 | 2147483647 56716 66 | 0.087 % |
1020.37/1020.33 c | 1467721 | 1155 193742 507070 | 2147483647 60813 66 | 0.087 % |
1020.67/1020.68 c | 1468233 | 1155 193742 507070 | 2147483647 61325 66 | 0.092 % |
1020.97/1021.01 c | 1468745 | 1155 193742 507070 | 2147483647 61837 66 | 0.087 % |
1021.57/1021.56 c | 1469769 | 1155 193742 507070 | 2147483647 62861 66 | 0.093 % |
1021.87/1021.82 c | 1470281 | 1155 193742 507070 | 2147483647 63373 66 | 0.092 % |
1022.17/1022.17 c | 1470793 | 1155 193742 507070 | 2147483647 63885 66 | 0.087 % |
1022.77/1022.78 c | 1471818 | 1155 193742 507070 | 2147483647 64910 66 | 0.092 % |
1024.07/1024.09 c | 1473874 | 1155 193742 507070 | 2147483647 66966 65 | 0.092 % |
1024.47/1024.44 c | 1474388 | 1155 193742 507070 | 2147483647 67480 65 | 0.093 % |
1024.77/1024.81 c | 1474901 | 1155 193742 507070 | 2147483647 67993 65 | 0.092 % |
1025.57/1025.54 c | 1475927 | 1155 193742 507070 | 2147483647 69019 64 | 0.093 % |
1025.97/1025.95 c | 1476440 | 1155 193742 507070 | 2147483647 69532 64 | 0.087 % |
1026.37/1026.37 c | 1476955 | 1155 193742 507070 | 2147483647 70047 64 | 0.093 % |
1027.17/1027.17 c | 1477981 | 1155 193742 507070 | 2147483647 71073 64 | 0.093 % |
1028.87/1028.82 c | 1480030 | 1155 193742 507070 | 73093 73122 63 | 0.092 % |
1031.27/1031.29 c | 1484128 | 1155 193742 507070 | 73093 67791 64 | 0.087 % |
1036.87/1036.84 c | 1492325 | 1155 193742 507070 | 65469 60159 63 | 0.087 % |
1048.77/1048.76 c | 1508709 | 1155 193742 507070 | 59523 50553 55 | 0.092 % |
1049.17/1049.14 c | 1509223 | 1155 193742 507070 | 59523 51067 55 | 0.087 % |
1049.47/1049.49 c | 1509736 | 1155 193742 507070 | 59523 51580 55 | 0.092 % |
1050.27/1050.22 c | 1510766 | 1155 193742 507070 | 51848 44302 54 | 0.092 % |
1050.57/1050.52 c | 1511279 | 1155 193742 507070 | 51848 44815 54 | 0.092 % |
1050.87/1050.88 c | 1511793 | 1155 193742 507070 | 51848 45329 54 | 0.092 % |
1051.57/1051.61 c | 1512821 | 1155 193742 507070 | 51848 46357 53 | 0.092 % |
1052.67/1052.68 c | 1514870 | 1155 193742 507070 | 51848 48406 53 | 0.092 % |
1052.97/1052.99 c | 1515383 | 1155 193742 507070 | 51848 48919 53 | 0.092 % |
1053.27/1053.26 c | 1515895 | 1155 193742 507070 | 51848 49431 53 | 0.092 % |
1053.97/1053.92 c | 1516919 | 1155 193742 507070 | 51848 50455 52 | 0.092 % |
1054.27/1054.25 c | 1517431 | 1155 193742 507070 | 51848 50967 52 | 0.087 % |
1054.57/1054.52 c | 1517945 | 1155 193742 507070 | 51848 51481 52 | 0.092 % |
1055.07/1055.06 c | 1518970 | 1155 193742 507070 | 51848 45850 54 | 0.092 % |
1056.17/1056.13 c | 1521019 | 1155 193742 507070 | 46882 42740 49 | 0.092 % |
1058.07/1058.08 c | 1525117 | 1155 193742 507070 | 46882 46838 54 | 0.087 % |
1058.37/1058.38 c | 1525630 | 1155 193742 507070 | 46882 42622 55 | 0.093 % |
1058.67/1058.61 c | 1526142 | 1155 193742 507070 | 46882 43134 55 | 0.092 % |
1059.17/1059.16 c | 1527166 | 1155 193742 507070 | 46882 44158 55 | 0.092 % |
1059.47/1059.44 c | 1527678 | 1155 193742 507070 | 46882 44670 54 | 0.092 % |
1059.77/1059.73 c | 1528191 | 1155 193742 507070 | 46882 45183 54 | 0.092 % |
1060.27/1060.31 c | 1529215 | 1155 193742 507070 | 46882 46207 54 | 0.093 % |
1061.37/1061.32 c | 1531265 | 1155 193742 507070 | 2147483647 48257 53 | 0.093 % |
1061.57/1061.57 c | 1531779 | 1155 193742 507070 | 2147483647 48771 53 | 0.092 % |
1061.87/1061.85 c | 1532294 | 1155 193742 507070 | 2147483647 49286 53 | 0.092 % |
1062.47/1062.44 c | 1533319 | 1155 193742 507070 | 2147483647 50311 53 | 0.092 % |
1062.67/1062.71 c | 1533834 | 1155 193742 507070 | 2147483647 50826 53 | 0.092 % |
1062.97/1062.98 c | 1534346 | 1155 193742 507070 | 2147483647 51338 53 | 0.092 % |
1063.57/1063.52 c | 1535370 | 1155 193742 507070 | 2147483647 52362 53 | 0.092 % |
1064.47/1064.43 c | 1537419 | 1155 193742 507070 | 2147483647 54411 53 | 0.092 % |
1066.67/1066.64 c | 1541515 | 1155 193742 507070 | 2147483647 58507 52 | 0.092 % |
1072.07/1072.04 c | 1549708 | 1155 193742 507070 | 2147483647 66700 60 | 0.087 % |
1072.37/1072.37 c | 1550221 | 1155 193742 507070 | 2147483647 67213 60 | 0.093 % |
1072.77/1072.72 c | 1550733 | 1155 193742 507070 | 2147483647 67725 60 | 0.087 % |
1073.27/1073.31 c | 1551757 | 1155 193742 507070 | 2147483647 68749 60 | 0.092 % |
1073.57/1073.60 c | 1552270 | 1155 193742 507070 | 2147483647 69262 60 | 0.087 % |
1073.87/1073.90 c | 1552782 | 1155 193742 507070 | 2147483647 69774 60 | 0.092 % |
1074.57/1074.58 c | 1553808 | 1155 193742 507070 | 2147483647 70800 60 | 0.092 % |
1076.07/1076.09 c | 1555856 | 1155 193742 507070 | 2147483647 72848 59 | 0.087 % |
1076.47/1076.45 c | 1556368 | 1155 193742 507070 | 2147483647 73360 59 | 0.087 % |
1076.77/1076.79 c | 1556880 | 1155 193742 507070 | 2147483647 73872 59 | 0.092 % |
1077.47/1077.47 c | 1557904 | 1155 193742 507070 | 2147483647 74896 59 | 0.092 % |
1077.77/1077.76 c | 1558416 | 1155 193742 507070 | 2147483647 75408 59 | 0.092 % |
1078.17/1078.16 c | 1558930 | 1155 193742 507070 | 2147483647 75922 59 | 0.093 % |
1078.87/1078.85 c | 1559957 | 1155 193742 507070 | 2147483647 76949 58 | 0.092 % |
1080.47/1080.45 c | 1562008 | 1155 193742 507070 | 76994 70577 59 | 0.092 % |
1083.17/1083.14 c | 1566106 | 1155 193742 507070 | 76994 74675 64 | 0.087 % |
1083.47/1083.49 c | 1566618 | 1155 193742 507070 | 76994 75187 64 | 0.087 % |
1083.87/1083.83 c | 1567131 | 1155 193742 507070 | 76994 75700 64 | 0.092 % |
1084.47/1084.48 c | 1568156 | 1155 193742 507070 | 76994 76725 63 | 0.093 % |
1084.87/1084.86 c | 1568668 | 1155 193742 507070 | 76994 77237 63 | 0.092 % |
1085.37/1085.34 c | 1569180 | 1155 193742 507070 | 76994 68937 64 | 0.092 % |
1086.17/1086.16 c | 1570205 | 1155 193742 507070 | 69757 69962 64 | 0.092 % |
1087.77/1087.77 c | 1572253 | 1155 193742 507070 | 69757 63749 65 | 0.092 % |
1088.27/1088.22 c | 1572768 | 1155 193742 507070 | 69757 64264 65 | 0.092 % |
1088.67/1088.63 c | 1573281 | 1155 193742 507070 | 69757 64777 65 | 0.092 % |
1089.47/1089.42 c | 1574306 | 1155 193742 507070 | 69757 65802 64 | 0.092 % |
1089.87/1089.82 c | 1574821 | 1155 193742 507070 | 69757 66317 64 | 0.092 % |
1090.27/1090.24 c | 1575333 | 1155 193742 507070 | 69757 66829 64 | 0.092 % |
1091.07/1091.08 c | 1576357 | 1155 193742 507070 | 69757 67853 63 | 0.092 % |
1092.47/1092.48 c | 1578405 | 1155 193742 507070 | 69757 69901 63 | 0.092 % |
1095.47/1095.51 c | 1582505 | 1155 193742 507070 | 62008 56112 62 | 0.092 % |
1101.07/1101.02 c | 1590698 | 1155 193742 507070 | 55608 48905 63 | 0.087 % |
1111.37/1111.35 c | 1607083 | 1155 193742 507070 | 51068 44281 56 | 0.092 % |
1137.58/1137.56 c | 1639851 | 1155 193742 507070 | 43137 37807 123 | 0.087 % |
1184.38/1184.33 c | 1705387 | 1155 193742 507070 | 34246 30256 56 | 0.087 % |
1184.78/1184.72 c | 1705899 | 1155 193742 507070 | 34246 30768 56 | 0.092 % |
1185.08/1185.09 c | 1706412 | 1155 193742 507070 | 34246 31281 56 | 0.092 % |
1185.89/1185.90 c | 1707438 | 1155 193742 507070 | 34246 32307 56 | 0.092 % |
1186.28/1186.24 c | 1707951 | 1155 193742 507070 | 34246 32820 55 | 0.092 % |
1186.68/1186.65 c | 1708463 | 1155 193742 507070 | 34246 33332 55 | 0.092 % |
1187.38/1187.34 c | 1709487 | 1155 193742 507070 | 34246 34356 55 | 0.092 % |
1188.38/1188.40 c | 1711535 | 1155 193742 507070 | 30503 28302 53 | 0.092 % |
1188.68/1188.65 c | 1712047 | 1155 193742 507070 | 30503 28814 53 | 0.087 % |
1188.88/1188.84 c | 1712559 | 1155 193742 507070 | 30503 29326 55 | 0.087 % |
1189.28/1189.23 c | 1713585 | 1155 193742 507070 | 30503 30352 57 | 0.087 % |
1189.48/1189.41 c | 1714099 | 1155 193742 507070 | 30503 30866 58 | 0.087 % |
1189.68/1189.65 c | 1714611 | 1155 193742 507070 | 30503 28292 60 | 0.087 % |
1190.08/1190.03 c | 1715637 | 1155 193742 507070 | 30503 29318 60 | 0.093 % |
1190.88/1190.86 c | 1717685 | 1155 193742 507070 | 30503 28262 59 | 0.093 % |
1192.49/1192.50 c | 1721781 | 1155 193742 507070 | 2147483647 32358 56 | 0.092 % |
1192.68/1192.71 c | 1722293 | 1155 193742 507070 | 2147483647 32870 56 | 0.092 % |
1192.98/1192.92 c | 1722806 | 1155 193742 507070 | 2147483647 33383 55 | 0.092 % |
1193.28/1193.30 c | 1723831 | 1155 193742 507070 | 2147483647 34408 55 | 0.092 % |
1193.48/1193.50 c | 1724343 | 1155 193742 507070 | 2147483647 34920 55 | 0.093 % |
1193.78/1193.72 c | 1724857 | 1155 193742 507070 | 2147483647 35434 55 | 0.093 % |
1194.18/1194.15 c | 1725881 | 1155 193742 507070 | 2147483647 36458 54 | 0.093 % |
1194.98/1195.01 c | 1727930 | 1155 193742 507070 | 2147483647 38507 55 | 0.093 % |
1195.28/1195.26 c | 1728442 | 1155 193742 507070 | 2147483647 39019 55 | 0.087 % |
1195.48/1195.51 c | 1728956 | 1155 193742 507070 | 2147483647 39533 55 | 0.093 % |
1196.08/1196.04 c | 1729981 | 1155 193742 507070 | 2147483647 40558 54 | 0.092 % |
1196.28/1196.30 c | 1730494 | 1155 193742 507070 | 2147483647 41071 54 | 0.093 % |
1196.58/1196.59 c | 1731007 | 1155 193742 507070 | 2147483647 41584 54 | 0.092 % |
1197.08/1197.05 c | 1732031 | 1155 193742 507070 | 2147483647 42608 55 | 0.087 % |
1197.99/1197.94 c | 1734081 | 1155 193742 507070 | 2147483647 44658 58 | 0.087 % |
1199.98/1199.94 c | 1738177 | 1155 193742 507070 | 2147483647 48754 63 | 0.087 % |
1200.08/1200.02 HOME/SatELiteGTI: line 36: 1876 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820615-1242459040/watcher-1820615-1242459040 -o /tmp/evaluation-result-1820615-1242459040/solver-1820615-1242459040 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820615-1242459040.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1870
/proc/meminfo: memFree=704604/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2412 CPUtime=0
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 367 643 0 0 0 0 0 0 18 0 1 0 1010404387 2469888 276 4294967295 134512640 135169312 3214914880 3214913416 3085840110 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1870/statm: 603 276 235 161 0 42 0
[pid=1874] ppid=1870 vsize=956 CPUtime=0
/proc/1874/stat : 1874 (SatELite_releas) R 1870 1870 9090 0 -1 4202496 126 0 0 0 0 0 0 0 18 0 1 0 1010404387 978944 61 4294967295 134512640 135223648 3220474512 3220473108 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1874/statm: 239 62 46 174 0 64 0
[startup+0.055053 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1870
/proc/meminfo: memFree=704604/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2412 CPUtime=0
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 367 643 0 0 0 0 0 0 18 0 1 0 1010404387 2469888 276 4294967295 134512640 135169312 3214914880 3214913416 3085840110 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1870/statm: 603 276 235 161 0 42 0
[pid=1874] ppid=1870 vsize=5192 CPUtime=0.06
/proc/1874/stat : 1874 (SatELite_releas) R 1870 1870 9090 0 -1 4202496 1143 0 0 0 6 0 0 0 18 0 1 0 1010404387 5316608 1078 4294967295 134512640 135223648 3220474512 3220473464 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1874/statm: 1298 1079 46 174 0 1123 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7604
[startup+0.115049 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1870
/proc/meminfo: memFree=704604/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2412 CPUtime=0
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 367 643 0 0 0 0 0 0 18 0 1 0 1010404387 2469888 276 4294967295 134512640 135169312 3214914880 3214913416 3085840110 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1870/statm: 603 276 235 161 0 42 0
[pid=1874] ppid=1870 vsize=11512 CPUtime=0.12
/proc/1874/stat : 1874 (SatELite_releas) R 1870 1870 9090 0 -1 4202496 2705 0 0 0 12 0 0 0 18 0 1 0 1010404387 11788288 2640 4294967295 134512640 135223648 3220474512 3220473520 134547591 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1874/statm: 2878 2640 47 174 0 2703 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13924
[startup+0.32506 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1870
/proc/meminfo: memFree=704604/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2416
[startup+0.715022 s]
/proc/loadavg: 1.00 1.00 1.00 2/91 1870
/proc/meminfo: memFree=704604/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2416
[startup+1.51498 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1876
/proc/meminfo: memFree=691816/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=12108 CPUtime=1.22
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 2956 0 0 0 121 1 0 0 21 0 1 0 1010404417 12398592 2891 4294967295 134512640 135216591 3215982240 3215980432 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 3027 2891 75 172 0 2854 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 14524
[startup+3.11491 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1876
/proc/meminfo: memFree=690328/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=13428 CPUtime=2.82
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 3293 0 0 0 281 1 0 0 25 0 1 0 1010404417 13750272 3228 4294967295 134512640 135216591 3215982240 3215980432 134528955 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 3357 3228 75 172 0 3184 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 15844
[startup+6.31475 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1878
/proc/meminfo: memFree=687608/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=17012 CPUtime=6.02
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 4187 0 0 0 599 3 0 0 25 0 1 0 1010404417 17420288 4122 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 4253 4122 75 172 0 4080 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 19428
[startup+12.7144 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1879
/proc/meminfo: memFree=682208/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=21624 CPUtime=12.42
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 5309 0 0 0 1237 5 0 0 25 0 1 0 1010404417 22142976 5244 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 5406 5244 75 172 0 5233 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 24040
[startup+25.5138 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1879
/proc/meminfo: memFree=673376/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=29944 CPUtime=25.22
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 7383 0 0 0 2516 6 0 0 25 0 1 0 1010404417 30662656 7318 4294967295 134512640 135216591 3215982240 3215980432 134528962 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 7486 7318 75 172 0 7313 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 32360
[startup+51.1126 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 2064
/proc/meminfo: memFree=662088/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=40696 CPUtime=50.82
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 10053 0 0 0 5076 6 0 0 25 0 1 0 1010404417 41672704 9988 4294967295 134512640 135216591 3215982240 3215980432 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 10174 9988 75 172 0 10001 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 43112
[startup+102.32 s]
/proc/loadavg: 1.06 1.01 1.00 2/93 2251
/proc/meminfo: memFree=661976/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=40696 CPUtime=102.03
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 10053 0 0 0 10197 6 0 0 25 0 1 0 1010404417 41672704 9988 4294967295 134512640 135216591 3215982240 3215980432 134529243 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 10174 9988 75 172 0 10001 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 43112
[startup+162.317 s]
/proc/loadavg: 1.06 1.03 1.00 2/93 2440
/proc/meminfo: memFree=661820/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=40696 CPUtime=162.03
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 10053 0 0 0 16196 7 0 0 25 0 1 0 1010404417 41672704 9988 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 10174 9988 75 172 0 10001 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 43112
[startup+222.324 s]
/proc/loadavg: 1.02 1.02 1.00 2/93 2626
/proc/meminfo: memFree=661976/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=40696 CPUtime=222.04
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 10060 0 0 0 22197 7 0 0 25 0 1 0 1010404417 41672704 9995 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 10174 9995 75 172 0 10001 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 43112
[startup+282.322 s]
/proc/loadavg: 1.09 1.03 1.01 3/93 2825
/proc/meminfo: memFree=661372/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=40696 CPUtime=282.04
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 10060 0 0 0 28197 7 0 0 25 0 1 0 1010404417 41672704 9995 4294967295 134512640 135216591 3215982240 3215980432 134528888 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 10174 9995 75 172 0 10001 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 43112
[startup+342.319 s]
/proc/loadavg: 1.03 1.02 1.00 2/93 3023
/proc/meminfo: memFree=660960/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=40828 CPUtime=342.04
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 10090 0 0 0 34197 7 0 0 25 0 1 0 1010404417 41807872 10025 4294967295 134512640 135216591 3215982240 3215980432 134528953 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 10207 10025 75 172 0 10034 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 43244
[startup+402.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 3027
/proc/meminfo: memFree=661256/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
################
# More data... #
################
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=462.04
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11081 0 0 0 46196 8 0 0 25 0 1 0 1010404417 45871104 11016 4294967295 134512640 135216591 3215982240 3215980432 134529308 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11016 75 172 0 11026 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 47212
[startup+522.31 s]
/proc/loadavg: 1.07 1.02 1.00 3/93 3403
/proc/meminfo: memFree=657536/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=522.04
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11082 0 0 0 52196 8 0 0 25 0 1 0 1010404417 45871104 11017 4294967295 134512640 135216591 3215982240 3215978672 134545970 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11017 75 172 0 11026 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 47212
[startup+582.317 s]
/proc/loadavg: 1.02 1.02 1.00 5/94 3645
/proc/meminfo: memFree=657028/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=582.05
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11082 0 0 0 58196 9 0 0 25 0 1 0 1010404417 45871104 11017 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11017 75 172 0 11026 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 47212
[startup+642.314 s]
/proc/loadavg: 1.01 1.01 1.00 2/93 3997
/proc/meminfo: memFree=657132/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=642.05
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11082 0 0 0 64196 9 0 0 25 0 1 0 1010404417 45871104 11017 4294967295 134512640 135216591 3215982240 3215980432 134528962 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11017 75 172 0 11026 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 47212
[startup+702.311 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 4001
/proc/meminfo: memFree=657536/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=702.05
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11082 0 0 0 70196 9 0 0 25 0 1 0 1010404417 45871104 11017 4294967295 134512640 135216591 3215982240 3215980432 134528929 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11017 75 172 0 11026 0
Current children cumulated CPU time (s) 702.35
Current children cumulated vsize (KiB) 47212
[startup+762.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4373
/proc/meminfo: memFree=657248/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=762.06
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11082 0 0 0 76197 9 0 0 25 0 1 0 1010404417 45871104 11017 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11017 75 172 0 11026 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 47212
[startup+822.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4375
/proc/meminfo: memFree=657536/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=44796 CPUtime=822.06
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11082 0 0 0 82197 9 0 0 25 0 1 0 1010404417 45871104 11017 4294967295 134512640 135216591 3215982240 3215980432 134528826 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11199 11017 75 172 0 11026 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 47212
[startup+882.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4747
/proc/meminfo: memFree=655256/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46644 CPUtime=882.06
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11564 0 0 0 88197 9 0 0 25 0 1 0 1010404417 47763456 11499 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11661 11499 75 172 0 11488 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 49060
[startup+942.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4751
/proc/meminfo: memFree=655304/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46928 CPUtime=942.07
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11615 0 0 0 94198 9 0 0 25 0 1 0 1010404417 48054272 11550 4294967295 134512640 135216591 3215982240 3215980432 134528833 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11732 11550 75 172 0 11559 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 49344
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 4944
/proc/meminfo: memFree=655304/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46928 CPUtime=1002.07
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11615 0 0 0 100198 9 0 0 25 0 1 0 1010404417 48054272 11550 4294967295 134512640 135216591 3215982240 3215980432 134528902 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11732 11550 75 172 0 11559 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 49344
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5133
/proc/meminfo: memFree=655420/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46928 CPUtime=1062.07
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11615 0 0 0 106198 9 0 0 25 0 1 0 1010404417 48054272 11550 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11732 11550 75 172 0 11559 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 49344
[startup+1122.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5319
/proc/meminfo: memFree=655420/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46928 CPUtime=1122.08
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11615 0 0 0 112199 9 0 0 25 0 1 0 1010404417 48054272 11550 4294967295 134512640 135216591 3215982240 3215980432 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11732 11550 75 172 0 11559 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 49344
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 5507
/proc/meminfo: memFree=655552/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46928 CPUtime=1182.08
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11615 0 0 0 118199 9 0 0 25 0 1 0 1010404417 48054272 11550 4294967295 134512640 135216591 3215982240 3215980432 134528871 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11732 11550 75 172 0 11559 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 49344
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 5691
/proc/meminfo: memFree=655472/2074464 swapFree=1953004/1959888
[pid=1870] ppid=1868 vsize=2416 CPUtime=0.3
/proc/1870/stat : 1870 (SatELiteGTI) S 1868 1870 9090 0 -1 4194304 385 3380 0 0 0 0 29 1 17 0 1 0 1010404387 2473984 277 4294967295 134512640 135169312 3214914880 3214911096 3085840110 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/1870/statm: 604 277 235 161 0 43 0
[pid=1876] ppid=1870 vsize=46928 CPUtime=1199.78
/proc/1876/stat : 1876 (minisat_static) R 1870 1870 9090 0 -1 4202496 11615 0 0 0 119969 9 0 0 25 0 1 0 1010404417 48054272 11550 4294967295 134512640 135216591 3215982240 3215980432 134528948 0 0 0 3 0 0 0 17 2 0 0 0
/proc/1876/statm: 11732 11550 75 172 0 11559 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 49344
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.09
CPU user time (s): 1199.98
CPU system time (s): 0.11
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 49344
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15657
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 685
runsolver used 0.03 second user time and 0.03 second system time
The end
Begin job on tipi19 at 2009-05-16 09:30:40
IDJOB=1820615
IDBENCH=20493
IDSOLVER=658
FILE ID=tipi19/1820615-1242459040
PBS_JOBID=
Free space on /tmp= 10122 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_34.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820615-1242459040/watcher-1820615-1242459040 -o /tmp/evaluation-result-1820615-1242459040/solver-1820615-1242459040 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820615-1242459040.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a27d41b3e10d867544cd2bff7d005be2
RANDOM SEED= 1684238096
Linux tipi19 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.426
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.39
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.426
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 704992 kB
Buffers: 35280 kB
Cached: 1236904 kB
SwapCached: 3036 kB
Active: 485048 kB
Inactive: 796612 kB
HighTotal: 1178688 kB
HighFree: 215808 kB
LowTotal: 895776 kB
LowFree: 489184 kB
SwapTotal: 1959888 kB
SwapFree: 1953004 kB
Dirty: 4296 kB
Writeback: 0 kB
AnonPages: 8944 kB
Mapped: 3424 kB
Slab: 79652 kB
PageTables: 456 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 87780 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10122 MiB
End job on tipi19 at 2009-05-16 09:50:41