0.00/0.00 c Parsing...
0.22/0.24 c ==============================================================================
0.22/0.24 c | | ORIGINAL | LEARNT | |
0.22/0.24 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.22/0.24 c ==============================================================================
0.22/0.24 c | 0 | 304025 890579 | 91207 0 0 nan | 0.000 % |
1.22/1.24 c | 0 | 289635 951406 | -- 0 -- -- | -- | -14343/60934
1.22/1.24 c ==============================================================================
1.22/1.24 c Result : #vars: 11639 #clauses: 289635 #literals: 951406
1.22/1.24 c CPU time: 1.2 s
1.22/1.24 c ==============================================================================
1.52/1.54 c This is MiniSat 2.0 beta
1.52/1.54 c WARNING: for repeatability, setting FPU to use double precision
1.52/1.54 c ============================[ Problem Statistics ]=============================
1.52/1.54 c | |
1.52/1.54 c | Number of variables: 11639 |
1.52/1.54 c | Number of clauses: 289635 |
1.55/1.72 c | Parsing time: 0.17 s |
1.55/1.74 c ============================[ Search Statistics ]==============================
1.55/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.55/1.74 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.55/1.74 c ===============================================================================
1.55/1.74 c | 0 | 11639 289635 951406 | 96545 0 nan | 0.000 % |
1.55/1.91 c | 514 | 11639 289635 951406 | 96545 514 36 | 0.000 % |
1.55/1.98 c | 1026 | 11639 289635 951406 | 96545 1026 43 | 0.000 % |
1.55/2.06 c | 1538 | 11639 289635 951406 | 96545 1538 42 | 0.000 % |
2.12/2.19 c | 2563 | 11639 289635 951406 | 96545 2563 50 | 0.000 % |
2.32/2.32 c | 3075 | 11639 289635 951406 | 96545 3075 54 | 0.000 % |
2.32/2.40 c | 3587 | 11639 289635 951406 | 96545 3587 56 | 0.000 % |
2.62/2.62 c | 4611 | 11639 289635 951406 | 96545 4611 56 | 0.000 % |
3.33/3.35 c | 6660 | 11639 289635 951406 | 96545 6660 64 | 0.000 % |
3.52/3.54 c | 7173 | 11639 289635 951406 | 96545 7173 66 | 0.000 % |
3.72/3.73 c | 7685 | 11639 289635 951406 | 96545 7685 66 | 0.000 % |
4.02/4.10 c | 8709 | 11639 289635 951406 | 96545 8709 67 | 0.000 % |
4.32/4.34 c | 9223 | 11639 289635 951406 | 96545 9223 67 | 0.000 % |
4.43/4.50 c | 9736 | 11639 289635 951406 | 96545 9736 66 | 0.000 % |
4.82/4.83 c | 10762 | 11639 289635 951406 | 2147483647 10762 67 | 0.000 % |
5.42/5.48 c | 12811 | 11639 289635 951406 | 2147483647 12811 69 | 0.000 % |
6.82/6.84 c | 16908 | 11639 289635 951406 | 2147483647 16908 75 | 0.000 % |
6.92/6.97 c | 17421 | 11639 289635 951406 | 2147483647 17421 75 | 0.000 % |
7.12/7.16 c | 17936 | 11639 289635 951406 | 2147483647 17936 76 | 0.000 % |
7.42/7.51 c | 18962 | 11639 289635 951406 | 2147483647 18962 77 | 0.000 % |
7.62/7.70 c | 19474 | 11639 289635 951406 | 2147483647 19474 77 | 0.000 % |
7.82/7.89 c | 19986 | 11639 289635 951406 | 2147483647 19986 77 | 0.000 % |
8.22/8.22 c | 21010 | 11639 289635 951406 | 2147483647 21010 77 | 0.000 % |
8.92/8.97 c | 23058 | 11639 289635 951406 | 2147483647 23058 87 | 0.000 % |
9.12/9.14 c | 23571 | 11639 289635 951406 | 2147483647 23571 89 | 0.000 % |
9.22/9.29 c | 24086 | 11639 289635 951406 | 2147483647 24086 89 | 0.000 % |
9.52/9.55 c | 25111 | 11639 289635 951406 | 2147483647 25111 90 | 0.000 % |
9.72/9.76 c | 25624 | 11639 289635 951406 | 2147483647 25624 89 | 0.000 % |
9.93/9.99 c | 26136 | 11639 289635 951406 | 2147483647 26136 88 | 0.000 % |
10.42/10.46 c | 27160 | 11639 289635 951406 | 2147483647 27160 88 | 0.000 % |
11.21/11.27 c | 29209 | 11639 289635 951406 | 2147483647 29209 88 | 0.001 % |
12.61/12.64 c | 33306 | 11639 289635 951406 | 2147483647 33306 88 | 0.000 % |
15.01/15.03 c | 41498 | 11639 289635 951406 | 2147483647 41498 83 | 0.000 % |
15.21/15.22 c | 42010 | 11639 289635 951406 | 2147483647 42010 83 | 0.000 % |
15.31/15.41 c | 42522 | 11639 289635 951406 | 2147483647 42522 84 | 0.000 % |
15.71/15.75 c | 43548 | 11639 289635 951406 | 2147483647 43548 85 | 0.000 % |
15.91/15.95 c | 44063 | 11639 289635 951406 | 2147483647 44063 85 | 0.000 % |
16.11/16.12 c | 44577 | 11639 289635 951406 | 2147483647 44577 86 | 0.000 % |
16.41/16.45 c | 45601 | 11639 289635 951406 | 2147483647 45601 87 | 0.000 % |
16.91/16.92 c | 47649 | 11639 289635 951406 | 2147483647 47649 86 | 0.000 % |
17.01/17.03 c | 48161 | 11639 289635 951406 | 2147483647 48161 86 | 0.000 % |
17.11/17.15 c | 48674 | 11639 289635 951406 | 2147483647 48674 86 | 0.000 % |
17.31/17.37 c | 49700 | 11639 289635 951406 | 2147483647 49700 85 | 0.001 % |
17.51/17.53 c | 50212 | 11639 289635 951406 | 2147483647 50212 85 | 0.000 % |
17.71/17.71 c | 50724 | 11639 289635 951406 | 2147483647 50724 85 | 0.000 % |
18.01/18.08 c | 51748 | 11639 289635 951406 | 2147483647 51748 84 | 0.000 % |
18.81/18.89 c | 53796 | 11639 289635 951406 | 2147483647 53796 84 | 0.000 % |
20.61/20.65 c | 57893 | 11639 289635 951406 | 2147483647 57893 83 | 0.000 % |
20.71/20.80 c | 58405 | 11639 289635 951406 | 2147483647 58405 83 | 0.000 % |
21.01/21.02 c | 58917 | 11639 289635 951406 | 2147483647 58917 83 | 0.000 % |
21.41/21.45 c | 59941 | 11639 289635 951406 | 2147483647 59941 83 | 0.000 % |
21.61/21.69 c | 60454 | 11639 289635 951406 | 2147483647 60454 83 | 0.000 % |
21.81/21.89 c | 60966 | 11639 289635 951406 | 2147483647 60966 83 | 0.000 % |
22.31/22.36 c | 61990 | 11639 289635 951406 | 2147483647 61990 83 | 0.000 % |
23.01/23.11 c | 64038 | 11639 289635 951406 | 2147483647 64038 84 | 0.000 % |
23.31/23.35 c | 64550 | 11639 289635 951406 | 2147483647 64550 84 | 0.000 % |
23.51/23.58 c | 65063 | 11639 289635 951406 | 2147483647 65063 85 | 0.000 % |
23.91/23.91 c | 66087 | 11639 289635 951406 | 2147483647 66087 85 | 0.000 % |
24.01/24.09 c | 66600 | 11639 289635 951406 | 2147483647 66600 85 | 0.000 % |
24.22/24.26 c | 67112 | 11639 289635 951406 | 2147483647 67112 84 | 0.000 % |
24.61/24.66 c | 68139 | 11639 289635 951406 | 2147483647 68139 85 | 0.000 % |
25.21/25.29 c | 70187 | 11639 289635 951406 | 2147483647 70187 84 | 0.000 % |
26.51/26.58 c | 74283 | 11639 289635 951406 | 2147483647 74283 84 | 0.000 % |
29.52/29.61 c | 82475 | 11639 289635 951406 | 2147483647 82475 82 | 0.000 % |
36.22/36.29 c | 98859 | 11639 289635 951406 | 2147483647 98859 80 | 0.000 % |
36.42/36.51 c | 99371 | 11639 289635 951406 | 2147483647 99371 80 | 0.000 % |
36.62/36.70 c | 99883 | 11639 289635 951406 | 2147483647 99883 80 | 0.000 % |
37.12/37.15 c | 100908 | 11639 289635 951406 | 2147483647 100908 80 | 0.000 % |
37.32/37.40 c | 101421 | 11639 289635 951406 | 2147483647 101421 80 | 0.000 % |
37.52/37.59 c | 101935 | 11639 289635 951406 | 2147483647 101935 80 | 0.000 % |
38.02/38.03 c | 102960 | 11639 289635 951406 | 2147483647 102960 79 | 0.000 % |
38.92/38.95 c | 105008 | 11639 289635 951406 | 2147483647 105008 79 | 0.000 % |
39.12/39.20 c | 105520 | 11639 289635 951406 | 2147483647 105520 79 | 0.000 % |
39.42/39.49 c | 106034 | 11639 289635 951406 | 2147483647 106034 79 | 0.000 % |
39.92/39.98 c | 107058 | 11639 289635 951406 | 2147483647 107058 80 | 0.000 % |
40.12/40.21 c | 107570 | 11639 289635 951406 | 2147483647 107570 80 | 0.000 % |
40.42/40.48 c | 108083 | 11639 289635 951406 | 2147483647 108083 80 | 0.000 % |
40.92/40.94 c | 109107 | 11639 289635 951406 | 2147483647 109107 80 | 0.000 % |
41.72/41.75 c | 111156 | 11639 289635 951406 | 2147483647 111156 79 | 0.000 % |
43.52/43.53 c | 115252 | 11639 289635 951406 | 2147483647 115252 80 | 0.000 % |
43.82/43.83 c | 115764 | 11639 289635 951406 | 2147483647 115764 80 | 0.000 % |
44.02/44.09 c | 116277 | 11639 289635 951406 | 2147483647 116277 79 | 0.000 % |
44.62/44.62 c | 117301 | 11639 289635 951406 | 2147483647 117301 79 | 0.000 % |
44.82/44.86 c | 117815 | 11639 289635 951406 | 2147483647 117815 79 | 0.000 % |
45.12/45.12 c | 118328 | 11639 289635 951406 | 2147483647 118328 79 | 0.000 % |
45.52/45.60 c | 119352 | 11639 289635 951406 | 2147483647 119352 79 | 0.000 % |
46.72/46.77 c | 121401 | 11639 289635 951406 | 2147483647 121401 78 | 0.000 % |
47.12/47.13 c | 121913 | 11639 289635 951406 | 2147483647 121913 78 | 0.000 % |
47.42/47.42 c | 122429 | 11639 289635 951406 | 2147483647 122429 78 | 0.000 % |
47.92/47.98 c | 123453 | 11639 289635 951406 | 2147483647 123453 78 | 0.000 % |
48.22/48.24 c | 123966 | 11639 289635 951406 | 2147483647 123966 78 | 0.000 % |
48.52/48.59 c | 124478 | 11639 289635 951406 | 2147483647 124478 78 | 0.000 % |
49.02/49.08 c | 125502 | 11639 289635 951406 | 2147483647 125502 78 | 0.000 % |
50.12/50.18 c | 127550 | 11639 289635 951406 | 2147483647 127550 78 | 0.000 % |
52.22/52.27 c | 131646 | 11639 289635 951406 | 2147483647 131646 79 | 0.000 % |
56.22/56.23 c | 139839 | 11639 289635 951406 | 2147483647 139839 78 | 0.000 % |
56.42/56.48 c | 140352 | 11639 289635 951406 | 2147483647 140352 78 | 0.000 % |
56.62/56.72 c | 140865 | 11639 289635 951406 | 2147483647 140865 78 | 0.000 % |
57.22/57.24 c | 141891 | 11639 289635 951406 | 2147483647 141891 78 | 0.000 % |
57.52/57.53 c | 142403 | 11639 289635 951406 | 2147483647 142403 78 | 0.000 % |
57.72/57.78 c | 142916 | 11639 289635 951406 | 2147483647 142916 78 | 0.000 % |
58.22/58.22 c | 143941 | 11639 289635 951406 | 2147483647 143941 77 | 0.000 % |
59.12/59.21 c | 145992 | 11639 289635 951406 | 2147483647 145992 77 | 0.000 % |
59.42/59.45 c | 146504 | 11639 289635 951406 | 2147483647 146504 77 | 0.000 % |
59.72/59.72 c | 147016 | 11639 289635 951406 | 2147483647 147016 77 | 0.000 % |
60.22/60.31 c | 148040 | 11639 289635 951406 | 2147483647 148040 77 | 0.000 % |
60.52/60.59 c | 148553 | 11639 289635 951406 | 2147483647 148553 77 | 0.000 % |
60.92/61.00 c | 149065 | 11639 289635 951406 | 2147483647 149065 77 | 0.000 % |
61.62/61.64 c | 150089 | 11639 289635 951406 | 2147483647 150089 78 | 0.000 % |
62.62/62.69 c | 152140 | 11639 289635 951406 | 2147483647 152140 78 | 0.000 % |
64.82/64.84 c | 156236 | 11639 289635 951406 | 2147483647 156236 77 | 0.000 % |
65.02/65.10 c | 156748 | 11639 289635 951406 | 2147483647 156748 77 | 0.000 % |
65.32/65.39 c | 157261 | 11639 289635 951406 | 2147483647 157261 77 | 0.000 % |
65.92/65.94 c | 158286 | 11639 289635 951406 | 2147483647 158286 77 | 0.000 % |
66.12/66.20 c | 158798 | 11639 289635 951406 | 2147483647 158798 77 | 0.000 % |
66.52/66.55 c | 159311 | 11639 289635 951406 | 2147483647 159311 77 | 0.000 % |
67.12/67.12 c | 160335 | 11639 289635 951406 | 2147483647 160335 77 | 0.000 % |
68.32/68.35 c | 162384 | 11639 289635 951406 | 2147483647 162384 76 | 0.000 % |
68.62/68.70 c | 162896 | 11639 289635 951406 | 2147483647 162896 76 | 0.000 % |
69.02/69.05 c | 163409 | 11639 289635 951406 | 2147483647 163409 76 | 0.000 % |
69.72/69.79 c | 164434 | 11639 289635 951406 | 2147483647 164434 76 | 0.000 % |
70.02/70.11 c | 164947 | 11639 289635 951406 | 2147483647 164947 76 | 0.000 % |
70.32/70.40 c | 165459 | 11639 289635 951406 | 2147483647 165459 76 | 0.000 % |
71.02/71.05 c | 166484 | 11639 289635 951406 | 2147483647 166484 76 | 0.000 % |
72.12/72.20 c | 168533 | 11639 289635 951406 | 2147483647 168533 76 | 0.000 % |
74.32/74.32 c | 172629 | 11639 289635 951406 | 2147483647 172629 76 | 0.000 % |
78.42/78.49 c | 180822 | 11639 289635 951406 | 2147483647 180822 77 | 0.001 % |
89.22/89.26 c | 197206 | 11638 289604 951344 | 2147483647 197204 79 | 0.009 % |
110.42/110.43 c | 229976 | 11638 289604 951344 | 2147483647 229974 75 | 0.009 % |
110.82/110.88 c | 230488 | 11638 289604 951344 | 2147483647 230486 75 | 0.009 % |
111.42/111.43 c | 231000 | 11638 289604 951344 | 2147483647 230998 75 | 0.009 % |
112.12/112.20 c | 232025 | 11638 289604 951344 | 2147483647 232023 75 | 0.009 % |
112.62/112.70 c | 232537 | 11638 289604 951344 | 2147483647 232535 75 | 0.009 % |
113.02/113.09 c | 233049 | 11638 289604 951344 | 2147483647 233047 75 | 0.009 % |
113.72/113.79 c | 234075 | 11638 289604 951344 | 2147483647 234073 75 | 0.009 % |
115.12/115.12 c | 236126 | 11638 289604 951344 | 2147483647 236124 76 | 0.009 % |
115.62/115.67 c | 236639 | 11638 289604 951344 | 2147483647 236637 76 | 0.009 % |
116.02/116.09 c | 237152 | 11638 289604 951344 | 2147483647 237150 76 | 0.009 % |
116.92/116.95 c | 238177 | 11638 289604 951344 | 2147483647 238175 76 | 0.009 % |
117.32/117.37 c | 238689 | 11638 289604 951344 | 2147483647 238687 76 | 0.009 % |
117.82/117.84 c | 239201 | 11638 289604 951344 | 2147483647 239199 76 | 0.009 % |
118.62/118.66 c | 240225 | 11638 289604 951344 | 2147483647 240223 76 | 0.009 % |
119.93/119.96 c | 242275 | 11638 289604 951344 | 2147483647 242273 76 | 0.009 % |
122.72/122.72 c | 246372 | 11638 289604 951344 | 2147483647 246370 76 | 0.009 % |
123.02/123.09 c | 246885 | 11638 289604 951344 | 2147483647 246883 76 | 0.009 % |
123.42/123.51 c | 247398 | 11638 289604 951344 | 2147483647 247396 76 | 0.009 % |
124.22/124.29 c | 248423 | 11638 289604 951344 | 2147483647 248421 75 | 0.009 % |
124.62/124.70 c | 248937 | 11638 289604 951344 | 2147483647 248935 75 | 0.009 % |
125.02/125.08 c | 249450 | 11638 289604 951344 | 2147483647 249448 75 | 0.009 % |
125.82/125.91 c | 250474 | 11638 289604 951344 | 2147483647 250472 75 | 0.009 % |
127.32/127.32 c | 252523 | 11638 289604 951344 | 2147483647 252521 75 | 0.009 % |
127.72/127.81 c | 253035 | 11638 289604 951344 | 2147483647 253033 75 | 0.009 % |
128.42/128.49 c | 253548 | 11638 289604 951344 | 2147483647 253546 75 | 0.009 % |
129.22/129.28 c | 254573 | 11638 289604 951344 | 2147483647 254571 75 | 0.009 % |
129.72/129.77 c | 255085 | 11638 289604 951344 | 2147483647 255083 75 | 0.009 % |
130.12/130.21 c | 255597 | 11638 289604 951344 | 2147483647 255595 75 | 0.009 % |
131.02/131.03 c | 256623 | 11638 289604 951344 | 2147483647 256621 75 | 0.009 % |
132.52/132.57 c | 258672 | 11638 289604 951344 | 2147483647 258670 75 | 0.009 % |
136.12/136.20 c | 262769 | 11638 289604 951344 | 259998 236547 75 | 0.009 % |
142.43/142.44 c | 270962 | 11638 289604 951344 | 2147483647 244740 74 | 0.009 % |
142.83/142.92 c | 271474 | 11638 289604 951344 | 2147483647 245252 74 | 0.009 % |
143.43/143.44 c | 271988 | 11638 289604 951344 | 2147483647 245766 74 | 0.009 % |
144.33/144.37 c | 273014 | 11638 289604 951344 | 2147483647 246792 74 | 0.009 % |
144.73/144.80 c | 273526 | 11638 289604 951344 | 2147483647 247304 74 | 0.009 % |
145.23/145.22 c | 274038 | 11638 289604 951344 | 2147483647 247816 74 | 0.009 % |
146.03/146.08 c | 275062 | 11638 289604 951344 | 2147483647 248840 74 | 0.009 % |
147.53/147.57 c | 277110 | 11638 289604 951344 | 2147483647 250888 75 | 0.009 % |
147.93/147.98 c | 277622 | 11638 289604 951344 | 2147483647 251400 75 | 0.009 % |
148.43/148.44 c | 278134 | 11638 289604 951344 | 2147483647 251912 75 | 0.009 % |
149.13/149.20 c | 279158 | 11638 289604 951344 | 2147483647 252936 75 | 0.009 % |
149.53/149.58 c | 279671 | 11638 289604 951344 | 2147483647 253449 75 | 0.009 % |
149.93/149.97 c | 280183 | 11638 289604 951344 | 253778 253961 75 | 0.009 % |
151.33/151.37 c | 281207 | 11638 289604 951344 | 253778 223744 74 | 0.009 % |
152.73/152.75 c | 283258 | 11638 289604 951344 | 253778 225795 73 | 0.009 % |
155.73/155.78 c | 287354 | 11638 289604 951344 | 253778 229891 74 | 0.009 % |
156.13/156.19 c | 287866 | 11638 289604 951344 | 253778 230403 74 | 0.009 % |
156.53/156.59 c | 288378 | 11638 289604 951344 | 253778 230915 74 | 0.009 % |
157.23/157.31 c | 289402 | 11638 289604 951344 | 253778 231939 74 | 0.009 % |
157.73/157.75 c | 289914 | 11638 289604 951344 | 253778 232451 73 | 0.009 % |
158.13/158.22 c | 290426 | 11638 289604 951344 | 232537 232963 73 | 0.009 % |
159.43/159.48 c | 291451 | 11638 289604 951344 | 232537 210692 73 | 0.009 % |
161.03/161.11 c | 293499 | 11638 289604 951344 | 232537 212740 72 | 0.009 % |
161.53/161.54 c | 294011 | 11638 289604 951344 | 232537 213252 72 | 0.009 % |
161.83/161.90 c | 294527 | 11638 289604 951344 | 232537 213768 72 | 0.009 % |
162.73/162.79 c | 295552 | 11638 289604 951344 | 232537 214793 72 | 0.009 % |
163.23/163.22 c | 296065 | 11638 289604 951344 | 232537 215306 72 | 0.009 % |
163.63/163.68 c | 296577 | 11638 289604 951344 | 232537 215818 73 | 0.009 % |
164.63/164.63 c | 297601 | 11638 289604 951344 | 232537 216842 73 | 0.009 % |
166.13/166.13 c | 299652 | 11638 289604 951344 | 232537 218893 72 | 0.009 % |
169.43/169.42 c | 303749 | 11638 289604 951344 | 2147483647 222990 72 | 0.009 % |
175.53/175.59 c | 311944 | 11638 289604 951344 | 2147483647 231185 71 | 0.009 % |
190.72/190.78 c | 328329 | 11638 289604 951344 | 239241 209834 68 | 0.009 % |
191.22/191.24 c | 328842 | 11638 289604 951344 | 239241 210347 68 | 0.009 % |
191.72/191.73 c | 329354 | 11638 289604 951344 | 239241 210859 68 | 0.009 % |
192.52/192.59 c | 330379 | 11638 289604 951344 | 211505 211884 68 | 0.009 % |
193.52/193.61 c | 330893 | 11638 289604 951344 | 211505 180396 65 | 0.009 % |
194.02/194.02 c | 331406 | 11638 289604 951344 | 211505 180909 65 | 0.009 % |
194.82/194.86 c | 332431 | 11638 289604 951344 | 211505 181934 65 | 0.009 % |
196.42/196.44 c | 334482 | 11638 289604 951344 | 211505 183985 65 | 0.009 % |
196.82/196.86 c | 334994 | 11638 289604 951344 | 211505 184497 65 | 0.009 % |
197.32/197.31 c | 335507 | 11638 289604 951344 | 211505 185010 65 | 0.009 % |
198.02/198.11 c | 336534 | 11638 289604 951344 | 211505 186037 65 | 0.009 % |
198.42/198.45 c | 337047 | 11638 289604 951344 | 211505 186550 65 | 0.009 % |
198.82/198.88 c | 337561 | 11638 289604 951344 | 211505 187064 65 | 0.009 % |
199.62/199.70 c | 338585 | 11638 289604 951344 | 211505 188088 65 | 0.009 % |
201.02/201.04 c | 340633 | 11638 289604 951344 | 189503 190136 66 | 0.009 % |
204.32/204.35 c | 344730 | 11638 289604 951344 | 189503 172252 62 | 0.009 % |
204.72/204.74 c | 345244 | 11638 289604 951344 | 189503 172766 62 | 0.009 % |
205.12/205.20 c | 345758 | 11638 289604 951344 | 189503 173280 62 | 0.009 % |
206.02/206.08 c | 346783 | 11638 289604 951344 | 189503 174305 62 | 0.009 % |
206.52/206.53 c | 347296 | 11638 289604 951344 | 189503 174818 62 | 0.009 % |
206.92/206.96 c | 347809 | 11638 289604 951344 | 189503 175331 62 | 0.009 % |
207.72/207.75 c | 348833 | 11638 289604 951344 | 189503 176355 62 | 0.009 % |
209.22/209.21 c | 350883 | 11638 289604 951344 | 2147483647 178405 62 | 0.009 % |
209.52/209.54 c | 351395 | 11638 289604 951344 | 2147483647 178917 62 | 0.009 % |
209.82/209.88 c | 351907 | 11638 289604 951344 | 2147483647 179429 62 | 0.009 % |
210.52/210.56 c | 352933 | 11638 289604 951344 | 2147483647 180455 62 | 0.009 % |
210.92/210.99 c | 353445 | 11638 289604 951344 | 2147483647 180967 61 | 0.009 % |
211.32/211.38 c | 353957 | 11638 289604 951344 | 2147483647 181479 61 | 0.009 % |
212.22/212.22 c | 354981 | 11638 289604 951344 | 2147483647 182503 61 | 0.009 % |
213.72/213.78 c | 357030 | 11638 289604 951344 | 2147483647 184552 61 | 0.009 % |
216.32/216.40 c | 361128 | 11638 289604 951344 | 2147483647 188650 62 | 0.009 % |
222.72/222.71 c | 369321 | 11638 289604 951344 | 2147483647 196843 62 | 0.009 % |
223.52/223.52 c | 369834 | 11638 289604 951344 | 2147483647 197356 62 | 0.009 % |
224.02/224.04 c | 370348 | 11638 289604 951344 | 2147483647 197870 62 | 0.009 % |
224.92/224.91 c | 371372 | 11638 289604 951344 | 2147483647 198894 62 | 0.009 % |
225.42/225.49 c | 371884 | 11638 289604 951344 | 2147483647 199406 62 | 0.009 % |
225.92/225.91 c | 372397 | 11638 289604 951344 | 2147483647 199919 62 | 0.009 % |
226.82/226.89 c | 373423 | 11638 289604 951344 | 2147483647 200945 62 | 0.009 % |
228.72/228.78 c | 375471 | 11638 289604 951344 | 2147483647 202993 62 | 0.009 % |
229.12/229.19 c | 375984 | 11638 289604 951344 | 2147483647 203506 62 | 0.009 % |
229.52/229.57 c | 376496 | 11638 289604 951344 | 2147483647 204018 62 | 0.009 % |
230.32/230.33 c | 377520 | 11638 289604 951344 | 2147483647 205042 62 | 0.009 % |
230.72/230.77 c | 378033 | 11638 289604 951344 | 2147483647 205555 62 | 0.009 % |
231.32/231.33 c | 378545 | 11638 289604 951344 | 2147483647 206067 62 | 0.009 % |
232.32/232.33 c | 379571 | 11638 289604 951344 | 2147483647 207093 62 | 0.009 % |
233.92/233.96 c | 381620 | 11638 289604 951344 | 207522 209142 62 | 0.009 % |
238.73/238.73 c | 385718 | 11638 289604 951344 | 207522 184754 61 | 0.009 % |
239.12/239.11 c | 386231 | 11638 289604 951344 | 207522 185267 61 | 0.009 % |
239.42/239.51 c | 386745 | 11638 289604 951344 | 207522 185781 61 | 0.009 % |
240.42/240.48 c | 387774 | 11638 289604 951344 | 207522 186810 61 | 0.009 % |
240.82/240.91 c | 388286 | 11638 289604 951344 | 207522 187322 61 | 0.009 % |
241.32/241.39 c | 388800 | 11638 289604 951344 | 207522 187836 61 | 0.009 % |
242.42/242.42 c | 389824 | 11638 289604 951344 | 207522 188860 61 | 0.009 % |
245.02/245.07 c | 391874 | 11638 289604 951344 | 189038 168770 59 | 0.009 % |
245.42/245.42 c | 392387 | 11638 289604 951344 | 189038 169283 59 | 0.009 % |
245.72/245.72 c | 392899 | 11638 289604 951344 | 189038 169795 59 | 0.009 % |
246.52/246.58 c | 393923 | 11638 289604 951344 | 189038 170819 59 | 0.009 % |
247.02/247.03 c | 394435 | 11638 289604 951344 | 189038 171331 59 | 0.009 % |
247.42/247.47 c | 394948 | 11638 289604 951344 | 189038 171844 59 | 0.009 % |
248.32/248.35 c | 395973 | 11638 289604 951344 | 189038 172869 59 | 0.009 % |
250.02/250.04 c | 398021 | 11638 289604 951344 | 189038 174917 59 | 0.009 % |
252.81/252.88 c | 402118 | 11638 289604 951344 | 176896 179014 60 | 0.009 % |
259.42/259.43 c | 410313 | 11638 289604 951344 | 2147483647 166468 58 | 0.009 % |
275.12/275.15 c | 426697 | 11638 289604 951344 | 176155 159066 57 | 0.009 % |
299.92/299.91 c | 459466 | 11638 289604 951344 | 2147483647 152380 56 | 0.009 % |
350.93/350.97 c | 525002 | 11638 289604 951344 | 191426 176022 56 | 0.009 % |
351.42/351.41 c | 525514 | 11638 289604 951344 | 191426 176534 56 | 0.009 % |
351.92/351.98 c | 526026 | 11638 289604 951344 | 191426 177046 56 | 0.009 % |
352.62/352.68 c | 527050 | 11638 289604 951344 | 191426 178070 56 | 0.009 % |
353.02/353.03 c | 527564 | 11638 289604 951344 | 191426 178584 56 | 0.009 % |
353.42/353.48 c | 528076 | 11638 289604 951344 | 191426 179096 56 | 0.009 % |
354.32/354.40 c | 529100 | 11638 289604 951344 | 191426 180120 56 | 0.009 % |
356.02/356.01 c | 531150 | 11638 289604 951344 | 181020 182170 56 | 0.009 % |
356.92/356.92 c | 531663 | 11638 289604 951344 | 181020 164466 54 | 0.009 % |
357.32/357.35 c | 532175 | 11638 289604 951344 | 181020 164978 54 | 0.009 % |
358.02/358.03 c | 533200 | 11638 289604 951344 | 181020 166003 54 | 0.009 % |
358.52/358.54 c | 533712 | 11638 289604 951344 | 181020 166515 54 | 0.009 % |
359.02/359.06 c | 534224 | 11638 289604 951344 | 181020 167027 54 | 0.009 % |
359.82/359.86 c | 535248 | 11638 289604 951344 | 181020 168051 54 | 0.009 % |
361.52/361.51 c | 537297 | 11638 289604 951344 | 181020 170100 54 | 0.009 % |
364.52/364.57 c | 541393 | 11638 289604 951344 | 2147483647 174196 54 | 0.009 % |
364.92/364.96 c | 541909 | 11638 289604 951344 | 2147483647 174712 54 | 0.009 % |
365.32/365.33 c | 542421 | 11638 289604 951344 | 2147483647 175224 54 | 0.009 % |
366.12/366.14 c | 543446 | 11638 289604 951344 | 2147483647 176249 54 | 0.009 % |
366.52/366.54 c | 543959 | 11638 289604 951344 | 2147483647 176762 54 | 0.009 % |
366.92/366.97 c | 544471 | 11638 289604 951344 | 2147483647 177274 54 | 0.009 % |
367.72/367.72 c | 545496 | 11638 289604 951344 | 2147483647 178299 54 | 0.009 % |
369.03/369.07 c | 547545 | 11638 289604 951344 | 2147483647 180348 54 | 0.009 % |
369.23/369.27 c | 548057 | 11638 289604 951344 | 2147483647 180860 54 | 0.009 % |
369.83/369.89 c | 548569 | 11638 289604 951344 | 2147483647 181372 54 | 0.009 % |
370.93/370.97 c | 549593 | 11638 289604 951344 | 2147483647 182396 54 | 0.009 % |
371.33/371.37 c | 550107 | 11638 289604 951344 | 2147483647 182910 54 | 0.009 % |
371.83/371.85 c | 550620 | 11638 289604 951344 | 2147483647 183423 54 | 0.009 % |
372.63/372.64 c | 551644 | 11638 289604 951344 | 2147483647 184447 54 | 0.009 % |
374.23/374.22 c | 553692 | 11638 289604 951344 | 2147483647 186495 54 | 0.009 % |
378.23/378.30 c | 557789 | 11638 289604 951344 | 2147483647 190592 54 | 0.009 % |
385.73/385.73 c | 565982 | 11638 289604 951344 | 192805 170838 55 | 0.009 % |
386.23/386.21 c | 566497 | 11638 289604 951344 | 192805 171353 55 | 0.009 % |
386.63/386.66 c | 567009 | 11638 289604 951344 | 192805 171865 55 | 0.009 % |
387.63/387.63 c | 568033 | 11638 289604 951344 | 192805 172889 55 | 0.009 % |
388.03/388.09 c | 568545 | 11638 289604 951344 | 192805 173401 55 | 0.009 % |
388.53/388.60 c | 569057 | 11638 289604 951344 | 192805 173913 55 | 0.009 % |
389.43/389.48 c | 570082 | 11638 289604 951344 | 174857 174938 55 | 0.009 % |
391.43/391.50 c | 572133 | 11638 289604 951344 | 174857 158571 56 | 0.009 % |
392.13/392.16 c | 572648 | 11638 289604 951344 | 174857 159086 56 | 0.009 % |
392.53/392.60 c | 573161 | 11638 289604 951344 | 174857 159599 56 | 0.009 % |
393.53/393.55 c | 574185 | 11638 289604 951344 | 174857 160623 56 | 0.009 % |
393.93/393.94 c | 574697 | 11638 289604 951344 | 174857 161135 56 | 0.009 % |
394.13/394.18 c | 575211 | 11638 289604 951344 | 174857 161649 56 | 0.009 % |
394.83/394.84 c | 576237 | 11638 289604 951344 | 174857 162675 56 | 0.009 % |
395.93/396.01 c | 578285 | 11638 289604 951344 | 174857 164723 57 | 0.009 % |
398.43/398.50 c | 582382 | 11638 289604 951344 | 166439 168820 57 | 0.009 % |
399.33/399.34 c | 582894 | 11638 289604 951344 | 166439 151893 56 | 0.009 % |
399.63/399.69 c | 583407 | 11638 289604 951344 | 166439 152406 57 | 0.009 % |
400.33/400.31 c | 584432 | 11638 289604 951344 | 166439 153431 57 | 0.009 % |
400.73/400.76 c | 584944 | 11638 289604 951344 | 166439 153943 57 | 0.009 % |
401.13/401.16 c | 585456 | 11638 289604 951344 | 166439 154455 57 | 0.009 % |
401.93/401.98 c | 586481 | 11638 289604 951344 | 166439 155480 57 | 0.009 % |
403.73/403.71 c | 588531 | 11638 289604 951344 | 166439 157530 56 | 0.009 % |
404.03/404.09 c | 589043 | 11638 289604 951344 | 166439 158042 56 | 0.009 % |
404.43/404.49 c | 589557 | 11638 289604 951344 | 166439 158556 56 | 0.009 % |
405.53/405.52 c | 590581 | 11638 289604 951344 | 2147483647 159580 56 | 0.009 % |
405.83/405.91 c | 591093 | 11638 289604 951344 | 2147483647 160092 56 | 0.009 % |
406.33/406.39 c | 591605 | 11638 289604 951344 | 2147483647 160604 56 | 0.009 % |
407.13/407.19 c | 592632 | 11638 289604 951344 | 2147483647 161631 56 | 0.009 % |
408.73/408.72 c | 594680 | 11638 289604 951344 | 2147483647 163679 56 | 0.009 % |
411.83/411.88 c | 598776 | 11638 289604 951344 | 2147483647 167775 56 | 0.009 % |
417.93/417.98 c | 606969 | 11638 289604 951344 | 2147483647 175968 56 | 0.009 % |
433.03/433.02 c | 623353 | 11638 289604 951344 | 161391 139429 56 | 0.009 % |
433.33/433.38 c | 623866 | 11638 289604 951344 | 161391 139942 56 | 0.009 % |
433.93/433.91 c | 624378 | 11638 289604 951344 | 161391 140454 56 | 0.009 % |
434.63/434.63 c | 625403 | 11638 289604 951344 | 161391 141479 56 | 0.009 % |
434.93/434.94 c | 625915 | 11638 289604 951344 | 161391 141991 56 | 0.009 % |
435.23/435.29 c | 626427 | 11638 289604 951344 | 161391 142503 56 | 0.009 % |
435.93/435.98 c | 627452 | 11638 289604 951344 | 161391 143528 56 | 0.009 % |
437.53/437.53 c | 629501 | 11638 289604 951344 | 161391 145577 56 | 0.009 % |
437.93/437.97 c | 630013 | 11638 289604 951344 | 2147483647 146089 56 | 0.009 % |
438.43/438.49 c | 630527 | 11638 289604 951344 | 2147483647 146603 56 | 0.009 % |
439.13/439.14 c | 631553 | 11638 289604 951344 | 2147483647 147629 56 | 0.009 % |
439.53/439.51 c | 632065 | 11638 289604 951344 | 2147483647 148141 56 | 0.009 % |
439.83/439.86 c | 632579 | 11638 289604 951344 | 2147483647 148655 56 | 0.009 % |
440.63/440.62 c | 633603 | 11638 289604 951344 | 2147483647 149679 56 | 0.009 % |
442.13/442.19 c | 635654 | 11638 289604 951344 | 2147483647 151730 56 | 0.009 % |
445.23/445.27 c | 639752 | 11638 289604 951344 | 2147483647 155828 55 | 0.009 % |
445.54/445.60 c | 640264 | 11638 289604 951344 | 2147483647 156340 55 | 0.009 % |
445.93/446.00 c | 640777 | 11638 289604 951344 | 2147483647 156853 55 | 0.009 % |
446.73/446.74 c | 641801 | 11638 289604 951344 | 2147483647 157877 55 | 0.009 % |
447.13/447.13 c | 642314 | 11638 289604 951344 | 2147483647 158390 55 | 0.009 % |
447.53/447.60 c | 642828 | 11638 289604 951344 | 2147483647 158904 55 | 0.009 % |
448.43/448.41 c | 643852 | 11638 289604 951344 | 2147483647 159928 55 | 0.009 % |
449.94/449.93 c | 645900 | 11638 289604 951344 | 2147483647 161976 55 | 0.009 % |
450.23/450.28 c | 646414 | 11638 289604 951344 | 2147483647 162490 55 | 0.009 % |
450.63/450.63 c | 646927 | 11638 289604 951344 | 2147483647 163003 55 | 0.009 % |
451.43/451.45 c | 647951 | 11638 289604 951344 | 2147483647 164027 55 | 0.009 % |
451.93/451.92 c | 648466 | 11638 289604 951344 | 2147483647 164542 54 | 0.009 % |
452.33/452.37 c | 648978 | 11638 289604 951344 | 2147483647 165054 54 | 0.009 % |
453.13/453.15 c | 650003 | 11638 289604 951344 | 2147483647 166079 54 | 0.009 % |
454.53/454.52 c | 652052 | 11638 289604 951344 | 2147483647 168128 55 | 0.009 % |
457.83/457.89 c | 656152 | 11638 289604 951344 | 2147483647 172228 55 | 0.009 % |
464.93/464.94 c | 664344 | 11638 289604 951344 | 176077 157417 54 | 0.009 % |
465.34/465.38 c | 664858 | 11638 289604 951344 | 176077 157931 54 | 0.009 % |
465.73/465.77 c | 665372 | 11638 289604 951344 | 176077 158445 54 | 0.009 % |
466.44/466.49 c | 666397 | 11638 289604 951344 | 176077 159470 54 | 0.009 % |
466.93/466.91 c | 666909 | 11638 289604 951344 | 176077 159982 54 | 0.009 % |
467.33/467.39 c | 667423 | 11638 289604 951344 | 176077 160496 54 | 0.009 % |
468.23/468.23 c | 668447 | 11638 289604 951344 | 176077 161520 54 | 0.009 % |
470.03/470.09 c | 670495 | 11638 289604 951344 | 163073 163568 53 | 0.009 % |
470.93/470.95 c | 671008 | 11638 289604 951344 | 163073 144501 53 | 0.009 % |
471.33/471.38 c | 671520 | 11638 289604 951344 | 163073 145013 53 | 0.009 % |
472.03/472.10 c | 672544 | 11638 289604 951344 | 163073 146037 54 | 0.009 % |
472.43/472.46 c | 673057 | 11638 289604 951344 | 163073 146550 54 | 0.009 % |
472.83/472.85 c | 673569 | 11638 289604 951344 | 163073 147062 54 | 0.009 % |
473.53/473.54 c | 674594 | 11638 289604 951344 | 163073 148087 54 | 0.009 % |
475.13/475.11 c | 676644 | 11638 289604 951344 | 163073 150137 54 | 0.009 % |
478.33/478.38 c | 680740 | 11638 289604 951344 | 153493 154233 53 | 0.009 % |
479.23/479.24 c | 681252 | 11638 289604 951344 | 153493 139322 53 | 0.009 % |
479.73/479.71 c | 681764 | 11638 289604 951344 | 153493 139834 53 | 0.009 % |
480.43/480.48 c | 682789 | 11638 289604 951344 | 153493 140859 53 | 0.009 % |
480.84/480.90 c | 683301 | 11638 289604 951344 | 153493 141371 53 | 0.009 % |
481.24/481.24 c | 683813 | 11638 289604 951344 | 153493 141883 53 | 0.009 % |
482.04/482.07 c | 684838 | 11638 289604 951344 | 153493 142908 53 | 0.009 % |
483.14/483.19 c | 686886 | 11638 289604 951344 | 153493 144956 53 | 0.009 % |
483.44/483.48 c | 687398 | 11638 289604 951344 | 153493 145468 53 | 0.009 % |
483.84/483.87 c | 687910 | 11638 289604 951344 | 153493 145980 53 | 0.009 % |
484.64/484.70 c | 688934 | 11638 289604 951344 | 153493 147004 53 | 0.009 % |
485.04/485.07 c | 689446 | 11638 289604 951344 | 153493 147516 53 | 0.009 % |
485.54/485.53 c | 689959 | 11638 289604 951344 | 153493 148029 53 | 0.009 % |
486.34/486.38 c | 690984 | 11638 289604 951344 | 2147483647 149054 53 | 0.009 % |
486.94/487.00 c | 693032 | 11638 289604 951344 | 2147483647 151102 53 | 0.009 % |
489.94/489.94 c | 697128 | 11638 289604 951344 | 2147483647 155198 55 | 0.009 % |
495.84/495.90 c | 705322 | 11638 289604 951344 | 2147483647 163392 56 | 0.009 % |
510.14/510.16 c | 721707 | 11638 289604 951344 | 178070 148671 55 | 0.009 % |
532.94/532.98 c | 754475 | 11638 289604 951344 | 2147483647 141359 59 | 0.009 % |
533.24/533.28 c | 754987 | 11638 289604 951344 | 2147483647 141871 59 | 0.009 % |
533.64/533.71 c | 755503 | 11637 289515 951114 | 2147483647 142385 59 | 0.017 % |
534.24/534.23 c | 756527 | 11637 289515 951114 | 2147483647 143409 59 | 0.017 % |
534.64/534.65 c | 757039 | 11637 289515 951114 | 2147483647 143921 59 | 0.017 % |
535.04/535.11 c | 757551 | 11637 289515 951114 | 2147483647 144433 60 | 0.017 % |
535.74/535.74 c | 758576 | 11637 289515 951114 | 2147483647 145458 60 | 0.017 % |
537.24/537.22 c | 760625 | 11637 289515 951114 | 146882 147507 61 | 0.017 % |
537.84/537.89 c | 761137 | 11637 289515 951114 | 146882 132246 63 | 0.017 % |
538.24/538.28 c | 761649 | 11637 289515 951114 | 146882 132758 63 | 0.017 % |
538.94/538.98 c | 762674 | 11637 289515 951114 | 146882 133783 63 | 0.017 % |
539.34/539.34 c | 763186 | 11637 289515 951114 | 146882 134295 63 | 0.017 % |
539.64/539.66 c | 763698 | 11637 289515 951114 | 146882 134807 63 | 0.017 % |
540.24/540.27 c | 764722 | 11637 289515 951114 | 146882 135831 62 | 0.017 % |
541.34/541.41 c | 766770 | 11637 289515 951114 | 146882 137879 62 | 0.017 % |
544.14/544.11 c | 770866 | 11637 289515 951114 | 2147483647 141975 61 | 0.017 % |
544.44/544.46 c | 771378 | 11637 289515 951114 | 2147483647 142487 61 | 0.017 % |
544.74/544.76 c | 771891 | 11637 289515 951114 | 2147483647 143000 61 | 0.017 % |
545.34/545.38 c | 772915 | 11637 289515 951114 | 2147483647 144024 61 | 0.017 % |
545.65/545.70 c | 773428 | 11637 289515 951114 | 2147483647 144537 61 | 0.017 % |
546.04/546.03 c | 773941 | 11637 289515 951114 | 2147483647 145050 61 | 0.017 % |
546.75/546.78 c | 774967 | 11637 289515 951114 | 2147483647 146076 61 | 0.017 % |
548.24/548.30 c | 777017 | 11637 289515 951114 | 2147483647 148126 61 | 0.017 % |
548.74/548.75 c | 777529 | 11637 289515 951114 | 2147483647 148638 61 | 0.017 % |
549.14/549.15 c | 778041 | 11637 289515 951114 | 2147483647 149150 61 | 0.017 % |
549.94/550.00 c | 779065 | 11637 289515 951114 | 2147483647 150174 61 | 0.017 % |
550.44/550.44 c | 779577 | 11637 289515 951114 | 2147483647 150686 61 | 0.017 % |
550.94/550.93 c | 780089 | 11637 289515 951114 | 2147483647 151198 61 | 0.017 % |
551.74/551.73 c | 781113 | 11637 289515 951114 | 2147483647 152222 61 | 0.017 % |
553.14/553.17 c | 783161 | 11637 289515 951114 | 2147483647 154270 61 | 0.017 % |
556.34/556.32 c | 787261 | 11637 289515 951114 | 2147483647 158370 60 | 0.017 % |
562.74/562.74 c | 795454 | 11637 289515 951114 | 2147483647 166563 60 | 0.017 % |
563.14/563.17 c | 795966 | 11637 289515 951114 | 2147483647 167075 60 | 0.017 % |
563.54/563.57 c | 796478 | 11637 289515 951114 | 2147483647 167587 60 | 0.017 % |
564.35/564.33 c | 797502 | 11637 289515 951114 | 2147483647 168611 60 | 0.017 % |
564.74/564.73 c | 798014 | 11637 289515 951114 | 2147483647 169123 60 | 0.017 % |
565.14/565.11 c | 798526 | 11637 289515 951114 | 2147483647 169635 60 | 0.017 % |
565.74/565.80 c | 799551 | 11637 289515 951114 | 2147483647 170660 60 | 0.017 % |
567.34/567.34 c | 801600 | 11637 289515 951114 | 2147483647 172709 60 | 0.017 % |
567.84/567.81 c | 802112 | 11637 289515 951114 | 2147483647 173221 60 | 0.017 % |
568.24/568.25 c | 802624 | 11637 289515 951114 | 2147483647 173733 60 | 0.017 % |
569.14/569.12 c | 803649 | 11637 289515 951114 | 2147483647 174758 60 | 0.017 % |
569.44/569.51 c | 804162 | 11637 289515 951114 | 2147483647 175271 60 | 0.017 % |
569.94/569.92 c | 804675 | 11637 289515 951114 | 2147483647 175784 60 | 0.017 % |
570.84/570.84 c | 805701 | 11637 289515 951114 | 2147483647 176810 59 | 0.017 % |
572.64/572.64 c | 807749 | 11637 289515 951114 | 2147483647 178858 59 | 0.017 % |
576.04/576.11 c | 811846 | 11637 289515 951114 | 181110 182955 59 | 0.017 % |
577.34/577.35 c | 812358 | 11637 289515 951114 | 181110 161746 59 | 0.017 % |
577.74/577.73 c | 812870 | 11637 289515 951114 | 181110 162258 59 | 0.017 % |
578.54/578.61 c | 813895 | 11637 289515 951114 | 181110 163283 59 | 0.017 % |
578.94/578.97 c | 814408 | 11637 289515 951114 | 181110 163796 59 | 0.017 % |
579.34/579.36 c | 814921 | 11637 289515 951114 | 181110 164309 59 | 0.017 % |
580.04/580.11 c | 815949 | 11637 289515 951114 | 181110 165337 59 | 0.017 % |
581.64/581.69 c | 817998 | 11637 289515 951114 | 181110 167386 59 | 0.017 % |
582.04/582.09 c | 818510 | 11637 289515 951114 | 181110 167898 59 | 0.017 % |
582.44/582.47 c | 819023 | 11637 289515 951114 | 181110 168411 59 | 0.017 % |
583.24/583.21 c | 820047 | 11637 289515 951114 | 2147483647 169435 59 | 0.017 % |
583.64/583.63 c | 820559 | 11637 289515 951114 | 2147483647 169947 59 | 0.017 % |
584.04/584.06 c | 821072 | 11637 289515 951114 | 2147483647 170460 59 | 0.017 % |
584.84/584.91 c | 822096 | 11637 289515 951114 | 2147483647 171484 59 | 0.017 % |
586.54/586.58 c | 824144 | 11637 289515 951114 | 2147483647 173532 58 | 0.017 % |
589.14/589.20 c | 828241 | 11637 289515 951114 | 2147483647 177629 59 | 0.017 % |
596.05/596.07 c | 836433 | 11637 289515 951114 | 179388 149696 61 | 0.017 % |
608.05/608.07 c | 852818 | 11637 289515 951114 | 136539 125540 60 | 0.017 % |
608.35/608.39 c | 853331 | 11637 289515 951114 | 136539 126053 60 | 0.017 % |
608.75/608.73 c | 853844 | 11637 289515 951114 | 136539 126566 60 | 0.017 % |
609.45/609.49 c | 854869 | 11637 289515 951114 | 136539 127591 60 | 0.017 % |
609.85/609.88 c | 855382 | 11637 289515 951114 | 136539 128104 60 | 0.017 % |
610.24/610.27 c | 855894 | 11637 289515 951114 | 136539 128616 60 | 0.017 % |
611.04/611.06 c | 856918 | 11637 289515 951114 | 136539 129640 60 | 0.017 % |
612.34/612.38 c | 858966 | 11637 289515 951114 | 136539 131688 59 | 0.017 % |
612.74/612.73 c | 859479 | 11637 289515 951114 | 136539 132201 59 | 0.017 % |
613.14/613.11 c | 859991 | 11637 289515 951114 | 136539 132713 59 | 0.017 % |
613.84/613.85 c | 861015 | 11637 289515 951114 | 2147483647 133737 59 | 0.017 % |
614.14/614.20 c | 861527 | 11637 289515 951114 | 2147483647 134249 59 | 0.017 % |
614.54/614.59 c | 862041 | 11637 289515 951114 | 2147483647 134763 59 | 0.017 % |
615.44/615.42 c | 863065 | 11637 289515 951114 | 2147483647 135787 59 | 0.017 % |
617.04/617.08 c | 865114 | 11637 289515 951114 | 2147483647 137836 59 | 0.017 % |
620.04/620.05 c | 869210 | 11637 289515 951114 | 2147483647 141932 59 | 0.017 % |
620.44/620.45 c | 869723 | 11637 289515 951114 | 2147483647 142445 58 | 0.017 % |
620.84/620.85 c | 870237 | 11637 289515 951114 | 2147483647 142959 58 | 0.017 % |
621.64/621.63 c | 871263 | 11637 289515 951114 | 2147483647 143985 58 | 0.017 % |
622.14/622.16 c | 871775 | 11637 289515 951114 | 2147483647 144497 58 | 0.017 % |
622.54/622.59 c | 872287 | 11637 289515 951114 | 2147483647 145009 58 | 0.017 % |
623.34/623.34 c | 873311 | 11637 289515 951114 | 2147483647 146033 58 | 0.017 % |
624.84/624.88 c | 875359 | 11637 289515 951114 | 2147483647 148081 57 | 0.017 % |
625.24/625.29 c | 875871 | 11637 289515 951114 | 2147483647 148593 57 | 0.017 % |
625.64/625.70 c | 876383 | 11637 289515 951114 | 2147483647 149105 57 | 0.017 % |
626.44/626.47 c | 877409 | 11637 289515 951114 | 2147483647 150131 57 | 0.017 % |
626.84/626.87 c | 877921 | 11637 289515 951114 | 2147483647 150643 57 | 0.017 % |
627.24/627.25 c | 878433 | 11637 289515 951114 | 2147483647 151155 57 | 0.017 % |
627.94/628.01 c | 879457 | 11637 289515 951114 | 2147483647 152179 57 | 0.017 % |
629.34/629.40 c | 881505 | 11637 289515 951114 | 2147483647 154227 56 | 0.017 % |
632.64/632.61 c | 885601 | 11637 289515 951114 | 2147483647 158323 56 | 0.017 % |
638.64/638.64 c | 893794 | 11637 289515 951114 | 2147483647 166516 55 | 0.017 % |
638.84/638.86 c | 894307 | 11637 289515 951114 | 2147483647 167029 56 | 0.017 % |
639.14/639.16 c | 894821 | 11637 289515 951114 | 2147483647 167543 56 | 0.017 % |
639.84/639.88 c | 895845 | 11637 289515 951114 | 2147483647 168567 56 | 0.017 % |
640.24/640.22 c | 896357 | 11637 289515 951114 | 2147483647 169079 56 | 0.017 % |
640.44/640.48 c | 896870 | 11637 289515 951114 | 2147483647 169592 56 | 0.017 % |
641.14/641.17 c | 897894 | 11637 289515 951114 | 2147483647 170616 56 | 0.017 % |
642.44/642.47 c | 899944 | 11637 289515 951114 | 2147483647 172666 57 | 0.017 % |
642.74/642.73 c | 900457 | 11637 289515 951114 | 172723 173179 57 | 0.017 % |
643.94/643.96 c | 900969 | 11637 289515 951114 | 172723 155527 55 | 0.017 % |
644.54/644.53 c | 901993 | 11637 289515 951114 | 172723 156551 55 | 0.017 % |
644.84/644.85 c | 902508 | 11637 289515 951114 | 172723 157066 55 | 0.017 % |
645.14/645.11 c | 903020 | 11637 289515 951114 | 172723 157578 55 | 0.017 % |
645.64/645.68 c | 904045 | 11637 289515 951114 | 172723 158603 55 | 0.017 % |
646.94/646.91 c | 906093 | 11637 289515 951114 | 172723 160651 56 | 0.017 % |
649.04/649.07 c | 910189 | 11637 289515 951114 | 164560 164747 58 | 0.017 % |
649.94/649.95 c | 910702 | 11637 289515 951114 | 164560 148464 58 | 0.017 % |
650.14/650.16 c | 911214 | 11637 289515 951114 | 164560 148976 58 | 0.017 % |
650.64/650.66 c | 912238 | 11637 289515 951114 | 164560 150000 58 | 0.017 % |
650.94/650.99 c | 912751 | 11637 289515 951114 | 164560 150513 58 | 0.017 % |
651.24/651.28 c | 913263 | 11637 289515 951114 | 164560 151025 58 | 0.017 % |
651.74/651.71 c | 914287 | 11637 289515 951114 | 164560 152049 58 | 0.018 % |
652.44/652.44 c | 916335 | 11637 289515 951114 | 164560 154097 58 | 0.018 % |
652.64/652.63 c | 916847 | 11637 289515 951114 | 164560 154609 58 | 0.018 % |
652.84/652.81 c | 917360 | 11637 289515 951114 | 164560 155122 58 | 0.018 % |
653.34/653.38 c | 918385 | 11637 289515 951114 | 164560 156147 58 | 0.018 % |
653.64/653.70 c | 918897 | 11637 289515 951114 | 164560 156659 57 | 0.017 % |
653.94/653.99 c | 919409 | 11637 289515 951114 | 164560 157171 58 | 0.017 % |
654.44/654.49 c | 920433 | 11637 289515 951114 | 2147483647 158195 58 | 0.017 % |
655.54/655.58 c | 922481 | 11637 289515 951114 | 2147483647 160243 58 | 0.017 % |
657.24/657.29 c | 926579 | 11637 289515 951114 | 2147483647 164341 59 | 0.017 % |
663.24/663.28 c | 934772 | 11637 289515 951114 | 2147483647 172534 59 | 0.017 % |
674.84/674.88 c | 951159 | 11637 289515 951114 | 2147483647 188921 59 | 0.017 % |
693.94/693.91 c | 983927 | 11637 289515 951114 | 2147483647 200580 55 | 0.017 % |
744.75/744.76 c | 1049465 | 11637 289515 951114 | 2147483647 213220 77 | 0.017 % |
831.86/831.84 c | 1180537 | 11637 289515 951114 | 115930 116464 59 | 0.017 % |
832.76/832.73 c | 1181050 | 11637 289515 951114 | 115930 95672 61 | 0.017 % |
833.06/833.06 c | 1181562 | 11637 289515 951114 | 115930 96184 61 | 0.017 % |
833.36/833.36 c | 1182586 | 11637 289515 951114 | 115930 97208 61 | 0.017 % |
833.56/833.61 c | 1183100 | 11637 289515 951114 | 115930 97722 61 | 0.017 % |
833.76/833.78 c | 1183612 | 11637 289515 951114 | 115930 98234 62 | 0.017 % |
834.16/834.20 c | 1184638 | 11637 289515 951114 | 115930 99260 62 | 0.017 % |
834.76/834.82 c | 1186686 | 11637 289515 951114 | 115930 101308 62 | 0.017 % |
835.06/835.08 c | 1187199 | 11637 289515 951114 | 115930 101821 62 | 0.017 % |
835.26/835.27 c | 1187711 | 11637 289515 951114 | 115930 102333 62 | 0.017 % |
835.66/835.71 c | 1188735 | 11637 289515 951114 | 115930 103357 62 | 0.017 % |
835.96/835.97 c | 1189251 | 11637 289515 951114 | 115930 103873 62 | 0.017 % |
836.16/836.20 c | 1189764 | 11637 289515 951114 | 115930 104386 62 | 0.017 % |
836.76/836.80 c | 1190788 | 11637 289515 951114 | 2147483647 105410 62 | 0.017 % |
837.86/837.86 c | 1192836 | 11637 289515 951114 | 2147483647 107458 63 | 0.017 % |
839.56/839.57 c | 1196934 | 11637 289515 951114 | 2147483647 111556 62 | 0.017 % |
839.86/839.87 c | 1197446 | 11637 289515 951114 | 2147483647 112068 62 | 0.017 % |
840.16/840.14 c | 1197958 | 11637 289515 951114 | 2147483647 112580 62 | 0.017 % |
840.66/840.70 c | 1198984 | 11637 289515 951114 | 2147483647 113606 62 | 0.018 % |
840.96/840.96 c | 1199497 | 11637 289515 951114 | 2147483647 114119 62 | 0.018 % |
841.16/841.12 c | 1200010 | 11637 289515 951114 | 2147483647 114632 62 | 0.018 % |
841.56/841.52 c | 1201034 | 11637 289515 951114 | 2147483647 115656 62 | 0.017 % |
842.16/842.21 c | 1203082 | 11637 289515 951114 | 2147483647 117704 63 | 0.017 % |
842.46/842.42 c | 1203595 | 11637 289515 951114 | 2147483647 118217 63 | 0.017 % |
842.66/842.64 c | 1204107 | 11637 289515 951114 | 2147483647 118729 64 | 0.017 % |
843.06/843.07 c | 1205131 | 11637 289515 951114 | 2147483647 119753 64 | 0.017 % |
843.26/843.29 c | 1205644 | 11637 289515 951114 | 2147483647 120266 64 | 0.017 % |
843.46/843.49 c | 1206156 | 11637 289515 951114 | 2147483647 120778 64 | 0.017 % |
843.86/843.90 c | 1207181 | 11637 289515 951114 | 2147483647 121803 64 | 0.017 % |
844.66/844.65 c | 1209232 | 11637 289515 951114 | 2147483647 123854 64 | 0.017 % |
846.56/846.59 c | 1213330 | 11637 289515 951114 | 2147483647 127952 65 | 0.017 % |
850.26/850.30 c | 1221523 | 11637 289515 951114 | 2147483647 136145 65 | 0.017 % |
850.56/850.61 c | 1222035 | 11637 289515 951114 | 2147483647 136657 66 | 0.017 % |
850.86/850.83 c | 1222547 | 11637 289515 951114 | 2147483647 137169 66 | 0.017 % |
851.56/851.55 c | 1223571 | 11637 289515 951114 | 2147483647 138193 67 | 0.017 % |
851.76/851.75 c | 1224083 | 11637 289515 951114 | 2147483647 138705 66 | 0.017 % |
851.96/852.00 c | 1224595 | 11637 289515 951114 | 2147483647 139217 67 | 0.017 % |
852.46/852.44 c | 1225619 | 11637 289515 951114 | 2147483647 140241 67 | 0.017 % |
853.26/853.22 c | 1227667 | 11637 289515 951114 | 2147483647 142289 67 | 0.017 % |
853.46/853.49 c | 1228179 | 11637 289515 951114 | 2147483647 142801 67 | 0.017 % |
853.76/853.72 c | 1228691 | 11637 289515 951114 | 2147483647 143313 67 | 0.017 % |
854.16/854.18 c | 1229717 | 11637 289515 951114 | 2147483647 144339 67 | 0.017 % |
854.46/854.44 c | 1230230 | 11637 289515 951114 | 2147483647 144852 67 | 0.017 % |
854.66/854.66 c | 1230742 | 11637 289515 951114 | 2147483647 145364 67 | 0.017 % |
855.06/855.09 c | 1231767 | 11637 289515 951114 | 2147483647 146389 67 | 0.017 % |
856.06/856.11 c | 1233815 | 11637 289515 951114 | 2147483647 148437 67 | 0.017 % |
858.06/858.04 c | 1237913 | 11637 289515 951114 | 2147483647 152535 67 | 0.017 % |
858.36/858.33 c | 1238425 | 11637 289515 951114 | 2147483647 153047 67 | 0.017 % |
858.56/858.56 c | 1238939 | 11637 289515 951114 | 2147483647 153561 66 | 0.017 % |
859.06/859.05 c | 1239963 | 11637 289515 951114 | 2147483647 154585 67 | 0.017 % |
859.26/859.24 c | 1240477 | 11637 289515 951114 | 2147483647 155099 67 | 0.017 % |
859.46/859.43 c | 1240992 | 11637 289515 951114 | 2147483647 155614 67 | 0.017 % |
859.96/859.99 c | 1242018 | 11637 289515 951114 | 2147483647 156640 67 | 0.017 % |
860.86/860.91 c | 1244066 | 11637 289515 951114 | 2147483647 158688 68 | 0.017 % |
861.26/861.24 c | 1244578 | 11637 289515 951114 | 2147483647 159200 68 | 0.017 % |
861.46/861.47 c | 1245090 | 11637 289515 951114 | 2147483647 159712 68 | 0.017 % |
861.96/861.99 c | 1246115 | 11637 289515 951114 | 2147483647 160737 68 | 0.017 % |
862.16/862.21 c | 1246628 | 11637 289515 951114 | 2147483647 161250 68 | 0.017 % |
862.46/862.49 c | 1247140 | 11637 289515 951114 | 2147483647 161762 68 | 0.017 % |
862.96/862.98 c | 1248164 | 11637 289515 951114 | 2147483647 162786 69 | 0.017 % |
863.96/863.96 c | 1250213 | 11637 289515 951114 | 2147483647 164835 69 | 0.017 % |
866.16/866.13 c | 1254309 | 11637 289515 951114 | 2147483647 168931 69 | 0.017 % |
870.86/870.82 c | 1262505 | 11637 289515 951114 | 2147483647 177127 68 | 0.017 % |
879.46/879.50 c | 1278889 | 11637 289515 951114 | 2147483647 193511 79 | 0.017 % |
879.86/879.86 c | 1279401 | 11637 289515 951114 | 2147483647 194023 79 | 0.017 % |
880.16/880.19 c | 1279914 | 11637 289515 951114 | 2147483647 194536 79 | 0.017 % |
880.76/880.72 c | 1280939 | 11637 289515 951114 | 2147483647 195561 79 | 0.017 % |
880.96/880.97 c | 1281451 | 11637 289515 951114 | 2147483647 196073 79 | 0.017 % |
881.16/881.21 c | 1281963 | 11637 289515 951114 | 2147483647 196585 79 | 0.017 % |
881.86/881.90 c | 1282988 | 11637 289515 951114 | 2147483647 197610 78 | 0.017 % |
883.06/883.09 c | 1285037 | 11637 289515 951114 | 2147483647 199659 78 | 0.017 % |
883.36/883.38 c | 1285550 | 11637 289515 951114 | 2147483647 200172 78 | 0.017 % |
883.76/883.76 c | 1286062 | 11637 289515 951114 | 2147483647 200684 78 | 0.017 % |
884.36/884.37 c | 1287086 | 11637 289515 951114 | 2147483647 201708 79 | 0.017 % |
884.76/884.75 c | 1287598 | 11637 289515 951114 | 2147483647 202220 79 | 0.017 % |
885.06/885.05 c | 1288110 | 11637 289515 951114 | 2147483647 202732 79 | 0.017 % |
885.86/885.84 c | 1289136 | 11637 289515 951114 | 2147483647 203758 79 | 0.017 % |
887.16/887.13 c | 1291184 | 11637 289515 951114 | 2147483647 205806 79 | 0.017 % |
889.16/889.12 c | 1295281 | 11637 289515 951114 | 2147483647 209903 78 | 0.017 % |
889.36/889.41 c | 1295793 | 11637 289515 951114 | 2147483647 210415 78 | 0.017 % |
889.76/889.79 c | 1296306 | 11637 289515 951114 | 2147483647 210928 78 | 0.017 % |
890.36/890.41 c | 1297330 | 11637 289515 951114 | 2147483647 211952 78 | 0.017 % |
890.76/890.75 c | 1297844 | 11637 289515 951114 | 2147483647 212466 78 | 0.017 % |
891.07/891.04 c | 1298357 | 11637 289515 951114 | 2147483647 212979 78 | 0.017 % |
891.56/891.60 c | 1299382 | 11637 289515 951114 | 2147483647 214004 78 | 0.017 % |
892.96/892.92 c | 1301430 | 11637 289515 951114 | 2147483647 216052 78 | 0.017 % |
893.27/893.26 c | 1301944 | 11637 289515 951114 | 2147483647 216566 77 | 0.017 % |
893.66/893.62 c | 1302456 | 11637 289515 951114 | 2147483647 217078 77 | 0.018 % |
894.26/894.28 c | 1303480 | 11637 289515 951114 | 2147483647 218102 77 | 0.017 % |
894.56/894.59 c | 1303994 | 11637 289515 951114 | 2147483647 218616 77 | 0.017 % |
894.96/895.01 c | 1304506 | 11637 289515 951114 | 2147483647 219128 77 | 0.017 % |
895.76/895.77 c | 1305530 | 11637 289515 951114 | 2147483647 220152 77 | 0.017 % |
896.86/896.90 c | 1307578 | 11637 289515 951114 | 2147483647 222200 78 | 0.017 % |
899.66/899.71 c | 1311675 | 11637 289515 951114 | 2147483647 226297 79 | 0.017 % |
904.16/904.17 c | 1319867 | 11637 289515 951114 | 2147483647 234489 78 | 0.017 % |
904.46/904.42 c | 1320379 | 11637 289515 951114 | 2147483647 235001 78 | 0.017 % |
904.66/904.71 c | 1320893 | 11637 289515 951114 | 2147483647 235515 78 | 0.017 % |
905.26/905.27 c | 1321918 | 11637 289515 951114 | 2147483647 236540 78 | 0.017 % |
905.66/905.68 c | 1322433 | 11637 289515 951114 | 2147483647 237055 78 | 0.017 % |
906.06/906.05 c | 1322946 | 11637 289515 951114 | 2147483647 237568 78 | 0.017 % |
906.76/906.81 c | 1323970 | 11637 289515 951114 | 2147483647 238592 77 | 0.017 % |
908.26/908.25 c | 1326019 | 11637 289515 951114 | 2147483647 240641 77 | 0.017 % |
908.67/908.64 c | 1326531 | 11637 289515 951114 | 2147483647 241153 77 | 0.017 % |
909.06/909.04 c | 1327043 | 11637 289515 951114 | 2147483647 241665 77 | 0.017 % |
909.56/909.61 c | 1328067 | 11637 289515 951114 | 2147483647 242689 77 | 0.017 % |
909.96/909.92 c | 1328579 | 11637 289515 951114 | 2147483647 243201 77 | 0.017 % |
910.26/910.30 c | 1329091 | 11637 289515 951114 | 2147483647 243713 77 | 0.017 % |
911.06/911.10 c | 1330116 | 11637 289515 951114 | 2147483647 244738 77 | 0.017 % |
912.56/912.54 c | 1332164 | 11637 289515 951114 | 2147483647 246786 77 | 0.017 % |
914.86/914.86 c | 1336260 | 11637 289515 951114 | 2147483647 250882 77 | 0.017 % |
915.27/915.28 c | 1336773 | 11637 289515 951114 | 2147483647 251395 77 | 0.017 % |
915.66/915.66 c | 1337285 | 11637 289515 951114 | 2147483647 251907 77 | 0.017 % |
916.56/916.52 c | 1338309 | 11637 289515 951114 | 2147483647 252931 77 | 0.017 % |
916.96/916.97 c | 1338821 | 11637 289515 951114 | 2147483647 253443 77 | 0.017 % |
917.36/917.34 c | 1339334 | 11637 289515 951114 | 2147483647 253956 77 | 0.017 % |
918.26/918.24 c | 1340359 | 11637 289515 951114 | 2147483647 254981 76 | 0.017 % |
919.76/919.74 c | 1342408 | 11637 289515 951114 | 2147483647 257030 76 | 0.017 % |
920.16/920.19 c | 1342920 | 11637 289515 951114 | 2147483647 257542 76 | 0.017 % |
920.66/920.64 c | 1343433 | 11637 289515 951114 | 2147483647 258055 76 | 0.017 % |
921.36/921.36 c | 1344458 | 11637 289515 951114 | 2147483647 259080 76 | 0.017 % |
921.76/921.78 c | 1344970 | 11637 289515 951114 | 2147483647 259592 76 | 0.017 % |
922.26/922.24 c | 1345483 | 11637 289515 951114 | 2147483647 260105 76 | 0.017 % |
922.86/922.91 c | 1346508 | 11637 289515 951114 | 2147483647 261130 76 | 0.017 % |
924.56/924.61 c | 1348556 | 11637 289515 951114 | 2147483647 263178 76 | 0.017 % |
927.16/927.12 c | 1352652 | 11637 289515 951114 | 2147483647 267274 76 | 0.017 % |
932.36/932.38 c | 1360844 | 11637 289515 951114 | 2147483647 275466 76 | 0.017 % |
943.97/943.99 c | 1377228 | 11637 289515 951114 | 2147483647 291850 74 | 0.017 % |
966.77/966.77 c | 1409997 | 11637 289515 951114 | 2147483647 324619 73 | 0.017 % |
967.27/967.29 c | 1410509 | 11637 289515 951114 | 2147483647 325131 73 | 0.017 % |
967.87/967.86 c | 1411022 | 11637 289515 951114 | 2147483647 325644 73 | 0.017 % |
968.96/968.98 c | 1412046 | 11637 289515 951114 | 2147483647 326668 73 | 0.017 % |
969.46/969.43 c | 1412559 | 11637 289515 951114 | 2147483647 327181 73 | 0.017 % |
969.96/969.96 c | 1413071 | 11637 289515 951114 | 2147483647 327693 73 | 0.017 % |
970.96/970.93 c | 1414096 | 11637 289515 951114 | 2147483647 328718 73 | 0.017 % |
972.36/972.35 c | 1416144 | 11637 289515 951114 | 2147483647 330766 73 | 0.017 % |
972.76/972.78 c | 1416657 | 11637 289515 951114 | 2147483647 331279 73 | 0.017 % |
973.26/973.25 c | 1417169 | 11637 289515 951114 | 2147483647 331791 73 | 0.017 % |
974.06/974.01 c | 1418193 | 11637 289515 951114 | 2147483647 332815 73 | 0.017 % |
974.46/974.51 c | 1418705 | 11637 289515 951114 | 2147483647 333327 73 | 0.017 % |
974.96/974.92 c | 1419219 | 11637 289515 951114 | 2147483647 333841 73 | 0.017 % |
975.66/975.62 c | 1420244 | 11637 289515 951114 | 334622 334866 73 | 0.017 % |
978.26/978.23 c | 1422303 | 11637 289515 951114 | 334622 289753 72 | 0.017 % |
982.86/982.85 c | 1426399 | 11637 289515 951114 | 334622 293849 72 | 0.017 % |
983.46/983.45 c | 1426911 | 11637 289515 951114 | 334622 294361 72 | 0.017 % |
983.86/983.88 c | 1427425 | 11637 289515 951114 | 334622 294875 72 | 0.017 % |
984.86/984.82 c | 1428450 | 11637 289515 951114 | 334622 295900 72 | 0.017 % |
985.36/985.33 c | 1428962 | 11637 289515 951114 | 334622 296412 72 | 0.017 % |
985.76/985.74 c | 1429474 | 11637 289515 951114 | 334622 296924 72 | 0.017 % |
986.86/986.90 c | 1430498 | 11637 289515 951114 | 297451 297948 72 | 0.017 % |
991.46/991.41 c | 1432546 | 11637 289515 951114 | 297451 241983 72 | 0.017 % |
991.96/992.00 c | 1433059 | 11637 289515 951114 | 297451 242496 72 | 0.017 % |
992.56/992.53 c | 1433571 | 11637 289515 951114 | 297451 243008 72 | 0.017 % |
993.36/993.31 c | 1434595 | 11637 289515 951114 | 297451 244032 72 | 0.017 % |
993.76/993.79 c | 1435109 | 11637 289515 951114 | 297451 244546 72 | 0.017 % |
994.26/994.30 c | 1435621 | 11637 289515 951114 | 297451 245058 72 | 0.017 % |
995.16/995.15 c | 1436645 | 11637 289515 951114 | 297451 246082 72 | 0.018 % |
996.96/997.00 c | 1438693 | 11637 289515 951114 | 297451 248130 72 | 0.017 % |
1002.36/1002.31 c | 1442792 | 11637 289515 951114 | 249438 208687 67 | 0.017 % |
1008.66/1008.72 c | 1450986 | 11637 289515 951114 | 215896 216881 66 | 0.017 % |
1009.56/1009.58 c | 1451499 | 11637 289515 951114 | 215896 191983 62 | 0.017 % |
1010.06/1010.01 c | 1452011 | 11637 289515 951114 | 215896 192495 62 | 0.017 % |
1010.86/1010.89 c | 1453035 | 11637 289515 951114 | 215896 193519 62 | 0.017 % |
1011.36/1011.32 c | 1453547 | 11637 289515 951114 | 215896 194031 62 | 0.017 % |
1011.66/1011.66 c | 1454060 | 11637 289515 951114 | 215896 194544 62 | 0.017 % |
1012.46/1012.50 c | 1455085 | 11637 289515 951114 | 215896 195569 62 | 0.017 % |
1014.06/1014.09 c | 1457134 | 11637 289515 951114 | 215896 197618 62 | 0.017 % |
1014.56/1014.57 c | 1457646 | 11637 289515 951114 | 215896 198130 62 | 0.017 % |
1015.06/1015.09 c | 1458160 | 11637 289515 951114 | 215896 198644 62 | 0.017 % |
1015.96/1015.94 c | 1459184 | 11637 289515 951114 | 215896 199668 61 | 0.017 % |
1016.47/1016.47 c | 1459697 | 11637 289515 951114 | 215896 200181 61 | 0.017 % |
1016.96/1016.96 c | 1460212 | 11637 289515 951114 | 200484 200696 61 | 0.017 % |
1018.26/1018.22 c | 1461239 | 11637 289515 951114 | 200484 180336 60 | 0.017 % |
1020.06/1020.09 c | 1463287 | 11637 289515 951114 | 200484 182384 60 | 0.017 % |
1023.26/1023.25 c | 1467383 | 11637 289515 951114 | 200484 186480 60 | 0.017 % |
1023.76/1023.74 c | 1467896 | 11637 289515 951114 | 200484 186993 60 | 0.017 % |
1024.26/1024.30 c | 1468410 | 11637 289515 951114 | 200484 187507 60 | 0.017 % |
1025.16/1025.18 c | 1469435 | 11637 289515 951114 | 200484 188532 60 | 0.017 % |
1025.56/1025.60 c | 1469947 | 11637 289515 951114 | 200484 189044 60 | 0.017 % |
1025.96/1025.97 c | 1470459 | 11637 289515 951114 | 189097 189556 60 | 0.017 % |
1027.16/1027.14 c | 1471484 | 11637 289515 951114 | 189097 168405 59 | 0.017 % |
1028.86/1028.87 c | 1473534 | 11637 289515 951114 | 189097 170455 59 | 0.017 % |
1029.26/1029.25 c | 1474047 | 11637 289515 951114 | 189097 170968 59 | 0.017 % |
1029.67/1029.67 c | 1474561 | 11637 289515 951114 | 189097 171482 59 | 0.017 % |
1030.46/1030.49 c | 1475586 | 11637 289515 951114 | 189097 172507 59 | 0.017 % |
1030.86/1030.90 c | 1476098 | 11637 289515 951114 | 189097 173019 59 | 0.017 % |
1031.36/1031.35 c | 1476614 | 11637 289515 951114 | 189097 173535 59 | 0.017 % |
1032.16/1032.13 c | 1477638 | 11637 289515 951114 | 189097 174559 59 | 0.017 % |
1033.56/1033.55 c | 1479687 | 11637 289515 951114 | 189097 176608 59 | 0.017 % |
1036.27/1036.24 c | 1483783 | 11637 289515 951114 | 2147483647 180704 60 | 0.017 % |
1042.26/1042.30 c | 1491976 | 11637 289515 951114 | 2147483647 188897 60 | 0.017 % |
1053.97/1053.95 c | 1508363 | 11637 289515 951114 | 2147483647 205284 60 | 0.017 % |
1054.37/1054.37 c | 1508876 | 11637 289515 951114 | 2147483647 205797 60 | 0.017 % |
1054.76/1054.79 c | 1509388 | 11637 289515 951114 | 2147483647 206309 60 | 0.017 % |
1055.66/1055.65 c | 1510413 | 11637 289515 951114 | 2147483647 207334 60 | 0.017 % |
1056.06/1056.02 c | 1510925 | 11637 289515 951114 | 2147483647 207846 60 | 0.017 % |
1056.36/1056.35 c | 1511437 | 11637 289515 951114 | 2147483647 208358 60 | 0.017 % |
1057.36/1057.33 c | 1512461 | 11637 289515 951114 | 2147483647 209382 60 | 0.017 % |
1059.06/1059.05 c | 1514509 | 11637 289515 951114 | 2147483647 211430 59 | 0.017 % |
1059.56/1059.57 c | 1515021 | 11637 289515 951114 | 2147483647 211942 60 | 0.017 % |
1060.06/1060.03 c | 1515533 | 11637 289515 951114 | 2147483647 212454 60 | 0.017 % |
1061.26/1061.25 c | 1516559 | 11637 289515 951114 | 2147483647 213480 60 | 0.017 % |
1061.86/1061.85 c | 1517071 | 11637 289515 951114 | 2147483647 213992 59 | 0.017 % |
1062.46/1062.49 c | 1517583 | 11637 289515 951114 | 2147483647 214504 59 | 0.017 % |
1063.56/1063.52 c | 1518607 | 11637 289515 951114 | 2147483647 215528 60 | 0.017 % |
1065.36/1065.32 c | 1520656 | 11637 289515 951114 | 216922 217577 60 | 0.017 % |
1069.26/1069.26 c | 1524753 | 11637 289515 951114 | 216922 188916 60 | 0.017 % |
1069.66/1069.63 c | 1525268 | 11637 289515 951114 | 216922 189431 60 | 0.017 % |
1070.16/1070.18 c | 1525781 | 11637 289515 951114 | 216922 189944 60 | 0.017 % |
1071.06/1071.07 c | 1526805 | 11637 289515 951114 | 216922 190968 60 | 0.017 % |
1071.56/1071.60 c | 1527317 | 11637 289515 951114 | 216922 191480 60 | 0.017 % |
1072.06/1072.06 c | 1527830 | 11637 289515 951114 | 216922 191993 60 | 0.017 % |
1072.76/1072.79 c | 1528854 | 11637 289515 951114 | 216922 193017 59 | 0.017 % |
1074.66/1074.64 c | 1530904 | 11637 289515 951114 | 194164 195067 59 | 0.017 % |
1075.76/1075.74 c | 1531417 | 11637 289515 951114 | 194164 173151 58 | 0.017 % |
1076.26/1076.22 c | 1531932 | 11637 289515 951114 | 194164 173666 58 | 0.017 % |
1077.16/1077.16 c | 1532956 | 11637 289515 951114 | 194164 174690 58 | 0.017 % |
1077.56/1077.56 c | 1533468 | 11637 289515 951114 | 194164 175202 58 | 0.017 % |
1078.06/1078.04 c | 1533981 | 11637 289515 951114 | 194164 175715 58 | 0.017 % |
1078.86/1078.81 c | 1535005 | 11637 289515 951114 | 194164 176739 58 | 0.017 % |
1080.36/1080.36 c | 1537053 | 11637 289515 951114 | 194164 178787 58 | 0.017 % |
1083.86/1083.87 c | 1541149 | 11637 289515 951114 | 181736 182883 58 | 0.017 % |
1090.56/1090.55 c | 1549341 | 11637 289515 951114 | 181736 166915 57 | 0.017 % |
1091.06/1091.06 c | 1549854 | 11637 289515 951114 | 181736 167428 57 | 0.017 % |
1091.66/1091.62 c | 1550369 | 11637 289515 951114 | 167575 167943 57 | 0.017 % |
1092.76/1092.77 c | 1551393 | 11637 289515 951114 | 167575 149658 56 | 0.017 % |
1093.16/1093.17 c | 1551905 | 11637 289515 951114 | 167575 150170 55 | 0.017 % |
1093.56/1093.54 c | 1552417 | 11637 289515 951114 | 167575 150682 55 | 0.017 % |
1094.26/1094.24 c | 1553442 | 11637 289515 951114 | 167575 151707 55 | 0.017 % |
1095.76/1095.73 c | 1555491 | 11637 289515 951114 | 167575 153756 55 | 0.017 % |
1096.26/1096.22 c | 1556003 | 11637 289515 951114 | 167575 154268 55 | 0.017 % |
1096.66/1096.67 c | 1556518 | 11637 289515 951114 | 167575 154783 55 | 0.017 % |
1097.26/1097.26 c | 1557542 | 11637 289515 951114 | 167575 155807 55 | 0.017 % |
1097.76/1097.78 c | 1558054 | 11637 289515 951114 | 167575 156319 55 | 0.017 % |
1098.16/1098.13 c | 1558566 | 11637 289515 951114 | 167575 156831 55 | 0.017 % |
1099.06/1099.07 c | 1559592 | 11637 289515 951114 | 167575 157857 55 | 0.017 % |
1100.56/1100.60 c | 1561640 | 11637 289515 951114 | 158265 159905 55 | 0.017 % |
1104.86/1104.87 c | 1565738 | 11637 289515 951114 | 158265 146335 55 | 0.017 % |
1105.26/1105.27 c | 1566250 | 11637 289515 951114 | 158265 146847 55 | 0.017 % |
1105.66/1105.69 c | 1566762 | 11637 289515 951114 | 158265 147359 55 | 0.017 % |
1106.46/1106.41 c | 1567786 | 11637 289515 951114 | 158265 148383 55 | 0.017 % |
1106.76/1106.79 c | 1568299 | 11637 289515 951114 | 158265 148896 55 | 0.017 % |
1107.26/1107.24 c | 1568811 | 11637 289515 951114 | 158265 149408 55 | 0.017 % |
1108.16/1108.14 c | 1569836 | 11637 289515 951114 | 158265 150433 55 | 0.017 % |
1109.96/1109.97 c | 1571884 | 11637 289515 951114 | 2147483647 152481 54 | 0.017 % |
1110.26/1110.28 c | 1572397 | 11637 289515 951114 | 2147483647 152994 54 | 0.017 % |
1110.66/1110.62 c | 1572909 | 11637 289515 951114 | 2147483647 153506 54 | 0.017 % |
1111.46/1111.42 c | 1573934 | 11637 289515 951114 | 2147483647 154531 54 | 0.017 % |
1111.76/1111.71 c | 1574447 | 11637 289515 951114 | 2147483647 155044 54 | 0.017 % |
1111.96/1112.00 c | 1574961 | 11637 289515 951114 | 2147483647 155558 54 | 0.017 % |
1112.66/1112.62 c | 1575985 | 11637 289515 951114 | 2147483647 156582 54 | 0.017 % |
1114.46/1114.48 c | 1578036 | 11637 289515 951114 | 2147483647 158633 54 | 0.017 % |
1117.16/1117.11 c | 1582135 | 11637 289515 951114 | 2147483647 162732 54 | 0.017 % |
1122.16/1122.11 c | 1590327 | 11637 289515 951114 | 2147483647 170924 54 | 0.017 % |
1129.26/1129.29 c | 1606711 | 11637 289515 951114 | 2147483647 187308 59 | 0.017 % |
1151.06/1151.05 c | 1639479 | 11637 289515 951114 | 153840 139440 64 | 0.017 % |
1189.07/1189.02 c | 1705015 | 11637 289515 951114 | 2147483647 167177 63 | 0.017 % |
1189.27/1189.23 c | 1705527 | 11637 289515 951114 | 2147483647 167689 63 | 0.017 % |
1189.57/1189.59 c | 1706040 | 11637 289515 951114 | 2147483647 168202 64 | 0.017 % |
1190.27/1190.24 c | 1707064 | 11637 289515 951114 | 2147483647 169226 64 | 0.017 % |
1190.47/1190.49 c | 1707579 | 11637 289515 951114 | 2147483647 169741 64 | 0.017 % |
1190.77/1190.76 c | 1708091 | 11637 289515 951114 | 2147483647 170253 64 | 0.017 % |
1191.07/1191.10 c | 1709116 | 11637 289515 951114 | 2147483647 171278 64 | 0.017 % |
1192.17/1192.13 c | 1711164 | 11637 289515 951114 | 2147483647 173326 64 | 0.017 % |
1192.37/1192.37 c | 1711679 | 11637 289515 951114 | 2147483647 173841 64 | 0.017 % |
1192.67/1192.68 c | 1712191 | 11637 289515 951114 | 2147483647 174353 64 | 0.018 % |
1192.97/1192.98 c | 1713217 | 11637 289515 951114 | 2147483647 175379 64 | 0.017 % |
1193.37/1193.31 c | 1713729 | 11637 289515 951114 | 2147483647 175891 64 | 0.017 % |
1193.67/1193.62 c | 1714241 | 11637 289515 951114 | 2147483647 176403 64 | 0.017 % |
1194.17/1194.17 c | 1715268 | 11637 289515 951114 | 2147483647 177430 64 | 0.017 % |
1195.07/1195.09 c | 1717316 | 11637 289515 951114 | 2147483647 179478 64 | 0.018 % |
1197.07/1197.10 c | 1721412 | 11637 289515 951114 | 2147483647 183574 64 | 0.017 % |
1197.37/1197.32 c | 1721927 | 11637 289515 951114 | 2147483647 184089 64 | 0.017 % |
1197.67/1197.66 c | 1722440 | 11637 289515 951114 | 2147483647 184602 64 | 0.018 % |
1198.07/1198.02 c | 1723464 | 11637 289515 951114 | 2147483647 185626 64 | 0.017 % |
1198.27/1198.24 c | 1723977 | 11637 289515 951114 | 2147483647 186139 64 | 0.018 % |
1198.47/1198.47 c | 1724490 | 11637 289515 951114 | 2147483647 186652 64 | 0.017 % |
1198.87/1198.85 c | 1725516 | 11637 289515 951114 | 2147483647 187678 65 | 0.018 % |
1199.87/1199.89 c | 1727564 | 11637 289515 951114 | 2147483647 189726 65 | 0.017 % |
1200.07/1200.03 HOME/SatELiteGTI: line 36: 26796 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-1821905-1242578259/watcher-1821905-1242578259 -o /tmp/evaluation-result-1821905-1242578259/solver-1821905-1242578259 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821905-1242578259.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.04 1.02 1.00 2/93 26790
/proc/meminfo: memFree=976540/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2416 CPUtime=0.01
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 368 646 0 0 0 0 0 1 18 0 1 0 1022326761 2473984 277 4294967295 134512640 135169312 3213939808 3213938344 3085385454 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26790/statm: 604 277 235 161 0 43 0
[pid=26794] ppid=26790 vsize=812 CPUtime=0
/proc/26794/stat : 26794 (SatELite_releas) R 26790 26790 10114 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 1022326761 831488 4 4294967295 134512640 135223648 3213460432 3213460396 134658240 0 0 0 0 0 0 0 17 3 0 0 0
/proc/26794/statm: 204 14 9 174 0 29 0
[startup+0.043337 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 26790
/proc/meminfo: memFree=976540/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2416 CPUtime=0.01
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 368 646 0 0 0 0 0 1 18 0 1 0 1022326761 2473984 277 4294967295 134512640 135169312 3213939808 3213938344 3085385454 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26790/statm: 604 277 235 161 0 43 0
[pid=26794] ppid=26790 vsize=4684 CPUtime=0.04
/proc/26794/stat : 26794 (SatELite_releas) R 26790 26790 10114 0 -1 4202496 1022 0 0 0 4 0 0 0 20 0 1 0 1022326761 4796416 958 4294967295 134512640 135223648 3213460432 3213459384 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26794/statm: 1171 959 46 174 0 996 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 7100
[startup+0.113333 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 26790
/proc/meminfo: memFree=976540/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2416 CPUtime=0.01
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 368 646 0 0 0 0 0 1 18 0 1 0 1022326761 2473984 277 4294967295 134512640 135169312 3213939808 3213938344 3085385454 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26790/statm: 604 277 235 161 0 43 0
[pid=26794] ppid=26790 vsize=10556 CPUtime=0.11
/proc/26794/stat : 26794 (SatELite_releas) R 26790 26790 10114 0 -1 4202496 2333 0 0 0 11 0 0 0 20 0 1 0 1022326761 10809344 2269 4294967295 134512640 135223648 3213460432 3213459384 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26794/statm: 2639 2269 46 174 0 2464 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 12972
[startup+0.313323 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 26790
/proc/meminfo: memFree=976540/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2416 CPUtime=0.01
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 368 646 0 0 0 0 0 1 18 0 1 0 1022326761 2473984 277 4294967295 134512640 135169312 3213939808 3213938344 3085385454 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26790/statm: 604 277 235 161 0 43 0
[pid=26794] ppid=26790 vsize=27884 CPUtime=0.31
/proc/26794/stat : 26794 (SatELite_releas) R 26790 26790 10114 0 -1 4202496 6639 0 0 0 29 2 0 0 21 0 1 0 1022326761 28553216 5948 4294967295 134512640 135223648 3213460432 3213458200 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26794/statm: 6971 5948 73 174 0 6796 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30300
[startup+0.713303 s]
/proc/loadavg: 1.04 1.02 1.00 2/93 26790
/proc/meminfo: memFree=976540/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2416 CPUtime=0.01
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 368 646 0 0 0 0 0 1 18 0 1 0 1022326761 2473984 277 4294967295 134512640 135169312 3213939808 3213938344 3085385454 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26790/statm: 604 277 235 161 0 43 0
[pid=26794] ppid=26790 vsize=29580 CPUtime=0.71
/proc/26794/stat : 26794 (SatELite_releas) R 26790 26790 10114 0 -1 4202496 7028 0 0 0 68 3 0 0 22 0 1 0 1022326761 30289920 6337 4294967295 134512640 135223648 3213460432 3213458448 134586712 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26794/statm: 7395 6337 73 174 0 7220 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 31996
[startup+1.51326 s]
/proc/loadavg: 1.04 1.02 1.00 3/95 26795
/proc/meminfo: memFree=948112/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2416 CPUtime=0.01
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 368 646 0 0 0 0 0 1 18 0 1 0 1022326761 2473984 277 4294967295 134512640 135169312 3213939808 3213938344 3085385454 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/26790/statm: 604 277 235 161 0 43 0
[pid=26794] ppid=26790 vsize=29784 CPUtime=1.51
/proc/26794/stat : 26794 (SatELite_releas) R 26790 26790 10114 0 -1 4202496 8265 0 0 0 148 3 0 0 25 0 1 0 1022326761 30498816 6389 4294967295 134512640 135223648 3213460432 3213457216 134814063 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26794/statm: 7446 6389 74 174 0 7271 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 32200
[startup+3.11319 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 26796
/proc/meminfo: memFree=954560/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=17172 CPUtime=1.57
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 4211 0 0 0 156 1 0 0 25 0 1 0 1022326916 17584128 4146 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26796/statm: 4293 4146 75 172 0 4120 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 19592
[startup+6.31304 s]
/proc/loadavg: 1.04 1.02 1.00 2/95 26979
/proc/meminfo: memFree=950596/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=20340 CPUtime=4.77
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 5009 0 0 0 476 1 0 0 25 0 1 0 1022326916 20828160 4944 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 0 0 0 0
/proc/26796/statm: 5085 4944 75 172 0 4912 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 22760
[startup+12.7127 s]
/proc/loadavg: 1.03 1.02 1.00 2/95 26979
/proc/meminfo: memFree=943224/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=28432 CPUtime=11.16
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 7006 0 0 0 1114 2 0 0 25 0 1 0 1022326916 29114368 6941 4294967295 134512640 135216591 3215398416 3215396384 134539421 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 7108 6941 75 172 0 6935 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 30852
[startup+25.5121 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 26981
/proc/meminfo: memFree=929028/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=42008 CPUtime=23.96
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 10376 0 0 0 2393 3 0 0 25 0 1 0 1022326916 43016192 10311 4294967295 134512640 135216591 3215398416 3215396608 134528779 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 10502 10311 75 172 0 10329 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 44428
[startup+51.1208 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 26987
/proc/meminfo: memFree=910864/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=60748 CPUtime=49.57
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 15061 0 0 0 4945 12 0 0 25 0 1 0 1022326916 62205952 14996 4294967295 134512640 135216591 3215398416 3215396384 134538192 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 15187 14996 75 172 0 15014 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 63168
[startup+102.328 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 27174
/proc/meminfo: memFree=880608/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=90564 CPUtime=100.78
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 22395 0 0 0 10062 16 0 0 25 0 1 0 1022326916 92737536 22330 4294967295 134512640 135216591 3215398416 3215396416 134527217 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 22641 22330 75 172 0 22468 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 92984
[startup+162.325 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 27361
/proc/meminfo: memFree=866976/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=104036 CPUtime=160.78
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25796 0 0 0 16061 17 0 0 25 0 1 0 1022326916 106532864 25731 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26009 25731 75 172 0 25836 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 106456
[startup+222.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27550
/proc/meminfo: memFree=866356/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=104672 CPUtime=220.77
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25918 0 0 0 22060 17 0 0 25 0 1 0 1022326916 107184128 25853 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26168 25853 75 172 0 25995 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 107092
[startup+282.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 27737
/proc/meminfo: memFree=866480/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=104672 CPUtime=280.77
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25922 0 0 0 28060 17 0 0 25 0 1 0 1022326916 107184128 25857 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26168 25857 75 172 0 25995 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 107092
[startup+342.307 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 27928
/proc/meminfo: memFree=866108/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=104884 CPUtime=340.77
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25962 0 0 0 34060 17 0 0 25 0 1 0 1022326916 107401216 25897 4294967295 134512640 135216591 3215398416 3215396384 134538270 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26221 25897 75 172 0 26048 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
[pid=26796] ppid=26790 vsize=104884 CPUtime=460.78
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25966 0 0 0 46061 17 0 0 25 0 1 0 1022326916 107401216 25901 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26221 25901 75 172 0 26048 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 107304
[startup+522.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28495
/proc/meminfo: memFree=866108/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=104884 CPUtime=520.79
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25967 0 0 0 52062 17 0 0 25 0 1 0 1022326916 107401216 25902 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26221 25902 75 172 0 26048 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 107304
[startup+582.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 28682
/proc/meminfo: memFree=866108/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=104884 CPUtime=580.79
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 25967 0 0 0 58057 22 0 0 25 0 1 0 1022326916 107401216 25902 4294967295 134512640 135216591 3215398416 3215396608 134528784 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26221 25902 75 172 0 26048 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 107304
[startup+642.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 28871
/proc/meminfo: memFree=866108/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=105128 CPUtime=640.79
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 26023 0 0 0 64057 22 0 0 25 0 1 0 1022326916 107651072 25958 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26282 25958 75 172 0 26109 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 107548
[startup+702.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 29058
/proc/meminfo: memFree=865852/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=105128 CPUtime=700.79
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 26024 0 0 0 70057 22 0 0 25 0 1 0 1022326916 107651072 25959 4294967295 134512640 135216591 3215398416 3215396320 134532938 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26282 25959 75 172 0 26109 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 107548
[startup+762.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 29245
/proc/meminfo: memFree=865736/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=105292 CPUtime=760.8
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 26055 0 0 0 76050 30 0 0 25 0 1 0 1022326916 107819008 25990 4294967295 134512640 135216591 3215398416 3215396608 134528826 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26323 25990 75 172 0 26150 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 107712
[startup+822.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 29438
/proc/meminfo: memFree=862760/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=107996 CPUtime=820.81
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 26789 0 0 0 82049 32 0 0 25 0 1 0 1022326916 110587904 26676 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 26999 26676 75 172 0 26826 0
Current children cumulated CPU time (s) 822.36
Current children cumulated vsize (KiB) 110416
[startup+882.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 29625
/proc/meminfo: memFree=862636/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=108360 CPUtime=880.81
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 26839 0 0 0 88049 32 0 0 25 0 1 0 1022326916 110960640 26726 4294967295 134512640 135216591 3215398416 3215396608 134529308 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 27090 26726 75 172 0 26917 0
Current children cumulated CPU time (s) 882.36
Current children cumulated vsize (KiB) 110780
[startup+942.327 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 29814
/proc/meminfo: memFree=851848/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=119452 CPUtime=940.82
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 29608 0 0 0 94047 35 0 0 25 0 1 0 1022326916 122318848 29495 4294967295 134512640 135216591 3215398416 3215396608 134529009 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 29863 29495 75 172 0 29690 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 121872
[startup+1002.31 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 30001
/proc/meminfo: memFree=839572/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=131836 CPUtime=1000.81
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 32594 0 0 0 100043 38 0 0 25 0 1 0 1022326916 135000064 32481 4294967295 134512640 135216591 3215398416 3215396608 134529586 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 32959 32481 75 172 0 32786 0
Current children cumulated CPU time (s) 1002.36
Current children cumulated vsize (KiB) 134256
[startup+1062.31 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 30188
/proc/meminfo: memFree=839448/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=131956 CPUtime=1060.81
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 32618 0 0 0 106043 38 0 0 25 0 1 0 1022326916 135122944 32505 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 32989 32505 75 172 0 32816 0
Current children cumulated CPU time (s) 1062.36
Current children cumulated vsize (KiB) 134376
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 30377
/proc/meminfo: memFree=839392/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=131956 CPUtime=1120.81
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 32619 0 0 0 112042 39 0 0 25 0 1 0 1022326916 135122944 32506 4294967295 134512640 135216591 3215398416 3215396608 134528842 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 32989 32506 75 172 0 32816 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 134376
[startup+1182.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 30568
/proc/meminfo: memFree=838904/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=132188 CPUtime=1180.82
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 32681 0 0 0 118043 39 0 0 25 0 1 0 1022326916 135360512 32568 4294967295 134512640 135216591 3215398416 3215396608 134528839 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 33047 32568 75 172 0 32874 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 134608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 30570
/proc/meminfo: memFree=838656/2074464 swapFree=1950884/1959888
[pid=26790] ppid=26788 vsize=2420 CPUtime=1.55
/proc/26790/stat : 26790 (SatELiteGTI) S 26788 26790 10114 0 -1 4194304 386 8913 0 0 0 0 151 4 18 0 1 0 1022326761 2478080 278 4294967295 134512640 135169312 3213939808 3213936024 3085385454 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/26790/statm: 605 278 235 161 0 44 0
[pid=26796] ppid=26790 vsize=132364 CPUtime=1198.52
/proc/26796/stat : 26796 (minisat_static) R 26790 26790 10114 0 -1 4202496 32729 0 0 0 119813 39 0 0 25 0 1 0 1022326916 135540736 32616 4294967295 134512640 135216591 3215398416 3215396320 134533066 0 0 0 3 0 0 0 17 3 0 0 0
/proc/26796/statm: 33091 32616 75 172 0 32918 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 134784
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.09
CPU user time (s): 1199.65
CPU system time (s): 0.44
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 134784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.65
system time used= 0.44
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42305
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= 1158
runsolver used 0.03 second user time and 0.03 second system time
The end
Begin job on tipi13 at 2009-05-17 18:37:39
IDJOB=1821905
IDBENCH=71718
IDSOLVER=658
FILE ID=tipi13/1821905-1242578259
PBS_JOBID=
Free space on /tmp= 6594 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.1-6.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821905-1242578259/watcher-1821905-1242578259 -o /tmp/evaluation-result-1821905-1242578259/solver-1821905-1242578259 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821905-1242578259.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d986f0b849e7c714ed5d3a26373567af
RANDOM SEED= 1465934922
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 976556 kB
Buffers: 42076 kB
Cached: 939952 kB
SwapCached: 3428 kB
Active: 370120 kB
Inactive: 621428 kB
HighTotal: 1178688 kB
HighFree: 340788 kB
LowTotal: 895776 kB
LowFree: 635768 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 7192 kB
Writeback: 0 kB
AnonPages: 8760 kB
Mapped: 3072 kB
Slab: 97712 kB
PageTables: 648 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6594 MiB
End job on tipi13 at 2009-05-17 18:57:40