0.00/0.00 c Parsing...
0.03/0.02 c ==============================================================================
0.03/0.02 c | | ORIGINAL | LEARNT | |
0.03/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.03/0.02 c ==============================================================================
0.03/0.02 c | 0 | 22229 75188 | 6668 0 0 nan | 0.000 % |
0.03/0.07 c | 0 | 22219 75371 | -- 0 -- -- | -- | -10/183
0.03/0.07 c ==============================================================================
0.03/0.07 c Result : #vars: 3491 #clauses: 22219 #literals: 75371
0.03/0.07 c CPU time: 0.06 s
0.03/0.07 c ==============================================================================
0.03/0.09 c This is MiniSat 2.0 beta
0.03/0.09 c WARNING: for repeatability, setting FPU to use double precision
0.03/0.09 c ============================[ Problem Statistics ]=============================
0.03/0.09 c | |
0.03/0.09 c | Number of variables: 3491 |
0.03/0.09 c | Number of clauses: 22219 |
0.10/0.11 c | Parsing time: 0.01 s |
0.10/0.11 c ============================[ Search Statistics ]==============================
0.10/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.10/0.11 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.10/0.11 c ===============================================================================
0.10/0.11 c | 0 | 3491 22219 75371 | 7406 0 nan | 0.000 % |
0.10/0.15 c | 513 | 3491 22219 75371 | 7406 513 21 | 0.000 % |
0.10/0.19 c | 1025 | 3488 22169 75186 | 7406 1016 18 | 0.086 % |
0.10/0.22 c | 1540 | 3488 22169 75186 | 7406 1531 17 | 0.086 % |
0.10/0.32 c | 2565 | 3484 22091 74908 | 7406 2540 16 | 0.201 % |
0.10/0.36 c | 3077 | 3481 22091 74908 | 7406 3050 16 | 0.286 % |
0.10/0.41 c | 3590 | 3480 22056 74794 | 7406 3552 16 | 0.315 % |
0.10/0.50 c | 4615 | 3476 21992 74568 | 7406 4552 17 | 0.430 % |
0.10/0.70 c | 6665 | 3476 21992 74568 | 7406 6602 17 | 0.430 % |
0.10/0.74 c | 7179 | 3475 21982 74535 | 7406 7114 17 | 0.459 % |
0.10/0.78 c | 7691 | 3472 21982 74535 | 7406 7624 17 | 0.544 % |
0.10/0.86 c | 8715 | 3472 21982 74535 | 7406 7886 16 | 0.544 % |
0.10/0.91 c | 9229 | 3469 21957 74454 | 7406 7604 16 | 0.630 % |
0.10/0.96 c | 9742 | 3468 21957 74454 | 7406 7356 17 | 0.659 % |
1.02/1.05 c | 10767 | 3468 21921 74339 | 2147483647 8372 16 | 0.659 % |
1.22/1.26 c | 12815 | 3466 21900 74269 | 2147483647 10411 18 | 0.717 % |
1.72/1.75 c | 16911 | 3456 21817 73989 | 2147483647 14472 20 | 1.004 % |
1.72/1.80 c | 17423 | 3456 21817 73989 | 2147483647 14984 20 | 1.003 % |
1.82/1.87 c | 17935 | 3455 21778 73859 | 2147483647 15474 20 | 1.033 % |
2.02/2.02 c | 18959 | 3455 21778 73859 | 2147483647 16498 21 | 1.031 % |
2.02/2.07 c | 19472 | 3455 21778 73859 | 2147483647 17011 21 | 1.031 % |
2.12/2.14 c | 19984 | 3454 21770 73832 | 2147483647 17520 21 | 1.061 % |
2.23/2.27 c | 21011 | 3454 21770 73832 | 2147483647 18547 21 | 1.060 % |
2.52/2.58 c | 23060 | 3452 21752 73777 | 2147483647 20586 21 | 1.118 % |
2.62/2.68 c | 23572 | 3452 21752 73777 | 2147483647 21098 21 | 1.118 % |
2.72/2.76 c | 24084 | 3452 21752 73777 | 2147483647 21610 21 | 1.118 % |
2.92/2.95 c | 25110 | 3452 21740 73737 | 2147483647 22628 21 | 1.118 % |
3.02/3.03 c | 25625 | 3452 21740 73737 | 2147483647 23143 22 | 1.117 % |
3.12/3.11 c | 26138 | 3452 21740 73737 | 2147483647 23656 22 | 1.118 % |
3.22/3.23 c | 27164 | 3451 21740 73737 | 2147483647 24681 22 | 1.146 % |
3.52/3.51 c | 29212 | 3451 21725 73687 | 2147483647 26717 22 | 1.146 % |
4.52/4.51 c | 33308 | 3451 21725 73687 | 2147483647 30813 23 | 1.146 % |
6.42/6.50 c | 41502 | 3448 21706 73630 | 37499 33436 24 | 1.261 % |
6.63/6.66 c | 42014 | 3448 21706 73630 | 37499 33948 24 | 1.261 % |
6.72/6.78 c | 42527 | 3448 21706 73630 | 37499 34461 24 | 1.260 % |
7.02/7.05 c | 43551 | 3448 21706 73630 | 37499 35485 24 | 1.261 % |
7.12/7.20 c | 44063 | 3447 21706 73630 | 37499 35996 24 | 1.289 % |
7.32/7.35 c | 44575 | 3447 21706 73630 | 37499 36508 24 | 1.290 % |
7.62/7.64 c | 45602 | 3447 21706 73630 | 37499 37535 24 | 1.289 % |
8.22/8.22 c | 47651 | 3445 21643 73404 | 37499 31369 23 | 1.376 % |
8.32/8.33 c | 48164 | 3445 21643 73404 | 37499 31882 23 | 1.376 % |
8.42/8.47 c | 48676 | 3443 21643 73404 | 37499 32394 23 | 1.375 % |
8.83/8.86 c | 49700 | 3443 21643 73404 | 37499 33418 23 | 1.376 % |
9.02/9.02 c | 50212 | 3443 21590 73219 | 33705 33916 23 | 1.375 % |
9.12/9.16 c | 50725 | 3443 21590 73219 | 33705 27865 22 | 1.375 % |
9.42/9.41 c | 51751 | 3440 21590 73219 | 33705 28889 22 | 1.461 % |
9.72/9.75 c | 53799 | 3439 21590 73219 | 33705 30936 22 | 1.490 % |
10.62/10.70 c | 57897 | 3439 21555 73107 | 33705 29791 21 | 1.490 % |
10.82/10.83 c | 58409 | 3439 21555 73107 | 33705 30303 21 | 1.490 % |
10.92/10.96 c | 58921 | 3439 21555 73107 | 33705 30815 21 | 1.490 % |
11.22/11.23 c | 59946 | 3439 21555 73107 | 33705 31840 21 | 1.490 % |
11.32/11.36 c | 60458 | 3439 21555 73107 | 31895 32352 22 | 1.490 % |
11.52/11.52 c | 60970 | 3439 21555 73107 | 31895 27483 21 | 1.490 % |
11.72/11.79 c | 61996 | 3439 21555 73107 | 31895 28509 21 | 1.490 % |
12.32/12.39 c | 64044 | 3439 21555 73107 | 31895 30557 22 | 1.490 % |
12.52/12.55 c | 64557 | 3439 21555 73107 | 31895 31070 22 | 1.491 % |
12.72/12.72 c | 65070 | 3438 21546 73077 | 31895 31577 22 | 1.520 % |
13.02/13.06 c | 66095 | 3438 21546 73077 | 31895 25529 21 | 1.519 % |
13.12/13.18 c | 66607 | 3438 21546 73077 | 31895 26041 21 | 1.519 % |
13.23/13.26 c | 67120 | 3438 21546 73077 | 31895 26554 21 | 1.519 % |
13.42/13.44 c | 68146 | 3438 21546 73077 | 31895 27580 20 | 1.518 % |
13.82/13.83 c | 70194 | 3438 21546 73077 | 29434 29628 21 | 1.518 % |
14.82/14.82 c | 74291 | 3435 21517 72967 | 29434 28286 22 | 1.634 % |
16.72/16.80 c | 82483 | 3435 21517 72967 | 28330 25977 20 | 1.634 % |
20.32/20.37 c | 98869 | 3434 21493 72895 | 28384 26877 20 | 1.633 % |
20.42/20.48 c | 99381 | 3434 21493 72895 | 28384 27389 20 | 1.633 % |
20.62/20.63 c | 99894 | 3431 21475 72835 | 28384 27894 20 | 1.719 % |
20.82/20.89 c | 100918 | 3431 21475 72835 | 28000 24468 20 | 1.719 % |
20.93/20.96 c | 101432 | 3431 21475 72835 | 28000 24982 20 | 1.719 % |
21.02/21.03 c | 101944 | 3431 21475 72835 | 28000 25494 20 | 1.719 % |
21.12/21.18 c | 102968 | 3431 21465 72802 | 28000 26513 20 | 1.719 % |
21.42/21.49 c | 105016 | 3431 21465 72802 | 28000 28561 20 | 1.719 % |
21.62/21.65 c | 105530 | 3430 21456 72772 | 28000 26216 20 | 1.747 % |
21.72/21.75 c | 106042 | 3430 21456 72772 | 28000 26728 20 | 1.748 % |
21.93/21.97 c | 107066 | 3430 21456 72772 | 28000 27752 20 | 1.748 % |
22.03/22.09 c | 107579 | 3430 21456 72772 | 28000 28265 20 | 1.748 % |
22.23/22.23 c | 108091 | 3430 21456 72772 | 28000 25951 20 | 1.749 % |
22.43/22.44 c | 109115 | 3430 21456 72772 | 28000 26975 20 | 1.748 % |
22.93/22.98 c | 111163 | 3429 21447 72742 | 2147483647 29019 20 | 1.776 % |
23.93/23.93 c | 115259 | 3429 21447 72742 | 2147483647 33115 22 | 1.776 % |
24.03/24.04 c | 115771 | 3429 21447 72742 | 2147483647 33627 22 | 1.776 % |
24.13/24.17 c | 116283 | 3429 21447 72742 | 2147483647 34139 22 | 1.776 % |
24.43/24.42 c | 117307 | 3429 21447 72742 | 2147483647 35163 22 | 1.776 % |
24.53/24.54 c | 117819 | 3429 21447 72742 | 2147483647 35675 22 | 1.776 % |
24.63/24.67 c | 118331 | 3429 21447 72742 | 2147483647 36187 22 | 1.776 % |
24.93/24.99 c | 119356 | 3429 21447 72742 | 2147483647 37212 22 | 1.777 % |
25.63/25.67 c | 121404 | 3428 21439 72718 | 37856 33542 22 | 1.805 % |
25.73/25.78 c | 121918 | 3428 21439 72718 | 37856 34056 22 | 1.805 % |
25.83/25.91 c | 122430 | 3428 21439 72718 | 37856 34568 22 | 1.806 % |
26.13/26.15 c | 123454 | 3428 21439 72718 | 37856 35592 22 | 1.805 % |
26.23/26.29 c | 123966 | 3428 21439 72718 | 37856 36104 22 | 1.806 % |
26.43/26.45 c | 124478 | 3428 21439 72718 | 37856 36616 23 | 1.805 % |
26.73/26.76 c | 125504 | 3428 21439 72718 | 37856 37642 22 | 1.806 % |
27.43/27.51 c | 127552 | 3427 21429 72685 | 37856 32591 22 | 1.834 % |
28.73/28.76 c | 131648 | 3427 21429 72685 | 35040 29402 22 | 1.834 % |
31.43/31.46 c | 139840 | 3427 21429 72685 | 35040 29811 22 | 1.833 % |
31.53/31.59 c | 140352 | 3427 21429 72685 | 29972 30323 22 | 1.833 % |
31.73/31.74 c | 140865 | 3427 21429 72685 | 29972 24252 22 | 1.834 % |
31.93/31.93 c | 141893 | 3427 21429 72685 | 29972 25280 21 | 1.834 % |
31.93/31.96 c | 142405 | 3427 21429 72685 | 29972 25792 21 | 1.834 % |
31.93/32.00 c | 142918 | 3427 21429 72685 | 29972 26305 21 | 1.833 % |
32.13/32.16 c | 143945 | 3427 21429 72685 | 29972 27332 21 | 1.834 % |
32.53/32.59 c | 145994 | 3427 21429 72685 | 29972 29381 22 | 1.833 % |
32.63/32.70 c | 146507 | 3426 21423 72667 | 29972 29889 21 | 1.862 % |
32.83/32.85 c | 147020 | 3426 21423 72667 | 29972 30402 21 | 1.863 % |
33.13/33.17 c | 148045 | 3426 21423 72667 | 29972 27139 21 | 1.863 % |
33.33/33.34 c | 148558 | 3426 21423 72667 | 29972 27652 21 | 1.863 % |
33.43/33.50 c | 149070 | 3426 21423 72667 | 29972 28164 21 | 1.863 % |
33.73/33.77 c | 150094 | 3426 21423 72667 | 29095 29188 21 | 1.863 % |
34.13/34.20 c | 152143 | 3426 21423 72667 | 29095 26755 20 | 1.862 % |
35.13/35.13 c | 156239 | 3425 21414 72637 | 29095 25945 20 | 1.891 % |
35.23/35.23 c | 156751 | 3425 21414 72637 | 29095 26457 20 | 1.891 % |
35.23/35.29 c | 157263 | 3425 21414 72637 | 29095 26969 20 | 1.891 % |
35.53/35.53 c | 158289 | 3425 21414 72637 | 29095 27995 20 | 1.891 % |
35.63/35.66 c | 158804 | 3425 21414 72637 | 29095 28510 21 | 1.891 % |
35.73/35.80 c | 159316 | 3425 21414 72637 | 29095 29022 21 | 1.891 % |
36.03/36.03 c | 160341 | 3425 21414 72637 | 25175 25515 20 | 1.891 % |
36.43/36.49 c | 162390 | 3424 21398 72584 | 25175 23936 21 | 1.919 % |
36.53/36.60 c | 162902 | 3424 21398 72584 | 25175 24448 20 | 1.920 % |
36.73/36.73 c | 163414 | 3424 21398 72584 | 25175 24960 21 | 1.920 % |
36.93/36.96 c | 164439 | 3424 21398 72584 | 25175 25985 21 | 1.919 % |
37.03/37.09 c | 164952 | 3424 21398 72584 | 25175 22803 21 | 1.920 % |
37.13/37.19 c | 165465 | 3424 21398 72584 | 25175 23316 21 | 1.920 % |
37.43/37.42 c | 166489 | 3424 21398 72584 | 25175 24340 21 | 1.920 % |
37.93/37.94 c | 168537 | 3424 21398 72584 | 25175 22730 22 | 1.919 % |
39.03/39.10 c | 172633 | 3424 21398 72584 | 24194 23306 21 | 1.920 % |
41.33/41.35 c | 180825 | 3424 21398 72584 | 23484 20753 19 | 1.920 % |
45.33/45.36 c | 197209 | 3421 21381 72530 | 23064 23726 17 | 2.005 % |
53.43/53.48 c | 229979 | 3421 21373 72503 | 20891 19946 20 | 2.006 % |
53.63/53.63 c | 230491 | 3421 21373 72503 | 19967 20458 20 | 2.006 % |
53.73/53.71 c | 231003 | 3421 21373 72503 | 19967 17569 19 | 2.005 % |
53.83/53.88 c | 232027 | 3420 21364 72473 | 19967 18589 20 | 2.034 % |
53.93/53.97 c | 232540 | 3420 21364 72473 | 19967 19102 20 | 2.034 % |
54.03/54.08 c | 233054 | 3419 21364 72473 | 19967 19615 20 | 2.063 % |
54.33/54.31 c | 234079 | 3419 21356 72449 | 19967 17515 20 | 2.063 % |
54.53/54.59 c | 236127 | 3419 21356 72449 | 19967 19563 21 | 2.062 % |
54.63/54.69 c | 236639 | 3419 21356 72449 | 19967 20075 21 | 2.064 % |
54.73/54.76 c | 237151 | 3419 21356 72449 | 19967 18023 20 | 2.062 % |
54.93/54.92 c | 238175 | 3419 21356 72449 | 19967 19047 20 | 2.063 % |
55.03/55.02 c | 238688 | 3417 21341 72398 | 19967 19556 20 | 2.120 % |
55.03/55.11 c | 239201 | 3417 21341 72398 | 19967 20069 21 | 2.121 % |
55.23/55.27 c | 240229 | 3417 21341 72398 | 2147483647 18948 20 | 2.121 % |
55.63/55.65 c | 242277 | 3417 21341 72398 | 2147483647 20996 21 | 2.120 % |
56.43/56.43 c | 246373 | 3415 21324 72344 | 2147483647 25083 22 | 2.177 % |
56.53/56.54 c | 246886 | 3415 21324 72344 | 2147483647 25596 22 | 2.177 % |
56.63/56.62 c | 247399 | 3415 21324 72344 | 2147483647 26109 22 | 2.178 % |
56.83/56.81 c | 248423 | 3415 21324 72344 | 2147483647 27133 22 | 2.177 % |
56.93/56.92 c | 248935 | 3415 21324 72344 | 2147483647 27645 22 | 2.177 % |
57.03/57.05 c | 249447 | 3415 21324 72344 | 2147483647 28157 22 | 2.177 % |
57.23/57.26 c | 250473 | 3415 21324 72344 | 2147483647 29183 22 | 2.178 % |
57.83/57.88 c | 252522 | 3415 21324 72344 | 2147483647 31232 22 | 2.178 % |
58.03/58.01 c | 253034 | 3415 21324 72344 | 2147483647 31744 22 | 2.179 % |
58.13/58.17 c | 253547 | 3415 21324 72344 | 2147483647 32257 22 | 2.178 % |
58.43/58.47 c | 254571 | 3415 21324 72344 | 2147483647 33281 22 | 2.177 % |
58.63/58.63 c | 255083 | 3415 21324 72344 | 2147483647 33793 22 | 2.178 % |
58.73/58.75 c | 255595 | 3415 21324 72344 | 2147483647 34305 22 | 2.178 % |
59.03/59.09 c | 256622 | 3415 21324 72344 | 2147483647 35332 22 | 2.178 % |
59.43/59.49 c | 258670 | 3415 21324 72344 | 2147483647 37380 22 | 2.178 % |
60.63/60.63 c | 262766 | 3414 21316 72320 | 38710 34420 22 | 2.206 % |
63.03/63.10 c | 270958 | 3413 21308 72296 | 33524 34478 23 | 2.235 % |
63.23/63.28 c | 271471 | 3413 21308 72296 | 33524 27481 21 | 2.235 % |
63.43/63.42 c | 271984 | 3413 21308 72296 | 33524 27994 21 | 2.235 % |
63.63/63.71 c | 273010 | 3413 21308 72296 | 33524 29020 21 | 2.235 % |
63.83/63.83 c | 273522 | 3413 21308 72296 | 33524 29532 21 | 2.234 % |
63.93/64.01 c | 274034 | 3413 21308 72296 | 33524 30044 21 | 2.235 % |
64.13/64.20 c | 275058 | 3413 21308 72296 | 33524 31068 21 | 2.235 % |
64.73/64.75 c | 277108 | 3413 21308 72296 | 33524 33118 22 | 2.235 % |
64.83/64.87 c | 277620 | 3413 21308 72296 | 33524 33630 22 | 2.234 % |
65.03/65.09 c | 278134 | 3413 21308 72296 | 33524 27051 23 | 2.235 % |
65.33/65.31 c | 279158 | 3413 21308 72296 | 33524 28075 23 | 2.236 % |
65.43/65.44 c | 279672 | 3413 21308 72296 | 33524 28589 23 | 2.234 % |
65.53/65.59 c | 280185 | 3412 21300 72272 | 28918 29101 23 | 2.263 % |
65.83/65.82 c | 281209 | 3412 21300 72272 | 28918 24228 21 | 2.264 % |
66.23/66.22 c | 283258 | 3412 21300 72272 | 28918 26277 21 | 2.264 % |
67.23/67.28 c | 287355 | 3412 21300 72272 | 28918 24806 21 | 2.264 % |
67.33/67.41 c | 287867 | 3412 21300 72272 | 28918 25318 21 | 2.264 % |
67.43/67.50 c | 288380 | 3412 21300 72272 | 28918 25831 21 | 2.264 % |
67.63/67.71 c | 289405 | 3411 21293 72251 | 28918 26855 21 | 2.293 % |
67.83/67.81 c | 289917 | 3411 21293 72251 | 28918 27367 21 | 2.292 % |
67.93/67.91 c | 290431 | 3411 21293 72251 | 27450 27881 21 | 2.292 % |
68.13/68.15 c | 291455 | 3411 21293 72251 | 27450 23832 20 | 2.292 % |
68.63/68.70 c | 293503 | 3411 21293 72251 | 27450 25880 21 | 2.293 % |
68.83/68.82 c | 294016 | 3411 21293 72251 | 27450 26393 21 | 2.293 % |
68.93/68.96 c | 294529 | 3411 21293 72251 | 27450 26906 20 | 2.293 % |
69.13/69.18 c | 295553 | 3411 21293 72251 | 27450 27930 20 | 2.293 % |
69.33/69.33 c | 296066 | 3411 21293 72251 | 27450 23549 20 | 2.293 % |
69.43/69.43 c | 296579 | 3411 21293 72251 | 27450 24062 20 | 2.293 % |
69.63/69.65 c | 297604 | 3411 21293 72251 | 27450 25087 20 | 2.293 % |
70.13/70.11 c | 299652 | 3411 21293 72251 | 27450 27135 21 | 2.292 % |
71.13/71.13 c | 303748 | 3411 21293 72251 | 27486 26257 21 | 2.293 % |
73.03/73.04 c | 311940 | 3411 21293 72251 | 27789 24577 22 | 2.292 % |
76.83/76.90 c | 328326 | 3409 21285 72227 | 27525 28142 21 | 2.349 % |
77.04/77.05 c | 328838 | 3409 21279 72206 | 27525 24888 20 | 2.349 % |
77.13/77.13 c | 329351 | 3408 21279 72206 | 27525 25400 20 | 2.378 % |
77.33/77.32 c | 330377 | 3408 21279 72206 | 26051 26426 21 | 2.378 % |
77.43/77.42 c | 330889 | 3408 21279 72206 | 26051 23436 20 | 2.378 % |
77.53/77.53 c | 331402 | 3408 21279 72206 | 26051 23949 20 | 2.378 % |
77.63/77.67 c | 332426 | 3408 21279 72206 | 26051 24973 20 | 2.379 % |
78.14/78.14 c | 334477 | 3408 21269 72173 | 26051 23769 20 | 2.378 % |
78.23/78.24 c | 334989 | 3408 21269 72173 | 26051 24281 20 | 2.379 % |
78.33/78.35 c | 335503 | 3408 21269 72173 | 26051 24795 20 | 2.378 % |
78.53/78.56 c | 336528 | 3408 21269 72173 | 26051 25820 20 | 2.379 % |
78.63/78.68 c | 337041 | 3408 21269 72173 | 26051 26333 21 | 2.378 % |
78.83/78.81 c | 337553 | 3405 21234 72052 | 26051 23446 20 | 2.465 % |
79.03/79.03 c | 338577 | 3405 21234 72052 | 26051 24470 20 | 2.465 % |
79.53/79.59 c | 340626 | 3405 21234 72052 | 25894 26519 19 | 2.464 % |
80.53/80.56 c | 344723 | 3405 21234 72052 | 25894 26899 21 | 2.464 % |
80.63/80.69 c | 345236 | 3405 21234 72052 | 25894 23649 20 | 2.464 % |
80.83/80.81 c | 345748 | 3405 21234 72052 | 25894 24161 20 | 2.464 % |
81.03/81.01 c | 346773 | 3405 21234 72052 | 25894 25186 20 | 2.465 % |
81.13/81.11 c | 347286 | 3405 21234 72052 | 25894 25699 20 | 2.464 % |
81.23/81.26 c | 347799 | 3405 21234 72052 | 25894 26212 21 | 2.464 % |
81.44/81.47 c | 348824 | 3405 21234 72052 | 25894 24019 20 | 2.464 % |
81.83/81.83 c | 350872 | 3405 21234 72052 | 25197 26067 21 | 2.464 % |
81.93/81.95 c | 351384 | 3405 21234 72052 | 25197 23556 20 | 2.465 % |
82.03/82.04 c | 351897 | 3405 21234 72052 | 25197 24069 20 | 2.464 % |
82.23/82.23 c | 352922 | 3405 21234 72052 | 25197 25094 20 | 2.463 % |
82.33/82.33 c | 353434 | 3405 21234 72052 | 25197 25606 20 | 2.464 % |
82.43/82.46 c | 353946 | 3405 21234 72052 | 25197 22974 20 | 2.465 % |
82.63/82.67 c | 354971 | 3405 21234 72052 | 25197 23999 21 | 2.465 % |
82.93/82.99 c | 357020 | 3405 21234 72052 | 25197 23490 20 | 2.463 % |
83.83/83.89 c | 361116 | 3404 21226 72028 | 23662 24778 21 | 2.494 % |
85.63/85.66 c | 369309 | 3404 21226 72028 | 23662 23353 21 | 2.492 % |
85.73/85.74 c | 369822 | 3404 21226 72028 | 23662 23866 21 | 2.493 % |
85.84/85.84 c | 370334 | 3404 21226 72028 | 20681 18477 21 | 2.492 % |
86.03/86.01 c | 371362 | 3404 21226 72028 | 20681 19505 21 | 2.492 % |
86.03/86.10 c | 371877 | 3404 21226 72028 | 20681 20020 21 | 2.492 % |
86.13/86.19 c | 372390 | 3404 21226 72028 | 20681 20533 21 | 2.492 % |
86.43/86.42 c | 373417 | 3404 21226 72028 | 20681 19348 22 | 2.493 % |
86.73/86.72 c | 375465 | 3402 21208 71968 | 20681 21392 22 | 2.551 % |
86.83/86.83 c | 375977 | 3402 21208 71968 | 20681 19765 22 | 2.550 % |
86.83/86.89 c | 376489 | 3401 21206 71962 | 20681 19714 22 | 2.578 % |
87.13/87.11 c | 377513 | 3401 21206 71962 | 20681 20738 22 | 2.578 % |
87.23/87.21 c | 378025 | 3401 21206 71962 | 20681 21250 22 | 2.579 % |
87.33/87.31 c | 378537 | 3401 21206 71962 | 20681 19637 21 | 2.578 % |
87.43/87.49 c | 379562 | 3401 21206 71962 | 20681 20662 21 | 2.580 % |
87.73/87.81 c | 381612 | 3401 21206 71962 | 2147483647 22712 22 | 2.578 % |
88.73/88.76 c | 385713 | 3401 21206 71962 | 2147483647 26813 22 | 2.580 % |
88.83/88.88 c | 386226 | 3401 21206 71962 | 2147483647 27326 22 | 2.578 % |
88.93/88.99 c | 386740 | 3401 21206 71962 | 2147483647 27840 22 | 2.578 % |
89.23/89.27 c | 387766 | 3399 21190 71911 | 2147483647 28861 22 | 2.636 % |
89.33/89.40 c | 388279 | 3399 21190 71911 | 2147483647 29374 22 | 2.635 % |
89.53/89.52 c | 388791 | 3399 21190 71911 | 2147483647 29886 22 | 2.635 % |
89.73/89.74 c | 389815 | 3399 21190 71911 | 2147483647 30910 22 | 2.636 % |
90.24/90.28 c | 391864 | 3399 21190 71911 | 31095 28787 22 | 2.635 % |
90.33/90.39 c | 392377 | 3399 21190 71911 | 31095 29300 22 | 2.635 % |
90.53/90.53 c | 392892 | 3399 21190 71911 | 31095 29815 22 | 2.635 % |
90.83/90.90 c | 393917 | 3399 21190 71911 | 31095 30840 22 | 2.635 % |
91.03/91.04 c | 394430 | 3399 21190 71911 | 31095 31353 22 | 2.636 % |
91.13/91.21 c | 394942 | 3399 21190 71911 | 31095 27373 22 | 2.636 % |
91.43/91.43 c | 395967 | 3399 21190 71911 | 31095 28398 22 | 2.635 % |
91.93/91.92 c | 398017 | 3399 21190 71911 | 31095 30448 22 | 2.636 % |
92.93/92.98 c | 402114 | 3397 21174 71860 | 27636 25634 21 | 2.694 % |
95.13/95.16 c | 410306 | 3397 21174 71860 | 28870 29176 22 | 2.693 % |
99.33/99.33 c | 426691 | 3395 21158 71809 | 27868 23468 21 | 2.751 % |
107.23/107.23 c | 459459 | 3394 21150 71782 | 26408 25824 22 | 2.780 % |
121.74/121.77 c | 524997 | 3385 21072 71450 | 19292 19206 20 | 3.037 % |
121.84/121.87 c | 525510 | 3385 21072 71450 | 19292 19719 20 | 3.037 % |
121.94/121.97 c | 526024 | 3385 21072 71450 | 19292 17915 21 | 3.037 % |
122.14/122.19 c | 527048 | 3384 21064 71423 | 19292 18937 21 | 3.065 % |
122.24/122.30 c | 527561 | 3384 21064 71423 | 19292 19450 21 | 3.066 % |
122.44/122.42 c | 528073 | 3384 21064 71423 | 19292 17700 20 | 3.065 % |
122.54/122.60 c | 529097 | 3383 21064 71423 | 19292 18723 20 | 3.123 % |
122.94/122.94 c | 531146 | 3382 21045 71362 | 19615 18688 21 | 3.123 % |
123.04/123.03 c | 531658 | 3382 21045 71362 | 19615 19200 21 | 3.123 % |
123.04/123.11 c | 532172 | 3382 21045 71362 | 19615 19714 21 | 3.123 % |
123.24/123.30 c | 533196 | 3382 21045 71362 | 19615 18726 21 | 3.122 % |
123.34/123.38 c | 533708 | 3382 21045 71362 | 19615 19238 22 | 3.123 % |
123.44/123.51 c | 534220 | 3381 21037 71338 | 19615 19747 22 | 3.152 % |
123.64/123.68 c | 535246 | 3381 21037 71338 | 19615 18799 22 | 3.152 % |
124.04/124.03 c | 537294 | 3381 21037 71338 | 19615 18798 22 | 3.152 % |
124.74/124.79 c | 541390 | 3380 21030 71317 | 2147483647 20800 23 | 3.180 % |
124.84/124.90 c | 541902 | 3380 21030 71317 | 2147483647 21312 23 | 3.180 % |
125.04/125.02 c | 542414 | 3380 21030 71317 | 2147483647 21824 23 | 3.181 % |
125.24/125.24 c | 543440 | 3380 21030 71317 | 2147483647 22850 23 | 3.181 % |
125.34/125.38 c | 543953 | 3380 21030 71317 | 2147483647 23363 22 | 3.180 % |
125.44/125.45 c | 544465 | 3380 21030 71317 | 2147483647 23875 22 | 3.180 % |
125.64/125.65 c | 545489 | 3380 21030 71317 | 2147483647 24899 23 | 3.181 % |
126.14/126.12 c | 547538 | 3380 21030 71317 | 2147483647 26948 23 | 3.180 % |
126.24/126.25 c | 548050 | 3380 21030 71317 | 2147483647 27460 23 | 3.181 % |
126.34/126.38 c | 548563 | 3380 21030 71317 | 2147483647 27973 23 | 3.181 % |
126.64/126.67 c | 549588 | 3380 21030 71317 | 2147483647 28998 23 | 3.181 % |
126.74/126.79 c | 550100 | 3380 21030 71317 | 29410 29510 23 | 3.180 % |
126.84/126.91 c | 550614 | 3380 21030 71317 | 29410 30024 23 | 3.181 % |
127.14/127.20 c | 551641 | 3380 21030 71317 | 29410 26007 23 | 3.181 % |
127.64/127.68 c | 553690 | 3380 21030 71317 | 29410 28056 24 | 3.180 % |
128.64/128.71 c | 557787 | 3380 21030 71317 | 29410 26708 23 | 3.180 % |
130.94/130.92 c | 565979 | 3380 21030 71317 | 28921 24968 22 | 3.181 % |
131.04/131.06 c | 566491 | 3380 21030 71317 | 28921 25480 22 | 3.181 % |
131.14/131.16 c | 567005 | 3380 21030 71317 | 28921 25994 21 | 3.181 % |
131.44/131.43 c | 568030 | 3379 21016 71273 | 28921 27016 22 | 3.209 % |
131.54/131.60 c | 568542 | 3379 21016 71273 | 28921 27528 22 | 3.209 % |
131.74/131.74 c | 569054 | 3379 21016 71273 | 28921 28040 22 | 3.208 % |
132.04/132.02 c | 570082 | 3379 21016 71273 | 28986 29068 22 | 3.208 % |
132.54/132.56 c | 572130 | 3379 21016 71273 | 28986 25836 22 | 3.208 % |
132.64/132.70 c | 572642 | 3379 21016 71273 | 28986 26348 22 | 3.208 % |
132.84/132.82 c | 573154 | 3379 21016 71273 | 28986 26860 22 | 3.208 % |
133.04/133.08 c | 574179 | 3379 21016 71273 | 28986 27885 22 | 3.208 % |
133.14/133.18 c | 574691 | 3379 21016 71273 | 28986 28397 22 | 3.208 % |
133.24/133.29 c | 575204 | 3379 21016 71273 | 28986 28910 22 | 3.208 % |
133.44/133.50 c | 576228 | 3379 21016 71273 | 28986 25771 21 | 3.208 % |
133.84/133.90 c | 578278 | 3378 21008 71249 | 28986 27817 20 | 3.237 % |
135.14/135.16 c | 582374 | 3378 21008 71249 | 29539 27509 21 | 3.237 % |
135.24/135.28 c | 582889 | 3377 20973 71121 | 29539 28021 21 | 3.266 % |
135.34/135.36 c | 583401 | 3377 20973 71121 | 29539 28533 21 | 3.266 % |
135.54/135.58 c | 584426 | 3377 20973 71121 | 29539 29558 21 | 3.267 % |
135.74/135.72 c | 584939 | 3377 20973 71121 | 29539 30071 21 | 3.266 % |
135.84/135.88 c | 585453 | 3377 20973 71121 | 29539 26541 20 | 3.266 % |
136.04/136.09 c | 586477 | 3377 20973 71121 | 29539 27565 21 | 3.266 % |
136.54/136.58 c | 588525 | 3376 20965 71094 | 29539 29612 21 | 3.295 % |
136.74/136.71 c | 589037 | 3376 20965 71094 | 29539 30124 21 | 3.295 % |
136.84/136.87 c | 589550 | 3376 20965 71094 | 29539 26213 20 | 3.296 % |
137.14/137.14 c | 590574 | 3376 20965 71094 | 26664 27237 20 | 3.295 % |
137.24/137.30 c | 591086 | 3376 20965 71094 | 26664 23686 19 | 3.295 % |
137.44/137.42 c | 591599 | 3375 20959 71076 | 26664 24198 19 | 3.323 % |
137.64/137.65 c | 592623 | 3375 20959 71076 | 26664 25222 19 | 3.323 % |
138.14/138.15 c | 594671 | 3375 20959 71076 | 26664 27270 19 | 3.323 % |
139.04/139.08 c | 598767 | 3375 20959 71076 | 26664 27295 20 | 3.323 % |
140.94/140.95 c | 606959 | 3368 20869 70757 | 24656 25476 19 | 3.524 % |
144.94/145.01 c | 623344 | 3367 20853 70706 | 22326 21894 20 | 3.553 % |
145.14/145.13 c | 623856 | 3367 20853 70706 | 22326 22406 20 | 3.552 % |
145.14/145.21 c | 624368 | 3367 20853 70706 | 22326 22918 20 | 3.552 % |
145.44/145.48 c | 625392 | 3367 20853 70706 | 22326 20834 21 | 3.553 % |
145.54/145.58 c | 625907 | 3367 20853 70706 | 22326 21349 21 | 3.552 % |
145.64/145.66 c | 626422 | 3367 20853 70706 | 22326 21864 21 | 3.552 % |
145.84/145.89 c | 627447 | 3367 20853 70706 | 22326 22889 21 | 3.552 % |
146.24/146.27 c | 629495 | 3366 20845 70679 | 22326 21829 22 | 3.581 % |
146.34/146.34 c | 630008 | 3366 20845 70679 | 22334 22341 22 | 3.638 % |
146.44/146.48 c | 630521 | 3364 20817 70585 | 22334 22847 22 | 3.640 % |
146.74/146.73 c | 631545 | 3364 20817 70585 | 22334 20878 22 | 3.638 % |
146.84/146.82 c | 632059 | 3364 20817 70585 | 22334 21392 22 | 3.639 % |
146.94/146.91 c | 632572 | 3364 20817 70585 | 22334 21905 22 | 3.638 % |
147.04/147.11 c | 633596 | 3364 20817 70585 | 22334 22929 23 | 3.639 % |
147.54/147.55 c | 635644 | 3364 20817 70585 | 22334 21773 22 | 3.639 % |
148.54/148.52 c | 639740 | 3363 20809 70561 | 22334 22725 23 | 3.668 % |
148.64/148.64 c | 640252 | 3363 20809 70561 | 20067 20318 23 | 3.668 % |
148.74/148.75 c | 640765 | 3363 20809 70561 | 20067 18530 22 | 3.668 % |
148.94/148.92 c | 641790 | 3363 20809 70561 | 20067 19555 22 | 3.667 % |
149.04/149.02 c | 642302 | 3363 20809 70561 | 20067 20067 22 | 3.667 % |
149.14/149.11 c | 642814 | 3363 20809 70561 | 20067 20579 22 | 3.668 % |
149.24/149.31 c | 643838 | 3363 20809 70561 | 20067 19526 21 | 3.667 % |
149.64/149.70 c | 645886 | 3363 20809 70561 | 20067 19181 21 | 3.668 % |
149.84/149.83 c | 646398 | 3363 20809 70561 | 20067 19693 22 | 3.667 % |
149.94/149.93 c | 646910 | 3363 20809 70561 | 20067 20205 22 | 3.667 % |
150.14/150.14 c | 647935 | 3363 20809 70561 | 20067 18921 21 | 3.667 % |
150.24/150.23 c | 648449 | 3363 20809 70561 | 20067 19435 21 | 3.667 % |
150.24/150.31 c | 648961 | 3363 20809 70561 | 20067 19947 21 | 3.667 % |
150.54/150.52 c | 649985 | 3363 20809 70561 | 20067 20971 22 | 3.667 % |
150.94/150.94 c | 652034 | 3363 20809 70561 | 18472 18579 21 | 3.667 % |
151.74/151.76 c | 656131 | 3363 20809 70561 | 18472 18778 22 | 3.667 % |
153.64/153.65 c | 664325 | 3363 20809 70561 | 2147483647 23134 22 | 3.667 % |
153.74/153.75 c | 664837 | 3363 20809 70561 | 2147483647 23646 22 | 3.667 % |
153.84/153.88 c | 665349 | 3363 20809 70561 | 2147483647 24158 22 | 3.668 % |
154.04/154.10 c | 666373 | 3363 20809 70561 | 2147483647 25182 22 | 3.668 % |
154.24/154.21 c | 666886 | 3363 20809 70561 | 2147483647 25695 22 | 3.667 % |
154.34/154.32 c | 667401 | 3363 20809 70561 | 2147483647 26210 22 | 3.667 % |
154.54/154.60 c | 668425 | 3363 20809 70561 | 2147483647 27234 22 | 3.667 % |
155.14/155.15 c | 670474 | 3363 20809 70561 | 28810 29283 23 | 3.668 % |
155.24/155.29 c | 670987 | 3363 20809 70561 | 28810 25099 22 | 3.667 % |
155.44/155.42 c | 671499 | 3363 20809 70561 | 28810 25611 22 | 3.667 % |
155.54/155.59 c | 672523 | 3363 20809 70561 | 28810 26635 23 | 3.667 % |
155.74/155.72 c | 673035 | 3363 20809 70561 | 28810 27147 23 | 3.668 % |
155.84/155.86 c | 673549 | 3363 20809 70561 | 28810 27661 23 | 3.668 % |
156.14/156.12 c | 674574 | 3363 20809 70561 | 28810 28686 23 | 3.667 % |
156.64/156.69 c | 676623 | 3362 20803 70543 | 28810 25757 22 | 3.696 % |
157.74/157.77 c | 680721 | 3362 20803 70543 | 29136 29855 22 | 3.696 % |
157.94/157.99 c | 681233 | 3362 20803 70543 | 29136 24770 21 | 3.695 % |
158.14/158.13 c | 681745 | 3362 20803 70543 | 29136 25282 21 | 3.696 % |
158.34/158.34 c | 682769 | 3362 20803 70543 | 29136 26306 21 | 3.695 % |
158.44/158.46 c | 683282 | 3362 20803 70543 | 29136 26819 21 | 3.695 % |
158.64/158.62 c | 683796 | 3362 20803 70543 | 29136 27333 21 | 3.695 % |
158.84/158.89 c | 684820 | 3362 20803 70543 | 29136 28357 21 | 3.696 % |
159.54/159.54 c | 686868 | 3362 20803 70543 | 29136 24365 20 | 3.696 % |
159.64/159.68 c | 687382 | 3362 20803 70543 | 29136 24879 20 | 3.696 % |
159.84/159.81 c | 687895 | 3362 20803 70543 | 29136 25392 20 | 3.696 % |
159.94/159.99 c | 688919 | 3362 20803 70543 | 29136 26416 21 | 3.695 % |
160.04/160.09 c | 689431 | 3362 20803 70543 | 29136 26928 21 | 3.696 % |
160.14/160.20 c | 689943 | 3362 20803 70543 | 29136 27440 21 | 3.695 % |
160.44/160.46 c | 690967 | 3361 20796 70522 | 27497 23041 20 | 3.725 % |
160.84/160.87 c | 693015 | 3361 20796 70522 | 27497 25089 19 | 3.724 % |
161.94/161.91 c | 697111 | 3361 20796 70522 | 27497 24915 20 | 3.725 % |
164.04/164.06 c | 705303 | 3361 20796 70522 | 27806 28633 20 | 3.726 % |
168.24/168.30 c | 721688 | 3361 20796 70522 | 28352 24690 20 | 3.725 % |
176.74/176.71 c | 754456 | 3361 20796 70522 | 24912 24838 20 | 3.724 % |
176.74/176.80 c | 754968 | 3361 20796 70522 | 24912 25350 20 | 3.725 % |
176.94/176.94 c | 755481 | 3361 20796 70522 | 24912 21145 20 | 3.725 % |
177.15/177.14 c | 756506 | 3361 20796 70522 | 24912 22170 20 | 3.725 % |
177.24/177.22 c | 757018 | 3361 20796 70522 | 24912 22682 20 | 3.724 % |
177.34/177.32 c | 757531 | 3361 20796 70522 | 24912 23195 20 | 3.724 % |
177.54/177.54 c | 758557 | 3361 20796 70522 | 24912 24221 20 | 3.725 % |
177.94/177.95 c | 760605 | 3361 20796 70522 | 25665 26269 20 | 3.725 % |
178.04/178.08 c | 761119 | 3361 20796 70522 | 25665 22389 20 | 3.725 % |
178.14/178.19 c | 761631 | 3361 20796 70522 | 25665 22901 20 | 3.724 % |
178.44/178.42 c | 762657 | 3361 20796 70522 | 25665 23927 20 | 3.725 % |
178.54/178.53 c | 763169 | 3361 20796 70522 | 25665 24439 20 | 3.725 % |
178.64/178.63 c | 763683 | 3361 20796 70522 | 25665 24953 21 | 3.724 % |
178.84/178.84 c | 764707 | 3361 20796 70522 | 25665 25977 21 | 3.724 % |
179.35/179.37 c | 766756 | 3361 20796 70522 | 25665 24320 21 | 3.725 % |
180.34/180.40 c | 770852 | 3361 20796 70522 | 23602 24454 20 | 3.724 % |
180.54/180.52 c | 771365 | 3361 20796 70522 | 23602 21236 20 | 3.725 % |
180.64/180.64 c | 771878 | 3361 20796 70522 | 23602 21749 20 | 3.724 % |
180.84/180.85 c | 772903 | 3361 20796 70522 | 23602 22774 20 | 3.724 % |
180.94/180.92 c | 773416 | 3361 20796 70522 | 23602 23287 20 | 3.724 % |
181.04/181.01 c | 773928 | 3361 20796 70522 | 23602 23799 20 | 3.724 % |
181.24/181.23 c | 774952 | 3361 20796 70522 | 23602 22031 20 | 3.724 % |
181.64/181.63 c | 777000 | 3361 20796 70522 | 23602 20980 21 | 3.724 % |
181.74/181.72 c | 777513 | 3361 20796 70522 | 23602 21493 21 | 3.725 % |
181.84/181.84 c | 778026 | 3361 20796 70522 | 23602 22006 21 | 3.725 % |
182.04/182.06 c | 779051 | 3361 20796 70522 | 23602 23031 21 | 3.725 % |
182.14/182.18 c | 779563 | 3361 20796 70522 | 23602 23543 21 | 3.725 % |
182.24/182.28 c | 780076 | 3361 20796 70522 | 23981 24056 21 | 3.725 % |
182.54/182.60 c | 781102 | 3361 20796 70522 | 23981 21311 21 | 3.725 % |
183.04/183.02 c | 783151 | 3361 20796 70522 | 23981 23360 21 | 3.725 % |
183.94/183.91 c | 787248 | 3360 20786 70489 | 23981 23622 22 | 3.753 % |
185.74/185.72 c | 795441 | 3359 20776 70456 | 22728 21581 21 | 3.782 % |
185.84/185.81 c | 795954 | 3358 20776 70456 | 22728 22093 21 | 3.810 % |
185.84/185.91 c | 796466 | 3358 20776 70456 | 22728 22605 21 | 3.811 % |
186.14/186.19 c | 797492 | 3358 20768 70429 | 22728 21121 20 | 3.810 % |
186.24/186.30 c | 798006 | 3358 20768 70429 | 22728 21635 20 | 3.810 % |
186.44/186.42 c | 798520 | 3358 20768 70429 | 22728 22149 20 | 3.810 % |
186.64/186.66 c | 799544 | 3358 20768 70429 | 22728 23173 21 | 3.811 % |
187.05/187.10 c | 801593 | 3354 20719 70244 | 21032 20411 19 | 3.925 % |
187.24/187.23 c | 802105 | 3354 20719 70244 | 21032 20923 20 | 3.924 % |
187.34/187.35 c | 802617 | 3354 20702 70190 | 21032 21428 20 | 3.924 % |
187.54/187.53 c | 803641 | 3354 20702 70190 | 21032 20310 20 | 3.924 % |
187.64/187.63 c | 804153 | 3354 20702 70190 | 21032 20822 20 | 3.924 % |
187.64/187.69 c | 804665 | 3354 20702 70190 | 21032 21334 20 | 3.924 % |
187.94/187.93 c | 805691 | 3354 20702 70190 | 21032 20227 20 | 3.925 % |
188.34/188.39 c | 807739 | 3354 20702 70190 | 21032 20100 20 | 3.925 % |
189.25/189.28 c | 811837 | 3354 20702 70190 | 2147483647 21986 21 | 3.925 % |
189.34/189.37 c | 812350 | 3354 20702 70190 | 2147483647 22499 21 | 3.925 % |
189.44/189.45 c | 812862 | 3354 20702 70190 | 2147483647 23011 21 | 3.924 % |
189.64/189.61 c | 813886 | 3354 20702 70190 | 2147483647 24035 20 | 3.925 % |
189.74/189.72 c | 814398 | 3354 20702 70190 | 2147483647 24547 20 | 3.925 % |
189.84/189.81 c | 814912 | 3354 20702 70190 | 2147483647 25061 20 | 3.925 % |
190.04/190.03 c | 815938 | 3354 20702 70190 | 2147483647 26087 20 | 3.925 % |
190.44/190.48 c | 817986 | 3354 20702 70190 | 2147483647 28135 21 | 3.925 % |
190.64/190.66 c | 818498 | 3353 20693 70160 | 2147483647 28639 21 | 3.953 % |
190.74/190.79 c | 819010 | 3353 20693 70160 | 2147483647 29151 21 | 3.953 % |
191.04/191.04 c | 820034 | 3353 20693 70160 | 30142 30175 21 | 3.954 % |
191.14/191.19 c | 820547 | 3353 20693 70160 | 30142 30688 21 | 3.954 % |
191.34/191.34 c | 821059 | 3353 20693 70160 | 30142 26593 21 | 3.954 % |
191.54/191.59 c | 822083 | 3353 20693 70160 | 30142 27617 21 | 3.954 % |
192.14/192.13 c | 824133 | 3353 20693 70160 | 30142 29667 21 | 3.953 % |
193.24/193.28 c | 828229 | 3353 20693 70160 | 30142 28030 21 | 3.953 % |
195.44/195.41 c | 836421 | 3352 20685 70133 | 29801 24637 22 | 3.982 % |
199.54/199.55 c | 852807 | 3351 20677 70109 | 27148 24423 21 | 4.011 % |
199.64/199.67 c | 853320 | 3351 20677 70109 | 27148 24936 21 | 4.011 % |
199.74/199.80 c | 853832 | 3351 20677 70109 | 27148 25448 20 | 4.011 % |
200.04/200.05 c | 854856 | 3350 20668 70079 | 27148 26467 21 | 4.039 % |
200.04/200.10 c | 855368 | 3350 20668 70079 | 27148 26979 21 | 4.039 % |
200.25/200.23 c | 855881 | 3350 20668 70079 | 27148 27492 21 | 4.039 % |
200.44/200.45 c | 856905 | 3350 20668 70079 | 27148 24049 20 | 4.040 % |
200.74/200.79 c | 858953 | 3350 20668 70079 | 27148 26097 21 | 4.040 % |
200.84/200.91 c | 859465 | 3350 20668 70079 | 27148 26609 21 | 4.039 % |
201.04/201.07 c | 859977 | 3350 20668 70079 | 27148 27121 21 | 4.040 % |
201.24/201.29 c | 861002 | 3350 20668 70079 | 27145 24640 20 | 4.039 % |
201.44/201.43 c | 861514 | 3350 20668 70079 | 27145 25152 20 | 4.040 % |
201.54/201.53 c | 862027 | 3350 20668 70079 | 27145 25665 21 | 4.040 % |
201.84/201.83 c | 863053 | 3350 20668 70079 | 27145 26691 21 | 4.040 % |
202.34/202.32 c | 865103 | 3350 20668 70079 | 27145 24435 20 | 4.039 % |
203.34/203.38 c | 869200 | 3350 20668 70079 | 27145 23798 20 | 4.040 % |
203.44/203.49 c | 869712 | 3350 20668 70079 | 27145 24310 20 | 4.040 % |
203.64/203.61 c | 870225 | 3350 20668 70079 | 24600 24823 20 | 4.040 % |
203.84/203.84 c | 871249 | 3350 20668 70079 | 24600 21608 19 | 4.040 % |
203.94/203.91 c | 871763 | 3350 20668 70079 | 24600 22122 19 | 4.039 % |
204.04/204.02 c | 872276 | 3350 20668 70079 | 24600 22635 19 | 4.039 % |
204.24/204.24 c | 873302 | 3350 20668 70079 | 24600 23661 20 | 4.040 % |
204.74/204.77 c | 875350 | 3350 20668 70079 | 24600 22474 19 | 4.040 % |
204.84/204.90 c | 875863 | 3350 20668 70079 | 24600 22987 19 | 4.040 % |
205.04/205.03 c | 876375 | 3350 20668 70079 | 24600 23499 19 | 4.040 % |
205.24/205.24 c | 877400 | 3350 20668 70079 | 24600 24524 19 | 4.040 % |
205.34/205.38 c | 877913 | 3350 20668 70079 | 24600 22022 19 | 4.039 % |
205.44/205.48 c | 878425 | 3350 20668 70079 | 24600 22534 19 | 4.040 % |
205.75/205.72 c | 879451 | 3350 20668 70079 | 24600 23560 19 | 4.039 % |
206.14/206.20 c | 881500 | 3350 20668 70079 | 24112 22607 18 | 4.040 % |
207.14/207.13 c | 885596 | 3349 20660 70055 | 24112 23282 19 | 4.069 % |
208.94/208.99 c | 893791 | 3349 20660 70055 | 23850 23122 22 | 4.069 % |
209.14/209.11 c | 894303 | 3349 20660 70055 | 23850 23634 22 | 4.068 % |
209.24/209.23 c | 894815 | 3349 20660 70055 | 23850 24146 22 | 4.068 % |
209.44/209.43 c | 895839 | 3349 20660 70055 | 23850 21072 22 | 4.068 % |
209.54/209.51 c | 896351 | 3349 20660 70055 | 23850 21584 22 | 4.068 % |
209.54/209.59 c | 896863 | 3349 20660 70055 | 23850 22096 22 | 4.068 % |
209.74/209.80 c | 897887 | 3349 20660 70055 | 23850 23120 23 | 4.068 % |
210.24/210.24 c | 899935 | 3349 20660 70055 | 23850 21579 24 | 4.068 % |
210.34/210.37 c | 900447 | 3349 20660 70055 | 21644 22091 24 | 4.068 % |
210.44/210.51 c | 900959 | 3349 20660 70055 | 21644 19521 23 | 4.068 % |
210.64/210.70 c | 901983 | 3348 20653 70034 | 21644 20544 23 | 4.097 % |
210.74/210.80 c | 902495 | 3348 20653 70034 | 21644 21056 23 | 4.098 % |
210.84/210.90 c | 903007 | 3348 20653 70034 | 21644 21568 23 | 4.097 % |
211.14/211.14 c | 904031 | 3348 20653 70034 | 21644 19958 22 | 4.126 % |
211.64/211.63 c | 906079 | 3347 20647 70016 | 21644 22006 22 | 4.126 % |
212.44/212.50 c | 910176 | 3347 20647 70016 | 20666 20842 21 | 4.126 % |
212.64/212.63 c | 910688 | 3347 20647 70016 | 20666 18799 20 | 4.126 % |
212.74/212.72 c | 911200 | 3347 20647 70016 | 20666 19311 20 | 4.126 % |
212.94/212.92 c | 912226 | 3347 20647 70016 | 20666 20337 20 | 4.125 % |
213.04/213.01 c | 912738 | 3347 20647 70016 | 20666 20849 21 | 4.125 % |
213.14/213.11 c | 913251 | 3347 20647 70016 | 20666 19235 20 | 4.125 % |
213.34/213.31 c | 914277 | 3347 20647 70016 | 20666 20261 19 | 4.125 % |
213.74/213.73 c | 916325 | 3347 20647 70016 | 20666 20130 19 | 4.126 % |
213.84/213.82 c | 916837 | 3347 20647 70016 | 20666 20642 19 | 4.126 % |
213.94/213.93 c | 917349 | 3347 20647 70016 | 20666 21154 19 | 4.126 % |
214.04/214.11 c | 918373 | 3347 20647 70016 | 20666 20063 19 | 4.125 % |
214.14/214.20 c | 918886 | 3347 20647 70016 | 20666 20576 19 | 4.125 % |
214.24/214.30 c | 919400 | 3347 20647 70016 | 20666 18982 19 | 4.125 % |
214.44/214.50 c | 920426 | 3347 20647 70016 | 2147483647 20008 19 | 4.126 % |
214.94/214.93 c | 922474 | 3347 20647 70016 | 2147483647 22056 20 | 4.125 % |
215.94/215.94 c | 926570 | 3345 20635 69977 | 2147483647 26148 20 | 4.183 % |
218.15/218.17 c | 934763 | 3345 20635 69977 | 29578 29291 20 | 4.183 % |
222.45/222.42 c | 951149 | 3342 20628 69953 | 26452 22083 21 | 4.269 % |
230.75/230.72 c | 983917 | 3342 20614 69905 | 24900 23135 22 | 4.269 % |
245.45/245.50 c | 1049454 | 3334 20558 69729 | 20689 19688 22 | 4.498 % |
275.24/275.30 c | 1180527 | 3329 20498 69539 | 27975 28499 22 | 4.642 % |
275.44/275.44 c | 1181039 | 3329 20498 69539 | 27975 24401 22 | 4.641 % |
275.54/275.58 c | 1181551 | 3329 20498 69539 | 27975 24913 22 | 4.641 % |
275.74/275.80 c | 1182575 | 3329 20498 69539 | 27975 25937 22 | 4.641 % |
275.84/275.88 c | 1183087 | 3329 20498 69539 | 27975 26449 22 | 4.641 % |
276.04/276.02 c | 1183600 | 3329 20498 69539 | 27975 26962 22 | 4.642 % |
276.24/276.21 c | 1184624 | 3329 20498 69539 | 27975 27986 22 | 4.641 % |
276.74/276.73 c | 1186674 | 3329 20498 69539 | 27975 25056 22 | 4.641 % |
276.84/276.85 c | 1187187 | 3329 20498 69539 | 27975 25569 22 | 4.641 % |
276.94/276.98 c | 1187699 | 3329 20498 69539 | 27975 26081 22 | 4.641 % |
277.14/277.19 c | 1188724 | 3328 20491 69518 | 27975 27102 22 | 4.669 % |
277.25/277.29 c | 1189237 | 3328 20491 69518 | 27975 27615 22 | 4.670 % |
277.34/277.37 c | 1189751 | 3328 20491 69518 | 27975 28129 22 | 4.669 % |
277.54/277.55 c | 1190776 | 3328 20491 69518 | 28378 25220 22 | 4.669 % |
278.04/278.02 c | 1192825 | 3328 20491 69518 | 28378 27269 22 | 4.669 % |
278.84/278.83 c | 1196921 | 3325 20471 69452 | 28378 28203 21 | 4.755 % |
278.94/278.91 c | 1197433 | 3325 20471 69452 | 28378 28715 21 | 4.755 % |
279.04/279.02 c | 1197945 | 3325 20471 69452 | 28378 26172 21 | 4.755 % |
279.24/279.29 c | 1198970 | 3325 20471 69452 | 28378 27197 21 | 4.755 % |
279.34/279.38 c | 1199483 | 3325 20471 69452 | 28378 27710 21 | 4.756 % |
279.45/279.47 c | 1199996 | 3325 20462 69422 | 28378 28221 21 | 4.756 % |
279.64/279.62 c | 1201021 | 3325 20462 69422 | 2147483647 29246 21 | 4.755 % |
280.24/280.25 c | 1203070 | 3325 20462 69422 | 2147483647 31295 22 | 4.755 % |
280.44/280.41 c | 1203582 | 3325 20462 69422 | 2147483647 31807 22 | 4.757 % |
280.55/280.55 c | 1204096 | 3325 20462 69422 | 2147483647 32321 22 | 4.756 % |
280.84/280.87 c | 1205120 | 3325 20462 69422 | 2147483647 33345 22 | 4.756 % |
280.94/280.99 c | 1205632 | 3325 20462 69422 | 2147483647 33857 22 | 4.756 % |
281.14/281.13 c | 1206144 | 3325 20462 69422 | 2147483647 34369 22 | 4.756 % |
281.34/281.40 c | 1207168 | 3325 20462 69422 | 2147483647 35393 22 | 4.756 % |
281.94/281.99 c | 1209216 | 3325 20462 69422 | 2147483647 37441 22 | 4.755 % |
283.04/283.02 c | 1213313 | 3325 20462 69422 | 38225 34757 20 | 4.755 % |
285.74/285.71 c | 1221505 | 3325 20462 69422 | 33990 28389 20 | 4.755 % |
285.84/285.86 c | 1222018 | 3325 20462 69422 | 33990 28902 20 | 4.756 % |
285.94/286.01 c | 1222530 | 3325 20462 69422 | 33990 29414 21 | 4.756 % |
286.24/286.29 c | 1223554 | 3325 20462 69422 | 33990 30438 21 | 4.756 % |
286.44/286.44 c | 1224066 | 3324 20449 69378 | 33990 30949 21 | 4.784 % |
286.54/286.57 c | 1224579 | 3324 20449 69378 | 33990 31462 21 | 4.784 % |
286.84/286.88 c | 1225604 | 3324 20449 69378 | 33990 32487 21 | 4.784 % |
287.44/287.47 c | 1227652 | 3324 20449 69378 | 33990 34535 21 | 4.785 % |
287.64/287.70 c | 1228165 | 3323 20439 69347 | 33990 27656 20 | 4.813 % |
287.84/287.84 c | 1228677 | 3323 20439 69347 | 33990 28168 20 | 4.813 % |
288.14/288.12 c | 1229701 | 3323 20439 69347 | 33990 29192 20 | 4.813 % |
288.25/288.22 c | 1230213 | 3323 20439 69347 | 29491 29704 21 | 4.813 % |
288.34/288.37 c | 1230725 | 3323 20439 69347 | 29491 23755 21 | 4.812 % |
288.64/288.62 c | 1231751 | 3323 20439 69347 | 29491 24781 21 | 4.812 % |
289.04/289.06 c | 1233799 | 3323 20439 69347 | 29491 26829 21 | 4.812 % |
290.14/290.14 c | 1237896 | 3323 20439 69347 | 29491 25273 21 | 4.813 % |
290.24/290.26 c | 1238408 | 3323 20439 69347 | 29491 25785 21 | 4.812 % |
290.34/290.36 c | 1238920 | 3323 20439 69347 | 29491 26297 21 | 4.813 % |
290.64/290.63 c | 1239944 | 3323 20439 69347 | 29491 27321 21 | 4.812 % |
290.74/290.76 c | 1240456 | 3323 20439 69347 | 27380 27833 21 | 4.813 % |
290.94/290.92 c | 1240968 | 3323 20439 69347 | 27380 22998 21 | 4.812 % |
291.14/291.18 c | 1241993 | 3323 20439 69347 | 27380 24023 21 | 4.813 % |
291.74/291.71 c | 1244041 | 3322 20432 69326 | 27380 26066 21 | 4.841 % |
291.84/291.85 c | 1244554 | 3322 20432 69326 | 27380 26579 21 | 4.842 % |
292.04/292.00 c | 1245069 | 3322 20432 69326 | 27380 27094 22 | 4.842 % |
292.24/292.28 c | 1246094 | 3322 20432 69326 | 27380 28119 22 | 4.842 % |
292.34/292.40 c | 1246606 | 3322 20432 69326 | 27380 22946 21 | 4.842 % |
292.44/292.50 c | 1247118 | 3322 20432 69326 | 27380 23458 21 | 4.841 % |
292.74/292.71 c | 1248142 | 3322 20432 69326 | 27380 24482 21 | 4.841 % |
293.14/293.19 c | 1250190 | 3322 20432 69326 | 26340 26530 21 | 4.841 % |
294.14/294.12 c | 1254287 | 3322 20432 69326 | 26340 26341 21 | 4.842 % |
296.44/296.41 c | 1262480 | 3322 20432 69326 | 27082 24152 21 | 4.841 % |
300.44/300.45 c | 1278865 | 3320 20417 69278 | 25960 23578 19 | 4.899 % |
300.54/300.56 c | 1279378 | 3320 20417 69278 | 25960 24091 19 | 4.898 % |
300.64/300.68 c | 1279890 | 3320 20417 69278 | 25960 24603 19 | 4.899 % |
300.94/300.96 c | 1280914 | 3320 20417 69278 | 24713 20720 19 | 4.898 % |
300.94/301.00 c | 1281428 | 3320 20417 69278 | 24713 21234 19 | 4.899 % |
301.04/301.09 c | 1281941 | 3320 20417 69278 | 24713 21747 19 | 4.898 % |
301.24/301.28 c | 1282966 | 3320 20417 69278 | 24713 22772 19 | 4.899 % |
301.54/301.59 c | 1285015 | 3320 20417 69278 | 24713 24821 19 | 4.898 % |
301.64/301.67 c | 1285528 | 3320 20417 69278 | 24713 25334 19 | 4.898 % |
301.84/301.82 c | 1286040 | 3320 20417 69278 | 24713 22558 19 | 4.898 % |
302.04/302.03 c | 1287064 | 3320 20417 69278 | 24713 23582 19 | 4.900 % |
302.14/302.13 c | 1287576 | 3320 20417 69278 | 24713 24094 19 | 4.899 % |
302.24/302.27 c | 1288089 | 3320 20417 69278 | 24713 24607 19 | 4.899 % |
302.44/302.50 c | 1289113 | 3320 20417 69278 | 24713 25631 19 | 4.899 % |
302.84/302.83 c | 1291161 | 3320 20417 69278 | 23211 21973 18 | 4.898 % |
303.74/303.74 c | 1295258 | 3320 20417 69278 | 23211 23315 20 | 4.898 % |
303.84/303.85 c | 1295770 | 3320 20417 69278 | 23211 23827 20 | 4.899 % |
303.94/303.98 c | 1296282 | 3320 20417 69278 | 23211 21382 20 | 4.900 % |
304.14/304.17 c | 1297306 | 3320 20417 69278 | 23211 22406 20 | 4.900 % |
304.34/304.30 c | 1297818 | 3319 20409 69251 | 23211 22913 21 | 4.927 % |
304.34/304.38 c | 1298331 | 3319 20409 69251 | 23211 23426 21 | 4.927 % |
304.54/304.57 c | 1299358 | 3319 20409 69251 | 23211 21409 21 | 4.927 % |
304.94/304.98 c | 1301408 | 3319 20409 69251 | 22054 20478 21 | 4.927 % |
305.04/305.08 c | 1301920 | 3319 20409 69251 | 22054 20990 21 | 4.927 % |
305.14/305.18 c | 1302434 | 3319 20409 69251 | 22054 21504 21 | 4.928 % |
305.34/305.38 c | 1303458 | 3319 20409 69251 | 22054 22528 21 | 4.927 % |
305.44/305.49 c | 1303971 | 3319 20409 69251 | 22054 20295 21 | 4.927 % |
305.54/305.60 c | 1304483 | 3319 20409 69251 | 22054 20807 21 | 4.927 % |
305.74/305.80 c | 1305507 | 3319 20409 69251 | 22054 21831 22 | 4.927 % |
306.24/306.28 c | 1307556 | 3319 20409 69251 | 22054 20878 23 | 4.927 % |
307.14/307.18 c | 1311652 | 3319 20409 69251 | 20284 19296 22 | 4.928 % |
309.04/309.10 c | 1319845 | 3319 20409 69251 | 20284 19161 21 | 4.927 % |
309.24/309.22 c | 1320358 | 3319 20409 69251 | 19317 19674 21 | 4.928 % |
309.34/309.36 c | 1320870 | 3319 20409 69251 | 19317 17628 20 | 4.927 % |
309.64/309.61 c | 1321894 | 3319 20409 69251 | 19317 18652 20 | 4.928 % |
309.74/309.74 c | 1322407 | 3318 20401 69227 | 19317 19164 20 | 4.957 % |
309.84/309.86 c | 1322919 | 3318 20401 69227 | 19317 19676 20 | 4.956 % |
310.04/310.08 c | 1323944 | 3318 20401 69227 | 19317 18214 20 | 4.956 % |
310.54/310.56 c | 1325992 | 3318 20401 69227 | 19317 20262 21 | 4.957 % |
310.64/310.68 c | 1326505 | 3318 20401 69227 | 19317 18322 20 | 4.956 % |
310.74/310.78 c | 1327018 | 3318 20401 69227 | 19317 18835 20 | 4.956 % |
310.94/310.97 c | 1328043 | 3318 20401 69227 | 19317 19860 20 | 4.957 % |
311.04/311.09 c | 1328556 | 3318 20401 69227 | 19317 17929 20 | 4.956 % |
311.24/311.20 c | 1329068 | 3318 20401 69227 | 19317 18441 20 | 4.957 % |
311.44/311.43 c | 1330093 | 3318 20401 69227 | 19374 19466 21 | 4.956 % |
311.94/311.90 c | 1332142 | 3318 20401 69227 | 19374 19064 21 | 4.956 % |
312.64/312.66 c | 1336240 | 3317 20395 69209 | 19374 18824 21 | 5.013 % |
312.74/312.76 c | 1336753 | 3316 20393 69201 | 19374 19334 21 | 5.013 % |
312.84/312.84 c | 1337267 | 3316 20393 69201 | 19374 19848 21 | 5.013 % |
312.94/312.98 c | 1338292 | 3316 20393 69201 | 19374 18889 20 | 5.013 % |
313.04/313.08 c | 1338805 | 3316 20393 69201 | 19374 19402 21 | 5.013 % |
313.14/313.19 c | 1339318 | 3316 20393 69201 | 19374 19915 21 | 5.013 % |
313.34/313.39 c | 1340344 | 3316 20393 69201 | 2147483647 18950 21 | 5.013 % |
313.74/313.75 c | 1342392 | 3316 20393 69201 | 2147483647 20998 21 | 5.014 % |
313.84/313.85 c | 1342904 | 3316 20393 69201 | 2147483647 21510 21 | 5.013 % |
313.94/313.94 c | 1343419 | 3316 20393 69201 | 2147483647 22025 21 | 5.013 % |
314.14/314.14 c | 1344443 | 3316 20393 69201 | 2147483647 23049 21 | 5.013 % |
314.24/314.27 c | 1344955 | 3314 20378 69150 | 2147483647 23555 21 | 5.071 % |
314.34/314.38 c | 1345467 | 3314 20378 69150 | 2147483647 24067 21 | 5.070 % |
314.44/314.49 c | 1346491 | 3314 20378 69150 | 2147483647 25091 21 | 5.070 % |
314.94/314.92 c | 1348539 | 3314 20378 69150 | 2147483647 27139 22 | 5.070 % |
315.95/315.95 c | 1352635 | 3314 20378 69150 | 2147483647 31235 22 | 5.070 % |
318.65/318.69 c | 1360830 | 3312 20368 69119 | 38596 39425 23 | 5.128 % |
323.85/323.83 c | 1377215 | 3312 20368 69119 | 39341 36106 21 | 5.128 % |
334.85/334.90 c | 1409987 | 3310 20349 69056 | 37587 36840 20 | 5.185 % |
335.05/335.06 c | 1410499 | 3310 20349 69056 | 36853 37352 20 | 5.186 % |
335.35/335.32 c | 1411013 | 3310 20349 69056 | 36853 28697 20 | 5.186 % |
335.65/335.62 c | 1412038 | 3310 20349 69056 | 36853 29722 20 | 5.186 % |
335.75/335.76 c | 1412550 | 3310 20349 69056 | 36853 30234 20 | 5.185 % |
335.95/335.91 c | 1413062 | 3310 20349 69056 | 36853 30746 20 | 5.185 % |
336.15/336.18 c | 1414086 | 3310 20349 69056 | 36853 31770 20 | 5.185 % |
336.55/336.60 c | 1416134 | 3310 20349 69056 | 36853 33818 20 | 5.185 % |
336.75/336.76 c | 1416648 | 3310 20349 69056 | 36853 34332 21 | 5.185 % |
336.85/336.86 c | 1417161 | 3310 20349 69056 | 36853 34845 21 | 5.185 % |
337.05/337.01 c | 1418185 | 3310 20349 69056 | 36853 35869 21 | 5.185 % |
337.15/337.15 c | 1418697 | 3310 20349 69056 | 36853 36381 21 | 5.185 % |
337.25/337.26 c | 1419212 | 3310 20349 69056 | 36853 36896 21 | 5.185 % |
337.55/337.55 c | 1420236 | 3310 20349 69056 | 37684 37920 21 | 5.186 % |
338.35/338.35 c | 1422285 | 3309 20341 69032 | 37684 31947 21 | 5.214 % |
339.55/339.53 c | 1426381 | 3309 20341 69032 | 37684 36043 22 | 5.213 % |
339.65/339.65 c | 1426894 | 3309 20341 69032 | 37684 36556 22 | 5.214 % |
339.75/339.77 c | 1427408 | 3309 20341 69032 | 37684 37070 21 | 5.214 % |
340.05/340.06 c | 1428433 | 3309 20341 69032 | 37684 38095 21 | 5.214 % |
340.25/340.29 c | 1428946 | 3309 20341 69032 | 37684 30243 21 | 5.214 % |
340.35/340.40 c | 1429459 | 3309 20341 69032 | 37684 30756 21 | 5.214 % |
340.65/340.66 c | 1430484 | 3309 20341 69032 | 31298 31781 21 | 5.214 % |
341.25/341.21 c | 1432532 | 3309 20341 69032 | 31298 26833 21 | 5.214 % |
341.35/341.35 c | 1433044 | 3309 20341 69032 | 31298 27345 21 | 5.214 % |
341.45/341.49 c | 1433556 | 3309 20341 69032 | 31298 27857 21 | 5.214 % |
341.75/341.78 c | 1434582 | 3309 20341 69032 | 31298 28883 21 | 5.215 % |
341.85/341.88 c | 1435096 | 3309 20341 69032 | 31298 29397 21 | 5.214 % |
342.05/342.02 c | 1435608 | 3309 20341 69032 | 31298 29909 21 | 5.214 % |
342.25/342.29 c | 1436633 | 3309 20341 69032 | 31298 30934 21 | 5.214 % |
342.75/342.80 c | 1438681 | 3309 20341 69032 | 31298 26216 20 | 5.214 % |
343.85/343.87 c | 1442777 | 3309 20341 69032 | 27536 24412 20 | 5.214 % |
345.85/345.81 c | 1450970 | 3309 20341 69032 | 26144 27114 21 | 5.214 % |
345.95/345.96 c | 1451483 | 3309 20341 69032 | 26144 22098 21 | 5.213 % |
346.05/346.06 c | 1451996 | 3309 20341 69032 | 26144 22611 21 | 5.213 % |
346.25/346.27 c | 1453020 | 3309 20341 69032 | 26144 23635 21 | 5.214 % |
346.45/346.41 c | 1453532 | 3309 20341 69032 | 26144 24147 21 | 5.214 % |
346.55/346.53 c | 1454044 | 3309 20341 69032 | 26144 24659 21 | 5.214 % |
346.75/346.80 c | 1455068 | 3309 20341 69032 | 26144 25683 21 | 5.214 % |
347.25/347.25 c | 1457117 | 3309 20341 69032 | 26144 22560 21 | 5.214 % |
347.35/347.38 c | 1457631 | 3309 20341 69032 | 26144 23074 21 | 5.214 % |
347.55/347.51 c | 1458145 | 3309 20341 69032 | 26144 23588 21 | 5.214 % |
347.75/347.79 c | 1459169 | 3309 20341 69032 | 26144 24612 21 | 5.213 % |
347.95/347.93 c | 1459681 | 3309 20341 69032 | 26144 25124 21 | 5.214 % |
348.05/348.07 c | 1460193 | 3309 20341 69032 | 25444 25636 21 | 5.214 % |
348.35/348.31 c | 1461217 | 3309 20341 69032 | 25444 21979 21 | 5.213 % |
348.75/348.72 c | 1463265 | 3309 20341 69032 | 25444 24027 21 | 5.214 % |
349.65/349.65 c | 1467362 | 3309 20341 69032 | 25444 23693 20 | 5.214 % |
349.75/349.76 c | 1467874 | 3309 20341 69032 | 25444 24205 21 | 5.213 % |
349.85/349.88 c | 1468389 | 3309 20341 69032 | 25444 24720 21 | 5.214 % |
350.15/350.14 c | 1469415 | 3309 20341 69032 | 25444 25746 20 | 5.214 % |
350.35/350.31 c | 1469930 | 3309 20341 69032 | 25444 22235 20 | 5.214 % |
350.45/350.42 c | 1470442 | 3309 20341 69032 | 22306 22747 20 | 5.213 % |
350.65/350.69 c | 1471468 | 3309 20341 69032 | 22306 20179 19 | 5.213 % |
351.15/351.17 c | 1473516 | 3309 20341 69032 | 22306 22227 19 | 5.215 % |
351.25/351.29 c | 1474028 | 3309 20341 69032 | 22306 22739 19 | 5.214 % |
351.45/351.43 c | 1474540 | 3309 20341 69032 | 22306 19588 18 | 5.214 % |
351.65/351.67 c | 1475564 | 3309 20341 69032 | 22306 20612 18 | 5.214 % |
351.75/351.79 c | 1476078 | 3309 20341 69032 | 22306 21126 19 | 5.214 % |
351.85/351.90 c | 1476590 | 3309 20341 69032 | 22306 21638 19 | 5.214 % |
352.15/352.11 c | 1477614 | 3309 20341 69032 | 22306 22662 19 | 5.214 % |
352.55/352.55 c | 1479662 | 3307 20323 68971 | 22306 21151 19 | 5.271 % |
353.45/353.45 c | 1483759 | 3307 20323 68971 | 21490 22203 18 | 5.271 % |
355.55/355.52 c | 1491951 | 3306 20316 68947 | 22033 20182 18 | 5.300 % |
359.15/359.17 c | 1508335 | 3305 20309 68926 | 20733 20578 18 | 5.329 % |
359.35/359.31 c | 1508848 | 3305 20309 68926 | 20733 21091 18 | 5.329 % |
359.45/359.46 c | 1509361 | 3305 20309 68926 | 20733 17640 17 | 5.329 % |
359.65/359.70 c | 1510389 | 3305 20309 68926 | 18279 18668 17 | 5.329 % |
359.85/359.83 c | 1510901 | 3305 20309 68926 | 18279 15964 17 | 5.329 % |
359.95/359.92 c | 1511414 | 3305 20309 68926 | 18279 16477 17 | 5.329 % |
360.05/360.08 c | 1512438 | 3305 20309 68926 | 18279 17501 17 | 5.328 % |
360.45/360.46 c | 1514487 | 3303 20302 68902 | 18279 19547 19 | 5.385 % |
360.55/360.56 c | 1515000 | 3303 20294 68875 | 18279 17287 19 | 5.386 % |
360.65/360.65 c | 1515513 | 3303 20294 68875 | 18279 17800 20 | 5.385 % |
360.75/360.79 c | 1516537 | 3303 20294 68875 | 18279 18824 20 | 5.386 % |
360.85/360.90 c | 1517050 | 3303 20294 68875 | 18279 16805 21 | 5.386 % |
360.95/360.97 c | 1517564 | 3303 20294 68875 | 18279 17319 21 | 5.386 % |
361.15/361.12 c | 1518588 | 3303 20294 68875 | 18279 18343 22 | 5.386 % |
361.55/361.57 c | 1520636 | 3303 20294 68875 | 17290 17926 22 | 5.386 % |
362.35/362.39 c | 1524732 | 3303 20294 68875 | 17290 18123 22 | 5.386 % |
362.55/362.51 c | 1525247 | 3303 20294 68875 | 17290 16826 22 | 5.386 % |
362.65/362.61 c | 1525759 | 3303 20294 68875 | 17290 17338 22 | 5.386 % |
362.85/362.86 c | 1526783 | 3303 20294 68875 | 17290 16572 20 | 5.386 % |
362.95/362.96 c | 1527295 | 3303 20294 68875 | 17290 17084 20 | 5.386 % |
363.05/363.06 c | 1527807 | 3303 20294 68875 | 17290 17596 20 | 5.386 % |
363.25/363.23 c | 1528831 | 3303 20294 68875 | 17290 16861 19 | 5.385 % |
363.45/363.50 c | 1530879 | 3303 20294 68875 | 2147483647 17114 18 | 5.387 % |
363.55/363.57 c | 1531391 | 3303 20294 68875 | 2147483647 17626 19 | 5.386 % |
363.65/363.66 c | 1531903 | 3303 20294 68875 | 2147483647 18138 19 | 5.386 % |
363.85/363.83 c | 1532928 | 3303 20294 68875 | 2147483647 19163 19 | 5.385 % |
363.85/363.90 c | 1533440 | 3303 20294 68875 | 2147483647 19675 19 | 5.386 % |
363.95/363.98 c | 1533952 | 3303 20294 68875 | 2147483647 20187 20 | 5.385 % |
364.15/364.18 c | 1534977 | 3303 20294 68875 | 2147483647 21212 20 | 5.386 % |
364.55/364.58 c | 1537026 | 3303 20294 68875 | 2147483647 23261 21 | 5.386 % |
365.75/365.71 c | 1541123 | 3303 20294 68875 | 26235 23869 20 | 5.386 % |
367.65/367.62 c | 1549318 | 3303 20294 68875 | 26235 24247 20 | 5.386 % |
367.75/367.74 c | 1549830 | 3302 20286 68851 | 26235 24757 20 | 5.415 % |
367.85/367.85 c | 1550342 | 3302 20286 68851 | 24927 25269 20 | 5.414 % |
368.05/368.05 c | 1551367 | 3302 20286 68851 | 24927 22440 19 | 5.414 % |
368.15/368.15 c | 1551879 | 3302 20286 68851 | 24927 22952 19 | 5.414 % |
368.25/368.25 c | 1552392 | 3302 20286 68851 | 24927 23465 20 | 5.414 % |
368.45/368.47 c | 1553417 | 3302 20286 68851 | 24927 24490 20 | 5.414 % |
368.95/368.92 c | 1555467 | 3301 20280 68833 | 24927 23415 20 | 5.443 % |
368.95/369.00 c | 1555980 | 3301 20280 68833 | 24927 23928 20 | 5.444 % |
369.15/369.11 c | 1556494 | 3301 20280 68833 | 24927 24442 20 | 5.443 % |
369.35/369.33 c | 1557518 | 3301 20280 68833 | 24927 25466 20 | 5.443 % |
369.45/369.46 c | 1558030 | 3301 20280 68833 | 24927 22628 20 | 5.443 % |
369.55/369.57 c | 1558542 | 3301 20280 68833 | 24927 23140 20 | 5.443 % |
369.75/369.79 c | 1559566 | 3301 20280 68833 | 24927 24164 20 | 5.444 % |
370.35/370.31 c | 1561614 | 3301 20280 68833 | 24599 21968 21 | 5.444 % |
371.15/371.19 c | 1565712 | 3301 20280 68833 | 24599 21622 21 | 5.443 % |
371.25/371.30 c | 1566224 | 3301 20280 68833 | 24599 22134 21 | 5.444 % |
371.45/371.41 c | 1566736 | 3301 20280 68833 | 24599 22646 21 | 5.443 % |
371.65/371.65 c | 1567763 | 3301 20280 68833 | 24599 23673 22 | 5.444 % |
371.75/371.76 c | 1568275 | 3301 20280 68833 | 24599 24185 22 | 5.443 % |
371.86/371.85 c | 1568788 | 3301 20280 68833 | 24599 24698 22 | 5.443 % |
372.05/372.04 c | 1569815 | 3301 20280 68833 | 24599 21592 20 | 5.443 % |
372.45/372.46 c | 1571863 | 3301 20280 68833 | 21777 19625 21 | 5.443 % |
372.55/372.56 c | 1572375 | 3301 20280 68833 | 21777 20137 21 | 5.444 % |
372.65/372.67 c | 1572887 | 3301 20280 68833 | 21777 20649 21 | 5.443 % |
372.85/372.88 c | 1573912 | 3301 20280 68833 | 21777 21674 21 | 5.443 % |
372.96/372.98 c | 1574424 | 3301 20280 68833 | 21777 22186 21 | 5.444 % |
373.05/373.09 c | 1574937 | 3301 20280 68833 | 21777 19963 20 | 5.444 % |
373.25/373.27 c | 1575961 | 3301 20280 68833 | 21777 20987 21 | 5.443 % |
373.55/373.60 c | 1578012 | 3301 20280 68833 | 21777 20587 20 | 5.443 % |
374.55/374.58 c | 1582110 | 3301 20280 68833 | 22576 21009 22 | 5.444 % |
376.26/376.23 c | 1590302 | 3301 20280 68833 | 23409 23711 21 | 5.444 % |
379.65/379.67 c | 1606687 | 3300 20278 68827 | 2147483647 24679 20 | 5.471 % |
387.95/387.94 c | 1639455 | 3299 20276 68819 | 26136 25483 19 | 5.500 % |
403.25/403.23 c | 1704993 | 3297 20262 68777 | 22601 21296 22 | 5.558 % |
403.35/403.35 c | 1705505 | 3297 20262 68777 | 22601 21808 22 | 5.557 % |
403.45/403.47 c | 1706017 | 3297 20262 68777 | 22601 22320 22 | 5.559 % |
403.65/403.70 c | 1707042 | 3297 20262 68777 | 22601 23345 22 | 5.557 % |
403.85/403.85 c | 1707554 | 3297 20262 68777 | 22601 20598 22 | 5.557 % |
403.95/403.97 c | 1708066 | 3296 20254 68753 | 22601 21107 22 | 5.587 % |
404.15/404.18 c | 1709090 | 3296 20254 68753 | 22601 22131 22 | 5.587 % |
404.65/404.67 c | 1711139 | 3296 20254 68753 | 23042 24180 22 | 5.586 % |
404.86/404.83 c | 1711653 | 3296 20254 68753 | 23042 21056 22 | 5.586 % |
404.95/404.95 c | 1712165 | 3296 20254 68753 | 23042 21568 22 | 5.587 % |
405.15/405.16 c | 1713191 | 3296 20254 68753 | 23042 22594 22 | 5.587 % |
405.25/405.27 c | 1713704 | 3296 20254 68753 | 23042 23107 22 | 5.586 % |
405.35/405.39 c | 1714217 | 3296 20254 68753 | 23042 23620 22 | 5.586 % |
405.65/405.62 c | 1715242 | 3296 20254 68753 | 23042 20857 22 | 5.586 % |
406.05/406.05 c | 1717292 | 3296 20254 68753 | 23042 22907 22 | 5.587 % |
407.06/407.04 c | 1721389 | 3296 20254 68753 | 21723 19578 20 | 5.587 % |
407.15/407.14 c | 1721903 | 3296 20254 68753 | 21723 20092 20 | 5.587 % |
407.25/407.25 c | 1722416 | 3296 20254 68753 | 21723 20605 20 | 5.587 % |
407.45/407.46 c | 1723440 | 3296 20254 68753 | 21723 21629 20 | 5.587 % |
407.55/407.57 c | 1723952 | 3296 20254 68753 | 21723 22141 20 | 5.586 % |
407.65/407.67 c | 1724465 | 3296 20254 68753 | 21723 19464 20 | 5.586 % |
407.95/407.91 c | 1725489 | 3295 20247 68732 | 21723 20485 20 | 5.615 % |
408.35/408.31 c | 1727537 | 3295 20247 68732 | 21723 22533 20 | 5.615 % |
408.45/408.46 c | 1728049 | 3295 20247 68732 | 21723 19930 19 | 5.616 % |
408.55/408.57 c | 1728561 | 3295 20247 68732 | 21723 20442 19 | 5.616 % |
408.75/408.79 c | 1729586 | 3295 20247 68732 | 21723 21467 20 | 5.614 % |
408.85/408.88 c | 1730098 | 3295 20247 68732 | 21883 21979 20 | 5.614 % |
408.95/408.99 c | 1730611 | 3295 20247 68732 | 21883 22492 20 | 5.615 % |
409.26/409.23 c | 1731637 | 3295 20247 68732 | 21883 20345 20 | 5.615 % |
409.65/409.65 c | 1733685 | 3295 20247 68732 | 21883 22393 20 | 5.615 % |
410.55/410.60 c | 1737781 | 3295 20247 68732 | 21883 19844 20 | 5.615 % |
412.45/412.43 c | 1745973 | 3295 20247 68732 | 22064 20882 20 | 5.616 % |
412.56/412.55 c | 1746485 | 3295 20247 68732 | 22064 21394 20 | 5.615 % |
412.65/412.61 c | 1746998 | 3295 20247 68732 | 22064 21907 20 | 5.615 % |
412.85/412.81 c | 1748022 | 3295 20247 68732 | 22064 22931 20 | 5.615 % |
412.95/412.96 c | 1748534 | 3295 20247 68732 | 22064 20345 20 | 5.615 % |
413.05/413.08 c | 1749047 | 3295 20247 68732 | 22064 20858 20 | 5.615 % |
413.26/413.28 c | 1750071 | 3295 20247 68732 | 21811 21882 20 | 5.616 % |
413.76/413.71 c | 1752121 | 3295 20247 68732 | 21811 20383 21 | 5.616 % |
413.86/413.82 c | 1752633 | 3295 20247 68732 | 21811 20895 21 | 5.615 % |
413.96/413.91 c | 1753146 | 3295 20247 68732 | 21811 21408 20 | 5.615 % |
414.06/414.10 c | 1754170 | 3295 20247 68732 | 21811 22432 21 | 5.614 % |
414.26/414.23 c | 1754683 | 3295 20247 68732 | 21811 19813 20 | 5.616 % |
414.36/414.35 c | 1755195 | 3295 20247 68732 | 21811 20325 20 | 5.616 % |
414.56/414.53 c | 1756221 | 3295 20247 68732 | 21811 21351 21 | 5.616 % |
414.96/414.97 c | 1758270 | 3295 20247 68732 | 21811 20590 21 | 5.615 % |
415.86/415.87 c | 1762368 | 3295 20247 68732 | 22323 21782 21 | 5.615 % |
415.96/415.99 c | 1762881 | 3295 20247 68732 | 22323 22295 21 | 5.615 % |
416.06/416.09 c | 1763393 | 3295 20247 68732 | 22323 22807 21 | 5.614 % |
416.36/416.34 c | 1764417 | 3295 20247 68732 | 22323 20897 21 | 5.615 % |
416.46/416.47 c | 1764929 | 3295 20247 68732 | 22323 21409 21 | 5.615 % |
416.56/416.60 c | 1765441 | 3295 20247 68732 | 22323 21921 21 | 5.615 % |
416.86/416.83 c | 1766465 | 3295 20247 68732 | 22323 22945 22 | 5.614 % |
417.16/417.21 c | 1768515 | 3295 20247 68732 | 22323 22341 22 | 5.615 % |
417.36/417.35 c | 1769028 | 3295 20247 68732 | 22323 22854 22 | 5.615 % |
417.46/417.45 c | 1769541 | 3295 20247 68732 | 22323 20612 22 | 5.616 % |
417.66/417.69 c | 1770565 | 3295 20247 68732 | 21072 21636 22 | 5.615 % |
417.86/417.82 c | 1771078 | 3295 20247 68732 | 21072 19215 21 | 5.616 % |
417.96/417.92 c | 1771590 | 3295 20247 68732 | 21072 19727 22 | 5.614 % |
418.16/418.13 c | 1772615 | 3295 20247 68732 | 21072 20752 22 | 5.614 % |
418.56/418.59 c | 1774665 | 3295 20247 68732 | 21072 19738 22 | 5.615 % |
419.46/419.47 c | 1778761 | 3295 20247 68732 | 21072 20606 23 | 5.615 % |
421.46/421.48 c | 1786955 | 3295 20247 68732 | 21848 22816 22 | 5.614 % |
425.76/425.73 c | 1803339 | 3295 20247 68732 | 21939 21990 21 | 5.615 % |
425.86/425.86 c | 1803851 | 3295 20247 68732 | 21939 22502 21 | 5.615 % |
425.96/425.98 c | 1804363 | 3295 20247 68732 | 21939 19955 20 | 5.615 % |
426.06/426.08 c | 1805387 | 3295 20247 68732 | 21939 20979 20 | 5.614 % |
426.16/426.20 c | 1805900 | 3295 20247 68732 | 21939 21492 20 | 5.616 % |
426.36/426.31 c | 1806414 | 3295 20247 68732 | 21939 22006 20 | 5.614 % |
426.46/426.47 c | 1807439 | 3295 20247 68732 | 21939 23031 20 | 5.615 % |
426.86/426.86 c | 1809490 | 3295 20247 68732 | 21939 22464 20 | 5.616 % |
426.96/427.00 c | 1810002 | 3295 20247 68732 | 20477 20479 19 | 5.615 % |
427.16/427.13 c | 1810514 | 3295 20247 68732 | 20477 20991 19 | 5.615 % |
427.36/427.37 c | 1811538 | 3295 20247 68732 | 20477 19499 19 | 5.616 % |
427.46/427.44 c | 1812050 | 3295 20247 68732 | 20477 20011 19 | 5.615 % |
427.56/427.54 c | 1812563 | 3295 20247 68732 | 20477 20524 19 | 5.615 % |
427.76/427.79 c | 1813588 | 3295 20247 68732 | 20477 18869 19 | 5.616 % |
428.16/428.14 c | 1815639 | 3295 20247 68732 | 20477 20920 20 | 5.615 % |
428.86/428.85 c | 1819735 | 3295 20247 68732 | 20477 20313 20 | 5.616 % |
428.96/428.93 c | 1820248 | 3295 20247 68732 | 2147483647 20826 20 | 5.615 % |
429.06/429.02 c | 1820760 | 3295 20247 68732 | 2147483647 21338 20 | 5.615 % |
429.26/429.24 c | 1821785 | 3295 20247 68732 | 2147483647 22363 20 | 5.615 % |
429.36/429.34 c | 1822297 | 3295 20247 68732 | 2147483647 22875 20 | 5.615 % |
429.46/429.44 c | 1822809 | 3295 20247 68732 | 2147483647 23387 20 | 5.614 % |
429.66/429.65 c | 1823835 | 3295 20247 68732 | 2147483647 24413 20 | 5.615 % |
430.16/430.18 c | 1825883 | 3295 20247 68732 | 2147483647 26461 21 | 5.616 % |
430.36/430.32 c | 1826396 | 3295 20247 68732 | 2147483647 26974 21 | 5.616 % |
430.46/430.43 c | 1826908 | 3295 20247 68732 | 2147483647 27486 21 | 5.615 % |
430.66/430.67 c | 1827932 | 3295 20247 68732 | 2147483647 28510 21 | 5.615 % |
430.76/430.80 c | 1828447 | 3295 20247 68732 | 2147483647 29025 21 | 5.615 % |
430.96/430.94 c | 1828960 | 3295 20247 68732 | 2147483647 29538 21 | 5.615 % |
431.16/431.20 c | 1829984 | 3295 20247 68732 | 2147483647 30562 21 | 5.615 % |
431.76/431.76 c | 1832033 | 3295 20247 68732 | 30579 26509 21 | 5.616 % |
433.06/433.03 c | 1836129 | 3295 20247 68732 | 30579 30605 21 | 5.616 % |
435.26/435.27 c | 1844321 | 3295 20247 68732 | 28278 27128 20 | 5.615 % |
435.36/435.39 c | 1844835 | 3295 20247 68732 | 28278 27642 20 | 5.615 % |
435.46/435.48 c | 1845349 | 3295 20247 68732 | 28278 28156 20 | 5.614 % |
435.76/435.72 c | 1846373 | 3295 20247 68732 | 28278 29180 21 | 5.614 % |
435.86/435.84 c | 1846886 | 3295 20247 68732 | 28278 24323 21 | 5.615 % |
435.96/435.94 c | 1847398 | 3295 20247 68732 | 28278 24835 21 | 5.615 % |
436.16/436.18 c | 1848422 | 3295 20247 68732 | 28278 25859 20 | 5.615 % |
436.56/436.57 c | 1850470 | 3295 20247 68732 | 27439 27907 21 | 5.615 % |
436.76/436.72 c | 1850983 | 3295 20247 68732 | 27439 23464 21 | 5.614 % |
436.86/436.83 c | 1851496 | 3295 20247 68732 | 27439 23977 21 | 5.615 % |
437.06/437.05 c | 1852521 | 3295 20247 68732 | 27439 25002 21 | 5.614 % |
437.16/437.18 c | 1853035 | 3295 20247 68732 | 27439 25516 21 | 5.616 % |
437.26/437.28 c | 1853547 | 3295 20247 68732 | 27439 26028 21 | 5.615 % |
437.56/437.57 c | 1854572 | 3295 20247 68732 | 27439 27053 21 | 5.615 % |
438.16/438.12 c | 1856622 | 3295 20247 68732 | 27439 23489 21 | 5.614 % |
438.86/438.84 c | 1860718 | 3294 20242 68709 | 22698 23415 21 | 5.643 % |
438.96/438.96 c | 1861230 | 3294 20242 68709 | 22698 20066 20 | 5.644 % |
439.06/439.07 c | 1861742 | 3294 20242 68709 | 22698 20578 20 | 5.643 % |
439.26/439.24 c | 1862766 | 3294 20242 68709 | 22698 21602 20 | 5.644 % |
439.36/439.33 c | 1863279 | 3293 20237 68686 | 22698 21684 20 | 5.672 % |
439.46/439.44 c | 1863793 | 3293 20237 68686 | 22698 22198 20 | 5.672 % |
439.66/439.65 c | 1864817 | 3293 20237 68686 | 22698 23222 21 | 5.673 % |
440.16/440.15 c | 1866865 | 3293 20237 68686 | 22698 22016 20 | 5.672 % |
440.26/440.28 c | 1867377 | 3293 20237 68686 | 22698 22528 20 | 5.674 % |
440.36/440.39 c | 1867889 | 3293 20237 68686 | 22698 23040 20 | 5.674 % |
440.66/440.66 c | 1868913 | 3293 20237 68686 | 22698 20955 20 | 5.672 % |
440.76/440.76 c | 1869426 | 3293 20237 68686 | 22698 21468 20 | 5.674 % |
440.86/440.88 c | 1869938 | 3293 20237 68686 | 22698 21980 20 | 5.672 % |
441.16/441.11 c | 1870963 | 3293 20237 68686 | 22043 20208 19 | 5.672 % |
441.56/441.56 c | 1873012 | 3293 20237 68686 | 22043 22257 20 | 5.672 % |
442.46/442.41 c | 1877109 | 3293 20237 68686 | 22043 20021 19 | 5.673 % |
444.26/444.28 c | 1885301 | 3293 20237 68686 | 22913 20114 19 | 5.674 % |
447.76/447.72 c | 1901685 | 3293 20237 68686 | 21288 19405 19 | 5.672 % |
454.46/454.48 c | 1934453 | 3293 20237 68686 | 17740 17500 21 | 5.672 % |
454.56/454.56 c | 1934966 | 3293 20237 68686 | 17740 18013 21 | 5.673 % |
454.66/454.66 c | 1935478 | 3293 20237 68686 | 17740 16415 21 | 5.672 % |
454.86/454.82 c | 1936502 | 3293 20237 68686 | 17740 17439 22 | 5.672 % |
454.96/454.91 c | 1937017 | 3293 20237 68686 | 17740 17954 22 | 5.673 % |
455.06/455.03 c | 1937529 | 3293 20237 68686 | 17740 16548 22 | 5.673 % |
455.26/455.22 c | 1938553 | 3293 20237 68686 | 17740 17572 22 | 5.672 % |
455.56/455.59 c | 1940602 | 3293 20237 68686 | 2147483647 17731 22 | 5.672 % |
455.66/455.69 c | 1941116 | 3293 20237 68686 | 2147483647 18245 22 | 5.672 % |
455.76/455.78 c | 1941629 | 3293 20237 68686 | 2147483647 18758 23 | 5.672 % |
455.96/455.95 c | 1942653 | 3293 20237 68686 | 2147483647 19782 22 | 5.673 % |
456.06/456.08 c | 1943165 | 3293 20237 68686 | 2147483647 20294 22 | 5.673 % |
456.16/456.19 c | 1943678 | 3293 20237 68686 | 2147483647 20807 22 | 5.673 % |
456.36/456.41 c | 1944703 | 3293 20237 68686 | 2147483647 21832 22 | 5.672 % |
456.86/456.86 c | 1946752 | 3293 20237 68686 | 2147483647 23881 23 | 5.672 % |
457.76/457.79 c | 1950849 | 3293 20237 68686 | 27129 27978 23 | 5.673 % |
457.96/457.96 c | 1951362 | 3293 20237 68686 | 27129 23754 23 | 5.672 % |
458.06/458.07 c | 1951874 | 3293 20237 68686 | 27129 24266 23 | 5.672 % |
458.36/458.33 c | 1952900 | 3293 20237 68686 | 27129 25292 23 | 5.672 % |
458.46/458.45 c | 1953412 | 3293 20237 68686 | 27129 25804 23 | 5.672 % |
458.56/458.58 c | 1953924 | 3293 20237 68686 | 27129 26316 23 | 5.672 % |
458.86/458.84 c | 1954949 | 3293 20237 68686 | 27129 27341 23 | 5.672 % |
459.36/459.40 c | 1956997 | 3293 20237 68686 | 27129 25412 21 | 5.672 % |
459.56/459.51 c | 1957509 | 3293 20237 68686 | 27129 25924 21 | 5.672 % |
459.66/459.64 c | 1958021 | 3293 20237 68686 | 27129 26436 21 | 5.672 % |
459.86/459.90 c | 1959046 | 3293 20237 68686 | 27129 27461 21 | 5.672 % |
460.06/460.02 c | 1959558 | 3293 20237 68686 | 27129 24119 20 | 5.672 % |
460.16/460.16 c | 1960071 | 3293 20237 68686 | 24563 24632 20 | 5.672 % |
460.36/460.35 c | 1961095 | 3293 20237 68686 | 24563 25656 20 | 5.673 % |
460.86/460.89 c | 1963143 | 3293 20237 68686 | 24563 23668 20 | 5.672 % |
461.86/461.85 c | 1967240 | 3293 20237 68686 | 24563 23792 19 | 5.672 % |
463.66/463.61 c | 1975434 | 3293 20237 68686 | 22178 22020 19 | 5.672 % |
463.76/463.72 c | 1975947 | 3293 20237 68686 | 22178 22533 20 | 5.672 % |
463.86/463.89 c | 1976459 | 3293 20237 68686 | 22178 20714 19 | 5.672 % |
464.16/464.12 c | 1977485 | 3293 20237 68686 | 22178 21740 19 | 5.672 % |
464.26/464.22 c | 1977997 | 3293 20237 68686 | 22178 22252 19 | 5.672 % |
464.36/464.32 c | 1978510 | 3293 20237 68686 | 22178 22765 19 | 5.672 % |
464.56/464.53 c | 1979534 | 3293 20237 68686 | 22178 21259 19 | 5.673 % |
464.96/464.91 c | 1981584 | 3293 20237 68686 | 21725 21070 19 | 5.672 % |
465.06/465.04 c | 1982097 | 3293 20237 68686 | 21725 21583 19 | 5.672 % |
465.16/465.15 c | 1982609 | 3293 20237 68686 | 21725 22095 19 | 5.673 % |
465.36/465.40 c | 1983633 | 3293 20237 68686 | 21725 20868 18 | 5.672 % |
465.56/465.52 c | 1984147 | 3293 20237 68686 | 21725 21382 18 | 5.673 % |
465.66/465.65 c | 1984660 | 3293 20237 68686 | 21725 21895 18 | 5.673 % |
465.86/465.86 c | 1985684 | 3293 20237 68686 | 21725 20206 18 | 5.672 % |
466.26/466.27 c | 1987734 | 3293 20237 68686 | 21725 22256 18 | 5.672 % |
467.06/467.10 c | 1991830 | 3293 20237 68686 | 21839 21123 19 | 5.672 % |
467.16/467.20 c | 1992344 | 3293 20237 68686 | 21839 21637 19 | 5.672 % |
467.36/467.31 c | 1992856 | 3293 20237 68686 | 21839 22149 19 | 5.672 % |
467.56/467.52 c | 1993881 | 3293 20237 68686 | 21839 20599 19 | 5.672 % |
467.56/467.60 c | 1994393 | 3293 20237 68686 | 21839 21111 19 | 5.672 % |
467.76/467.71 c | 1994905 | 3293 20237 68686 | 21839 21623 19 | 5.672 % |
467.86/467.88 c | 1995929 | 3293 20237 68686 | 21839 22647 19 | 5.672 % |
468.36/468.34 c | 1997978 | 3293 20237 68686 | 21839 22339 19 | 5.672 % |
468.46/468.48 c | 1998490 | 3293 20237 68686 | 21839 20486 19 | 5.672 % |
468.56/468.55 c | 1999002 | 3293 20237 68686 | 21839 20998 19 | 5.672 % |
468.76/468.76 c | 2000026 | 3293 20237 68686 | 21996 22022 19 | 5.672 % |
468.86/468.89 c | 2000538 | 3293 20237 68686 | 21996 22534 19 | 5.672 % |
468.96/469.01 c | 2001051 | 3293 20237 68686 | 21996 20216 19 | 5.673 % |
469.26/469.24 c | 2002076 | 3293 20237 68686 | 21996 21241 20 | 5.672 % |
469.76/469.77 c | 2004124 | 3293 20237 68686 | 21996 19845 19 | 5.673 % |
470.66/470.64 c | 2008220 | 3293 20237 68686 | 21996 20938 19 | 5.672 % |
472.56/472.56 c | 2016414 | 3292 20230 68665 | 22721 22966 20 | 5.702 % |
476.37/476.34 c | 2032798 | 3292 20230 68665 | 2147483647 25289 20 | 5.700 % |
476.46/476.47 c | 2033310 | 3292 20230 68665 | 2147483647 25801 20 | 5.700 % |
476.56/476.58 c | 2033823 | 3292 20230 68665 | 2147483647 26314 20 | 5.700 % |
476.86/476.81 c | 2034847 | 3292 20230 68665 | 2147483647 27338 20 | 5.700 % |
476.96/476.92 c | 2035360 | 3292 20230 68665 | 2147483647 27851 20 | 5.701 % |
477.06/477.02 c | 2035872 | 3292 20230 68665 | 2147483647 28363 20 | 5.701 % |
477.26/477.22 c | 2036896 | 3292 20230 68665 | 2147483647 29387 20 | 5.701 % |
477.66/477.67 c | 2038944 | 3292 20230 68665 | 2147483647 31435 19 | 5.701 % |
477.86/477.84 c | 2039457 | 3292 20230 68665 | 2147483647 31948 19 | 5.700 % |
478.06/478.00 c | 2039970 | 3292 20230 68665 | 2147483647 32461 19 | 5.700 % |
478.26/478.30 c | 2040994 | 3292 20230 68665 | 32491 33485 19 | 5.701 % |
478.47/478.48 c | 2041506 | 3292 20230 68665 | 32491 29033 19 | 5.702 % |
478.67/478.62 c | 2042018 | 3292 20230 68665 | 32491 29545 19 | 5.702 % |
478.87/478.88 c | 2043043 | 3292 20230 68665 | 32491 30570 19 | 5.700 % |
479.47/479.44 c | 2045091 | 3292 20230 68665 | 32491 32618 19 | 5.702 % |
480.57/480.57 c | 2049187 | 3292 20230 68665 | 32491 30108 19 | 5.701 % |
480.67/480.71 c | 2049699 | 3292 20230 68665 | 32491 30620 19 | 5.701 % |
480.87/480.84 c | 2050211 | 3292 20230 68665 | 30922 31132 19 | 5.701 % |
481.17/481.14 c | 2051236 | 3292 20230 68665 | 30922 25630 18 | 5.700 % |
481.27/481.26 c | 2051750 | 3292 20230 68665 | 30922 26144 18 | 5.700 % |
481.37/481.39 c | 2052263 | 3292 20230 68665 | 30922 26657 18 | 5.701 % |
481.67/481.62 c | 2053292 | 3292 20230 68665 | 30922 27686 19 | 5.700 % |
482.17/482.12 c | 2055341 | 3292 20230 68665 | 30922 29735 19 | 5.701 % |
482.27/482.22 c | 2055853 | 3292 20230 68665 | 30922 30247 19 | 5.701 % |
482.37/482.34 c | 2056365 | 3292 20230 68665 | 30922 30759 19 | 5.700 % |
482.57/482.57 c | 2057389 | 3292 20230 68665 | 30922 31783 19 | 5.700 % |
482.77/482.75 c | 2057901 | 3292 20230 68665 | 30922 26247 20 | 5.701 % |
482.87/482.88 c | 2058413 | 3292 20230 68665 | 30922 26759 20 | 5.702 % |
483.17/483.18 c | 2059440 | 3292 20230 68665 | 30922 27786 20 | 5.701 % |
483.77/483.74 c | 2061488 | 3292 20230 68665 | 28346 24450 20 | 5.701 % |
484.87/484.87 c | 2065584 | 3292 20230 68665 | 28346 28546 20 | 5.702 % |
486.87/486.82 c | 2073777 | 3292 20230 68665 | 28906 26877 20 | 5.701 % |
486.97/486.94 c | 2074289 | 3292 20230 68665 | 28906 27389 20 | 5.700 % |
487.07/487.09 c | 2074802 | 3292 20230 68665 | 28906 27902 20 | 5.701 % |
487.38/487.38 c | 2075827 | 3292 20230 68665 | 28906 28927 20 | 5.701 % |
487.57/487.52 c | 2076340 | 3292 20230 68665 | 28906 29440 20 | 5.700 % |
487.67/487.71 c | 2076853 | 3292 20230 68665 | 28906 24189 19 | 5.701 % |
487.97/487.95 c | 2077877 | 3292 20230 68665 | 28906 25213 20 | 5.700 % |
488.37/488.42 c | 2079925 | 3292 20230 68665 | 28906 27261 19 | 5.701 % |
488.57/488.55 c | 2080437 | 3292 20230 68665 | 27338 27773 20 | 5.702 % |
488.67/488.71 c | 2080949 | 3292 20230 68665 | 27338 23270 19 | 5.701 % |
488.97/488.95 c | 2081973 | 3292 20230 68665 | 27338 24294 19 | 5.701 % |
489.07/489.06 c | 2082485 | 3292 20230 68665 | 27338 24806 19 | 5.700 % |
489.17/489.16 c | 2082998 | 3292 20230 68665 | 27338 25319 19 | 5.701 % |
489.47/489.43 c | 2084022 | 3292 20230 68665 | 27338 26343 19 | 5.700 % |
489.97/489.92 c | 2086071 | 3292 20230 68665 | 27338 28392 20 | 5.701 % |
491.07/491.04 c | 2090169 | 3291 20223 68641 | 27339 27506 19 | 5.730 % |
491.17/491.20 c | 2090681 | 3291 20223 68641 | 27339 28018 19 | 5.729 % |
491.37/491.36 c | 2091193 | 3291 20223 68641 | 27339 23835 18 | 5.729 % |
491.57/491.61 c | 2092218 | 3291 20223 68641 | 27339 24860 19 | 5.730 % |
491.78/491.73 c | 2092730 | 3291 20223 68641 | 27339 25372 19 | 5.729 % |
491.87/491.84 c | 2093243 | 3291 20223 68641 | 27339 25885 19 | 5.729 % |
492.07/492.04 c | 2094267 | 3291 20223 68641 | 27339 26909 19 | 5.729 % |
492.67/492.62 c | 2096315 | 3291 20223 68641 | 27339 24259 18 | 5.729 % |
492.77/492.73 c | 2096827 | 3291 20223 68641 | 27339 24771 18 | 5.729 % |
492.88/492.86 c | 2097340 | 3291 20223 68641 | 27339 25284 18 | 5.729 % |
493.07/493.11 c | 2098364 | 3291 20223 68641 | 27339 26308 18 | 5.730 % |
493.27/493.25 c | 2098876 | 3291 20223 68641 | 27339 26820 19 | 5.730 % |
493.37/493.36 c | 2099389 | 3291 20223 68641 | 27339 27333 19 | 5.729 % |
493.67/493.63 c | 2100413 | 3291 20223 68641 | 23408 23821 18 | 5.729 % |
494.07/494.10 c | 2102461 | 3291 20223 68641 | 23408 21778 18 | 5.729 % |
494.97/494.98 c | 2106557 | 3291 20223 68641 | 23408 22972 18 | 5.729 % |
496.97/496.97 c | 2114750 | 3291 20223 68641 | 23285 20983 19 | 5.730 % |
501.07/501.11 c | 2131135 | 3291 20223 68641 | 21323 18956 20 | 5.729 % |
508.37/508.38 c | 2163904 | 3289 20208 68593 | 19628 18808 20 | 5.786 % |
525.28/525.27 c | 2229440 | 3288 20199 68563 | 25712 24912 18 | 5.816 % |
558.68/558.68 c | 2360512 | 3288 20199 68563 | 19998 20510 18 | 5.817 % |
619.59/619.59 c | 2622658 | 3267 20018 67970 | 18809 19318 19 | 6.417 % |
619.69/619.70 c | 2623171 | 3267 20018 67970 | 18809 17900 18 | 6.417 % |
619.79/619.79 c | 2623685 | 3267 20018 67970 | 18809 18414 18 | 6.417 % |
619.99/620.01 c | 2624709 | 3267 20018 67970 | 18809 17502 17 | 6.417 % |
620.09/620.12 c | 2625223 | 3265 20002 67915 | 18809 18013 17 | 6.474 % |
620.19/620.22 c | 2625735 | 3265 20002 67915 | 18809 18525 17 | 6.474 % |
620.39/620.40 c | 2626759 | 3265 20002 67915 | 18809 19549 18 | 6.474 % |
620.79/620.76 c | 2628810 | 3265 20002 67915 | 18809 19646 17 | 6.474 % |
620.89/620.87 c | 2629322 | 3265 20002 67915 | 18809 18194 17 | 6.474 % |
620.99/620.97 c | 2629834 | 3265 20002 67915 | 18809 18706 17 | 6.474 % |
621.19/621.18 c | 2630858 | 3258 19946 67726 | 2147483647 19720 17 | 6.674 % |
621.29/621.30 c | 2631370 | 3258 19946 67726 | 2147483647 20232 17 | 6.675 % |
621.39/621.40 c | 2631882 | 3258 19946 67726 | 2147483647 20744 17 | 6.674 % |
621.59/621.61 c | 2632906 | 3258 19946 67726 | 2147483647 21768 18 | 6.675 % |
622.09/622.08 c | 2634955 | 3258 19946 67726 | 2147483647 23817 18 | 6.675 % |
623.09/623.11 c | 2639051 | 3256 19930 67674 | 2147483647 27911 18 | 6.732 % |
623.29/623.25 c | 2639564 | 3256 19930 67674 | 2147483647 28424 17 | 6.732 % |
623.39/623.40 c | 2640076 | 3256 19930 67674 | 28862 28936 17 | 6.732 % |
623.69/623.69 c | 2641101 | 3256 19930 67674 | 28862 25542 17 | 6.732 % |
623.79/623.78 c | 2641614 | 3256 19930 67674 | 28862 26055 17 | 6.732 % |
623.89/623.89 c | 2642127 | 3256 19930 67674 | 28862 26568 17 | 6.732 % |
624.09/624.11 c | 2643151 | 3256 19930 67674 | 28862 27592 17 | 6.733 % |
624.69/624.67 c | 2645200 | 3256 19930 67674 | 28862 24920 17 | 6.733 % |
624.79/624.79 c | 2645713 | 3256 19930 67674 | 28862 25433 17 | 6.732 % |
624.99/624.96 c | 2646225 | 3256 19930 67674 | 28862 25945 17 | 6.732 % |
625.29/625.23 c | 2647249 | 3254 19914 67622 | 28862 26967 17 | 6.789 % |
625.39/625.37 c | 2647761 | 3254 19914 67622 | 28862 27479 17 | 6.789 % |
625.49/625.49 c | 2648273 | 3254 19914 67622 | 28862 27991 17 | 6.789 % |
625.79/625.78 c | 2649298 | 3254 19914 67622 | 28862 29016 17 | 6.790 % |
626.49/626.43 c | 2651346 | 3254 19914 67622 | 24764 21754 16 | 6.789 % |
627.39/627.33 c | 2655443 | 3254 19914 67622 | 24764 21593 16 | 6.791 % |
629.28/629.27 c | 2663635 | 3254 19914 67622 | 22405 22835 16 | 6.790 % |
629.38/629.41 c | 2664147 | 3254 19914 67622 | 22405 20204 16 | 6.789 % |
629.58/629.53 c | 2664660 | 3254 19914 67622 | 22405 20717 16 | 6.789 % |
629.78/629.76 c | 2665685 | 3254 19914 67622 | 22405 21742 16 | 6.789 % |
629.88/629.85 c | 2666199 | 3254 19914 67622 | 22405 22256 16 | 6.789 % |
629.98/629.96 c | 2666712 | 3254 19914 67622 | 22405 22769 16 | 6.789 % |
630.18/630.19 c | 2667736 | 3254 19914 67622 | 22405 20839 16 | 6.789 % |
630.68/630.65 c | 2669785 | 3254 19914 67622 | 22405 22888 16 | 6.789 % |
630.78/630.78 c | 2670297 | 3254 19914 67622 | 20256 20553 15 | 6.789 % |
630.88/630.89 c | 2670811 | 3254 19914 67622 | 20256 18545 15 | 6.789 % |
631.08/631.08 c | 2671835 | 3254 19914 67622 | 20256 19569 15 | 6.789 % |
631.18/631.21 c | 2672348 | 3254 19914 67622 | 20256 20082 15 | 6.789 % |
631.38/631.32 c | 2672861 | 3254 19914 67622 | 20256 20595 16 | 6.789 % |
631.58/631.55 c | 2673885 | 3254 19914 67622 | 20256 19160 16 | 6.789 % |
631.98/632.01 c | 2675934 | 3254 19914 67622 | 20256 19036 16 | 6.789 % |
632.98/632.95 c | 2680030 | 3254 19914 67622 | 20909 20939 16 | 6.789 % |
633.08/633.07 c | 2680543 | 3254 19914 67622 | 20909 21452 16 | 6.790 % |
633.18/633.18 c | 2681055 | 3254 19914 67622 | 20909 19767 15 | 6.790 % |
633.48/633.42 c | 2682079 | 3254 19914 67622 | 20909 20791 16 | 6.789 % |
633.58/633.54 c | 2682591 | 3254 19914 67622 | 20909 21303 16 | 6.791 % |
633.68/633.67 c | 2683103 | 3254 19914 67622 | 20909 19556 15 | 6.789 % |
633.88/633.89 c | 2684128 | 3254 19914 67622 | 20909 20581 15 | 6.789 % |
634.38/634.37 c | 2686176 | 3254 19914 67622 | 20909 20440 15 | 6.790 % |
634.48/634.47 c | 2686690 | 3254 19914 67622 | 20909 20954 15 | 6.789 % |
634.58/634.58 c | 2687202 | 3254 19914 67622 | 20909 21466 15 | 6.789 % |
634.88/634.83 c | 2688226 | 3224 19391 65721 | 20909 10690 13 | 7.649 % |
634.88/634.91 c | 2688738 | 3224 19391 65721 | 20909 11202 13 | 7.648 % |
634.98/634.99 c | 2689252 | 3224 19385 65703 | 20909 11715 13 | 7.648 % |
635.18/635.16 c | 2690278 | 3224 19385 65703 | 2147483647 12741 14 | 7.649 % |
635.58/635.52 c | 2692326 | 3224 19385 65703 | 2147483647 14789 14 | 7.648 % |
636.38/636.38 c | 2696423 | 3124 18571 62938 | 2147483647 14590 13 | 30.593 % |
636.38/636.38 c ===============================================================================
636.38/636.38 c restarts : 1086
636.38/636.38 c conflicts : 2696466 (4238 /sec)
636.38/636.38 c decisions : 4200043 (1.26 % random) (6601 /sec)
636.38/636.38 c propagations : 627012640 (985420 /sec)
636.38/636.38 c conflict literals : 61533657 (50.69 % deleted)
636.38/636.38 c Memory used : 10.15 MB
636.38/636.38 c CPU time : 636.29 s
636.38/636.38 c
636.38/636.38 s UNSATISFIABLE
636.38/636.38 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821911-1242579207/watcher-1821911-1242579207 -o /tmp/evaluation-result-1821911-1242579207/solver-1821911-1242579207 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821911-1242579207.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 3879
/proc/meminfo: memFree=775660/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2416 CPUtime=0.01
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 367 643 0 0 1 0 0 0 18 0 1 0 1022417824 2473984 277 4294967295 134512640 135169312 3217618912 3217617448 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 604 277 235 161 0 43 0
[pid=3883] ppid=3879 vsize=948 CPUtime=0
/proc/3883/stat : 3883 (SatELite_releas) R 3879 3879 14060 0 -1 4202496 113 0 0 0 0 0 0 0 20 0 1 0 1022417824 970752 49 4294967295 134512640 135223648 3214132352 3214131320 134700496 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3883/statm: 237 49 40 174 0 62 0
[startup+0.020726 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 3879
/proc/meminfo: memFree=775660/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2416 CPUtime=0.01
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 367 643 0 0 1 0 0 0 18 0 1 0 1022417824 2473984 277 4294967295 134512640 135169312 3217618912 3217617448 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 604 277 235 161 0 43 0
[pid=3883] ppid=3879 vsize=2092 CPUtime=0.02
/proc/3883/stat : 3883 (SatELite_releas) R 3879 3879 14060 0 -1 4202496 422 0 0 0 2 0 0 0 20 0 1 0 1022417824 2142208 357 4294967295 134512640 135223648 3214132352 3214130952 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/3883/statm: 523 357 46 174 0 348 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4508
[startup+0.110717 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 3879
/proc/meminfo: memFree=775660/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2420
[startup+0.310699 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 3879
/proc/meminfo: memFree=775660/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2420
[startup+0.710665 s]
/proc/loadavg: 1.04 1.04 1.00 2/93 3879
/proc/meminfo: memFree=775660/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2420
[startup+1.51059 s]
/proc/loadavg: 1.04 1.04 1.00 2/95 3885
/proc/meminfo: memFree=772404/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=4572 CPUtime=1.42
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 927 0 0 0 141 1 0 0 25 0 1 0 1022417834 4681728 862 4294967295 134512640 135216591 3213016016 3213014208 134528942 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 1143 862 75 172 0 970 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6992
[startup+3.11046 s]
/proc/loadavg: 1.04 1.04 1.00 2/95 3885
/proc/meminfo: memFree=771164/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=6032 CPUtime=3.02
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 1303 0 0 0 300 2 0 0 25 0 1 0 1022417834 6176768 1238 4294967295 134512640 135216591 3213016016 3213014208 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 1508 1238 75 172 0 1335 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 8452
[startup+6.31018 s]
/proc/loadavg: 1.03 1.04 1.00 2/95 3885
/proc/meminfo: memFree=768808/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=8060 CPUtime=6.22
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 1784 0 0 0 619 3 0 0 25 0 1 0 1022417834 8253440 1719 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2015 1719 75 172 0 1842 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10480
[startup+12.7096 s]
/proc/loadavg: 1.03 1.04 1.00 3/95 3885
/proc/meminfo: memFree=767912/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=8488 CPUtime=12.62
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 1908 0 0 0 1259 3 0 0 25 0 1 0 1022417834 8691712 1843 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2122 1843 75 172 0 1949 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 10908
[startup+25.5185 s]
/proc/loadavg: 1.02 1.03 1.00 3/95 3886
/proc/meminfo: memFree=767728/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=8772 CPUtime=25.43
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 1965 0 0 0 2540 3 0 0 25 0 1 0 1022417834 8982528 1900 4294967295 134512640 135216591 3213016016 3213014208 134529290 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2193 1900 75 172 0 2020 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 11192
[startup+51.1163 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 4100
/proc/meminfo: memFree=766820/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=8912 CPUtime=51.03
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2016 0 0 0 5100 3 0 0 25 0 1 0 1022417834 9125888 1951 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2228 1951 75 172 0 2055 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 11332
[startup+102.322 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 4284
/proc/meminfo: memFree=766632/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=9196 CPUtime=102.24
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2057 0 0 0 10220 4 0 0 25 0 1 0 1022417834 9416704 1992 4294967295 134512640 135216591 3213016016 3213014192 134525275 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2299 1992 75 172 0 2126 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 11616
[startup+162.317 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 4472
/proc/meminfo: memFree=766524/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=9372 CPUtime=162.24
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2099 0 0 0 16219 5 0 0 25 0 1 0 1022417834 9596928 2034 4294967295 134512640 135216591 3213016016 3213013984 134538716 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2343 2034 75 172 0 2170 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 11792
[startup+222.321 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 4665
/proc/meminfo: memFree=766764/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=9372 CPUtime=222.25
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2102 0 0 0 22220 5 0 0 25 0 1 0 1022417834 9596928 2037 4294967295 134512640 135216591 3213016016 3213014208 134528974 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2343 2037 75 172 0 2170 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 11792
[startup+282.306 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 4854
/proc/meminfo: memFree=766624/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=9504 CPUtime=282.24
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2151 0 0 0 28219 5 0 0 25 0 1 0 1022417834 9732096 2086 4294967295 134512640 135216591 3213016016 3213014192 134525256 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2376 2086 75 172 0 2203 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 11924
[startup+342.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5038
/proc/meminfo: memFree=765764/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10220 CPUtime=342.25
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2321 0 0 0 34220 5 0 0 25 0 1 0 1022417834 10465280 2256 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2555 2256 75 172 0 2382 0
Current children cumulated CPU time (s) 342.35
Current children cumulated vsize (KiB) 12640
[startup+402.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5229
/proc/meminfo: memFree=765888/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10220 CPUtime=402.25
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2321 0 0 0 40220 5 0 0 25 0 1 0 1022417834 10465280 2256 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2555 2256 75 172 0 2382 0
Current children cumulated CPU time (s) 402.35
Current children cumulated vsize (KiB) 12640
[startup+462.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5417
/proc/meminfo: memFree=765788/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10220 CPUtime=462.26
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2321 0 0 0 46221 5 0 0 25 0 1 0 1022417834 10465280 2256 4294967295 134512640 135216591 3213016016 3213014208 134528860 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2555 2256 75 172 0 2382 0
Current children cumulated CPU time (s) 462.36
Current children cumulated vsize (KiB) 12640
[startup+522.325 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5606
/proc/meminfo: memFree=765656/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10220 CPUtime=522.28
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2333 0 0 0 52223 5 0 0 25 0 1 0 1022417834 10465280 2268 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2555 2268 75 172 0 2382 0
Current children cumulated CPU time (s) 522.38
Current children cumulated vsize (KiB) 12640
[startup+582.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5799
/proc/meminfo: memFree=765624/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=582.28
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 58223 5 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 582.38
Current children cumulated vsize (KiB) 12808
Solver just ended. Dumping a history of the last processes samples
[startup+588.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5799
/proc/meminfo: memFree=765688/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=588.68
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 58863 5 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 588.78
Current children cumulated vsize (KiB) 12808
[startup+614.327 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5799
/proc/meminfo: memFree=765728/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=614.29
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 61424 5 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 614.39
Current children cumulated vsize (KiB) 12808
[startup+627.126 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 5856
/proc/meminfo: memFree=765360/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=627.09
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 62704 5 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134529041 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (KiB) 12808
[startup+630.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5983
/proc/meminfo: memFree=765380/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=630.28
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 63023 5 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134529102 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 630.38
Current children cumulated vsize (KiB) 12808
[startup+633.516 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5983
/proc/meminfo: memFree=765444/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=633.48
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 63342 6 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134528851 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 633.58
Current children cumulated vsize (KiB) 12808
[startup+635.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5983
/proc/meminfo: memFree=765452/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=635.08
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 63502 6 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134528981 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 635.18
Current children cumulated vsize (KiB) 12808
[startup+635.916 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5983
/proc/meminfo: memFree=765452/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=635.88
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 63582 6 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134529256 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 635.98
Current children cumulated vsize (KiB) 12808
[startup+636.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 5983
/proc/meminfo: memFree=765452/2074464 swapFree=1949056/1959888
[pid=3879] ppid=3877 vsize=2420 CPUtime=0.1
/proc/3879/stat : 3879 (SatELiteGTI) S 3877 3879 14060 0 -1 4194304 386 1338 0 0 1 0 8 1 18 0 1 0 1022417824 2478080 278 4294967295 134512640 135169312 3217618912 3217615128 3085401838 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/3879/statm: 605 278 235 161 0 44 0
[pid=3885] ppid=3879 vsize=10388 CPUtime=636.28
/proc/3885/stat : 3885 (minisat_static) R 3879 3879 14060 0 -1 4202496 2363 0 0 0 63622 6 0 0 25 0 1 0 1022417834 10637312 2298 4294967295 134512640 135216591 3213016016 3213014208 134528842 0 0 0 3 0 0 0 17 2 0 0 0
/proc/3885/statm: 2597 2298 75 172 0 2424 0
Current children cumulated CPU time (s) 636.38
Current children cumulated vsize (KiB) 12808
Child status: 20
Real time (s): 636.392
CPU time (s): 636.45
CPU user time (s): 636.38
CPU system time (s): 0.07
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 12808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.38
system time used= 0.07
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4372
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= 27
involuntary context switches= 870
runsolver used 0.02 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-17 18:53:27
IDJOB=1821911
IDBENCH=71729
IDSOLVER=658
FILE ID=tipi27/1821911-1242579207
PBS_JOBID=
Free space on /tmp= 8456 MiB
SOLVER NAME= minisat_cumr r-2009-03-18
BENCH NAME= SAT_RACE06/goldb-heqc-term1mul.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821911-1242579207/watcher-1821911-1242579207 -o /tmp/evaluation-result-1821911-1242579207/solver-1821911-1242579207 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821911-1242579207.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c356d60706abf7ddd80826e417c8de67
RANDOM SEED= 1636961029
Linux tipi27 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 775668 kB
Buffers: 62476 kB
Cached: 1121296 kB
SwapCached: 5456 kB
Active: 407880 kB
Inactive: 785724 kB
HighTotal: 1178688 kB
HighFree: 372412 kB
LowTotal: 895776 kB
LowFree: 403256 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 2000 kB
Writeback: 0 kB
AnonPages: 8988 kB
Mapped: 3224 kB
Slab: 96188 kB
PageTables: 664 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90624 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8456 MiB
End job on tipi27 at 2009-05-17 19:04:03