0.00/0.00 c Parsing...
4.58/4.61 c ==============================================================================
4.58/4.61 c | | ORIGINAL | LEARNT | |
4.58/4.61 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
4.58/4.61 c ==============================================================================
4.58/4.61 c | 0 | 3649657 7337555 | 1094897 0 0 nan | 0.000 % |
34.87/34.93 c | 0 | 3573258 9962944 | -- 0 -- -- | -- | -76399/2625389
34.87/34.93 c ==============================================================================
34.87/34.93 c Result : #vars: 43529 #clauses: 3573258 #literals: 9962944
34.87/34.93 c CPU time: 34.2838 s
34.87/34.93 c ==============================================================================
38.46/38.55 c This is MiniSat 2.0 beta
38.46/38.55 c WARNING: for repeatability, setting FPU to use double precision
38.46/38.55 c ============================[ Problem Statistics ]=============================
38.46/38.55 c | |
38.46/38.55 c | Number of variables: 43529 |
38.46/38.55 c | Number of clauses: 3573258 |
41.75/41.82 c | Parsing time: 3.03 s |
41.95/42.09 c ============================[ Search Statistics ]==============================
41.95/42.09 c | Conflicts | ORIGINAL | LEARNT | Progress |
41.95/42.09 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
41.95/42.09 c ===============================================================================
41.95/42.09 c | 0 | 43529 3573258 9962944 | 1191086 0 nan | 0.000 % |
42.24/42.35 c | 100 | 43503 3573258 9962944 | 1191086 73 6 | 0.062 % |
42.65/42.72 c | 200 | 43496 3573258 9962944 | 1191086 167 9 | 0.076 % |
42.75/42.89 c | 300 | 43490 3573258 9962944 | 1191086 261 9 | 0.090 % |
43.05/43.19 c | 410 | 43485 3573258 9962944 | 1191086 366 9 | 0.101 % |
43.35/43.44 c | 510 | 43480 3573258 9962944 | 1191086 461 9 | 0.113 % |
43.54/43.67 c | 620 | 43474 3573258 9962944 | 1191086 565 9 | 0.126 % |
43.84/43.95 c | 741 | 43471 3573258 9962944 | 1191086 683 9 | 0.133 % |
44.05/44.15 c | 841 | 43470 3573258 9962944 | 1191086 782 10 | 0.136 % |
44.25/44.34 c | 951 | 43470 3573258 9962944 | 1191086 892 10 | 0.136 % |
44.45/44.53 c | 1072 | 43462 3573258 9962944 | 1191086 1005 10 | 0.154 % |
44.55/44.68 c | 1205 | 43457 3573258 9962944 | 1191086 1133 10 | 0.165 % |
44.65/44.78 c | 1306 | 43454 3573258 9962944 | 1191086 1231 10 | 0.172 % |
44.85/44.93 c | 1417 | 43451 3573258 9962944 | 1191086 1339 10 | 0.179 % |
44.95/45.06 c | 1538 | 43449 3573258 9962944 | 1191086 1458 10 | 0.184 % |
45.05/45.15 c | 1672 | 43446 3573258 9962944 | 1191086 1589 10 | 0.191 % |
45.14/45.26 c | 1818 | 43445 3573258 9962944 | 1191086 1734 10 | 0.193 % |
45.24/45.39 c | 1918 | 43442 3573258 9962944 | 1191086 1831 10 | 0.200 % |
45.44/45.53 c | 2028 | 43441 3573258 9962944 | 1191086 1940 10 | 0.202 % |
45.64/45.70 c | 2149 | 43438 3573258 9962944 | 1191086 2058 10 | 0.209 % |
45.84/45.94 c | 2283 | 43434 3573258 9962944 | 1191086 2188 10 | 0.218 % |
46.05/46.12 c | 2429 | 43432 3573258 9962944 | 1191086 2332 10 | 0.223 % |
46.24/46.31 c | 2589 | 43429 3573258 9962944 | 1191086 2489 11 | 0.232 % |
46.44/46.52 c | 2689 | 43427 3573258 9962944 | 1191086 2588 11 | 0.234 % |
46.54/46.63 c | 2799 | 43425 3573258 9962944 | 1191086 2696 11 | 0.239 % |
46.64/46.72 c | 2920 | 43417 3573258 9962944 | 1191086 2809 11 | 0.257 % |
46.94/47.00 c | 3053 | 43412 3573258 9962944 | 1191086 2937 11 | 0.269 % |
47.15/47.23 c | 3200 | 43397 3573258 9962944 | 1191086 3069 11 | 0.303 % |
47.54/47.61 c | 3361 | 43393 3573258 9962944 | 1191086 3226 11 | 0.312 % |
47.64/47.78 c | 3537 | 43388 3573258 9962944 | 1191086 3397 11 | 0.324 % |
47.84/47.92 c | 3637 | 43383 3573258 9962944 | 1191086 3492 11 | 0.335 % |
48.04/48.11 c | 3747 | 43381 3573258 9962944 | 1191086 3599 11 | 0.342 % |
48.25/48.32 c | 3868 | 43380 3573258 9962944 | 1191086 3720 11 | 0.342 % |
48.64/48.72 c | 4001 | 43375 3573258 9962944 | 1191086 3848 11 | 0.354 % |
48.84/48.93 c | 4147 | 43365 3573258 9962944 | 1191086 3984 11 | 0.377 % |
49.04/49.12 c | 4308 | 43361 3573258 9962944 | 1191086 4141 11 | 0.386 % |
49.24/49.39 c | 4484 | 43358 3573258 9962944 | 1191086 4314 11 | 0.393 % |
49.54/49.62 c | 4678 | 43354 3573258 9962944 | 1191086 4504 11 | 0.402 % |
49.94/50.01 c | 4779 | 43351 3573258 9962944 | 1191086 4602 11 | 0.409 % |
50.04/50.19 c | 4889 | 43350 3573258 9962944 | 1191086 4711 11 | 0.411 % |
50.24/50.32 c | 5010 | 43348 3573258 9962944 | 1191086 4830 11 | 0.416 % |
50.34/50.46 c | 5143 | 43344 3573258 9962944 | 1191086 4959 11 | 0.425 % |
50.44/50.55 c | 5291 | 43343 3573258 9962944 | 1191086 5106 11 | 0.427 % |
50.74/50.82 c | 5451 | 43338 3573258 9962944 | 1191086 5261 11 | 0.439 % |
50.84/50.91 c | 5627 | 43336 3573258 9962944 | 1191086 5435 11 | 0.443 % |
51.14/51.20 c | 5821 | 43336 3573258 9962944 | 1191086 5629 11 | 0.443 % |
51.34/51.41 c | 6033 | 43331 3573258 9962944 | 1191086 5836 11 | 0.455 % |
51.44/51.59 c | 6136 | 43327 3573258 9962944 | 1191086 5935 11 | 0.464 % |
51.74/51.82 c | 6246 | 43326 3573258 9962944 | 1191086 6044 11 | 0.466 % |
51.94/52.08 c | 6367 | 43326 3573258 9962944 | 1191086 6165 11 | 0.466 % |
52.15/52.28 c | 6500 | 43323 3573258 9962944 | 1191086 6295 11 | 0.473 % |
52.54/52.64 c | 6646 | 43320 3573258 9962944 | 1191086 6438 12 | 0.480 % |
53.04/53.10 c | 6807 | 43316 3573258 9962944 | 1191086 6595 12 | 0.489 % |
53.34/53.42 c | 6983 | 43316 3573258 9962944 | 1191086 6771 12 | 0.489 % |
53.64/53.72 c | 7176 | 43309 3573258 9962944 | 1191086 6957 12 | 0.505 % |
53.85/53.99 c | 7388 | 43307 3573258 9962944 | 1191086 7167 12 | 0.510 % |
54.24/54.35 c | 7621 | 43303 3573258 9962944 | 1191086 7396 12 | 0.521 % |
54.44/54.55 c | 7721 | 43303 3573258 9962944 | 1191086 7496 12 | 0.521 % |
54.64/54.79 c | 7831 | 43300 3573258 9962944 | 1191086 7603 12 | 0.528 % |
54.85/54.97 c | 7953 | 43297 3573258 9962944 | 1191086 7722 12 | 0.535 % |
55.14/55.21 c | 8087 | 43293 3573258 9962944 | 1191086 7852 12 | 0.544 % |
55.24/55.37 c | 8233 | 43292 3573258 9962944 | 1191086 7997 12 | 0.547 % |
55.54/55.66 c | 8394 | 43292 3573258 9962944 | 1191086 8158 12 | 0.547 % |
55.95/56.05 c | 8570 | 43283 3573258 9962944 | 1191086 8325 12 | 0.572 % |
56.34/56.44 c | 8763 | 43281 3573258 9962944 | 1191086 8518 12 | 0.572 % |
56.74/56.83 c | 8975 | 43279 3573258 9962944 | 1191086 8728 12 | 0.577 % |
57.24/57.36 c | 9208 | 43279 3573258 9962944 | 1191086 8961 12 | 0.577 % |
57.94/58.09 c | 9464 | 43255 3573258 9962944 | 1191086 9210 12 | 0.634 % |
58.15/58.28 c | 9565 | 43252 3573258 9962944 | 1191086 9307 12 | 0.643 % |
58.44/58.56 c | 9675 | 43249 3573258 9962944 | 1191086 9415 12 | 0.648 % |
58.54/58.66 c | 9798 | 43246 3573258 9962944 | 1191086 9535 12 | 0.655 % |
59.04/59.13 c | 9931 | 43246 3573258 9962944 | 1191086 9668 12 | 0.655 % |
59.44/59.50 c | 10077 | 43245 3573258 9962944 | 2147483647 9812 13 | 0.659 % |
59.94/60.03 c | 10237 | 43242 3573258 9962944 | 2147483647 9970 13 | 0.664 % |
60.35/60.49 c | 10415 | 43236 3573258 9962944 | 2147483647 10143 13 | 0.682 % |
60.74/60.88 c | 10609 | 43231 3573258 9962944 | 2147483647 10333 13 | 0.691 % |
61.45/61.60 c | 10822 | 43231 3573258 9962944 | 2147483647 10546 13 | 0.691 % |
61.84/61.92 c | 11055 | 43226 3573258 9962944 | 2147483647 10774 13 | 0.703 % |
62.55/62.62 c | 11311 | 43214 3573258 9962944 | 2147483647 11020 13 | 0.728 % |
63.24/63.39 c | 11592 | 43208 3520705 9837559 | 2147483647 10887 13 | 0.737 % |
63.54/63.64 c | 11692 | 43206 3520705 9837559 | 2147483647 10985 13 | 0.742 % |
63.65/63.79 c | 11802 | 43205 3520705 9837559 | 2147483647 11094 13 | 0.744 % |
63.84/63.98 c | 11923 | 43204 3520705 9837559 | 2147483647 11214 13 | 0.747 % |
64.24/64.32 c | 12056 | 43203 3520705 9837559 | 2147483647 11346 13 | 0.749 % |
64.44/64.54 c | 12202 | 43199 3520705 9837559 | 2147483647 11488 13 | 0.758 % |
65.04/65.16 c | 12362 | 43199 3520705 9837559 | 2147483647 11648 13 | 0.758 % |
65.44/65.52 c | 12540 | 43197 3520705 9837559 | 2147483647 11824 13 | 0.763 % |
66.04/66.18 c | 12733 | 43192 3520705 9837559 | 2147483647 12012 13 | 0.774 % |
66.84/66.96 c | 12945 | 43192 3520705 9837559 | 2147483647 12224 13 | 0.774 % |
67.43/67.53 c | 13179 | 43180 3520705 9837559 | 2147483647 12447 13 | 0.804 % |
68.24/68.36 c | 13435 | 43176 3520705 9837559 | 2147483647 12699 13 | 0.813 % |
68.93/69.01 c | 13716 | 43175 3520705 9837559 | 2147483647 12979 14 | 0.816 % |
70.43/70.53 c | 14025 | 43174 3520705 9837559 | 2147483647 13288 14 | 0.816 % |
70.63/70.70 c | 14125 | 43173 3520705 9837559 | 2147483647 13387 14 | 0.818 % |
70.93/71.05 c | 14236 | 43171 3520705 9837559 | 2147483647 13496 14 | 0.822 % |
71.53/71.68 c | 14357 | 43167 3520705 9837559 | 2147483647 13613 14 | 0.834 % |
72.03/72.12 c | 14491 | 43167 3520705 9837559 | 2147483647 13747 14 | 0.834 % |
72.33/72.40 c | 14637 | 43166 3520705 9837559 | 2147483647 13892 14 | 0.836 % |
72.83/72.99 c | 14797 | 43166 3520705 9837559 | 2147483647 14052 14 | 0.836 % |
73.53/73.61 c | 14973 | 43165 3520705 9837559 | 2147483647 14227 14 | 0.839 % |
73.83/73.92 c | 15166 | 43155 3520705 9837559 | 2147483647 14414 14 | 0.861 % |
74.33/74.45 c | 15379 | 43154 3520705 9837559 | 2147483647 14626 14 | 0.864 % |
75.23/75.34 c | 15615 | 43148 3520705 9837559 | 2147483647 14856 14 | 0.878 % |
76.43/76.55 c | 15871 | 43148 3520705 9837559 | 2147483647 15112 14 | 0.878 % |
76.93/77.03 c | 16153 | 43145 3520705 9837559 | 2147483647 15391 14 | 0.884 % |
78.33/78.42 c | 16462 | 43143 3520705 9837559 | 2147483647 15698 14 | 0.889 % |
78.93/79.06 c | 16802 | 43136 3520705 9837559 | 2147483647 16031 14 | 0.905 % |
79.03/79.17 c | 16903 | 43136 3520705 9837559 | 2147483647 16132 14 | 0.905 % |
79.23/79.36 c | 17013 | 43136 3520705 9837559 | 2147483647 16242 14 | 0.905 % |
79.43/79.58 c | 17135 | 43136 3520705 9837559 | 2147483647 16364 14 | 0.905 % |
79.93/80.07 c | 17269 | 43130 3520705 9837559 | 2147483647 16492 14 | 0.919 % |
80.33/80.43 c | 17417 | 43128 3520705 9837559 | 2147483647 16638 14 | 0.924 % |
80.73/80.80 c | 17578 | 43126 3520705 9837559 | 2147483647 16797 14 | 0.928 % |
81.13/81.25 c | 17754 | 43123 3520705 9837559 | 2147483647 16970 14 | 0.935 % |
81.73/81.86 c | 17947 | 43119 3520705 9837559 | 2147483647 17159 14 | 0.944 % |
82.13/82.28 c | 18160 | 43109 3520705 9837559 | 2147483647 17362 14 | 0.967 % |
83.03/83.19 c | 18393 | 43106 3520705 9837559 | 2147483647 17592 15 | 0.974 % |
83.83/83.99 c | 18649 | 43105 3520705 9837559 | 2147483647 17847 15 | 0.976 % |
84.43/84.53 c | 18932 | 43102 3520705 9837559 | 2147483647 18127 15 | 0.983 % |
85.23/85.33 c | 19241 | 43094 3520705 9837559 | 2147483647 18428 15 | 1.002 % |
87.32/87.40 c | 19580 | 43080 3499554 9786516 | 2147483647 18383 15 | 1.032 % |
88.22/88.30 c | 19953 | 43075 3499554 9786516 | 2147483647 18751 15 | 1.043 % |
88.52/88.60 c | 20053 | 43073 3499554 9786516 | 2147483647 18846 15 | 1.054 % |
89.02/89.12 c | 20163 | 43069 3499554 9786516 | 2147483647 18955 15 | 1.057 % |
89.32/89.46 c | 20284 | 43069 3499554 9786516 | 2147483647 19076 15 | 1.057 % |
89.82/89.97 c | 20417 | 43068 3499554 9786516 | 2147483647 19208 15 | 1.059 % |
90.02/90.19 c | 20563 | 43064 3499554 9786516 | 2147483647 19350 15 | 1.068 % |
90.82/90.96 c | 20723 | 43064 3499554 9786516 | 2147483647 19510 15 | 1.068 % |
91.22/91.39 c | 20899 | 43060 3499554 9786516 | 2147483647 19681 15 | 1.080 % |
91.82/91.90 c | 21092 | 43047 3499554 9786516 | 2147483647 19864 15 | 1.107 % |
92.52/92.65 c | 21304 | 43045 3499554 9786516 | 2147483647 20074 15 | 1.112 % |
93.22/93.31 c | 21537 | 43043 3499554 9786516 | 2147483647 20305 15 | 1.116 % |
94.52/94.63 c | 21793 | 43042 3499554 9786516 | 2147483647 20560 15 | 1.119 % |
95.52/95.60 c | 22074 | 43040 3499554 9786516 | 2147483647 20839 15 | 1.123 % |
97.31/97.43 c | 22383 | 43039 3499554 9786516 | 2147483647 21147 15 | 1.126 % |
98.51/98.66 c | 22722 | 43032 3499554 9786516 | 2147483647 21482 16 | 1.149 % |
100.31/100.47 c | 23094 | 43032 3499554 9786516 | 2147483647 21854 16 | 1.149 % |
102.11/102.27 c | 23503 | 43030 3499554 9786516 | 2147483647 22260 16 | 1.156 % |
102.40/102.56 c | 23603 | 43024 3499554 9786516 | 2147483647 22354 16 | 1.170 % |
102.70/102.81 c | 23713 | 43023 3499554 9786516 | 2147483647 22463 16 | 1.172 % |
103.31/103.41 c | 23834 | 43022 3499554 9786516 | 2147483647 22584 16 | 1.172 % |
103.80/103.95 c | 23967 | 43022 3499554 9786516 | 2147483647 22717 16 | 1.172 % |
104.41/104.56 c | 24114 | 43022 3499554 9786516 | 2147483647 22864 16 | 1.172 % |
105.20/105.36 c | 24274 | 43022 3499554 9786516 | 2147483647 23024 16 | 1.172 % |
105.80/105.95 c | 24450 | 43019 3499554 9786516 | 2147483647 23200 16 | 1.172 % |
106.20/106.37 c | 24643 | 43018 3499554 9786516 | 2147483647 23392 16 | 1.174 % |
106.70/106.89 c | 24855 | 43014 3499554 9786516 | 2147483647 23600 16 | 1.183 % |
107.60/107.72 c | 25088 | 43002 3499554 9786516 | 2147483647 23821 16 | 1.211 % |
109.00/109.14 c | 25344 | 43000 3499554 9786516 | 2147483647 24075 16 | 1.215 % |
109.90/110.03 c | 25625 | 43000 3499554 9786516 | 2147483647 24356 16 | 1.215 % |
111.30/111.46 c | 25934 | 43000 3499554 9786516 | 2147483647 24665 16 | 1.215 % |
112.40/112.57 c | 26274 | 42986 3482454 9745054 | 2147483647 24721 16 | 1.247 % |
114.10/114.22 c | 26646 | 42981 3482454 9745054 | 2147483647 25087 16 | 1.261 % |
115.50/115.69 c | 27055 | 42974 3482454 9745054 | 2147483647 25490 17 | 1.275 % |
117.60/117.74 c | 27504 | 42971 3482454 9745054 | 2147483647 25936 17 | 1.282 % |
117.70/117.87 c | 27604 | 42967 3482454 9745054 | 2147483647 26032 17 | 1.291 % |
118.09/118.24 c | 27714 | 42967 3482454 9745054 | 2147483647 26142 17 | 1.291 % |
118.60/118.72 c | 27836 | 42967 3482454 9745054 | 2147483647 26264 17 | 1.291 % |
119.09/119.22 c | 27969 | 42949 3482454 9745054 | 2147483647 26390 17 | 1.339 % |
119.70/119.84 c | 28117 | 42948 3482454 9745054 | 2147483647 26538 17 | 1.339 % |
120.29/120.44 c | 28278 | 42948 3482454 9745054 | 2147483647 26699 17 | 1.339 % |
120.99/121.10 c | 28454 | 42948 3482454 9745054 | 2147483647 26875 17 | 1.339 % |
121.90/122.08 c | 28647 | 42940 3482454 9745054 | 2147483647 27060 17 | 1.358 % |
122.59/122.75 c | 28859 | 42936 3482454 9745054 | 2147483647 27270 17 | 1.362 % |
123.39/123.58 c | 29092 | 42932 3482454 9745054 | 2147483647 27499 17 | 1.374 % |
124.69/124.84 c | 29348 | 42930 3482454 9745054 | 2147483647 27753 17 | 1.378 % |
126.60/126.70 c | 29629 | 42925 3482454 9745054 | 2147483647 28030 17 | 1.390 % |
127.50/127.65 c | 29938 | 42922 3482454 9745054 | 2147483647 28336 17 | 1.397 % |
129.30/129.49 c | 30277 | 42920 3482454 9745054 | 2147483647 28673 18 | 1.401 % |
131.10/131.23 c | 30649 | 42918 3482454 9745054 | 2147483647 29042 18 | 1.408 % |
132.60/132.77 c | 31058 | 42914 3482454 9745054 | 2147483647 29449 18 | 1.415 % |
134.20/134.38 c | 31507 | 42908 3482454 9745054 | 2147483647 29892 18 | 1.429 % |
135.80/135.98 c | 32003 | 42892 3482454 9745054 | 2147483647 30374 18 | 1.466 % |
136.10/136.27 c | 32103 | 42890 3482454 9745054 | 2147483647 30472 18 | 1.470 % |
136.40/136.55 c | 32213 | 42890 3482454 9745054 | 2147483647 30582 18 | 1.470 % |
137.20/137.33 c | 32334 | 42890 3482454 9745054 | 2147483647 30703 18 | 1.470 % |
137.80/137.96 c | 32469 | 42888 3462603 9696864 | 2147483647 30362 18 | 1.473 % |
138.30/138.46 c | 32615 | 42883 3462603 9696864 | 2147483647 30503 18 | 1.484 % |
138.80/138.96 c | 32775 | 42881 3462603 9696864 | 2147483647 30661 18 | 1.489 % |
139.90/140.08 c | 32951 | 42880 3462603 9696864 | 2147483647 30836 18 | 1.491 % |
140.40/140.50 c | 33144 | 42878 3462603 9696864 | 2147483647 31027 18 | 1.496 % |
141.19/141.31 c | 33356 | 42878 3462603 9696864 | 2147483647 31239 18 | 1.496 % |
141.80/141.94 c | 33589 | 42878 3462603 9696864 | 2147483647 31472 18 | 1.496 % |
143.09/143.25 c | 33845 | 42873 3462603 9696864 | 2147483647 31723 18 | 1.507 % |
143.90/144.04 c | 34127 | 42870 3462603 9696864 | 2147483647 32002 18 | 1.514 % |
144.49/144.67 c | 34436 | 42869 3462603 9696864 | 2147483647 32310 18 | 1.516 % |
145.29/145.45 c | 34776 | 42867 3462603 9696864 | 2147483647 32648 18 | 1.521 % |
146.10/146.27 c | 35148 | 42858 3462603 9696864 | 2147483647 33012 18 | 1.542 % |
147.69/147.84 c | 35557 | 42856 3462603 9696864 | 2147483647 33418 18 | 1.548 % |
148.99/149.16 c | 36006 | 42848 3462603 9696864 | 2147483647 33861 18 | 1.567 % |
150.50/150.60 c | 36499 | 42845 3462603 9696864 | 2147483647 34351 18 | 1.574 % |
152.39/152.51 c | 37042 | 42836 3462603 9696864 | 2147483647 34885 18 | 1.594 % |
152.89/153.00 c | 37142 | 42834 3462603 9696864 | 2147483647 34983 18 | 1.599 % |
153.19/153.30 c | 37252 | 42833 3462603 9696864 | 2147483647 35092 18 | 1.601 % |
153.69/153.86 c | 37376 | 42833 3462603 9696864 | 2147483647 35216 18 | 1.601 % |
154.39/154.57 c | 37510 | 42831 3462603 9696864 | 2147483647 35348 18 | 1.608 % |
154.69/154.85 c | 37656 | 42828 3462603 9696864 | 2147483647 35491 18 | 1.615 % |
154.99/155.11 c | 37818 | 42828 3462603 9696864 | 2147483647 35653 18 | 1.615 % |
155.49/155.67 c | 37994 | 42828 3462603 9696864 | 2147483647 35829 18 | 1.615 % |
156.49/156.65 c | 38187 | 42827 3462603 9696864 | 2147483647 36021 18 | 1.617 % |
157.69/157.84 c | 38399 | 42822 3462603 9696864 | 2147483647 36230 18 | 1.624 % |
158.99/159.12 c | 38633 | 42811 3462603 9696864 | 2147483647 36453 18 | 1.649 % |
160.59/160.70 c | 38890 | 42810 3462603 9696864 | 2147483647 36709 18 | 1.652 % |
161.19/161.37 c | 39172 | 42808 3462603 9696864 | 2147483647 36989 18 | 1.656 % |
162.59/162.77 c | 39481 | 42807 3462603 9696864 | 2147483647 37297 18 | 1.659 % |
165.08/165.26 c | 39820 | 42806 3447770 9661164 | 2147483647 37295 18 | 1.663 % |
166.78/166.92 c | 40192 | 42803 3447770 9661164 | 2147483647 37664 18 | 1.670 % |
168.78/168.96 c | 40602 | 42796 3447770 9661164 | 2147483647 38066 18 | 1.689 % |
171.68/171.80 c | 41052 | 42795 3447770 9661164 | 2147483647 38516 19 | 1.689 % |
172.98/173.12 c | 41546 | 42791 3447770 9661164 | 2147483647 39006 19 | 1.698 % |
175.18/175.37 c | 42088 | 42781 3447770 9661164 | 2147483647 39538 19 | 1.721 % |
177.98/178.10 c | 42686 | 42773 3447770 9661164 | 2147483647 40130 19 | 1.739 % |
178.18/178.39 c | 42786 | 42773 3447770 9661164 | 2147483647 40230 19 | 1.739 % |
179.08/179.21 c | 42896 | 42772 3447770 9661164 | 2147483647 40339 19 | 1.741 % |
180.18/180.38 c | 43017 | 42769 3447770 9661164 | 2147483647 40457 19 | 1.748 % |
180.77/180.97 c | 43150 | 42768 3447770 9661164 | 2147483647 40589 19 | 1.751 % |
181.07/181.23 c | 43297 | 42767 3447770 9661164 | 2147483647 40735 19 | 1.755 % |
181.87/182.01 c | 43459 | 42766 3447770 9661164 | 2147483647 40896 19 | 1.760 % |
183.18/183.34 c | 43635 | 42764 3447770 9661164 | 2147483647 41071 19 | 1.762 % |
184.48/184.62 c | 43828 | 42762 3447770 9661164 | 2147483647 41262 19 | 1.767 % |
184.98/185.18 c | 44040 | 42762 3447770 9661164 | 2147483647 41472 19 | 1.771 % |
186.28/186.48 c | 44275 | 42760 3447770 9661164 | 2147483647 41707 19 | 1.771 % |
188.18/188.30 c | 44531 | 42758 3447770 9661164 | 2147483647 41961 19 | 1.776 % |
189.88/190.08 c | 44812 | 42753 3439592 9641788 | 2147483647 42062 19 | 1.783 % |
191.28/191.42 c | 45121 | 42748 3439592 9641788 | 2147483647 42367 19 | 1.794 % |
193.28/193.43 c | 45460 | 42746 3439592 9641788 | 2147483647 42704 19 | 1.799 % |
195.38/195.58 c | 45832 | 42742 3439592 9641788 | 2147483647 43072 19 | 1.808 % |
197.28/197.43 c | 46242 | 42728 3439592 9641788 | 2147483647 43469 19 | 1.843 % |
199.08/199.30 c | 46692 | 42725 3439592 9641788 | 2147483647 43916 19 | 1.849 % |
201.77/201.97 c | 47185 | 42721 3439592 9641788 | 2147483647 44405 19 | 1.859 % |
204.57/204.78 c | 47727 | 42716 3439592 9641788 | 2147483647 44942 19 | 1.870 % |
207.87/208.03 c | 48323 | 42709 3439592 9641788 | 2147483647 45532 19 | 1.884 % |
211.67/211.81 c | 48978 | 42706 3439592 9641788 | 2147483647 46184 19 | 1.891 % |
211.87/212.09 c | 49078 | 42703 3439592 9641788 | 2147483647 46281 19 | 1.898 % |
212.37/212.50 c | 49188 | 42701 3439592 9641788 | 2147483647 46389 19 | 1.902 % |
212.77/212.98 c | 49310 | 42700 3439592 9641788 | 2147483647 46510 20 | 1.904 % |
214.07/214.25 c | 49443 | 42700 3439592 9641788 | 2147483647 46643 20 | 1.904 % |
214.57/214.79 c | 49590 | 42699 3439592 9641788 | 2147483647 46789 20 | 1.907 % |
215.77/215.94 c | 49751 | 42699 3439592 9641788 | 2147483647 46950 20 | 1.907 % |
216.97/217.15 c | 49927 | 42699 3439592 9641788 | 2147483647 47126 20 | 1.907 % |
217.87/218.09 c | 50122 | 42698 3430574 9619979 | 2147483647 47002 20 | 1.909 % |
218.77/218.96 c | 50334 | 42692 3430574 9619979 | 2147483647 47210 20 | 1.930 % |
219.96/220.12 c | 50567 | 42692 3430574 9619979 | 2147483647 47443 20 | 1.930 % |
221.46/221.61 c | 50823 | 42688 3430574 9619979 | 2147483647 47695 20 | 1.939 % |
222.56/222.77 c | 51104 | 42684 3430574 9619979 | 2147483647 47972 20 | 1.948 % |
224.27/224.43 c | 51414 | 42684 3430574 9619979 | 2147483647 48282 20 | 1.948 % |
225.96/226.15 c | 51753 | 42680 3430574 9619979 | 2147483647 48617 20 | 1.957 % |
228.16/228.36 c | 52125 | 42677 3430574 9619979 | 2147483647 48986 20 | 1.964 % |
229.96/230.18 c | 52534 | 42675 3430574 9619979 | 2147483647 49393 20 | 1.969 % |
232.86/233.00 c | 52983 | 42671 3430574 9619979 | 2147483647 49838 20 | 1.978 % |
235.16/235.39 c | 53476 | 42668 3430574 9619979 | 2147483647 50328 20 | 1.985 % |
238.36/238.59 c | 54019 | 42664 3430574 9619979 | 2147483647 50867 20 | 1.994 % |
242.46/242.66 c | 54615 | 42656 3430574 9619979 | 2147483647 51458 20 | 2.006 % |
246.96/247.11 c | 55271 | 42651 3423157 9602033 | 2147483647 51839 21 | 2.017 % |
251.26/251.44 c | 55991 | 42642 3423157 9602033 | 2147483647 52550 21 | 2.038 % |
251.66/251.80 c | 56092 | 42641 3423157 9602033 | 2147483647 52650 21 | 2.040 % |
252.46/252.63 c | 56203 | 42641 3423157 9602033 | 2147483647 52761 21 | 2.040 % |
253.16/253.35 c | 56324 | 42641 3423157 9602033 | 2147483647 52882 21 | 2.040 % |
253.96/254.16 c | 56457 | 42638 3423157 9602033 | 2147483647 53012 21 | 2.047 % |
254.66/254.83 c | 56606 | 42635 3423157 9602033 | 2147483647 53158 21 | 2.054 % |
255.76/255.93 c | 56767 | 42635 3423157 9602033 | 2147483647 53319 21 | 2.054 % |
256.06/256.28 c | 56943 | 42634 3423157 9602033 | 2147483647 53494 21 | 2.056 % |
257.36/257.50 c | 57136 | 42631 3423157 9602033 | 2147483647 53684 21 | 2.063 % |
258.26/258.45 c | 57348 | 42630 3423157 9602033 | 2147483647 53895 21 | 2.065 % |
259.36/259.54 c | 57581 | 42630 3423157 9602033 | 2147483647 54127 21 | 2.068 % |
261.15/261.32 c | 57837 | 42630 3423157 9602033 | 2147483647 54383 21 | 2.068 % |
263.05/263.20 c | 58118 | 42620 3423157 9602033 | 2147483647 54656 21 | 2.088 % |
264.75/264.99 c | 58429 | 42619 3423157 9602033 | 2147483647 54966 21 | 2.091 % |
266.45/266.63 c | 58768 | 42615 3423157 9602033 | 2147483647 55301 21 | 2.100 % |
268.45/268.63 c | 59140 | 42613 3423157 9602033 | 2147483647 55671 21 | 2.104 % |
270.65/270.89 c | 59549 | 42611 3423157 9602033 | 2147483647 56077 21 | 2.111 % |
273.15/273.32 c | 59998 | 42608 3423157 9602033 | 2147483647 56524 21 | 2.116 % |
275.95/276.16 c | 60491 | 42605 3423157 9602033 | 2147483647 57014 21 | 2.123 % |
280.35/280.57 c | 61033 | 42602 3415986 9584521 | 2147483647 57439 21 | 2.130 % |
284.04/284.23 c | 61631 | 42583 3415986 9584521 | 2147483647 58026 21 | 2.180 % |
287.44/287.63 c | 62287 | 42579 3415986 9584521 | 2147483647 58681 21 | 2.182 % |
290.84/291.06 c | 63008 | 42576 3415986 9584521 | 2147483647 59399 21 | 2.189 % |
296.24/296.40 c | 63800 | 42569 3415986 9584521 | 2147483647 60184 21 | 2.205 % |
296.34/296.59 c | 63900 | 42568 3415986 9584521 | 2147483647 60283 21 | 2.208 % |
296.84/297.06 c | 64010 | 42567 3415986 9584521 | 2147483647 60392 21 | 2.210 % |
297.44/297.65 c | 64131 | 42567 3415986 9584521 | 2147483647 60513 21 | 2.210 % |
298.43/298.68 c | 64264 | 42567 3415986 9584521 | 2147483647 60646 21 | 2.210 % |
298.83/299.06 c | 64411 | 42567 3415986 9584521 | 2147483647 60793 21 | 2.210 % |
299.64/299.83 c | 64571 | 42567 3415986 9584521 | 2147483647 60952 21 | 2.212 % |
300.24/300.48 c | 64747 | 42565 3415986 9584521 | 2147483647 61127 21 | 2.215 % |
300.83/301.00 c | 64940 | 42563 3415986 9584521 | 2147483647 61318 22 | 2.219 % |
302.24/302.46 c | 65152 | 42562 3415986 9584521 | 2147483647 61529 22 | 2.222 % |
303.44/303.64 c | 65385 | 42559 3415986 9584521 | 2147483647 61759 22 | 2.228 % |
304.54/304.73 c | 65642 | 42553 3415986 9584521 | 2147483647 62010 22 | 2.243 % |
305.83/306.06 c | 65923 | 42553 3415986 9584521 | 2147483647 62291 22 | 2.242 % |
307.84/308.05 c | 66235 | 42551 3408106 9565481 | 2147483647 62426 22 | 2.247 % |
309.84/310.09 c | 66575 | 42551 3408106 9565481 | 2147483647 62766 22 | 2.247 % |
312.34/312.55 c | 66947 | 42547 3408106 9565481 | 2147483647 63135 22 | 2.256 % |
314.54/314.70 c | 67357 | 42545 3408106 9565481 | 2147483647 63543 22 | 2.261 % |
316.24/316.46 c | 67809 | 42543 3408106 9565481 | 2147483647 63993 22 | 2.265 % |
319.54/319.71 c | 68302 | 42543 3408106 9565481 | 2147483647 64486 22 | 2.265 % |
322.23/322.45 c | 68845 | 42534 3408106 9565481 | 2147483647 65020 22 | 2.286 % |
326.33/326.53 c | 69442 | 42532 3408106 9565481 | 2147483647 65614 22 | 2.293 % |
329.23/329.44 c | 70097 | 42523 3408106 9565481 | 2147483647 66261 22 | 2.311 % |
332.23/332.47 c | 70817 | 42517 3408106 9565481 | 2147483647 66975 22 | 2.325 % |
337.73/337.96 c | 71610 | 42507 3400968 9548591 | 2147483647 67575 22 | 2.348 % |
341.72/341.98 c | 72481 | 42504 3400968 9548591 | 2147483647 68443 22 | 2.355 % |
342.23/342.47 c | 72581 | 42504 3400968 9548591 | 2147483647 68543 22 | 2.355 % |
342.93/343.15 c | 72693 | 42503 3400968 9548591 | 2147483647 68654 22 | 2.357 % |
343.52/343.78 c | 72815 | 42503 3400968 9548591 | 2147483647 68775 22 | 2.359 % |
344.62/344.81 c | 72948 | 42502 3400968 9548591 | 2147483647 68908 22 | 2.359 % |
344.72/344.98 c | 73094 | 42500 3400968 9548591 | 2147483647 69052 22 | 2.364 % |
345.72/345.97 c | 73254 | 42499 3400968 9548591 | 2147483647 69211 22 | 2.366 % |
347.02/347.27 c | 73430 | 42498 3400968 9548591 | 2147483647 69386 22 | 2.369 % |
348.02/348.29 c | 73623 | 42497 3400968 9548591 | 2147483647 69578 22 | 2.371 % |
349.52/349.79 c | 73836 | 42494 3400968 9548591 | 2147483647 69788 22 | 2.378 % |
350.82/351.02 c | 74069 | 42484 3400968 9548591 | 2147483647 70016 22 | 2.401 % |
351.62/351.81 c | 74328 | 42482 3400968 9548591 | 2147483647 70273 22 | 2.405 % |
352.62/352.88 c | 74612 | 42481 3400968 9548591 | 2147483647 70556 22 | 2.408 % |
354.42/354.63 c | 74921 | 42479 3400968 9548591 | 2147483647 70863 22 | 2.412 % |
355.72/355.96 c | 75260 | 42474 3400968 9548591 | 2147483647 71197 22 | 2.424 % |
357.42/357.69 c | 75632 | 42473 3400968 9548591 | 2147483647 71568 22 | 2.426 % |
359.72/359.99 c | 76042 | 42471 3400968 9548591 | 2147483647 71976 22 | 2.431 % |
362.92/363.15 c | 76492 | 42471 3400968 9548591 | 2147483647 72426 23 | 2.431 % |
365.73/365.92 c | 76985 | 42466 3400968 9548591 | 2147483647 72913 23 | 2.444 % |
369.82/370.08 c | 77527 | 42462 3393937 9532020 | 2147483647 73363 23 | 2.454 % |
374.02/374.23 c | 78124 | 42459 3393937 9532020 | 2147483647 73958 23 | 2.458 % |
378.22/378.44 c | 78781 | 42451 3393937 9532020 | 2147483647 74607 23 | 2.477 % |
382.52/382.73 c | 79501 | 42446 3393937 9532020 | 2147483647 75322 23 | 2.488 % |
388.42/388.69 c | 80293 | 42435 3393937 9532020 | 2147483647 76103 23 | 2.513 % |
392.52/392.71 c | 81169 | 42427 3393937 9532020 | 2147483647 76971 23 | 2.532 % |
400.01/400.27 c | 82127 | 42416 3393937 9532020 | 2147483647 77922 23 | 2.557 % |
400.71/400.90 c | 82229 | 42416 3393937 9532020 | 2147483647 78024 23 | 2.557 % |
401.22/401.43 c | 82339 | 42416 3385377 9511584 | 2147483647 77903 23 | 2.557 % |
401.61/401.89 c | 82460 | 42415 3385377 9511584 | 2147483647 78023 23 | 2.559 % |
402.51/402.79 c | 82593 | 42411 3385377 9511584 | 2147483647 78151 23 | 2.571 % |
403.31/403.54 c | 82739 | 42410 3385377 9511584 | 2147483647 78297 23 | 2.572 % |
404.31/404.56 c | 82899 | 42409 3385377 9511584 | 2147483647 78456 23 | 2.573 % |
405.51/405.74 c | 83075 | 42407 3385377 9511584 | 2147483647 78630 23 | 2.578 % |
407.31/407.55 c | 83268 | 42406 3385377 9511584 | 2147483647 78822 23 | 2.580 % |
408.71/408.91 c | 83485 | 42405 3385377 9511584 | 2147483647 79038 23 | 2.582 % |
410.31/410.54 c | 83718 | 42404 3385377 9511584 | 2147483647 79270 23 | 2.585 % |
412.01/412.20 c | 83974 | 42399 3385377 9511584 | 2147483647 79521 23 | 2.596 % |
413.41/413.64 c | 84256 | 42397 3385377 9511584 | 2147483647 79801 23 | 2.601 % |
415.81/416.00 c | 84565 | 42396 3385377 9511584 | 2147483647 80109 23 | 2.603 % |
418.41/418.64 c | 84904 | 42374 3385377 9511584 | 2147483647 80445 23 | 2.667 % |
421.50/421.70 c | 85276 | 42372 3385377 9511584 | 2147483647 80815 23 | 2.672 % |
423.90/424.19 c | 85686 | 42368 3385377 9511584 | 2147483647 81221 23 | 2.681 % |
427.70/427.96 c | 86137 | 42360 3385377 9511584 | 2147483647 81664 23 | 2.699 % |
431.50/431.74 c | 86630 | 42352 3385377 9511584 | 2147483647 82149 23 | 2.719 % |
435.60/435.86 c | 87172 | 42341 3375709 9488597 | 2147483647 82574 23 | 2.729 % |
440.10/440.39 c | 87768 | 42338 3375709 9488597 | 2147483647 83167 24 | 2.736 % |
443.80/444.05 c | 88424 | 42335 3375709 9488597 | 2147483647 83821 24 | 2.752 % |
447.70/447.96 c | 89144 | 42330 3375709 9488597 | 2147483647 84536 24 | 2.764 % |
453.90/454.13 c | 89936 | 42327 3375709 9488597 | 2147483647 85325 24 | 2.771 % |
460.00/460.27 c | 90807 | 42324 3375709 9488597 | 2147483647 86194 24 | 2.777 % |
465.30/465.58 c | 91765 | 42321 3375709 9488597 | 2147483647 87149 24 | 2.787 % |
472.30/472.50 c | 92818 | 42308 3368966 9472747 | 2147483647 87892 24 | 2.805 % |
473.10/473.33 c | 92918 | 42308 3368966 9472747 | 2147483647 87992 24 | 2.805 % |
474.00/474.26 c | 93028 | 42306 3368966 9472747 | 2147483647 88100 24 | 2.810 % |
474.60/474.83 c | 93153 | 42305 3368966 9472747 | 2147483647 88224 24 | 2.812 % |
475.60/475.84 c | 93286 | 42305 3368966 9472747 | 2147483647 88357 24 | 2.812 % |
476.60/476.86 c | 93432 | 42305 3368966 9472747 | 2147483647 88503 24 | 2.812 % |
477.39/477.67 c | 93593 | 42305 3368966 9472747 | 2147483647 88664 24 | 2.812 % |
478.90/479.18 c | 93769 | 42303 3368966 9472747 | 2147483647 88839 24 | 2.817 % |
480.19/480.44 c | 93962 | 42303 3368966 9472747 | 2147483647 89032 24 | 2.817 % |
482.19/482.40 c | 94174 | 42303 3368966 9472747 | 2147483647 89244 25 | 2.817 % |
483.49/483.76 c | 94407 | 42303 3368966 9472747 | 2147483647 89477 25 | 2.817 % |
485.09/485.38 c | 94663 | 42302 3368966 9472747 | 2147483647 89732 25 | 2.819 % |
486.59/486.84 c | 94944 | 42301 3368966 9472747 | 2147483647 90012 25 | 2.821 % |
488.49/488.79 c | 95254 | 42299 3368966 9472747 | 2147483647 90320 25 | 2.826 % |
489.79/490.03 c | 95593 | 42299 3368966 9472747 | 2147483647 90659 25 | 2.826 % |
492.59/492.89 c | 95965 | 42297 3368966 9472747 | 2147483647 91029 25 | 2.830 % |
495.29/495.57 c | 96374 | 42295 3368966 9472747 | 2147483647 91436 25 | 2.835 % |
498.49/498.74 c | 96824 | 42294 3368966 9472747 | 2147483647 91885 25 | 2.837 % |
502.49/502.77 c | 97320 | 42292 3364585 9462438 | 2147483647 92316 25 | 2.844 % |
505.59/505.81 c | 97866 | 42287 3364585 9462438 | 2147483647 92858 25 | 2.856 % |
510.38/510.64 c | 98462 | 42286 3364585 9462438 | 2147483647 93453 25 | 2.858 % |
514.78/515.05 c | 99118 | 42283 3364585 9462438 | 2147483647 94106 25 | 2.865 % |
519.58/519.88 c | 99838 | 42283 3364585 9462438 | 2147483647 94826 26 | 2.865 % |
524.78/525.05 c | 100631 | 42280 3364585 9462438 | 2147483647 95615 26 | 2.874 % |
530.58/530.85 c | 101503 | 42277 3364585 9462438 | 2147483647 96485 26 | 2.879 % |
536.59/536.82 c | 102461 | 42275 3364585 9462438 | 2147483647 97441 27 | 2.883 % |
544.28/544.58 c | 103514 | 42270 3361889 9455853 | 2147483647 98369 27 | 2.895 % |
552.68/552.93 c | 104672 | 42257 3361889 9455853 | 2147483647 99516 27 | 2.922 % |
553.58/553.85 c | 104773 | 42257 3361889 9455853 | 2147483647 99617 27 | 2.922 % |
554.48/554.71 c | 104883 | 42257 3361889 9455853 | 2147483647 99727 27 | 2.922 % |
555.38/555.65 c | 105004 | 42256 3361889 9455853 | 2147483647 99846 27 | 2.927 % |
556.38/556.70 c | 105138 | 42255 3361889 9455853 | 2147483647 99980 27 | 2.927 % |
557.38/557.64 c | 105284 | 42255 3361889 9455853 | 2147483647 100126 27 | 2.927 % |
558.77/559.00 c | 105444 | 42255 3361889 9455853 | 2147483647 100286 27 | 2.927 % |
560.87/561.12 c | 105620 | 42255 3361889 9455853 | 2147483647 100462 27 | 2.927 % |
562.77/563.08 c | 105813 | 42255 3361889 9455853 | 2147483647 100655 27 | 2.927 % |
564.37/564.61 c | 106025 | 42255 3361889 9455853 | 2147483647 100867 27 | 2.927 % |
566.18/566.44 c | 106258 | 42253 3361889 9455853 | 2147483647 101098 27 | 2.931 % |
568.57/568.83 c | 106514 | 42250 3361889 9455853 | 2147483647 101351 27 | 2.938 % |
571.17/571.45 c | 106795 | 42245 3361889 9455853 | 2147483647 101627 27 | 2.950 % |
573.57/573.85 c | 107104 | 42244 3357044 9444179 | 2147483647 101816 27 | 2.952 % |
576.27/576.55 c | 107444 | 42243 3357044 9444179 | 2147483647 102155 27 | 2.954 % |
578.57/578.84 c | 107816 | 42241 3357044 9444179 | 2147483647 102525 27 | 2.959 % |
582.27/582.56 c | 108226 | 42240 3357044 9444179 | 2147483647 102934 27 | 2.961 % |
585.66/585.93 c | 108675 | 42240 3357044 9444179 | 2147483647 103383 27 | 2.961 % |
588.96/589.21 c | 109168 | 42236 3357044 9444179 | 2147483647 103872 28 | 2.970 % |
593.26/593.53 c | 109711 | 42230 3357044 9444179 | 2147483647 104409 28 | 2.984 % |
595.87/596.19 c | 110308 | 42230 3357044 9444179 | 2147483647 105006 28 | 2.984 % |
601.96/602.21 c | 110964 | 42227 3357044 9444179 | 2147483647 105659 28 | 2.991 % |
607.86/608.20 c | 111684 | 42226 3357044 9444179 | 2147483647 106378 28 | 2.993 % |
614.06/614.35 c | 112476 | 42221 3354630 9438426 | 2147483647 107140 28 | 3.005 % |
619.75/620.03 c | 113347 | 42211 3354630 9438426 | 2147483647 108001 28 | 3.053 % |
626.85/627.13 c | 114305 | 42204 3354630 9438426 | 2147483647 108952 29 | 3.069 % |
634.26/634.59 c | 115359 | 42199 3354630 9438426 | 2147483647 110001 29 | 3.081 % |
641.85/642.11 c | 116518 | 42193 3354630 9438426 | 2147483647 111154 29 | 3.095 % |
650.05/650.36 c | 117792 | 42180 3347008 9420105 | 2147483647 111980 30 | 3.099 % |
650.75/651.10 c | 117892 | 42179 3347008 9420105 | 2147483647 112079 30 | 3.101 % |
651.65/651.90 c | 118002 | 42179 3347008 9420105 | 2147483647 112189 30 | 3.101 % |
652.45/652.79 c | 118125 | 42179 3347008 9420105 | 2147483647 112312 30 | 3.101 % |
653.15/653.42 c | 118259 | 42178 3347008 9420105 | 2147483647 112445 30 | 3.104 % |
653.75/654.00 c | 118407 | 42177 3347008 9420105 | 2147483647 112592 30 | 3.106 % |
655.05/655.36 c | 118567 | 42176 3347008 9420105 | 2147483647 112751 30 | 3.108 % |
655.95/656.21 c | 118743 | 42176 3347008 9420105 | 2147483647 112927 30 | 3.109 % |
657.14/657.46 c | 118936 | 42173 3347008 9420105 | 2147483647 113116 30 | 3.117 % |
659.04/659.34 c | 119148 | 42172 3347008 9420105 | 2147483647 113328 30 | 3.117 % |
660.94/661.23 c | 119382 | 42170 3347008 9420105 | 2147483647 113560 30 | 3.122 % |
662.44/662.72 c | 119638 | 42169 3347008 9420105 | 2147483647 113815 30 | 3.124 % |
664.74/665.01 c | 119919 | 42168 3347008 9420105 | 2147483647 114095 30 | 3.127 % |
667.25/667.54 c | 120228 | 42168 3347008 9420105 | 2147483647 114404 30 | 3.127 % |
670.15/670.40 c | 120567 | 42168 3347008 9420105 | 2147483647 114743 30 | 3.127 % |
672.95/673.28 c | 120940 | 42168 3347008 9420105 | 2147483647 115116 31 | 3.127 % |
675.55/675.86 c | 121351 | 42162 3347008 9420105 | 2147483647 115521 31 | 3.140 % |
679.34/679.64 c | 121800 | 42160 3347008 9420105 | 2147483647 115968 31 | 3.145 % |
683.04/683.37 c | 122293 | 42158 3347008 9420105 | 2147483647 116459 31 | 3.154 % |
687.34/687.63 c | 122835 | 42153 3343174 9410695 | 2147483647 116846 31 | 3.161 % |
690.34/690.68 c | 123431 | 42141 3343174 9410695 | 2147483647 117441 32 | 3.248 % |
694.74/695.08 c | 124086 | 42140 3343174 9410695 | 2147483647 118095 32 | 3.251 % |
699.73/700.03 c | 124806 | 42139 3343174 9410695 | 2147483647 118813 32 | 3.255 % |
704.23/704.50 c | 125598 | 42135 3343174 9410695 | 2147483647 119601 32 | 3.265 % |
709.13/709.49 c | 126470 | 42133 3343174 9410695 | 2147483647 120471 33 | 3.269 % |
716.64/716.94 c | 127428 | 42131 3343174 9410695 | 2147483647 121426 33 | 3.276 % |
724.03/724.39 c | 128482 | 42127 3343174 9410695 | 2147483647 122475 33 | 3.287 % |
732.63/732.93 c | 129640 | 42080 3334285 9389611 | 2147483647 123018 34 | 3.329 % |
742.43/742.72 c | 130913 | 42074 3334285 9389611 | 2147483647 124285 34 | 3.343 % |
751.32/751.69 c | 132314 | 42068 3334285 9389611 | 2147483647 125680 34 | 3.356 % |
752.03/752.40 c | 132415 | 42068 3334285 9389611 | 2147483647 125781 34 | 3.356 % |
752.92/753.29 c | 132525 | 42068 3334285 9389611 | 2147483647 125891 34 | 3.356 % |
754.02/754.35 c | 132646 | 42065 3334285 9389611 | 2147483647 126009 34 | 3.363 % |
754.92/755.25 c | 132780 | 42064 3334285 9389611 | 2147483647 126142 34 | 3.366 % |
756.32/756.67 c | 132926 | 42064 3334285 9389611 | 2147483647 126288 35 | 3.366 % |
757.92/758.21 c | 133087 | 42064 3334285 9389611 | 2147483647 126449 35 | 3.366 % |
758.82/759.16 c | 133263 | 42064 3334285 9389611 | 2147483647 126625 35 | 3.366 % |
759.82/760.15 c | 133456 | 42064 3334285 9389611 | 2147483647 126818 35 | 3.366 % |
761.32/761.65 c | 133668 | 42059 3334285 9389611 | 2147483647 127026 35 | 3.377 % |
763.13/763.40 c | 133901 | 42059 3334285 9389611 | 2147483647 127259 35 | 3.377 % |
764.72/765.09 c | 134159 | 42059 3334285 9389611 | 2147483647 127516 35 | 3.379 % |
766.72/767.08 c | 134442 | 42057 3334285 9389611 | 2147483647 127798 35 | 3.382 % |
768.72/769.05 c | 134751 | 42051 3334285 9389611 | 2147483647 128101 35 | 3.395 % |
772.52/772.88 c | 135090 | 42050 3327199 9372869 | 2147483647 128101 35 | 3.398 % |
775.72/776.08 c | 135464 | 42049 3327199 9372869 | 2147483647 128474 35 | 3.400 % |
780.02/780.30 c | 135873 | 42048 3327199 9372869 | 2147483647 128882 35 | 3.402 % |
783.71/784.01 c | 136324 | 42048 3327199 9372869 | 2147483647 129333 35 | 3.402 % |
788.32/788.61 c | 136818 | 42047 3327199 9372869 | 2147483647 129826 35 | 3.405 % |
792.82/793.12 c | 137360 | 42045 3327199 9372869 | 2147483647 130366 36 | 3.409 % |
798.51/798.89 c | 137956 | 42039 3327199 9372869 | 2147483647 130956 36 | 3.425 % |
803.21/803.59 c | 138611 | 42039 3327199 9372869 | 2147483647 131611 36 | 3.425 % |
809.90/810.20 c | 139331 | 42039 3327199 9372869 | 2147483647 132331 36 | 3.425 % |
816.30/816.69 c | 140123 | 42037 3324837 9367429 | 2147483647 132995 36 | 3.428 % |
824.10/824.41 c | 140994 | 42037 3324837 9367429 | 2147483647 133866 36 | 3.428 % |
831.81/832.14 c | 141953 | 42030 3324837 9367429 | 2147483647 134818 37 | 3.444 % |
841.50/841.88 c | 143006 | 42026 3324837 9367429 | 2147483647 135867 37 | 3.453 % |
850.80/851.17 c | 144164 | 42022 3324837 9367429 | 2147483647 137020 38 | 3.464 % |
859.80/860.15 c | 145437 | 42019 3321579 9359470 | 2147483647 138212 38 | 3.469 % |
871.39/871.71 c | 146838 | 42011 3321579 9359470 | 2147483647 139604 39 | 3.490 % |
884.59/884.98 c | 148378 | 42005 3321579 9359470 | 2147483647 141137 39 | 3.508 % |
885.59/885.98 c | 148478 | 42004 3321579 9359470 | 2147483647 141236 39 | 3.510 % |
886.79/887.11 c | 148588 | 42004 3321579 9359470 | 2147483647 141346 39 | 3.510 % |
887.79/888.20 c | 148709 | 42004 3321579 9359470 | 2147483647 141467 39 | 3.510 % |
888.79/889.11 c | 148842 | 42004 3321579 9359470 | 2147483647 141600 39 | 3.510 % |
890.09/890.46 c | 148990 | 42004 3321579 9359470 | 2147483647 141748 39 | 3.510 % |
891.29/891.65 c | 149151 | 42004 3321579 9359470 | 2147483647 141909 39 | 3.510 % |
893.29/893.69 c | 149327 | 42003 3321579 9359470 | 2147483647 142084 39 | 3.513 % |
895.19/895.56 c | 149520 | 42002 3321579 9359470 | 2147483647 142276 39 | 3.515 % |
896.89/897.25 c | 149734 | 42002 3321579 9359470 | 2147483647 142490 40 | 3.515 % |
897.79/898.13 c | 149970 | 42001 3321579 9359470 | 2147483647 142725 40 | 3.517 % |
899.99/900.32 c | 150229 | 41996 3317787 9350597 | 2147483647 142935 40 | 3.522 % |
901.09/901.47 c | 150510 | 41996 3317787 9350597 | 2147483647 143216 40 | 3.522 % |
904.29/904.69 c | 150820 | 41993 3317787 9350597 | 2147483647 143523 40 | 3.529 % |
908.48/908.85 c | 151159 | 41993 3317787 9350597 | 2147483647 143862 40 | 3.529 % |
912.08/912.43 c | 151531 | 41990 3317787 9350597 | 2147483647 144231 40 | 3.536 % |
918.58/918.93 c | 151941 | 41990 3317787 9350597 | 2147483647 144641 40 | 3.536 % |
920.18/920.54 c | 152392 | 41990 3317787 9350597 | 2147483647 145092 40 | 3.536 % |
924.18/924.52 c | 152885 | 41988 3317787 9350597 | 2147483647 145583 40 | 3.540 % |
927.58/927.96 c | 153430 | 41988 3317787 9350597 | 2147483647 146128 41 | 3.540 % |
933.67/934.02 c | 154028 | 41984 3317787 9350597 | 2147483647 146722 41 | 3.549 % |
940.08/940.48 c | 154683 | 41979 3317787 9350597 | 2147483647 147372 41 | 3.561 % |
945.88/946.27 c | 155403 | 41979 3317787 9350597 | 2147483647 148092 41 | 3.561 % |
952.78/953.12 c | 156199 | 41976 3315635 9345476 | 2147483647 148854 41 | 3.568 % |
958.67/959.08 c | 157070 | 41976 3315635 9345476 | 2147483647 149725 43 | 3.568 % |
972.36/972.72 c | 158031 | 41975 3315635 9345476 | 2147483647 150685 43 | 3.570 % |
981.06/981.47 c | 159085 | 41969 3315635 9345476 | 2147483647 151733 44 | 3.593 % |
994.66/995.08 c | 160246 | 41968 3315635 9345476 | 2147483647 152893 44 | 3.595 % |
1006.06/1006.43 c | 161519 | 41968 3315635 9345476 | 2147483647 154166 45 | 3.595 % |
1016.85/1017.20 c | 162920 | 41963 3313341 9339872 | 2147483647 155467 46 | 3.598 % |
1025.06/1025.42 c | 164460 | 41959 3313341 9339872 | 2147483647 157002 47 | 3.609 % |
1037.05/1037.47 c | 166155 | 41949 3313341 9339872 | 2147483647 158688 47 | 3.641 % |
1037.75/1038.12 c | 166259 | 41949 3313341 9339872 | 2147483647 158792 47 | 3.641 % |
1038.75/1039.12 c | 166370 | 41949 3313341 9339872 | 2147483647 158903 47 | 3.641 % |
1039.85/1040.23 c | 166491 | 41948 3313341 9339872 | 2147483647 159023 47 | 3.644 % |
1041.35/1041.70 c | 166624 | 41946 3313341 9339872 | 2147483647 159154 47 | 3.648 % |
1042.65/1043.04 c | 166771 | 41946 3313341 9339872 | 2147483647 159301 47 | 3.648 % |
1044.05/1044.47 c | 166931 | 41946 3313341 9339872 | 2147483647 159461 47 | 3.648 % |
1045.15/1045.50 c | 167107 | 41946 3313341 9339872 | 2147483647 159637 47 | 3.648 % |
1046.95/1047.34 c | 167300 | 41945 3313341 9339872 | 2147483647 159829 47 | 3.650 % |
1048.65/1049.04 c | 167512 | 41945 3313341 9339872 | 2147483647 160040 47 | 3.653 % |
1054.56/1054.97 c | 167749 | 41944 3313341 9339872 | 2147483647 160277 48 | 3.653 % |
1057.35/1057.70 c | 168005 | 41944 3313341 9339872 | 2147483647 160533 48 | 3.653 % |
1061.85/1062.20 c | 168286 | 41943 3313341 9339872 | 2147483647 160813 48 | 3.662 % |
1064.15/1064.56 c | 168595 | 41932 3308118 9327546 | 2147483647 160662 48 | 3.669 % |
1067.35/1067.78 c | 168934 | 41932 3308118 9327546 | 2147483647 161001 48 | 3.669 % |
1069.44/1069.86 c | 169306 | 41929 3308118 9327546 | 2147483647 161370 48 | 3.676 % |
1074.24/1074.61 c | 169715 | 41929 3308118 9327546 | 2147483647 161779 48 | 3.676 % |
1077.24/1077.61 c | 170165 | 41927 3308118 9327546 | 2147483647 162227 48 | 3.680 % |
1080.24/1080.67 c | 170658 | 41924 3308118 9327546 | 2147483647 162717 48 | 3.687 % |
1084.34/1084.77 c | 171201 | 41924 3308118 9327546 | 2147483647 163260 48 | 3.687 % |
1089.24/1089.60 c | 171798 | 41924 3308118 9327546 | 2147483647 163856 49 | 3.690 % |
1093.44/1093.81 c | 172453 | 41924 3308118 9327546 | 2147483647 164511 49 | 3.690 % |
1099.14/1099.54 c | 173173 | 41922 3308118 9327546 | 2147483647 165228 49 | 3.696 % |
1105.93/1106.33 c | 173965 | 41922 3308118 9327546 | 2147483647 166020 49 | 3.696 % |
1111.23/1111.66 c | 174836 | 41921 3308118 9327546 | 2147483647 166889 50 | 3.702 % |
1120.13/1120.51 c | 175796 | 41916 3305246 9320413 | 2147483647 167768 50 | 3.706 % |
1131.33/1131.79 c | 176849 | 41916 3305246 9320413 | 2147483647 168821 50 | 3.706 % |
1143.42/1143.85 c | 178009 | 41912 3305246 9320413 | 2147483647 169977 51 | 3.715 % |
1155.43/1155.82 c | 179282 | 41912 3305246 9320413 | 2147483647 171249 51 | 3.717 % |
1171.12/1171.51 c | 180682 | 41911 3305246 9320413 | 2147483647 172648 51 | 3.719 % |
1189.52/1189.91 c | 182222 | 41911 3305246 9320413 | 2147483647 174188 52 | 3.719 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832227-1242770409/watcher-1832227-1242770409 -o /tmp/evaluation-result-1832227-1242770409/solver-1832227-1242770409 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832227-1242770409.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 12162
/proc/meminfo: memFree=1862960/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) R 12160 12162 11908 0 -1 4194304 256 0 0 0 0 0 0 0 19 0 1 0 305070316 5484544 223 1992294400 4194304 4889804 548682068832 18446744073709551615 4366272 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12162/statm: 1339 231 192 169 0 50 0
[startup+0.0471679 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 12162
/proc/meminfo: memFree=1862960/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10217 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 12162
/proc/meminfo: memFree=1862960/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301189 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 12162
/proc/meminfo: memFree=1862960/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70223 s]
/proc/loadavg: 0.99 0.98 0.95 3/64 12162
/proc/meminfo: memFree=1862960/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50131 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12167
/proc/meminfo: memFree=1813088/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
[pid=12167] ppid=12162 vsize=75512 CPUtime=1.48
/proc/12167/stat : 12167 (SatELite_releas) R 12162 12162 11908 0 -1 4194304 17952 0 0 0 135 13 0 0 25 0 1 0 305070317 77324288 17890 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/12167/statm: 18878 17890 49 173 0 18703 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 80868
[startup+3.10147 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12167
/proc/meminfo: memFree=1768544/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
[pid=12167] ppid=12162 vsize=147724 CPUtime=3.08
/proc/12167/stat : 12167 (SatELite_releas) R 12162 12162 11908 0 -1 4194304 35538 0 0 0 282 26 0 0 25 0 1 0 305070317 151269376 35476 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/12167/statm: 36931 35476 49 173 0 36756 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 153080
[startup+6.30179 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12167
/proc/meminfo: memFree=1655264/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
[pid=12167] ppid=12162 vsize=236344 CPUtime=6.28
/proc/12167/stat : 12167 (SatELite_releas) R 12162 12162 11908 0 -1 4194304 54640 0 0 0 589 39 0 0 25 0 1 0 305070317 242016256 54449 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/12167/statm: 59086 54449 76 173 0 58911 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 241700
[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12167
/proc/meminfo: memFree=1564512/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
[pid=12167] ppid=12162 vsize=338612 CPUtime=12.67
/proc/12167/stat : 12167 (SatELite_releas) R 12162 12162 11908 0 -1 4194304 73367 0 0 0 1218 49 0 0 25 0 1 0 305070317 346738688 73035 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/12167/statm: 84653 73035 76 173 0 84478 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 343968
[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 12167
/proc/meminfo: memFree=1564384/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=0
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 305070316 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 237 197 169 0 50 0
[pid=12167] ppid=12162 vsize=338868 CPUtime=25.48
/proc/12167/stat : 12167 (SatELite_releas) R 12162 12162 11908 0 -1 4194304 73431 0 0 0 2498 50 0 0 25 0 1 0 305070317 347000832 73099 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 1 0 0
/proc/12167/statm: 84717 73099 76 173 0 84542 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 344224
[startup+51.1012 s]
/proc/loadavg: 1.07 1.00 0.95 2/66 12174
/proc/meminfo: memFree=1632352/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=162528 CPUtime=12.53
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 38691 0 0 0 1228 25 0 0 25 0 1 0 305074171 166428672 38672 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 40632 38672 77 171 0 40459 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 167884
[startup+102.306 s]
/proc/loadavg: 1.08 1.01 0.96 2/66 12174
/proc/meminfo: memFree=1628256/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=165440 CPUtime=63.7
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 39401 0 0 0 6344 26 0 0 25 0 1 0 305074171 169410560 39382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 41360 39382 77 171 0 41187 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 170796
[startup+162.301 s]
/proc/loadavg: 1.03 1.01 0.96 2/66 12174
/proc/meminfo: memFree=1626976/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=167932 CPUtime=123.68
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 40027 0 0 0 12341 27 0 0 25 0 1 0 305074171 171962368 40008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 41983 40008 77 171 0 41810 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 173288
[startup+222.302 s]
/proc/loadavg: 1.01 1.00 0.96 2/66 12174
/proc/meminfo: memFree=1625184/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=169596 CPUtime=183.65
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 40426 0 0 0 18337 28 0 0 25 0 1 0 305074171 173666304 40407 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 42399 40407 77 171 0 42226 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 174952
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 12174
/proc/meminfo: memFree=1623520/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=171048 CPUtime=243.63
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 40802 0 0 0 24334 29 0 0 25 0 1 0 305074171 175153152 40783 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 42762 40783 77 171 0 42589 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 176404
[startup+342.302 s]
/proc/loadavg: 1.07 1.02 0.96 2/66 12174
/proc/meminfo: memFree=1621920/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=172752 CPUtime=303.62
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 41195 0 0 0 30332 30 0 0 25 0 1 0 305074171 176898048 41176 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 43188 41176 77 171 0 43015 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 178108
[startup+402.302 s]
/proc/loadavg: 1.08 1.03 0.97 2/66 12174
/proc/meminfo: memFree=1620512/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=174072 CPUtime=363.6
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 41553 0 0 0 36329 31 0 0 25 0 1 0 305074171 178249728 41534 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 43518 41534 77 171 0 43345 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 179428
[startup+462.302 s]
################
# More data... #
################
/proc/12168/statm: 44322 42289 77 171 0 44149 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 182644
[startup+582.302 s]
/proc/loadavg: 1.06 1.05 0.99 2/66 12174
/proc/meminfo: memFree=1615584/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=178872 CPUtime=543.56
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 42742 0 0 0 54323 33 0 0 25 0 1 0 305074171 183164928 42723 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 44718 42723 77 171 0 44545 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 184228
[startup+642.302 s]
/proc/loadavg: 1.02 1.04 0.99 2/66 12174
/proc/meminfo: memFree=1613344/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=180988 CPUtime=603.55
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 43261 0 0 0 60321 34 0 0 25 0 1 0 305074171 185331712 43242 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 45247 43242 77 171 0 45074 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 186344
[startup+702.302 s]
/proc/loadavg: 1.00 1.03 0.99 2/66 12174
/proc/meminfo: memFree=1610720/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=183364 CPUtime=663.52
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 43879 0 0 0 66317 35 0 0 25 0 1 0 305074171 187764736 43860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 45841 43860 77 171 0 45668 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 188720
[startup+762.306 s]
/proc/loadavg: 1.00 1.02 0.99 2/66 12174
/proc/meminfo: memFree=1608160/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=185872 CPUtime=723.51
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 44504 0 0 0 72315 36 0 0 25 0 1 0 305074171 190332928 44485 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 46468 44485 77 171 0 46295 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 191228
[startup+822.302 s]
/proc/loadavg: 1.00 1.02 0.99 2/66 12174
/proc/meminfo: memFree=1606048/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=187856 CPUtime=783.49
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 45006 0 0 0 78312 37 0 0 25 0 1 0 305074171 192364544 44987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 46964 44987 77 171 0 46791 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 193212
[startup+882.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 12174
/proc/meminfo: memFree=1603296/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=190788 CPUtime=843.48
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 45686 0 0 0 84310 38 0 0 25 0 1 0 305074171 195366912 45667 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 47697 45667 77 171 0 47524 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 196144
[startup+942.301 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 12174
/proc/meminfo: memFree=1600928/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=193164 CPUtime=903.46
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 46275 0 0 0 90307 39 0 0 25 0 1 0 305074171 197799936 46256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 48291 46256 77 171 0 48118 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 198520
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12174
/proc/meminfo: memFree=1597152/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=196864 CPUtime=963.45
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 47201 0 0 0 96304 41 0 0 25 0 1 0 305074171 201588736 47182 1992294400 134512640 135215339 4294956240 18446744073709551615 134538923 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 49216 47182 77 171 0 49043 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 202220
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12174
/proc/meminfo: memFree=1593760/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=200296 CPUtime=1023.44
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 48053 0 0 0 102301 43 0 0 25 0 1 0 305074171 205103104 48034 1992294400 134512640 135215339 4294956240 18446744073709551615 134525939 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 50074 48034 77 171 0 49901 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 205652
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12174
/proc/meminfo: memFree=1590560/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=203204 CPUtime=1083.42
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 48803 0 0 0 108298 44 0 0 25 0 1 0 305074171 208080896 48784 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 50801 48784 77 171 0 50628 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 208560
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12174
/proc/meminfo: memFree=1588256/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=205448 CPUtime=1143.41
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 49362 0 0 0 114296 45 0 0 25 0 1 0 305074171 210378752 49343 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 51362 49343 77 171 0 51189 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 210804
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.4 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 12174
/proc/meminfo: memFree=1587360/2055920 swapFree=4180540/4192956
[pid=12162] ppid=12160 vsize=5356 CPUtime=38.51
/proc/12162/stat : 12162 (SatELiteGTI) S 12160 12162 11908 0 -1 4194304 336 95395 0 0 0 0 3758 93 16 0 1 0 305070316 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12162/statm: 1339 239 197 169 0 50 0
[pid=12168] ppid=12162 vsize=206240 CPUtime=1161.5
/proc/12168/stat : 12168 (minisat_static) R 12162 12162 11908 0 -1 4194304 49571 0 0 0 116105 45 0 0 25 0 1 0 305074171 211189760 49552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/12168/statm: 51560 49552 77 171 0 51387 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 211596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12162 and gives
# childrusage.ru_utime.tv_sec=37
# childrusage.ru_utime.tv_usec=589285
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=934857
# CPU time returned by wait4() is 38.5241
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.41
CPU time (s): 1200.01
CPU user time (s): 1198.63
CPU system time (s): 1.38
CPU usage (%): 99.9665
Max. virtual memory (cumulated for all children) (KiB): 351584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.5893
system time used= 0.934857
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95731
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= 15
involuntary context switches= 108
runsolver used 1.36479 second user time and 3.04454 second system time
The end
Begin job on node36 at 2009-05-20 00:00:17
IDJOB=1832227
IDBENCH=24639
IDSOLVER=671
FILE ID=node36/1832227-1242770409
PBS_JOBID= 9322262
Free space on /tmp= 66340 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest05/phnf/phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832227-1242770409/watcher-1832227-1242770409 -o /tmp/evaluation-result-1832227-1242770409/solver-1832227-1242770409 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832227-1242770409.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 41f1c0479c607ce4a810d6cbab59e2f9
RANDOM SEED=1031074075
node36.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1863440 kB
Buffers: 12428 kB
Cached: 140616 kB
SwapCached: 6552 kB
Active: 87108 kB
Inactive: 74720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1863440 kB
SwapTotal: 4192956 kB
SwapFree: 4180540 kB
Dirty: 53856 kB
Writeback: 0 kB
Mapped: 13960 kB
Slab: 16740 kB
Committed_AS: 1042264 kB
PageTables: 1372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66264 MiB
End job on node36 at 2009-05-20 00:20:20