0.00/0.00 c Parsing...
1.02/1.09 c ==============================================================================
1.02/1.09 c | | ORIGINAL | LEARNT | |
1.02/1.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.02/1.09 c ==============================================================================
1.02/1.09 c | 0 | 1093965 2552585 | 328189 0 0 nan | 0.000 % |
20.75/20.86 c | 0 | 536570 1877685 | -- 0 -- -- | -- | -557373/-674847
20.75/20.87 c ==============================================================================
20.75/20.87 c Result : #vars: 96656 #clauses: 536570 #literals: 1877685
20.75/20.87 c CPU time: 20.33 s
20.75/20.87 c ==============================================================================
21.44/21.55 c This is MiniSat 2.0 beta
21.44/21.55 c WARNING: for repeatability, setting FPU to use double precision
21.44/21.55 c ============================[ Problem Statistics ]=============================
21.44/21.55 c | |
21.44/21.55 c | Number of variables: 96656 |
21.44/21.55 c | Number of clauses: 536570 |
21.84/21.94 c | Parsing time: 0.38 s |
21.84/21.97 c ============================[ Search Statistics ]==============================
21.84/21.97 c | Conflicts | ORIGINAL | LEARNT | Progress |
21.84/21.97 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.84/21.97 c ===============================================================================
21.84/21.97 c | 0 | 96656 536570 1877685 | 178856 0 nan | 0.000 % |
21.84/22.02 c | 101 | 96656 536570 1877685 | 178856 101 68 | 0.000 % |
22.14/22.29 c | 202 | 96656 536570 1877685 | 178856 202 56 | 0.000 % |
22.33/22.52 c | 302 | 96656 536570 1877685 | 178856 302 42 | 0.000 % |
22.53/22.65 c | 413 | 96656 536570 1877685 | 178856 413 35 | 0.000 % |
22.73/22.85 c | 513 | 96656 536570 1877685 | 178856 513 34 | 0.000 % |
22.83/22.94 c | 628 | 96656 536570 1877685 | 178856 628 30 | 0.000 % |
22.83/23.01 c | 749 | 96656 536570 1877685 | 178856 749 29 | 0.000 % |
22.93/23.05 c | 850 | 96656 536570 1877685 | 178856 850 27 | 0.000 % |
22.93/23.09 c | 962 | 96656 536570 1877685 | 178856 962 25 | 0.000 % |
23.23/23.36 c | 1083 | 96656 536570 1877685 | 178856 1083 25 | 0.000 % |
23.53/23.67 c | 1216 | 96656 536570 1877685 | 178856 1216 33 | 0.000 % |
23.83/23.99 c | 1317 | 96656 536570 1877685 | 178856 1317 33 | 0.000 % |
23.93/24.07 c | 1427 | 96656 536570 1877685 | 178856 1427 33 | 0.000 % |
24.23/24.41 c | 1548 | 96656 536570 1877685 | 178856 1548 35 | 0.000 % |
24.63/24.75 c | 1682 | 96656 536570 1877685 | 178856 1682 37 | 0.000 % |
24.83/24.95 c | 1830 | 96656 536570 1877685 | 178856 1830 38 | 0.000 % |
24.83/25.00 c | 1930 | 96656 536570 1877685 | 178856 1930 36 | 0.000 % |
25.03/25.21 c | 2041 | 96656 536570 1877685 | 178856 2041 36 | 0.000 % |
25.33/25.43 c | 2162 | 96656 536570 1877685 | 178856 2162 37 | 0.000 % |
25.33/25.48 c | 2295 | 96656 536570 1877685 | 178856 2295 36 | 0.000 % |
25.43/25.61 c | 2442 | 96656 536570 1877685 | 178856 2442 36 | 0.000 % |
25.53/25.71 c | 2602 | 96656 536570 1877685 | 178856 2602 35 | 0.000 % |
25.73/25.92 c | 2702 | 96656 536570 1877685 | 178856 2702 34 | 0.000 % |
25.93/26.12 c | 2814 | 96656 536570 1877685 | 178856 2814 36 | 0.000 % |
26.13/26.30 c | 2935 | 96656 536570 1877685 | 178856 2935 35 | 0.000 % |
26.33/26.50 c | 3074 | 96656 536570 1877685 | 178856 3074 37 | 0.000 % |
26.43/26.60 c | 3220 | 96656 536570 1877685 | 178856 3220 38 | 0.000 % |
26.93/27.05 c | 3380 | 96656 536570 1877685 | 178856 3380 37 | 0.000 % |
27.33/27.50 c | 3557 | 96656 536570 1877685 | 178856 3557 37 | 0.000 % |
27.43/27.52 c | 3659 | 96656 536570 1877685 | 178856 3659 37 | 0.000 % |
27.43/27.54 c | 3770 | 96656 536570 1877685 | 178856 3770 36 | 0.000 % |
27.53/27.68 c | 3891 | 96656 536570 1877685 | 178856 3891 36 | 0.000 % |
27.63/27.73 c | 4025 | 96656 536570 1877685 | 178856 4025 35 | 0.000 % |
27.93/28.03 c | 4172 | 96656 536570 1877685 | 178856 4172 34 | 0.000 % |
28.23/28.41 c | 4332 | 96656 536570 1877685 | 178856 4332 34 | 0.000 % |
28.43/28.59 c | 4508 | 96656 536570 1877685 | 178856 4508 34 | 0.000 % |
28.83/28.97 c | 4701 | 96656 536570 1877685 | 178856 4701 33 | 0.000 % |
29.33/29.49 c | 4801 | 96656 536570 1877685 | 178856 4801 34 | 0.000 % |
29.83/30.01 c | 4911 | 96656 536570 1877685 | 178856 4911 37 | 0.000 % |
30.23/30.33 c | 5033 | 96656 536570 1877685 | 178856 5033 38 | 0.000 % |
30.23/30.41 c | 5169 | 96656 536570 1877685 | 178856 5169 38 | 0.000 % |
30.63/30.77 c | 5316 | 96656 536570 1877685 | 178856 5316 37 | 0.000 % |
30.83/30.92 c | 5479 | 96656 536570 1877685 | 178856 5479 36 | 0.000 % |
30.93/31.10 c | 5655 | 96656 536570 1877685 | 178856 5655 36 | 0.000 % |
31.23/31.35 c | 5848 | 96656 536570 1877685 | 178856 5848 35 | 0.000 % |
31.63/31.79 c | 6065 | 96656 536570 1877685 | 178856 6065 34 | 0.000 % |
31.83/31.94 c | 6165 | 96656 536570 1877685 | 178856 6165 34 | 0.000 % |
31.93/32.04 c | 6275 | 96656 536570 1877685 | 178856 6275 33 | 0.000 % |
32.13/32.25 c | 6396 | 96656 536570 1877685 | 178856 6396 33 | 0.000 % |
32.23/32.36 c | 6529 | 96656 536570 1877685 | 178856 6529 33 | 0.000 % |
32.33/32.49 c | 6676 | 96656 536570 1877685 | 178856 6676 33 | 0.000 % |
32.83/32.93 c | 6837 | 96656 536570 1877685 | 178856 6837 35 | 0.000 % |
33.73/33.87 c | 7014 | 96655 536441 1877425 | 178856 7012 39 | 0.001 % |
34.03/34.21 c | 7207 | 96655 536441 1877425 | 178856 7205 40 | 0.001 % |
34.53/34.64 c | 7419 | 96655 536441 1877425 | 178856 7417 39 | 0.001 % |
34.83/34.96 c | 7653 | 96655 536441 1877425 | 178856 7651 38 | 0.001 % |
34.93/35.07 c | 7753 | 96655 536441 1877425 | 178856 7751 38 | 0.001 % |
35.23/35.32 c | 7863 | 96655 536441 1877425 | 178856 7861 38 | 0.001 % |
35.23/35.34 c | 7984 | 96655 536441 1877425 | 178856 7982 37 | 0.001 % |
35.23/35.40 c | 8117 | 96655 536441 1877425 | 178856 8115 36 | 0.001 % |
35.43/35.53 c | 8263 | 96655 536441 1877425 | 178856 8261 36 | 0.001 % |
35.83/35.97 c | 8424 | 96655 536441 1877425 | 178856 8422 36 | 0.001 % |
36.13/36.27 c | 8601 | 96655 536441 1877425 | 178856 8599 39 | 0.001 % |
36.33/36.43 c | 8794 | 96655 536441 1877425 | 178856 8792 38 | 0.001 % |
36.53/36.71 c | 9006 | 96655 536441 1877425 | 178856 9004 38 | 0.001 % |
36.83/36.98 c | 9239 | 96655 536441 1877425 | 178856 9237 39 | 0.001 % |
37.43/37.57 c | 9496 | 96655 536441 1877425 | 178856 9494 38 | 0.001 % |
37.53/37.68 c | 9597 | 96655 536441 1877425 | 178856 9595 38 | 0.001 % |
37.93/38.08 c | 9707 | 96655 536441 1877425 | 178856 9705 37 | 0.001 % |
39.43/39.54 c | 9828 | 96655 536441 1877425 | 178856 9826 37 | 0.001 % |
40.02/40.13 c | 9962 | 96654 536313 1877169 | 178856 9958 38 | 0.002 % |
40.22/40.35 c | 10108 | 96654 536313 1877169 | 2147483647 10104 37 | 0.002 % |
40.42/40.53 c | 10268 | 96654 536313 1877169 | 2147483647 10264 37 | 0.002 % |
40.72/40.83 c | 10444 | 96654 536313 1877169 | 2147483647 10440 37 | 0.002 % |
40.82/40.96 c | 10639 | 96654 536313 1877169 | 2147483647 10635 38 | 0.002 % |
41.12/41.26 c | 10852 | 96654 536313 1877169 | 2147483647 10848 38 | 0.002 % |
41.92/42.02 c | 11085 | 96654 536313 1877169 | 2147483647 11081 38 | 0.002 % |
42.32/42.48 c | 11341 | 96654 536313 1877169 | 2147483647 11337 38 | 0.002 % |
43.02/43.12 c | 11623 | 96654 536313 1877169 | 2147483647 11619 38 | 0.002 % |
43.32/43.47 c | 11723 | 96654 536313 1877169 | 2147483647 11719 38 | 0.002 % |
43.52/43.68 c | 11834 | 96654 536313 1877169 | 2147483647 11830 38 | 0.002 % |
43.62/43.80 c | 11955 | 96654 536313 1877169 | 2147483647 11951 38 | 0.002 % |
43.82/44.00 c | 12093 | 96654 536313 1877169 | 2147483647 12089 38 | 0.002 % |
44.12/44.23 c | 12240 | 96654 536313 1877169 | 2147483647 12236 37 | 0.002 % |
44.32/44.43 c | 12401 | 96654 536313 1877169 | 2147483647 12397 37 | 0.002 % |
45.22/45.31 c | 12577 | 96654 536313 1877169 | 2147483647 12573 37 | 0.002 % |
45.52/45.62 c | 12771 | 96654 536313 1877169 | 2147483647 12767 37 | 0.002 % |
45.82/45.95 c | 12983 | 96654 536313 1877169 | 2147483647 12979 37 | 0.002 % |
46.32/46.45 c | 13218 | 96654 536313 1877169 | 2147483647 13214 38 | 0.002 % |
46.62/46.76 c | 13474 | 96654 536313 1877169 | 2147483647 13470 38 | 0.002 % |
46.92/47.06 c | 13756 | 96654 536313 1877169 | 2147483647 13752 37 | 0.002 % |
47.32/47.50 c | 14065 | 96654 536313 1877169 | 2147483647 14061 37 | 0.002 % |
47.52/47.68 c | 14166 | 96654 536313 1877169 | 2147483647 14162 37 | 0.002 % |
47.72/47.81 c | 14279 | 96654 536313 1877169 | 2147483647 14275 36 | 0.002 % |
48.12/48.21 c | 14401 | 96654 536313 1877169 | 2147483647 14397 37 | 0.002 % |
48.33/48.42 c | 14534 | 96654 536313 1877169 | 2147483647 14530 37 | 0.002 % |
48.62/48.78 c | 14681 | 96654 536313 1877169 | 2147483647 14677 37 | 0.002 % |
48.82/49.00 c | 14841 | 96654 536313 1877169 | 2147483647 14837 37 | 0.002 % |
49.02/49.13 c | 15017 | 96654 536313 1877169 | 2147483647 15013 37 | 0.002 % |
49.43/49.53 c | 15210 | 96654 536313 1877169 | 2147483647 15206 37 | 0.002 % |
49.82/49.95 c | 15422 | 96654 536313 1877169 | 2147483647 15418 37 | 0.002 % |
50.12/50.26 c | 15655 | 96654 536313 1877169 | 2147483647 15651 37 | 0.002 % |
50.72/50.85 c | 15911 | 96654 536313 1877169 | 2147483647 15907 38 | 0.002 % |
51.02/51.19 c | 16193 | 96654 536313 1877169 | 2147483647 16189 37 | 0.002 % |
51.32/51.42 c | 16503 | 96653 536184 1876909 | 2147483647 16497 37 | 0.003 % |
51.63/51.79 c | 16842 | 96653 536184 1876909 | 2147483647 16836 37 | 0.003 % |
51.92/52.07 c | 16942 | 96653 536184 1876909 | 2147483647 16936 37 | 0.003 % |
52.12/52.26 c | 17052 | 96653 536184 1876909 | 2147483647 17046 37 | 0.003 % |
52.22/52.33 c | 17173 | 96653 536184 1876909 | 2147483647 17167 37 | 0.003 % |
52.52/52.68 c | 17306 | 96653 536184 1876909 | 2147483647 17300 37 | 0.003 % |
53.02/53.11 c | 17452 | 96653 536184 1876909 | 2147483647 17446 37 | 0.003 % |
53.22/53.36 c | 17612 | 96653 536184 1876909 | 2147483647 17606 37 | 0.003 % |
53.62/53.80 c | 17790 | 96653 536184 1876909 | 2147483647 17784 36 | 0.003 % |
54.22/54.39 c | 17983 | 96653 536184 1876909 | 2147483647 17977 36 | 0.003 % |
54.62/54.73 c | 18195 | 96653 536184 1876909 | 2147483647 18189 36 | 0.003 % |
54.93/55.02 c | 18428 | 96653 536184 1876909 | 2147483647 18422 36 | 0.003 % |
55.12/55.27 c | 18684 | 96653 536184 1876909 | 2147483647 18678 36 | 0.003 % |
55.62/55.73 c | 18967 | 96653 536184 1876909 | 2147483647 18961 38 | 0.003 % |
55.92/56.10 c | 19277 | 96653 536184 1876909 | 2147483647 19271 39 | 0.003 % |
56.52/56.63 c | 19619 | 96653 536184 1876909 | 2147483647 19613 40 | 0.003 % |
56.92/57.07 c | 19991 | 96653 536184 1876909 | 2147483647 19985 41 | 0.003 % |
57.13/57.25 c | 20093 | 96653 536184 1876909 | 2147483647 20087 41 | 0.003 % |
57.22/57.31 c | 20203 | 96653 536184 1876909 | 2147483647 20197 41 | 0.003 % |
57.52/57.62 c | 20324 | 96653 536184 1876909 | 2147483647 20318 41 | 0.003 % |
57.92/58.01 c | 20457 | 96653 536184 1876909 | 2147483647 20451 41 | 0.003 % |
58.23/58.36 c | 20603 | 96653 536184 1876909 | 2147483647 20597 41 | 0.003 % |
58.42/58.52 c | 20763 | 96653 536184 1876909 | 2147483647 20757 41 | 0.003 % |
58.92/59.07 c | 20939 | 96653 536184 1876909 | 2147483647 20933 41 | 0.003 % |
59.12/59.24 c | 21132 | 96653 536184 1876909 | 2147483647 21126 41 | 0.003 % |
59.33/59.49 c | 21344 | 96653 536184 1876909 | 2147483647 21338 41 | 0.003 % |
59.52/59.69 c | 21578 | 96653 536184 1876909 | 2147483647 21572 41 | 0.003 % |
59.92/60.09 c | 21834 | 96653 536184 1876909 | 2147483647 21828 42 | 0.003 % |
61.12/61.22 c | 22116 | 96653 536184 1876909 | 2147483647 22110 43 | 0.003 % |
61.82/61.98 c | 22425 | 96653 536184 1876909 | 2147483647 22419 45 | 0.003 % |
62.82/62.93 c | 22764 | 96653 536184 1876909 | 2147483647 22758 47 | 0.003 % |
65.02/65.15 c | 23137 | 96653 536184 1876909 | 2147483647 23131 48 | 0.003 % |
66.32/66.44 c | 23547 | 96653 536184 1876909 | 2147483647 23541 49 | 0.003 % |
66.42/66.57 c | 23647 | 96653 536184 1876909 | 2147483647 23641 49 | 0.003 % |
66.52/66.65 c | 23766 | 96653 536184 1876909 | 2147483647 23760 49 | 0.003 % |
66.62/66.71 c | 23887 | 96653 536184 1876909 | 2147483647 23881 49 | 0.003 % |
67.72/67.87 c | 24021 | 96653 536184 1876909 | 2147483647 24015 50 | 0.003 % |
68.02/68.12 c | 24167 | 96653 536184 1876909 | 2147483647 24161 50 | 0.003 % |
68.22/68.33 c | 24327 | 96653 536184 1876909 | 2147483647 24321 50 | 0.003 % |
68.52/68.66 c | 24503 | 96653 536184 1876909 | 2147483647 24497 50 | 0.003 % |
68.92/69.09 c | 24696 | 96653 536184 1876909 | 2147483647 24690 50 | 0.003 % |
69.12/69.28 c | 24909 | 96653 536184 1876909 | 2147483647 24903 49 | 0.003 % |
69.42/69.54 c | 25143 | 96653 536184 1876909 | 2147483647 25137 49 | 0.003 % |
69.82/69.92 c | 25399 | 96653 536184 1876909 | 2147483647 25393 49 | 0.003 % |
70.02/70.18 c | 25680 | 96653 536184 1876909 | 2147483647 25674 49 | 0.003 % |
70.82/70.95 c | 25990 | 96653 536184 1876909 | 2147483647 25984 49 | 0.003 % |
71.02/71.17 c | 26329 | 96653 536184 1876909 | 2147483647 26323 48 | 0.003 % |
71.43/71.52 c | 26701 | 96653 536184 1876909 | 2147483647 26695 48 | 0.003 % |
72.22/72.31 c | 27110 | 96653 536184 1876909 | 2147483647 27104 49 | 0.003 % |
72.82/72.98 c | 27560 | 96653 536184 1876909 | 2147483647 27554 48 | 0.003 % |
73.12/73.28 c | 27661 | 96653 536184 1876909 | 2147483647 27655 48 | 0.003 % |
73.32/73.41 c | 27771 | 96653 536184 1876909 | 2147483647 27765 48 | 0.003 % |
73.72/73.88 c | 27892 | 96653 536184 1876909 | 2147483647 27886 49 | 0.003 % |
74.02/74.12 c | 28025 | 96653 536184 1876909 | 2147483647 28019 49 | 0.003 % |
74.12/74.21 c | 28171 | 96653 536184 1876909 | 2147483647 28165 48 | 0.003 % |
74.62/74.72 c | 28331 | 96653 536184 1876909 | 2147483647 28325 48 | 0.003 % |
74.73/74.90 c | 28507 | 96653 536184 1876909 | 2147483647 28501 48 | 0.003 % |
75.02/75.15 c | 28700 | 96653 536184 1876909 | 2147483647 28694 48 | 0.003 % |
75.62/75.78 c | 28913 | 96653 536184 1876909 | 2147483647 28907 48 | 0.003 % |
76.12/76.23 c | 29146 | 96653 536184 1876909 | 2147483647 29140 48 | 0.003 % |
76.42/76.60 c | 29410 | 96653 536184 1876909 | 2147483647 29404 48 | 0.003 % |
76.93/77.02 c | 29691 | 96653 536184 1876909 | 2147483647 29685 48 | 0.003 % |
78.52/78.63 c | 30002 | 96653 536184 1876909 | 2147483647 29996 49 | 0.003 % |
79.32/79.49 c | 30341 | 96653 536184 1876909 | 2147483647 30335 49 | 0.003 % |
79.82/80.00 c | 30713 | 96653 536184 1876909 | 2147483647 30707 48 | 0.003 % |
80.52/80.64 c | 31122 | 96653 536184 1876909 | 2147483647 31116 48 | 0.003 % |
80.92/81.08 c | 31572 | 96653 536184 1876909 | 2147483647 31566 48 | 0.003 % |
81.92/82.04 c | 32066 | 96653 536184 1876909 | 2147483647 32060 48 | 0.003 % |
82.12/82.25 c | 32166 | 96653 536184 1876909 | 2147483647 32160 48 | 0.003 % |
82.22/82.33 c | 32276 | 96653 536184 1876909 | 2147483647 32270 49 | 0.003 % |
82.43/82.58 c | 32397 | 96653 536184 1876909 | 2147483647 32391 49 | 0.003 % |
82.62/82.75 c | 32530 | 96653 536184 1876909 | 2147483647 32524 49 | 0.003 % |
82.92/83.06 c | 32676 | 96653 536184 1876909 | 2147483647 32670 49 | 0.003 % |
83.42/83.61 c | 32836 | 96653 536184 1876909 | 2147483647 32830 49 | 0.003 % |
83.72/83.90 c | 33012 | 96653 536184 1876909 | 2147483647 33006 50 | 0.003 % |
84.52/84.68 c | 33206 | 96653 536184 1876909 | 2147483647 33200 51 | 0.003 % |
85.12/85.27 c | 33418 | 96653 536184 1876909 | 2147483647 33412 51 | 0.003 % |
86.02/86.16 c | 33661 | 96653 536184 1876909 | 2147483647 33655 52 | 0.003 % |
86.83/86.95 c | 33922 | 96653 536184 1876909 | 2147483647 33916 52 | 0.003 % |
87.12/87.21 c | 34203 | 96653 536184 1876909 | 2147483647 34197 52 | 0.003 % |
87.72/87.90 c | 34513 | 96653 536184 1876909 | 2147483647 34507 53 | 0.003 % |
88.32/88.45 c | 34852 | 96653 536184 1876909 | 2147483647 34846 53 | 0.003 % |
88.82/88.93 c | 35225 | 96653 536184 1876909 | 2147483647 35219 53 | 0.003 % |
89.23/89.32 c | 35634 | 96653 536184 1876909 | 2147483647 35628 53 | 0.003 % |
90.53/90.66 c | 36083 | 96653 536184 1876909 | 2147483647 36077 53 | 0.003 % |
92.93/93.02 c | 36576 | 96653 536184 1876909 | 2147483647 36570 54 | 0.003 % |
93.93/94.08 c | 37120 | 96653 536184 1876909 | 2147483647 37114 55 | 0.003 % |
94.03/94.18 c | 37222 | 96653 536184 1876909 | 2147483647 37216 55 | 0.003 % |
94.43/94.54 c | 37333 | 96653 536184 1876909 | 2147483647 37327 55 | 0.003 % |
95.13/95.24 c | 37455 | 96653 536184 1876909 | 2147483647 37449 56 | 0.003 % |
95.63/95.74 c | 37588 | 96653 536184 1876909 | 2147483647 37582 57 | 0.003 % |
96.23/96.33 c | 37734 | 96653 536184 1876909 | 2147483647 37728 57 | 0.003 % |
97.13/97.28 c | 37894 | 96653 536184 1876909 | 2147483647 37888 57 | 0.003 % |
97.53/97.65 c | 38071 | 96653 536184 1876909 | 2147483647 38065 57 | 0.003 % |
98.03/98.19 c | 38265 | 96653 536184 1876909 | 2147483647 38259 57 | 0.003 % |
98.43/98.52 c | 38477 | 96653 536184 1876909 | 2147483647 38471 57 | 0.003 % |
99.03/99.14 c | 38711 | 96653 536184 1876909 | 2147483647 38705 58 | 0.003 % |
99.63/99.75 c | 38968 | 96653 536184 1876909 | 2147483647 38962 58 | 0.003 % |
100.13/100.25 c | 39250 | 96653 536184 1876909 | 2147483647 39244 58 | 0.003 % |
100.43/100.52 c | 39559 | 96653 536184 1876909 | 2147483647 39553 57 | 0.003 % |
100.93/101.06 c | 39898 | 96653 536184 1876909 | 2147483647 39892 57 | 0.003 % |
102.33/102.48 c | 40271 | 96653 536184 1876909 | 2147483647 40265 58 | 0.003 % |
103.63/103.76 c | 40680 | 96653 536184 1876909 | 2147483647 40674 59 | 0.003 % |
105.73/105.84 c | 41129 | 96653 536184 1876909 | 2147483647 41123 61 | 0.003 % |
107.03/107.17 c | 41622 | 96653 536184 1876909 | 2147483647 41616 63 | 0.003 % |
108.73/108.83 c | 42164 | 96653 536184 1876909 | 2147483647 42158 63 | 0.003 % |
109.53/109.67 c | 42760 | 96653 536184 1876909 | 2147483647 42754 63 | 0.003 % |
109.73/109.83 c | 42860 | 96653 536184 1876909 | 2147483647 42854 63 | 0.003 % |
110.03/110.20 c | 42970 | 96653 536184 1876909 | 2147483647 42964 63 | 0.003 % |
110.23/110.32 c | 43093 | 96653 536184 1876909 | 2147483647 43087 63 | 0.003 % |
110.33/110.46 c | 43226 | 96653 536184 1876909 | 2147483647 43220 63 | 0.003 % |
110.53/110.63 c | 43372 | 96653 536184 1876909 | 2147483647 43366 62 | 0.003 % |
110.83/110.93 c | 43533 | 96653 536184 1876909 | 2147483647 43527 63 | 0.003 % |
111.03/111.16 c | 43710 | 96653 536184 1876909 | 2147483647 43704 63 | 0.003 % |
111.93/112.10 c | 43903 | 96653 536184 1876909 | 2147483647 43897 63 | 0.003 % |
112.33/112.45 c | 44115 | 96653 536184 1876909 | 2147483647 44109 63 | 0.003 % |
112.53/112.70 c | 44348 | 96653 536184 1876909 | 2147483647 44342 63 | 0.003 % |
113.73/113.90 c | 44606 | 96653 536184 1876909 | 2147483647 44600 63 | 0.003 % |
114.13/114.30 c | 44887 | 96653 536184 1876909 | 2147483647 44881 63 | 0.003 % |
114.43/114.53 c | 45196 | 96653 536184 1876909 | 2147483647 45190 63 | 0.003 % |
115.43/115.57 c | 45535 | 96653 536184 1876909 | 2147483647 45529 63 | 0.003 % |
115.93/116.02 c | 45907 | 96653 536184 1876909 | 2147483647 45901 63 | 0.003 % |
116.93/117.09 c | 46317 | 96653 536184 1876909 | 2147483647 46311 63 | 0.003 % |
118.03/118.13 c | 46766 | 96653 536184 1876909 | 2147483647 46760 63 | 0.003 % |
118.83/118.97 c | 47260 | 96653 536184 1876909 | 2147483647 47254 63 | 0.003 % |
119.53/119.68 c | 47802 | 96653 536184 1876909 | 2147483647 47796 62 | 0.003 % |
121.13/121.24 c | 48399 | 96653 536184 1876909 | 2147483647 48393 67 | 0.003 % |
123.43/123.60 c | 49054 | 96653 536184 1876909 | 2147483647 49048 67 | 0.003 % |
123.83/123.92 c | 49154 | 96653 536184 1876909 | 2147483647 49148 67 | 0.003 % |
124.13/124.25 c | 49264 | 96653 536184 1876909 | 2147483647 49258 67 | 0.003 % |
124.33/124.49 c | 49385 | 96653 536184 1876909 | 2147483647 49379 67 | 0.003 % |
124.73/124.91 c | 49519 | 96653 536184 1876909 | 2147483647 49513 67 | 0.003 % |
125.43/125.52 c | 49665 | 96653 536184 1876909 | 2147483647 49659 67 | 0.003 % |
125.83/126.00 c | 49825 | 96653 536184 1876909 | 2147483647 49819 67 | 0.003 % |
126.83/126.92 c | 50001 | 96653 536184 1876909 | 2147483647 49995 67 | 0.003 % |
127.33/127.41 c | 50196 | 96653 536184 1876909 | 2147483647 50190 67 | 0.003 % |
127.63/127.76 c | 50409 | 96653 536184 1876909 | 2147483647 50403 67 | 0.003 % |
127.93/128.02 c | 50642 | 96653 536184 1876909 | 2147483647 50636 67 | 0.003 % |
128.43/128.51 c | 50898 | 96653 536184 1876909 | 2147483647 50892 67 | 0.003 % |
129.13/129.24 c | 51185 | 96653 536184 1876909 | 2147483647 51179 67 | 0.003 % |
129.83/129.93 c | 51494 | 96653 536184 1876909 | 2147483647 51488 67 | 0.003 % |
130.33/130.47 c | 51835 | 96653 536184 1876909 | 2147483647 51829 67 | 0.003 % |
130.63/130.77 c | 52208 | 96653 536184 1876909 | 2147483647 52202 68 | 0.003 % |
131.73/131.84 c | 52617 | 96653 536184 1876909 | 2147483647 52611 67 | 0.003 % |
132.23/132.36 c | 53066 | 96653 536184 1876909 | 2147483647 53060 67 | 0.003 % |
133.03/133.18 c | 53559 | 96653 536184 1876909 | 2147483647 53553 67 | 0.003 % |
133.93/134.09 c | 54102 | 96653 536184 1876909 | 2147483647 54096 68 | 0.003 % |
134.73/134.83 c | 54698 | 96653 536184 1876909 | 2147483647 54692 70 | 0.003 % |
136.73/136.84 c | 55353 | 96653 536184 1876909 | 2147483647 55347 71 | 0.003 % |
138.73/138.86 c | 56075 | 96653 536184 1876909 | 2147483647 56069 71 | 0.003 % |
139.23/139.32 c | 56175 | 96653 536184 1876909 | 2147483647 56169 71 | 0.003 % |
139.53/139.64 c | 56286 | 96653 536184 1876909 | 2147483647 56280 71 | 0.003 % |
139.73/139.84 c | 56413 | 96653 536184 1876909 | 2147483647 56407 72 | 0.003 % |
139.93/140.10 c | 56546 | 96653 536184 1876909 | 2147483647 56540 73 | 0.003 % |
140.03/140.20 c | 56692 | 96653 536184 1876909 | 2147483647 56686 72 | 0.003 % |
140.73/140.87 c | 56853 | 96653 536184 1876909 | 2147483647 56847 72 | 0.003 % |
141.13/141.24 c | 57029 | 96653 536184 1876909 | 2147483647 57023 73 | 0.003 % |
141.53/141.69 c | 57223 | 96653 536184 1876909 | 2147483647 57217 73 | 0.003 % |
143.63/143.73 c | 57435 | 96653 536184 1876909 | 2147483647 57429 74 | 0.003 % |
144.13/144.27 c | 57668 | 96653 536184 1876909 | 2147483647 57662 75 | 0.003 % |
146.63/146.75 c | 57925 | 96653 536184 1876909 | 2147483647 57919 76 | 0.003 % |
148.53/148.61 c | 58206 | 96653 536184 1876909 | 2147483647 58200 77 | 0.003 % |
150.23/150.34 c | 58515 | 96653 536184 1876909 | 2147483647 58509 78 | 0.003 % |
151.03/151.17 c | 58856 | 96653 536184 1876909 | 2147483647 58850 78 | 0.003 % |
151.93/152.04 c | 59228 | 96653 536184 1876909 | 2147483647 59222 78 | 0.003 % |
153.94/154.08 c | 59637 | 96653 536184 1876909 | 2147483647 59631 78 | 0.003 % |
154.93/155.07 c | 60086 | 96653 536184 1876909 | 2147483647 60080 78 | 0.003 % |
156.43/156.57 c | 60579 | 96653 536184 1876909 | 2147483647 60573 78 | 0.003 % |
157.33/157.49 c | 61121 | 96653 536184 1876909 | 2147483647 61115 81 | 0.003 % |
160.43/160.58 c | 61718 | 96653 536184 1876909 | 2147483647 61712 83 | 0.003 % |
163.23/163.31 c | 62373 | 96653 536184 1876909 | 2147483647 62367 85 | 0.003 % |
165.03/165.11 c | 63093 | 96653 536184 1876909 | 2147483647 63087 89 | 0.003 % |
166.63/166.74 c | 63887 | 96653 536184 1876909 | 2147483647 63881 92 | 0.003 % |
166.73/166.87 c | 63988 | 96653 536184 1876909 | 2147483647 63982 92 | 0.003 % |
166.93/167.03 c | 64098 | 96653 536184 1876909 | 2147483647 64092 92 | 0.003 % |
167.14/167.25 c | 64221 | 96653 536184 1876909 | 2147483647 64215 92 | 0.003 % |
167.23/167.36 c | 64356 | 96653 536184 1876909 | 2147483647 64350 93 | 0.003 % |
167.73/167.85 c | 64502 | 96653 536184 1876909 | 2147483647 64496 92 | 0.003 % |
168.33/168.45 c | 64662 | 96653 536184 1876909 | 2147483647 64656 92 | 0.003 % |
168.93/169.07 c | 64840 | 96653 536184 1876909 | 2147483647 64834 92 | 0.003 % |
169.93/170.02 c | 65033 | 96653 536184 1876909 | 2147483647 65027 93 | 0.003 % |
170.13/170.25 c | 65245 | 96653 536184 1876909 | 2147483647 65239 93 | 0.003 % |
170.73/170.81 c | 65479 | 96653 536184 1876909 | 2147483647 65473 92 | 0.003 % |
171.13/171.22 c | 65735 | 96653 536184 1876909 | 2147483647 65729 92 | 0.003 % |
171.83/171.99 c | 66018 | 96653 536184 1876909 | 2147483647 66012 92 | 0.003 % |
172.43/172.55 c | 66327 | 96653 536184 1876909 | 2147483647 66321 92 | 0.003 % |
173.33/173.49 c | 66666 | 96653 536184 1876909 | 2147483647 66660 92 | 0.003 % |
174.13/174.26 c | 67038 | 96653 536184 1876909 | 2147483647 67032 91 | 0.003 % |
175.13/175.28 c | 67447 | 96653 536184 1876909 | 2147483647 67441 91 | 0.003 % |
176.23/176.36 c | 67896 | 96653 536184 1876909 | 2147483647 67890 91 | 0.003 % |
178.53/178.68 c | 68390 | 96653 536184 1876909 | 2147483647 68384 92 | 0.003 % |
179.53/179.65 c | 68932 | 96653 536184 1876909 | 2147483647 68926 92 | 0.003 % |
181.03/181.16 c | 69528 | 96653 536184 1876909 | 2147483647 69522 92 | 0.003 % |
182.73/182.87 c | 70184 | 96653 536184 1876909 | 2147483647 70178 93 | 0.003 % |
184.43/184.56 c | 70906 | 96653 536184 1876909 | 2147483647 70900 92 | 0.003 % |
185.53/185.70 c | 71698 | 96653 536184 1876909 | 2147483647 71692 92 | 0.003 % |
187.74/187.84 c | 72570 | 96653 536184 1876909 | 2147483647 72564 93 | 0.003 % |
188.24/188.40 c | 72673 | 96653 536184 1876909 | 2147483647 72667 93 | 0.003 % |
188.44/188.54 c | 72783 | 96653 536184 1876909 | 2147483647 72777 93 | 0.003 % |
188.64/188.78 c | 72904 | 96653 536184 1876909 | 2147483647 72898 93 | 0.003 % |
188.94/189.12 c | 73038 | 96653 536184 1876909 | 2147483647 73032 93 | 0.003 % |
190.04/190.14 c | 73187 | 96653 536184 1876909 | 2147483647 73181 94 | 0.003 % |
190.74/190.86 c | 73348 | 96653 536184 1876909 | 2147483647 73342 94 | 0.003 % |
190.94/191.10 c | 73524 | 96653 536184 1876909 | 2147483647 73518 94 | 0.003 % |
191.64/191.73 c | 73719 | 96653 536184 1876909 | 2147483647 73713 94 | 0.003 % |
192.44/192.56 c | 73931 | 96653 536184 1876909 | 2147483647 73925 94 | 0.003 % |
193.14/193.27 c | 74164 | 96653 536184 1876909 | 2147483647 74158 94 | 0.003 % |
193.84/193.92 c | 74420 | 96653 536184 1876909 | 2147483647 74414 94 | 0.003 % |
195.04/195.21 c | 74702 | 96653 536184 1876909 | 2147483647 74696 94 | 0.003 % |
196.54/196.67 c | 75012 | 96653 536184 1876909 | 2147483647 75006 94 | 0.003 % |
197.54/197.62 c | 75351 | 96653 536184 1876909 | 2147483647 75345 94 | 0.003 % |
198.04/198.15 c | 75723 | 96653 536184 1876909 | 2147483647 75717 95 | 0.003 % |
199.64/199.78 c | 76132 | 96653 536184 1876909 | 2147483647 76126 95 | 0.003 % |
200.64/200.73 c | 76581 | 96653 536184 1876909 | 2147483647 76575 95 | 0.003 % |
201.34/201.46 c | 77075 | 96653 536184 1876909 | 2147483647 77069 95 | 0.003 % |
202.64/202.79 c | 77617 | 96653 536184 1876909 | 2147483647 77611 96 | 0.003 % |
204.54/204.63 c | 78213 | 96653 536184 1876909 | 2147483647 78207 97 | 0.003 % |
206.24/206.37 c | 78868 | 96653 536184 1876909 | 2147483647 78862 96 | 0.003 % |
207.44/207.53 c | 79588 | 96653 536184 1876909 | 2147483647 79582 96 | 0.003 % |
209.44/209.52 c | 80380 | 96653 536184 1876909 | 2147483647 80374 96 | 0.003 % |
212.24/212.37 c | 81251 | 96653 536184 1876909 | 2147483647 81245 96 | 0.003 % |
214.54/214.65 c | 82209 | 96653 536184 1876909 | 2147483647 82203 97 | 0.003 % |
215.14/215.30 c | 82338 | 96653 536184 1876909 | 2147483647 82332 97 | 0.003 % |
215.44/215.59 c | 82448 | 96653 536184 1876909 | 2147483647 82442 97 | 0.003 % |
215.84/215.97 c | 82569 | 96653 536184 1876909 | 2147483647 82563 97 | 0.003 % |
215.94/216.10 c | 82702 | 96653 536184 1876909 | 2147483647 82696 97 | 0.003 % |
216.44/216.60 c | 82848 | 96653 536184 1876909 | 2147483647 82842 97 | 0.003 % |
216.94/217.03 c | 83008 | 96653 536184 1876909 | 2147483647 83002 97 | 0.003 % |
217.34/217.48 c | 83184 | 96653 536184 1876909 | 2147483647 83178 97 | 0.003 % |
218.34/218.43 c | 83379 | 96653 536184 1876909 | 2147483647 83373 97 | 0.003 % |
218.94/219.05 c | 83591 | 96653 536184 1876909 | 2147483647 83585 97 | 0.003 % |
219.44/219.53 c | 83824 | 96653 536184 1876909 | 2147483647 83818 97 | 0.003 % |
219.64/219.78 c | 84081 | 96653 536184 1876909 | 2147483647 84075 97 | 0.003 % |
220.34/220.49 c | 84362 | 96653 536184 1876909 | 2147483647 84356 97 | 0.003 % |
221.24/221.41 c | 84671 | 96653 536184 1876909 | 2147483647 84665 97 | 0.003 % |
223.44/223.57 c | 85010 | 96653 536184 1876909 | 2147483647 85004 98 | 0.003 % |
225.04/225.18 c | 85383 | 96653 536184 1876909 | 2147483647 85377 98 | 0.003 % |
227.14/227.31 c | 85792 | 96653 536184 1876909 | 2147483647 85786 98 | 0.003 % |
227.84/227.99 c | 86241 | 96653 536184 1876909 | 2147483647 86235 98 | 0.003 % |
229.14/229.28 c | 86734 | 96653 536184 1876909 | 2147483647 86728 98 | 0.003 % |
230.64/230.73 c | 87276 | 96653 536184 1876909 | 2147483647 87270 98 | 0.003 % |
232.34/232.46 c | 87873 | 96653 536184 1876909 | 2147483647 87867 99 | 0.003 % |
234.24/234.38 c | 88529 | 96653 536184 1876909 | 2147483647 88523 99 | 0.003 % |
235.44/235.55 c | 89249 | 96653 536184 1876909 | 2147483647 89243 98 | 0.003 % |
237.64/237.79 c | 90041 | 96653 536184 1876909 | 2147483647 90035 98 | 0.003 % |
239.64/239.77 c | 90912 | 96653 536184 1876909 | 2147483647 90906 99 | 0.003 % |
242.14/242.24 c | 91876 | 96653 536184 1876909 | 2147483647 91870 100 | 0.003 % |
244.04/244.22 c | 92929 | 96653 536184 1876909 | 2147483647 92923 100 | 0.003 % |
244.24/244.39 c | 93029 | 96653 536184 1876909 | 2147483647 93023 100 | 0.003 % |
244.44/244.58 c | 93140 | 96653 536184 1876909 | 2147483647 93134 100 | 0.003 % |
244.64/244.80 c | 93263 | 96653 536184 1876909 | 2147483647 93257 100 | 0.003 % |
244.94/245.07 c | 93397 | 96653 536184 1876909 | 2147483647 93391 100 | 0.003 % |
245.34/245.51 c | 93543 | 96653 536184 1876909 | 2147483647 93537 100 | 0.003 % |
245.74/245.91 c | 93703 | 96653 536184 1876909 | 2147483647 93697 100 | 0.003 % |
246.24/246.41 c | 93879 | 96653 536184 1876909 | 2147483647 93873 100 | 0.003 % |
247.64/247.80 c | 94072 | 96653 536184 1876909 | 2147483647 94066 100 | 0.003 % |
247.74/247.84 c | 94284 | 96653 536184 1876909 | 2147483647 94278 100 | 0.003 % |
248.24/248.40 c | 94518 | 96653 536184 1876909 | 2147483647 94512 100 | 0.003 % |
248.94/249.03 c | 94774 | 96653 536184 1876909 | 2147483647 94768 100 | 0.003 % |
249.34/249.43 c | 95055 | 96653 536184 1876909 | 2147483647 95049 99 | 0.003 % |
249.84/249.95 c | 95366 | 96653 536184 1876909 | 2147483647 95360 99 | 0.003 % |
251.34/251.48 c | 95707 | 96653 536184 1876909 | 2147483647 95701 99 | 0.003 % |
253.54/253.69 c | 96080 | 96653 536184 1876909 | 2147483647 96074 100 | 0.003 % |
254.54/254.64 c | 96489 | 96653 536184 1876909 | 2147483647 96483 100 | 0.003 % |
255.34/255.50 c | 96938 | 96653 536184 1876909 | 2147483647 96932 100 | 0.003 % |
256.44/256.59 c | 97431 | 96653 536184 1876909 | 2147483647 97425 100 | 0.003 % |
257.64/257.73 c | 97974 | 96653 536184 1876909 | 2147483647 97968 100 | 0.003 % |
259.64/259.76 c | 98572 | 96653 536184 1876909 | 2147483647 98566 101 | 0.003 % |
260.94/261.10 c | 99232 | 96653 536184 1876909 | 2147483647 99226 101 | 0.003 % |
262.44/262.56 c | 99952 | 96653 536184 1876909 | 2147483647 99946 101 | 0.003 % |
263.54/263.68 c | 100744 | 96653 536184 1876909 | 2147483647 100738 100 | 0.003 % |
267.14/267.27 c | 101616 | 96653 536184 1876909 | 2147483647 101610 102 | 0.003 % |
269.04/269.14 c | 102574 | 96653 536184 1876909 | 2147483647 102568 102 | 0.003 % |
273.64/273.76 c | 103628 | 96653 536184 1876909 | 2147483647 103622 103 | 0.003 % |
277.44/277.53 c | 104786 | 96653 536184 1876909 | 2147483647 104780 104 | 0.003 % |
277.74/277.90 c | 104887 | 96653 536184 1876909 | 2147483647 104881 103 | 0.003 % |
278.04/278.16 c | 104998 | 96653 536184 1876909 | 2147483647 104992 103 | 0.003 % |
278.25/278.38 c | 105119 | 96653 536184 1876909 | 2147483647 105113 103 | 0.003 % |
278.74/278.90 c | 105252 | 96653 536184 1876909 | 2147483647 105246 103 | 0.003 % |
279.04/279.15 c | 105399 | 96653 536184 1876909 | 2147483647 105393 103 | 0.003 % |
279.14/279.23 c | 105559 | 96653 536184 1876909 | 2147483647 105553 103 | 0.003 % |
279.74/279.89 c | 105736 | 96653 536184 1876909 | 2147483647 105730 103 | 0.003 % |
280.24/280.40 c | 105930 | 96653 536184 1876909 | 2147483647 105924 103 | 0.003 % |
280.64/280.80 c | 106142 | 96653 536184 1876909 | 2147483647 106136 103 | 0.003 % |
280.94/281.10 c | 106375 | 96653 536184 1876909 | 2147483647 106369 103 | 0.003 % |
281.14/281.30 c | 106631 | 96653 536184 1876909 | 2147483647 106625 103 | 0.003 % |
281.55/281.66 c | 106912 | 96653 536184 1876909 | 2147483647 106906 103 | 0.003 % |
282.44/282.53 c | 107221 | 96653 536184 1876909 | 2147483647 107215 103 | 0.003 % |
283.14/283.29 c | 107561 | 96653 536184 1876909 | 2147483647 107555 102 | 0.003 % |
284.44/284.60 c | 107933 | 96653 536184 1876909 | 2147483647 107927 102 | 0.003 % |
285.65/285.78 c | 108343 | 96653 536184 1876909 | 2147483647 108337 103 | 0.003 % |
287.55/287.64 c | 108792 | 96653 536184 1876909 | 2147483647 108786 103 | 0.003 % |
289.15/289.26 c | 109285 | 96653 536184 1876909 | 2147483647 109279 102 | 0.003 % |
291.35/291.46 c | 109827 | 96653 536184 1876909 | 2147483647 109821 103 | 0.003 % |
292.85/292.93 c | 110423 | 96653 536184 1876909 | 2147483647 110417 103 | 0.003 % |
294.45/294.56 c | 111078 | 96653 536184 1876909 | 2147483647 111072 103 | 0.003 % |
298.65/298.81 c | 111798 | 96653 536184 1876909 | 2147483647 111792 104 | 0.003 % |
299.65/299.77 c | 112592 | 96653 536184 1876909 | 2147483647 112586 105 | 0.003 % |
301.85/301.99 c | 113464 | 96653 536184 1876909 | 2147483647 113458 105 | 0.003 % |
302.95/303.06 c | 114423 | 96653 536184 1876909 | 2147483647 114417 105 | 0.003 % |
304.65/304.73 c | 115476 | 96653 536184 1876909 | 2147483647 115470 104 | 0.003 % |
305.95/306.06 c | 116635 | 96653 536184 1876909 | 2147483647 116629 104 | 0.003 % |
310.05/310.18 c | 117909 | 96653 536184 1876909 | 2147483647 117903 105 | 0.003 % |
310.35/310.44 c | 118011 | 96653 536184 1876909 | 2147483647 118005 104 | 0.003 % |
310.55/310.64 c | 118122 | 96653 536184 1876909 | 2147483647 118116 104 | 0.003 % |
310.85/311.01 c | 118243 | 96653 536184 1876909 | 2147483647 118237 104 | 0.003 % |
311.65/311.80 c | 118376 | 96653 536184 1876909 | 2147483647 118370 104 | 0.003 % |
312.05/312.16 c | 118522 | 96653 536184 1876909 | 2147483647 118516 104 | 0.003 % |
312.35/312.50 c | 118682 | 96653 536184 1876909 | 2147483647 118676 104 | 0.003 % |
312.75/312.91 c | 118858 | 96653 536184 1876909 | 2147483647 118852 104 | 0.003 % |
312.95/313.08 c | 119052 | 96653 536184 1876909 | 2147483647 119046 104 | 0.003 % |
313.75/313.84 c | 119264 | 96653 536184 1876909 | 2147483647 119258 104 | 0.003 % |
315.25/315.35 c | 119497 | 96653 536184 1876909 | 2147483647 119491 104 | 0.003 % |
315.95/316.10 c | 119753 | 96653 536184 1876909 | 2147483647 119747 104 | 0.003 % |
316.65/316.72 c | 120034 | 96653 536184 1876909 | 2147483647 120028 104 | 0.003 % |
317.95/318.05 c | 120343 | 96653 536184 1876909 | 2147483647 120337 104 | 0.003 % |
318.85/318.95 c | 120682 | 96653 536184 1876909 | 2147483647 120676 104 | 0.003 % |
319.45/319.52 c | 121057 | 96653 536184 1876909 | 2147483647 121051 104 | 0.003 % |
321.05/321.18 c | 121466 | 96653 536184 1876909 | 2147483647 121460 104 | 0.003 % |
322.25/322.36 c | 121915 | 96653 536184 1876909 | 2147483647 121909 104 | 0.003 % |
323.05/323.16 c | 122409 | 96653 536184 1876909 | 2147483647 122403 104 | 0.003 % |
324.95/325.02 c | 122952 | 96653 536184 1876909 | 2147483647 122946 104 | 0.003 % |
325.85/325.95 c | 123550 | 96653 536184 1876909 | 2147483647 123544 104 | 0.003 % |
328.55/328.63 c | 124205 | 96653 536184 1876909 | 2147483647 124199 104 | 0.003 % |
331.35/331.48 c | 124926 | 96653 536184 1876909 | 2147483647 124920 105 | 0.003 % |
334.45/334.56 c | 125719 | 96653 536184 1876909 | 2147483647 125713 106 | 0.003 % |
335.65/335.72 c | 126591 | 96653 536184 1876909 | 2147483647 126585 106 | 0.003 % |
339.55/339.64 c | 127549 | 96653 536184 1876909 | 2147483647 127543 106 | 0.003 % |
344.75/344.85 c | 128602 | 96653 536184 1876909 | 2147483647 128596 109 | 0.003 % |
348.95/349.04 c | 129762 | 96653 536184 1876909 | 2147483647 129756 110 | 0.003 % |
352.45/352.57 c | 131035 | 96653 536184 1876909 | 2147483647 131029 110 | 0.003 % |
356.15/356.24 c | 132449 | 96653 536184 1876909 | 2147483647 132443 110 | 0.003 % |
356.25/356.37 c | 132549 | 96653 536184 1876909 | 2147483647 132543 110 | 0.003 % |
356.85/356.94 c | 132660 | 96653 536184 1876909 | 2147483647 132654 110 | 0.003 % |
357.25/357.32 c | 132783 | 96653 536184 1876909 | 2147483647 132777 110 | 0.003 % |
357.46/357.52 c | 132916 | 96653 536184 1876909 | 2147483647 132910 110 | 0.003 % |
357.75/357.90 c | 133062 | 96653 536184 1876909 | 2147483647 133056 110 | 0.003 % |
358.25/358.40 c | 133222 | 96653 536184 1876909 | 2147483647 133216 110 | 0.003 % |
359.15/359.30 c | 133400 | 96653 536184 1876909 | 2147483647 133394 110 | 0.003 % |
359.55/359.67 c | 133593 | 96653 536184 1876909 | 2147483647 133587 110 | 0.003 % |
359.85/359.97 c | 133805 | 96653 536184 1876909 | 2147483647 133799 110 | 0.003 % |
360.15/360.30 c | 134040 | 96653 536184 1876909 | 2147483647 134034 110 | 0.003 % |
360.45/360.59 c | 134297 | 96653 536184 1876909 | 2147483647 134291 110 | 0.003 % |
361.86/361.96 c | 134578 | 96653 536184 1876909 | 2147483647 134572 110 | 0.003 % |
362.65/362.80 c | 134895 | 96653 536184 1876909 | 2147483647 134889 110 | 0.003 % |
363.65/363.76 c | 135234 | 96653 536184 1876909 | 2147483647 135228 110 | 0.003 % |
364.55/364.70 c | 135606 | 96653 536184 1876909 | 2147483647 135600 110 | 0.003 % |
365.25/365.33 c | 136019 | 96653 536184 1876909 | 2147483647 136013 110 | 0.003 % |
366.26/366.38 c | 136468 | 96653 536184 1876909 | 2147483647 136462 110 | 0.003 % |
367.45/367.59 c | 136961 | 96653 536184 1876909 | 2147483647 136955 110 | 0.003 % |
368.05/368.16 c | 137503 | 96653 536184 1876909 | 2147483647 137497 110 | 0.003 % |
369.56/369.67 c | 138102 | 96653 536184 1876909 | 2147483647 138096 109 | 0.003 % |
371.05/371.13 c | 138757 | 96653 536184 1876909 | 2147483647 138751 109 | 0.003 % |
372.75/372.87 c | 139477 | 96653 536184 1876909 | 2147483647 139471 111 | 0.003 % |
377.26/377.36 c | 140270 | 96653 536184 1876909 | 2147483647 140264 112 | 0.003 % |
379.85/379.94 c | 141142 | 96653 536184 1876909 | 2147483647 141136 112 | 0.003 % |
383.06/383.14 c | 142100 | 96653 536184 1876909 | 2147483647 142094 112 | 0.003 % |
387.36/387.50 c | 143153 | 96653 536184 1876909 | 2147483647 143147 114 | 0.003 % |
390.96/391.10 c | 144311 | 96653 536184 1876909 | 2147483647 144305 117 | 0.003 % |
398.75/398.83 c | 145584 | 96653 536184 1876909 | 2147483647 145578 119 | 0.003 % |
402.85/402.95 c | 146984 | 96653 536184 1876909 | 2147483647 146978 119 | 0.003 % |
404.85/404.92 c | 148524 | 96653 536184 1876909 | 2147483647 148518 119 | 0.003 % |
405.25/405.38 c | 148625 | 96653 536184 1876909 | 2147483647 148619 119 | 0.003 % |
405.85/405.95 c | 148735 | 96653 536184 1876909 | 2147483647 148729 119 | 0.003 % |
406.35/406.42 c | 148856 | 96653 536184 1876909 | 2147483647 148850 119 | 0.003 % |
406.75/406.84 c | 148989 | 96653 536184 1876909 | 2147483647 148983 119 | 0.003 % |
407.25/407.35 c | 149136 | 96653 536184 1876909 | 2147483647 149130 119 | 0.003 % |
407.85/407.98 c | 149300 | 96653 536184 1876909 | 2147483647 149294 119 | 0.003 % |
408.35/408.41 c | 149476 | 96653 536184 1876909 | 2147483647 149470 119 | 0.003 % |
409.15/409.30 c | 149670 | 96653 536184 1876909 | 2147483647 149664 119 | 0.003 % |
409.85/410.00 c | 149882 | 96653 536184 1876909 | 2147483647 149876 119 | 0.003 % |
410.35/410.49 c | 150116 | 96653 536184 1876909 | 2147483647 150110 119 | 0.003 % |
410.95/411.03 c | 150373 | 96653 536184 1876909 | 2147483647 150367 119 | 0.003 % |
411.55/411.68 c | 150654 | 96653 536184 1876909 | 2147483647 150648 119 | 0.003 % |
411.85/411.96 c | 150965 | 96653 536184 1876909 | 2147483647 150959 119 | 0.003 % |
412.65/412.80 c | 151304 | 96653 536184 1876909 | 2147483647 151298 118 | 0.003 % |
413.95/414.10 c | 151677 | 96653 536184 1876909 | 2147483647 151671 118 | 0.003 % |
415.55/415.62 c | 152086 | 96653 536184 1876909 | 2147483647 152080 118 | 0.003 % |
417.15/417.28 c | 152537 | 96653 536184 1876909 | 2147483647 152531 118 | 0.003 % |
419.05/419.14 c | 153030 | 96653 536184 1876909 | 2147483647 153024 118 | 0.003 % |
419.65/419.71 c | 153573 | 96653 536184 1876909 | 2147483647 153567 118 | 0.003 % |
421.75/421.84 c | 154169 | 96653 536184 1876909 | 2147483647 154163 118 | 0.003 % |
423.85/423.91 c | 154824 | 96653 536184 1876909 | 2147483647 154818 118 | 0.003 % |
425.85/425.98 c | 155544 | 96653 536184 1876909 | 2147483647 155538 119 | 0.003 % |
427.35/427.50 c | 156338 | 96653 536184 1876909 | 2147483647 156332 118 | 0.003 % |
429.15/429.24 c | 157210 | 96653 536184 1876909 | 2147483647 157204 118 | 0.003 % |
431.55/431.64 c | 158169 | 96653 536184 1876909 | 2147483647 158163 118 | 0.003 % |
435.15/435.26 c | 159224 | 96653 536184 1876909 | 2147483647 159218 119 | 0.003 % |
437.95/438.03 c | 160384 | 96653 536184 1876909 | 2147483647 160378 119 | 0.003 % |
441.85/441.91 c | 161658 | 96653 536184 1876909 | 2147483647 161652 119 | 0.003 % |
445.95/446.07 c | 163058 | 96653 536184 1876909 | 2147483647 163052 119 | 0.003 % |
448.05/448.11 c | 164598 | 96653 536184 1876909 | 2147483647 164592 118 | 0.003 % |
455.45/455.55 c | 166293 | 96653 536184 1876909 | 2147483647 166287 120 | 0.003 % |
455.85/455.99 c | 166393 | 96653 536184 1876909 | 2147483647 166387 120 | 0.003 % |
456.85/456.93 c | 166504 | 96653 536184 1876909 | 2147483647 166498 120 | 0.003 % |
457.65/457.76 c | 166626 | 96653 536184 1876909 | 2147483647 166620 120 | 0.003 % |
458.25/458.33 c | 166760 | 96653 536184 1876909 | 2147483647 166754 120 | 0.003 % |
458.66/458.77 c | 166906 | 96653 536184 1876909 | 2147483647 166900 120 | 0.003 % |
459.15/459.28 c | 167066 | 96653 536184 1876909 | 2147483647 167060 120 | 0.003 % |
459.85/459.90 c | 167296 | 96653 536184 1876909 | 2147483647 167290 121 | 0.003 % |
460.25/460.31 c | 167489 | 96653 536184 1876909 | 2147483647 167483 121 | 0.003 % |
460.86/460.96 c | 167701 | 96653 536184 1876909 | 2147483647 167695 121 | 0.003 % |
461.75/461.86 c | 167936 | 96653 536184 1876909 | 2147483647 167930 120 | 0.003 % |
462.35/462.44 c | 168194 | 96653 536184 1876909 | 2147483647 168188 120 | 0.003 % |
463.06/463.15 c | 168477 | 96653 536184 1876909 | 2147483647 168471 121 | 0.003 % |
463.95/464.09 c | 168786 | 96653 536184 1876909 | 2147483647 168780 121 | 0.003 % |
465.35/465.41 c | 169126 | 96653 536184 1876909 | 2147483647 169120 121 | 0.003 % |
466.25/466.36 c | 169498 | 96653 536184 1876909 | 2147483647 169492 121 | 0.003 % |
467.25/467.33 c | 169907 | 96653 536184 1876909 | 2147483647 169901 122 | 0.003 % |
469.15/469.23 c | 170356 | 96653 536184 1876909 | 2147483647 170350 122 | 0.003 % |
471.25/471.33 c | 170849 | 96653 536184 1876909 | 2147483647 170843 122 | 0.003 % |
474.45/474.58 c | 171392 | 96653 536184 1876909 | 2147483647 171386 123 | 0.003 % |
476.55/476.65 c | 171988 | 96653 536184 1876909 | 2147483647 171982 123 | 0.003 % |
478.25/478.38 c | 172643 | 96653 536184 1876909 | 2147483647 172637 123 | 0.003 % |
480.25/480.35 c | 173364 | 96653 536184 1876909 | 2147483647 173358 123 | 0.003 % |
483.86/483.94 c | 174157 | 96653 536184 1876909 | 2147483647 174151 124 | 0.003 % |
486.76/486.90 c | 175030 | 96653 536184 1876909 | 2147483647 175024 125 | 0.003 % |
489.56/489.62 c | 175988 | 96653 536184 1876909 | 2147483647 175982 125 | 0.003 % |
492.26/492.39 c | 177041 | 96653 536184 1876909 | 2147483647 177035 125 | 0.003 % |
495.76/495.89 c | 178200 | 96653 536184 1876909 | 2147483647 178194 126 | 0.003 % |
502.56/502.69 c | 179476 | 96653 536184 1876909 | 2147483647 179470 127 | 0.003 % |
506.76/506.84 c | 180878 | 96653 536184 1876909 | 2147483647 180872 129 | 0.003 % |
510.36/510.47 c | 182418 | 96653 536184 1876909 | 2147483647 182412 129 | 0.003 % |
513.66/513.78 c | 184115 | 96653 536184 1876909 | 2147483647 184109 129 | 0.003 % |
517.46/517.59 c | 185979 | 96653 536184 1876909 | 2147483647 185973 129 | 0.003 % |
517.96/518.02 c | 186079 | 96653 536184 1876909 | 2147483647 186073 129 | 0.003 % |
518.16/518.28 c | 186195 | 96653 536184 1876909 | 2147483647 186189 129 | 0.003 % |
518.46/518.56 c | 186316 | 96653 536184 1876909 | 2147483647 186310 129 | 0.003 % |
518.56/518.70 c | 186450 | 96653 536184 1876909 | 2147483647 186444 129 | 0.003 % |
519.26/519.35 c | 186598 | 96653 536184 1876909 | 2147483647 186592 129 | 0.003 % |
519.66/519.75 c | 186758 | 96653 536184 1876909 | 2147483647 186752 129 | 0.003 % |
520.06/520.19 c | 186934 | 96653 536184 1876909 | 2147483647 186928 129 | 0.003 % |
520.46/520.57 c | 187128 | 96653 536184 1876909 | 2147483647 187122 129 | 0.003 % |
521.36/521.45 c | 187342 | 96653 536184 1876909 | 2147483647 187336 129 | 0.003 % |
521.66/521.72 c | 187576 | 96653 536184 1876909 | 2147483647 187570 129 | 0.003 % |
522.06/522.19 c | 187835 | 96653 536184 1876909 | 2147483647 187829 129 | 0.003 % |
522.66/522.74 c | 188116 | 96653 536184 1876909 | 2147483647 188110 129 | 0.003 % |
523.86/523.91 c | 188426 | 96653 536184 1876909 | 2147483647 188420 129 | 0.003 % |
524.96/525.07 c | 188765 | 96653 536184 1876909 | 2147483647 188759 129 | 0.003 % |
526.16/526.30 c | 189137 | 96653 536184 1876909 | 2147483647 189131 129 | 0.003 % |
527.26/527.40 c | 189546 | 96653 536184 1876909 | 2147483647 189540 129 | 0.003 % |
528.66/528.80 c | 189996 | 96653 536184 1876909 | 2147483647 189990 129 | 0.003 % |
529.06/529.13 c | 190496 | 96653 536184 1876909 | 2147483647 190490 129 | 0.003 % |
530.56/530.69 c | 191039 | 96653 536184 1876909 | 2147483647 191033 129 | 0.003 % |
531.76/531.81 c | 191637 | 96653 536184 1876909 | 2147483647 191631 129 | 0.003 % |
533.36/533.41 c | 192292 | 96653 536184 1876909 | 2147483647 192286 128 | 0.003 % |
534.76/534.89 c | 193013 | 96653 536184 1876909 | 2147483647 193007 128 | 0.003 % |
536.66/536.75 c | 193805 | 96653 536184 1876909 | 2147483647 193799 129 | 0.003 % |
538.56/538.64 c | 194680 | 96653 536184 1876909 | 2147483647 194674 130 | 0.003 % |
541.07/541.19 c | 195640 | 96653 536184 1876909 | 2147483647 195634 130 | 0.003 % |
543.77/543.87 c | 196694 | 96653 536184 1876909 | 2147483647 196688 129 | 0.003 % |
546.07/546.18 c | 197855 | 96653 536184 1876909 | 2147483647 197849 129 | 0.003 % |
549.17/549.25 c | 199128 | 96653 536184 1876909 | 2147483647 199122 129 | 0.003 % |
551.37/551.46 c | 200528 | 96653 536184 1876909 | 2147483647 200522 129 | 0.003 % |
554.67/554.80 c | 202071 | 96653 536184 1876909 | 2147483647 202065 130 | 0.003 % |
559.67/559.78 c | 203767 | 96653 536184 1876909 | 2147483647 203761 132 | 0.003 % |
566.77/566.82 c | 205630 | 96653 536184 1876909 | 2147483647 205624 134 | 0.003 % |
569.67/569.74 c | 207680 | 96653 536184 1876909 | 2147483647 207674 133 | 0.003 % |
570.07/570.19 c | 207782 | 96653 536184 1876909 | 2147483647 207776 133 | 0.003 % |
570.37/570.47 c | 207893 | 96653 536184 1876909 | 2147483647 207887 132 | 0.003 % |
570.77/570.82 c | 208014 | 96653 536184 1876909 | 2147483647 208008 132 | 0.003 % |
571.07/571.17 c | 208148 | 96653 536184 1876909 | 2147483647 208142 132 | 0.003 % |
571.47/571.55 c | 208294 | 96653 536184 1876909 | 2147483647 208288 132 | 0.003 % |
572.57/572.63 c | 208454 | 96653 536184 1876909 | 2147483647 208448 132 | 0.003 % |
572.87/572.99 c | 208631 | 96653 536184 1876909 | 2147483647 208625 132 | 0.003 % |
573.57/573.64 c | 208828 | 96653 536184 1876909 | 2147483647 208822 132 | 0.003 % |
574.07/574.20 c | 209041 | 96653 536184 1876909 | 2147483647 209035 132 | 0.003 % |
574.37/574.42 c | 209279 | 96653 536184 1876909 | 2147483647 209273 133 | 0.003 % |
575.28/575.37 c | 209536 | 96653 536184 1876909 | 2147483647 209530 133 | 0.003 % |
576.17/576.24 c | 209818 | 96653 536184 1876909 | 2147483647 209812 133 | 0.003 % |
577.27/577.35 c | 210146 | 96653 536184 1876909 | 2147483647 210140 133 | 0.003 % |
577.48/577.60 c | 210485 | 96653 536184 1876909 | 2147483647 210479 133 | 0.003 % |
578.37/578.45 c | 210858 | 96652 536056 1876653 | 2147483647 210850 132 | 0.004 % |
579.28/579.33 c | 211267 | 96652 536056 1876653 | 2147483647 211259 133 | 0.004 % |
580.38/580.47 c | 211716 | 96652 536056 1876653 | 2147483647 211708 133 | 0.004 % |
581.58/581.69 c | 212211 | 96652 536056 1876653 | 2147483647 212203 133 | 0.004 % |
582.78/582.88 c | 212753 | 96652 536056 1876653 | 2147483647 212745 133 | 0.004 % |
584.68/584.81 c | 213349 | 96652 536056 1876653 | 2147483647 213341 133 | 0.004 % |
586.68/586.77 c | 214004 | 96652 536056 1876653 | 2147483647 213996 132 | 0.004 % |
589.48/589.60 c | 214724 | 96652 536056 1876653 | 2147483647 214716 132 | 0.004 % |
592.48/592.60 c | 215516 | 96652 536056 1876653 | 2147483647 215508 133 | 0.004 % |
595.58/595.67 c | 216388 | 96652 536056 1876653 | 2147483647 216380 133 | 0.004 % |
599.08/599.18 c | 217347 | 96652 536056 1876653 | 2147483647 217339 133 | 0.004 % |
603.48/603.55 c | 218400 | 96652 536056 1876653 | 2147483647 218392 134 | 0.004 % |
606.68/606.73 c | 219560 | 96652 536056 1876653 | 2147483647 219552 134 | 0.004 % |
608.78/608.91 c | 220833 | 96652 536056 1876653 | 2147483647 220825 134 | 0.004 % |
612.08/612.15 c | 222234 | 96652 536056 1876653 | 2147483647 222226 134 | 0.004 % |
615.48/615.54 c | 223774 | 96652 536056 1876653 | 2147483647 223766 134 | 0.004 % |
618.58/618.65 c | 225469 | 96652 536056 1876653 | 2147483647 225461 133 | 0.004 % |
623.38/623.48 c | 227333 | 96652 536056 1876653 | 2147483647 227325 134 | 0.004 % |
628.18/628.24 c | 229383 | 96652 536056 1876653 | 2147483647 229375 136 | 0.004 % |
634.88/634.99 c | 231637 | 96652 536056 1876653 | 2147483647 231629 135 | 0.004 % |
635.28/635.33 c | 231737 | 96652 536056 1876653 | 2147483647 231729 135 | 0.004 % |
635.88/635.95 c | 231849 | 96652 536056 1876653 | 2147483647 231841 135 | 0.004 % |
635.98/636.10 c | 231970 | 96652 536056 1876653 | 2147483647 231962 135 | 0.004 % |
636.38/636.48 c | 232105 | 96652 536056 1876653 | 2147483647 232097 135 | 0.004 % |
636.58/636.67 c | 232251 | 96652 536056 1876653 | 2147483647 232243 135 | 0.004 % |
637.08/637.14 c | 232412 | 96652 536056 1876653 | 2147483647 232404 135 | 0.004 % |
637.48/637.57 c | 232588 | 96652 536056 1876653 | 2147483647 232580 135 | 0.004 % |
638.08/638.15 c | 232781 | 96652 536056 1876653 | 2147483647 232773 135 | 0.004 % |
638.68/638.76 c | 232993 | 96652 536056 1876653 | 2147483647 232985 135 | 0.004 % |
639.18/639.31 c | 233229 | 96652 536056 1876653 | 2147483647 233221 135 | 0.004 % |
640.08/640.22 c | 233486 | 96652 536056 1876653 | 2147483647 233478 135 | 0.004 % |
640.68/640.76 c | 233769 | 96652 536056 1876653 | 2147483647 233761 135 | 0.004 % |
641.38/641.43 c | 234078 | 96652 536056 1876653 | 2147483647 234070 135 | 0.004 % |
642.08/642.21 c | 234417 | 96652 536056 1876653 | 2147483647 234409 135 | 0.004 % |
643.18/643.24 c | 234790 | 96652 536056 1876653 | 2147483647 234782 135 | 0.004 % |
644.18/644.25 c | 235201 | 96652 536056 1876653 | 2147483647 235193 135 | 0.004 % |
645.88/645.97 c | 235650 | 96652 536056 1876653 | 2147483647 235642 135 | 0.004 % |
646.98/647.10 c | 236145 | 96652 536056 1876653 | 2147483647 236137 135 | 0.004 % |
648.18/648.25 c | 236688 | 96652 536056 1876653 | 2147483647 236680 136 | 0.004 % |
648.78/648.83 c | 237286 | 96652 536056 1876653 | 2147483647 237278 135 | 0.004 % |
651.48/651.54 c | 237941 | 96652 536056 1876653 | 2147483647 237933 136 | 0.004 % |
653.68/653.72 c | 238661 | 96652 536056 1876653 | 2147483647 238653 136 | 0.004 % |
655.78/655.91 c | 239456 | 96652 536056 1876653 | 2147483647 239448 136 | 0.004 % |
658.68/658.79 c | 240327 | 96652 536056 1876653 | 2147483647 240319 137 | 0.004 % |
662.19/662.27 c | 241288 | 96652 536056 1876653 | 2147483647 241280 137 | 0.004 % |
665.38/665.44 c | 242341 | 96652 536056 1876653 | 2147483647 242333 137 | 0.004 % |
667.88/667.96 c | 243499 | 96652 536056 1876653 | 2147483647 243491 137 | 0.004 % |
672.68/672.74 c | 244773 | 96652 536056 1876653 | 2147483647 244765 137 | 0.004 % |
676.28/676.41 c | 246173 | 96652 536056 1876653 | 2147483647 246165 138 | 0.004 % |
680.39/680.51 c | 247713 | 96652 536056 1876653 | 2147483647 247705 138 | 0.004 % |
684.79/684.85 c | 249407 | 96652 536056 1876653 | 2147483647 249399 139 | 0.004 % |
689.39/689.48 c | 251272 | 96652 536056 1876653 | 2147483647 251264 139 | 0.004 % |
695.09/695.15 c | 253322 | 96652 536056 1876653 | 2147483647 253314 138 | 0.004 % |
704.09/704.12 c | 255579 | 96652 536056 1876653 | 2147483647 255571 139 | 0.004 % |
712.09/712.22 c | 258058 | 96652 536056 1876653 | 2147483647 258050 139 | 0.004 % |
712.39/712.50 c | 258158 | 96652 536056 1876653 | 2147483647 258150 139 | 0.004 % |
713.49/713.52 c | 258270 | 96652 536056 1876653 | 2147483647 258262 139 | 0.004 % |
713.99/714.03 c | 258392 | 96652 536056 1876653 | 2147483647 258384 139 | 0.004 % |
714.29/714.33 c | 258527 | 96652 536056 1876653 | 2147483647 258519 139 | 0.004 % |
715.09/715.18 c | 258673 | 96652 536056 1876653 | 2147483647 258665 139 | 0.004 % |
715.79/715.92 c | 258834 | 96652 536056 1876653 | 2147483647 258826 140 | 0.004 % |
716.39/716.49 c | 259014 | 96652 536056 1876653 | 2147483647 259006 140 | 0.004 % |
717.19/717.23 c | 259207 | 96652 536056 1876653 | 2147483647 259199 140 | 0.004 % |
717.99/718.04 c | 259421 | 96652 536056 1876653 | 2147483647 259413 140 | 0.004 % |
718.89/718.95 c | 259658 | 96652 536056 1876653 | 2147483647 259650 140 | 0.004 % |
719.69/719.73 c | 259914 | 96652 536056 1876653 | 2147483647 259906 140 | 0.004 % |
720.09/720.16 c | 260204 | 96652 536056 1876653 | 2147483647 260196 140 | 0.004 % |
721.29/721.32 c | 260517 | 96652 536056 1876653 | 2147483647 260509 140 | 0.004 % |
721.79/721.84 c | 260857 | 96652 536056 1876653 | 2147483647 260849 140 | 0.004 % |
722.39/722.52 c | 261229 | 96652 536056 1876653 | 2147483647 261221 140 | 0.004 % |
723.49/723.58 c | 261639 | 96652 536056 1876653 | 2147483647 261631 140 | 0.004 % |
724.49/724.57 c | 262088 | 96652 536056 1876653 | 2147483647 262080 140 | 0.004 % |
726.29/726.35 c | 262581 | 96652 536056 1876653 | 2147483647 262573 140 | 0.004 % |
727.89/727.95 c | 263124 | 96652 536056 1876653 | 2147483647 263116 140 | 0.004 % |
728.89/728.92 c | 263720 | 96652 536056 1876653 | 2147483647 263712 140 | 0.004 % |
731.69/731.81 c | 264377 | 96652 536056 1876653 | 2147483647 264369 140 | 0.004 % |
733.59/733.66 c | 265097 | 96652 536056 1876653 | 2147483647 265089 140 | 0.004 % |
736.89/736.99 c | 265890 | 96652 536056 1876653 | 2147483647 265882 140 | 0.004 % |
738.99/739.05 c | 266762 | 96652 536056 1876653 | 2147483647 266754 141 | 0.004 % |
741.49/741.60 c | 267720 | 96652 536056 1876653 | 2147483647 267712 141 | 0.004 % |
745.19/745.31 c | 268774 | 96652 536056 1876653 | 2147483647 268766 140 | 0.004 % |
748.69/748.81 c | 269932 | 96652 536056 1876653 | 2147483647 269924 140 | 0.004 % |
753.69/753.74 c | 271205 | 96652 536056 1876653 | 2147483647 271197 141 | 0.004 % |
757.48/757.52 c | 272608 | 96652 536056 1876653 | 2147483647 272600 141 | 0.004 % |
762.38/762.44 c | 274148 | 96652 536056 1876653 | 2147483647 274140 141 | 0.004 % |
767.88/767.90 c | 275842 | 96652 536056 1876653 | 2147483647 275834 141 | 0.004 % |
774.28/774.35 c | 277707 | 96652 536056 1876653 | 2147483647 277699 142 | 0.004 % |
783.09/783.16 c | 279756 | 96652 536056 1876653 | 2147483647 279748 143 | 0.004 % |
794.29/794.32 c | 282009 | 96652 536056 1876653 | 2147483647 282001 144 | 0.004 % |
800.69/800.77 c | 284488 | 96652 536056 1876653 | 2147483647 284480 145 | 0.004 % |
807.39/807.48 c | 287214 | 96652 536056 1876653 | 2147483647 287206 145 | 0.004 % |
807.89/807.99 c | 287315 | 96652 536056 1876653 | 2147483647 287307 145 | 0.004 % |
808.29/808.33 c | 287425 | 96652 536056 1876653 | 2147483647 287417 145 | 0.004 % |
808.89/808.99 c | 287546 | 96652 536056 1876653 | 2147483647 287538 145 | 0.004 % |
809.29/809.37 c | 287682 | 96652 536056 1876653 | 2147483647 287674 145 | 0.004 % |
809.79/809.83 c | 287828 | 96652 536056 1876653 | 2147483647 287820 145 | 0.004 % |
810.69/810.72 c | 287988 | 96652 536056 1876653 | 2147483647 287980 145 | 0.004 % |
811.59/811.64 c | 288164 | 96652 536056 1876653 | 2147483647 288156 145 | 0.004 % |
812.09/812.21 c | 288357 | 96652 536056 1876653 | 2147483647 288349 145 | 0.004 % |
812.79/812.89 c | 288570 | 96652 536056 1876653 | 2147483647 288562 145 | 0.004 % |
813.29/813.32 c | 288803 | 96652 536056 1876653 | 2147483647 288795 145 | 0.004 % |
813.89/813.99 c | 289061 | 96652 536056 1876653 | 2147483647 289053 145 | 0.004 % |
814.19/814.23 c | 289342 | 96652 536056 1876653 | 2147483647 289334 145 | 0.004 % |
815.39/815.48 c | 289651 | 96652 536056 1876653 | 2147483647 289643 145 | 0.004 % |
816.29/816.37 c | 289991 | 96652 536056 1876653 | 2147483647 289983 145 | 0.004 % |
817.09/817.18 c | 290364 | 96652 536056 1876653 | 2147483647 290356 145 | 0.004 % |
818.09/818.19 c | 290773 | 96652 536056 1876653 | 2147483647 290765 145 | 0.004 % |
818.39/818.50 c | 291223 | 96652 536056 1876653 | 2147483647 291215 145 | 0.004 % |
820.59/820.62 c | 291719 | 96652 536056 1876653 | 2147483647 291711 145 | 0.004 % |
822.49/822.53 c | 292265 | 96652 536056 1876653 | 2147483647 292257 146 | 0.004 % |
823.89/823.95 c | 292864 | 96652 536056 1876653 | 2147483647 292856 146 | 0.004 % |
825.19/825.25 c | 293519 | 96652 536056 1876653 | 2147483647 293511 146 | 0.004 % |
827.69/827.74 c | 294239 | 96652 536056 1876653 | 2147483647 294231 146 | 0.004 % |
829.69/829.77 c | 295031 | 96652 536056 1876653 | 2147483647 295023 146 | 0.004 % |
832.70/832.74 c | 295902 | 96652 536056 1876653 | 2147483647 295894 147 | 0.004 % |
836.19/836.26 c | 296860 | 96652 536056 1876653 | 2147483647 296852 148 | 0.004 % |
842.29/842.39 c | 297913 | 96652 536056 1876653 | 2147483647 297905 149 | 0.004 % |
847.49/847.55 c | 299071 | 96652 536056 1876653 | 2147483647 299063 150 | 0.004 % |
852.39/852.51 c | 300344 | 96652 536056 1876653 | 2147483647 300336 151 | 0.004 % |
857.49/857.58 c | 301744 | 96652 536056 1876653 | 2147483647 301736 152 | 0.004 % |
861.39/861.48 c | 303287 | 96652 536056 1876653 | 2147483647 303279 152 | 0.004 % |
864.99/865.10 c | 304982 | 96652 536056 1876653 | 2147483647 304974 152 | 0.004 % |
869.99/870.11 c | 306847 | 96652 536056 1876653 | 2147483647 306839 152 | 0.004 % |
880.40/880.46 c | 308896 | 96652 536056 1876653 | 2147483647 308888 154 | 0.004 % |
888.50/888.52 c | 311149 | 96652 536056 1876653 | 2147483647 311141 156 | 0.004 % |
898.90/898.92 c | 313628 | 96652 536056 1876653 | 2147483647 313620 157 | 0.004 % |
909.70/909.73 c | 316353 | 96652 536056 1876653 | 2147483647 316345 159 | 0.004 % |
921.90/921.98 c | 319351 | 96652 536056 1876653 | 2147483647 319343 159 | 0.004 % |
922.40/922.51 c | 319451 | 96652 536056 1876653 | 2147483647 319443 159 | 0.004 % |
922.70/922.74 c | 319561 | 96652 536056 1876653 | 2147483647 319553 160 | 0.004 % |
922.90/922.96 c | 319682 | 96652 536056 1876653 | 2147483647 319674 159 | 0.004 % |
923.30/923.37 c | 319816 | 96652 536056 1876653 | 2147483647 319808 159 | 0.004 % |
923.80/923.84 c | 319964 | 96652 536056 1876653 | 2147483647 319956 159 | 0.004 % |
924.70/924.75 c | 320124 | 96652 536056 1876653 | 2147483647 320116 159 | 0.004 % |
925.70/925.78 c | 320305 | 96652 536056 1876653 | 2147483647 320297 159 | 0.004 % |
926.30/926.39 c | 320498 | 96652 536056 1876653 | 2147483647 320490 159 | 0.004 % |
927.30/927.31 c | 320711 | 96652 536056 1876653 | 2147483647 320703 159 | 0.004 % |
927.80/927.84 c | 320945 | 96652 536056 1876653 | 2147483647 320937 159 | 0.004 % |
928.20/928.27 c | 321201 | 96652 536056 1876653 | 2147483647 321193 159 | 0.004 % |
929.00/929.02 c | 321482 | 96652 536056 1876653 | 2147483647 321474 159 | 0.004 % |
929.70/929.78 c | 321791 | 96652 536056 1876653 | 2147483647 321783 159 | 0.004 % |
930.80/930.88 c | 322130 | 96652 536056 1876653 | 2147483647 322122 159 | 0.004 % |
931.90/931.93 c | 322502 | 96652 536056 1876653 | 2147483647 322494 159 | 0.004 % |
932.60/932.67 c | 322913 | 96652 536056 1876653 | 2147483647 322905 159 | 0.004 % |
934.80/934.87 c | 323362 | 96652 536056 1876653 | 2147483647 323354 159 | 0.004 % |
936.60/936.69 c | 323855 | 96652 536056 1876653 | 2147483647 323847 159 | 0.004 % |
938.31/938.32 c | 324398 | 96652 536056 1876653 | 2147483647 324390 159 | 0.004 % |
939.60/939.70 c | 324994 | 96652 536056 1876653 | 2147483647 324986 159 | 0.004 % |
941.61/941.63 c | 325651 | 96652 536056 1876653 | 2147483647 325643 159 | 0.004 % |
942.80/942.84 c | 326372 | 96652 536056 1876653 | 2147483647 326364 159 | 0.004 % |
945.20/945.30 c | 327165 | 96652 536056 1876653 | 2147483647 327157 160 | 0.004 % |
947.90/947.95 c | 328041 | 96652 536056 1876653 | 2147483647 328033 160 | 0.004 % |
950.20/950.27 c | 328999 | 96652 536056 1876653 | 2147483647 328991 161 | 0.004 % |
953.50/953.56 c | 330053 | 96652 536056 1876653 | 2147483647 330045 161 | 0.004 % |
956.00/956.02 c | 331212 | 96652 536056 1876653 | 2147483647 331204 161 | 0.004 % |
960.50/960.51 c | 332485 | 96652 536056 1876653 | 2147483647 332477 162 | 0.004 % |
963.30/963.39 c | 333892 | 96652 536056 1876653 | 2147483647 333884 164 | 0.004 % |
969.50/969.58 c | 335432 | 96652 536056 1876653 | 2147483647 335424 164 | 0.004 % |
973.71/973.73 c | 337126 | 96652 536056 1876653 | 2147483647 337118 163 | 0.004 % |
986.31/986.34 c | 338989 | 96652 536056 1876653 | 2147483647 338981 165 | 0.004 % |
994.21/994.24 c | 341039 | 96652 536056 1876653 | 2147483647 341031 167 | 0.004 % |
1000.01/1000.08 c | 343292 | 96652 536056 1876653 | 2147483647 343284 166 | 0.004 % |
1011.21/1011.30 c | 345770 | 96652 536056 1876653 | 2147483647 345762 168 | 0.004 % |
1022.71/1022.75 c | 348499 | 96652 536056 1876653 | 2147483647 348491 169 | 0.004 % |
1035.51/1035.61 c | 351496 | 96652 536056 1876653 | 2147483647 351488 170 | 0.004 % |
1056.61/1056.61 c | 354792 | 96652 536056 1876653 | 2147483647 354784 174 | 0.004 % |
1057.01/1057.05 c | 354892 | 96652 536056 1876653 | 2147483647 354884 174 | 0.004 % |
1057.31/1057.34 c | 355004 | 96652 536056 1876653 | 2147483647 354996 174 | 0.004 % |
1057.61/1057.61 c | 355128 | 96652 536056 1876653 | 2147483647 355120 174 | 0.004 % |
1058.11/1058.12 c | 355262 | 96652 536056 1876653 | 2147483647 355254 174 | 0.004 % |
1058.51/1058.58 c | 355411 | 96652 536056 1876653 | 2147483647 355403 174 | 0.004 % |
1059.01/1059.07 c | 355572 | 96652 536056 1876653 | 2147483647 355564 174 | 0.004 % |
1059.71/1059.76 c | 355748 | 96652 536056 1876653 | 2147483647 355740 174 | 0.004 % |
1060.61/1060.65 c | 355942 | 96652 536056 1876653 | 2147483647 355934 174 | 0.004 % |
1061.21/1061.29 c | 356154 | 96652 536056 1876653 | 2147483647 356146 174 | 0.004 % |
1061.71/1061.75 c | 356388 | 96652 536056 1876653 | 2147483647 356380 174 | 0.004 % |
1062.71/1062.80 c | 356644 | 96652 536056 1876653 | 2147483647 356636 174 | 0.004 % |
1063.72/1063.73 c | 356926 | 96652 536056 1876653 | 2147483647 356918 175 | 0.004 % |
1064.82/1064.87 c | 357235 | 96652 536056 1876653 | 2147483647 357227 175 | 0.004 % |
1065.71/1065.76 c | 357574 | 96652 536056 1876653 | 2147483647 357566 175 | 0.004 % |
1066.91/1067.00 c | 357947 | 96652 536056 1876653 | 2147483647 357939 174 | 0.004 % |
1069.52/1069.57 c | 358357 | 96652 536056 1876653 | 2147483647 358349 175 | 0.004 % |
1070.52/1070.55 c | 358806 | 96652 536056 1876653 | 2147483647 358798 175 | 0.004 % |
1072.32/1072.36 c | 359306 | 96652 536056 1876653 | 2147483647 359298 175 | 0.004 % |
1074.92/1074.98 c | 359849 | 96652 536056 1876653 | 2147483647 359841 176 | 0.004 % |
1077.12/1077.21 c | 360448 | 96652 536056 1876653 | 2147483647 360440 177 | 0.004 % |
1079.72/1079.73 c | 361103 | 96652 536056 1876653 | 2147483647 361095 177 | 0.004 % |
1081.82/1081.84 c | 361824 | 96652 536056 1876653 | 2147483647 361816 178 | 0.004 % |
1085.32/1085.40 c | 362644 | 96652 536056 1876653 | 2147483647 362636 178 | 0.004 % |
1088.82/1088.86 c | 363519 | 96652 536056 1876653 | 2147483647 363511 178 | 0.004 % |
1092.62/1092.63 c | 364478 | 96652 536056 1876653 | 2147483647 364470 178 | 0.004 % |
1097.62/1097.67 c | 365531 | 96652 536056 1876653 | 2147483647 365523 178 | 0.004 % |
1101.02/1101.10 c | 366691 | 96652 536056 1876653 | 2147483647 366683 178 | 0.004 % |
1106.72/1106.74 c | 367964 | 96652 536056 1876653 | 2147483647 367956 180 | 0.004 % |
1113.02/1113.06 c | 369364 | 96652 536056 1876653 | 2147483647 369356 181 | 0.004 % |
1120.11/1120.18 c | 370906 | 96652 536056 1876653 | 2147483647 370898 183 | 0.004 % |
1130.51/1130.54 c | 372600 | 96652 536056 1876653 | 2147483647 372592 184 | 0.004 % |
1141.91/1141.93 c | 374463 | 96652 536056 1876653 | 2147483647 374455 185 | 0.004 % |
1147.81/1147.86 c | 376515 | 96652 536056 1876653 | 2147483647 376507 185 | 0.004 % |
1161.21/1161.22 c | 378768 | 96652 536056 1876653 | 2147483647 378760 186 | 0.004 % |
1174.52/1174.58 c | 381247 | 96652 536056 1876653 | 2147483647 381239 189 | 0.004 % |
1185.62/1185.62 c | 383972 | 96652 536056 1876653 | 2147483647 383964 189 | 0.004 % |
1192.22/1192.23 c | 386969 | 96652 536056 1876653 | 2147483647 386961 188 | 0.004 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820986-1242493533/watcher-1820986-1242493533 -o /tmp/evaluation-result-1820986-1242493533/solver-1820986-1242493533 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820986-1242493533.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.05 1.05 1.00 2/93 20699
/proc/meminfo: memFree=532320/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=952 CPUtime=0.01
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 120 0 0 0 0 1 0 0 18 0 1 0 1013850654 974848 55 4294967295 134512640 135223648 3219683776 3219682652 134576032 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20703/statm: 238 57 45 174 0 63 0
[startup+0.024815 s]
/proc/loadavg: 1.05 1.05 1.00 2/93 20699
/proc/meminfo: memFree=532320/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=4424 CPUtime=0.03
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 878 0 0 0 1 2 0 0 18 0 1 0 1013850654 4530176 813 4294967295 134512640 135223648 3219683776 3219682360 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20703/statm: 1106 813 46 174 0 931 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6836
[startup+0.124806 s]
/proc/loadavg: 1.05 1.05 1.00 2/93 20699
/proc/meminfo: memFree=532320/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=19208 CPUtime=0.13
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 4291 0 0 0 8 5 0 0 18 0 1 0 1013850654 19668992 4226 4294967295 134512640 135223648 3219683776 3219682656 134543407 0 0 0 3 0 0 0 17 1 0 0 0
/proc/20703/statm: 4802 4232 46 174 0 4627 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 21620
[startup+0.324787 s]
/proc/loadavg: 1.05 1.05 1.00 2/93 20699
/proc/meminfo: memFree=532320/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=43540 CPUtime=0.32
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 10633 0 0 0 24 8 0 0 18 0 1 0 1013850654 44584960 10568 4294967295 134512640 135223648 3219683776 3219682360 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20703/statm: 10885 10571 46 174 0 10710 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 45952
[startup+0.724752 s]
/proc/loadavg: 1.05 1.05 1.00 2/93 20699
/proc/meminfo: memFree=532320/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=115196 CPUtime=0.72
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 22874 0 0 0 55 17 0 0 18 0 1 0 1013850654 117960704 22810 4294967295 134512640 135223648 3219683776 3219682656 134543897 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20703/statm: 28799 22814 46 174 0 28624 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 117608
[startup+1.52468 s]
/proc/loadavg: 1.04 1.05 1.00 2/95 20704
/proc/meminfo: memFree=399484/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=170092 CPUtime=1.52
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 39652 0 0 0 129 23 0 0 20 0 1 0 1013850654 174174208 36524 4294967295 134512640 135223648 3219683776 3219681776 134548337 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20703/statm: 42523 36524 73 174 0 42348 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 172504
[startup+3.12455 s]
/proc/loadavg: 1.04 1.05 1.00 2/95 20704
/proc/meminfo: memFree=379520/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=174264 CPUtime=3.12
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 40694 0 0 0 286 26 0 0 25 0 1 0 1013850654 178446336 37566 4294967295 134512640 135223648 3219683776 3219681776 134548998 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20703/statm: 43566 37566 73 174 0 43391 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 176676
[startup+6.32427 s]
/proc/loadavg: 1.04 1.05 1.00 2/95 20704
/proc/meminfo: memFree=357984/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=180276 CPUtime=6.29
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 42141 0 0 0 599 30 0 0 25 0 1 0 1013850654 184602624 39013 4294967295 134512640 135223648 3219683776 3219681792 134586730 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20703/statm: 45069 39013 73 174 0 44894 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 182688
[startup+12.7237 s]
/proc/loadavg: 1.04 1.05 1.00 2/95 20704
/proc/meminfo: memFree=320568/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2412 CPUtime=0
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 368 642 0 0 0 0 0 0 18 0 1 0 1013850654 2469888 276 4294967295 134512640 135169312 3214578928 3214577464 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 603 276 235 161 0 42 0
[pid=20703] ppid=20699 vsize=190184 CPUtime=12.66
/proc/20703/stat : 20703 (SatELite_releas) R 20699 20699 14060 0 -1 4202496 44331 0 0 0 1229 37 0 0 25 0 1 0 1013850654 194748416 41203 4294967295 134512640 135223648 3219683776 3219681552 134585493 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20703/statm: 47546 41203 73 174 0 47371 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 192596
[startup+25.5226 s]
/proc/loadavg: 1.03 1.04 1.00 2/95 20889
/proc/meminfo: memFree=412916/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=36880 CPUtime=3.97
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 8597 0 0 0 395 2 0 0 25 0 1 0 1013852809 37765120 8532 4294967295 134512640 135215339 3216938896 3216937184 134529221 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 9220 8532 73 172 0 9047 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 39296
[startup+51.1104 s]
/proc/loadavg: 1.02 1.04 1.00 2/95 20894
/proc/meminfo: memFree=409556/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=39992 CPUtime=29.56
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 9385 0 0 0 2952 4 0 0 25 0 1 0 1013852809 40951808 9320 4294967295 134512640 135215339 3216938896 3216937184 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 9998 9320 73 172 0 9825 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 42408
[startup+102.316 s]
/proc/loadavg: 1.01 1.03 1.00 2/95 21078
/proc/meminfo: memFree=401020/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=47936 CPUtime=80.77
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 11353 0 0 0 8069 8 0 0 25 0 1 0 1013852809 49086464 11288 4294967295 134512640 135215339 3216938896 3216937184 134528742 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 11984 11288 73 172 0 11811 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 50352
[startup+162.311 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 21266
/proc/meminfo: memFree=388584/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=60548 CPUtime=140.77
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 14483 0 0 0 14064 13 0 0 25 0 1 0 1013852809 62001152 14418 4294967295 134512640 135215339 3216938896 3216937184 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 15137 14418 73 172 0 14964 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 62964
[startup+222.316 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 21455
/proc/meminfo: memFree=375580/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=73352 CPUtime=200.78
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 17708 0 0 0 20064 14 0 0 25 0 1 0 1013852809 75112448 17643 4294967295 134512640 135215339 3216938896 3216936896 134532596 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 18338 17643 73 172 0 18165 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 75768
[startup+282.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 21646
/proc/meminfo: memFree=363380/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=85288 CPUtime=260.78
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 20660 0 0 0 26063 15 0 0 25 0 1 0 1013852809 87334912 20595 4294967295 134512640 135215339 3216938896 3216937184 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 21322 20595 73 172 0 21149 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 87704
[startup+342.315 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 21835
/proc/meminfo: memFree=351692/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=97040 CPUtime=320.79
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 23637 0 0 0 32059 20 0 0 25 0 1 0 1013852809 99368960 23572 4294967295 134512640 135215339 3216938896 3216937184 134528802 0 0 0 3 0 0 0 17 0 0 0 0
/proc/20889/statm: 24260 23572 73 172 0 24087 0
Current children cumulated CPU time (s) 342.25
################
# More data... #
################
/proc/20889/statm: 35279 34580 73 172 0 35106 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 143532
[startup+582.324 s]
/proc/loadavg: 1.29 1.08 1.02 2/95 22589
/proc/meminfo: memFree=290840/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=158320 CPUtime=560.82
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 38874 0 0 0 56043 39 0 0 25 0 1 0 1013852809 162119680 38809 4294967295 134512640 135215339 3216938896 3216936896 134532976 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 39580 38809 73 172 0 39407 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 160736
[startup+642.319 s]
/proc/loadavg: 1.10 1.06 1.02 3/95 22774
/proc/meminfo: memFree=276000/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=172868 CPUtime=620.82
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 42523 0 0 0 62042 40 0 0 25 0 1 0 1013852809 177016832 42458 4294967295 134512640 135215339 3216938896 3216937184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 43217 42458 73 172 0 43044 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 175284
[startup+702.324 s]
/proc/loadavg: 1.04 1.05 1.01 2/95 22965
/proc/meminfo: memFree=260460/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=188472 CPUtime=680.83
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 46453 0 0 0 68039 44 0 0 25 0 1 0 1013852809 192995328 46388 4294967295 134512640 135215339 3216938896 3216937184 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 47118 46388 73 172 0 46945 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 190888
[startup+762.319 s]
/proc/loadavg: 1.01 1.03 1.01 2/95 23157
/proc/meminfo: memFree=247232/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=201688 CPUtime=740.83
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 49745 0 0 0 74037 46 0 0 25 0 1 0 1013852809 206528512 49680 4294967295 134512640 135215339 3216938896 3216937184 134528872 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 50422 49680 73 172 0 50249 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 204104
[startup+822.314 s]
/proc/loadavg: 1.00 1.03 1.00 3/95 23346
/proc/meminfo: memFree=231228/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=218004 CPUtime=800.83
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 53838 0 0 0 80032 51 0 0 25 0 1 0 1013852809 223236096 53773 4294967295 134512640 135215339 3216938896 3216937184 134528624 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 54501 53773 73 172 0 54328 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 220420
[startup+882.318 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 23535
/proc/meminfo: memFree=209604/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=239160 CPUtime=860.84
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 59153 0 0 0 86032 52 0 0 25 0 1 0 1013852809 244899840 59088 4294967295 134512640 135215339 3216938896 3216937184 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 59790 59088 73 172 0 59617 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 241576
[startup+942.313 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 23720
/proc/meminfo: memFree=193028/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=256592 CPUtime=920.84
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 63368 0 0 0 92028 56 0 0 25 0 1 0 1013852809 262750208 63303 4294967295 134512640 135215339 3216938896 3216936896 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 64148 63303 73 172 0 63975 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 259008
[startup+1002.32 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 23908
/proc/meminfo: memFree=170320/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=278652 CPUtime=980.85
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 68912 0 0 0 98024 61 0 0 25 0 1 0 1013852809 285339648 68847 4294967295 134512640 135215339 3216938896 3216937184 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 69663 68847 73 172 0 69490 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 281068
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24096
/proc/meminfo: memFree=150264/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=298812 CPUtime=1040.85
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 73957 0 0 0 104016 69 0 0 25 0 1 0 1013852809 305983488 73892 4294967295 134512640 135215339 3216938896 3216937184 134528619 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 74703 73892 73 172 0 74530 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 301228
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 24289
/proc/meminfo: memFree=126696/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=322316 CPUtime=1100.85
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 79830 0 0 0 110008 77 0 0 25 0 1 0 1013852809 330051584 79765 4294967295 134512640 135215339 3216938896 3216937184 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 80579 79765 73 172 0 80406 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 324732
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24478
/proc/meminfo: memFree=108792/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=340496 CPUtime=1160.86
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 84373 0 0 0 116003 83 0 0 25 0 1 0 1013852809 348667904 84308 4294967295 134512640 135215339 3216938896 3216937184 134528666 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 85124 84308 73 172 0 84951 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 342912
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 24478
/proc/meminfo: memFree=103996/2074464 swapFree=1949056/1959888
[pid=20699] ppid=20697 vsize=2416 CPUtime=21.46
/proc/20699/stat : 20699 (SatELiteGTI) S 20697 20699 14060 0 -1 4194304 386 51177 0 0 0 0 2097 49 19 0 1 0 1013850654 2473984 277 4294967295 134512640 135169312 3214578928 3214575144 3085749998 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/20699/statm: 604 277 235 161 0 43 0
[pid=20889] ppid=20699 vsize=344996 CPUtime=1178.56
/proc/20889/stat : 20889 (minisat_static) R 20699 20699 14060 0 -1 4202496 85507 0 0 0 117772 84 0 0 25 0 1 0 1013852809 353275904 85442 4294967295 134512640 135215339 3216938896 3216937184 134528700 0 0 0 3 0 0 0 17 3 0 0 0
/proc/20889/statm: 86249 85442 73 172 0 86076 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 347412
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 20699 and gives
# childrusage.ru_utime.tv_sec=20
# childrusage.ru_utime.tv_usec=970000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=490000
# CPU time returned by wait4() is 21.46
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.03
CPU time (s): 1200.02
CPU user time (s): 1198.69
CPU system time (s): 1.33
CPU usage (%): 99.9991
Max. virtual memory (cumulated for all children) (KiB): 347412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.97
system time used= 0.49
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51563
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= 23
involuntary context switches= 58
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 19:05:33
IDJOB=1820986
IDBENCH=70794
IDSOLVER=657
FILE ID=tipi27/1820986-1242493533
PBS_JOBID=
Free space on /tmp= 9140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820986-1242493533/watcher-1820986-1242493533 -o /tmp/evaluation-result-1820986-1242493533/solver-1820986-1242493533 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820986-1242493533.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED= 1799296334
Linux tipi27 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.389
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.389
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: 532320 kB
Buffers: 62828 kB
Cached: 1351148 kB
SwapCached: 5508 kB
Active: 682788 kB
Inactive: 741116 kB
HighTotal: 1178688 kB
HighFree: 252528 kB
LowTotal: 895776 kB
LowFree: 279792 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 22112 kB
Writeback: 0 kB
AnonPages: 9044 kB
Mapped: 3360 kB
Slab: 109676 kB
PageTables: 544 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90632 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9061 MiB
End job on tipi27 at 2009-05-16 19:25:37