0.00/0.00 c Parsing...
0.00/0.89 c ==============================================================================
0.00/0.89 c | | ORIGINAL | LEARNT | |
0.00/0.89 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.89 c ==============================================================================
0.00/0.89 c | 0 | 1148725 2691446 | 344617 0 0 nan | 0.000 % |
7.98/8.04 c | 0 | 447274 1174513 | -- 0 -- -- | -- | -454311/-958149
7.98/8.04 c ==============================================================================
7.98/8.04 c Result : #vars: 68668 #clauses: 447274 #literals: 1174513
7.98/8.04 c CPU time: 7.74582 s
7.98/8.04 c ==============================================================================
8.49/8.51 c This is MiniSat 2.0 beta
8.49/8.51 c WARNING: for repeatability, setting FPU to use double precision
8.49/8.51 c ============================[ Problem Statistics ]=============================
8.49/8.51 c | |
8.49/8.51 c | Number of variables: 68668 |
8.49/8.51 c | Number of clauses: 447274 |
8.68/8.79 c | Parsing time: 0.25 s |
8.78/8.81 c ============================[ Search Statistics ]==============================
8.78/8.81 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.78/8.81 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.78/8.81 c ===============================================================================
8.78/8.81 c | 0 | 68668 447274 1174513 | 149091 0 nan | 0.000 % |
9.08/9.18 c | 101 | 68364 447274 1174513 | 149091 88 37 | 3.441 % |
9.48/9.56 c | 201 | 68356 447274 1174513 | 149091 185 43 | 3.600 % |
9.88/9.95 c | 301 | 66191 431196 1135638 | 149091 276 62 | 3.711 % |
10.28/10.36 c | 411 | 64873 422677 1115112 | 149091 383 56 | 5.527 % |
10.58/10.60 c | 513 | 64869 422677 1115112 | 149091 481 56 | 6.135 % |
10.88/10.93 c | 623 | 64843 422677 1115112 | 149091 586 56 | 7.118 % |
11.28/11.37 c | 744 | 63354 413274 1092784 | 149091 695 52 | 8.787 % |
11.68/11.73 c | 846 | 63311 413274 1092784 | 149091 788 49 | 18.601 % |
12.08/12.18 c | 956 | 55876 354580 946482 | 149091 717 50 | 19.117 % |
12.38/12.50 c | 1078 | 55357 350874 937485 | 149091 836 50 | 20.069 % |
12.88/12.95 c | 1211 | 55239 350874 937485 | 149091 959 51 | 21.167 % |
13.18/13.20 c | 1311 | 55239 350874 937485 | 149091 1059 61 | 21.167 % |
13.38/13.49 c | 1421 | 54133 342221 916230 | 149091 1167 59 | 21.167 % |
13.78/13.83 c | 1542 | 54121 342221 916230 | 149091 1284 59 | 21.227 % |
14.08/14.17 c | 1675 | 54085 341920 915483 | 149091 1408 59 | 22.485 % |
14.47/14.50 c | 1821 | 54083 341920 915483 | 149091 1553 65 | 22.497 % |
14.68/14.78 c | 1923 | 53216 335977 900940 | 149091 1648 66 | 22.638 % |
15.08/15.18 c | 2033 | 53214 335977 900940 | 149091 1756 65 | 22.667 % |
15.57/15.60 c | 2156 | 53022 335143 899038 | 149091 1876 63 | 28.316 % |
15.77/15.85 c | 2291 | 51885 335143 899038 | 149091 2010 64 | 28.331 % |
16.17/16.29 c | 2439 | 49191 303182 817669 | 149091 1264 44 | 28.782 % |
16.47/16.58 c | 2599 | 48446 298469 806401 | 149091 1411 41 | 30.661 % |
16.67/16.75 c | 2701 | 48408 298469 806401 | 149091 1505 42 | 33.320 % |
16.77/16.84 c | 2811 | 48408 298469 806401 | 149091 1614 46 | 33.340 % |
16.97/17.07 c | 2932 | 41485 247123 672113 | 149091 1590 48 | 47.389 % |
17.27/17.30 c | 3065 | 40856 247123 672113 | 149091 1720 46 | 47.441 % |
17.47/17.54 c | 3211 | 40854 247123 672113 | 149091 1865 45 | 47.585 % |
17.77/17.80 c | 3371 | 35992 206659 566184 | 149091 1917 46 | 47.585 % |
18.27/18.31 c | 3547 | 35992 206659 566184 | 149091 2093 57 | 47.585 % |
18.47/18.51 c | 3647 | 35296 201436 552858 | 149091 2177 56 | 48.746 % |
18.77/18.89 c | 3758 | 35295 201436 552858 | 149091 2287 57 | 48.828 % |
19.07/19.11 c | 3883 | 35139 200389 550128 | 149091 2408 57 | 48.828 % |
19.67/19.72 c | 4016 | 35124 200295 549893 | 149091 2538 56 | 48.890 % |
19.97/20.02 c | 4162 | 35121 200295 549893 | 149091 2683 56 | 49.447 % |
20.27/20.30 c | 4322 | 34698 197511 542465 | 149091 2828 55 | 49.511 % |
20.37/20.46 c | 4499 | 34687 197511 542465 | 149091 3001 54 | 49.567 % |
20.67/20.77 c | 4693 | 34502 194139 533174 | 149091 3173 55 | 49.770 % |
20.87/20.94 c | 4793 | 34502 194139 533174 | 149091 3272 58 | 49.787 % |
21.07/21.14 c | 4905 | 34500 194139 533174 | 149091 3383 58 | 49.830 % |
21.37/21.49 c | 5026 | 34451 193788 532274 | 149091 3502 61 | 49.831 % |
21.57/21.62 c | 5162 | 34451 193788 532274 | 149091 3638 62 | 49.831 % |
21.97/22.01 c | 5311 | 34451 193788 532274 | 149091 3786 65 | 49.833 % |
22.27/22.30 c | 5471 | 34449 193778 532243 | 149091 3946 65 | 49.833 % |
22.57/22.60 c | 5647 | 34449 193778 532243 | 149091 4122 64 | 49.833 % |
22.87/22.95 c | 5841 | 34449 193778 532243 | 149091 4316 67 | 49.833 % |
23.27/23.38 c | 6053 | 34436 193675 531979 | 149091 4525 68 | 49.867 % |
23.57/23.61 c | 6156 | 34408 193675 531979 | 149091 4620 67 | 51.008 % |
23.67/23.72 c | 6269 | 34396 193675 531979 | 149091 4733 67 | 51.008 % |
23.97/24.02 c | 6391 | 34396 193675 531979 | 149091 4855 67 | 51.008 % |
24.07/24.19 c | 6524 | 33640 188824 518424 | 149091 4953 67 | 51.022 % |
24.37/24.40 c | 6670 | 33640 188824 518424 | 149091 5098 68 | 51.155 % |
24.47/24.58 c | 6834 | 33640 188824 518424 | 149091 5262 68 | 51.155 % |
24.87/24.96 c | 7012 | 33640 188824 518424 | 149091 5440 70 | 51.155 % |
25.07/25.14 c | 7205 | 33541 188130 516564 | 149091 5631 71 | 51.155 % |
25.37/25.47 c | 7419 | 33541 188130 516564 | 149091 5845 72 | 51.155 % |
25.97/26.05 c | 7652 | 33495 187818 515792 | 149091 6076 73 | 51.222 % |
26.07/26.15 c | 7752 | 33495 187818 515792 | 149091 6176 74 | 51.222 % |
26.27/26.32 c | 7864 | 33495 187818 515792 | 149091 6288 75 | 51.222 % |
26.47/26.50 c | 7985 | 33495 187818 515792 | 149091 6409 76 | 51.222 % |
26.57/26.67 c | 8118 | 33495 187818 515792 | 149091 6542 77 | 51.222 % |
26.77/26.85 c | 8264 | 33495 187818 515792 | 149091 6688 79 | 51.222 % |
26.97/27.00 c | 8424 | 33495 187818 515792 | 149091 6848 79 | 51.222 % |
27.27/27.32 c | 8601 | 33495 187818 515792 | 149091 7025 80 | 51.222 % |
27.47/27.59 c | 8794 | 33495 187818 515792 | 149091 7218 80 | 51.222 % |
27.87/27.96 c | 9007 | 33495 187818 515792 | 149091 7431 80 | 51.222 % |
28.17/28.23 c | 9243 | 33495 187818 515792 | 149091 7667 81 | 51.222 % |
28.67/28.70 c | 9499 | 33495 187818 515792 | 149091 7923 81 | 51.222 % |
28.77/28.87 c | 9600 | 33495 187818 515792 | 149091 8024 82 | 51.222 % |
28.97/29.08 c | 9710 | 33495 187818 515792 | 149091 8134 82 | 51.222 % |
29.17/29.29 c | 9832 | 33495 187818 515792 | 149091 8256 82 | 51.222 % |
29.37/29.46 c | 9965 | 33495 187818 515792 | 149091 8389 82 | 51.222 % |
29.57/29.63 c | 10111 | 33495 187818 515792 | 2147483647 8535 83 | 51.222 % |
29.97/30.00 c | 10272 | 33479 187750 515617 | 2147483647 8693 83 | 51.274 % |
30.17/30.27 c | 10448 | 33479 187750 515617 | 2147483647 8869 83 | 51.274 % |
30.57/30.67 c | 10642 | 33479 187750 515617 | 2147483647 9063 84 | 51.274 % |
30.96/31.02 c | 10855 | 33479 187750 515617 | 2147483647 9276 86 | 51.274 % |
31.16/31.29 c | 11088 | 33459 187566 515142 | 2147483647 9509 88 | 51.274 % |
31.56/31.64 c | 11346 | 33459 187566 515142 | 2147483647 9767 89 | 51.274 % |
32.16/32.20 c | 11627 | 33459 187566 515142 | 2147483647 10048 89 | 51.274 % |
32.36/32.48 c | 11730 | 33459 187566 515142 | 2147483647 10151 88 | 51.274 % |
32.66/32.71 c | 11841 | 33447 187483 514939 | 2147483647 10260 88 | 51.302 % |
32.86/32.95 c | 11962 | 33447 187483 514939 | 2147483647 10381 88 | 51.302 % |
33.06/33.11 c | 12095 | 33447 187483 514939 | 2147483647 10514 88 | 51.302 % |
33.26/33.34 c | 12243 | 33435 187483 514939 | 2147483647 10661 88 | 51.372 % |
33.55/33.61 c | 12405 | 33435 187483 514939 | 2147483647 10823 90 | 51.372 % |
33.75/33.85 c | 12581 | 33435 187483 514939 | 2147483647 10999 90 | 51.372 % |
34.06/34.16 c | 12777 | 32873 187077 513955 | 2147483647 11194 90 | 59.397 % |
34.45/34.51 c | 12989 | 32873 187077 513955 | 2147483647 11406 90 | 59.397 % |
34.75/34.82 c | 13224 | 32873 187077 513955 | 2147483647 11641 89 | 59.397 % |
35.16/35.25 c | 13480 | 32873 187077 513955 | 2147483647 11897 89 | 59.397 % |
35.55/35.64 c | 13761 | 27881 151298 418071 | 2147483647 11448 91 | 59.397 % |
35.95/36.04 c | 14070 | 27881 151298 418071 | 2147483647 11757 92 | 59.397 % |
36.05/36.17 c | 14171 | 27861 151298 418071 | 2147483647 11857 91 | 65.873 % |
36.16/36.30 c | 14285 | 27861 151298 418071 | 2147483647 11971 91 | 65.873 % |
36.35/36.48 c | 14410 | 27861 151298 418071 | 2147483647 12096 91 | 65.873 % |
36.55/36.67 c | 14546 | 27861 151298 418071 | 2147483647 12232 90 | 65.873 % |
36.75/36.82 c | 14692 | 23434 125181 348008 | 2147483647 11940 91 | 66.281 % |
37.05/37.15 c | 14853 | 23434 125181 348008 | 2147483647 12101 91 | 66.281 % |
37.26/37.35 c | 15030 | 23434 125181 348008 | 2147483647 12278 91 | 66.281 % |
37.45/37.57 c | 15225 | 23434 125181 348008 | 2147483647 12473 92 | 66.281 % |
37.65/37.75 c | 15438 | 23434 125181 348008 | 2147483647 12686 92 | 66.281 % |
38.05/38.16 c | 15671 | 23434 125181 348008 | 2147483647 12919 92 | 66.281 % |
38.36/38.44 c | 15927 | 23154 123615 343661 | 2147483647 13158 93 | 66.281 % |
38.85/38.90 c | 16211 | 23154 123615 343661 | 2147483647 13442 92 | 66.281 % |
39.35/39.42 c | 16521 | 23154 123615 343661 | 2147483647 13752 92 | 66.281 % |
39.65/39.78 c | 16860 | 23154 123615 343661 | 2147483647 14091 92 | 66.281 % |
39.85/39.95 c | 16962 | 23154 123615 343661 | 2147483647 14193 92 | 66.281 % |
39.95/40.03 c | 17072 | 23154 123615 343661 | 2147483647 14303 92 | 66.281 % |
40.05/40.16 c | 17193 | 23154 123615 343661 | 2147483647 14424 92 | 66.281 % |
40.25/40.34 c | 17326 | 23154 123615 343661 | 2147483647 14557 92 | 66.281 % |
40.35/40.46 c | 17474 | 23154 123615 343661 | 2147483647 14705 92 | 66.281 % |
40.66/40.71 c | 17636 | 23154 123615 343661 | 2147483647 14867 92 | 66.281 % |
40.85/40.95 c | 17812 | 22949 122432 340886 | 2147483647 15042 92 | 66.580 % |
41.15/41.20 c | 18005 | 22949 122432 340886 | 2147483647 15233 92 | 66.610 % |
41.35/41.43 c | 18218 | 22949 122432 340886 | 2147483647 15446 92 | 66.610 % |
41.85/41.95 c | 18452 | 22947 122432 340886 | 2147483647 15678 91 | 67.081 % |
42.35/42.42 c | 18709 | 22946 122432 340886 | 2147483647 15933 91 | 67.174 % |
42.95/43.00 c | 18993 | 22541 119454 333583 | 2147483647 16206 92 | 67.174 % |
43.35/43.41 c | 19302 | 22541 119454 333583 | 2147483647 16515 93 | 67.174 % |
43.65/43.76 c | 19641 | 22541 119454 333583 | 2147483647 16854 93 | 67.174 % |
44.25/44.34 c | 20013 | 22541 119454 333583 | 2147483647 17226 92 | 67.174 % |
44.34/44.44 c | 20113 | 22541 119454 333583 | 2147483647 17326 92 | 67.174 % |
44.54/44.66 c | 20225 | 22541 119454 333583 | 2147483647 17438 92 | 67.174 % |
44.74/44.86 c | 20346 | 22541 119454 333583 | 2147483647 17559 92 | 67.174 % |
44.94/45.05 c | 20481 | 22541 119454 333583 | 2147483647 17694 91 | 67.174 % |
45.14/45.27 c | 20627 | 22541 119454 333583 | 2147483647 17840 91 | 67.174 % |
45.34/45.41 c | 20788 | 22541 119454 333583 | 2147483647 18001 91 | 67.174 % |
45.54/45.60 c | 20964 | 22541 119454 333583 | 2147483647 18177 91 | 67.174 % |
45.64/45.78 c | 21157 | 22541 119454 333583 | 2147483647 18370 92 | 67.174 % |
46.04/46.10 c | 21369 | 22531 119385 333402 | 2147483647 18581 92 | 67.189 % |
46.34/46.40 c | 21604 | 22531 119385 333402 | 2147483647 18816 92 | 67.189 % |
46.64/46.78 c | 21860 | 22531 119385 333402 | 2147483647 19072 92 | 67.189 % |
46.94/47.09 c | 22142 | 22529 119385 333402 | 2147483647 19352 91 | 67.221 % |
47.63/47.72 c | 22456 | 22529 119385 333402 | 2147483647 19666 92 | 67.221 % |
48.24/48.34 c | 22799 | 22529 119385 333402 | 2147483647 20009 93 | 67.221 % |
49.03/49.11 c | 23172 | 22509 119221 332976 | 2147483647 20377 93 | 67.221 % |
49.63/49.79 c | 23581 | 22509 119221 332976 | 2147483647 20786 93 | 67.221 % |
49.73/49.88 c | 23682 | 22509 119221 332976 | 2147483647 20887 92 | 67.221 % |
50.03/50.17 c | 23793 | 22509 119221 332976 | 2147483647 20997 92 | 67.417 % |
50.44/50.50 c | 23915 | 22374 118295 330619 | 2147483647 21119 92 | 67.417 % |
50.54/50.68 c | 24048 | 22374 118295 330619 | 2147483647 21252 92 | 67.417 % |
50.73/50.86 c | 24194 | 22374 118295 330619 | 2147483647 21398 92 | 67.417 % |
51.03/51.12 c | 24356 | 22374 118295 330619 | 2147483647 21560 92 | 67.417 % |
51.23/51.39 c | 24532 | 22374 118295 330619 | 2147483647 21736 93 | 67.417 % |
51.43/51.57 c | 24725 | 22374 118295 330619 | 2147483647 21929 93 | 67.417 % |
51.74/51.86 c | 24937 | 22374 118295 330619 | 2147483647 22141 93 | 67.417 % |
51.94/52.09 c | 25170 | 22374 118295 330619 | 2147483647 22374 93 | 67.417 % |
52.34/52.48 c | 25428 | 22374 118295 330619 | 2147483647 22632 94 | 67.417 % |
52.84/52.93 c | 25710 | 22067 116063 325218 | 2147483647 22913 94 | 67.864 % |
53.24/53.32 c | 26022 | 22067 116063 325218 | 2147483647 23225 94 | 67.864 % |
53.64/53.75 c | 26364 | 22067 116063 325218 | 2147483647 23567 94 | 67.864 % |
54.24/54.32 c | 26737 | 22067 116063 325218 | 2147483647 23940 94 | 67.864 % |
54.94/55.01 c | 27146 | 22067 116063 325218 | 2147483647 24349 95 | 67.864 % |
55.53/55.69 c | 27596 | 22067 116063 325218 | 2147483647 24799 95 | 67.864 % |
55.73/55.80 c | 27696 | 22067 116063 325218 | 2147483647 24899 95 | 67.864 % |
55.83/56.00 c | 27807 | 22067 116063 325218 | 2147483647 25010 95 | 67.864 % |
56.03/56.13 c | 27928 | 22067 116063 325218 | 2147483647 25131 95 | 67.864 % |
56.13/56.26 c | 28061 | 22067 116063 325218 | 2147483647 25264 95 | 67.864 % |
56.23/56.38 c | 28208 | 22067 116063 325218 | 2147483647 25411 95 | 67.864 % |
56.53/56.61 c | 28372 | 22067 116063 325218 | 2147483647 25575 95 | 67.864 % |
56.83/56.95 c | 28548 | 22038 115877 324718 | 2147483647 25741 95 | 67.906 % |
57.03/57.18 c | 28741 | 22038 115877 324718 | 2147483647 25934 95 | 67.906 % |
57.43/57.56 c | 28957 | 22038 115877 324718 | 2147483647 26150 95 | 67.906 % |
57.83/57.94 c | 29190 | 22038 115877 324718 | 2147483647 26383 95 | 67.906 % |
58.13/58.29 c | 29447 | 22038 115877 324718 | 2147483647 26640 95 | 67.906 % |
58.53/58.69 c | 29729 | 22038 115877 324718 | 2147483647 26922 95 | 67.906 % |
59.04/59.14 c | 30038 | 22038 115877 324718 | 2147483647 27231 95 | 67.906 % |
59.34/59.50 c | 30377 | 22038 115877 324718 | 2147483647 27570 95 | 67.906 % |
59.83/59.90 c | 30751 | 22038 115877 324718 | 2147483647 27944 95 | 67.906 % |
60.34/60.43 c | 31160 | 22038 115877 324718 | 2147483647 28353 95 | 67.906 % |
61.03/61.14 c | 31610 | 21858 114975 322189 | 2147483647 28752 95 | 68.169 % |
61.73/61.81 c | 32105 | 21858 114975 322189 | 2147483647 29247 95 | 68.169 % |
61.93/62.00 c | 32205 | 21858 114975 322189 | 2147483647 29347 95 | 68.169 % |
62.03/62.13 c | 32316 | 21858 114975 322189 | 2147483647 29458 95 | 68.169 % |
62.23/62.30 c | 32437 | 21858 114975 322189 | 2147483647 29579 95 | 68.169 % |
62.33/62.49 c | 32570 | 21858 114975 322189 | 2147483647 29712 95 | 68.169 % |
62.53/62.65 c | 32720 | 21858 114975 322189 | 2147483647 29862 96 | 68.169 % |
62.83/62.93 c | 32883 | 21858 114975 322189 | 2147483647 30025 96 | 68.169 % |
63.23/63.30 c | 33060 | 21858 114975 322189 | 2147483647 30202 96 | 68.169 % |
63.43/63.53 c | 33255 | 21858 114975 322189 | 2147483647 30397 96 | 68.169 % |
63.63/63.76 c | 33467 | 21858 114975 322189 | 2147483647 30609 96 | 68.169 % |
64.03/64.12 c | 33700 | 21858 114975 322189 | 2147483647 30841 96 | 68.179 % |
64.33/64.46 c | 33956 | 21858 114975 322189 | 2147483647 31097 96 | 68.179 % |
64.73/64.86 c | 34237 | 21851 114909 322027 | 2147483647 31370 96 | 68.284 % |
65.13/65.24 c | 34547 | 21851 114909 322027 | 2147483647 31680 97 | 68.284 % |
65.53/65.66 c | 34887 | 21850 114909 322027 | 2147483647 32019 96 | 68.301 % |
66.13/66.20 c | 35260 | 21850 114909 322027 | 2147483647 32392 96 | 68.301 % |
66.53/66.61 c | 35671 | 21850 114909 322027 | 2147483647 32803 96 | 68.301 % |
67.33/67.48 c | 36121 | 21850 114909 322027 | 2147483647 33253 96 | 68.301 % |
68.22/68.33 c | 36615 | 21850 114909 322027 | 2147483647 33745 95 | 68.340 % |
69.23/69.36 c | 37157 | 21740 113138 317017 | 2147483647 34286 95 | 68.340 % |
69.52/69.62 c | 37258 | 21740 113138 317017 | 2147483647 34387 95 | 68.340 % |
69.62/69.77 c | 37371 | 21740 113138 317017 | 2147483647 34500 95 | 68.340 % |
69.82/69.91 c | 37494 | 21740 113138 317017 | 2147483647 34623 95 | 68.340 % |
70.02/70.14 c | 37627 | 21740 113138 317017 | 2147483647 34756 95 | 68.340 % |
70.32/70.41 c | 37773 | 21740 113138 317017 | 2147483647 34902 95 | 68.340 % |
70.62/70.75 c | 37933 | 21740 113138 317017 | 2147483647 35062 95 | 68.340 % |
70.92/71.03 c | 38110 | 21740 113138 317017 | 2147483647 35239 95 | 68.340 % |
71.22/71.33 c | 38303 | 21740 113138 317017 | 2147483647 35432 95 | 68.340 % |
71.62/71.74 c | 38516 | 21740 113138 317017 | 2147483647 35645 95 | 68.340 % |
72.02/72.14 c | 38749 | 21740 113138 317017 | 2147483647 35878 95 | 68.340 % |
72.42/72.52 c | 39005 | 21740 113138 317017 | 2147483647 36134 95 | 68.340 % |
72.62/72.77 c | 39286 | 21740 113138 317017 | 2147483647 36415 95 | 68.340 % |
73.12/73.22 c | 39595 | 21740 113138 317017 | 2147483647 36724 95 | 68.340 % |
73.52/73.63 c | 39934 | 21740 113138 317017 | 2147483647 37063 95 | 68.340 % |
74.02/74.16 c | 40306 | 21740 113138 317017 | 2147483647 37435 95 | 68.340 % |
74.52/74.69 c | 40716 | 21740 113138 317017 | 2147483647 37845 95 | 68.340 % |
75.12/75.28 c | 41165 | 21740 113138 317017 | 2147483647 38294 95 | 68.340 % |
76.02/76.19 c | 41662 | 21740 113138 317017 | 2147483647 38791 95 | 68.340 % |
77.02/77.10 c | 42206 | 21740 113138 317017 | 2147483647 39335 95 | 68.340 % |
78.12/78.21 c | 42802 | 21740 113138 317017 | 2147483647 39931 95 | 68.340 % |
78.22/78.34 c | 42904 | 21740 113138 317017 | 2147483647 40033 95 | 68.340 % |
78.42/78.50 c | 43016 | 21740 113138 317017 | 2147483647 40145 95 | 68.340 % |
78.52/78.65 c | 43137 | 21740 113138 317017 | 2147483647 40266 95 | 68.340 % |
78.82/78.91 c | 43270 | 21740 113138 317017 | 2147483647 40399 95 | 68.340 % |
79.02/79.16 c | 43419 | 21740 113138 317017 | 2147483647 40548 95 | 68.340 % |
79.22/79.39 c | 43579 | 21740 113138 317017 | 2147483647 40708 95 | 68.340 % |
79.52/79.66 c | 43755 | 21740 113138 317017 | 2147483647 40884 95 | 68.340 % |
79.92/80.05 c | 43948 | 21740 113138 317017 | 2147483647 41077 95 | 68.340 % |
80.32/80.49 c | 44161 | 21740 113138 317017 | 2147483647 41290 95 | 68.340 % |
80.82/80.96 c | 44394 | 21740 113138 317017 | 2147483647 41523 94 | 68.340 % |
81.22/81.38 c | 44650 | 21740 113138 317017 | 2147483647 41779 94 | 68.340 % |
81.72/81.84 c | 44931 | 21740 113138 317017 | 2147483647 42060 94 | 68.340 % |
82.32/82.45 c | 45240 | 21740 113138 317017 | 2147483647 42369 94 | 68.340 % |
82.92/83.04 c | 45580 | 21740 113138 317017 | 2147483647 42709 94 | 68.340 % |
83.52/83.65 c | 45954 | 21740 113138 317017 | 2147483647 43083 95 | 68.340 % |
84.31/84.49 c | 46364 | 21730 113062 316825 | 2147483647 43490 95 | 68.355 % |
85.21/85.36 c | 46817 | 21729 113062 316825 | 2147483647 43942 95 | 68.372 % |
85.71/85.85 c | 47311 | 21729 113062 316825 | 2147483647 44436 95 | 68.372 % |
86.61/86.73 c | 47854 | 21728 113062 316825 | 2147483647 44978 95 | 68.394 % |
87.61/87.79 c | 48453 | 21728 113062 316825 | 2147483647 45577 95 | 68.394 % |
88.71/88.88 c | 49108 | 21728 113062 316825 | 2147483647 46231 95 | 68.412 % |
89.01/89.14 c | 49209 | 21681 112737 315961 | 2147483647 46315 95 | 68.426 % |
89.21/89.37 c | 49319 | 21681 112737 315961 | 2147483647 46425 95 | 68.426 % |
89.51/89.61 c | 49441 | 21681 112737 315961 | 2147483647 46547 95 | 68.426 % |
89.71/89.88 c | 49576 | 21681 112737 315961 | 2147483647 46682 95 | 68.426 % |
90.01/90.17 c | 49722 | 21681 112737 315961 | 2147483647 46828 95 | 68.426 % |
90.31/90.45 c | 49882 | 21681 112737 315961 | 2147483647 46988 95 | 68.426 % |
90.61/90.71 c | 50059 | 21681 112737 315961 | 2147483647 47165 95 | 68.426 % |
90.80/90.95 c | 50252 | 21681 112737 315961 | 2147483647 47358 95 | 68.426 % |
91.11/91.25 c | 50464 | 21681 112737 315961 | 2147483647 47570 95 | 68.426 % |
91.50/91.61 c | 50697 | 21681 112737 315961 | 2147483647 47803 95 | 68.426 % |
91.80/91.94 c | 50954 | 21681 112737 315961 | 2147483647 48060 95 | 68.426 % |
92.31/92.44 c | 51235 | 21681 112737 315961 | 2147483647 48341 95 | 68.426 % |
92.70/92.88 c | 51544 | 21681 112737 315961 | 2147483647 48650 95 | 68.426 % |
93.10/93.29 c | 51886 | 21681 112737 315961 | 2147483647 48992 95 | 68.426 % |
93.80/93.92 c | 52259 | 21681 112737 315961 | 2147483647 49365 96 | 68.426 % |
94.59/94.74 c | 52668 | 21679 112737 315961 | 2147483647 49772 95 | 68.457 % |
95.09/95.25 c | 53119 | 21679 112737 315961 | 2147483647 50223 95 | 68.457 % |
96.00/96.17 c | 53612 | 21679 112737 315961 | 2147483647 50716 95 | 68.457 % |
97.30/97.43 c | 54156 | 21660 112572 315537 | 2147483647 51255 95 | 68.457 % |
98.30/98.49 c | 54758 | 21660 112572 315537 | 2147483647 51857 95 | 68.457 % |
99.90/100.01 c | 55413 | 21660 112572 315537 | 2147483647 52512 95 | 68.457 % |
101.30/101.49 c | 56134 | 21658 112572 315537 | 2147483647 53230 95 | 68.656 % |
101.50/101.66 c | 56234 | 21658 112572 315537 | 2147483647 53330 95 | 68.656 % |
101.70/101.88 c | 56345 | 21658 112572 315537 | 2147483647 53441 95 | 68.656 % |
101.90/102.09 c | 56467 | 21658 112572 315537 | 2147483647 53563 95 | 68.656 % |
102.20/102.38 c | 56600 | 21523 111852 313626 | 2147483647 53675 95 | 68.656 % |
102.49/102.62 c | 56750 | 21523 111852 313626 | 2147483647 53825 95 | 68.656 % |
102.89/103.00 c | 56913 | 21523 111852 313626 | 2147483647 53988 95 | 68.656 % |
103.09/103.30 c | 57090 | 21523 111852 313626 | 2147483647 54165 95 | 68.656 % |
103.49/103.65 c | 57285 | 21522 111852 313626 | 2147483647 54359 95 | 68.672 % |
103.89/104.03 c | 57497 | 21521 111852 313626 | 2147483647 54570 95 | 68.693 % |
104.30/104.46 c | 57733 | 21521 111852 313626 | 2147483647 54806 95 | 68.693 % |
104.79/104.91 c | 57989 | 21520 111852 313626 | 2147483647 55061 95 | 68.707 % |
105.29/105.41 c | 58271 | 21520 111852 313626 | 2147483647 55343 95 | 68.707 % |
106.09/106.21 c | 58584 | 21520 111852 313626 | 2147483647 55656 95 | 68.707 % |
106.59/106.77 c | 58923 | 21517 111852 313626 | 2147483647 55994 95 | 68.721 % |
107.19/107.36 c | 59295 | 21517 111852 313626 | 2147483647 56366 95 | 68.721 % |
108.08/108.24 c | 59705 | 21517 111852 313626 | 2147483647 56775 95 | 68.737 % |
108.99/109.13 c | 60155 | 21514 111852 313626 | 2147483647 57224 95 | 68.750 % |
109.90/110.02 c | 60649 | 21459 111376 312361 | 2147483647 57677 95 | 68.770 % |
110.90/111.00 c | 61193 | 21459 111376 312361 | 2147483647 58221 95 | 68.770 % |
111.79/111.93 c | 61789 | 21458 111376 312361 | 2147483647 58815 95 | 68.939 % |
112.79/112.94 c | 62444 | 21458 111376 312361 | 2147483647 59470 95 | 68.939 % |
113.98/114.13 c | 63165 | 21458 111376 312361 | 2147483647 60191 95 | 68.939 % |
114.88/115.09 c | 63957 | 21458 111376 312361 | 2147483647 60983 95 | 68.939 % |
115.08/115.23 c | 64058 | 21458 111376 312361 | 2147483647 61084 95 | 68.939 % |
115.29/115.44 c | 64170 | 21458 111376 312361 | 2147483647 61196 95 | 68.939 % |
115.48/115.68 c | 64292 | 21458 111376 312361 | 2147483647 61318 95 | 68.939 % |
115.78/115.95 c | 64425 | 21458 111376 312361 | 2147483647 61451 95 | 68.939 % |
116.08/116.29 c | 64571 | 21458 111376 312361 | 2147483647 61597 95 | 68.939 % |
116.48/116.62 c | 64731 | 21458 111376 312361 | 2147483647 61757 95 | 68.939 % |
116.78/116.92 c | 64907 | 21458 111376 312361 | 2147483647 61932 95 | 68.962 % |
116.98/117.19 c | 65101 | 21458 111376 312361 | 2147483647 62126 95 | 68.962 % |
117.38/117.57 c | 65318 | 21457 111376 312361 | 2147483647 62342 95 | 68.974 % |
117.68/117.85 c | 65552 | 21457 111376 312361 | 2147483647 62576 95 | 68.974 % |
117.98/118.19 c | 65808 | 21457 111376 312361 | 2147483647 62832 95 | 68.974 % |
118.48/118.64 c | 66089 | 21305 110511 309567 | 2147483647 63079 95 | 68.974 % |
118.89/119.09 c | 66398 | 21305 110511 309567 | 2147483647 63388 95 | 68.974 % |
119.89/120.08 c | 66737 | 21305 110511 309567 | 2147483647 63727 95 | 68.974 % |
120.79/120.97 c | 67109 | 21305 110511 309567 | 2147483647 64099 95 | 68.974 % |
121.48/121.61 c | 67518 | 21305 110511 309567 | 2147483647 64508 95 | 68.974 % |
122.28/122.42 c | 67967 | 21305 110511 309567 | 2147483647 64957 96 | 68.974 % |
123.18/123.33 c | 68460 | 21305 110511 309567 | 2147483647 65450 96 | 68.974 % |
124.28/124.44 c | 69005 | 21305 110511 309567 | 2147483647 65995 96 | 68.974 % |
125.38/125.50 c | 69601 | 21305 110511 309567 | 2147483647 66591 96 | 68.974 % |
126.29/126.47 c | 70257 | 21305 110511 309567 | 2147483647 67247 96 | 68.974 % |
127.78/127.96 c | 70977 | 21305 110511 309567 | 2147483647 67967 96 | 68.974 % |
129.28/129.46 c | 71769 | 21305 110511 309567 | 2147483647 68759 95 | 68.974 % |
131.18/131.31 c | 72641 | 21294 110420 309325 | 2147483647 69630 96 | 68.990 % |
131.37/131.57 c | 72742 | 21294 110420 309325 | 2147483647 69731 96 | 68.990 % |
131.67/131.81 c | 72852 | 21294 110420 309325 | 2147483647 69841 96 | 68.990 % |
131.88/132.09 c | 72974 | 21294 110420 309325 | 2147483647 69962 96 | 69.153 % |
132.17/132.38 c | 73109 | 21294 110420 309325 | 2147483647 70097 96 | 69.153 % |
132.47/132.68 c | 73255 | 21294 110420 309325 | 2147483647 70243 96 | 69.153 % |
132.88/133.00 c | 73415 | 21294 110420 309325 | 2147483647 70403 96 | 69.153 % |
133.17/133.36 c | 73591 | 21294 110420 309325 | 2147483647 70579 96 | 69.153 % |
133.48/133.68 c | 73784 | 21294 110420 309325 | 2147483647 70772 96 | 69.153 % |
133.88/134.07 c | 73997 | 21294 110420 309325 | 2147483647 70984 96 | 69.543 % |
134.58/134.78 c | 74232 | 21294 110420 309325 | 2147483647 71219 96 | 69.543 % |
135.28/135.47 c | 74488 | 21294 110420 309325 | 2147483647 71475 96 | 69.543 % |
135.98/136.16 c | 74769 | 21294 110420 309325 | 2147483647 71756 96 | 69.543 % |
136.58/136.73 c | 75078 | 21294 110420 309325 | 2147483647 72065 96 | 69.543 % |
137.08/137.21 c | 75417 | 21294 110420 309325 | 2147483647 72404 96 | 69.543 % |
137.88/138.05 c | 75791 | 21294 110420 309325 | 2147483647 72778 96 | 69.543 % |
138.68/138.88 c | 76202 | 21294 110420 309325 | 2147483647 73189 96 | 69.543 % |
139.87/140.03 c | 76652 | 21289 110420 309325 | 2147483647 73637 96 | 69.577 % |
140.77/140.98 c | 77146 | 21289 110420 309325 | 2147483647 74131 96 | 69.577 % |
141.57/141.78 c | 77688 | 20891 108006 302914 | 2147483647 74622 96 | 69.577 % |
142.47/142.64 c | 78284 | 20888 108006 302914 | 2147483647 75217 96 | 69.599 % |
143.67/143.80 c | 78940 | 20888 108006 302914 | 2147483647 75873 96 | 69.599 % |
145.27/145.50 c | 79660 | 20888 108006 302914 | 2147483647 76593 96 | 69.599 % |
147.27/147.48 c | 80452 | 20887 108006 302914 | 2147483647 77384 95 | 69.634 % |
148.77/148.96 c | 81324 | 20884 108006 302914 | 2147483647 78254 95 | 69.667 % |
150.66/150.85 c | 82283 | 20884 108006 302914 | 2147483647 79213 95 | 69.667 % |
150.86/151.07 c | 82383 | 20884 108006 302914 | 2147483647 79313 95 | 69.667 % |
151.16/151.34 c | 82494 | 20884 108006 302914 | 2147483647 79424 95 | 69.667 % |
151.46/151.61 c | 82618 | 20884 108006 302914 | 2147483647 79548 95 | 69.667 % |
151.67/151.89 c | 82751 | 20829 107529 301679 | 2147483647 79657 95 | 69.667 % |
152.06/152.26 c | 82899 | 20829 107529 301679 | 2147483647 79805 95 | 69.667 % |
152.46/152.60 c | 83059 | 20829 107529 301679 | 2147483647 79965 95 | 69.667 % |
152.77/152.92 c | 83237 | 20829 107529 301679 | 2147483647 80143 95 | 69.667 % |
153.16/153.35 c | 83431 | 20829 107529 301679 | 2147483647 80337 95 | 69.667 % |
153.66/153.81 c | 83643 | 20829 107529 301679 | 2147483647 80549 95 | 69.667 % |
154.16/154.39 c | 83876 | 20829 107529 301679 | 2147483647 80782 95 | 69.667 % |
154.56/154.79 c | 84135 | 20829 107529 301679 | 2147483647 81041 95 | 69.667 % |
155.36/155.50 c | 84416 | 20829 107529 301679 | 2147483647 81322 95 | 69.667 % |
155.76/155.94 c | 84725 | 20829 107529 301679 | 2147483647 81631 95 | 69.667 % |
156.56/156.79 c | 85070 | 20829 107529 301679 | 2147483647 81976 95 | 69.667 % |
157.16/157.36 c | 85443 | 20829 107529 301679 | 2147483647 82349 95 | 69.667 % |
157.96/158.12 c | 85853 | 20829 107529 301679 | 2147483647 82759 95 | 69.667 % |
158.75/158.98 c | 86306 | 20829 107529 301679 | 2147483647 83212 94 | 69.667 % |
159.85/160.02 c | 86799 | 20829 107529 301679 | 2147483647 83705 94 | 69.667 % |
160.95/161.13 c | 87343 | 20829 107529 301679 | 2147483647 84249 94 | 69.667 % |
161.95/162.19 c | 87939 | 20829 107529 301679 | 2147483647 84845 95 | 69.667 % |
163.35/163.54 c | 88594 | 20829 107529 301679 | 2147483647 85500 95 | 69.667 % |
164.65/164.85 c | 89317 | 20829 107529 301679 | 2147483647 86223 95 | 69.667 % |
165.96/166.18 c | 90110 | 20829 107529 301679 | 2147483647 87016 95 | 69.667 % |
168.06/168.22 c | 90982 | 20829 107529 301679 | 2147483647 87888 95 | 69.667 % |
170.26/170.47 c | 91941 | 20829 107529 301679 | 2147483647 88847 96 | 69.667 % |
172.65/172.85 c | 93001 | 20829 107529 301679 | 2147483647 89907 96 | 69.667 % |
172.85/173.09 c | 93101 | 20829 107529 301679 | 2147483647 90007 96 | 69.667 % |
173.25/173.40 c | 93211 | 20829 107529 301679 | 2147483647 90117 96 | 69.667 % |
173.56/173.73 c | 93332 | 20829 107529 301679 | 2147483647 90238 96 | 69.667 % |
173.85/174.00 c | 93466 | 20829 107529 301679 | 2147483647 90372 96 | 69.667 % |
174.05/174.26 c | 93612 | 20829 107529 301679 | 2147483647 90518 96 | 69.667 % |
174.55/174.72 c | 93773 | 20829 107529 301679 | 2147483647 90679 96 | 69.667 % |
174.85/175.07 c | 93950 | 20829 107529 301679 | 2147483647 90856 96 | 69.667 % |
175.25/175.47 c | 94144 | 20829 107529 301679 | 2147483647 91050 96 | 69.667 % |
175.55/175.79 c | 94356 | 20829 107529 301679 | 2147483647 91262 96 | 69.667 % |
175.95/176.18 c | 94590 | 20829 107529 301679 | 2147483647 91496 96 | 69.667 % |
176.45/176.62 c | 94850 | 20829 107529 301679 | 2147483647 91756 96 | 69.667 % |
176.95/177.18 c | 95137 | 20829 107529 301679 | 2147483647 92043 96 | 69.667 % |
177.85/178.05 c | 95448 | 20817 107438 301438 | 2147483647 92348 96 | 69.685 % |
178.55/178.74 c | 95788 | 20817 107438 301438 | 2147483647 92688 96 | 69.685 % |
179.25/179.49 c | 96161 | 20817 107438 301438 | 2147483647 93061 96 | 69.685 % |
180.05/180.27 c | 96572 | 20817 107438 301438 | 2147483647 93472 96 | 69.685 % |
181.15/181.30 c | 97027 | 20817 107438 301438 | 2147483647 93927 96 | 69.685 % |
182.04/182.30 c | 97521 | 20816 107438 301438 | 2147483647 94420 96 | 69.702 % |
182.94/183.15 c | 98064 | 20816 107438 301438 | 2147483647 94963 96 | 69.702 % |
184.14/184.32 c | 98661 | 20816 107438 301438 | 2147483647 95560 96 | 69.702 % |
185.75/185.92 c | 99316 | 20816 107438 301438 | 2147483647 96215 97 | 69.702 % |
187.64/187.82 c | 100037 | 20815 107438 301438 | 2147483647 96935 96 | 69.718 % |
188.95/189.10 c | 100832 | 20815 107438 301438 | 2147483647 97730 97 | 69.718 % |
190.74/190.96 c | 101703 | 20815 107438 301438 | 2147483647 98600 97 | 69.725 % |
193.04/193.23 c | 102665 | 20815 107438 301438 | 2147483647 99562 97 | 69.725 % |
195.24/195.41 c | 103720 | 20815 107438 301438 | 2147483647 100617 97 | 69.725 % |
198.04/198.21 c | 104880 | 20789 107197 300810 | 2147483647 101762 97 | 69.741 % |
198.24/198.47 c | 104980 | 20789 107197 300810 | 2147483647 101862 97 | 69.741 % |
198.54/198.75 c | 105091 | 20789 107197 300810 | 2147483647 101973 97 | 69.741 % |
198.74/198.95 c | 105213 | 20789 107197 300810 | 2147483647 102095 97 | 69.741 % |
199.04/199.29 c | 105349 | 20789 107197 300810 | 2147483647 102231 97 | 69.741 % |
199.34/199.56 c | 105496 | 20789 107197 300810 | 2147483647 102378 97 | 69.741 % |
199.64/199.86 c | 105656 | 20789 107197 300810 | 2147483647 102538 97 | 69.741 % |
200.14/200.36 c | 105833 | 20789 107197 300810 | 2147483647 102715 97 | 69.741 % |
200.74/200.92 c | 106026 | 20789 107197 300810 | 2147483647 102908 97 | 69.741 % |
201.04/201.28 c | 106238 | 20789 107197 300810 | 2147483647 103120 97 | 69.741 % |
201.53/201.73 c | 106472 | 20789 107197 300810 | 2147483647 103354 97 | 69.741 % |
202.14/202.31 c | 106729 | 20789 107197 300810 | 2147483647 103611 97 | 69.741 % |
202.63/202.84 c | 107012 | 20789 107197 300810 | 2147483647 103894 97 | 69.741 % |
203.13/203.40 c | 107321 | 20789 107197 300810 | 2147483647 104203 97 | 69.741 % |
203.83/204.02 c | 107660 | 20789 107197 300810 | 2147483647 104542 97 | 69.741 % |
204.63/204.89 c | 108036 | 20789 107197 300810 | 2147483647 104918 97 | 69.741 % |
205.44/205.68 c | 108447 | 20789 107197 300810 | 2147483647 105329 97 | 69.741 % |
206.73/206.93 c | 108898 | 20789 107197 300810 | 2147483647 105780 97 | 69.741 % |
208.13/208.33 c | 109391 | 20789 107197 300810 | 2147483647 106273 97 | 69.741 % |
209.73/209.91 c | 109934 | 20789 107197 300810 | 2147483647 106816 97 | 69.741 % |
211.04/211.25 c | 110531 | 20789 107197 300810 | 2147483647 107413 97 | 69.741 % |
212.43/212.62 c | 111186 | 20789 107197 300810 | 2147483647 108068 97 | 69.741 % |
214.13/214.34 c | 111906 | 20778 107112 300593 | 2147483647 108782 97 | 69.741 % |
216.33/216.55 c | 112701 | 20778 107112 300593 | 2147483647 109577 97 | 69.741 % |
218.52/218.80 c | 113572 | 20778 107112 300593 | 2147483647 110448 97 | 69.741 % |
220.43/220.62 c | 114530 | 20776 107112 300593 | 2147483647 111405 97 | 69.820 % |
223.03/223.28 c | 115585 | 20776 107112 300593 | 2147483647 112460 97 | 69.820 % |
224.53/224.71 c | 116743 | 20776 107112 300593 | 2147483647 113618 97 | 69.820 % |
226.63/226.83 c | 118018 | 20776 107112 300593 | 2147483647 114893 97 | 69.820 % |
226.93/227.11 c | 118118 | 20776 107112 300593 | 2147483647 114993 97 | 69.820 % |
227.22/227.48 c | 118230 | 20776 107112 300593 | 2147483647 115105 97 | 69.820 % |
227.72/227.92 c | 118352 | 20776 107112 300593 | 2147483647 115227 97 | 69.820 % |
228.02/228.27 c | 118487 | 20776 107112 300593 | 2147483647 115362 97 | 69.820 % |
228.42/228.63 c | 118633 | 20776 107112 300593 | 2147483647 115508 97 | 69.820 % |
228.83/229.05 c | 118794 | 20776 107112 300593 | 2147483647 115669 97 | 69.820 % |
229.22/229.44 c | 118970 | 20776 107112 300593 | 2147483647 115845 97 | 69.820 % |
229.73/229.97 c | 119163 | 20776 107112 300593 | 2147483647 116038 97 | 69.820 % |
230.32/230.51 c | 119375 | 20776 107112 300593 | 2147483647 116250 97 | 69.820 % |
230.92/231.15 c | 119608 | 20776 107112 300593 | 2147483647 116483 97 | 69.820 % |
231.72/231.97 c | 119864 | 20776 107112 300593 | 2147483647 116739 97 | 69.820 % |
232.52/232.71 c | 120147 | 20776 107112 300593 | 2147483647 117022 97 | 69.820 % |
233.32/233.54 c | 120457 | 20776 107112 300593 | 2147483647 117332 97 | 69.820 % |
234.32/234.58 c | 120797 | 20776 107112 300593 | 2147483647 117672 97 | 69.820 % |
235.22/235.45 c | 121169 | 20776 107112 300593 | 2147483647 118044 97 | 69.820 % |
236.42/236.63 c | 121578 | 20724 106839 299926 | 2147483647 118437 97 | 69.820 % |
237.42/237.61 c | 122028 | 20724 106839 299926 | 2147483647 118886 97 | 69.836 % |
238.22/238.44 c | 122522 | 20724 106839 299926 | 2147483647 119380 97 | 69.836 % |
239.52/239.80 c | 123064 | 20724 106839 299926 | 2147483647 119922 97 | 69.836 % |
241.01/241.21 c | 123660 | 20724 106839 299926 | 2147483647 120518 97 | 69.836 % |
242.41/242.68 c | 124315 | 20724 106839 299926 | 2147483647 121173 97 | 69.836 % |
244.41/244.61 c | 125036 | 20724 106839 299926 | 2147483647 121894 97 | 69.836 % |
245.71/245.92 c | 125830 | 20724 106839 299926 | 2147483647 122688 97 | 69.836 % |
247.92/248.12 c | 126701 | 20724 106839 299926 | 2147483647 123559 97 | 69.836 % |
251.02/251.27 c | 127661 | 20723 106839 299926 | 2147483647 124518 98 | 69.852 % |
253.61/253.84 c | 128714 | 20723 106839 299926 | 2147483647 125571 98 | 69.852 % |
256.21/256.48 c | 129872 | 20723 106839 299926 | 2147483647 126729 98 | 69.852 % |
259.41/259.68 c | 131145 | 20723 106839 299926 | 2147483647 128002 98 | 69.852 % |
262.01/262.24 c | 132545 | 20723 106839 299926 | 2147483647 129402 98 | 69.852 % |
262.21/262.50 c | 132647 | 20702 106672 299496 | 2147483647 129495 98 | 69.852 % |
262.61/262.83 c | 132759 | 20702 106672 299496 | 2147483647 129607 98 | 69.852 % |
262.91/263.15 c | 132880 | 20702 106672 299496 | 2147483647 129728 98 | 69.852 % |
263.31/263.56 c | 133014 | 20702 106672 299496 | 2147483647 129862 98 | 69.852 % |
263.71/263.97 c | 133160 | 20702 106672 299496 | 2147483647 130008 98 | 69.852 % |
264.31/264.51 c | 133320 | 20702 106672 299496 | 2147483647 130168 98 | 69.852 % |
264.71/264.98 c | 133499 | 20702 106672 299496 | 2147483647 130347 98 | 69.852 % |
265.31/265.51 c | 133693 | 20702 106672 299496 | 2147483647 130541 98 | 69.852 % |
265.81/266.04 c | 133905 | 20702 106672 299496 | 2147483647 130752 98 | 70.043 % |
266.61/266.80 c | 134138 | 20702 106672 299496 | 2147483647 130985 98 | 70.043 % |
267.31/267.57 c | 134394 | 20702 106672 299496 | 2147483647 131241 98 | 70.043 % |
268.11/268.40 c | 134675 | 20702 106672 299496 | 2147483647 131522 98 | 70.043 % |
268.91/269.19 c | 134984 | 20702 106672 299496 | 2147483647 131831 98 | 70.043 % |
269.71/269.96 c | 135324 | 20702 106672 299496 | 2147483647 132171 98 | 70.043 % |
270.71/270.95 c | 135697 | 20702 106672 299496 | 2147483647 132544 98 | 70.043 % |
271.52/271.79 c | 136106 | 20702 106672 299496 | 2147483647 132953 98 | 70.043 % |
272.81/273.03 c | 136557 | 20702 106672 299496 | 2147483647 133404 98 | 70.043 % |
273.81/274.06 c | 137050 | 20702 106672 299496 | 2147483647 133897 98 | 70.043 % |
275.31/275.54 c | 137593 | 20702 106672 299496 | 2147483647 134440 98 | 70.043 % |
276.71/276.96 c | 138197 | 20702 106672 299496 | 2147483647 135044 98 | 70.043 % |
278.40/278.65 c | 138854 | 20702 106672 299496 | 2147483647 135701 98 | 70.043 % |
279.80/280.01 c | 139577 | 20702 106672 299496 | 2147483647 136424 98 | 70.043 % |
281.90/282.12 c | 140372 | 20702 106672 299496 | 2147483647 137219 98 | 70.043 % |
284.30/284.51 c | 141243 | 20702 106672 299496 | 2147483647 138090 98 | 70.043 % |
286.79/287.03 c | 142203 | 20702 106672 299496 | 2147483647 139050 98 | 70.043 % |
290.78/291.04 c | 143256 | 20702 106672 299496 | 2147483647 140103 98 | 70.043 % |
293.88/294.12 c | 144414 | 20695 106672 299496 | 2147483647 141259 98 | 71.623 % |
297.18/297.43 c | 145689 | 19486 99467 279995 | 2147483647 142302 98 | 71.623 % |
299.38/299.68 c | 147089 | 19486 99467 279995 | 2147483647 143702 98 | 71.623 % |
302.58/302.88 c | 148630 | 19486 99467 279995 | 2147483647 145243 98 | 71.623 % |
302.98/303.26 c | 148731 | 19486 99467 279995 | 2147483647 145344 98 | 71.623 % |
303.29/303.53 c | 148841 | 19486 99467 279995 | 2147483647 145454 98 | 71.623 % |
303.58/303.86 c | 148962 | 19486 99467 279995 | 2147483647 145575 98 | 71.623 % |
303.88/304.18 c | 149095 | 19486 99467 279995 | 2147483647 145708 98 | 71.623 % |
304.48/304.78 c | 149242 | 19486 99467 279995 | 2147483647 145855 98 | 71.623 % |
304.88/305.11 c | 149402 | 19486 99467 279995 | 2147483647 146015 98 | 71.623 % |
305.38/305.62 c | 149579 | 19486 99467 279995 | 2147483647 146192 98 | 71.623 % |
305.78/306.08 c | 149774 | 19486 99467 279995 | 2147483647 146387 98 | 71.623 % |
306.58/306.87 c | 149987 | 19486 99467 279995 | 2147483647 146600 98 | 71.623 % |
307.38/307.61 c | 150220 | 19486 99467 279995 | 2147483647 146833 98 | 71.623 % |
308.08/308.34 c | 150479 | 19486 99467 279995 | 2147483647 147092 98 | 71.623 % |
309.08/309.33 c | 150760 | 19486 99467 279995 | 2147483647 147373 98 | 71.623 % |
309.98/310.26 c | 151070 | 19486 99467 279995 | 2147483647 147683 98 | 71.623 % |
310.68/310.94 c | 151409 | 19486 99467 279995 | 2147483647 148022 98 | 71.623 % |
311.58/311.86 c | 151783 | 19486 99467 279995 | 2147483647 148396 98 | 71.623 % |
312.68/312.97 c | 152193 | 19486 99467 279995 | 2147483647 148805 98 | 71.645 % |
314.28/314.56 c | 152643 | 19485 99467 279995 | 2147483647 149254 98 | 71.662 % |
315.48/315.71 c | 153137 | 19485 99467 279995 | 2147483647 149748 98 | 71.662 % |
317.17/317.46 c | 153680 | 19484 99467 279995 | 2147483647 150290 98 | 71.678 % |
319.17/319.44 c | 154276 | 19484 99467 279995 | 2147483647 150886 98 | 71.678 % |
321.37/321.67 c | 154932 | 19484 99467 279995 | 2147483647 151542 98 | 71.678 % |
323.07/323.35 c | 155653 | 19484 99467 279995 | 2147483647 152263 97 | 71.678 % |
324.97/325.22 c | 156447 | 19484 99467 279995 | 2147483647 153057 97 | 71.678 % |
327.07/327.37 c | 157319 | 19448 99182 279218 | 2147483647 153925 97 | 71.678 % |
329.56/329.81 c | 158277 | 19447 99182 279218 | 2147483647 154882 97 | 71.691 % |
331.77/332.06 c | 159333 | 19447 99182 279218 | 2147483647 155938 96 | 71.691 % |
335.17/335.40 c | 160491 | 19445 99182 279218 | 2147483647 157094 96 | 71.720 % |
339.16/339.40 c | 161764 | 19445 99182 279218 | 2147483647 158367 96 | 71.720 % |
341.86/342.14 c | 163165 | 19445 99182 279218 | 2147483647 159768 96 | 71.720 % |
345.56/345.81 c | 164706 | 19445 99182 279218 | 2147483647 161309 96 | 71.720 % |
350.75/351.04 c | 166404 | 19445 99182 279218 | 2147483647 163007 96 | 71.720 % |
351.05/351.30 c | 166504 | 19445 99182 279218 | 2147483647 163107 96 | 71.720 % |
351.45/351.70 c | 166617 | 19445 99182 279218 | 2147483647 163220 96 | 71.720 % |
351.76/352.05 c | 166738 | 19445 99182 279218 | 2147483647 163341 96 | 71.720 % |
352.15/352.48 c | 166872 | 19445 99182 279218 | 2147483647 163475 96 | 71.720 % |
352.55/352.85 c | 167018 | 19445 99182 279218 | 2147483647 163621 96 | 71.720 % |
352.95/353.27 c | 167179 | 19445 99182 279218 | 2147483647 163782 96 | 71.720 % |
353.45/353.72 c | 167355 | 19445 99182 279218 | 2147483647 163958 96 | 71.720 % |
353.96/354.29 c | 167551 | 19419 98931 278599 | 2147483647 164095 96 | 71.720 % |
354.45/354.73 c | 167763 | 19419 98931 278599 | 2147483647 164307 96 | 71.720 % |
354.96/355.29 c | 167998 | 19419 98931 278599 | 2147483647 164542 96 | 71.720 % |
355.75/356.02 c | 168254 | 19419 98931 278599 | 2147483647 164798 96 | 71.720 % |
356.55/356.82 c | 168536 | 19419 98931 278599 | 2147483647 165080 96 | 71.720 % |
357.35/357.68 c | 168845 | 19419 98931 278599 | 2147483647 165389 96 | 71.720 % |
358.36/358.69 c | 169187 | 19419 98931 278599 | 2147483647 165731 96 | 71.720 % |
359.56/359.83 c | 169563 | 19419 98931 278599 | 2147483647 166107 95 | 71.720 % |
360.56/360.89 c | 169974 | 19419 98931 278599 | 2147483647 166518 95 | 71.720 % |
361.75/362.02 c | 170423 | 19419 98931 278599 | 2147483647 166967 95 | 71.720 % |
363.15/363.48 c | 170916 | 19419 98931 278599 | 2147483647 167460 95 | 71.720 % |
364.45/364.76 c | 171460 | 19419 98931 278599 | 2147483647 168004 95 | 71.720 % |
365.75/366.05 c | 172057 | 19419 98931 278599 | 2147483647 168601 95 | 71.720 % |
367.25/367.52 c | 172714 | 19419 98931 278599 | 2147483647 169258 95 | 71.720 % |
369.05/369.33 c | 173435 | 19419 98931 278599 | 2147483647 169979 95 | 71.720 % |
371.65/371.96 c | 174236 | 19419 98931 278599 | 2147483647 170780 95 | 71.720 % |
374.64/374.93 c | 175107 | 19419 98931 278599 | 2147483647 171651 95 | 71.720 % |
377.04/377.36 c | 176066 | 19419 98931 278599 | 2147483647 172610 95 | 71.720 % |
379.74/380.02 c | 177119 | 19419 98931 278599 | 2147483647 173663 95 | 71.720 % |
382.34/382.61 c | 178277 | 19419 98931 278599 | 2147483647 174821 95 | 71.720 % |
385.85/386.14 c | 179550 | 19419 98931 278599 | 2147483647 176094 95 | 71.720 % |
389.24/389.55 c | 180951 | 19419 98931 278599 | 2147483647 177493 95 | 71.770 % |
393.84/394.17 c | 182491 | 19419 98931 278599 | 2147483647 179033 95 | 71.770 % |
398.53/398.90 c | 184185 | 19385 98718 277995 | 2147483647 180710 95 | 71.770 % |
404.43/404.72 c | 186050 | 19385 98718 277995 | 2147483647 182575 94 | 71.770 % |
404.64/404.95 c | 186150 | 19385 98718 277995 | 2147483647 182675 94 | 71.770 % |
405.13/405.48 c | 186260 | 19385 98718 277995 | 2147483647 182785 94 | 71.770 % |
405.64/405.95 c | 186382 | 19385 98718 277995 | 2147483647 182907 94 | 71.770 % |
406.13/406.48 c | 186516 | 19384 98718 277995 | 2147483647 183040 94 | 71.785 % |
406.53/406.88 c | 186663 | 19384 98718 277995 | 2147483647 183187 94 | 71.785 % |
407.43/407.71 c | 186823 | 19384 98718 277995 | 2147483647 183347 94 | 71.785 % |
407.93/408.29 c | 187001 | 19384 98718 277995 | 2147483647 183525 94 | 71.785 % |
408.53/408.84 c | 187194 | 19384 98718 277995 | 2147483647 183718 94 | 71.785 % |
409.13/409.41 c | 187407 | 19384 98718 277995 | 2147483647 183931 94 | 71.785 % |
409.83/410.15 c | 187640 | 19384 98718 277995 | 2147483647 184164 94 | 71.785 % |
410.73/411.00 c | 187896 | 19384 98718 277995 | 2147483647 184420 94 | 71.785 % |
411.53/411.85 c | 188177 | 19384 98718 277995 | 2147483647 184701 94 | 71.785 % |
412.63/412.96 c | 188486 | 19384 98718 277995 | 2147483647 185010 94 | 71.785 % |
413.63/413.92 c | 188825 | 19384 98718 277995 | 2147483647 185349 94 | 71.785 % |
414.73/415.06 c | 189197 | 19384 98718 277995 | 2147483647 185721 94 | 71.785 % |
416.33/416.63 c | 189606 | 19384 98718 277995 | 2147483647 186130 94 | 71.785 % |
417.93/418.28 c | 190055 | 19384 98718 277995 | 2147483647 186579 94 | 71.785 % |
419.32/419.66 c | 190548 | 19384 98718 277995 | 2147483647 187072 94 | 71.785 % |
421.02/421.31 c | 191090 | 19384 98718 277995 | 2147483647 187614 94 | 71.785 % |
422.62/422.99 c | 191687 | 19384 98718 277995 | 2147483647 188211 94 | 71.785 % |
424.41/424.75 c | 192343 | 19384 98718 277995 | 2147483647 188867 94 | 71.785 % |
426.52/426.88 c | 193063 | 19384 98718 277995 | 2147483647 189587 94 | 71.785 % |
429.01/429.32 c | 193856 | 19384 98718 277995 | 2147483647 190380 94 | 71.785 % |
431.92/432.27 c | 194728 | 19384 98718 277995 | 2147483647 191252 94 | 71.785 % |
435.12/435.50 c | 195689 | 19384 98718 277995 | 2147483647 192213 94 | 71.785 % |
438.21/438.56 c | 196744 | 19384 98718 277995 | 2147483647 193268 93 | 71.785 % |
441.51/441.86 c | 197904 | 19384 98718 277995 | 2147483647 194428 93 | 71.785 % |
445.41/445.75 c | 199179 | 19375 98648 277821 | 2147483647 195692 93 | 71.785 % |
449.61/449.97 c | 200580 | 19375 98648 277821 | 2147483647 197093 93 | 71.785 % |
453.01/453.32 c | 202121 | 19375 98648 277821 | 2147483647 198634 93 | 71.785 % |
457.70/458.02 c | 203816 | 19375 98648 277821 | 2147483647 200328 92 | 71.801 % |
462.90/463.21 c | 205681 | 19375 98648 277821 | 2147483647 202193 92 | 71.801 % |
469.69/470.06 c | 207731 | 19375 98648 277821 | 2147483647 204243 92 | 71.801 % |
470.09/470.47 c | 207831 | 19375 98648 277821 | 2147483647 204343 92 | 71.801 % |
470.50/470.89 c | 207942 | 19375 98648 277821 | 2147483647 204454 92 | 71.801 % |
470.99/471.33 c | 208063 | 19375 98648 277821 | 2147483647 204575 92 | 71.801 % |
471.39/471.78 c | 208198 | 19375 98648 277821 | 2147483647 204710 92 | 71.801 % |
471.99/472.33 c | 208344 | 19375 98648 277821 | 2147483647 204856 92 | 71.801 % |
472.49/472.80 c | 208504 | 19375 98648 277821 | 2147483647 205016 93 | 71.801 % |
473.09/473.40 c | 208683 | 19375 98648 277821 | 2147483647 205195 93 | 71.801 % |
473.79/474.15 c | 208876 | 19375 98648 277821 | 2147483647 205388 93 | 71.801 % |
474.59/474.96 c | 209090 | 19375 98648 277821 | 2147483647 205602 93 | 71.801 % |
475.49/475.83 c | 209323 | 19375 98648 277821 | 2147483647 205835 93 | 71.801 % |
476.49/476.84 c | 209580 | 19375 98648 277821 | 2147483647 206092 93 | 71.801 % |
477.49/477.82 c | 209863 | 19375 98648 277821 | 2147483647 206375 93 | 71.801 % |
478.30/478.61 c | 210172 | 19375 98648 277821 | 2147483647 206684 93 | 71.801 % |
479.10/479.45 c | 210511 | 19375 98648 277821 | 2147483647 207023 93 | 71.801 % |
480.40/480.71 c | 210884 | 19375 98648 277821 | 2147483647 207396 93 | 71.801 % |
481.40/481.76 c | 211296 | 19375 98648 277821 | 2147483647 207808 93 | 71.801 % |
482.60/482.97 c | 211745 | 19375 98648 277821 | 2147483647 208257 93 | 71.801 % |
484.59/484.97 c | 212238 | 19375 98648 277821 | 2147483647 208749 93 | 71.831 % |
486.50/486.87 c | 212781 | 19375 98648 277821 | 2147483647 209292 93 | 71.831 % |
488.39/488.77 c | 213377 | 19375 98648 277821 | 2147483647 209888 92 | 71.831 % |
491.09/491.43 c | 214032 | 19375 98648 277821 | 2147483647 210543 92 | 71.831 % |
492.79/493.19 c | 214753 | 19375 98648 277821 | 2147483647 211264 92 | 71.831 % |
496.69/497.03 c | 215547 | 19375 98648 277821 | 2147483647 212058 92 | 71.831 % |
500.39/500.72 c | 216418 | 19342 98411 277184 | 2147483647 212864 92 | 72.087 % |
503.99/504.34 c | 217377 | 19342 98411 277184 | 2147483647 213823 92 | 72.087 % |
507.79/508.17 c | 218432 | 19342 98411 277184 | 2147483647 214878 92 | 72.087 % |
511.28/511.62 c | 219590 | 19342 98411 277184 | 2147483647 216036 92 | 72.087 % |
514.18/514.53 c | 220863 | 19342 98411 277184 | 2147483647 217309 92 | 72.087 % |
518.88/519.24 c | 222264 | 19342 98411 277184 | 2147483647 218710 92 | 72.087 % |
523.28/523.66 c | 223804 | 19342 98411 277184 | 2147483647 220250 92 | 72.087 % |
529.18/529.59 c | 225498 | 19342 98411 277184 | 2147483647 221944 92 | 72.087 % |
535.28/535.66 c | 227363 | 19342 98411 277184 | 2147483647 223808 92 | 72.105 % |
541.67/542.02 c | 229412 | 19341 98411 277184 | 2147483647 225856 92 | 72.124 % |
547.37/547.71 c | 231667 | 19341 98411 277184 | 2147483647 228111 92 | 72.124 % |
547.67/548.05 c | 231767 | 19341 98411 277184 | 2147483647 228211 92 | 72.124 % |
548.17/548.53 c | 231877 | 19341 98411 277184 | 2147483647 228321 92 | 72.124 % |
548.57/548.98 c | 231998 | 19142 97449 274243 | 2147483647 228427 92 | 72.124 % |
548.97/549.39 c | 232131 | 19142 97449 274243 | 2147483647 228560 92 | 72.124 % |
549.57/549.94 c | 232278 | 19142 97449 274243 | 2147483647 228707 92 | 72.124 % |
550.06/550.47 c | 232438 | 19142 97449 274243 | 2147483647 228867 92 | 72.124 % |
550.46/550.87 c | 232615 | 19142 97449 274243 | 2147483647 229044 92 | 72.124 % |
551.06/551.46 c | 232812 | 19142 97449 274243 | 2147483647 229241 92 | 72.124 % |
551.96/552.35 c | 233025 | 19142 97449 274243 | 2147483647 229454 92 | 72.124 % |
552.87/553.22 c | 233259 | 19141 97449 274243 | 2147483647 229687 92 | 72.214 % |
553.66/554.05 c | 233515 | 19141 97449 274243 | 2147483647 229943 92 | 72.214 % |
554.96/555.34 c | 233796 | 19140 97449 274243 | 2147483647 230223 92 | 72.232 % |
556.46/556.83 c | 234106 | 19140 97449 274243 | 2147483647 230533 92 | 72.232 % |
557.95/558.39 c | 234446 | 19140 97449 274243 | 2147483647 230872 92 | 72.243 % |
559.46/559.89 c | 234819 | 19140 97449 274243 | 2147483647 231245 92 | 72.243 % |
561.06/561.43 c | 235228 | 19140 97449 274243 | 2147483647 231654 92 | 72.243 % |
562.76/563.14 c | 235677 | 19140 97449 274243 | 2147483647 232103 92 | 72.243 % |
564.86/565.24 c | 236170 | 19140 97449 274243 | 2147483647 232596 92 | 72.243 % |
566.86/567.25 c | 236712 | 19140 97449 274243 | 2147483647 233138 92 | 72.243 % |
569.36/569.72 c | 237308 | 19140 97449 274243 | 2147483647 233734 91 | 72.243 % |
572.95/573.34 c | 237963 | 19140 97449 274243 | 2147483647 234389 91 | 72.243 % |
576.35/576.72 c | 238685 | 19140 97449 274243 | 2147483647 235111 91 | 72.243 % |
578.75/579.12 c | 239477 | 19140 97449 274243 | 2147483647 235903 91 | 72.243 % |
581.85/582.22 c | 240348 | 19140 97449 274243 | 2147483647 236774 91 | 72.243 % |
585.06/585.42 c | 241307 | 19140 97449 274243 | 2147483647 237733 91 | 72.243 % |
588.46/588.89 c | 242362 | 19140 97449 274243 | 2147483647 238788 91 | 72.243 % |
591.75/592.10 c | 243520 | 19140 97449 274243 | 2147483647 239946 91 | 72.243 % |
596.15/596.54 c | 244793 | 19140 97449 274243 | 2147483647 241219 91 | 72.243 % |
600.15/600.52 c | 246194 | 19138 97449 274243 | 2147483647 242619 91 | 72.294 % |
604.44/604.83 c | 247734 | 19138 97449 274243 | 2147483647 244159 91 | 72.294 % |
610.04/610.42 c | 249431 | 19138 97449 274243 | 2147483647 245856 91 | 72.294 % |
616.34/616.74 c | 251296 | 19138 97449 274243 | 2147483647 247721 90 | 72.294 % |
624.43/624.81 c | 253346 | 19025 96845 272628 | 2147483647 249632 90 | 72.294 % |
633.34/633.72 c | 255600 | 19025 96845 272628 | 2147483647 251886 90 | 72.294 % |
643.23/643.66 c | 258078 | 19024 96845 272628 | 2147483647 254363 90 | 72.315 % |
643.93/644.36 c | 258179 | 19024 96845 272628 | 2147483647 254464 90 | 72.315 % |
644.52/644.91 c | 258289 | 19024 96845 272628 | 2147483647 254574 90 | 72.315 % |
644.92/645.36 c | 258411 | 19024 96845 272628 | 2147483647 254696 90 | 72.315 % |
645.52/645.91 c | 258546 | 19024 96845 272628 | 2147483647 254831 90 | 72.315 % |
646.12/646.53 c | 258693 | 19023 96845 272628 | 2147483647 254977 90 | 72.331 % |
646.62/647.06 c | 258853 | 19023 96845 272628 | 2147483647 255137 90 | 72.331 % |
647.52/647.93 c | 259029 | 19023 96845 272628 | 2147483647 255313 90 | 72.331 % |
648.12/648.50 c | 259222 | 19023 96845 272628 | 2147483647 255506 90 | 72.331 % |
648.92/649.39 c | 259435 | 19023 96845 272628 | 2147483647 255719 90 | 72.331 % |
649.72/650.13 c | 259669 | 19023 96845 272628 | 2147483647 255953 90 | 72.331 % |
650.41/650.82 c | 259926 | 19023 96845 272628 | 2147483647 256210 90 | 72.331 % |
651.21/651.63 c | 260207 | 19023 96845 272628 | 2147483647 256491 90 | 72.331 % |
652.11/652.51 c | 260516 | 19023 96845 272628 | 2147483647 256800 90 | 72.331 % |
653.41/653.80 c | 260855 | 19023 96845 272628 | 2147483647 257139 90 | 72.331 % |
654.81/655.23 c | 261227 | 19023 96845 272628 | 2147483647 257511 90 | 72.331 % |
656.01/656.42 c | 261638 | 19023 96845 272628 | 2147483647 257922 90 | 72.331 % |
657.52/657.96 c | 262090 | 19022 96845 272628 | 2147483647 258373 90 | 72.347 % |
659.12/659.52 c | 262585 | 19022 96845 272628 | 2147483647 258868 90 | 72.347 % |
660.81/661.24 c | 263127 | 19022 96845 272628 | 2147483647 259410 90 | 72.347 % |
662.71/663.12 c | 263723 | 19022 96845 272628 | 2147483647 260006 90 | 72.347 % |
664.81/665.24 c | 264379 | 19022 96845 272628 | 2147483647 260662 90 | 72.347 % |
668.31/668.75 c | 265100 | 19022 96845 272628 | 2147483647 261383 90 | 72.347 % |
670.71/671.17 c | 265893 | 19022 96845 272628 | 2147483647 262176 90 | 72.347 % |
674.21/674.70 c | 266767 | 19022 96845 272628 | 2147483647 263050 90 | 72.347 % |
678.40/678.88 c | 267725 | 19022 96845 272628 | 2147483647 264008 90 | 72.347 % |
681.71/682.19 c | 268780 | 19022 96845 272628 | 2147483647 265063 90 | 72.347 % |
685.81/686.29 c | 269940 | 19022 96845 272628 | 2147483647 266223 90 | 72.347 % |
690.20/690.65 c | 271214 | 18989 96592 271943 | 2147483647 267464 90 | 72.347 % |
694.90/695.35 c | 272614 | 18989 96592 271943 | 2147483647 268864 90 | 72.347 % |
699.59/700.03 c | 274158 | 18989 96592 271943 | 2147483647 270408 90 | 72.347 % |
706.69/707.16 c | 275852 | 18978 96592 271943 | 2147483647 272101 90 | 72.645 % |
715.38/715.89 c | 277716 | 18978 96592 271943 | 2147483647 273965 90 | 72.645 % |
723.49/723.91 c | 279768 | 18978 96592 271943 | 2147483647 276017 90 | 72.645 % |
731.28/731.74 c | 282022 | 18978 96592 271943 | 2147483647 278271 90 | 72.645 % |
739.17/739.62 c | 284500 | 18978 96592 271943 | 2147483647 280748 90 | 72.664 % |
748.48/748.92 c | 287225 | 18978 96592 271943 | 2147483647 283473 90 | 72.664 % |
748.88/749.34 c | 287325 | 18978 96592 271943 | 2147483647 283573 90 | 72.664 % |
749.28/749.74 c | 287436 | 18978 96592 271943 | 2147483647 283684 90 | 72.664 % |
749.68/750.13 c | 287560 | 18978 96592 271943 | 2147483647 283808 90 | 72.664 % |
750.28/750.73 c | 287695 | 18978 96592 271943 | 2147483647 283943 90 | 72.664 % |
751.28/751.75 c | 287843 | 18978 96592 271943 | 2147483647 284091 90 | 72.664 % |
752.28/752.70 c | 288003 | 18978 96592 271943 | 2147483647 284251 90 | 72.664 % |
752.98/753.48 c | 288179 | 18978 96592 271943 | 2147483647 284427 90 | 72.664 % |
753.77/754.24 c | 288373 | 18978 96592 271943 | 2147483647 284621 90 | 72.664 % |
754.87/755.31 c | 288585 | 18978 96592 271943 | 2147483647 284833 90 | 72.664 % |
755.57/756.09 c | 288820 | 18978 96592 271943 | 2147483647 285068 90 | 72.664 % |
756.87/757.36 c | 289076 | 18978 96592 271943 | 2147483647 285324 90 | 72.664 % |
758.07/758.58 c | 289360 | 18978 96592 271943 | 2147483647 285608 90 | 72.664 % |
759.37/759.84 c | 289670 | 18771 95116 267959 | 2147483647 285777 90 | 72.664 % |
760.27/760.78 c | 290012 | 18771 95116 267959 | 286107 286119 90 | 72.664 % |
761.37/761.83 c | 290385 | 18769 95116 267959 | 286107 286491 90 | 73.008 % |
763.37/763.86 c | 290794 | 18769 95116 267959 | 286107 286900 90 | 73.008 % |
765.76/766.22 c | 291243 | 18769 95116 267959 | 286107 287348 90 | 73.034 % |
768.16/768.61 c | 291738 | 18769 95116 267959 | 286107 287843 90 | 73.034 % |
770.37/770.86 c | 292281 | 18769 95116 267959 | 286107 288386 90 | 73.034 % |
773.07/773.58 c | 292877 | 18769 95116 267959 | 286107 288982 90 | 73.034 % |
776.97/777.46 c | 293532 | 18769 95116 267959 | 286107 289637 90 | 73.034 % |
779.16/779.69 c | 294252 | 18769 95116 267959 | 286107 290357 90 | 73.034 % |
782.16/782.65 c | 295044 | 18769 95116 267959 | 286107 291149 90 | 73.034 % |
785.45/785.93 c | 295917 | 18769 95116 267959 | 286107 292022 90 | 73.034 % |
789.37/789.80 c | 296875 | 18769 95116 267959 | 286107 292980 90 | 73.034 % |
793.46/793.98 c | 297930 | 18769 95116 267959 | 286107 294035 90 | 73.034 % |
797.65/798.12 c | 299088 | 18769 95116 267959 | 286107 295193 90 | 73.034 % |
802.75/803.23 c | 300364 | 18769 95116 267959 | 296105 296469 90 | 73.034 % |
807.95/808.46 c | 301766 | 18769 95116 267959 | 296105 297871 90 | 73.034 % |
815.24/815.77 c | 303306 | 18769 95116 267959 | 296105 299411 90 | 73.034 % |
821.85/822.34 c | 305001 | 18769 95116 267959 | 296105 301106 90 | 73.034 % |
829.34/829.85 c | 306865 | 18769 95116 267959 | 296105 302970 90 | 73.034 % |
837.23/837.76 c | 308920 | 18769 95116 267959 | 296105 305025 90 | 73.034 % |
845.54/846.06 c | 311176 | 18769 95116 267959 | 2147483647 307281 90 | 73.034 % |
855.83/856.35 c | 313654 | 18517 93379 263334 | 2147483647 309537 90 | 73.034 % |
866.03/866.57 c | 316380 | 18517 93379 263334 | 2147483647 312263 90 | 73.034 % |
877.62/878.14 c | 319378 | 18517 93379 263334 | 2147483647 315261 90 | 73.034 % |
877.92/878.45 c | 319480 | 18517 93379 263334 | 2147483647 315363 90 | 73.034 % |
878.42/878.91 c | 319591 | 18517 93379 263334 | 2147483647 315474 90 | 73.034 % |
878.81/879.36 c | 319713 | 18517 93379 263334 | 2147483647 315596 90 | 73.034 % |
879.61/880.15 c | 319847 | 18517 93379 263334 | 2147483647 315730 90 | 73.034 % |
880.31/880.84 c | 319993 | 18517 93379 263334 | 2147483647 315876 90 | 73.034 % |
881.21/881.78 c | 320154 | 18517 93379 263334 | 2147483647 316037 90 | 73.034 % |
882.01/882.57 c | 320331 | 18517 93379 263334 | 2147483647 316214 90 | 73.034 % |
883.01/883.59 c | 320524 | 18517 93379 263334 | 2147483647 316407 90 | 73.034 % |
884.01/884.54 c | 320736 | 18517 93379 263334 | 2147483647 316619 90 | 73.034 % |
884.81/885.35 c | 320969 | 18517 93379 263334 | 2147483647 316852 90 | 73.034 % |
886.02/886.50 c | 321225 | 18517 93379 263334 | 2147483647 317108 90 | 73.034 % |
887.41/887.90 c | 321508 | 18517 93379 263334 | 2147483647 317391 90 | 73.034 % |
888.71/889.23 c | 321818 | 18517 93379 263334 | 2147483647 317701 90 | 73.034 % |
889.91/890.46 c | 322159 | 18517 93379 263334 | 2147483647 318042 90 | 73.034 % |
891.51/892.03 c | 322534 | 18517 93379 263334 | 2147483647 318417 90 | 73.034 % |
893.11/893.67 c | 322943 | 18517 93379 263334 | 2147483647 318826 90 | 73.034 % |
895.01/895.57 c | 323392 | 18517 93379 263334 | 2147483647 319275 90 | 73.034 % |
897.31/897.80 c | 323885 | 18517 93379 263334 | 2147483647 319768 90 | 73.034 % |
899.21/899.75 c | 324428 | 18517 93379 263334 | 2147483647 320311 90 | 73.034 % |
901.21/901.72 c | 325025 | 18517 93379 263334 | 2147483647 320908 90 | 73.034 % |
903.71/904.26 c | 325682 | 18517 93379 263334 | 2147483647 321565 90 | 73.034 % |
906.70/907.23 c | 326402 | 18517 93379 263334 | 2147483647 322285 90 | 73.034 % |
910.11/910.62 c | 327194 | 18517 93379 263334 | 2147483647 323077 90 | 73.034 % |
914.20/914.73 c | 328065 | 18517 93379 263334 | 2147483647 323948 90 | 73.034 % |
917.50/918.02 c | 329024 | 18517 93379 263334 | 2147483647 324907 90 | 73.034 % |
921.00/921.50 c | 330080 | 18517 93379 263334 | 325884 325963 90 | 73.034 % |
924.39/924.94 c | 331238 | 18517 93379 263334 | 325884 327121 90 | 73.034 % |
928.90/929.49 c | 332513 | 18517 93379 263334 | 325884 328396 90 | 73.034 % |
934.49/935.04 c | 333915 | 18517 93379 263334 | 325884 329798 90 | 73.034 % |
941.48/942.02 c | 335456 | 18517 93379 263334 | 325884 331339 90 | 73.034 % |
947.69/948.27 c | 337150 | 18517 93379 263334 | 325884 333033 90 | 73.034 % |
953.18/953.74 c | 339013 | 18517 93379 263334 | 325884 334896 89 | 73.034 % |
961.38/962.00 c | 341062 | 18517 93379 263334 | 335885 336945 89 | 73.034 % |
969.88/970.46 c | 343316 | 18517 93379 263334 | 335885 339199 89 | 73.034 % |
979.17/979.73 c | 345794 | 18517 93379 263334 | 335885 341677 89 | 73.034 % |
989.27/989.88 c | 348519 | 18517 93379 263334 | 335885 344402 89 | 73.034 % |
998.46/999.05 c | 351516 | 18517 93379 263334 | 345883 347399 89 | 73.034 % |
1011.06/1011.61 c | 354814 | 18517 93379 263334 | 345883 350697 89 | 73.034 % |
1011.86/1012.44 c | 354914 | 18517 93379 263334 | 345883 350797 89 | 73.034 % |
1012.47/1013.02 c | 355025 | 18517 93379 263334 | 345883 350908 89 | 73.034 % |
1012.96/1013.55 c | 355148 | 18517 93379 263334 | 345883 351031 89 | 73.034 % |
1013.96/1014.51 c | 355283 | 18517 93379 263334 | 345883 351166 89 | 73.034 % |
1014.66/1015.30 c | 355432 | 18517 93379 263334 | 345883 351315 89 | 73.034 % |
1015.36/1015.99 c | 355597 | 18517 93379 263334 | 345883 351480 89 | 73.034 % |
1016.56/1017.15 c | 355776 | 18508 93318 263180 | 345883 351645 89 | 73.047 % |
1017.66/1018.25 c | 355970 | 18508 93318 263180 | 345883 351839 89 | 73.047 % |
1018.66/1019.28 c | 356182 | 18508 93318 263180 | 345883 352051 89 | 73.047 % |
1019.86/1020.49 c | 356418 | 18508 93318 263180 | 345883 352287 89 | 73.047 % |
1021.16/1021.78 c | 356675 | 18508 93318 263180 | 345883 352544 89 | 73.047 % |
1022.56/1023.15 c | 356956 | 18508 93318 263180 | 345883 352825 89 | 73.047 % |
1023.96/1024.57 c | 357265 | 18508 93318 263180 | 345883 353134 89 | 73.047 % |
1026.46/1027.05 c | 357605 | 18508 93318 263180 | 345883 353474 89 | 73.047 % |
1027.86/1028.48 c | 357978 | 18508 93318 263180 | 345883 353847 89 | 73.047 % |
1029.45/1030.05 c | 358389 | 18508 93318 263180 | 345883 354258 89 | 73.047 % |
1031.35/1031.90 c | 358840 | 18508 93318 263180 | 345883 354709 89 | 73.047 % |
1033.36/1033.95 c | 359334 | 18508 93318 263180 | 345883 355203 89 | 73.047 % |
1036.15/1036.71 c | 359877 | 18508 93318 263180 | 345883 355746 89 | 73.047 % |
1038.75/1039.40 c | 360473 | 18508 93318 263180 | 355869 356342 89 | 73.047 % |
1041.85/1042.48 c | 361130 | 18508 93318 263180 | 355869 356999 89 | 73.047 % |
1045.25/1045.88 c | 361851 | 18508 93318 263180 | 355869 357720 89 | 73.047 % |
1049.64/1050.28 c | 362644 | 18508 93318 263180 | 355869 358513 89 | 73.047 % |
1054.24/1054.84 c | 363516 | 18508 93318 263180 | 355869 359385 89 | 73.047 % |
1058.33/1058.93 c | 364475 | 18508 93318 263180 | 355869 360344 89 | 73.047 % |
1062.73/1063.39 c | 365530 | 18508 93318 263180 | 355869 361399 89 | 73.047 % |
1067.45/1068.00 c | 366690 | 18508 93318 263180 | 355869 362559 89 | 73.047 % |
1074.34/1074.98 c | 367964 | 18508 93318 263180 | 355869 363833 89 | 73.047 % |
1080.64/1081.28 c | 369364 | 18508 93318 263180 | 355869 365233 89 | 73.047 % |
1086.63/1087.23 c | 370904 | 18508 93318 263180 | 365869 366773 89 | 73.047 % |
1093.83/1094.45 c | 372599 | 18508 93318 263180 | 365869 368468 89 | 73.047 % |
1101.02/1101.68 c | 374462 | 18508 93318 263180 | 365869 370331 89 | 73.047 % |
1109.02/1109.62 c | 376515 | 18508 93318 263180 | 365869 372384 89 | 73.047 % |
1118.61/1119.30 c | 378768 | 18508 93318 263180 | 365869 374637 89 | 73.047 % |
1129.31/1129.97 c | 381246 | 18508 93318 263180 | 375870 377115 89 | 73.047 % |
1141.71/1142.35 c | 383971 | 18508 93318 263180 | 375870 379840 89 | 73.047 % |
1154.90/1155.50 c | 386970 | 18508 93318 263180 | 375870 382839 89 | 73.047 % |
1169.49/1170.11 c | 390267 | 18508 93318 263180 | 385872 386136 89 | 73.047 % |
1189.49/1190.16 c | 393893 | 18508 93318 263180 | 385872 389762 89 | 73.047 % |
1190.09/1190.76 c | 393994 | 18508 93318 263180 | 385872 389863 89 | 73.047 % |
1190.59/1191.29 c | 394104 | 18508 93318 263180 | 385872 389973 89 | 73.047 % |
1191.09/1191.72 c | 394225 | 18508 93318 263180 | 385872 390094 89 | 73.047 % |
1191.69/1192.39 c | 394358 | 18508 93318 263180 | 385872 390227 89 | 73.047 % |
1192.59/1193.26 c | 394504 | 18508 93318 263180 | 385872 390373 89 | 73.047 % |
1193.49/1194.18 c | 394664 | 18508 93318 263180 | 385872 390533 89 | 73.047 % |
1194.79/1195.47 c | 394841 | 18508 93318 263180 | 385872 390710 89 | 73.047 % |
1195.89/1196.56 c | 395036 | 18508 93318 263180 | 385872 390905 89 | 73.047 % |
1196.49/1197.20 c | 395250 | 18508 93318 263180 | 385872 391119 89 | 73.047 % |
1197.98/1198.65 c | 395484 | 18508 93318 263180 | 385872 391353 89 | 73.047 % |
1199.08/1199.73 c | 395741 | 18508 93318 263180 | 385872 391610 89 | 73.047 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832019-1242766497/watcher-1832019-1242766497 -o /tmp/evaluation-result-1832019-1242766497/solver-1832019-1242766497 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832019-1242766497.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.05 1.04 0.97 3/64 24390
/proc/meminfo: memFree=1843544/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304677431 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 235371462738 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/24390/statm: 1339 235 195 169 0 50 0
[pid=24391] ppid=24390 vsize=5356 CPUtime=0
/proc/24391/stat : 24391 (SatELiteGTI) S 24390 24390 24275 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304677431 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4096 65538 18446744071563356171 0 0 17 1 0 0
/proc/24391/statm: 1339 238 198 169 0 50 0
[pid=24393] ppid=24391 vsize=0 CPUtime=0
/proc/24393/stat : 24393 (sed) R 24391 24390 24275 0 -1 4194308 163 0 0 0 0 0 0 0 22 0 1 0 304677431 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/24393/statm: -- couldn't open statm file --
[startup+0.035755 s]
/proc/loadavg: 1.05 1.04 0.97 3/64 24390
/proc/meminfo: memFree=1843544/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101758 s]
/proc/loadavg: 1.05 1.04 0.97 3/64 24390
/proc/meminfo: memFree=1843544/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301777 s]
/proc/loadavg: 1.05 1.04 0.97 3/64 24390
/proc/meminfo: memFree=1843544/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701813 s]
/proc/loadavg: 1.05 1.04 0.97 3/64 24390
/proc/meminfo: memFree=1843544/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50189 s]
/proc/loadavg: 1.05 1.04 0.97 2/66 24395
/proc/meminfo: memFree=1735560/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
[pid=24395] ppid=24390 vsize=124812 CPUtime=1.49
/proc/24395/stat : 24395 (SatELite_releas) R 24390 24390 24275 0 -1 4194304 31271 0 0 0 132 17 0 0 25 0 1 0 304677431 127807488 28490 1992294400 134512640 135223648 4294956128 18446744073709551615 134585471 0 0 4096 3 0 0 0 17 0 0 0
/proc/24395/statm: 31203 28490 76 173 0 31028 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 130168
[startup+3.10103 s]
/proc/loadavg: 1.05 1.04 0.97 2/66 24395
/proc/meminfo: memFree=1722824/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
[pid=24395] ppid=24390 vsize=132564 CPUtime=3.08
/proc/24395/stat : 24395 (SatELite_releas) R 24390 24390 24275 0 -1 4194304 33283 0 0 0 289 19 0 0 25 0 1 0 304677431 135745536 30314 1992294400 134512640 135223648 4294956128 18446744073709551615 134586715 0 0 4096 3 0 0 0 17 0 0 0
/proc/24395/statm: 33141 30314 76 173 0 32966 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 137920
[startup+6.30132 s]
/proc/loadavg: 1.13 1.06 0.97 2/66 24395
/proc/meminfo: memFree=1706504/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=0
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304677431 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24390/statm: 1339 237 197 169 0 50 0
[pid=24395] ppid=24390 vsize=138848 CPUtime=6.29
/proc/24395/stat : 24395 (SatELite_releas) R 24390 24390 24275 0 -1 4194304 37176 0 0 0 606 23 0 0 25 0 1 0 304677431 142180352 31054 1992294400 134512640 135223648 4294956128 18446744073709551615 134586777 0 0 4096 3 0 0 0 17 0 0 0
/proc/24395/statm: 34712 31054 76 173 0 34537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 144204
[startup+12.7019 s]
/proc/loadavg: 1.12 1.05 0.97 2/66 24396
/proc/meminfo: memFree=1803920/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=25564 CPUtime=4.18
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 6061 0 0 0 415 3 0 0 25 0 1 0 304678282 26177536 6034 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 6391 6034 77 171 0 6218 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30920
[startup+25.5011 s]
/proc/loadavg: 1.09 1.05 0.97 2/66 24396
/proc/meminfo: memFree=1803728/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=25828 CPUtime=16.97
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 6155 0 0 0 1694 3 0 0 25 0 1 0 304678282 26447872 6128 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 6457 6128 77 171 0 6284 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 31184
[startup+51.1014 s]
/proc/loadavg: 1.06 1.05 0.97 2/66 24396
/proc/meminfo: memFree=1799312/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=30680 CPUtime=42.53
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 7358 0 0 0 4249 4 0 0 25 0 1 0 304678282 31416320 7331 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 7670 7331 77 171 0 7497 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 36036
[startup+102.306 s]
/proc/loadavg: 1.02 1.04 0.97 2/66 24396
/proc/meminfo: memFree=1786256/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=43352 CPUtime=93.7
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 10516 0 0 0 9362 8 0 0 25 0 1 0 304678282 44392448 10489 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 10838 10489 77 171 0 10665 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 48708
[startup+162.301 s]
/proc/loadavg: 1.01 1.03 0.97 2/66 24396
/proc/meminfo: memFree=1773840/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=55776 CPUtime=153.65
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 13626 0 0 0 15354 11 0 0 25 0 1 0 304678282 57114624 13599 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 13944 13599 77 171 0 13771 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 61132
[startup+222.302 s]
/proc/loadavg: 1.07 1.04 0.98 2/66 24396
/proc/meminfo: memFree=1761360/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=68164 CPUtime=213.63
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 16691 0 0 0 21349 14 0 0 25 0 1 0 304678282 69799936 16664 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 17041 16664 77 171 0 16868 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 73520
[startup+282.301 s]
/proc/loadavg: 1.09 1.04 0.98 2/66 24396
/proc/meminfo: memFree=1750160/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=79252 CPUtime=273.6
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 19487 0 0 0 27344 16 0 0 25 0 1 0 304678282 81154048 19460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 19813 19460 77 171 0 19640 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 84608
[startup+342.302 s]
/proc/loadavg: 1.07 1.05 0.99 2/66 24396
/proc/meminfo: memFree=1741840/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=87632 CPUtime=333.56
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 21514 0 0 0 33337 19 0 0 25 0 1 0 304678282 89735168 21487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 21908 21487 77 171 0 21735 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 92988
[startup+402.301 s]
/proc/loadavg: 1.02 1.04 0.99 2/66 24402
/proc/meminfo: memFree=1733520/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=95672 CPUtime=393.53
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 23557 0 0 0 39332 21 0 0 25 0 1 0 304678282 97968128 23530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
################
# More data... #
################
/proc/24396/statm: 29076 28565 77 171 0 28903 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 121660
[startup+642.302 s]
/proc/loadavg: 1.00 1.01 0.99 2/66 24402
/proc/meminfo: memFree=1706960/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=122504 CPUtime=633.43
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 30102 0 0 0 63315 28 0 0 25 0 1 0 304678282 125444096 30075 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 30626 30075 77 171 0 30453 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 127860
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1700048/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=129164 CPUtime=693.39
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 31788 0 0 0 69309 30 0 0 25 0 1 0 304678282 132263936 31761 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 32291 31761 77 171 0 32118 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 134520
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1693456/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=135568 CPUtime=753.37
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 33392 0 0 0 75305 32 0 0 25 0 1 0 304678282 138821632 33365 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 33892 33365 77 171 0 33719 0
Current children cumulated CPU time (s) 761.87
Current children cumulated vsize (KiB) 140924
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1688208/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=140820 CPUtime=813.35
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 34711 0 0 0 81300 35 0 0 25 0 1 0 304678282 144199680 34684 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 35205 34684 77 171 0 35032 0
Current children cumulated CPU time (s) 821.85
Current children cumulated vsize (KiB) 146176
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1681808/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=147636 CPUtime=873.31
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 36267 0 0 0 87294 37 0 0 25 0 1 0 304678282 151179264 36240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 36909 36240 77 171 0 36736 0
Current children cumulated CPU time (s) 881.81
Current children cumulated vsize (KiB) 152992
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1675984/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=153412 CPUtime=933.28
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 37699 0 0 0 93290 38 0 0 25 0 1 0 304678282 157093888 37672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 38353 37672 77 171 0 38180 0
Current children cumulated CPU time (s) 941.78
Current children cumulated vsize (KiB) 158768
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1669968/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=159464 CPUtime=993.26
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 39189 0 0 0 99287 39 0 0 25 0 1 0 304678282 163291136 39162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 39866 39162 77 171 0 39693 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 164820
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1664656/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=164784 CPUtime=1053.23
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 40537 0 0 0 105283 40 0 0 25 0 1 0 304678282 168738816 40510 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 41196 40510 77 171 0 41023 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 170140
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1659024/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=170352 CPUtime=1113.21
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 41906 0 0 0 111279 42 0 0 25 0 1 0 304678282 174440448 41879 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 42588 41879 77 171 0 42415 0
Current children cumulated CPU time (s) 1121.71
Current children cumulated vsize (KiB) 175708
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1654608/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=174660 CPUtime=1173.2
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 43004 0 0 0 117276 44 0 0 25 0 1 0 304678282 178851840 42977 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 43665 42977 77 171 0 43492 0
Current children cumulated CPU time (s) 1181.7
Current children cumulated vsize (KiB) 180016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1652688/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=176440 CPUtime=1191.59
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 43443 0 0 0 119115 44 0 0 25 0 1 0 304678282 180674560 43416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 44110 43416 77 171 0 43937 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 181796
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 0.99 2/66 24402
/proc/meminfo: memFree=1652688/2055920 swapFree=4180300/4192956
[pid=24390] ppid=24388 vsize=5356 CPUtime=8.5
/proc/24390/stat : 24390 (SatELiteGTI) S 24388 24390 24275 0 -1 4194304 336 49795 0 0 0 0 815 35 16 0 1 0 304677431 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/24390/statm: 1339 239 197 169 0 50 0
[pid=24396] ppid=24390 vsize=176440 CPUtime=1191.59
/proc/24396/stat : 24396 (minisat_static) R 24390 24390 24275 0 -1 4194304 43443 0 0 0 119115 44 0 0 25 0 1 0 304678282 180674560 43416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/24396/statm: 44110 43416 77 171 0 43937 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 181796
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24390 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=153760
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=352946
# CPU time returned by wait4() is 8.50671
# while last known CPU time is 1200.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.09
CPU user time (s): 1199.3
CPU system time (s): 0.79
CPU usage (%): 99.9481
Max. virtual memory (cumulated for all children) (KiB): 181796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.15376
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50131
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= 14
involuntary context switches= 33
runsolver used 1.03584 second user time and 3.41448 second system time
The end
Begin job on node51 at 2009-05-19 22:54:59
IDJOB=1832019
IDBENCH=20372
IDSOLVER=671
FILE ID=node51/1832019-1242766497
PBS_JOBID= 9322250
Free space on /tmp= 66244 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832019-1242766497/watcher-1832019-1242766497 -o /tmp/evaluation-result-1832019-1242766497/solver-1832019-1242766497 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832019-1242766497.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1f049803198bb32ab05476465773cc39
RANDOM SEED=691784632
node51.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1843960 kB
Buffers: 11072 kB
Cached: 163768 kB
SwapCached: 6788 kB
Active: 40292 kB
Inactive: 143348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1843960 kB
SwapTotal: 4192956 kB
SwapFree: 4180300 kB
Dirty: 22852 kB
Writeback: 0 kB
Mapped: 13984 kB
Slab: 14296 kB
Committed_AS: 881196 kB
PageTables: 1408 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66228 MiB
End job on node51 at 2009-05-19 23:15:02