0.00/0.00 c Parsing...
1.02/1.12 c ==============================================================================
1.02/1.12 c | | ORIGINAL | LEARNT | |
1.02/1.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.02/1.12 c ==============================================================================
1.02/1.12 c | 0 | 1148725 2691446 | 344617 0 0 nan | 0.000 % |
7.92/7.95 c | 0 | 447274 1174513 | -- 0 -- -- | -- | -454311/-958149
7.92/7.95 c ==============================================================================
7.92/7.95 c Result : #vars: 68668 #clauses: 447274 #literals: 1174513
7.92/7.95 c CPU time: 7.68 s
7.92/7.95 c ==============================================================================
8.42/8.43 c This is MiniSat 2.0 beta
8.42/8.43 c WARNING: for repeatability, setting FPU to use double precision
8.42/8.43 c ============================[ Problem Statistics ]=============================
8.42/8.43 c | |
8.42/8.43 c | Number of variables: 68668 |
8.42/8.43 c | Number of clauses: 447274 |
8.72/8.73 c | Parsing time: 0.28 s |
8.72/8.76 c ============================[ Search Statistics ]==============================
8.72/8.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.72/8.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.72/8.76 c ===============================================================================
8.72/8.76 c | 0 | 68668 447274 1174513 | 149091 0 nan | 0.000 % |
9.02/9.10 c | 101 | 68364 447274 1174513 | 149091 88 37 | 3.441 % |
9.42/9.46 c | 201 | 68356 447274 1174513 | 149091 185 43 | 3.600 % |
9.82/9.84 c | 301 | 66191 431196 1135638 | 149091 276 62 | 3.711 % |
10.20/10.25 c | 411 | 64873 422677 1115112 | 149091 383 56 | 5.527 % |
10.40/10.48 c | 513 | 64869 422677 1115112 | 149091 481 56 | 6.135 % |
10.70/10.79 c | 623 | 64843 422677 1115112 | 149091 586 56 | 7.118 % |
11.10/11.20 c | 744 | 63354 413274 1092784 | 149091 695 52 | 8.787 % |
11.50/11.54 c | 846 | 63311 413274 1092784 | 149091 788 49 | 18.601 % |
11.90/11.96 c | 956 | 55876 354580 946482 | 149091 717 50 | 19.117 % |
12.20/12.26 c | 1078 | 55357 350874 937485 | 149091 836 50 | 20.069 % |
12.60/12.68 c | 1211 | 55239 350874 937485 | 149091 959 51 | 21.167 % |
12.90/12.93 c | 1311 | 55239 350874 937485 | 149091 1059 61 | 21.167 % |
13.10/13.19 c | 1421 | 54133 342221 916230 | 149091 1167 59 | 21.167 % |
13.40/13.51 c | 1542 | 54121 342221 916230 | 149091 1284 59 | 21.227 % |
13.80/13.83 c | 1675 | 54085 341920 915483 | 149091 1408 59 | 22.485 % |
14.10/14.14 c | 1821 | 54083 341920 915483 | 149091 1553 65 | 22.497 % |
14.30/14.39 c | 1923 | 53216 335977 900940 | 149091 1648 66 | 22.638 % |
14.70/14.75 c | 2033 | 53214 335977 900940 | 149091 1756 65 | 22.667 % |
15.10/15.14 c | 2156 | 53022 335143 899038 | 149091 1876 63 | 28.316 % |
15.30/15.38 c | 2291 | 51885 335143 899038 | 149091 2010 64 | 28.331 % |
15.70/15.79 c | 2439 | 49191 303182 817669 | 149091 1264 44 | 28.782 % |
16.00/16.06 c | 2599 | 48446 298469 806401 | 149091 1411 41 | 30.661 % |
16.20/16.22 c | 2701 | 48408 298469 806401 | 149091 1505 42 | 33.320 % |
16.20/16.31 c | 2811 | 48408 298469 806401 | 149091 1614 46 | 33.340 % |
16.50/16.53 c | 2932 | 41485 247123 672113 | 149091 1590 48 | 47.389 % |
16.70/16.75 c | 3065 | 40856 247123 672113 | 149091 1720 46 | 47.441 % |
16.90/16.97 c | 3211 | 40854 247123 672113 | 149091 1865 45 | 47.585 % |
17.10/17.22 c | 3371 | 35992 206659 566184 | 149091 1917 46 | 47.585 % |
17.60/17.69 c | 3547 | 35992 206659 566184 | 149091 2093 57 | 47.585 % |
17.80/17.88 c | 3647 | 35296 201436 552858 | 149091 2177 56 | 48.746 % |
18.20/18.23 c | 3758 | 35295 201436 552858 | 149091 2287 57 | 48.828 % |
18.40/18.44 c | 3883 | 35139 200389 550128 | 149091 2408 57 | 48.828 % |
18.90/18.98 c | 4016 | 35124 200295 549893 | 149091 2538 56 | 48.890 % |
19.20/19.27 c | 4162 | 35121 200295 549893 | 149091 2683 56 | 49.447 % |
19.50/19.53 c | 4322 | 34698 197511 542465 | 149091 2828 55 | 49.511 % |
19.60/19.68 c | 4499 | 34687 197511 542465 | 149091 3001 54 | 49.567 % |
19.90/19.99 c | 4693 | 34502 194139 533174 | 149091 3173 55 | 49.770 % |
20.10/20.14 c | 4793 | 34502 194139 533174 | 149091 3272 58 | 49.787 % |
20.30/20.33 c | 4905 | 34500 194139 533174 | 149091 3383 58 | 49.830 % |
20.60/20.66 c | 5026 | 34451 193788 532274 | 149091 3502 61 | 49.831 % |
20.70/20.79 c | 5162 | 34451 193788 532274 | 149091 3638 62 | 49.831 % |
21.10/21.15 c | 5311 | 34451 193788 532274 | 149091 3786 65 | 49.833 % |
21.40/21.42 c | 5471 | 34449 193778 532243 | 149091 3946 65 | 49.833 % |
21.60/21.71 c | 5647 | 34449 193778 532243 | 149091 4122 64 | 49.833 % |
22.00/22.04 c | 5841 | 34449 193778 532243 | 149091 4316 67 | 49.833 % |
22.40/22.45 c | 6053 | 34436 193675 531979 | 149091 4525 68 | 49.867 % |
22.60/22.66 c | 6156 | 34408 193675 531979 | 149091 4620 67 | 51.008 % |
22.70/22.77 c | 6269 | 34396 193675 531979 | 149091 4733 67 | 51.008 % |
23.00/23.05 c | 6391 | 34396 193675 531979 | 149091 4855 67 | 51.008 % |
23.20/23.22 c | 6524 | 33640 188824 518424 | 149091 4953 67 | 51.022 % |
23.40/23.43 c | 6670 | 33640 188824 518424 | 149091 5098 68 | 51.155 % |
23.50/23.59 c | 6834 | 33640 188824 518424 | 149091 5262 68 | 51.155 % |
23.90/23.95 c | 7012 | 33640 188824 518424 | 149091 5440 70 | 51.155 % |
24.10/24.14 c | 7205 | 33541 188130 516564 | 149091 5631 71 | 51.155 % |
24.40/24.45 c | 7419 | 33541 188130 516564 | 149091 5845 72 | 51.155 % |
24.90/25.00 c | 7652 | 33495 187818 515792 | 149091 6076 73 | 51.222 % |
25.00/25.10 c | 7752 | 33495 187818 515792 | 149091 6176 74 | 51.222 % |
25.20/25.26 c | 7864 | 33495 187818 515792 | 149091 6288 75 | 51.222 % |
25.40/25.43 c | 7985 | 33495 187818 515792 | 149091 6409 76 | 51.222 % |
25.50/25.60 c | 8118 | 33495 187818 515792 | 149091 6542 77 | 51.222 % |
25.70/25.78 c | 8264 | 33495 187818 515792 | 149091 6688 79 | 51.222 % |
25.90/25.93 c | 8424 | 33495 187818 515792 | 149091 6848 79 | 51.222 % |
26.20/26.22 c | 8601 | 33495 187818 515792 | 149091 7025 80 | 51.222 % |
26.40/26.49 c | 8794 | 33495 187818 515792 | 149091 7218 80 | 51.222 % |
26.80/26.84 c | 9007 | 33495 187818 515792 | 149091 7431 80 | 51.222 % |
27.00/27.10 c | 9243 | 33495 187818 515792 | 149091 7667 81 | 51.222 % |
27.50/27.55 c | 9499 | 33495 187818 515792 | 149091 7923 81 | 51.222 % |
27.60/27.71 c | 9600 | 33495 187818 515792 | 149091 8024 82 | 51.222 % |
27.80/27.91 c | 9710 | 33495 187818 515792 | 149091 8134 82 | 51.222 % |
28.00/28.10 c | 9832 | 33495 187818 515792 | 149091 8256 82 | 51.222 % |
28.20/28.27 c | 9965 | 33495 187818 515792 | 149091 8389 82 | 51.222 % |
28.40/28.44 c | 10111 | 33495 187818 515792 | 2147483647 8535 83 | 51.222 % |
28.70/28.79 c | 10272 | 33479 187750 515617 | 2147483647 8693 83 | 51.274 % |
29.00/29.05 c | 10448 | 33479 187750 515617 | 2147483647 8869 83 | 51.274 % |
29.40/29.43 c | 10642 | 33479 187750 515617 | 2147483647 9063 84 | 51.274 % |
29.70/29.77 c | 10855 | 33479 187750 515617 | 2147483647 9276 86 | 51.274 % |
30.00/30.04 c | 11088 | 33459 187566 515142 | 2147483647 9509 88 | 51.274 % |
30.30/30.38 c | 11346 | 33459 187566 515142 | 2147483647 9767 89 | 51.274 % |
30.80/30.90 c | 11627 | 33459 187566 515142 | 2147483647 10048 89 | 51.274 % |
31.10/31.16 c | 11730 | 33459 187566 515142 | 2147483647 10151 88 | 51.274 % |
31.30/31.36 c | 11841 | 33447 187483 514939 | 2147483647 10260 88 | 51.302 % |
31.50/31.58 c | 11962 | 33447 187483 514939 | 2147483647 10381 88 | 51.302 % |
31.70/31.74 c | 12095 | 33447 187483 514939 | 2147483647 10514 88 | 51.302 % |
31.90/31.96 c | 12243 | 33435 187483 514939 | 2147483647 10661 88 | 51.372 % |
32.10/32.21 c | 12405 | 33435 187483 514939 | 2147483647 10823 90 | 51.372 % |
32.40/32.44 c | 12581 | 33435 187483 514939 | 2147483647 10999 90 | 51.372 % |
32.70/32.74 c | 12777 | 32873 187077 513955 | 2147483647 11194 90 | 59.397 % |
33.00/33.07 c | 12989 | 32873 187077 513955 | 2147483647 11406 90 | 59.397 % |
33.30/33.37 c | 13224 | 32873 187077 513955 | 2147483647 11641 89 | 59.397 % |
33.70/33.78 c | 13480 | 32873 187077 513955 | 2147483647 11897 89 | 59.397 % |
34.10/34.16 c | 13761 | 27881 151298 418071 | 2147483647 11448 91 | 59.397 % |
34.50/34.54 c | 14070 | 27881 151298 418071 | 2147483647 11757 92 | 59.397 % |
34.60/34.66 c | 14171 | 27861 151298 418071 | 2147483647 11857 91 | 65.873 % |
34.70/34.78 c | 14285 | 27861 151298 418071 | 2147483647 11971 91 | 65.873 % |
34.90/34.96 c | 14410 | 27861 151298 418071 | 2147483647 12096 91 | 65.873 % |
35.10/35.15 c | 14546 | 27861 151298 418071 | 2147483647 12232 90 | 65.873 % |
35.20/35.29 c | 14692 | 23434 125181 348008 | 2147483647 11940 91 | 66.281 % |
35.50/35.60 c | 14853 | 23434 125181 348008 | 2147483647 12101 91 | 66.281 % |
35.70/35.78 c | 15030 | 23434 125181 348008 | 2147483647 12278 91 | 66.281 % |
35.90/36.00 c | 15225 | 23434 125181 348008 | 2147483647 12473 92 | 66.281 % |
36.10/36.18 c | 15438 | 23434 125181 348008 | 2147483647 12686 92 | 66.281 % |
36.50/36.56 c | 15671 | 23434 125181 348008 | 2147483647 12919 92 | 66.281 % |
36.80/36.83 c | 15927 | 23154 123615 343661 | 2147483647 13158 93 | 66.281 % |
37.20/37.26 c | 16211 | 23154 123615 343661 | 2147483647 13442 92 | 66.281 % |
37.70/37.75 c | 16521 | 23154 123615 343661 | 2147483647 13752 92 | 66.281 % |
38.00/38.10 c | 16860 | 23154 123615 343661 | 2147483647 14091 92 | 66.281 % |
38.20/38.25 c | 16962 | 23154 123615 343661 | 2147483647 14193 92 | 66.281 % |
38.30/38.33 c | 17072 | 23154 123615 343661 | 2147483647 14303 92 | 66.281 % |
38.40/38.45 c | 17193 | 23154 123615 343661 | 2147483647 14424 92 | 66.281 % |
38.60/38.62 c | 17326 | 23154 123615 343661 | 2147483647 14557 92 | 66.281 % |
38.70/38.74 c | 17474 | 23154 123615 343661 | 2147483647 14705 92 | 66.281 % |
38.90/38.98 c | 17636 | 23154 123615 343661 | 2147483647 14867 92 | 66.281 % |
39.10/39.21 c | 17812 | 22949 122432 340886 | 2147483647 15042 92 | 66.580 % |
39.40/39.45 c | 18005 | 22949 122432 340886 | 2147483647 15233 92 | 66.610 % |
39.60/39.66 c | 18218 | 22949 122432 340886 | 2147483647 15446 92 | 66.610 % |
40.10/40.15 c | 18452 | 22947 122432 340886 | 2147483647 15678 91 | 67.081 % |
40.50/40.59 c | 18709 | 22946 122432 340886 | 2147483647 15933 91 | 67.174 % |
41.10/41.12 c | 18993 | 22541 119454 333583 | 2147483647 16206 92 | 67.174 % |
41.40/41.49 c | 19302 | 22541 119454 333583 | 2147483647 16515 93 | 67.174 % |
41.70/41.81 c | 19641 | 22541 119454 333583 | 2147483647 16854 93 | 67.174 % |
42.30/42.34 c | 20013 | 22541 119454 333583 | 2147483647 17226 92 | 67.174 % |
42.40/42.43 c | 20113 | 22541 119454 333583 | 2147483647 17326 92 | 67.174 % |
42.60/42.62 c | 20225 | 22541 119454 333583 | 2147483647 17438 92 | 67.174 % |
42.70/42.81 c | 20346 | 22541 119454 333583 | 2147483647 17559 92 | 67.174 % |
42.90/42.98 c | 20481 | 22541 119454 333583 | 2147483647 17694 91 | 67.174 % |
43.10/43.19 c | 20627 | 22541 119454 333583 | 2147483647 17840 91 | 67.174 % |
43.30/43.33 c | 20788 | 22541 119454 333583 | 2147483647 18001 91 | 67.174 % |
43.50/43.52 c | 20964 | 22541 119454 333583 | 2147483647 18177 91 | 67.174 % |
43.60/43.69 c | 21157 | 22541 119454 333583 | 2147483647 18370 92 | 67.174 % |
43.90/44.00 c | 21369 | 22531 119385 333402 | 2147483647 18581 92 | 67.189 % |
44.20/44.29 c | 21604 | 22531 119385 333402 | 2147483647 18816 92 | 67.189 % |
44.60/44.66 c | 21860 | 22531 119385 333402 | 2147483647 19072 92 | 67.189 % |
44.90/44.95 c | 22142 | 22529 119385 333402 | 2147483647 19352 91 | 67.221 % |
45.50/45.53 c | 22456 | 22529 119385 333402 | 2147483647 19666 92 | 67.221 % |
46.00/46.11 c | 22799 | 22529 119385 333402 | 2147483647 20009 93 | 67.221 % |
46.80/46.84 c | 23172 | 22509 119221 332976 | 2147483647 20377 93 | 67.221 % |
47.40/47.48 c | 23581 | 22509 119221 332976 | 2147483647 20786 93 | 67.221 % |
47.50/47.56 c | 23682 | 22509 119221 332976 | 2147483647 20887 92 | 67.221 % |
47.80/47.83 c | 23793 | 22509 119221 332976 | 2147483647 20997 92 | 67.417 % |
48.10/48.13 c | 23915 | 22374 118295 330619 | 2147483647 21119 92 | 67.417 % |
48.20/48.31 c | 24048 | 22374 118295 330619 | 2147483647 21252 92 | 67.417 % |
48.40/48.48 c | 24194 | 22374 118295 330619 | 2147483647 21398 92 | 67.417 % |
48.70/48.73 c | 24356 | 22374 118295 330619 | 2147483647 21560 92 | 67.417 % |
48.90/48.99 c | 24532 | 22374 118295 330619 | 2147483647 21736 93 | 67.417 % |
49.10/49.16 c | 24725 | 22374 118295 330619 | 2147483647 21929 93 | 67.417 % |
49.40/49.44 c | 24937 | 22374 118295 330619 | 2147483647 22141 93 | 67.417 % |
49.60/49.66 c | 25170 | 22374 118295 330619 | 2147483647 22374 93 | 67.417 % |
50.00/50.03 c | 25428 | 22374 118295 330619 | 2147483647 22632 94 | 67.417 % |
50.40/50.46 c | 25710 | 22067 116063 325218 | 2147483647 22913 94 | 67.864 % |
50.80/50.82 c | 26022 | 22067 116063 325218 | 2147483647 23225 94 | 67.864 % |
51.20/51.23 c | 26364 | 22067 116063 325218 | 2147483647 23567 94 | 67.864 % |
51.70/51.77 c | 26737 | 22067 116063 325218 | 2147483647 23940 94 | 67.864 % |
52.30/52.41 c | 27146 | 22067 116063 325218 | 2147483647 24349 95 | 67.864 % |
53.00/53.05 c | 27596 | 22067 116063 325218 | 2147483647 24799 95 | 67.864 % |
53.10/53.17 c | 27696 | 22067 116063 325218 | 2147483647 24899 95 | 67.864 % |
53.30/53.35 c | 27807 | 22067 116063 325218 | 2147483647 25010 95 | 67.864 % |
53.40/53.47 c | 27928 | 22067 116063 325218 | 2147483647 25131 95 | 67.864 % |
53.50/53.60 c | 28061 | 22067 116063 325218 | 2147483647 25264 95 | 67.864 % |
53.69/53.71 c | 28208 | 22067 116063 325218 | 2147483647 25411 95 | 67.864 % |
53.89/53.93 c | 28372 | 22067 116063 325218 | 2147483647 25575 95 | 67.864 % |
54.19/54.26 c | 28548 | 22038 115877 324718 | 2147483647 25741 95 | 67.906 % |
54.39/54.48 c | 28741 | 22038 115877 324718 | 2147483647 25934 95 | 67.906 % |
54.79/54.83 c | 28957 | 22038 115877 324718 | 2147483647 26150 95 | 67.906 % |
55.09/55.18 c | 29190 | 22038 115877 324718 | 2147483647 26383 95 | 67.906 % |
55.49/55.51 c | 29447 | 22038 115877 324718 | 2147483647 26640 95 | 67.906 % |
55.79/55.88 c | 29729 | 22038 115877 324718 | 2147483647 26922 95 | 67.906 % |
56.29/56.31 c | 30038 | 22038 115877 324718 | 2147483647 27231 95 | 67.906 % |
56.59/56.65 c | 30377 | 22038 115877 324718 | 2147483647 27570 95 | 67.906 % |
56.99/57.04 c | 30751 | 22038 115877 324718 | 2147483647 27944 95 | 67.906 % |
57.49/57.55 c | 31160 | 22038 115877 324718 | 2147483647 28353 95 | 67.906 % |
58.19/58.23 c | 31610 | 21858 114975 322189 | 2147483647 28752 95 | 68.169 % |
58.79/58.87 c | 32105 | 21858 114975 322189 | 2147483647 29247 95 | 68.169 % |
58.99/59.05 c | 32205 | 21858 114975 322189 | 2147483647 29347 95 | 68.169 % |
59.09/59.17 c | 32316 | 21858 114975 322189 | 2147483647 29458 95 | 68.169 % |
59.29/59.34 c | 32437 | 21858 114975 322189 | 2147483647 29579 95 | 68.169 % |
59.49/59.53 c | 32570 | 21858 114975 322189 | 2147483647 29712 95 | 68.169 % |
59.59/59.68 c | 32720 | 21858 114975 322189 | 2147483647 29862 96 | 68.169 % |
59.89/59.94 c | 32883 | 21858 114975 322189 | 2147483647 30025 96 | 68.169 % |
60.19/60.29 c | 33060 | 21858 114975 322189 | 2147483647 30202 96 | 68.169 % |
60.50/60.52 c | 33255 | 21858 114975 322189 | 2147483647 30397 96 | 68.169 % |
60.69/60.74 c | 33467 | 21858 114975 322189 | 2147483647 30609 96 | 68.169 % |
60.99/61.09 c | 33700 | 21858 114975 322189 | 2147483647 30841 96 | 68.179 % |
61.39/61.42 c | 33956 | 21858 114975 322189 | 2147483647 31097 96 | 68.179 % |
61.79/61.81 c | 34237 | 21851 114909 322027 | 2147483647 31370 96 | 68.284 % |
62.09/62.17 c | 34547 | 21851 114909 322027 | 2147483647 31680 97 | 68.284 % |
62.49/62.58 c | 34887 | 21850 114909 322027 | 2147483647 32019 96 | 68.301 % |
62.99/63.10 c | 35260 | 21850 114909 322027 | 2147483647 32392 96 | 68.301 % |
63.39/63.48 c | 35671 | 21850 114909 322027 | 2147483647 32803 96 | 68.301 % |
64.29/64.30 c | 36121 | 21850 114909 322027 | 2147483647 33253 96 | 68.301 % |
65.09/65.10 c | 36615 | 21850 114909 322027 | 2147483647 33745 95 | 68.340 % |
66.00/66.07 c | 37157 | 21740 113138 317017 | 2147483647 34286 95 | 68.340 % |
66.29/66.31 c | 37258 | 21740 113138 317017 | 2147483647 34387 95 | 68.340 % |
66.39/66.45 c | 37371 | 21740 113138 317017 | 2147483647 34500 95 | 68.340 % |
66.49/66.59 c | 37494 | 21740 113138 317017 | 2147483647 34623 95 | 68.340 % |
66.69/66.80 c | 37627 | 21740 113138 317017 | 2147483647 34756 95 | 68.340 % |
66.99/67.05 c | 37773 | 21740 113138 317017 | 2147483647 34902 95 | 68.340 % |
67.29/67.37 c | 37933 | 21740 113138 317017 | 2147483647 35062 95 | 68.340 % |
67.59/67.64 c | 38110 | 21740 113138 317017 | 2147483647 35239 95 | 68.340 % |
67.89/67.92 c | 38303 | 21740 113138 317017 | 2147483647 35432 95 | 68.340 % |
68.20/68.30 c | 38516 | 21740 113138 317017 | 2147483647 35645 95 | 68.340 % |
68.59/68.68 c | 38749 | 21740 113138 317017 | 2147483647 35878 95 | 68.340 % |
68.99/69.04 c | 39005 | 21740 113138 317017 | 2147483647 36134 95 | 68.340 % |
69.19/69.28 c | 39286 | 21740 113138 317017 | 2147483647 36415 95 | 68.340 % |
69.59/69.70 c | 39595 | 21740 113138 317017 | 2147483647 36724 95 | 68.340 % |
69.99/70.09 c | 39934 | 21740 113138 317017 | 2147483647 37063 95 | 68.340 % |
70.49/70.60 c | 40306 | 21740 113138 317017 | 2147483647 37435 95 | 68.340 % |
71.09/71.12 c | 40716 | 21740 113138 317017 | 2147483647 37845 95 | 68.340 % |
71.59/71.69 c | 41165 | 21740 113138 317017 | 2147483647 38294 95 | 68.340 % |
72.49/72.56 c | 41662 | 21740 113138 317017 | 2147483647 38791 95 | 68.340 % |
73.39/73.42 c | 42206 | 21740 113138 317017 | 2147483647 39335 95 | 68.340 % |
74.39/74.44 c | 42802 | 21740 113138 317017 | 2147483647 39931 95 | 68.340 % |
74.49/74.57 c | 42904 | 21740 113138 317017 | 2147483647 40033 95 | 68.340 % |
74.69/74.72 c | 43016 | 21740 113138 317017 | 2147483647 40145 95 | 68.340 % |
74.80/74.86 c | 43137 | 21740 113138 317017 | 2147483647 40266 95 | 68.340 % |
74.99/75.10 c | 43270 | 21740 113138 317017 | 2147483647 40399 95 | 68.340 % |
75.29/75.33 c | 43419 | 21740 113138 317017 | 2147483647 40548 95 | 68.340 % |
75.49/75.55 c | 43579 | 21740 113138 317017 | 2147483647 40708 95 | 68.340 % |
75.79/75.81 c | 43755 | 21740 113138 317017 | 2147483647 40884 95 | 68.340 % |
76.09/76.17 c | 43948 | 21740 113138 317017 | 2147483647 41077 95 | 68.340 % |
76.49/76.57 c | 44161 | 21740 113138 317017 | 2147483647 41290 95 | 68.340 % |
76.89/77.00 c | 44394 | 21740 113138 317017 | 2147483647 41523 94 | 68.340 % |
77.29/77.39 c | 44650 | 21740 113138 317017 | 2147483647 41779 94 | 68.340 % |
77.79/77.83 c | 44931 | 21740 113138 317017 | 2147483647 42060 94 | 68.340 % |
78.29/78.40 c | 45240 | 21740 113138 317017 | 2147483647 42369 94 | 68.340 % |
78.89/78.94 c | 45580 | 21740 113138 317017 | 2147483647 42709 94 | 68.340 % |
79.39/79.49 c | 45954 | 21740 113138 317017 | 2147483647 43083 95 | 68.340 % |
80.19/80.29 c | 46364 | 21730 113062 316825 | 2147483647 43490 95 | 68.355 % |
81.09/81.11 c | 46817 | 21729 113062 316825 | 2147483647 43942 95 | 68.372 % |
81.49/81.58 c | 47311 | 21729 113062 316825 | 2147483647 44436 95 | 68.372 % |
82.39/82.44 c | 47854 | 21728 113062 316825 | 2147483647 44978 95 | 68.394 % |
83.39/83.45 c | 48453 | 21728 113062 316825 | 2147483647 45577 95 | 68.394 % |
84.39/84.47 c | 49108 | 21728 113062 316825 | 2147483647 46231 95 | 68.412 % |
84.70/84.72 c | 49209 | 21681 112737 315961 | 2147483647 46315 95 | 68.426 % |
84.89/84.94 c | 49319 | 21681 112737 315961 | 2147483647 46425 95 | 68.426 % |
85.09/85.17 c | 49441 | 21681 112737 315961 | 2147483647 46547 95 | 68.426 % |
85.39/85.42 c | 49576 | 21681 112737 315961 | 2147483647 46682 95 | 68.426 % |
85.69/85.71 c | 49722 | 21681 112737 315961 | 2147483647 46828 95 | 68.426 % |
85.89/85.97 c | 49882 | 21681 112737 315961 | 2147483647 46988 95 | 68.426 % |
86.19/86.22 c | 50059 | 21681 112737 315961 | 2147483647 47165 95 | 68.426 % |
86.39/86.46 c | 50252 | 21681 112737 315961 | 2147483647 47358 95 | 68.426 % |
86.69/86.75 c | 50464 | 21681 112737 315961 | 2147483647 47570 95 | 68.426 % |
86.99/87.09 c | 50697 | 21681 112737 315961 | 2147483647 47803 95 | 68.426 % |
87.39/87.42 c | 50954 | 21681 112737 315961 | 2147483647 48060 95 | 68.426 % |
87.79/87.89 c | 51235 | 21681 112737 315961 | 2147483647 48341 95 | 68.426 % |
88.29/88.31 c | 51544 | 21681 112737 315961 | 2147483647 48650 95 | 68.426 % |
88.69/88.71 c | 51886 | 21681 112737 315961 | 2147483647 48992 95 | 68.426 % |
89.19/89.29 c | 52259 | 21681 112737 315961 | 2147483647 49365 96 | 68.426 % |
89.99/90.04 c | 52668 | 21679 112737 315961 | 2147483647 49772 95 | 68.457 % |
90.49/90.52 c | 53119 | 21679 112737 315961 | 2147483647 50223 95 | 68.457 % |
91.30/91.39 c | 53612 | 21679 112737 315961 | 2147483647 50716 95 | 68.457 % |
92.49/92.57 c | 54156 | 21660 112572 315537 | 2147483647 51255 95 | 68.457 % |
93.50/93.56 c | 54758 | 21660 112572 315537 | 2147483647 51857 95 | 68.457 % |
94.89/94.96 c | 55413 | 21660 112572 315537 | 2147483647 52512 95 | 68.457 % |
96.29/96.33 c | 56134 | 21658 112572 315537 | 2147483647 53230 95 | 68.656 % |
96.39/96.49 c | 56234 | 21658 112572 315537 | 2147483647 53330 95 | 68.656 % |
96.59/96.70 c | 56345 | 21658 112572 315537 | 2147483647 53441 95 | 68.656 % |
96.80/96.90 c | 56467 | 21658 112572 315537 | 2147483647 53563 95 | 68.656 % |
97.09/97.19 c | 56600 | 21523 111852 313626 | 2147483647 53675 95 | 68.656 % |
97.39/97.41 c | 56750 | 21523 111852 313626 | 2147483647 53825 95 | 68.656 % |
97.69/97.77 c | 56913 | 21523 111852 313626 | 2147483647 53988 95 | 68.656 % |
97.99/98.05 c | 57090 | 21523 111852 313626 | 2147483647 54165 95 | 68.656 % |
98.29/98.40 c | 57285 | 21522 111852 313626 | 2147483647 54359 95 | 68.672 % |
98.69/98.75 c | 57497 | 21521 111852 313626 | 2147483647 54570 95 | 68.693 % |
99.09/99.16 c | 57733 | 21521 111852 313626 | 2147483647 54806 95 | 68.693 % |
99.49/99.57 c | 57989 | 21520 111852 313626 | 2147483647 55061 95 | 68.707 % |
99.99/100.04 c | 58271 | 21520 111852 313626 | 2147483647 55343 95 | 68.707 % |
100.69/100.79 c | 58584 | 21520 111852 313626 | 2147483647 55656 95 | 68.707 % |
101.29/101.32 c | 58923 | 21517 111852 313626 | 2147483647 55994 95 | 68.721 % |
101.79/101.89 c | 59295 | 21517 111852 313626 | 2147483647 56366 95 | 68.721 % |
102.69/102.71 c | 59705 | 21517 111852 313626 | 2147483647 56775 95 | 68.737 % |
103.49/103.54 c | 60155 | 21514 111852 313626 | 2147483647 57224 95 | 68.750 % |
104.39/104.43 c | 60649 | 21459 111376 312361 | 2147483647 57677 95 | 68.770 % |
105.29/105.35 c | 61193 | 21459 111376 312361 | 2147483647 58221 95 | 68.770 % |
106.19/106.24 c | 61789 | 21458 111376 312361 | 2147483647 58815 95 | 68.939 % |
107.19/107.23 c | 62444 | 21458 111376 312361 | 2147483647 59470 95 | 68.939 % |
108.29/108.37 c | 63165 | 21458 111376 312361 | 2147483647 60191 95 | 68.939 % |
109.29/109.31 c | 63957 | 21458 111376 312361 | 2147483647 60983 95 | 68.939 % |
109.39/109.44 c | 64058 | 21458 111376 312361 | 2147483647 61084 95 | 68.939 % |
109.59/109.64 c | 64170 | 21458 111376 312361 | 2147483647 61196 95 | 68.939 % |
109.79/109.86 c | 64292 | 21458 111376 312361 | 2147483647 61318 95 | 68.939 % |
110.09/110.12 c | 64425 | 21458 111376 312361 | 2147483647 61451 95 | 68.939 % |
110.39/110.44 c | 64571 | 21458 111376 312361 | 2147483647 61597 95 | 68.939 % |
110.69/110.75 c | 64731 | 21458 111376 312361 | 2147483647 61757 95 | 68.939 % |
110.99/111.04 c | 64907 | 21458 111376 312361 | 2147483647 61932 95 | 68.962 % |
111.19/111.29 c | 65101 | 21458 111376 312361 | 2147483647 62126 95 | 68.962 % |
111.59/111.65 c | 65318 | 21457 111376 312361 | 2147483647 62342 95 | 68.974 % |
111.89/111.92 c | 65552 | 21457 111376 312361 | 2147483647 62576 95 | 68.974 % |
112.20/112.24 c | 65808 | 21457 111376 312361 | 2147483647 62832 95 | 68.974 % |
112.60/112.70 c | 66089 | 21305 110511 309567 | 2147483647 63079 95 | 68.974 % |
113.10/113.12 c | 66398 | 21305 110511 309567 | 2147483647 63388 95 | 68.974 % |
114.00/114.03 c | 66737 | 21305 110511 309567 | 2147483647 63727 95 | 68.974 % |
114.80/114.85 c | 67109 | 21305 110511 309567 | 2147483647 64099 95 | 68.974 % |
115.40/115.45 c | 67518 | 21305 110511 309567 | 2147483647 64508 95 | 68.974 % |
116.20/116.26 c | 67967 | 21305 110511 309567 | 2147483647 64957 96 | 68.974 % |
117.10/117.13 c | 68460 | 21305 110511 309567 | 2147483647 65450 96 | 68.974 % |
118.10/118.19 c | 69005 | 21305 110511 309567 | 2147483647 65995 96 | 68.974 % |
119.20/119.22 c | 69601 | 21305 110511 309567 | 2147483647 66591 96 | 68.974 % |
120.10/120.15 c | 70257 | 21305 110511 309567 | 2147483647 67247 96 | 68.974 % |
121.50/121.54 c | 70977 | 21305 110511 309567 | 2147483647 67967 96 | 68.974 % |
122.90/122.95 c | 71769 | 21305 110511 309567 | 2147483647 68759 95 | 68.974 % |
124.70/124.72 c | 72641 | 21294 110420 309325 | 2147483647 69630 96 | 68.990 % |
124.90/124.96 c | 72742 | 21294 110420 309325 | 2147483647 69731 96 | 68.990 % |
125.10/125.19 c | 72852 | 21294 110420 309325 | 2147483647 69841 96 | 68.990 % |
125.40/125.45 c | 72974 | 21294 110420 309325 | 2147483647 69962 96 | 69.153 % |
125.70/125.74 c | 73109 | 21294 110420 309325 | 2147483647 70097 96 | 69.153 % |
126.00/126.03 c | 73255 | 21294 110420 309325 | 2147483647 70243 96 | 69.153 % |
126.30/126.34 c | 73415 | 21294 110420 309325 | 2147483647 70403 96 | 69.153 % |
126.60/126.68 c | 73591 | 21294 110420 309325 | 2147483647 70579 96 | 69.153 % |
126.90/127.00 c | 73784 | 21294 110420 309325 | 2147483647 70772 96 | 69.153 % |
127.30/127.37 c | 73997 | 21294 110420 309325 | 2147483647 70984 96 | 69.543 % |
128.00/128.03 c | 74232 | 21294 110420 309325 | 2147483647 71219 96 | 69.543 % |
128.60/128.66 c | 74488 | 21294 110420 309325 | 2147483647 71475 96 | 69.543 % |
129.20/129.30 c | 74769 | 21294 110420 309325 | 2147483647 71756 96 | 69.543 % |
129.80/129.83 c | 75078 | 21294 110420 309325 | 2147483647 72065 96 | 69.543 % |
130.20/130.29 c | 75417 | 21294 110420 309325 | 2147483647 72404 96 | 69.543 % |
131.00/131.07 c | 75791 | 21294 110420 309325 | 2147483647 72778 96 | 69.543 % |
131.80/131.85 c | 76202 | 21294 110420 309325 | 2147483647 73189 96 | 69.543 % |
132.80/132.90 c | 76652 | 21289 110420 309325 | 2147483647 73637 96 | 69.577 % |
133.70/133.78 c | 77146 | 21289 110420 309325 | 2147483647 74131 96 | 69.577 % |
134.50/134.57 c | 77688 | 20891 108006 302914 | 2147483647 74622 96 | 69.577 % |
135.40/135.41 c | 78284 | 20888 108006 302914 | 2147483647 75217 96 | 69.599 % |
136.50/136.52 c | 78940 | 20888 108006 302914 | 2147483647 75873 96 | 69.599 % |
138.00/138.09 c | 79660 | 20888 108006 302914 | 2147483647 76593 96 | 69.599 % |
139.90/139.92 c | 80452 | 20887 108006 302914 | 2147483647 77384 95 | 69.634 % |
141.30/141.37 c | 81324 | 20884 108006 302914 | 2147483647 78254 95 | 69.667 % |
143.10/143.18 c | 82283 | 20884 108006 302914 | 2147483647 79213 95 | 69.667 % |
143.30/143.38 c | 82383 | 20884 108006 302914 | 2147483647 79313 95 | 69.667 % |
143.60/143.63 c | 82494 | 20884 108006 302914 | 2147483647 79424 95 | 69.667 % |
143.80/143.89 c | 82618 | 20884 108006 302914 | 2147483647 79548 95 | 69.667 % |
144.10/144.16 c | 82751 | 20829 107529 301679 | 2147483647 79657 95 | 69.667 % |
144.40/144.50 c | 82899 | 20829 107529 301679 | 2147483647 79805 95 | 69.667 % |
144.80/144.82 c | 83059 | 20829 107529 301679 | 2147483647 79965 95 | 69.667 % |
145.10/145.11 c | 83237 | 20829 107529 301679 | 2147483647 80143 95 | 69.667 % |
145.50/145.51 c | 83431 | 20829 107529 301679 | 2147483647 80337 95 | 69.667 % |
145.90/145.94 c | 83643 | 20829 107529 301679 | 2147483647 80549 95 | 69.667 % |
146.40/146.48 c | 83876 | 20829 107529 301679 | 2147483647 80782 95 | 69.667 % |
146.80/146.87 c | 84135 | 20829 107529 301679 | 2147483647 81041 95 | 69.667 % |
147.50/147.52 c | 84416 | 20829 107529 301679 | 2147483647 81322 95 | 69.667 % |
147.90/147.96 c | 84725 | 20829 107529 301679 | 2147483647 81631 95 | 69.667 % |
148.70/148.74 c | 85070 | 20829 107529 301679 | 2147483647 81976 95 | 69.667 % |
149.20/149.30 c | 85443 | 20829 107529 301679 | 2147483647 82349 95 | 69.667 % |
150.00/150.03 c | 85853 | 20829 107529 301679 | 2147483647 82759 95 | 69.667 % |
150.80/150.85 c | 86306 | 20829 107529 301679 | 2147483647 83212 94 | 69.667 % |
151.80/151.84 c | 86799 | 20829 107529 301679 | 2147483647 83705 94 | 69.667 % |
152.80/152.90 c | 87343 | 20829 107529 301679 | 2147483647 84249 94 | 69.667 % |
153.90/153.92 c | 87939 | 20829 107529 301679 | 2147483647 84845 95 | 69.667 % |
155.20/155.21 c | 88594 | 20829 107529 301679 | 2147483647 85500 95 | 69.667 % |
156.50/156.52 c | 89317 | 20829 107529 301679 | 2147483647 86223 95 | 69.667 % |
157.80/157.86 c | 90110 | 20829 107529 301679 | 2147483647 87016 95 | 69.667 % |
159.70/159.81 c | 90982 | 20829 107529 301679 | 2147483647 87888 95 | 69.667 % |
161.90/161.96 c | 91941 | 20829 107529 301679 | 2147483647 88847 96 | 69.667 % |
164.10/164.20 c | 93001 | 20829 107529 301679 | 2147483647 89907 96 | 69.667 % |
164.40/164.42 c | 93101 | 20829 107529 301679 | 2147483647 90007 96 | 69.667 % |
164.70/164.72 c | 93211 | 20829 107529 301679 | 2147483647 90117 96 | 69.667 % |
165.00/165.02 c | 93332 | 20829 107529 301679 | 2147483647 90238 96 | 69.667 % |
165.20/165.28 c | 93466 | 20829 107529 301679 | 2147483647 90372 96 | 69.667 % |
165.50/165.53 c | 93612 | 20829 107529 301679 | 2147483647 90518 96 | 69.667 % |
165.90/165.96 c | 93773 | 20829 107529 301679 | 2147483647 90679 96 | 69.667 % |
166.20/166.30 c | 93950 | 20829 107529 301679 | 2147483647 90856 96 | 69.667 % |
166.60/166.67 c | 94144 | 20829 107529 301679 | 2147483647 91050 96 | 69.667 % |
166.90/166.98 c | 94356 | 20829 107529 301679 | 2147483647 91262 96 | 69.667 % |
167.30/167.35 c | 94590 | 20829 107529 301679 | 2147483647 91496 96 | 69.667 % |
167.70/167.78 c | 94850 | 20829 107529 301679 | 2147483647 91756 96 | 69.667 % |
168.20/168.31 c | 95137 | 20829 107529 301679 | 2147483647 92043 96 | 69.667 % |
169.10/169.14 c | 95448 | 20817 107438 301438 | 2147483647 92348 96 | 69.685 % |
169.70/169.81 c | 95788 | 20817 107438 301438 | 2147483647 92688 96 | 69.685 % |
170.50/170.53 c | 96161 | 20817 107438 301438 | 2147483647 93061 96 | 69.685 % |
171.20/171.29 c | 96572 | 20817 107438 301438 | 2147483647 93472 96 | 69.685 % |
172.20/172.28 c | 97027 | 20817 107438 301438 | 2147483647 93927 96 | 69.685 % |
173.20/173.27 c | 97521 | 20816 107438 301438 | 2147483647 94420 96 | 69.702 % |
174.10/174.11 c | 98064 | 20816 107438 301438 | 2147483647 94963 96 | 69.702 % |
175.20/175.26 c | 98661 | 20816 107438 301438 | 2147483647 95560 96 | 69.702 % |
176.80/176.81 c | 99316 | 20816 107438 301438 | 2147483647 96215 97 | 69.702 % |
178.60/178.61 c | 100037 | 20815 107438 301438 | 2147483647 96935 96 | 69.718 % |
179.80/179.87 c | 100832 | 20815 107438 301438 | 2147483647 97730 97 | 69.718 % |
181.60/181.63 c | 101703 | 20815 107438 301438 | 2147483647 98600 97 | 69.725 % |
183.70/183.74 c | 102665 | 20815 107438 301438 | 2147483647 99562 97 | 69.725 % |
185.70/185.79 c | 103720 | 20815 107438 301438 | 2147483647 100617 97 | 69.725 % |
188.30/188.40 c | 104880 | 20789 107197 300810 | 2147483647 101762 97 | 69.741 % |
188.60/188.63 c | 104980 | 20789 107197 300810 | 2147483647 101862 97 | 69.741 % |
188.80/188.89 c | 105091 | 20789 107197 300810 | 2147483647 101973 97 | 69.741 % |
189.00/189.08 c | 105213 | 20789 107197 300810 | 2147483647 102095 97 | 69.741 % |
189.30/189.40 c | 105349 | 20789 107197 300810 | 2147483647 102231 97 | 69.741 % |
189.60/189.66 c | 105496 | 20789 107197 300810 | 2147483647 102378 97 | 69.741 % |
189.90/189.95 c | 105656 | 20789 107197 300810 | 2147483647 102538 97 | 69.741 % |
190.40/190.43 c | 105833 | 20789 107197 300810 | 2147483647 102715 97 | 69.741 % |
190.90/190.96 c | 106026 | 20789 107197 300810 | 2147483647 102908 97 | 69.741 % |
191.30/191.31 c | 106238 | 20789 107197 300810 | 2147483647 103120 97 | 69.741 % |
191.70/191.74 c | 106472 | 20789 107197 300810 | 2147483647 103354 97 | 69.741 % |
192.20/192.29 c | 106729 | 20789 107197 300810 | 2147483647 103611 97 | 69.741 % |
192.70/192.80 c | 107012 | 20789 107197 300810 | 2147483647 103894 97 | 69.741 % |
193.30/193.34 c | 107321 | 20789 107197 300810 | 2147483647 104203 97 | 69.741 % |
193.90/193.94 c | 107660 | 20789 107197 300810 | 2147483647 104542 97 | 69.741 % |
194.71/194.77 c | 108036 | 20789 107197 300810 | 2147483647 104918 97 | 69.741 % |
195.50/195.54 c | 108447 | 20789 107197 300810 | 2147483647 105329 97 | 69.741 % |
196.70/196.72 c | 108898 | 20789 107197 300810 | 2147483647 105780 97 | 69.741 % |
198.01/198.06 c | 109391 | 20789 107197 300810 | 2147483647 106273 97 | 69.741 % |
199.50/199.55 c | 109934 | 20789 107197 300810 | 2147483647 106816 97 | 69.741 % |
200.80/200.82 c | 110531 | 20789 107197 300810 | 2147483647 107413 97 | 69.741 % |
202.10/202.15 c | 111186 | 20789 107197 300810 | 2147483647 108068 97 | 69.741 % |
203.70/203.81 c | 111906 | 20778 107112 300593 | 2147483647 108782 97 | 69.741 % |
205.80/205.84 c | 112701 | 20778 107112 300593 | 2147483647 109577 97 | 69.741 % |
207.80/207.90 c | 113572 | 20778 107112 300593 | 2147483647 110448 97 | 69.741 % |
209.60/209.69 c | 114530 | 20776 107112 300593 | 2147483647 111405 97 | 69.820 % |
212.31/212.32 c | 115585 | 20776 107112 300593 | 2147483647 112460 97 | 69.820 % |
213.70/213.76 c | 116743 | 20776 107112 300593 | 2147483647 113618 97 | 69.820 % |
215.80/215.89 c | 118018 | 20776 107112 300593 | 2147483647 114893 97 | 69.820 % |
216.10/216.15 c | 118118 | 20776 107112 300593 | 2147483647 114993 97 | 69.820 % |
216.50/216.52 c | 118230 | 20776 107112 300593 | 2147483647 115105 97 | 69.820 % |
216.90/216.93 c | 118352 | 20776 107112 300593 | 2147483647 115227 97 | 69.820 % |
217.20/217.26 c | 118487 | 20776 107112 300593 | 2147483647 115362 97 | 69.820 % |
217.60/217.61 c | 118633 | 20776 107112 300593 | 2147483647 115508 97 | 69.820 % |
218.00/218.02 c | 118794 | 20776 107112 300593 | 2147483647 115669 97 | 69.820 % |
218.30/218.40 c | 118970 | 20776 107112 300593 | 2147483647 115845 97 | 69.820 % |
218.80/218.89 c | 119163 | 20776 107112 300593 | 2147483647 116038 97 | 69.820 % |
219.40/219.42 c | 119375 | 20776 107112 300593 | 2147483647 116250 97 | 69.820 % |
220.01/220.02 c | 119608 | 20776 107112 300593 | 2147483647 116483 97 | 69.820 % |
220.70/220.79 c | 119864 | 20776 107112 300593 | 2147483647 116739 97 | 69.820 % |
221.40/221.48 c | 120147 | 20776 107112 300593 | 2147483647 117022 97 | 69.820 % |
222.21/222.29 c | 120457 | 20776 107112 300593 | 2147483647 117332 97 | 69.820 % |
223.20/223.26 c | 120797 | 20776 107112 300593 | 2147483647 117672 97 | 69.820 % |
224.00/224.09 c | 121169 | 20776 107112 300593 | 2147483647 118044 97 | 69.820 % |
225.20/225.21 c | 121578 | 20724 106839 299926 | 2147483647 118437 97 | 69.820 % |
226.10/226.15 c | 122028 | 20724 106839 299926 | 2147483647 118886 97 | 69.836 % |
226.90/226.97 c | 122522 | 20724 106839 299926 | 2147483647 119380 97 | 69.836 % |
228.20/228.27 c | 123064 | 20724 106839 299926 | 2147483647 119922 97 | 69.836 % |
229.60/229.64 c | 123660 | 20724 106839 299926 | 2147483647 120518 97 | 69.836 % |
231.01/231.07 c | 124315 | 20724 106839 299926 | 2147483647 121173 97 | 69.836 % |
232.80/232.89 c | 125036 | 20724 106839 299926 | 2147483647 121894 97 | 69.836 % |
234.10/234.19 c | 125830 | 20724 106839 299926 | 2147483647 122688 97 | 69.836 % |
236.30/236.33 c | 126701 | 20724 106839 299926 | 2147483647 123559 97 | 69.836 % |
239.31/239.32 c | 127661 | 20723 106839 299926 | 2147483647 124518 98 | 69.852 % |
241.71/241.77 c | 128714 | 20723 106839 299926 | 2147483647 125571 98 | 69.852 % |
244.31/244.33 c | 129872 | 20723 106839 299926 | 2147483647 126729 98 | 69.852 % |
247.31/247.35 c | 131145 | 20723 106839 299926 | 2147483647 128002 98 | 69.852 % |
249.81/249.89 c | 132545 | 20723 106839 299926 | 2147483647 129402 98 | 69.852 % |
250.11/250.17 c | 132647 | 20702 106672 299496 | 2147483647 129495 98 | 69.852 % |
250.41/250.48 c | 132759 | 20702 106672 299496 | 2147483647 129607 98 | 69.852 % |
250.71/250.78 c | 132880 | 20702 106672 299496 | 2147483647 129728 98 | 69.852 % |
251.11/251.16 c | 133014 | 20702 106672 299496 | 2147483647 129862 98 | 69.852 % |
251.51/251.55 c | 133160 | 20702 106672 299496 | 2147483647 130008 98 | 69.852 % |
252.01/252.06 c | 133320 | 20702 106672 299496 | 2147483647 130168 98 | 69.852 % |
252.51/252.52 c | 133499 | 20702 106672 299496 | 2147483647 130347 98 | 69.852 % |
253.01/253.02 c | 133693 | 20702 106672 299496 | 2147483647 130541 98 | 69.852 % |
253.51/253.54 c | 133905 | 20702 106672 299496 | 2147483647 130752 98 | 70.043 % |
254.21/254.27 c | 134138 | 20702 106672 299496 | 2147483647 130985 98 | 70.043 % |
254.91/255.00 c | 134394 | 20702 106672 299496 | 2147483647 131241 98 | 70.043 % |
255.71/255.79 c | 134675 | 20702 106672 299496 | 2147483647 131522 98 | 70.043 % |
256.51/256.57 c | 134984 | 20702 106672 299496 | 2147483647 131831 98 | 70.043 % |
257.21/257.31 c | 135324 | 20702 106672 299496 | 2147483647 132171 98 | 70.043 % |
258.21/258.28 c | 135697 | 20702 106672 299496 | 2147483647 132544 98 | 70.043 % |
259.01/259.11 c | 136106 | 20702 106672 299496 | 2147483647 132953 98 | 70.043 % |
260.31/260.33 c | 136557 | 20702 106672 299496 | 2147483647 133404 98 | 70.043 % |
261.31/261.37 c | 137050 | 20702 106672 299496 | 2147483647 133897 98 | 70.043 % |
262.71/262.79 c | 137593 | 20702 106672 299496 | 2147483647 134440 98 | 70.043 % |
264.11/264.18 c | 138197 | 20702 106672 299496 | 2147483647 135044 98 | 70.043 % |
265.71/265.80 c | 138854 | 20702 106672 299496 | 2147483647 135701 98 | 70.043 % |
267.11/267.12 c | 139577 | 20702 106672 299496 | 2147483647 136424 98 | 70.043 % |
269.11/269.13 c | 140372 | 20702 106672 299496 | 2147483647 137219 98 | 70.043 % |
271.31/271.40 c | 141243 | 20702 106672 299496 | 2147483647 138090 98 | 70.043 % |
273.71/273.79 c | 142203 | 20702 106672 299496 | 2147483647 139050 98 | 70.043 % |
277.41/277.46 c | 143256 | 20702 106672 299496 | 2147483647 140103 98 | 70.043 % |
280.41/280.46 c | 144414 | 20695 106672 299496 | 2147483647 141259 98 | 71.623 % |
283.61/283.64 c | 145689 | 19486 99467 279995 | 2147483647 142302 98 | 71.623 % |
285.91/285.93 c | 147089 | 19486 99467 279995 | 2147483647 143702 98 | 71.623 % |
289.11/289.11 c | 148630 | 19486 99467 279995 | 2147483647 145243 98 | 71.623 % |
289.41/289.46 c | 148731 | 19486 99467 279995 | 2147483647 145344 98 | 71.623 % |
289.71/289.73 c | 148841 | 19486 99467 279995 | 2147483647 145454 98 | 71.623 % |
290.01/290.03 c | 148962 | 19486 99467 279995 | 2147483647 145575 98 | 71.623 % |
290.31/290.35 c | 149095 | 19486 99467 279995 | 2147483647 145708 98 | 71.623 % |
290.81/290.91 c | 149242 | 19486 99467 279995 | 2147483647 145855 98 | 71.623 % |
291.21/291.24 c | 149402 | 19486 99467 279995 | 2147483647 146015 98 | 71.623 % |
291.71/291.73 c | 149579 | 19486 99467 279995 | 2147483647 146192 98 | 71.623 % |
292.11/292.19 c | 149774 | 19486 99467 279995 | 2147483647 146387 98 | 71.623 % |
292.91/292.93 c | 149987 | 19486 99467 279995 | 2147483647 146600 98 | 71.623 % |
293.61/293.66 c | 150220 | 19486 99467 279995 | 2147483647 146833 98 | 71.623 % |
294.31/294.37 c | 150479 | 19486 99467 279995 | 2147483647 147092 98 | 71.623 % |
295.21/295.29 c | 150760 | 19486 99467 279995 | 2147483647 147373 98 | 71.623 % |
296.11/296.18 c | 151070 | 19486 99467 279995 | 2147483647 147683 98 | 71.623 % |
296.81/296.85 c | 151409 | 19486 99467 279995 | 2147483647 148022 98 | 71.623 % |
297.71/297.73 c | 151783 | 19486 99467 279995 | 2147483647 148396 98 | 71.623 % |
298.71/298.78 c | 152193 | 19486 99467 279995 | 2147483647 148805 98 | 71.645 % |
300.21/300.28 c | 152643 | 19485 99467 279995 | 2147483647 149254 98 | 71.662 % |
301.31/301.40 c | 153137 | 19485 99467 279995 | 2147483647 149748 98 | 71.662 % |
303.01/303.05 c | 153680 | 19484 99467 279995 | 2147483647 150290 98 | 71.678 % |
304.91/304.92 c | 154276 | 19484 99467 279995 | 2147483647 150886 98 | 71.678 % |
306.91/306.99 c | 154932 | 19484 99467 279995 | 2147483647 151542 98 | 71.678 % |
308.51/308.59 c | 155653 | 19484 99467 279995 | 2147483647 152263 97 | 71.678 % |
310.31/310.38 c | 156447 | 19484 99467 279995 | 2147483647 153057 97 | 71.678 % |
312.42/312.47 c | 157319 | 19448 99182 279218 | 2147483647 153925 97 | 71.678 % |
314.71/314.73 c | 158277 | 19447 99182 279218 | 2147483647 154882 97 | 71.691 % |
316.82/316.89 c | 159333 | 19447 99182 279218 | 2147483647 155938 96 | 71.691 % |
320.01/320.02 c | 160491 | 19445 99182 279218 | 2147483647 157094 96 | 71.720 % |
323.71/323.75 c | 161764 | 19445 99182 279218 | 2147483647 158367 96 | 71.720 % |
326.31/326.35 c | 163165 | 19445 99182 279218 | 2147483647 159768 96 | 71.720 % |
329.81/329.86 c | 164706 | 19445 99182 279218 | 2147483647 161309 96 | 71.720 % |
334.81/334.83 c | 166404 | 19445 99182 279218 | 2147483647 163007 96 | 71.720 % |
335.01/335.08 c | 166504 | 19445 99182 279218 | 2147483647 163107 96 | 71.720 % |
335.41/335.46 c | 166617 | 19445 99182 279218 | 2147483647 163220 96 | 71.720 % |
335.71/335.80 c | 166738 | 19445 99182 279218 | 2147483647 163341 96 | 71.720 % |
336.21/336.21 c | 166872 | 19445 99182 279218 | 2147483647 163475 96 | 71.720 % |
336.51/336.56 c | 167018 | 19445 99182 279218 | 2147483647 163621 96 | 71.720 % |
336.91/336.96 c | 167179 | 19445 99182 279218 | 2147483647 163782 96 | 71.720 % |
337.31/337.40 c | 167355 | 19445 99182 279218 | 2147483647 163958 96 | 71.720 % |
337.91/337.99 c | 167551 | 19419 98931 278599 | 2147483647 164095 96 | 71.720 % |
338.41/338.42 c | 167763 | 19419 98931 278599 | 2147483647 164307 96 | 71.720 % |
338.91/338.97 c | 167998 | 19419 98931 278599 | 2147483647 164542 96 | 71.720 % |
339.61/339.67 c | 168254 | 19419 98931 278599 | 2147483647 164798 96 | 71.720 % |
340.41/340.46 c | 168536 | 19419 98931 278599 | 2147483647 165080 96 | 71.720 % |
341.31/341.31 c | 168845 | 19419 98931 278599 | 2147483647 165389 96 | 71.720 % |
342.21/342.28 c | 169187 | 19419 98931 278599 | 2147483647 165731 96 | 71.720 % |
343.31/343.36 c | 169563 | 19419 98931 278599 | 2147483647 166107 95 | 71.720 % |
344.32/344.38 c | 169974 | 19419 98931 278599 | 2147483647 166518 95 | 71.720 % |
345.42/345.45 c | 170423 | 19419 98931 278599 | 2147483647 166967 95 | 71.720 % |
346.81/346.87 c | 170916 | 19419 98931 278599 | 2147483647 167460 95 | 71.720 % |
348.11/348.14 c | 171460 | 19419 98931 278599 | 2147483647 168004 95 | 71.720 % |
349.41/349.41 c | 172057 | 19419 98931 278599 | 2147483647 168601 95 | 71.720 % |
350.81/350.88 c | 172714 | 19419 98931 278599 | 2147483647 169258 95 | 71.720 % |
352.61/352.63 c | 173435 | 19419 98931 278599 | 2147483647 169979 95 | 71.720 % |
355.01/355.04 c | 174236 | 19419 98931 278599 | 2147483647 170780 95 | 71.720 % |
357.71/357.74 c | 175107 | 19419 98931 278599 | 2147483647 171651 95 | 71.720 % |
360.01/360.08 c | 176066 | 19419 98931 278599 | 2147483647 172610 95 | 71.720 % |
362.51/362.60 c | 177119 | 19419 98931 278599 | 2147483647 173663 95 | 71.720 % |
365.02/365.08 c | 178277 | 19419 98931 278599 | 2147483647 174821 95 | 71.720 % |
368.42/368.42 c | 179550 | 19419 98931 278599 | 2147483647 176094 95 | 71.720 % |
371.72/371.73 c | 180951 | 19419 98931 278599 | 2147483647 177493 95 | 71.770 % |
376.02/376.04 c | 182491 | 19419 98931 278599 | 2147483647 179033 95 | 71.770 % |
380.52/380.53 c | 184185 | 19385 98718 277995 | 2147483647 180710 95 | 71.770 % |
386.12/386.13 c | 186050 | 19385 98718 277995 | 2147483647 182575 94 | 71.770 % |
386.32/386.36 c | 186150 | 19385 98718 277995 | 2147483647 182675 94 | 71.770 % |
386.82/386.85 c | 186260 | 19385 98718 277995 | 2147483647 182785 94 | 71.770 % |
387.22/387.28 c | 186382 | 19385 98718 277995 | 2147483647 182907 94 | 71.770 % |
387.72/387.78 c | 186516 | 19384 98718 277995 | 2147483647 183040 94 | 71.785 % |
388.12/388.16 c | 186663 | 19384 98718 277995 | 2147483647 183187 94 | 71.785 % |
388.82/388.92 c | 186823 | 19384 98718 277995 | 2147483647 183347 94 | 71.785 % |
389.42/389.46 c | 187001 | 19384 98718 277995 | 2147483647 183525 94 | 71.785 % |
390.02/390.02 c | 187194 | 19384 98718 277995 | 2147483647 183718 94 | 71.785 % |
390.52/390.58 c | 187407 | 19384 98718 277995 | 2147483647 183931 94 | 71.785 % |
391.22/391.30 c | 187640 | 19384 98718 277995 | 2147483647 184164 94 | 71.785 % |
392.12/392.13 c | 187896 | 19384 98718 277995 | 2147483647 184420 94 | 71.785 % |
392.92/392.95 c | 188177 | 19384 98718 277995 | 2147483647 184701 94 | 71.785 % |
393.92/394.01 c | 188486 | 19384 98718 277995 | 2147483647 185010 94 | 71.785 % |
394.92/394.92 c | 188825 | 19384 98718 277995 | 2147483647 185349 94 | 71.785 % |
395.92/396.01 c | 189197 | 19384 98718 277995 | 2147483647 185721 94 | 71.785 % |
397.42/397.49 c | 189606 | 19384 98718 277995 | 2147483647 186130 94 | 71.785 % |
399.02/399.05 c | 190055 | 19384 98718 277995 | 2147483647 186579 94 | 71.785 % |
400.32/400.34 c | 190548 | 19384 98718 277995 | 2147483647 187072 94 | 71.785 % |
401.82/401.91 c | 191090 | 19384 98718 277995 | 2147483647 187614 94 | 71.785 % |
403.52/403.52 c | 191687 | 19384 98718 277995 | 2147483647 188211 94 | 71.785 % |
405.12/405.20 c | 192343 | 19384 98718 277995 | 2147483647 188867 94 | 71.785 % |
407.22/407.22 c | 193063 | 19384 98718 277995 | 2147483647 189587 94 | 71.785 % |
409.52/409.59 c | 193856 | 19384 98718 277995 | 2147483647 190380 94 | 71.785 % |
412.41/412.45 c | 194728 | 19384 98718 277995 | 2147483647 191252 94 | 71.785 % |
415.51/415.55 c | 195689 | 19384 98718 277995 | 2147483647 192213 94 | 71.785 % |
418.51/418.54 c | 196744 | 19384 98718 277995 | 2147483647 193268 93 | 71.785 % |
421.81/421.81 c | 197904 | 19384 98718 277995 | 2147483647 194428 93 | 71.785 % |
425.71/425.73 c | 199179 | 19375 98648 277821 | 2147483647 195692 93 | 71.785 % |
429.81/429.88 c | 200580 | 19375 98648 277821 | 2147483647 197093 93 | 71.785 % |
433.31/433.31 c | 202121 | 19375 98648 277821 | 2147483647 198634 93 | 71.785 % |
437.81/437.87 c | 203816 | 19375 98648 277821 | 2147483647 200328 92 | 71.801 % |
442.91/442.95 c | 205681 | 19375 98648 277821 | 2147483647 202193 92 | 71.801 % |
449.51/449.59 c | 207731 | 19375 98648 277821 | 2147483647 204243 92 | 71.801 % |
449.92/449.97 c | 207831 | 19375 98648 277821 | 2147483647 204343 92 | 71.801 % |
450.31/450.38 c | 207942 | 19375 98648 277821 | 2147483647 204454 92 | 71.801 % |
450.81/450.81 c | 208063 | 19375 98648 277821 | 2147483647 204575 92 | 71.801 % |
451.21/451.26 c | 208198 | 19375 98648 277821 | 2147483647 204710 92 | 71.801 % |
451.71/451.79 c | 208344 | 19375 98648 277821 | 2147483647 204856 92 | 71.801 % |
452.21/452.25 c | 208504 | 19375 98648 277821 | 2147483647 205016 93 | 71.801 % |
452.81/452.86 c | 208683 | 19375 98648 277821 | 2147483647 205195 93 | 71.801 % |
453.51/453.57 c | 208876 | 19375 98648 277821 | 2147483647 205388 93 | 71.801 % |
454.32/454.38 c | 209090 | 19375 98648 277821 | 2147483647 205602 93 | 71.801 % |
455.21/455.26 c | 209323 | 19375 98648 277821 | 2147483647 205835 93 | 71.801 % |
456.21/456.22 c | 209580 | 19375 98648 277821 | 2147483647 206092 93 | 71.801 % |
457.11/457.14 c | 209863 | 19375 98648 277821 | 2147483647 206375 93 | 71.801 % |
457.81/457.89 c | 210172 | 19375 98648 277821 | 2147483647 206684 93 | 71.801 % |
458.61/458.70 c | 210511 | 19375 98648 277821 | 2147483647 207023 93 | 71.801 % |
459.82/459.89 c | 210884 | 19375 98648 277821 | 2147483647 207396 93 | 71.801 % |
460.81/460.90 c | 211296 | 19375 98648 277821 | 2147483647 207808 93 | 71.801 % |
462.02/462.08 c | 211745 | 19375 98648 277821 | 2147483647 208257 93 | 71.801 % |
463.91/463.92 c | 212238 | 19375 98648 277821 | 2147483647 208749 93 | 71.831 % |
465.71/465.75 c | 212781 | 19375 98648 277821 | 2147483647 209292 93 | 71.831 % |
467.61/467.62 c | 213377 | 19375 98648 277821 | 2147483647 209888 92 | 71.831 % |
470.11/470.18 c | 214032 | 19375 98648 277821 | 2147483647 210543 92 | 71.831 % |
471.92/471.99 c | 214753 | 19375 98648 277821 | 2147483647 211264 92 | 71.831 % |
475.61/475.67 c | 215547 | 19375 98648 277821 | 2147483647 212058 92 | 71.831 % |
479.11/479.13 c | 216418 | 19342 98411 277184 | 2147483647 212864 92 | 72.087 % |
482.61/482.61 c | 217377 | 19342 98411 277184 | 2147483647 213823 92 | 72.087 % |
486.41/486.41 c | 218432 | 19342 98411 277184 | 2147483647 214878 92 | 72.087 % |
489.71/489.79 c | 219590 | 19342 98411 277184 | 2147483647 216036 92 | 72.087 % |
492.62/492.70 c | 220863 | 19342 98411 277184 | 2147483647 217309 92 | 72.087 % |
497.22/497.29 c | 222264 | 19342 98411 277184 | 2147483647 218710 92 | 72.087 % |
501.52/501.61 c | 223804 | 19342 98411 277184 | 2147483647 220250 92 | 72.087 % |
507.32/507.37 c | 225498 | 19342 98411 277184 | 2147483647 221944 92 | 72.087 % |
513.32/513.32 c | 227363 | 19342 98411 277184 | 2147483647 223808 92 | 72.105 % |
519.42/519.42 c | 229412 | 19341 98411 277184 | 2147483647 225856 92 | 72.124 % |
524.92/524.96 c | 231667 | 19341 98411 277184 | 2147483647 228111 92 | 72.124 % |
525.22/525.29 c | 231767 | 19341 98411 277184 | 2147483647 228211 92 | 72.124 % |
525.72/525.74 c | 231877 | 19341 98411 277184 | 2147483647 228321 92 | 72.124 % |
526.22/526.21 c | 231998 | 19142 97449 274243 | 2147483647 228427 92 | 72.124 % |
526.52/526.60 c | 232131 | 19142 97449 274243 | 2147483647 228560 92 | 72.124 % |
527.12/527.14 c | 232278 | 19142 97449 274243 | 2147483647 228707 92 | 72.124 % |
527.62/527.67 c | 232438 | 19142 97449 274243 | 2147483647 228867 92 | 72.124 % |
528.02/528.08 c | 232615 | 19142 97449 274243 | 2147483647 229044 92 | 72.124 % |
528.62/528.66 c | 232812 | 19142 97449 274243 | 2147483647 229241 92 | 72.124 % |
529.42/529.50 c | 233025 | 19142 97449 274243 | 2147483647 229454 92 | 72.124 % |
530.32/530.35 c | 233259 | 19141 97449 274243 | 2147483647 229687 92 | 72.214 % |
531.12/531.16 c | 233515 | 19141 97449 274243 | 2147483647 229943 92 | 72.214 % |
532.32/532.35 c | 233796 | 19140 97449 274243 | 2147483647 230223 92 | 72.232 % |
533.62/533.71 c | 234106 | 19140 97449 274243 | 2147483647 230533 92 | 72.232 % |
535.12/535.14 c | 234446 | 19140 97449 274243 | 2147483647 230872 92 | 72.243 % |
536.52/536.58 c | 234819 | 19140 97449 274243 | 2147483647 231245 92 | 72.243 % |
538.02/538.04 c | 235228 | 19140 97449 274243 | 2147483647 231654 92 | 72.243 % |
539.72/539.78 c | 235677 | 19140 97449 274243 | 2147483647 232103 92 | 72.243 % |
541.82/541.84 c | 236170 | 19140 97449 274243 | 2147483647 232596 92 | 72.243 % |
543.82/543.85 c | 236712 | 19140 97449 274243 | 2147483647 233138 92 | 72.243 % |
546.32/546.34 c | 237308 | 19140 97449 274243 | 2147483647 233734 91 | 72.243 % |
549.82/549.89 c | 237963 | 19140 97449 274243 | 2147483647 234389 91 | 72.243 % |
553.22/553.24 c | 238685 | 19140 97449 274243 | 2147483647 235111 91 | 72.243 % |
555.62/555.67 c | 239477 | 19140 97449 274243 | 2147483647 235903 91 | 72.243 % |
558.72/558.78 c | 240348 | 19140 97449 274243 | 2147483647 236774 91 | 72.243 % |
562.02/562.05 c | 241307 | 19140 97449 274243 | 2147483647 237733 91 | 72.243 % |
565.52/565.56 c | 242362 | 19140 97449 274243 | 2147483647 238788 91 | 72.243 % |
568.92/568.91 c | 243520 | 19140 97449 274243 | 2147483647 239946 91 | 72.243 % |
573.22/573.26 c | 244793 | 19140 97449 274243 | 2147483647 241219 91 | 72.243 % |
577.12/577.19 c | 246194 | 19138 97449 274243 | 2147483647 242619 91 | 72.294 % |
581.42/581.44 c | 247734 | 19138 97449 274243 | 2147483647 244159 91 | 72.294 % |
586.92/586.94 c | 249431 | 19138 97449 274243 | 2147483647 245856 91 | 72.294 % |
592.93/592.95 c | 251296 | 19138 97449 274243 | 2147483647 247721 90 | 72.294 % |
601.02/601.10 c | 253346 | 19025 96845 272628 | 2147483647 249632 90 | 72.294 % |
609.82/609.89 c | 255600 | 19025 96845 272628 | 2147483647 251886 90 | 72.294 % |
619.53/619.58 c | 258078 | 19024 96845 272628 | 2147483647 254363 90 | 72.315 % |
620.23/620.25 c | 258179 | 19024 96845 272628 | 2147483647 254464 90 | 72.315 % |
620.73/620.77 c | 258289 | 19024 96845 272628 | 2147483647 254574 90 | 72.315 % |
621.23/621.22 c | 258411 | 19024 96845 272628 | 2147483647 254696 90 | 72.315 % |
621.73/621.74 c | 258546 | 19024 96845 272628 | 2147483647 254831 90 | 72.315 % |
622.33/622.35 c | 258693 | 19023 96845 272628 | 2147483647 254977 90 | 72.331 % |
622.83/622.87 c | 258853 | 19023 96845 272628 | 2147483647 255137 90 | 72.331 % |
623.73/623.73 c | 259029 | 19023 96845 272628 | 2147483647 255313 90 | 72.331 % |
624.23/624.28 c | 259222 | 19023 96845 272628 | 2147483647 255506 90 | 72.331 % |
625.13/625.12 c | 259435 | 19023 96845 272628 | 2147483647 255719 90 | 72.331 % |
625.83/625.83 c | 259669 | 19023 96845 272628 | 2147483647 255953 90 | 72.331 % |
626.43/626.50 c | 259926 | 19023 96845 272628 | 2147483647 256210 90 | 72.331 % |
627.23/627.28 c | 260207 | 19023 96845 272628 | 2147483647 256491 90 | 72.331 % |
628.13/628.14 c | 260516 | 19023 96845 272628 | 2147483647 256800 90 | 72.331 % |
629.33/629.33 c | 260855 | 19023 96845 272628 | 2147483647 257139 90 | 72.331 % |
630.63/630.65 c | 261227 | 19023 96845 272628 | 2147483647 257511 90 | 72.331 % |
631.73/631.81 c | 261638 | 19023 96845 272628 | 2147483647 257922 90 | 72.331 % |
633.33/633.34 c | 262090 | 19022 96845 272628 | 2147483647 258373 90 | 72.347 % |
634.93/634.95 c | 262585 | 19022 96845 272628 | 2147483647 258868 90 | 72.347 % |
636.63/636.67 c | 263127 | 19022 96845 272628 | 2147483647 259410 90 | 72.347 % |
638.53/638.53 c | 263723 | 19022 96845 272628 | 2147483647 260006 90 | 72.347 % |
640.73/640.72 c | 264379 | 19022 96845 272628 | 2147483647 260662 90 | 72.347 % |
644.03/644.05 c | 265100 | 19022 96845 272628 | 2147483647 261383 90 | 72.347 % |
646.53/646.61 c | 265893 | 19022 96845 272628 | 2147483647 262176 90 | 72.347 % |
649.93/649.93 c | 266767 | 19022 96845 272628 | 2147483647 263050 90 | 72.347 % |
654.03/654.06 c | 267725 | 19022 96845 272628 | 2147483647 264008 90 | 72.347 % |
657.23/657.29 c | 268780 | 19022 96845 272628 | 2147483647 265063 90 | 72.347 % |
661.23/661.22 c | 269940 | 19022 96845 272628 | 2147483647 266223 90 | 72.347 % |
665.43/665.47 c | 271214 | 18989 96592 271943 | 2147483647 267464 90 | 72.347 % |
670.03/670.01 c | 272614 | 18989 96592 271943 | 2147483647 268864 90 | 72.347 % |
674.63/674.66 c | 274158 | 18989 96592 271943 | 2147483647 270408 90 | 72.347 % |
681.53/681.59 c | 275852 | 18978 96592 271943 | 2147483647 272101 90 | 72.645 % |
689.93/689.99 c | 277716 | 18978 96592 271943 | 2147483647 273965 90 | 72.645 % |
697.73/697.76 c | 279768 | 18978 96592 271943 | 2147483647 276017 90 | 72.645 % |
705.43/705.49 c | 282022 | 18978 96592 271943 | 2147483647 278271 90 | 72.645 % |
713.53/713.57 c | 284500 | 18978 96592 271943 | 2147483647 280748 90 | 72.664 % |
723.03/723.08 c | 287225 | 18978 96592 271943 | 2147483647 283473 90 | 72.664 % |
723.53/723.51 c | 287325 | 18978 96592 271943 | 2147483647 283573 90 | 72.664 % |
723.93/723.92 c | 287436 | 18978 96592 271943 | 2147483647 283684 90 | 72.664 % |
724.33/724.33 c | 287560 | 18978 96592 271943 | 2147483647 283808 90 | 72.664 % |
724.83/724.92 c | 287695 | 18978 96592 271943 | 2147483647 283943 90 | 72.664 % |
725.83/725.87 c | 287843 | 18978 96592 271943 | 2147483647 284091 90 | 72.664 % |
726.73/726.79 c | 288003 | 18978 96592 271943 | 2147483647 284251 90 | 72.664 % |
727.53/727.55 c | 288179 | 18978 96592 271943 | 2147483647 284427 90 | 72.664 % |
728.24/728.29 c | 288373 | 18978 96592 271943 | 2147483647 284621 90 | 72.664 % |
729.23/729.31 c | 288585 | 18978 96592 271943 | 2147483647 284833 90 | 72.664 % |
730.13/730.13 c | 288820 | 18978 96592 271943 | 2147483647 285068 90 | 72.664 % |
731.33/731.36 c | 289076 | 18978 96592 271943 | 2147483647 285324 90 | 72.664 % |
732.53/732.58 c | 289360 | 18978 96592 271943 | 2147483647 285608 90 | 72.664 % |
733.83/733.87 c | 289670 | 18771 95116 267959 | 2147483647 285777 90 | 72.664 % |
734.84/734.83 c | 290012 | 18771 95116 267959 | 286107 286119 90 | 72.664 % |
735.83/735.90 c | 290385 | 18769 95116 267959 | 286107 286491 90 | 73.008 % |
737.83/737.88 c | 290794 | 18769 95116 267959 | 286107 286900 90 | 73.008 % |
740.13/740.16 c | 291243 | 18769 95116 267959 | 286107 287348 90 | 73.034 % |
742.54/742.57 c | 291738 | 18769 95116 267959 | 286107 287843 90 | 73.034 % |
744.84/744.83 c | 292281 | 18769 95116 267959 | 286107 288386 90 | 73.034 % |
747.44/747.47 c | 292877 | 18769 95116 267959 | 286107 288982 90 | 73.034 % |
751.14/751.19 c | 293532 | 18769 95116 267959 | 286107 289637 90 | 73.034 % |
753.34/753.41 c | 294252 | 18769 95116 267959 | 286107 290357 90 | 73.034 % |
756.24/756.31 c | 295044 | 18769 95116 267959 | 286107 291149 90 | 73.034 % |
759.64/759.68 c | 295917 | 18769 95116 267959 | 286107 292022 90 | 73.034 % |
763.54/763.58 c | 296875 | 18769 95116 267959 | 286107 292980 90 | 73.034 % |
767.74/767.81 c | 297930 | 18769 95116 267959 | 286107 294035 90 | 73.034 % |
772.03/772.01 c | 299088 | 18769 95116 267959 | 286107 295193 90 | 73.034 % |
776.93/776.99 c | 300364 | 18769 95116 267959 | 296105 296469 90 | 73.034 % |
782.13/782.14 c | 301766 | 18769 95116 267959 | 296105 297871 90 | 73.034 % |
789.13/789.16 c | 303306 | 18769 95116 267959 | 296105 299411 90 | 73.034 % |
795.63/795.69 c | 305001 | 18769 95116 267959 | 296105 301106 90 | 73.034 % |
803.13/803.18 c | 306865 | 18769 95116 267959 | 296105 302970 90 | 73.034 % |
811.03/811.04 c | 308920 | 18769 95116 267959 | 296105 305025 90 | 73.034 % |
819.43/819.44 c | 311176 | 18769 95116 267959 | 2147483647 307281 90 | 73.034 % |
829.63/829.67 c | 313654 | 18517 93379 263334 | 2147483647 309537 90 | 73.034 % |
839.83/839.83 c | 316380 | 18517 93379 263334 | 2147483647 312263 90 | 73.034 % |
851.13/851.15 c | 319378 | 18517 93379 263334 | 2147483647 315261 90 | 73.034 % |
851.44/851.46 c | 319480 | 18517 93379 263334 | 2147483647 315363 90 | 73.034 % |
851.93/851.91 c | 319591 | 18517 93379 263334 | 2147483647 315474 90 | 73.034 % |
852.33/852.36 c | 319713 | 18517 93379 263334 | 2147483647 315596 90 | 73.034 % |
853.13/853.12 c | 319847 | 18517 93379 263334 | 2147483647 315730 90 | 73.034 % |
853.73/853.77 c | 319993 | 18517 93379 263334 | 2147483647 315876 90 | 73.034 % |
854.63/854.69 c | 320154 | 18517 93379 263334 | 2147483647 316037 90 | 73.034 % |
855.43/855.48 c | 320331 | 18517 93379 263334 | 2147483647 316214 90 | 73.034 % |
856.43/856.50 c | 320524 | 18517 93379 263334 | 2147483647 316407 90 | 73.034 % |
857.43/857.46 c | 320736 | 18517 93379 263334 | 2147483647 316619 90 | 73.034 % |
858.23/858.25 c | 320969 | 18517 93379 263334 | 2147483647 316852 90 | 73.034 % |
859.43/859.43 c | 321225 | 18517 93379 263334 | 2147483647 317108 90 | 73.034 % |
860.83/860.83 c | 321508 | 18517 93379 263334 | 2147483647 317391 90 | 73.034 % |
862.13/862.19 c | 321818 | 18517 93379 263334 | 2147483647 317701 90 | 73.034 % |
863.43/863.42 c | 322159 | 18517 93379 263334 | 2147483647 318042 90 | 73.034 % |
864.93/864.95 c | 322534 | 18517 93379 263334 | 2147483647 318417 90 | 73.034 % |
866.63/866.62 c | 322943 | 18517 93379 263334 | 2147483647 318826 90 | 73.034 % |
868.53/868.56 c | 323392 | 18517 93379 263334 | 2147483647 319275 90 | 73.034 % |
870.74/870.80 c | 323885 | 18517 93379 263334 | 2147483647 319768 90 | 73.034 % |
872.74/872.78 c | 324428 | 18517 93379 263334 | 2147483647 320311 90 | 73.034 % |
874.74/874.79 c | 325025 | 18517 93379 263334 | 2147483647 320908 90 | 73.034 % |
877.44/877.50 c | 325682 | 18517 93379 263334 | 2147483647 321565 90 | 73.034 % |
880.54/880.54 c | 326402 | 18517 93379 263334 | 2147483647 322285 90 | 73.034 % |
884.04/884.04 c | 327194 | 18517 93379 263334 | 2147483647 323077 90 | 73.034 % |
888.04/888.09 c | 328065 | 18517 93379 263334 | 2147483647 323948 90 | 73.034 % |
891.54/891.60 c | 329024 | 18517 93379 263334 | 2147483647 324907 90 | 73.034 % |
895.14/895.19 c | 330080 | 18517 93379 263334 | 325884 325963 90 | 73.034 % |
898.74/898.72 c | 331238 | 18517 93379 263334 | 325884 327121 90 | 73.034 % |
903.24/903.25 c | 332513 | 18517 93379 263334 | 325884 328396 90 | 73.034 % |
908.74/908.78 c | 333915 | 18517 93379 263334 | 325884 329798 90 | 73.034 % |
915.84/915.87 c | 335456 | 18517 93379 263334 | 325884 331339 90 | 73.034 % |
921.94/922.00 c | 337150 | 18517 93379 263334 | 325884 333033 90 | 73.034 % |
927.64/927.70 c | 339013 | 18517 93379 263334 | 325884 334896 89 | 73.034 % |
936.04/936.03 c | 341062 | 18517 93379 263334 | 335885 336945 89 | 73.034 % |
944.64/944.61 c | 343316 | 18517 93379 263334 | 335885 339199 89 | 73.034 % |
953.94/953.91 c | 345794 | 18517 93379 263334 | 335885 341677 89 | 73.034 % |
964.14/964.14 c | 348519 | 18517 93379 263334 | 335885 344402 89 | 73.034 % |
973.74/973.73 c | 351516 | 18517 93379 263334 | 345883 347399 89 | 73.034 % |
986.34/986.39 c | 354814 | 18517 93379 263334 | 345883 350697 89 | 73.034 % |
987.24/987.21 c | 354914 | 18517 93379 263334 | 345883 350797 89 | 73.034 % |
987.74/987.79 c | 355025 | 18517 93379 263334 | 345883 350908 89 | 73.034 % |
988.34/988.34 c | 355148 | 18517 93379 263334 | 345883 351031 89 | 73.034 % |
989.24/989.25 c | 355283 | 18517 93379 263334 | 345883 351166 89 | 73.034 % |
990.05/990.01 c | 355432 | 18517 93379 263334 | 345883 351315 89 | 73.034 % |
990.74/990.71 c | 355597 | 18517 93379 263334 | 345883 351480 89 | 73.034 % |
991.84/991.89 c | 355776 | 18508 93318 263180 | 345883 351645 89 | 73.047 % |
992.94/992.97 c | 355970 | 18508 93318 263180 | 345883 351839 89 | 73.047 % |
993.94/993.98 c | 356182 | 18508 93318 263180 | 345883 352051 89 | 73.047 % |
995.14/995.19 c | 356418 | 18508 93318 263180 | 345883 352287 89 | 73.047 % |
996.45/996.50 c | 356675 | 18508 93318 263180 | 345883 352544 89 | 73.047 % |
997.85/997.89 c | 356956 | 18508 93318 263180 | 345883 352825 89 | 73.047 % |
999.35/999.35 c | 357265 | 18508 93318 263180 | 345883 353134 89 | 73.047 % |
1001.75/1001.73 c | 357605 | 18508 93318 263180 | 345883 353474 89 | 73.047 % |
1003.15/1003.17 c | 357978 | 18508 93318 263180 | 345883 353847 89 | 73.047 % |
1004.75/1004.79 c | 358389 | 18508 93318 263180 | 345883 354258 89 | 73.047 % |
1006.65/1006.69 c | 358840 | 18508 93318 263180 | 345883 354709 89 | 73.047 % |
1008.75/1008.80 c | 359334 | 18508 93318 263180 | 345883 355203 89 | 73.047 % |
1011.55/1011.51 c | 359877 | 18508 93318 263180 | 345883 355746 89 | 73.047 % |
1014.15/1014.20 c | 360473 | 18508 93318 263180 | 355869 356342 89 | 73.047 % |
1017.25/1017.29 c | 361130 | 18508 93318 263180 | 355869 356999 89 | 73.047 % |
1020.75/1020.79 c | 361851 | 18508 93318 263180 | 355869 357720 89 | 73.047 % |
1025.15/1025.20 c | 362644 | 18508 93318 263180 | 355869 358513 89 | 73.047 % |
1029.75/1029.76 c | 363516 | 18508 93318 263180 | 355869 359385 89 | 73.047 % |
1034.15/1034.14 c | 364475 | 18508 93318 263180 | 355869 360344 89 | 73.047 % |
1038.95/1038.93 c | 365530 | 18508 93318 263180 | 355869 361399 89 | 73.047 % |
1043.85/1043.87 c | 366690 | 18508 93318 263180 | 355869 362559 89 | 73.047 % |
1050.75/1050.79 c | 367964 | 18508 93318 263180 | 355869 363833 89 | 73.047 % |
1057.15/1057.11 c | 369364 | 18508 93318 263180 | 355869 365233 89 | 73.047 % |
1062.95/1063.01 c | 370904 | 18508 93318 263180 | 365869 366773 89 | 73.047 % |
1070.36/1070.33 c | 372599 | 18508 93318 263180 | 365869 368468 89 | 73.047 % |
1077.45/1077.43 c | 374462 | 18508 93318 263180 | 365869 370331 89 | 73.047 % |
1085.55/1085.53 c | 376515 | 18508 93318 263180 | 365869 372384 89 | 73.047 % |
1095.35/1095.33 c | 378768 | 18508 93318 263180 | 365869 374637 89 | 73.047 % |
1106.15/1106.20 c | 381246 | 18508 93318 263180 | 375870 377115 89 | 73.047 % |
1118.95/1118.95 c | 383971 | 18508 93318 263180 | 375870 379840 89 | 73.047 % |
1132.26/1132.29 c | 386970 | 18508 93318 263180 | 375870 382839 89 | 73.047 % |
1146.96/1146.96 c | 390267 | 18508 93318 263180 | 385872 386136 89 | 73.047 % |
1167.66/1167.62 c | 393893 | 18508 93318 263180 | 385872 389762 89 | 73.047 % |
1168.26/1168.21 c | 393994 | 18508 93318 263180 | 385872 389863 89 | 73.047 % |
1168.76/1168.76 c | 394104 | 18508 93318 263180 | 385872 389973 89 | 73.047 % |
1169.16/1169.21 c | 394225 | 18508 93318 263180 | 385872 390094 89 | 73.047 % |
1169.86/1169.87 c | 394358 | 18508 93318 263180 | 385872 390227 89 | 73.047 % |
1170.76/1170.73 c | 394504 | 18508 93318 263180 | 385872 390373 89 | 73.047 % |
1171.66/1171.70 c | 394664 | 18508 93318 263180 | 385872 390533 89 | 73.047 % |
1172.96/1172.97 c | 394841 | 18508 93318 263180 | 385872 390710 89 | 73.047 % |
1174.06/1174.08 c | 395036 | 18508 93318 263180 | 385872 390905 89 | 73.047 % |
1174.76/1174.75 c | 395250 | 18508 93318 263180 | 385872 391119 89 | 73.047 % |
1176.26/1176.24 c | 395484 | 18508 93318 263180 | 385872 391353 89 | 73.047 % |
1177.36/1177.37 c | 395741 | 18508 93318 263180 | 385872 391610 89 | 73.047 % |
1179.36/1179.32 c | 396022 | 18508 93318 263180 | 385872 391891 89 | 73.047 % |
1181.06/1181.08 c | 396332 | 18508 93318 263180 | 385872 392201 89 | 73.047 % |
1182.96/1182.93 c | 396672 | 18508 93318 263180 | 385872 392541 89 | 73.047 % |
1185.46/1185.41 c | 397047 | 18498 93239 262985 | 385872 392896 89 | 73.062 % |
1187.26/1187.25 c | 397458 | 18498 93239 262985 | 385872 393307 89 | 73.062 % |
1189.96/1189.97 c | 397911 | 18498 93239 262985 | 385872 393760 89 | 73.062 % |
1191.96/1191.98 c | 398404 | 18498 93239 262985 | 385872 394253 89 | 73.062 % |
1195.16/1195.19 c | 398946 | 18498 93239 262985 | 385872 394795 89 | 73.062 % |
1199.26/1199.23 c | 399543 | 18498 93239 262985 | 385872 395392 89 | 73.062 % |
1200.06/1200.03 HOME/SatELiteGTI: line 36: 3403 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820332-1242428597/watcher-1820332-1242428597 -o /tmp/evaluation-result-1820332-1242428597/solver-1820332-1242428597 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820332-1242428597.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 3400
/proc/meminfo: memFree=1651068/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 336 0 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 270 4294967295 134512640 135169312 3217600464 3217598056 3085657006 0 0 4 65536 3222620697 0 0 17 0 0 0 0
/proc/3397/statm: 603 270 230 161 0 42 0
[pid=3398] ppid=3397 vsize=2412 CPUtime=0
/proc/3398/stat : 3398 (SatELiteGTI) R 3397 3397 11066 0 -1 4194368 103 0 0 0 0 0 0 0 25 0 1 0 1007358235 2469888 114 4294967295 134512640 135169312 3217600464 3217596684 3085465460 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/3398/statm: 603 114 72 161 0 42 0
[pid=3399] ppid=3398 vsize=0 CPUtime=0
/proc/3399/stat : 3399 (SatELiteGTI) Z 3398 3397 11066 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1007358235 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 0 0 0 0
/proc/3399/statm: 0 0 0 0 0 0 0
[pid=3400] ppid=3398 vsize=2412 CPUtime=0
/proc/3400/stat : 3400 (SatELiteGTI) R 3398 3397 11066 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1007358235 2469888 42 4294967295 134512640 135169312 3217600464 3217596684 3085465460 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/3400/statm: 603 42 0 161 0 42 0
[startup+0.032502 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 3400
/proc/meminfo: memFree=1651068/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.122495 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 3400
/proc/meminfo: memFree=1651068/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.322484 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 3400
/proc/meminfo: memFree=1651068/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+0.722461 s]
/proc/loadavg: 0.92 0.98 0.99 3/99 3400
/proc/meminfo: memFree=1651068/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2412
[startup+1.52242 s]
/proc/loadavg: 0.92 0.98 0.99 2/98 3402
/proc/meminfo: memFree=1549000/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
[pid=3402] ppid=3397 vsize=124892 CPUtime=1.52
/proc/3402/stat : 3402 (SatELite_releas) R 3397 3397 11066 0 -1 4202496 31046 0 0 0 140 12 0 0 25 0 1 0 1007358235 127889408 28215 4294967295 134512640 135223648 3212948320 3212946384 134546366 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3402/statm: 31223 28215 73 174 0 31048 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 127304
[startup+3.12233 s]
/proc/loadavg: 0.92 0.98 0.99 2/98 3402
/proc/meminfo: memFree=1532136/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
[pid=3402] ppid=3397 vsize=132644 CPUtime=3.12
/proc/3402/stat : 3402 (SatELite_releas) R 3397 3397 11066 0 -1 4202496 33330 0 0 0 299 13 0 0 25 0 1 0 1007358235 135827456 30311 4294967295 134512640 135223648 3212948320 3212946168 134716609 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3402/statm: 33161 30311 73 174 0 32986 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 135056
[startup+6.32215 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 3402
/proc/meminfo: memFree=1514900/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2412 CPUtime=0
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 364 649 0 0 0 0 0 0 25 0 1 0 1007358234 2469888 275 4294967295 134512640 135169312 3217600464 3217599000 3085463278 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3397/statm: 603 275 235 161 0 42 0
[pid=3402] ppid=3397 vsize=138928 CPUtime=6.32
/proc/3402/stat : 3402 (SatELite_releas) R 3397 3397 11066 0 -1 4202496 37223 0 0 0 614 18 0 0 25 0 1 0 1007358235 142262272 31051 4294967295 134512640 135223648 3212948320 3212946336 134586742 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3402/statm: 34732 31051 73 174 0 34557 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 141340
[startup+12.7218 s]
/proc/loadavg: 0.93 0.98 0.99 2/98 3403
/proc/meminfo: memFree=1612064/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=25576 CPUtime=4.27
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 6114 0 0 0 425 2 0 0 25 0 1 0 1007359078 26189824 6035 4294967295 134512640 135215339 3219177904 3219176192 134528872 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 6394 6035 73 172 0 6221 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 27992
[startup+25.5211 s]
/proc/loadavg: 0.95 0.98 0.99 3/98 3588
/proc/meminfo: memFree=1611200/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=26104 CPUtime=17.07
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 6257 0 0 0 1705 2 0 0 25 0 1 0 1007359078 26730496 6178 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 6526 6178 73 172 0 6353 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 28520
[startup+51.1196 s]
/proc/loadavg: 0.96 0.98 0.99 3/98 3593
/proc/meminfo: memFree=1606044/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=31616 CPUtime=42.67
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 7621 0 0 0 4264 3 0 0 25 0 1 0 1007359078 32374784 7542 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 7904 7542 73 172 0 7731 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 34032
[startup+102.317 s]
/proc/loadavg: 0.98 0.98 0.99 2/98 3797
/proc/meminfo: memFree=1592776/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=44544 CPUtime=93.87
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 10866 0 0 0 9379 8 0 0 25 0 1 0 1007359078 45613056 10787 4294967295 134512640 135215339 3219177904 3219176192 134528700 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 11136 10787 73 172 0 10963 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 46960
[startup+162.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 3992
/proc/meminfo: memFree=1579508/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=57880 CPUtime=153.87
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 14189 0 0 0 15376 11 0 0 25 0 1 0 1007359078 59269120 14110 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 14470 14110 73 172 0 14297 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 60296
[startup+222.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 4181
/proc/meminfo: memFree=1567008/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=70328 CPUtime=213.87
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 17286 0 0 0 21362 25 0 0 25 0 1 0 1007359078 72015872 17207 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 17582 17207 73 172 0 17409 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 72744
[startup+282.317 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 4369
/proc/meminfo: memFree=1556204/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=81564 CPUtime=273.88
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 20033 0 0 0 27357 31 0 0 25 0 1 0 1007359078 83521536 19954 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 20391 19954 73 172 0 20218 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 83980
[startup+342.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 4559
/proc/meminfo: memFree=1547640/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=89792 CPUtime=333.88
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 22132 0 0 0 33357 31 0 0 25 0 1 0 1007359078 91947008 22053 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 22448 22053 73 172 0 22275 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 92208
[startup+402.32 s]
/proc/loadavg: 0.99 0.98 0.99 4/98 4748
/proc/meminfo: memFree=1539472/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
################
# More data... #
################
[pid=3403] ppid=3397 vsize=105700 CPUtime=453.88
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 25990 0 0 0 45356 32 0 0 25 0 1 0 1007359078 108236800 25911 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 26425 25911 73 172 0 26252 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 108116
[startup+522.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5126
/proc/meminfo: memFree=1525096/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=112924 CPUtime=513.89
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 27804 0 0 0 51355 34 0 0 25 0 1 0 1007359078 115634176 27725 4294967295 134512640 135215339 3219177904 3219175968 134538087 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 28231 27725 73 172 0 28058 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 115340
[startup+582.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 5314
/proc/meminfo: memFree=1519144/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=118924 CPUtime=573.89
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 29299 0 0 0 57343 46 0 0 25 0 1 0 1007359078 121778176 29220 4294967295 134512640 135215339 3219177904 3219176192 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 29731 29220 73 172 0 29558 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 121340
[startup+642.317 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 5502
/proc/meminfo: memFree=1512548/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=125448 CPUtime=633.9
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 30913 0 0 0 63340 50 0 0 25 0 1 0 1007359078 128458752 30834 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 31362 30834 73 172 0 31189 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 127864
[startup+702.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 5687
/proc/meminfo: memFree=1506224/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=131464 CPUtime=693.9
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 32437 0 0 0 69337 53 0 0 25 0 1 0 1007359078 134619136 32358 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 32866 32358 73 172 0 32693 0
Current children cumulated CPU time (s) 702.33
Current children cumulated vsize (KiB) 133880
[startup+762.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 5880
/proc/meminfo: memFree=1500396/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=137672 CPUtime=753.91
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 33958 0 0 0 75336 55 0 0 25 0 1 0 1007359078 140976128 33879 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 34418 33879 73 172 0 34245 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 140088
[startup+822.307 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 6072
/proc/meminfo: memFree=1494824/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=143424 CPUtime=813.9
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 35416 0 0 0 81334 56 0 0 25 0 1 0 1007359078 146866176 35337 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 35856 35337 73 172 0 35683 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 145840
[startup+882.313 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 6260
/proc/meminfo: memFree=1488376/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=150316 CPUtime=873.91
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 36983 0 0 0 87334 57 0 0 25 0 1 0 1007359078 153923584 36904 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 37579 36904 73 172 0 37406 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 152732
[startup+942.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 6447
/proc/meminfo: memFree=1483184/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=155748 CPUtime=933.91
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 38334 0 0 0 93332 59 0 0 25 0 1 0 1007359078 159485952 38255 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 38937 38255 73 172 0 38764 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 158164
[startup+1002.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 6633
/proc/meminfo: memFree=1477224/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=161760 CPUtime=993.92
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 39832 0 0 0 99329 63 0 0 25 0 1 0 1007359078 165642240 39753 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 40440 39753 73 172 0 40267 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 164176
[startup+1062.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 6822
/proc/meminfo: memFree=1471908/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=167060 CPUtime=1053.92
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 41143 0 0 0 105327 65 0 0 25 0 1 0 1007359078 171069440 41064 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 41765 41064 73 172 0 41592 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 169476
[startup+1122.32 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 7015
/proc/meminfo: memFree=1467072/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=171832 CPUtime=1113.93
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 42342 0 0 0 111325 68 0 0 25 0 1 0 1007359078 175955968 42263 4294967295 134512640 135215339 3219177904 3219176192 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 42958 42263 73 172 0 42785 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 174248
[startup+1182.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 7203
/proc/meminfo: memFree=1462220/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=176888 CPUtime=1173.93
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 43568 0 0 0 117324 69 0 0 25 0 1 0 1007359078 181133312 43489 4294967295 134512640 135215339 3219177904 3219176192 134528788 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 44222 43489 73 172 0 44049 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 179304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 7204
/proc/meminfo: memFree=1461144/2074464 swapFree=1950760/1959888
[pid=3397] ppid=3395 vsize=2416 CPUtime=8.43
/proc/3397/stat : 3397 (SatELiteGTI) S 3395 3397 11066 0 -1 4194304 384 50242 0 0 0 0 814 29 20 0 1 0 1007358234 2473984 277 4294967295 134512640 135169312 3217600464 3217596680 3085463278 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/3397/statm: 604 277 235 161 0 43 0
[pid=3403] ppid=3397 vsize=178040 CPUtime=1191.63
/proc/3403/stat : 3403 (minisat_static) R 3397 3397 11066 0 -1 4202496 43825 0 0 0 119093 70 0 0 25 0 1 0 1007359078 182312960 43746 4294967295 134512640 135215339 3219177904 3219176120 134721382 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3403/statm: 44510 43746 73 172 0 44337 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 180456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.08
CPU user time (s): 1199.07
CPU system time (s): 1.01
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 180456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.07
system time used= 1.01
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94541
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= 17
involuntary context switches= 889
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi23 at 2009-05-16 01:03:17
IDJOB=1820332
IDBENCH=20372
IDSOLVER=657
FILE ID=tipi23/1820332-1242428597
PBS_JOBID=
Free space on /tmp= 10005 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-10-19-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820332-1242428597/watcher-1820332-1242428597 -o /tmp/evaluation-result-1820332-1242428597/solver-1820332-1242428597 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820332-1242428597.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1f049803198bb32ab05476465773cc39
RANDOM SEED= 1769160818
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1651992 kB
Buffers: 22260 kB
Cached: 316592 kB
SwapCached: 3700 kB
Active: 264132 kB
Inactive: 86592 kB
HighTotal: 1178688 kB
HighFree: 856108 kB
LowTotal: 895776 kB
LowFree: 795884 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 23316 kB
Writeback: 0 kB
AnonPages: 11160 kB
Mapped: 4360 kB
Slab: 63228 kB
PageTables: 636 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 10005 MiB
End job on tipi23 at 2009-05-16 01:23:22