0.00/0.00 c Parsing...
0.00/0.93 c ==============================================================================
0.00/0.93 c | | ORIGINAL | LEARNT | |
0.00/0.93 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.93 c ==============================================================================
0.00/0.93 c | 0 | 1093965 2552585 | 328189 0 0 nan | 0.000 % |
23.54/23.63 c | 0 | 536570 1877685 | -- 0 -- -- | -- | -557373/-674847
23.54/23.63 c ==============================================================================
23.54/23.63 c Result : #vars: 96656 #clauses: 536570 #literals: 1877685
23.54/23.63 c CPU time: 22.9575 s
23.54/23.63 c ==============================================================================
24.20/24.58 c This is MiniSat 2.0 beta
24.20/24.58 c WARNING: for repeatability, setting FPU to use double precision
24.20/24.58 c ============================[ Problem Statistics ]=============================
24.20/24.58 c | |
24.20/24.58 c | Number of variables: 96656 |
24.20/24.58 c | Number of clauses: 536570 |
24.26/24.93 c | Parsing time: 0.30 s |
24.26/24.95 c ============================[ Search Statistics ]==============================
24.26/24.95 c | Conflicts | ORIGINAL | LEARNT | Progress |
24.26/24.95 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.26/24.95 c ===============================================================================
24.26/24.95 c | 0 | 96656 536570 1877685 | 178856 0 nan | 0.000 % |
24.26/24.99 c | 101 | 96656 536570 1877685 | 178856 101 68 | 0.000 % |
24.86/25.21 c | 202 | 96656 536570 1877685 | 178856 202 56 | 0.000 % |
25.05/25.41 c | 302 | 96656 536570 1877685 | 178856 302 42 | 0.000 % |
25.15/25.51 c | 413 | 96656 536570 1877685 | 178856 413 35 | 0.000 % |
25.25/25.67 c | 513 | 96656 536570 1877685 | 178856 513 34 | 0.000 % |
25.35/25.75 c | 628 | 96656 536570 1877685 | 178856 628 30 | 0.000 % |
25.45/25.82 c | 749 | 96656 536570 1877685 | 178856 749 29 | 0.000 % |
25.45/25.85 c | 850 | 96656 536570 1877685 | 178856 850 27 | 0.000 % |
25.45/25.88 c | 962 | 96656 536570 1877685 | 178856 962 25 | 0.000 % |
25.75/26.12 c | 1083 | 96656 536570 1877685 | 178856 1083 25 | 0.000 % |
25.96/26.38 c | 1216 | 96656 536570 1877685 | 178856 1216 33 | 0.000 % |
26.25/26.65 c | 1317 | 96656 536570 1877685 | 178856 1317 33 | 0.000 % |
26.35/26.72 c | 1427 | 96656 536570 1877685 | 178856 1427 33 | 0.000 % |
26.65/27.00 c | 1548 | 96656 536570 1877685 | 178856 1548 35 | 0.000 % |
26.85/27.29 c | 1682 | 96656 536570 1877685 | 178856 1682 37 | 0.000 % |
27.06/27.47 c | 1830 | 96656 536570 1877685 | 178856 1830 38 | 0.000 % |
27.16/27.51 c | 1930 | 96656 536570 1877685 | 178856 1930 36 | 0.000 % |
27.25/27.69 c | 2041 | 96656 536570 1877685 | 178856 2041 36 | 0.000 % |
27.45/27.89 c | 2162 | 96656 536570 1877685 | 178856 2162 37 | 0.000 % |
27.55/27.93 c | 2295 | 96656 536570 1877685 | 178856 2295 36 | 0.000 % |
27.65/28.04 c | 2442 | 96656 536570 1877685 | 178856 2442 36 | 0.000 % |
27.75/28.13 c | 2602 | 96656 536570 1877685 | 178856 2602 35 | 0.000 % |
27.95/28.31 c | 2702 | 96656 536570 1877685 | 178856 2702 34 | 0.000 % |
28.05/28.48 c | 2814 | 96656 536570 1877685 | 178856 2814 36 | 0.000 % |
28.26/28.64 c | 2935 | 96656 536570 1877685 | 178856 2935 35 | 0.000 % |
28.46/28.82 c | 3074 | 96656 536570 1877685 | 178856 3074 37 | 0.000 % |
28.56/28.91 c | 3220 | 96656 536570 1877685 | 178856 3220 38 | 0.000 % |
28.96/29.30 c | 3380 | 96656 536570 1877685 | 178856 3380 37 | 0.000 % |
29.26/29.68 c | 3557 | 96656 536570 1877685 | 178856 3557 37 | 0.000 % |
29.36/29.71 c | 3659 | 96656 536570 1877685 | 178856 3659 37 | 0.000 % |
29.36/29.73 c | 3770 | 96656 536570 1877685 | 178856 3770 36 | 0.000 % |
29.46/29.85 c | 3891 | 96656 536570 1877685 | 178856 3891 36 | 0.000 % |
29.56/29.90 c | 4025 | 96656 536570 1877685 | 178856 4025 35 | 0.000 % |
29.76/30.14 c | 4172 | 96656 536570 1877685 | 178856 4172 34 | 0.000 % |
30.06/30.47 c | 4332 | 96656 536570 1877685 | 178856 4332 34 | 0.000 % |
30.26/30.64 c | 4508 | 96656 536570 1877685 | 178856 4508 34 | 0.000 % |
30.56/30.96 c | 4701 | 96656 536570 1877685 | 178856 4701 33 | 0.000 % |
31.06/31.40 c | 4801 | 96656 536570 1877685 | 178856 4801 34 | 0.000 % |
31.46/31.86 c | 4911 | 96656 536570 1877685 | 178856 4911 37 | 0.000 % |
31.76/32.12 c | 5033 | 96656 536570 1877685 | 178856 5033 38 | 0.000 % |
31.76/32.19 c | 5169 | 96656 536570 1877685 | 178856 5169 38 | 0.000 % |
32.16/32.50 c | 5316 | 96656 536570 1877685 | 178856 5316 37 | 0.000 % |
32.26/32.64 c | 5479 | 96656 536570 1877685 | 178856 5479 36 | 0.000 % |
32.36/32.79 c | 5655 | 96656 536570 1877685 | 178856 5655 36 | 0.000 % |
32.66/33.01 c | 5848 | 96656 536570 1877685 | 178856 5848 35 | 0.000 % |
32.95/33.39 c | 6065 | 96656 536570 1877685 | 178856 6065 34 | 0.000 % |
33.16/33.51 c | 6165 | 96656 536570 1877685 | 178856 6165 34 | 0.000 % |
33.16/33.60 c | 6275 | 96656 536570 1877685 | 178856 6275 33 | 0.000 % |
33.36/33.78 c | 6396 | 96656 536570 1877685 | 178856 6396 33 | 0.000 % |
33.46/33.87 c | 6529 | 96656 536570 1877685 | 178856 6529 33 | 0.000 % |
33.55/33.98 c | 6676 | 96656 536570 1877685 | 178856 6676 33 | 0.000 % |
33.95/34.37 c | 6837 | 96656 536570 1877685 | 178856 6837 35 | 0.000 % |
34.75/35.18 c | 7014 | 96655 536441 1877425 | 178856 7012 39 | 0.001 % |
35.05/35.48 c | 7207 | 96655 536441 1877425 | 178856 7205 40 | 0.001 % |
35.45/35.85 c | 7419 | 96655 536441 1877425 | 178856 7417 39 | 0.001 % |
35.75/36.14 c | 7653 | 96655 536441 1877425 | 178856 7651 38 | 0.001 % |
35.85/36.23 c | 7753 | 96655 536441 1877425 | 178856 7751 38 | 0.001 % |
36.05/36.45 c | 7863 | 96655 536441 1877425 | 178856 7861 38 | 0.001 % |
36.05/36.47 c | 7984 | 96655 536441 1877425 | 178856 7982 37 | 0.001 % |
36.15/36.52 c | 8117 | 96655 536441 1877425 | 178856 8115 36 | 0.001 % |
36.25/36.63 c | 8263 | 96655 536441 1877425 | 178856 8261 36 | 0.001 % |
36.65/37.00 c | 8424 | 96655 536441 1877425 | 178856 8422 36 | 0.001 % |
36.85/37.27 c | 8601 | 96655 536441 1877425 | 178856 8599 39 | 0.001 % |
37.05/37.41 c | 8794 | 96655 536441 1877425 | 178856 8792 38 | 0.001 % |
37.25/37.65 c | 9006 | 96655 536441 1877425 | 178856 9004 38 | 0.001 % |
37.45/37.89 c | 9239 | 96655 536441 1877425 | 178856 9237 39 | 0.001 % |
37.95/38.39 c | 9496 | 96655 536441 1877425 | 178856 9494 38 | 0.001 % |
38.05/38.49 c | 9597 | 96655 536441 1877425 | 178856 9595 38 | 0.001 % |
38.45/38.84 c | 9707 | 96655 536441 1877425 | 178856 9705 37 | 0.001 % |
39.65/40.09 c | 9828 | 96655 536441 1877425 | 178856 9826 37 | 0.001 % |
40.25/40.61 c | 9962 | 96654 536313 1877169 | 178856 9958 38 | 0.002 % |
40.35/40.79 c | 10108 | 96654 536313 1877169 | 2147483647 10104 37 | 0.002 % |
40.55/40.95 c | 10268 | 96654 536313 1877169 | 2147483647 10264 37 | 0.002 % |
40.85/41.20 c | 10444 | 96654 536313 1877169 | 2147483647 10440 37 | 0.002 % |
40.95/41.31 c | 10639 | 96654 536313 1877169 | 2147483647 10635 38 | 0.002 % |
41.15/41.57 c | 10852 | 96654 536313 1877169 | 2147483647 10848 38 | 0.002 % |
41.85/42.25 c | 11085 | 96654 536313 1877169 | 2147483647 11081 38 | 0.002 % |
42.25/42.66 c | 11341 | 96654 536313 1877169 | 2147483647 11337 38 | 0.002 % |
42.84/43.21 c | 11623 | 96654 536313 1877169 | 2147483647 11619 38 | 0.002 % |
43.14/43.50 c | 11723 | 96654 536313 1877169 | 2147483647 11719 38 | 0.002 % |
43.24/43.69 c | 11834 | 96654 536313 1877169 | 2147483647 11830 38 | 0.002 % |
43.34/43.79 c | 11955 | 96654 536313 1877169 | 2147483647 11951 38 | 0.002 % |
43.55/43.97 c | 12093 | 96654 536313 1877169 | 2147483647 12089 38 | 0.002 % |
43.74/44.17 c | 12240 | 96654 536313 1877169 | 2147483647 12236 37 | 0.002 % |
43.95/44.35 c | 12401 | 96654 536313 1877169 | 2147483647 12397 37 | 0.002 % |
44.65/45.09 c | 12577 | 96654 536313 1877169 | 2147483647 12573 37 | 0.002 % |
44.94/45.36 c | 12771 | 96654 536313 1877169 | 2147483647 12767 37 | 0.002 % |
45.24/45.64 c | 12983 | 96654 536313 1877169 | 2147483647 12979 37 | 0.002 % |
45.64/46.07 c | 13218 | 96654 536313 1877169 | 2147483647 13214 38 | 0.002 % |
45.94/46.34 c | 13474 | 96654 536313 1877169 | 2147483647 13470 38 | 0.002 % |
46.24/46.61 c | 13756 | 96654 536313 1877169 | 2147483647 13752 37 | 0.002 % |
46.54/46.98 c | 14065 | 96654 536313 1877169 | 2147483647 14061 37 | 0.002 % |
46.74/47.15 c | 14166 | 96654 536313 1877169 | 2147483647 14162 37 | 0.002 % |
46.85/47.27 c | 14279 | 96654 536313 1877169 | 2147483647 14275 36 | 0.002 % |
47.24/47.61 c | 14401 | 96654 536313 1877169 | 2147483647 14397 37 | 0.002 % |
47.44/47.80 c | 14534 | 96654 536313 1877169 | 2147483647 14530 37 | 0.002 % |
47.74/48.11 c | 14681 | 96654 536313 1877169 | 2147483647 14677 37 | 0.002 % |
47.84/48.30 c | 14841 | 96654 536313 1877169 | 2147483647 14837 37 | 0.002 % |
48.05/48.41 c | 15017 | 96654 536313 1877169 | 2147483647 15013 37 | 0.002 % |
48.34/48.75 c | 15210 | 96654 536313 1877169 | 2147483647 15206 37 | 0.002 % |
48.74/49.12 c | 15422 | 96654 536313 1877169 | 2147483647 15418 37 | 0.002 % |
48.94/49.40 c | 15655 | 96654 536313 1877169 | 2147483647 15651 37 | 0.002 % |
49.54/49.92 c | 15911 | 96654 536313 1877169 | 2147483647 15907 38 | 0.002 % |
49.84/50.21 c | 16193 | 96654 536313 1877169 | 2147483647 16189 37 | 0.002 % |
50.04/50.42 c | 16503 | 96653 536184 1876909 | 2147483647 16497 37 | 0.003 % |
50.34/50.75 c | 16842 | 96653 536184 1876909 | 2147483647 16836 37 | 0.003 % |
50.54/50.99 c | 16942 | 96653 536184 1876909 | 2147483647 16936 37 | 0.003 % |
50.74/51.15 c | 17052 | 96653 536184 1876909 | 2147483647 17046 37 | 0.003 % |
50.84/51.22 c | 17173 | 96653 536184 1876909 | 2147483647 17167 37 | 0.003 % |
51.14/51.53 c | 17306 | 96653 536184 1876909 | 2147483647 17300 37 | 0.003 % |
51.54/51.90 c | 17452 | 96653 536184 1876909 | 2147483647 17446 37 | 0.003 % |
51.74/52.12 c | 17612 | 96653 536184 1876909 | 2147483647 17606 37 | 0.003 % |
52.14/52.50 c | 17790 | 96653 536184 1876909 | 2147483647 17784 36 | 0.003 % |
52.54/52.99 c | 17983 | 96653 536184 1876909 | 2147483647 17977 36 | 0.003 % |
52.94/53.30 c | 18195 | 96653 536184 1876909 | 2147483647 18189 36 | 0.003 % |
53.13/53.56 c | 18428 | 96653 536184 1876909 | 2147483647 18422 36 | 0.003 % |
53.33/53.78 c | 18684 | 96653 536184 1876909 | 2147483647 18678 36 | 0.003 % |
53.73/54.19 c | 18967 | 96653 536184 1876909 | 2147483647 18961 38 | 0.003 % |
54.13/54.53 c | 19277 | 96653 536184 1876909 | 2147483647 19271 39 | 0.003 % |
54.55/54.99 c | 19619 | 96653 536184 1876909 | 2147483647 19613 40 | 0.003 % |
54.94/55.38 c | 19991 | 96653 536184 1876909 | 2147483647 19985 41 | 0.003 % |
55.14/55.54 c | 20093 | 96653 536184 1876909 | 2147483647 20087 41 | 0.003 % |
55.14/55.59 c | 20203 | 96653 536184 1876909 | 2147483647 20197 41 | 0.003 % |
55.44/55.86 c | 20324 | 96653 536184 1876909 | 2147483647 20318 41 | 0.003 % |
55.84/56.20 c | 20457 | 96653 536184 1876909 | 2147483647 20451 41 | 0.003 % |
56.14/56.51 c | 20603 | 96653 536184 1876909 | 2147483647 20597 41 | 0.003 % |
56.24/56.66 c | 20763 | 96653 536184 1876909 | 2147483647 20757 41 | 0.003 % |
56.74/57.13 c | 20939 | 96653 536184 1876909 | 2147483647 20933 41 | 0.003 % |
56.84/57.29 c | 21132 | 96653 536184 1876909 | 2147483647 21126 41 | 0.003 % |
57.14/57.51 c | 21344 | 96653 536184 1876909 | 2147483647 21338 41 | 0.003 % |
57.24/57.69 c | 21578 | 96653 536184 1876909 | 2147483647 21572 41 | 0.003 % |
57.64/58.04 c | 21834 | 96653 536184 1876909 | 2147483647 21828 42 | 0.003 % |
58.63/59.00 c | 22116 | 96653 536184 1876909 | 2147483647 22110 43 | 0.003 % |
59.23/59.65 c | 22425 | 96653 536184 1876909 | 2147483647 22419 45 | 0.003 % |
60.03/60.50 c | 22764 | 96653 536184 1876909 | 2147483647 22758 47 | 0.003 % |
62.03/62.41 c | 23137 | 96653 536184 1876909 | 2147483647 23131 48 | 0.003 % |
63.13/63.53 c | 23547 | 96653 536184 1876909 | 2147483647 23541 49 | 0.003 % |
63.23/63.64 c | 23647 | 96653 536184 1876909 | 2147483647 23641 49 | 0.003 % |
63.33/63.71 c | 23766 | 96653 536184 1876909 | 2147483647 23760 49 | 0.003 % |
63.33/63.77 c | 23887 | 96653 536184 1876909 | 2147483647 23881 49 | 0.003 % |
64.33/64.79 c | 24021 | 96653 536184 1876909 | 2147483647 24015 50 | 0.003 % |
64.63/65.00 c | 24167 | 96653 536184 1876909 | 2147483647 24161 50 | 0.003 % |
64.73/65.19 c | 24327 | 96653 536184 1876909 | 2147483647 24321 50 | 0.003 % |
65.03/65.48 c | 24503 | 96653 536184 1876909 | 2147483647 24497 50 | 0.003 % |
65.43/65.86 c | 24696 | 96653 536184 1876909 | 2147483647 24690 50 | 0.003 % |
65.63/66.02 c | 24909 | 96653 536184 1876909 | 2147483647 24903 49 | 0.003 % |
65.83/66.25 c | 25143 | 96653 536184 1876909 | 2147483647 25137 49 | 0.003 % |
66.12/66.59 c | 25399 | 96653 536184 1876909 | 2147483647 25393 49 | 0.003 % |
66.42/66.82 c | 25680 | 96653 536184 1876909 | 2147483647 25674 49 | 0.003 % |
67.12/67.50 c | 25990 | 96653 536184 1876909 | 2147483647 25984 49 | 0.003 % |
67.32/67.70 c | 26329 | 96653 536184 1876909 | 2147483647 26323 48 | 0.003 % |
67.62/68.01 c | 26701 | 96653 536184 1876909 | 2147483647 26695 48 | 0.003 % |
68.32/68.70 c | 27110 | 96653 536184 1876909 | 2147483647 27104 49 | 0.003 % |
68.93/69.32 c | 27560 | 96653 536184 1876909 | 2147483647 27554 48 | 0.003 % |
69.12/69.58 c | 27661 | 96653 536184 1876909 | 2147483647 27655 48 | 0.003 % |
69.22/69.70 c | 27771 | 96653 536184 1876909 | 2147483647 27765 48 | 0.003 % |
69.72/70.11 c | 27892 | 96653 536184 1876909 | 2147483647 27886 49 | 0.003 % |
69.93/70.32 c | 28025 | 96653 536184 1876909 | 2147483647 28019 49 | 0.003 % |
70.03/70.41 c | 28171 | 96653 536184 1876909 | 2147483647 28165 48 | 0.003 % |
70.42/70.86 c | 28331 | 96653 536184 1876909 | 2147483647 28325 48 | 0.003 % |
70.62/71.02 c | 28507 | 96653 536184 1876909 | 2147483647 28501 48 | 0.003 % |
70.82/71.25 c | 28700 | 96653 536184 1876909 | 2147483647 28694 48 | 0.003 % |
71.42/71.80 c | 28913 | 96653 536184 1876909 | 2147483647 28907 48 | 0.003 % |
71.82/72.20 c | 29146 | 96653 536184 1876909 | 2147483647 29140 48 | 0.003 % |
72.12/72.53 c | 29410 | 96653 536184 1876909 | 2147483647 29404 48 | 0.003 % |
72.52/72.91 c | 29691 | 96653 536184 1876909 | 2147483647 29685 48 | 0.003 % |
73.92/74.33 c | 30002 | 96653 536184 1876909 | 2147483647 29996 49 | 0.003 % |
74.62/75.10 c | 30341 | 96653 536184 1876909 | 2147483647 30335 49 | 0.003 % |
75.12/75.55 c | 30713 | 96653 536184 1876909 | 2147483647 30707 48 | 0.003 % |
75.72/76.11 c | 31122 | 96653 536184 1876909 | 2147483647 31116 48 | 0.003 % |
76.12/76.51 c | 31572 | 96653 536184 1876909 | 2147483647 31566 48 | 0.003 % |
76.92/77.35 c | 32066 | 96653 536184 1876909 | 2147483647 32060 48 | 0.003 % |
77.12/77.53 c | 32166 | 96653 536184 1876909 | 2147483647 32160 48 | 0.003 % |
77.21/77.60 c | 32276 | 96653 536184 1876909 | 2147483647 32270 49 | 0.003 % |
77.41/77.83 c | 32397 | 96653 536184 1876909 | 2147483647 32391 49 | 0.003 % |
77.51/77.98 c | 32530 | 96653 536184 1876909 | 2147483647 32524 49 | 0.003 % |
77.81/78.27 c | 32676 | 96653 536184 1876909 | 2147483647 32670 49 | 0.003 % |
78.31/78.74 c | 32836 | 96653 536184 1876909 | 2147483647 32830 49 | 0.003 % |
78.61/79.00 c | 33012 | 96653 536184 1876909 | 2147483647 33006 50 | 0.003 % |
79.21/79.69 c | 33206 | 96653 536184 1876909 | 2147483647 33200 51 | 0.003 % |
79.82/80.21 c | 33418 | 96653 536184 1876909 | 2147483647 33412 51 | 0.003 % |
80.51/80.95 c | 33661 | 96653 536184 1876909 | 2147483647 33655 52 | 0.003 % |
81.21/81.65 c | 33922 | 96653 536184 1876909 | 2147483647 33916 52 | 0.003 % |
81.41/81.89 c | 34203 | 96653 536184 1876909 | 2147483647 34197 52 | 0.003 % |
82.12/82.54 c | 34513 | 96653 536184 1876909 | 2147483647 34507 53 | 0.003 % |
82.62/83.01 c | 34852 | 96653 536184 1876909 | 2147483647 34846 53 | 0.003 % |
83.02/83.44 c | 35225 | 96653 536184 1876909 | 2147483647 35219 53 | 0.003 % |
83.31/83.77 c | 35634 | 96653 536184 1876909 | 2147483647 35628 53 | 0.003 % |
84.51/84.93 c | 36083 | 96653 536184 1876909 | 2147483647 36077 53 | 0.003 % |
86.61/87.03 c | 36576 | 96653 536184 1876909 | 2147483647 36570 54 | 0.003 % |
87.51/87.97 c | 37120 | 96653 536184 1876909 | 2147483647 37114 55 | 0.003 % |
87.61/88.06 c | 37222 | 96653 536184 1876909 | 2147483647 37216 55 | 0.003 % |
87.90/88.38 c | 37333 | 96653 536184 1876909 | 2147483647 37327 55 | 0.003 % |
88.61/89.01 c | 37455 | 96653 536184 1876909 | 2147483647 37449 56 | 0.003 % |
89.00/89.46 c | 37588 | 96653 536184 1876909 | 2147483647 37582 57 | 0.003 % |
89.50/89.98 c | 37734 | 96653 536184 1876909 | 2147483647 37728 57 | 0.003 % |
90.40/90.83 c | 37894 | 96653 536184 1876909 | 2147483647 37888 57 | 0.003 % |
90.70/91.17 c | 38071 | 96653 536184 1876909 | 2147483647 38065 57 | 0.003 % |
91.20/91.63 c | 38265 | 96653 536184 1876909 | 2147483647 38259 57 | 0.003 % |
91.50/91.91 c | 38477 | 96653 536184 1876909 | 2147483647 38471 57 | 0.003 % |
92.00/92.47 c | 38711 | 96653 536184 1876909 | 2147483647 38705 58 | 0.003 % |
92.60/93.01 c | 38968 | 96653 536184 1876909 | 2147483647 38962 58 | 0.003 % |
93.00/93.47 c | 39250 | 96653 536184 1876909 | 2147483647 39244 58 | 0.003 % |
93.30/93.73 c | 39559 | 96653 536184 1876909 | 2147483647 39553 57 | 0.003 % |
93.80/94.23 c | 39898 | 96653 536184 1876909 | 2147483647 39892 57 | 0.003 % |
95.00/95.47 c | 40271 | 96653 536184 1876909 | 2147483647 40265 58 | 0.003 % |
96.20/96.60 c | 40680 | 96653 536184 1876909 | 2147483647 40674 59 | 0.003 % |
97.99/98.47 c | 41129 | 96653 536184 1876909 | 2147483647 41123 61 | 0.003 % |
99.20/99.64 c | 41622 | 96653 536184 1876909 | 2147483647 41616 63 | 0.003 % |
100.60/101.09 c | 42164 | 96653 536184 1876909 | 2147483647 42158 63 | 0.003 % |
101.30/101.77 c | 42760 | 96653 536184 1876909 | 2147483647 42754 63 | 0.003 % |
101.50/101.91 c | 42860 | 96653 536184 1876909 | 2147483647 42854 63 | 0.003 % |
101.80/102.23 c | 42970 | 96653 536184 1876909 | 2147483647 42964 63 | 0.003 % |
101.90/102.34 c | 43093 | 96653 536184 1876909 | 2147483647 43087 63 | 0.003 % |
102.00/102.47 c | 43226 | 96653 536184 1876909 | 2147483647 43220 63 | 0.003 % |
102.20/102.63 c | 43372 | 96653 536184 1876909 | 2147483647 43366 62 | 0.003 % |
102.40/102.89 c | 43533 | 96653 536184 1876909 | 2147483647 43527 63 | 0.003 % |
102.70/103.10 c | 43710 | 96653 536184 1876909 | 2147483647 43704 63 | 0.003 % |
103.50/103.94 c | 43903 | 96653 536184 1876909 | 2147483647 43897 63 | 0.003 % |
103.80/104.25 c | 44115 | 96653 536184 1876909 | 2147483647 44109 63 | 0.003 % |
104.00/104.47 c | 44348 | 96653 536184 1876909 | 2147483647 44342 63 | 0.003 % |
105.10/105.51 c | 44606 | 96653 536184 1876909 | 2147483647 44600 63 | 0.003 % |
105.39/105.85 c | 44887 | 96653 536184 1876909 | 2147483647 44881 63 | 0.003 % |
105.59/106.06 c | 45196 | 96653 536184 1876909 | 2147483647 45190 63 | 0.003 % |
106.49/106.98 c | 45535 | 96653 536184 1876909 | 2147483647 45529 63 | 0.003 % |
106.89/107.38 c | 45907 | 96653 536184 1876909 | 2147483647 45901 63 | 0.003 % |
107.89/108.32 c | 46317 | 96653 536184 1876909 | 2147483647 46311 63 | 0.003 % |
108.79/109.26 c | 46766 | 96653 536184 1876909 | 2147483647 46760 63 | 0.003 % |
109.59/110.01 c | 47260 | 96653 536184 1876909 | 2147483647 47254 63 | 0.003 % |
110.19/110.65 c | 47802 | 96653 536184 1876909 | 2147483647 47796 62 | 0.003 % |
111.58/112.07 c | 48399 | 96653 536184 1876909 | 2147483647 48393 67 | 0.003 % |
113.79/114.23 c | 49054 | 96653 536184 1876909 | 2147483647 49048 67 | 0.003 % |
114.09/114.51 c | 49154 | 96653 536184 1876909 | 2147483647 49148 67 | 0.003 % |
114.39/114.81 c | 49264 | 96653 536184 1876909 | 2147483647 49258 67 | 0.003 % |
114.59/115.02 c | 49385 | 96653 536184 1876909 | 2147483647 49379 67 | 0.003 % |
114.89/115.39 c | 49519 | 96653 536184 1876909 | 2147483647 49513 67 | 0.003 % |
115.49/115.93 c | 49665 | 96653 536184 1876909 | 2147483647 49659 67 | 0.003 % |
115.89/116.36 c | 49825 | 96653 536184 1876909 | 2147483647 49819 67 | 0.003 % |
116.69/117.19 c | 50001 | 96653 536184 1876909 | 2147483647 49995 67 | 0.003 % |
117.19/117.63 c | 50196 | 96653 536184 1876909 | 2147483647 50190 67 | 0.003 % |
117.49/117.96 c | 50409 | 96653 536184 1876909 | 2147483647 50403 67 | 0.003 % |
117.69/118.20 c | 50642 | 96653 536184 1876909 | 2147483647 50636 67 | 0.003 % |
118.19/118.64 c | 50898 | 96653 536184 1876909 | 2147483647 50892 67 | 0.003 % |
118.79/119.29 c | 51185 | 96653 536184 1876909 | 2147483647 51179 67 | 0.003 % |
119.49/119.92 c | 51494 | 96653 536184 1876909 | 2147483647 51488 67 | 0.003 % |
119.99/120.40 c | 51835 | 96653 536184 1876909 | 2147483647 51829 67 | 0.003 % |
120.19/120.68 c | 52208 | 96653 536184 1876909 | 2147483647 52202 68 | 0.003 % |
121.19/121.62 c | 52617 | 96653 536184 1876909 | 2147483647 52611 67 | 0.003 % |
121.59/122.08 c | 53066 | 96653 536184 1876909 | 2147483647 53060 67 | 0.003 % |
122.39/122.81 c | 53559 | 96653 536184 1876909 | 2147483647 53553 67 | 0.003 % |
123.18/123.61 c | 54102 | 96653 536184 1876909 | 2147483647 54096 68 | 0.003 % |
123.79/124.26 c | 54698 | 96653 536184 1876909 | 2147483647 54692 70 | 0.003 % |
125.58/126.07 c | 55353 | 96653 536184 1876909 | 2147483647 55347 71 | 0.003 % |
127.38/127.88 c | 56075 | 96653 536184 1876909 | 2147483647 56069 71 | 0.003 % |
127.88/128.30 c | 56175 | 96653 536184 1876909 | 2147483647 56169 71 | 0.003 % |
128.08/128.58 c | 56286 | 96653 536184 1876909 | 2147483647 56280 71 | 0.003 % |
128.29/128.76 c | 56413 | 96653 536184 1876909 | 2147483647 56407 72 | 0.003 % |
128.58/129.00 c | 56546 | 96653 536184 1876909 | 2147483647 56540 73 | 0.003 % |
128.58/129.09 c | 56692 | 96653 536184 1876909 | 2147483647 56686 72 | 0.003 % |
129.18/129.68 c | 56853 | 96653 536184 1876909 | 2147483647 56847 72 | 0.003 % |
129.58/130.02 c | 57029 | 96653 536184 1876909 | 2147483647 57023 73 | 0.003 % |
129.98/130.42 c | 57223 | 96653 536184 1876909 | 2147483647 57217 73 | 0.003 % |
131.78/132.22 c | 57435 | 96653 536184 1876909 | 2147483647 57429 74 | 0.003 % |
132.28/132.71 c | 57668 | 96653 536184 1876909 | 2147483647 57662 75 | 0.003 % |
134.38/134.85 c | 57925 | 96653 536184 1876909 | 2147483647 57919 76 | 0.003 % |
136.08/136.51 c | 58206 | 96653 536184 1876909 | 2147483647 58200 77 | 0.003 % |
137.57/138.05 c | 58515 | 96653 536184 1876909 | 2147483647 58509 78 | 0.003 % |
138.27/138.79 c | 58856 | 96653 536184 1876909 | 2147483647 58850 78 | 0.003 % |
139.07/139.57 c | 59228 | 96653 536184 1876909 | 2147483647 59222 78 | 0.003 % |
140.88/141.35 c | 59637 | 96653 536184 1876909 | 2147483647 59631 78 | 0.003 % |
141.78/142.24 c | 60086 | 96653 536184 1876909 | 2147483647 60080 78 | 0.003 % |
143.08/143.58 c | 60579 | 96653 536184 1876909 | 2147483647 60573 78 | 0.003 % |
143.97/144.40 c | 61121 | 96653 536184 1876909 | 2147483647 61115 81 | 0.003 % |
146.68/147.14 c | 61718 | 96653 536184 1876909 | 2147483647 61712 83 | 0.003 % |
149.08/149.59 c | 62373 | 96653 536184 1876909 | 2147483647 62367 85 | 0.003 % |
150.67/151.17 c | 63093 | 96653 536184 1876909 | 2147483647 63087 89 | 0.003 % |
152.17/152.61 c | 63887 | 96653 536184 1876909 | 2147483647 63881 92 | 0.003 % |
152.27/152.73 c | 63988 | 96653 536184 1876909 | 2147483647 63982 92 | 0.003 % |
152.38/152.87 c | 64098 | 96653 536184 1876909 | 2147483647 64092 92 | 0.003 % |
152.57/153.08 c | 64221 | 96653 536184 1876909 | 2147483647 64215 92 | 0.003 % |
152.67/153.17 c | 64356 | 96653 536184 1876909 | 2147483647 64350 93 | 0.003 % |
153.17/153.61 c | 64502 | 96653 536184 1876909 | 2147483647 64496 92 | 0.003 % |
153.67/154.15 c | 64662 | 96653 536184 1876909 | 2147483647 64656 92 | 0.003 % |
154.27/154.70 c | 64840 | 96653 536184 1876909 | 2147483647 64834 92 | 0.003 % |
155.07/155.54 c | 65033 | 96653 536184 1876909 | 2147483647 65027 93 | 0.003 % |
155.27/155.75 c | 65245 | 96653 536184 1876909 | 2147483647 65239 93 | 0.003 % |
155.77/156.25 c | 65479 | 96653 536184 1876909 | 2147483647 65473 92 | 0.003 % |
156.17/156.61 c | 65735 | 96653 536184 1876909 | 2147483647 65729 92 | 0.003 % |
156.87/157.33 c | 66018 | 96653 536184 1876909 | 2147483647 66012 92 | 0.003 % |
157.37/157.83 c | 66327 | 96653 536184 1876909 | 2147483647 66321 92 | 0.003 % |
158.17/158.67 c | 66666 | 96653 536184 1876909 | 2147483647 66660 92 | 0.003 % |
158.87/159.35 c | 67038 | 96653 536184 1876909 | 2147483647 67032 91 | 0.003 % |
159.77/160.24 c | 67447 | 96653 536184 1876909 | 2147483647 67441 91 | 0.003 % |
160.77/161.21 c | 67896 | 96653 536184 1876909 | 2147483647 67890 91 | 0.003 % |
162.76/163.28 c | 68390 | 96653 536184 1876909 | 2147483647 68384 92 | 0.003 % |
163.66/164.16 c | 68932 | 96653 536184 1876909 | 2147483647 68926 92 | 0.003 % |
165.07/165.50 c | 69528 | 96653 536184 1876909 | 2147483647 69522 92 | 0.003 % |
166.57/167.02 c | 70184 | 96653 536184 1876909 | 2147483647 70178 93 | 0.003 % |
168.07/168.55 c | 70906 | 96653 536184 1876909 | 2147483647 70900 92 | 0.003 % |
169.07/169.58 c | 71698 | 96653 536184 1876909 | 2147483647 71692 92 | 0.003 % |
170.97/171.47 c | 72570 | 96653 536184 1876909 | 2147483647 72564 93 | 0.003 % |
171.57/172.01 c | 72673 | 96653 536184 1876909 | 2147483647 72667 93 | 0.003 % |
171.67/172.14 c | 72783 | 96653 536184 1876909 | 2147483647 72777 93 | 0.003 % |
171.87/172.37 c | 72904 | 96653 536184 1876909 | 2147483647 72898 93 | 0.003 % |
172.17/172.68 c | 73038 | 96653 536184 1876909 | 2147483647 73032 93 | 0.003 % |
173.16/173.60 c | 73187 | 96653 536184 1876909 | 2147483647 73181 94 | 0.003 % |
173.76/174.26 c | 73348 | 96653 536184 1876909 | 2147483647 73342 94 | 0.003 % |
173.96/174.49 c | 73524 | 96653 536184 1876909 | 2147483647 73518 94 | 0.003 % |
174.56/175.07 c | 73719 | 96653 536184 1876909 | 2147483647 73713 94 | 0.003 % |
175.36/175.82 c | 73931 | 96653 536184 1876909 | 2147483647 73925 94 | 0.003 % |
175.96/176.46 c | 74164 | 96653 536184 1876909 | 2147483647 74158 94 | 0.003 % |
176.56/177.05 c | 74420 | 96653 536184 1876909 | 2147483647 74414 94 | 0.003 % |
177.66/178.18 c | 74702 | 96653 536184 1876909 | 2147483647 74696 94 | 0.003 % |
178.96/179.49 c | 75012 | 96653 536184 1876909 | 2147483647 75006 94 | 0.003 % |
179.86/180.34 c | 75351 | 96653 536184 1876909 | 2147483647 75345 94 | 0.003 % |
180.36/180.81 c | 75723 | 96653 536184 1876909 | 2147483647 75717 95 | 0.003 % |
181.76/182.25 c | 76132 | 96653 536184 1876909 | 2147483647 76126 95 | 0.003 % |
182.56/183.09 c | 76581 | 96653 536184 1876909 | 2147483647 76575 95 | 0.003 % |
183.26/183.76 c | 77075 | 96653 536184 1876909 | 2147483647 77069 95 | 0.003 % |
184.46/184.95 c | 77617 | 96653 536184 1876909 | 2147483647 77611 96 | 0.003 % |
186.15/186.65 c | 78213 | 96653 536184 1876909 | 2147483647 78207 97 | 0.003 % |
187.76/188.24 c | 78868 | 96653 536184 1876909 | 2147483647 78862 96 | 0.003 % |
188.76/189.27 c | 79588 | 96653 536184 1876909 | 2147483647 79582 96 | 0.003 % |
190.56/191.09 c | 80380 | 96653 536184 1876909 | 2147483647 80374 96 | 0.003 % |
193.16/193.69 c | 81251 | 96653 536184 1876909 | 2147483647 81245 96 | 0.003 % |
195.26/195.74 c | 82209 | 96653 536184 1876909 | 2147483647 82203 97 | 0.003 % |
195.85/196.31 c | 82338 | 96653 536184 1876909 | 2147483647 82332 97 | 0.003 % |
196.05/196.58 c | 82448 | 96653 536184 1876909 | 2147483647 82442 97 | 0.003 % |
196.46/196.93 c | 82569 | 96653 536184 1876909 | 2147483647 82563 97 | 0.003 % |
196.55/197.05 c | 82702 | 96653 536184 1876909 | 2147483647 82696 97 | 0.003 % |
196.95/197.49 c | 82848 | 96653 536184 1876909 | 2147483647 82842 97 | 0.003 % |
197.35/197.88 c | 83008 | 96653 536184 1876909 | 2147483647 83002 97 | 0.003 % |
197.75/198.30 c | 83184 | 96653 536184 1876909 | 2147483647 83178 97 | 0.003 % |
198.66/199.16 c | 83379 | 96653 536184 1876909 | 2147483647 83373 97 | 0.003 % |
199.25/199.73 c | 83591 | 96653 536184 1876909 | 2147483647 83585 97 | 0.003 % |
199.66/200.14 c | 83824 | 96653 536184 1876909 | 2147483647 83818 97 | 0.003 % |
199.85/200.37 c | 84081 | 96653 536184 1876909 | 2147483647 84075 97 | 0.003 % |
200.55/201.00 c | 84362 | 96653 536184 1876909 | 2147483647 84356 97 | 0.003 % |
201.35/201.84 c | 84671 | 96653 536184 1876909 | 2147483647 84665 97 | 0.003 % |
203.25/203.74 c | 85010 | 96653 536184 1876909 | 2147483647 85004 98 | 0.003 % |
204.65/205.18 c | 85383 | 96653 536184 1876909 | 2147483647 85377 98 | 0.003 % |
206.65/207.10 c | 85792 | 96653 536184 1876909 | 2147483647 85786 98 | 0.003 % |
207.24/207.76 c | 86241 | 96653 536184 1876909 | 2147483647 86235 98 | 0.003 % |
208.34/208.87 c | 86734 | 96653 536184 1876909 | 2147483647 86728 98 | 0.003 % |
209.65/210.19 c | 87276 | 96653 536184 1876909 | 2147483647 87270 98 | 0.003 % |
211.24/211.75 c | 87873 | 96653 536184 1876909 | 2147483647 87867 99 | 0.003 % |
213.04/213.50 c | 88529 | 96653 536184 1876909 | 2147483647 88523 99 | 0.003 % |
214.04/214.58 c | 89249 | 96653 536184 1876909 | 2147483647 89243 98 | 0.003 % |
216.04/216.56 c | 90041 | 96653 536184 1876909 | 2147483647 90035 98 | 0.003 % |
217.84/218.33 c | 90912 | 96653 536184 1876909 | 2147483647 90906 99 | 0.003 % |
220.04/220.58 c | 91876 | 96653 536184 1876909 | 2147483647 91870 100 | 0.003 % |
221.85/222.37 c | 92929 | 96653 536184 1876909 | 2147483647 92923 100 | 0.003 % |
222.05/222.53 c | 93029 | 96653 536184 1876909 | 2147483647 93023 100 | 0.003 % |
222.24/222.70 c | 93140 | 96653 536184 1876909 | 2147483647 93134 100 | 0.003 % |
222.44/222.90 c | 93263 | 96653 536184 1876909 | 2147483647 93257 100 | 0.003 % |
222.64/223.14 c | 93397 | 96653 536184 1876909 | 2147483647 93391 100 | 0.003 % |
223.04/223.54 c | 93543 | 96653 536184 1876909 | 2147483647 93537 100 | 0.003 % |
223.44/223.91 c | 93703 | 96653 536184 1876909 | 2147483647 93697 100 | 0.003 % |
223.85/224.35 c | 93879 | 96653 536184 1876909 | 2147483647 93873 100 | 0.003 % |
225.04/225.58 c | 94072 | 96653 536184 1876909 | 2147483647 94066 100 | 0.003 % |
225.14/225.62 c | 94284 | 96653 536184 1876909 | 2147483647 94278 100 | 0.003 % |
225.64/226.12 c | 94518 | 96653 536184 1876909 | 2147483647 94512 100 | 0.003 % |
226.24/226.70 c | 94774 | 96653 536184 1876909 | 2147483647 94768 100 | 0.003 % |
226.54/227.06 c | 95055 | 96653 536184 1876909 | 2147483647 95049 99 | 0.003 % |
227.04/227.55 c | 95366 | 96653 536184 1876909 | 2147483647 95360 99 | 0.003 % |
228.44/228.92 c | 95707 | 96653 536184 1876909 | 2147483647 95701 99 | 0.003 % |
230.34/230.88 c | 96080 | 96653 536184 1876909 | 2147483647 96074 100 | 0.003 % |
231.23/231.76 c | 96489 | 96653 536184 1876909 | 2147483647 96483 100 | 0.003 % |
232.03/232.54 c | 96938 | 96653 536184 1876909 | 2147483647 96932 100 | 0.003 % |
233.03/233.53 c | 97431 | 96653 536184 1876909 | 2147483647 97425 100 | 0.003 % |
234.03/234.57 c | 97974 | 96653 536184 1876909 | 2147483647 97968 100 | 0.003 % |
235.93/236.41 c | 98572 | 96653 536184 1876909 | 2147483647 98566 101 | 0.003 % |
237.13/237.65 c | 99232 | 96653 536184 1876909 | 2147483647 99226 101 | 0.003 % |
238.43/238.98 c | 99952 | 96653 536184 1876909 | 2147483647 99946 101 | 0.003 % |
239.43/239.98 c | 100744 | 96653 536184 1876909 | 2147483647 100738 100 | 0.003 % |
242.73/243.26 c | 101616 | 96653 536184 1876909 | 2147483647 101610 102 | 0.003 % |
244.43/244.94 c | 102574 | 96653 536184 1876909 | 2147483647 102568 102 | 0.003 % |
248.53/249.06 c | 103628 | 96653 536184 1876909 | 2147483647 103622 103 | 0.003 % |
252.03/252.58 c | 104786 | 96653 536184 1876909 | 2147483647 104780 104 | 0.003 % |
252.43/252.91 c | 104887 | 96653 536184 1876909 | 2147483647 104881 103 | 0.003 % |
252.63/253.15 c | 104998 | 96653 536184 1876909 | 2147483647 104992 103 | 0.003 % |
252.83/253.37 c | 105119 | 96653 536184 1876909 | 2147483647 105113 103 | 0.003 % |
253.33/253.83 c | 105252 | 96653 536184 1876909 | 2147483647 105246 103 | 0.003 % |
253.53/254.07 c | 105399 | 96653 536184 1876909 | 2147483647 105393 103 | 0.003 % |
253.63/254.15 c | 105559 | 96653 536184 1876909 | 2147483647 105553 103 | 0.003 % |
254.23/254.74 c | 105736 | 96653 536184 1876909 | 2147483647 105730 103 | 0.003 % |
254.63/255.20 c | 105930 | 96653 536184 1876909 | 2147483647 105924 103 | 0.003 % |
255.02/255.57 c | 106142 | 96653 536184 1876909 | 2147483647 106136 103 | 0.003 % |
255.32/255.86 c | 106375 | 96653 536184 1876909 | 2147483647 106369 103 | 0.003 % |
255.52/256.04 c | 106631 | 96653 536184 1876909 | 2147483647 106625 103 | 0.003 % |
255.83/256.38 c | 106912 | 96653 536184 1876909 | 2147483647 106906 103 | 0.003 % |
256.62/257.18 c | 107221 | 96653 536184 1876909 | 2147483647 107215 103 | 0.003 % |
257.32/257.88 c | 107561 | 96653 536184 1876909 | 2147483647 107555 102 | 0.003 % |
258.52/259.04 c | 107933 | 96653 536184 1876909 | 2147483647 107927 102 | 0.003 % |
259.62/260.12 c | 108343 | 96653 536184 1876909 | 2147483647 108337 103 | 0.003 % |
261.22/261.77 c | 108792 | 96653 536184 1876909 | 2147483647 108786 103 | 0.003 % |
262.72/263.23 c | 109285 | 96653 536184 1876909 | 2147483647 109279 102 | 0.003 % |
264.63/265.19 c | 109827 | 96653 536184 1876909 | 2147483647 109821 103 | 0.003 % |
266.03/266.52 c | 110423 | 96653 536184 1876909 | 2147483647 110417 103 | 0.003 % |
267.53/268.03 c | 111078 | 96653 536184 1876909 | 2147483647 111072 103 | 0.003 % |
271.32/271.85 c | 111798 | 96653 536184 1876909 | 2147483647 111792 104 | 0.003 % |
272.22/272.73 c | 112592 | 96653 536184 1876909 | 2147483647 112586 105 | 0.003 % |
274.22/274.75 c | 113464 | 96653 536184 1876909 | 2147483647 113458 105 | 0.003 % |
275.22/275.74 c | 114423 | 96653 536184 1876909 | 2147483647 114417 105 | 0.003 % |
276.81/277.30 c | 115476 | 96653 536184 1876909 | 2147483647 115470 104 | 0.003 % |
277.92/278.47 c | 116635 | 96653 536184 1876909 | 2147483647 116629 104 | 0.003 % |
281.72/282.20 c | 117909 | 96653 536184 1876909 | 2147483647 117903 105 | 0.003 % |
281.92/282.44 c | 118011 | 96653 536184 1876909 | 2147483647 118005 104 | 0.003 % |
282.12/282.62 c | 118122 | 96653 536184 1876909 | 2147483647 118116 104 | 0.003 % |
282.42/282.95 c | 118243 | 96653 536184 1876909 | 2147483647 118237 104 | 0.003 % |
283.12/283.67 c | 118376 | 96653 536184 1876909 | 2147483647 118370 104 | 0.003 % |
283.42/283.99 c | 118522 | 96653 536184 1876909 | 2147483647 118516 104 | 0.003 % |
283.82/284.31 c | 118682 | 96653 536184 1876909 | 2147483647 118676 104 | 0.003 % |
284.12/284.67 c | 118858 | 96653 536184 1876909 | 2147483647 118852 104 | 0.003 % |
284.32/284.84 c | 119052 | 96653 536184 1876909 | 2147483647 119046 104 | 0.003 % |
285.02/285.53 c | 119264 | 96653 536184 1876909 | 2147483647 119258 104 | 0.003 % |
286.32/286.88 c | 119497 | 96653 536184 1876909 | 2147483647 119491 104 | 0.003 % |
287.02/287.57 c | 119753 | 96653 536184 1876909 | 2147483647 119747 104 | 0.003 % |
287.62/288.15 c | 120034 | 96653 536184 1876909 | 2147483647 120028 104 | 0.003 % |
288.82/289.35 c | 120343 | 96653 536184 1876909 | 2147483647 120337 104 | 0.003 % |
289.62/290.19 c | 120682 | 96653 536184 1876909 | 2147483647 120676 104 | 0.003 % |
290.22/290.71 c | 121057 | 96653 536184 1876909 | 2147483647 121051 104 | 0.003 % |
291.71/292.22 c | 121466 | 96653 536184 1876909 | 2147483647 121460 104 | 0.003 % |
292.81/293.31 c | 121915 | 96653 536184 1876909 | 2147483647 121909 104 | 0.003 % |
293.51/294.06 c | 122409 | 96653 536184 1876909 | 2147483647 122403 104 | 0.003 % |
295.21/295.78 c | 122952 | 96653 536184 1876909 | 2147483647 122946 104 | 0.003 % |
296.11/296.64 c | 123550 | 96653 536184 1876909 | 2147483647 123544 104 | 0.003 % |
298.51/299.06 c | 124205 | 96653 536184 1876909 | 2147483647 124199 104 | 0.003 % |
301.00/301.59 c | 124926 | 96653 536184 1876909 | 2147483647 124920 105 | 0.003 % |
303.80/304.34 c | 125719 | 96653 536184 1876909 | 2147483647 125713 106 | 0.003 % |
304.81/305.39 c | 126591 | 96653 536184 1876909 | 2147483647 126585 106 | 0.003 % |
308.41/308.93 c | 127549 | 96653 536184 1876909 | 2147483647 127543 106 | 0.003 % |
313.20/313.70 c | 128602 | 96653 536184 1876909 | 2147483647 128596 109 | 0.003 % |
317.11/317.61 c | 129762 | 96653 536184 1876909 | 2147483647 129756 110 | 0.003 % |
320.40/320.93 c | 131035 | 96653 536184 1876909 | 2147483647 131029 110 | 0.003 % |
323.70/324.26 c | 132449 | 96653 536184 1876909 | 2147483647 132443 110 | 0.003 % |
323.80/324.38 c | 132549 | 96653 536184 1876909 | 2147483647 132543 110 | 0.003 % |
324.40/324.90 c | 132660 | 96653 536184 1876909 | 2147483647 132654 110 | 0.003 % |
324.70/325.24 c | 132783 | 96653 536184 1876909 | 2147483647 132777 110 | 0.003 % |
324.90/325.43 c | 132916 | 96653 536184 1876909 | 2147483647 132910 110 | 0.003 % |
325.20/325.78 c | 133062 | 96653 536184 1876909 | 2147483647 133056 110 | 0.003 % |
325.70/326.26 c | 133222 | 96653 536184 1876909 | 2147483647 133216 110 | 0.003 % |
326.50/327.07 c | 133400 | 96653 536184 1876909 | 2147483647 133394 110 | 0.003 % |
326.90/327.43 c | 133593 | 96653 536184 1876909 | 2147483647 133587 110 | 0.003 % |
327.20/327.70 c | 133805 | 96653 536184 1876909 | 2147483647 133799 110 | 0.003 % |
327.50/328.01 c | 134040 | 96653 536184 1876909 | 2147483647 134034 110 | 0.003 % |
327.70/328.29 c | 134297 | 96653 536184 1876909 | 2147483647 134291 110 | 0.003 % |
328.99/329.52 c | 134578 | 96653 536184 1876909 | 2147483647 134572 110 | 0.003 % |
329.79/330.32 c | 134895 | 96653 536184 1876909 | 2147483647 134889 110 | 0.003 % |
330.69/331.23 c | 135234 | 96653 536184 1876909 | 2147483647 135228 110 | 0.003 % |
331.50/332.08 c | 135606 | 96653 536184 1876909 | 2147483647 135600 110 | 0.003 % |
332.10/332.67 c | 136019 | 96653 536184 1876909 | 2147483647 136013 110 | 0.003 % |
333.10/333.62 c | 136468 | 96653 536184 1876909 | 2147483647 136462 110 | 0.003 % |
334.19/334.75 c | 136961 | 96653 536184 1876909 | 2147483647 136955 110 | 0.003 % |
334.69/335.28 c | 137503 | 96653 536184 1876909 | 2147483647 137497 110 | 0.003 % |
336.10/336.65 c | 138102 | 96653 536184 1876909 | 2147483647 138096 109 | 0.003 % |
337.49/338.00 c | 138757 | 96653 536184 1876909 | 2147483647 138751 109 | 0.003 % |
338.99/339.53 c | 139477 | 96653 536184 1876909 | 2147483647 139471 111 | 0.003 % |
342.99/343.50 c | 140270 | 96653 536184 1876909 | 2147483647 140264 112 | 0.003 % |
345.29/345.80 c | 141142 | 96653 536184 1876909 | 2147483647 141136 112 | 0.003 % |
348.19/348.72 c | 142100 | 96653 536184 1876909 | 2147483647 142094 112 | 0.003 % |
352.19/352.73 c | 143153 | 96653 536184 1876909 | 2147483647 143147 114 | 0.003 % |
355.39/355.98 c | 144311 | 96653 536184 1876909 | 2147483647 144305 117 | 0.003 % |
362.39/362.97 c | 145584 | 96653 536184 1876909 | 2147483647 145578 119 | 0.003 % |
366.18/366.72 c | 146984 | 96653 536184 1876909 | 2147483647 146978 119 | 0.003 % |
367.98/368.52 c | 148524 | 96653 536184 1876909 | 2147483647 148518 119 | 0.003 % |
368.38/368.96 c | 148625 | 96653 536184 1876909 | 2147483647 148619 119 | 0.003 % |
368.88/369.48 c | 148735 | 96653 536184 1876909 | 2147483647 148729 119 | 0.003 % |
369.38/369.92 c | 148856 | 96653 536184 1876909 | 2147483647 148850 119 | 0.003 % |
369.78/370.30 c | 148989 | 96653 536184 1876909 | 2147483647 148983 119 | 0.003 % |
370.18/370.77 c | 149136 | 96653 536184 1876909 | 2147483647 149130 119 | 0.003 % |
370.78/371.35 c | 149300 | 96653 536184 1876909 | 2147483647 149294 119 | 0.003 % |
371.18/371.75 c | 149476 | 96653 536184 1876909 | 2147483647 149470 119 | 0.003 % |
371.98/372.56 c | 149670 | 96653 536184 1876909 | 2147483647 149664 119 | 0.003 % |
372.68/373.20 c | 149882 | 96653 536184 1876909 | 2147483647 149876 119 | 0.003 % |
373.08/373.65 c | 150116 | 96653 536184 1876909 | 2147483647 150110 119 | 0.003 % |
373.58/374.15 c | 150373 | 96653 536184 1876909 | 2147483647 150367 119 | 0.003 % |
374.18/374.77 c | 150654 | 96653 536184 1876909 | 2147483647 150648 119 | 0.003 % |
374.48/375.04 c | 150965 | 96653 536184 1876909 | 2147483647 150959 119 | 0.003 % |
375.27/375.81 c | 151304 | 96653 536184 1876909 | 2147483647 151298 118 | 0.003 % |
376.47/377.00 c | 151677 | 96653 536184 1876909 | 2147483647 151671 118 | 0.003 % |
377.78/378.33 c | 152086 | 96653 536184 1876909 | 2147483647 152080 118 | 0.003 % |
379.27/379.87 c | 152537 | 96653 536184 1876909 | 2147483647 152531 118 | 0.003 % |
380.97/381.55 c | 153030 | 96653 536184 1876909 | 2147483647 153024 118 | 0.003 % |
381.47/382.07 c | 153573 | 96653 536184 1876909 | 2147483647 153567 118 | 0.003 % |
383.48/384.01 c | 154169 | 96653 536184 1876909 | 2147483647 154163 118 | 0.003 % |
385.28/385.88 c | 154824 | 96653 536184 1876909 | 2147483647 154818 118 | 0.003 % |
387.17/387.78 c | 155544 | 96653 536184 1876909 | 2147483647 155538 119 | 0.003 % |
388.67/389.22 c | 156338 | 96653 536184 1876909 | 2147483647 156332 118 | 0.003 % |
390.27/390.83 c | 157210 | 96653 536184 1876909 | 2147483647 157204 118 | 0.003 % |
392.47/393.04 c | 158169 | 96653 536184 1876909 | 2147483647 158163 118 | 0.003 % |
395.77/396.36 c | 159224 | 96653 536184 1876909 | 2147483647 159218 119 | 0.003 % |
398.36/398.91 c | 160384 | 96653 536184 1876909 | 2147483647 160378 119 | 0.003 % |
401.87/402.47 c | 161658 | 96653 536184 1876909 | 2147483647 161652 119 | 0.003 % |
405.77/406.31 c | 163058 | 96653 536184 1876909 | 2147483647 163052 119 | 0.003 % |
407.57/408.19 c | 164598 | 96653 536184 1876909 | 2147483647 164592 118 | 0.003 % |
414.36/414.90 c | 166293 | 96653 536184 1876909 | 2147483647 166287 120 | 0.003 % |
414.76/415.32 c | 166393 | 96653 536184 1876909 | 2147483647 166387 120 | 0.003 % |
415.56/416.17 c | 166504 | 96653 536184 1876909 | 2147483647 166498 120 | 0.003 % |
416.37/416.94 c | 166626 | 96653 536184 1876909 | 2147483647 166620 120 | 0.003 % |
416.86/417.47 c | 166760 | 96653 536184 1876909 | 2147483647 166754 120 | 0.003 % |
417.26/417.87 c | 166906 | 96653 536184 1876909 | 2147483647 166900 120 | 0.003 % |
417.76/418.34 c | 167066 | 96653 536184 1876909 | 2147483647 167060 120 | 0.003 % |
418.36/418.92 c | 167296 | 96653 536184 1876909 | 2147483647 167290 121 | 0.003 % |
418.76/419.30 c | 167489 | 96653 536184 1876909 | 2147483647 167483 121 | 0.003 % |
419.36/419.91 c | 167701 | 96653 536184 1876909 | 2147483647 167695 121 | 0.003 % |
420.16/420.72 c | 167936 | 96653 536184 1876909 | 2147483647 167930 120 | 0.003 % |
420.67/421.26 c | 168194 | 96653 536184 1876909 | 2147483647 168188 120 | 0.003 % |
421.36/421.90 c | 168477 | 96653 536184 1876909 | 2147483647 168471 121 | 0.003 % |
422.16/422.75 c | 168786 | 96653 536184 1876909 | 2147483647 168780 121 | 0.003 % |
423.36/423.96 c | 169126 | 96653 536184 1876909 | 2147483647 169120 121 | 0.003 % |
424.26/424.82 c | 169498 | 96653 536184 1876909 | 2147483647 169492 121 | 0.003 % |
425.16/425.71 c | 169907 | 96653 536184 1876909 | 2147483647 169901 122 | 0.003 % |
426.85/427.43 c | 170356 | 96653 536184 1876909 | 2147483647 170350 122 | 0.003 % |
428.75/429.36 c | 170849 | 96653 536184 1876909 | 2147483647 170843 122 | 0.003 % |
431.76/432.33 c | 171392 | 96653 536184 1876909 | 2147483647 171386 123 | 0.003 % |
433.66/434.29 c | 171988 | 96653 536184 1876909 | 2147483647 171982 123 | 0.003 % |
435.25/435.89 c | 172643 | 96653 536184 1876909 | 2147483647 172637 123 | 0.003 % |
437.05/437.68 c | 173364 | 96653 536184 1876909 | 2147483647 173358 123 | 0.003 % |
440.35/440.91 c | 174157 | 96653 536184 1876909 | 2147483647 174151 124 | 0.003 % |
443.05/443.62 c | 175030 | 96653 536184 1876909 | 2147483647 175024 125 | 0.003 % |
445.45/446.07 c | 175988 | 96653 536184 1876909 | 2147483647 175982 125 | 0.003 % |
448.05/448.61 c | 177041 | 96653 536184 1876909 | 2147483647 177035 125 | 0.003 % |
451.25/451.87 c | 178200 | 96653 536184 1876909 | 2147483647 178194 126 | 0.003 % |
457.45/458.01 c | 179476 | 96653 536184 1876909 | 2147483647 179470 127 | 0.003 % |
461.14/461.74 c | 180878 | 96653 536184 1876909 | 2147483647 180872 129 | 0.003 % |
464.44/465.08 c | 182418 | 96653 536184 1876909 | 2147483647 182412 129 | 0.003 % |
467.54/468.13 c | 184115 | 96653 536184 1876909 | 2147483647 184109 129 | 0.003 % |
471.04/471.66 c | 185979 | 96653 536184 1876909 | 2147483647 185973 129 | 0.003 % |
471.44/472.05 c | 186079 | 96653 536184 1876909 | 2147483647 186073 129 | 0.003 % |
471.74/472.31 c | 186195 | 96653 536184 1876909 | 2147483647 186189 129 | 0.003 % |
471.93/472.57 c | 186316 | 96653 536184 1876909 | 2147483647 186310 129 | 0.003 % |
472.13/472.71 c | 186450 | 96653 536184 1876909 | 2147483647 186444 129 | 0.003 % |
472.73/473.30 c | 186598 | 96653 536184 1876909 | 2147483647 186592 129 | 0.003 % |
473.13/473.74 c | 186758 | 96653 536184 1876909 | 2147483647 186752 129 | 0.003 % |
473.63/474.25 c | 186934 | 96653 536184 1876909 | 2147483647 186928 129 | 0.003 % |
474.03/474.68 c | 187128 | 96653 536184 1876909 | 2147483647 187122 129 | 0.003 % |
475.03/475.68 c | 187342 | 96653 536184 1876909 | 2147483647 187336 129 | 0.003 % |
475.33/475.97 c | 187576 | 96653 536184 1876909 | 2147483647 187570 129 | 0.003 % |
475.83/476.49 c | 187835 | 96653 536184 1876909 | 2147483647 187829 129 | 0.003 % |
476.53/477.11 c | 188116 | 96653 536184 1876909 | 2147483647 188110 129 | 0.003 % |
477.83/478.40 c | 188426 | 96653 536184 1876909 | 2147483647 188420 129 | 0.003 % |
479.04/479.68 c | 188765 | 96653 536184 1876909 | 2147483647 188759 129 | 0.003 % |
480.43/481.03 c | 189137 | 96653 536184 1876909 | 2147483647 189131 129 | 0.003 % |
481.63/482.23 c | 189546 | 96653 536184 1876909 | 2147483647 189540 129 | 0.003 % |
483.13/483.79 c | 189996 | 96653 536184 1876909 | 2147483647 189990 129 | 0.003 % |
483.53/484.15 c | 190496 | 96653 536184 1876909 | 2147483647 190490 129 | 0.003 % |
485.23/485.88 c | 191039 | 96653 536184 1876909 | 2147483647 191033 129 | 0.003 % |
486.53/487.15 c | 191637 | 96653 536184 1876909 | 2147483647 191631 129 | 0.003 % |
488.32/488.94 c | 192292 | 96653 536184 1876909 | 2147483647 192286 128 | 0.003 % |
489.94/490.59 c | 193013 | 96653 536184 1876909 | 2147483647 193007 128 | 0.003 % |
492.03/492.65 c | 193805 | 96653 536184 1876909 | 2147483647 193799 129 | 0.003 % |
494.13/494.75 c | 194680 | 96653 536184 1876909 | 2147483647 194674 130 | 0.003 % |
496.92/497.60 c | 195640 | 96653 536184 1876909 | 2147483647 195634 130 | 0.003 % |
500.02/500.60 c | 196694 | 96653 536184 1876909 | 2147483647 196688 129 | 0.003 % |
502.52/503.18 c | 197855 | 96653 536184 1876909 | 2147483647 197849 129 | 0.003 % |
505.92/506.57 c | 199128 | 96653 536184 1876909 | 2147483647 199122 129 | 0.003 % |
508.42/509.02 c | 200528 | 96653 536184 1876909 | 2147483647 200522 129 | 0.003 % |
512.03/512.69 c | 202071 | 96653 536184 1876909 | 2147483647 202065 130 | 0.003 % |
517.52/518.12 c | 203767 | 96653 536184 1876909 | 2147483647 203761 132 | 0.003 % |
525.32/525.90 c | 205630 | 96653 536184 1876909 | 2147483647 205624 134 | 0.003 % |
528.52/529.16 c | 207680 | 96653 536184 1876909 | 2147483647 207674 133 | 0.003 % |
529.01/529.66 c | 207782 | 96653 536184 1876909 | 2147483647 207776 133 | 0.003 % |
529.31/529.98 c | 207893 | 96653 536184 1876909 | 2147483647 207887 132 | 0.003 % |
529.71/530.39 c | 208014 | 96653 536184 1876909 | 2147483647 208008 132 | 0.003 % |
530.11/530.79 c | 208148 | 96653 536184 1876909 | 2147483647 208142 132 | 0.003 % |
530.62/531.22 c | 208294 | 96653 536184 1876909 | 2147483647 208288 132 | 0.003 % |
531.82/532.43 c | 208454 | 96653 536184 1876909 | 2147483647 208448 132 | 0.003 % |
532.21/532.84 c | 208631 | 96653 536184 1876909 | 2147483647 208625 132 | 0.003 % |
532.91/533.57 c | 208828 | 96653 536184 1876909 | 2147483647 208822 132 | 0.003 % |
533.51/534.19 c | 209041 | 96653 536184 1876909 | 2147483647 209035 132 | 0.003 % |
533.81/534.44 c | 209279 | 96653 536184 1876909 | 2147483647 209273 133 | 0.003 % |
534.81/535.49 c | 209536 | 96653 536184 1876909 | 2147483647 209530 133 | 0.003 % |
535.81/536.47 c | 209818 | 96653 536184 1876909 | 2147483647 209812 133 | 0.003 % |
537.11/537.74 c | 210146 | 96653 536184 1876909 | 2147483647 210140 133 | 0.003 % |
537.41/538.02 c | 210485 | 96653 536184 1876909 | 2147483647 210479 133 | 0.003 % |
538.31/538.92 c | 210858 | 96652 536056 1876653 | 2147483647 210850 132 | 0.004 % |
539.21/539.84 c | 211267 | 96652 536056 1876653 | 2147483647 211259 133 | 0.004 % |
540.51/541.14 c | 211716 | 96652 536056 1876653 | 2147483647 211708 133 | 0.004 % |
541.90/542.53 c | 212211 | 96652 536056 1876653 | 2147483647 212203 133 | 0.004 % |
543.20/543.87 c | 212753 | 96652 536056 1876653 | 2147483647 212745 133 | 0.004 % |
545.40/546.03 c | 213349 | 96652 536056 1876653 | 2147483647 213341 133 | 0.004 % |
547.60/548.23 c | 214004 | 96652 536056 1876653 | 2147483647 213996 132 | 0.004 % |
550.70/551.34 c | 214724 | 96652 536056 1876653 | 2147483647 214716 132 | 0.004 % |
554.10/554.75 c | 215516 | 96652 536056 1876653 | 2147483647 215508 133 | 0.004 % |
557.50/558.16 c | 216388 | 96652 536056 1876653 | 2147483647 216380 133 | 0.004 % |
561.40/562.10 c | 217347 | 96652 536056 1876653 | 2147483647 217339 133 | 0.004 % |
566.29/566.90 c | 218400 | 96652 536056 1876653 | 2147483647 218392 134 | 0.004 % |
569.80/570.42 c | 219560 | 96652 536056 1876653 | 2147483647 219552 134 | 0.004 % |
572.19/572.85 c | 220833 | 96652 536056 1876653 | 2147483647 220825 134 | 0.004 % |
575.59/576.28 c | 222234 | 96652 536056 1876653 | 2147483647 222226 134 | 0.004 % |
579.39/580.04 c | 223774 | 96652 536056 1876653 | 2147483647 223766 134 | 0.004 % |
582.89/583.50 c | 225469 | 96652 536056 1876653 | 2147483647 225461 133 | 0.004 % |
588.19/588.80 c | 227333 | 96652 536056 1876653 | 2147483647 227325 134 | 0.004 % |
593.39/594.02 c | 229383 | 96652 536056 1876653 | 2147483647 229375 136 | 0.004 % |
600.88/601.58 c | 231637 | 96652 536056 1876653 | 2147483647 231629 135 | 0.004 % |
601.28/601.95 c | 231737 | 96652 536056 1876653 | 2147483647 231729 135 | 0.004 % |
601.98/602.64 c | 231849 | 96652 536056 1876653 | 2147483647 231841 135 | 0.004 % |
602.18/602.81 c | 231970 | 96652 536056 1876653 | 2147483647 231962 135 | 0.004 % |
602.58/603.25 c | 232105 | 96652 536056 1876653 | 2147483647 232097 135 | 0.004 % |
602.78/603.47 c | 232251 | 96652 536056 1876653 | 2147483647 232243 135 | 0.004 % |
603.28/603.99 c | 232412 | 96652 536056 1876653 | 2147483647 232404 135 | 0.004 % |
603.78/604.47 c | 232588 | 96652 536056 1876653 | 2147483647 232580 135 | 0.004 % |
604.48/605.14 c | 232781 | 96652 536056 1876653 | 2147483647 232773 135 | 0.004 % |
605.18/605.82 c | 232993 | 96652 536056 1876653 | 2147483647 232985 135 | 0.004 % |
605.78/606.44 c | 233229 | 96652 536056 1876653 | 2147483647 233221 135 | 0.004 % |
606.78/607.47 c | 233486 | 96652 536056 1876653 | 2147483647 233478 135 | 0.004 % |
607.38/608.09 c | 233769 | 96652 536056 1876653 | 2147483647 233761 135 | 0.004 % |
608.17/608.84 c | 234078 | 96652 536056 1876653 | 2147483647 234070 135 | 0.004 % |
609.07/609.72 c | 234417 | 96652 536056 1876653 | 2147483647 234409 135 | 0.004 % |
610.18/610.86 c | 234790 | 96652 536056 1876653 | 2147483647 234782 135 | 0.004 % |
611.28/612.00 c | 235201 | 96652 536056 1876653 | 2147483647 235193 135 | 0.004 % |
613.28/613.90 c | 235650 | 96652 536056 1876653 | 2147483647 235642 135 | 0.004 % |
614.48/615.16 c | 236145 | 96652 536056 1876653 | 2147483647 236137 135 | 0.004 % |
615.77/616.41 c | 236688 | 96652 536056 1876653 | 2147483647 236680 136 | 0.004 % |
616.38/617.08 c | 237286 | 96652 536056 1876653 | 2147483647 237278 135 | 0.004 % |
619.37/620.06 c | 237941 | 96652 536056 1876653 | 2147483647 237933 136 | 0.004 % |
621.77/622.45 c | 238661 | 96652 536056 1876653 | 2147483647 238653 136 | 0.004 % |
624.08/624.75 c | 239456 | 96652 536056 1876653 | 2147483647 239448 136 | 0.004 % |
627.17/627.89 c | 240327 | 96652 536056 1876653 | 2147483647 240319 137 | 0.004 % |
631.07/631.71 c | 241288 | 96652 536056 1876653 | 2147483647 241280 137 | 0.004 % |
634.57/635.24 c | 242341 | 96652 536056 1876653 | 2147483647 242333 137 | 0.004 % |
637.27/637.99 c | 243499 | 96652 536056 1876653 | 2147483647 243491 137 | 0.004 % |
642.56/643.23 c | 244773 | 96652 536056 1876653 | 2147483647 244765 137 | 0.004 % |
646.47/647.17 c | 246173 | 96652 536056 1876653 | 2147483647 246165 138 | 0.004 % |
650.96/651.69 c | 247713 | 96652 536056 1876653 | 2147483647 247705 138 | 0.004 % |
655.76/656.47 c | 249407 | 96652 536056 1876653 | 2147483647 249399 139 | 0.004 % |
660.86/661.58 c | 251272 | 96652 536056 1876653 | 2147483647 251264 139 | 0.004 % |
667.26/667.90 c | 253322 | 96652 536056 1876653 | 2147483647 253314 138 | 0.004 % |
677.05/677.73 c | 255579 | 96652 536056 1876653 | 2147483647 255571 139 | 0.004 % |
685.95/686.60 c | 258058 | 96652 536056 1876653 | 2147483647 258050 139 | 0.004 % |
686.25/686.91 c | 258158 | 96652 536056 1876653 | 2147483647 258150 139 | 0.004 % |
687.35/688.04 c | 258270 | 96652 536056 1876653 | 2147483647 258262 139 | 0.004 % |
687.95/688.62 c | 258392 | 96652 536056 1876653 | 2147483647 258384 139 | 0.004 % |
688.25/688.91 c | 258527 | 96652 536056 1876653 | 2147483647 258519 139 | 0.004 % |
689.15/689.84 c | 258673 | 96652 536056 1876653 | 2147483647 258665 139 | 0.004 % |
689.95/690.65 c | 258834 | 96652 536056 1876653 | 2147483647 258826 140 | 0.004 % |
690.55/691.30 c | 259014 | 96652 536056 1876653 | 2147483647 259006 140 | 0.004 % |
691.45/692.12 c | 259207 | 96652 536056 1876653 | 2147483647 259199 140 | 0.004 % |
692.35/693.01 c | 259421 | 96652 536056 1876653 | 2147483647 259413 140 | 0.004 % |
693.35/694.05 c | 259658 | 96652 536056 1876653 | 2147483647 259650 140 | 0.004 % |
694.25/694.91 c | 259914 | 96652 536056 1876653 | 2147483647 259906 140 | 0.004 % |
694.64/695.39 c | 260204 | 96652 536056 1876653 | 2147483647 260196 140 | 0.004 % |
695.94/696.68 c | 260517 | 96652 536056 1876653 | 2147483647 260509 140 | 0.004 % |
696.54/697.23 c | 260857 | 96652 536056 1876653 | 2147483647 260849 140 | 0.004 % |
697.24/697.98 c | 261229 | 96652 536056 1876653 | 2147483647 261221 140 | 0.004 % |
698.44/699.13 c | 261639 | 96652 536056 1876653 | 2147483647 261631 140 | 0.004 % |
699.54/700.24 c | 262088 | 96652 536056 1876653 | 2147483647 262080 140 | 0.004 % |
701.45/702.19 c | 262581 | 96652 536056 1876653 | 2147483647 262573 140 | 0.004 % |
703.25/703.95 c | 263124 | 96652 536056 1876653 | 2147483647 263116 140 | 0.004 % |
704.35/705.01 c | 263720 | 96652 536056 1876653 | 2147483647 263712 140 | 0.004 % |
707.54/708.21 c | 264377 | 96652 536056 1876653 | 2147483647 264369 140 | 0.004 % |
709.54/710.26 c | 265097 | 96652 536056 1876653 | 2147483647 265089 140 | 0.004 % |
713.24/713.92 c | 265890 | 96652 536056 1876653 | 2147483647 265882 140 | 0.004 % |
715.34/716.03 c | 266762 | 96652 536056 1876653 | 2147483647 266754 141 | 0.004 % |
718.14/718.87 c | 267720 | 96652 536056 1876653 | 2147483647 267712 141 | 0.004 % |
722.14/722.87 c | 268774 | 96652 536056 1876653 | 2147483647 268766 140 | 0.004 % |
726.04/726.71 c | 269932 | 96652 536056 1876653 | 2147483647 269924 140 | 0.004 % |
731.53/732.23 c | 271205 | 96652 536056 1876653 | 2147483647 271197 141 | 0.004 % |
735.63/736.30 c | 272608 | 96652 536056 1876653 | 2147483647 272600 141 | 0.004 % |
741.03/741.70 c | 274148 | 96652 536056 1876653 | 2147483647 274140 141 | 0.004 % |
746.92/747.64 c | 275842 | 96652 536056 1876653 | 2147483647 275834 141 | 0.004 % |
753.93/754.65 c | 277707 | 96652 536056 1876653 | 2147483647 277699 142 | 0.004 % |
763.52/764.27 c | 279756 | 96652 536056 1876653 | 2147483647 279748 143 | 0.004 % |
775.72/776.44 c | 282009 | 96652 536056 1876653 | 2147483647 282001 144 | 0.004 % |
782.72/783.48 c | 284488 | 96652 536056 1876653 | 2147483647 284480 145 | 0.004 % |
790.12/790.81 c | 287214 | 96652 536056 1876653 | 2147483647 287206 145 | 0.004 % |
790.62/791.36 c | 287315 | 96652 536056 1876653 | 2147483647 287307 145 | 0.004 % |
791.01/791.74 c | 287425 | 96652 536056 1876653 | 2147483647 287417 145 | 0.004 % |
791.71/792.48 c | 287546 | 96652 536056 1876653 | 2147483647 287538 145 | 0.004 % |
792.21/792.92 c | 287682 | 96652 536056 1876653 | 2147483647 287674 145 | 0.004 % |
792.71/793.43 c | 287828 | 96652 536056 1876653 | 2147483647 287820 145 | 0.004 % |
793.71/794.41 c | 287988 | 96652 536056 1876653 | 2147483647 287980 145 | 0.004 % |
794.71/795.40 c | 288164 | 96652 536056 1876653 | 2147483647 288156 145 | 0.004 % |
795.31/796.03 c | 288357 | 96652 536056 1876653 | 2147483647 288349 145 | 0.004 % |
796.01/796.78 c | 288570 | 96652 536056 1876653 | 2147483647 288562 145 | 0.004 % |
796.51/797.26 c | 288803 | 96652 536056 1876653 | 2147483647 288795 145 | 0.004 % |
797.31/798.00 c | 289061 | 96652 536056 1876653 | 2147483647 289053 145 | 0.004 % |
797.51/798.28 c | 289342 | 96652 536056 1876653 | 2147483647 289334 145 | 0.004 % |
798.81/799.59 c | 289651 | 96652 536056 1876653 | 2147483647 289643 145 | 0.004 % |
799.81/800.55 c | 289991 | 96652 536056 1876653 | 2147483647 289983 145 | 0.004 % |
800.71/801.44 c | 290364 | 96652 536056 1876653 | 2147483647 290356 145 | 0.004 % |
801.80/802.57 c | 290773 | 96652 536056 1876653 | 2147483647 290765 145 | 0.004 % |
802.21/802.90 c | 291223 | 96652 536056 1876653 | 2147483647 291215 145 | 0.004 % |
804.40/805.16 c | 291719 | 96652 536056 1876653 | 2147483647 291711 145 | 0.004 % |
806.50/807.20 c | 292265 | 96652 536056 1876653 | 2147483647 292257 146 | 0.004 % |
808.00/808.75 c | 292864 | 96652 536056 1876653 | 2147483647 292856 146 | 0.004 % |
809.40/810.13 c | 293519 | 96652 536056 1876653 | 2147483647 293511 146 | 0.004 % |
812.10/812.84 c | 294239 | 96652 536056 1876653 | 2147483647 294231 146 | 0.004 % |
814.40/815.14 c | 295031 | 96652 536056 1876653 | 2147483647 295023 146 | 0.004 % |
817.49/818.27 c | 295902 | 96652 536056 1876653 | 2147483647 295894 147 | 0.004 % |
821.30/822.07 c | 296860 | 96652 536056 1876653 | 2147483647 296852 148 | 0.004 % |
827.89/828.63 c | 297913 | 96652 536056 1876653 | 2147483647 297905 149 | 0.004 % |
833.59/834.32 c | 299071 | 96652 536056 1876653 | 2147483647 299063 150 | 0.004 % |
838.89/839.67 c | 300344 | 96652 536056 1876653 | 2147483647 300336 151 | 0.004 % |
844.39/845.11 c | 301744 | 96652 536056 1876653 | 2147483647 301736 152 | 0.004 % |
848.68/849.48 c | 303287 | 96652 536056 1876653 | 2147483647 303279 152 | 0.004 % |
852.59/853.38 c | 304982 | 96652 536056 1876653 | 2147483647 304974 152 | 0.004 % |
858.18/858.94 c | 306847 | 96652 536056 1876653 | 2147483647 306839 152 | 0.004 % |
869.28/870.09 c | 308896 | 96652 536056 1876653 | 2147483647 308888 154 | 0.004 % |
877.97/878.79 c | 311149 | 96652 536056 1876653 | 2147483647 311141 156 | 0.004 % |
889.17/889.92 c | 313628 | 96652 536056 1876653 | 2147483647 313620 157 | 0.004 % |
900.56/901.33 c | 316353 | 96652 536056 1876653 | 2147483647 316345 159 | 0.004 % |
913.86/914.69 c | 319351 | 96652 536056 1876653 | 2147483647 319343 159 | 0.004 % |
914.46/915.27 c | 319451 | 96652 536056 1876653 | 2147483647 319443 159 | 0.004 % |
914.76/915.51 c | 319561 | 96652 536056 1876653 | 2147483647 319553 160 | 0.004 % |
914.96/915.76 c | 319682 | 96652 536056 1876653 | 2147483647 319674 159 | 0.004 % |
915.46/916.22 c | 319816 | 96652 536056 1876653 | 2147483647 319808 159 | 0.004 % |
915.96/916.75 c | 319964 | 96652 536056 1876653 | 2147483647 319956 159 | 0.004 % |
916.96/917.74 c | 320124 | 96652 536056 1876653 | 2147483647 320116 159 | 0.004 % |
918.06/918.87 c | 320305 | 96652 536056 1876653 | 2147483647 320297 159 | 0.004 % |
918.76/919.52 c | 320498 | 96652 536056 1876653 | 2147483647 320490 159 | 0.004 % |
919.76/920.51 c | 320711 | 96652 536056 1876653 | 2147483647 320703 159 | 0.004 % |
920.36/921.10 c | 320945 | 96652 536056 1876653 | 2147483647 320937 159 | 0.004 % |
920.76/921.58 c | 321201 | 96652 536056 1876653 | 2147483647 321193 159 | 0.004 % |
921.66/922.40 c | 321482 | 96652 536056 1876653 | 2147483647 321474 159 | 0.004 % |
922.46/923.26 c | 321791 | 96652 536056 1876653 | 2147483647 321783 159 | 0.004 % |
923.66/924.41 c | 322130 | 96652 536056 1876653 | 2147483647 322122 159 | 0.004 % |
924.76/925.57 c | 322502 | 96652 536056 1876653 | 2147483647 322494 159 | 0.004 % |
925.66/926.40 c | 322913 | 96652 536056 1876653 | 2147483647 322905 159 | 0.004 % |
927.96/928.78 c | 323362 | 96652 536056 1876653 | 2147483647 323354 159 | 0.004 % |
929.96/930.75 c | 323855 | 96652 536056 1876653 | 2147483647 323847 159 | 0.004 % |
931.76/932.54 c | 324398 | 96652 536056 1876653 | 2147483647 324390 159 | 0.004 % |
933.26/934.07 c | 324994 | 96652 536056 1876653 | 2147483647 324986 159 | 0.004 % |
935.36/936.16 c | 325651 | 96652 536056 1876653 | 2147483647 325643 159 | 0.004 % |
936.66/937.41 c | 326372 | 96652 536056 1876653 | 2147483647 326364 159 | 0.004 % |
939.16/939.93 c | 327165 | 96652 536056 1876653 | 2147483647 327157 160 | 0.004 % |
941.96/942.77 c | 328041 | 96652 536056 1876653 | 2147483647 328033 160 | 0.004 % |
943.95/944.79 c | 328999 | 96652 536056 1876653 | 2147483647 328991 161 | 0.004 % |
947.65/948.46 c | 330053 | 96652 536056 1876653 | 2147483647 330045 161 | 0.004 % |
950.25/951.00 c | 331212 | 96652 536056 1876653 | 2147483647 331204 161 | 0.004 % |
955.15/955.94 c | 332485 | 96652 536056 1876653 | 2147483647 332477 162 | 0.004 % |
958.05/958.87 c | 333892 | 96652 536056 1876653 | 2147483647 333884 164 | 0.004 % |
964.74/965.58 c | 335432 | 96652 536056 1876653 | 2147483647 335424 164 | 0.004 % |
969.34/970.16 c | 337126 | 96652 536056 1876653 | 2147483647 337118 163 | 0.004 % |
983.04/983.86 c | 338989 | 96652 536056 1876653 | 2147483647 338981 165 | 0.004 % |
991.64/992.41 c | 341039 | 96652 536056 1876653 | 2147483647 341031 167 | 0.004 % |
997.83/998.70 c | 343292 | 96652 536056 1876653 | 2147483647 343284 166 | 0.004 % |
1009.73/1010.55 c | 345770 | 96652 536056 1876653 | 2147483647 345762 168 | 0.004 % |
1022.02/1022.90 c | 348499 | 96652 536056 1876653 | 2147483647 348491 169 | 0.004 % |
1035.72/1036.54 c | 351496 | 96652 536056 1876653 | 2147483647 351488 170 | 0.004 % |
1056.81/1057.66 c | 354792 | 96652 536056 1876653 | 2147483647 354784 174 | 0.004 % |
1057.31/1058.13 c | 354892 | 96652 536056 1876653 | 2147483647 354884 174 | 0.004 % |
1057.61/1058.45 c | 355004 | 96652 536056 1876653 | 2147483647 354996 174 | 0.004 % |
1057.91/1058.74 c | 355128 | 96652 536056 1876653 | 2147483647 355120 174 | 0.004 % |
1058.41/1059.27 c | 355262 | 96652 536056 1876653 | 2147483647 355254 174 | 0.004 % |
1058.91/1059.76 c | 355411 | 96652 536056 1876653 | 2147483647 355403 174 | 0.004 % |
1059.41/1060.30 c | 355572 | 96652 536056 1876653 | 2147483647 355564 174 | 0.004 % |
1060.20/1061.03 c | 355748 | 96652 536056 1876653 | 2147483647 355740 174 | 0.004 % |
1061.11/1061.99 c | 355942 | 96652 536056 1876653 | 2147483647 355934 174 | 0.004 % |
1061.82/1062.69 c | 356154 | 96652 536056 1876653 | 2147483647 356146 174 | 0.004 % |
1062.41/1063.21 c | 356388 | 96652 536056 1876653 | 2147483647 356380 174 | 0.004 % |
1063.51/1064.33 c | 356644 | 96652 536056 1876653 | 2147483647 356636 174 | 0.004 % |
1064.51/1065.31 c | 356926 | 96652 536056 1876653 | 2147483647 356918 175 | 0.004 % |
1065.71/1066.50 c | 357235 | 96652 536056 1876653 | 2147483647 357227 175 | 0.004 % |
1066.61/1067.46 c | 357574 | 96652 536056 1876653 | 2147483647 357566 175 | 0.004 % |
1068.01/1068.81 c | 357947 | 96652 536056 1876653 | 2147483647 357939 174 | 0.004 % |
1070.70/1071.51 c | 358357 | 96652 536056 1876653 | 2147483647 358349 175 | 0.004 % |
1071.71/1072.56 c | 358806 | 96652 536056 1876653 | 2147483647 358798 175 | 0.004 % |
1073.60/1074.44 c | 359306 | 96652 536056 1876653 | 2147483647 359298 175 | 0.004 % |
1076.51/1077.31 c | 359849 | 96652 536056 1876653 | 2147483647 359841 176 | 0.004 % |
1078.60/1079.46 c | 360448 | 96652 536056 1876653 | 2147483647 360440 177 | 0.004 % |
1081.20/1082.07 c | 361103 | 96652 536056 1876653 | 2147483647 361095 177 | 0.004 % |
1083.30/1084.12 c | 361824 | 96652 536056 1876653 | 2147483647 361816 178 | 0.004 % |
1087.11/1087.98 c | 362644 | 96652 536056 1876653 | 2147483647 362636 178 | 0.004 % |
1091.00/1091.81 c | 363519 | 96652 536056 1876653 | 2147483647 363511 178 | 0.004 % |
1095.00/1095.82 c | 364478 | 96652 536056 1876653 | 2147483647 364470 178 | 0.004 % |
1100.39/1101.21 c | 365531 | 96652 536056 1876653 | 2147483647 365523 178 | 0.004 % |
1103.89/1104.80 c | 366691 | 96652 536056 1876653 | 2147483647 366683 178 | 0.004 % |
1109.79/1110.62 c | 367964 | 96652 536056 1876653 | 2147483647 367956 180 | 0.004 % |
1116.09/1116.93 c | 369364 | 96652 536056 1876653 | 2147483647 369356 181 | 0.004 % |
1123.19/1124.05 c | 370906 | 96652 536056 1876653 | 2147483647 370898 183 | 0.004 % |
1134.28/1135.13 c | 372600 | 96652 536056 1876653 | 2147483647 372592 184 | 0.004 % |
1146.38/1147.26 c | 374463 | 96652 536056 1876653 | 2147483647 374455 185 | 0.004 % |
1152.78/1153.68 c | 376515 | 96652 536056 1876653 | 2147483647 376507 185 | 0.004 % |
1166.77/1167.67 c | 378768 | 96652 536056 1876653 | 2147483647 378760 186 | 0.004 % |
1180.77/1181.63 c | 381247 | 96652 536056 1876653 | 2147483647 381239 189 | 0.004 % |
1192.36/1193.29 c | 383972 | 96652 536056 1876653 | 2147483647 383964 189 | 0.004 % |
1199.56/1200.43 c | 386969 | 96652 536056 1876653 | 2147483647 386961 188 | 0.004 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833621-1242823989/watcher-1833621-1242823989 -o /tmp/evaluation-result-1833621-1242823989/solver-1833621-1242823989 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833621-1242823989.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[startup+0.049958 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101968 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302005 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70108 s]
/proc/loadavg: 0.95 0.98 1.02 3/64 13811
/proc/meminfo: memFree=1948096/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50123 s]
/proc/loadavg: 0.95 0.98 1.02 2/66 13816
/proc/meminfo: memFree=1807152/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=170400 CPUtime=1.49
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 39672 0 0 0 127 22 0 0 25 0 1 0 310427623 174489600 36595 1992294400 134512640 135223648 4294956128 18446744073709551615 134548489 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 42600 36595 76 173 0 42425 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 175756
[startup+3.10153 s]
/proc/loadavg: 0.95 0.98 1.02 2/66 13816
/proc/meminfo: memFree=1794736/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=173792 CPUtime=3.08
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 40520 0 0 0 282 26 0 0 25 0 1 0 310427623 177963008 37443 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 43448 37443 76 173 0 43273 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 179148
[startup+6.30114 s]
/proc/loadavg: 0.95 0.98 1.01 2/66 13816
/proc/meminfo: memFree=1776632/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=179280 CPUtime=6.28
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 41813 0 0 0 596 32 0 0 25 0 1 0 310427623 183582720 38736 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 44820 38736 76 173 0 44645 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 184636
[startup+12.7013 s]
/proc/loadavg: 0.95 0.98 1.01 2/66 13816
/proc/meminfo: memFree=1744824/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=0
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310427623 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13811/statm: 1339 237 197 169 0 50 0
[pid=13815] ppid=13811 vsize=188420 CPUtime=12.66
/proc/13815/stat : 13815 (SatELite_releas) R 13811 13811 13673 0 -1 4194304 43819 0 0 0 1222 44 0 0 25 0 1 0 310427623 192942080 40742 1992294400 134512640 135223648 4294956128 18446744073709551615 134548489 0 0 4096 3 0 0 0 17 1 0 0
/proc/13815/statm: 47105 40742 76 173 0 46930 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 193776
[startup+25.5018 s]
/proc/loadavg: 0.96 0.98 1.01 2/66 13817
/proc/meminfo: memFree=1832952/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=35368 CPUtime=0.89
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 8196 0 0 0 85 4 0 0 25 0 1 0 310430081 36216832 8182 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 8842 8182 77 171 0 8669 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 40724
[startup+51.1016 s]
/proc/loadavg: 0.97 0.98 1.01 2/66 13817
/proc/meminfo: memFree=1827896/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=40116 CPUtime=26.48
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 9365 0 0 0 2643 5 0 0 25 0 1 0 310430081 41078784 9351 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 10029 9351 77 171 0 9856 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 45472
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 1.01 2/66 13817
/proc/meminfo: memFree=1818552/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=49460 CPUtime=77.64
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 11700 0 0 0 7756 8 0 0 25 0 1 0 310430081 50647040 11686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 12365 11686 77 171 0 12192 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 54816
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1803448/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=64628 CPUtime=137.6
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 15479 0 0 0 13749 11 0 0 25 0 1 0 310430081 66179072 15465 1992294400 134512640 135215339 4294956240 18446744073709551615 134538556 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 16157 15465 77 171 0 15984 0
Current children cumulated CPU time (s) 161.86
Current children cumulated vsize (KiB) 69984
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1790008/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=78008 CPUtime=197.59
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 18786 0 0 0 19745 14 0 0 25 0 1 0 310430081 79880192 18772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 19502 18772 77 171 0 19329 0
Current children cumulated CPU time (s) 221.85
Current children cumulated vsize (KiB) 83364
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1776952/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=90812 CPUtime=257.56
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 22034 0 0 0 25739 17 0 0 25 0 1 0 310430081 92991488 22020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 22703 22020 77 171 0 22530 0
Current children cumulated CPU time (s) 281.82
Current children cumulated vsize (KiB) 96168
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1762616/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=105348 CPUtime=317.53
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 25622 0 0 0 31733 20 0 0 25 0 1 0 310430081 107876352 25608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 26337 25608 77 171 0 26164 0
Current children cumulated CPU time (s) 341.79
Current children cumulated vsize (KiB) 110704
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13817
/proc/meminfo: memFree=1747576/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=120132 CPUtime=377.51
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 29337 0 0 0 37726 25 0 0 25 0 1 0 310430081 123015168 29323 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 30033 29323 77 171 0 29860 0
Current children cumulated CPU time (s) 401.77
Current children cumulated vsize (KiB) 125488
[startup+462.301 s]
################
# More data... #
################
/proc/13817/statm: 41497 40734 77 171 0 41324 0
Current children cumulated CPU time (s) 581.69
Current children cumulated vsize (KiB) 171344
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1686768/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=180540 CPUtime=617.4
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 44392 0 0 0 61699 41 0 0 25 0 1 0 310430081 184872960 44378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 45135 44378 77 171 0 44962 0
Current children cumulated CPU time (s) 641.66
Current children cumulated vsize (KiB) 185896
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1673392/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=193624 CPUtime=677.39
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 47701 0 0 0 67694 45 0 0 25 0 1 0 310430081 198270976 47687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 48406 47687 77 171 0 48233 0
Current children cumulated CPU time (s) 701.65
Current children cumulated vsize (KiB) 198980
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1659888/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=206836 CPUtime=737.37
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 51006 0 0 0 73688 49 0 0 25 0 1 0 310430081 211800064 50992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 51709 50992 77 171 0 51536 0
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (KiB) 212192
[startup+822.301 s]
/proc/loadavg: 0.99 0.98 1.00 2/66 13823
/proc/meminfo: memFree=1643256/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=223616 CPUtime=797.34
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 55213 0 0 0 79680 54 0 0 25 0 1 0 310430081 228982784 55199 1992294400 134512640 135215339 4294956240 18446744073709551615 134527384 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 55904 55199 77 171 0 55731 0
Current children cumulated CPU time (s) 821.6
Current children cumulated vsize (KiB) 228972
[startup+882.301 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 13823
/proc/meminfo: memFree=1623480/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=243700 CPUtime=857.31
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 60081 0 0 0 85673 58 0 0 25 0 1 0 310430081 249548800 60067 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 60925 60067 77 171 0 60752 0
Current children cumulated CPU time (s) 881.57
Current children cumulated vsize (KiB) 249056
[startup+942.302 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 13823
/proc/meminfo: memFree=1607544/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=259748 CPUtime=917.29
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 64103 0 0 0 91666 63 0 0 25 0 1 0 310430081 265981952 64089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 64937 64089 77 171 0 64764 0
Current children cumulated CPU time (s) 941.55
Current children cumulated vsize (KiB) 265104
[startup+1002.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 13823
/proc/meminfo: memFree=1588024/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=278904 CPUtime=977.27
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 68916 0 0 0 97660 67 0 0 25 0 1 0 310430081 285597696 68902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 69726 68902 77 171 0 69553 0
Current children cumulated CPU time (s) 1001.53
Current children cumulated vsize (KiB) 284260
[startup+1062.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 13823
/proc/meminfo: memFree=1568632/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=298284 CPUtime=1037.25
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 73778 0 0 0 103652 73 0 0 25 0 1 0 310430081 305442816 73764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 74571 73764 77 171 0 74398 0
Current children cumulated CPU time (s) 1061.51
Current children cumulated vsize (KiB) 303640
[startup+1122.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/66 13823
/proc/meminfo: memFree=1545080/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=321644 CPUtime=1097.22
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 79606 0 0 0 109645 77 0 0 25 0 1 0 310430081 329363456 79592 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 80411 79592 77 171 0 80238 0
Current children cumulated CPU time (s) 1121.48
Current children cumulated vsize (KiB) 327000
[startup+1182.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/66 13823
/proc/meminfo: memFree=1527928/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=338632 CPUtime=1157.21
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 83854 0 0 0 115638 83 0 0 25 0 1 0 310430081 346759168 83840 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 84658 83840 77 171 0 84485 0
Current children cumulated CPU time (s) 1181.47
Current children cumulated vsize (KiB) 343988
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.9 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 13823
/proc/meminfo: memFree=1523448/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=342872 CPUtime=1175.8
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 84926 0 0 0 117496 84 0 0 25 0 1 0 310430081 351100928 84912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 85718 84912 77 171 0 85545 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 348228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.9 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 13823
/proc/meminfo: memFree=1523448/2055920 swapFree=4179928/4192956
[pid=13811] ppid=13809 vsize=5356 CPUtime=24.26
/proc/13811/stat : 13811 (SatELiteGTI) S 13809 13811 13673 0 -1 4194304 336 50737 0 0 0 0 2358 68 16 0 1 0 310427623 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13811/statm: 1339 239 197 169 0 50 0
[pid=13817] ppid=13811 vsize=342872 CPUtime=1175.8
/proc/13817/stat : 13817 (minisat_static) R 13811 13811 13673 0 -1 4194304 84926 0 0 0 117496 84 0 0 25 0 1 0 310430081 351100928 84912 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13817/statm: 85718 84912 77 171 0 85545 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 348228
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13811 and gives
# childrusage.ru_utime.tv_sec=23
# childrusage.ru_utime.tv_usec=588414
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=688895
# CPU time returned by wait4() is 24.2773
# while last known CPU time is 1200.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.91
CPU time (s): 1200.06
CPU user time (s): 1198.54
CPU system time (s): 1.52
CPU usage (%): 99.9291
Max. virtual memory (cumulated for all children) (KiB): 348228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5884
system time used= 0.688895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51073
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= 18
involuntary context switches= 50
runsolver used 1.41078 second user time and 3.02454 second system time
The end
Begin job on node37 at 2009-05-20 14:53:11
IDJOB=1833621
IDBENCH=70794
IDSOLVER=671
FILE ID=node37/1833621-1242823989
PBS_JOBID= 9322505
Free space on /tmp= 66428 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxororand/maxxororand128.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833621-1242823989/watcher-1833621-1242823989 -o /tmp/evaluation-result-1833621-1242823989/solver-1833621-1242823989 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833621-1242823989.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3022ff2a7ae31b29e9b784d8e848042f
RANDOM SEED=1044491258
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1948576 kB
Buffers: 16296 kB
Cached: 55012 kB
SwapCached: 7368 kB
Active: 41184 kB
Inactive: 39156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1948576 kB
SwapTotal: 4192956 kB
SwapFree: 4179928 kB
Dirty: 21836 kB
Writeback: 0 kB
Mapped: 13932 kB
Slab: 13176 kB
Committed_AS: 1123580 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66348 MiB
End job on node37 at 2009-05-20 15:13:13