0.00/0.00 c Parsing...
0.00/0.03 c ==============================================================================
0.00/0.03 c | | ORIGINAL | LEARNT | |
0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.03 c ==============================================================================
0.00/0.03 c | 0 | 24658 57931 | 7397 0 0 nan | 0.000 % |
0.11/0.19 c | 0 | 10352 31518 | -- 0 -- -- | -- | -12019/-20697
0.11/0.19 c ==============================================================================
0.11/0.19 c Result : #vars: 2123 #clauses: 10352 #literals: 31518
0.11/0.19 c CPU time: 0.19 s
0.11/0.19 c ==============================================================================
0.21/0.20 c This is MiniSat 2.0 beta
0.21/0.20 c WARNING: for repeatability, setting FPU to use double precision
0.21/0.20 c ============================[ Problem Statistics ]=============================
0.21/0.20 c | |
0.21/0.21 c | Number of variables: 2123 |
0.21/0.21 c | Number of clauses: 10352 |
0.21/0.21 c | Parsing time: 0.00 s |
0.21/0.21 c ============================[ Search Statistics ]==============================
0.21/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.21/0.21 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.21/0.21 c ===============================================================================
0.21/0.21 c | 0 | 2123 10352 31518 | 3450 0 nan | 0.000 % |
0.21/0.22 c | 100 | 2123 10352 31518 | 3450 100 8 | 0.000 % |
0.21/0.23 c | 201 | 2123 10352 31518 | 3450 201 13 | 0.000 % |
0.21/0.23 c | 301 | 2123 10352 31518 | 3450 301 11 | 0.000 % |
0.21/0.24 c | 412 | 2123 10352 31518 | 3450 412 12 | 0.000 % |
0.21/0.25 c | 512 | 2123 10352 31518 | 3450 512 12 | 0.000 % |
0.21/0.26 c | 624 | 2123 10352 31518 | 3450 624 12 | 0.000 % |
0.21/0.27 c | 746 | 2123 10352 31518 | 3450 746 12 | 0.000 % |
0.21/0.28 c | 846 | 2123 10352 31518 | 3450 846 14 | 0.000 % |
0.21/0.28 c | 957 | 2123 10352 31518 | 3450 957 14 | 0.000 % |
0.21/0.30 c | 1080 | 2123 10352 31518 | 3450 1080 16 | 0.000 % |
0.21/0.31 c | 1213 | 2123 10352 31518 | 3450 1213 15 | 0.000 % |
0.21/0.31 c | 1316 | 2123 10352 31518 | 3450 1316 17 | 0.000 % |
0.21/0.33 c | 1426 | 2123 10352 31518 | 3450 1426 18 | 0.000 % |
0.21/0.34 c | 1547 | 2123 10352 31518 | 3450 1547 19 | 0.000 % |
0.21/0.35 c | 1680 | 2122 10330 31474 | 3450 1672 19 | 0.053 % |
0.21/0.36 c | 1827 | 2122 10330 31474 | 3450 1819 20 | 0.047 % |
0.21/0.37 c | 1928 | 2122 10330 31474 | 3450 1920 20 | 0.047 % |
0.21/0.39 c | 2038 | 2122 10330 31474 | 3450 2030 21 | 0.047 % |
0.21/0.40 c | 2159 | 2121 10308 31430 | 3450 2148 21 | 0.095 % |
0.21/0.42 c | 2292 | 2121 10308 31430 | 3450 2281 22 | 0.094 % |
0.21/0.44 c | 2439 | 2121 10308 31430 | 3450 2428 23 | 0.095 % |
0.21/0.46 c | 2599 | 2121 10308 31430 | 3450 2588 23 | 0.095 % |
0.21/0.47 c | 2699 | 2121 10308 31430 | 3450 2688 23 | 0.095 % |
0.21/0.48 c | 2809 | 2121 10308 31430 | 3450 2798 24 | 0.095 % |
0.21/0.50 c | 2931 | 2121 10308 31430 | 3450 2920 24 | 0.094 % |
0.21/0.51 c | 3064 | 2121 10308 31430 | 3450 3053 24 | 0.094 % |
0.21/0.53 c | 3210 | 2121 10308 31430 | 3450 3199 24 | 0.095 % |
0.21/0.54 c | 3371 | 2121 10308 31430 | 3450 3360 24 | 0.095 % |
0.21/0.56 c | 3548 | 2121 10308 31430 | 3450 3537 25 | 0.094 % |
0.21/0.58 c | 3649 | 2121 10308 31430 | 3450 3285 25 | 0.094 % |
0.21/0.59 c | 3761 | 2121 10308 31430 | 3450 3397 25 | 0.094 % |
0.21/0.60 c | 3882 | 2121 10308 31430 | 3450 3518 25 | 0.095 % |
0.21/0.61 c | 4015 | 2121 10308 31430 | 3450 3300 24 | 0.094 % |
0.21/0.63 c | 4161 | 2121 10308 31430 | 3450 3446 24 | 0.094 % |
0.21/0.64 c | 4322 | 2121 10308 31430 | 3450 3607 24 | 0.094 % |
0.21/0.66 c | 4499 | 2121 10308 31430 | 3450 3424 24 | 0.094 % |
0.21/0.69 c | 4693 | 2121 10308 31430 | 3450 3618 25 | 0.095 % |
0.21/0.70 c | 4793 | 2121 10308 31430 | 3450 3357 24 | 0.094 % |
0.21/0.72 c | 4903 | 2121 10308 31430 | 3450 3467 24 | 0.095 % |
0.21/0.74 c | 5024 | 2121 10308 31430 | 3450 3242 24 | 0.094 % |
0.21/0.75 c | 5158 | 2121 10308 31430 | 3450 3376 24 | 0.095 % |
0.21/0.76 c | 5307 | 2121 10308 31430 | 3450 3525 24 | 0.095 % |
0.21/0.78 c | 5468 | 2121 10308 31430 | 3450 3334 23 | 0.095 % |
0.21/0.80 c | 5645 | 2121 10308 31430 | 3450 3511 23 | 0.094 % |
0.21/0.83 c | 5839 | 2121 10308 31430 | 3450 3354 24 | 0.094 % |
0.21/0.85 c | 6051 | 2121 10308 31430 | 3450 3566 25 | 0.094 % |
0.21/0.87 c | 6151 | 2121 10308 31430 | 3450 3310 24 | 0.094 % |
0.21/0.88 c | 6261 | 2121 10308 31430 | 3450 3420 24 | 0.095 % |
0.21/0.89 c | 6383 | 2121 10308 31430 | 3450 3542 24 | 0.095 % |
0.21/0.91 c | 6516 | 2121 10308 31430 | 3450 3321 25 | 0.094 % |
0.21/0.93 c | 6664 | 2121 10308 31430 | 3450 3469 25 | 0.095 % |
0.21/0.95 c | 6826 | 2121 10308 31430 | 3450 3285 25 | 0.095 % |
0.21/0.97 c | 7004 | 2121 10308 31430 | 3450 3463 25 | 0.095 % |
0.21/0.99 c | 7199 | 2121 10308 31430 | 3450 3312 24 | 0.095 % |
0.99/1.02 c | 7411 | 2121 10308 31430 | 3450 3524 24 | 0.095 % |
0.99/1.05 c | 7646 | 2121 10308 31430 | 3450 3407 25 | 0.095 % |
0.99/1.06 c | 7746 | 2121 10308 31430 | 3450 3507 25 | 0.095 % |
0.99/1.08 c | 7856 | 2121 10308 31430 | 3450 3267 25 | 0.094 % |
0.99/1.09 c | 7980 | 2121 10308 31430 | 3450 3391 25 | 0.094 % |
0.99/1.11 c | 8114 | 2121 10308 31430 | 3450 3525 25 | 0.094 % |
1.10/1.12 c | 8262 | 2121 10308 31430 | 3450 3321 25 | 0.095 % |
1.10/1.14 c | 8422 | 2121 10308 31430 | 3450 3481 25 | 0.094 % |
1.10/1.17 c | 8598 | 2121 10308 31430 | 3450 3309 25 | 0.095 % |
1.10/1.19 c | 8791 | 2121 10308 31430 | 3450 3502 26 | 0.095 % |
1.19/1.22 c | 9003 | 2121 10308 31430 | 3450 3364 26 | 0.094 % |
1.19/1.24 c | 9237 | 2121 10308 31430 | 3450 3598 26 | 0.094 % |
1.19/1.26 c | 9493 | 2121 10308 31430 | 3450 3495 24 | 0.095 % |
1.19/1.27 c | 9593 | 2121 10308 31430 | 3450 3246 23 | 0.095 % |
1.19/1.28 c | 9703 | 2121 10308 31430 | 3450 3356 23 | 0.095 % |
1.19/1.29 c | 9824 | 2121 10308 31430 | 3450 3477 23 | 0.095 % |
1.29/1.31 c | 9957 | 2121 10308 31430 | 3450 3263 22 | 0.095 % |
1.29/1.33 c | 10104 | 2121 10308 31430 | 2147483647 3410 22 | 0.094 % |
1.29/1.35 c | 10264 | 2121 10308 31430 | 2147483647 3570 23 | 0.095 % |
1.29/1.37 c | 10440 | 2121 10308 31430 | 2147483647 3746 23 | 0.094 % |
1.29/1.39 c | 10634 | 2121 10308 31430 | 2147483647 3940 24 | 0.094 % |
1.39/1.41 c | 10847 | 2121 10308 31430 | 2147483647 4153 25 | 0.094 % |
1.39/1.45 c | 11081 | 2121 10308 31430 | 2147483647 4387 25 | 0.095 % |
1.39/1.47 c | 11339 | 2121 10308 31430 | 2147483647 4645 25 | 0.095 % |
1.39/1.50 c | 11621 | 2121 10308 31430 | 2147483647 4927 25 | 0.095 % |
1.49/1.52 c | 11722 | 2121 10308 31430 | 2147483647 5028 25 | 0.094 % |
1.49/1.53 c | 11833 | 2121 10308 31430 | 2147483647 5139 25 | 0.094 % |
1.49/1.55 c | 11959 | 2121 10308 31430 | 2147483647 5265 26 | 0.095 % |
1.49/1.57 c | 12092 | 2121 10308 31430 | 2147483647 5398 26 | 0.095 % |
1.49/1.59 c | 12238 | 2121 10308 31430 | 2147483647 5544 26 | 0.094 % |
1.59/1.62 c | 12399 | 2121 10308 31430 | 2147483647 5705 26 | 0.095 % |
1.59/1.65 c | 12576 | 2121 10308 31430 | 2147483647 5882 27 | 0.095 % |
1.59/1.68 c | 12769 | 2121 10308 31430 | 2147483647 6075 27 | 0.094 % |
1.69/1.71 c | 12982 | 2121 10308 31430 | 2147483647 6288 27 | 0.095 % |
1.69/1.75 c | 13216 | 2121 10308 31430 | 2147483647 6522 28 | 0.094 % |
1.69/1.79 c | 13472 | 2121 10308 31430 | 2147483647 6778 28 | 0.094 % |
1.79/1.84 c | 13754 | 2121 10308 31430 | 2147483647 7060 29 | 0.094 % |
1.79/1.90 c | 14064 | 2121 10308 31430 | 2147483647 7370 29 | 0.095 % |
1.89/1.92 c | 14164 | 2121 10308 31430 | 2147483647 7470 29 | 0.094 % |
1.89/1.94 c | 14274 | 2121 10308 31430 | 2147483647 7580 29 | 0.095 % |
1.89/1.96 c | 14395 | 2121 10308 31430 | 2147483647 7701 29 | 0.095 % |
1.89/1.99 c | 14530 | 2121 10308 31430 | 2147483647 7836 29 | 0.094 % |
1.99/2.01 c | 14677 | 2121 10308 31430 | 2147483647 7983 29 | 0.094 % |
1.99/2.04 c | 14837 | 2121 10308 31430 | 2147483647 8143 29 | 0.094 % |
1.99/2.07 c | 15014 | 2121 10308 31430 | 2147483647 8320 29 | 0.094 % |
1.99/2.10 c | 15208 | 2121 10308 31430 | 2147483647 8514 29 | 0.095 % |
2.09/2.14 c | 15420 | 2121 10308 31430 | 2147483647 8726 30 | 0.094 % |
2.09/2.18 c | 15653 | 2121 10308 31430 | 2147483647 8959 30 | 0.094 % |
2.20/2.22 c | 15911 | 2121 10308 31430 | 2147483647 9217 30 | 0.094 % |
2.20/2.27 c | 16193 | 2121 10308 31430 | 2147483647 9499 30 | 0.096 % |
2.29/2.33 c | 16503 | 2121 10308 31430 | 2147483647 9809 31 | 0.095 % |
2.29/2.39 c | 16843 | 2121 10308 31430 | 2147483647 10149 31 | 0.095 % |
2.39/2.42 c | 16943 | 2121 10308 31430 | 2147483647 10249 31 | 0.094 % |
2.39/2.45 c | 17053 | 2121 10308 31430 | 2147483647 10359 31 | 0.095 % |
2.39/2.48 c | 17175 | 2121 10308 31430 | 2147483647 10481 31 | 0.095 % |
2.49/2.51 c | 17308 | 2121 10308 31430 | 2147483647 10614 31 | 0.095 % |
2.49/2.55 c | 17455 | 2121 10308 31430 | 2147483647 10761 31 | 0.095 % |
2.49/2.59 c | 17615 | 2121 10308 31430 | 2147483647 10921 31 | 0.095 % |
2.57/2.63 c | 17793 | 2121 10308 31430 | 2147483647 11099 31 | 0.095 % |
2.57/2.66 c | 17988 | 2121 10308 31430 | 2147483647 11294 31 | 0.095 % |
2.67/2.71 c | 18200 | 2121 10308 31430 | 2147483647 11506 31 | 0.094 % |
2.67/2.76 c | 18433 | 2121 10308 31430 | 2147483647 11739 31 | 0.095 % |
2.77/2.82 c | 18693 | 2121 10308 31430 | 2147483647 11999 32 | 0.095 % |
2.77/2.89 c | 18974 | 2121 10308 31430 | 2147483647 12280 32 | 0.094 % |
2.87/2.96 c | 19283 | 2121 10308 31430 | 2147483647 12589 32 | 0.094 % |
2.97/3.04 c | 19622 | 2121 10308 31430 | 2147483647 12928 32 | 0.094 % |
3.07/3.13 c | 19996 | 2121 10308 31430 | 2147483647 13302 32 | 0.094 % |
3.07/3.16 c | 20096 | 2121 10308 31430 | 2147483647 13402 32 | 0.095 % |
3.07/3.19 c | 20206 | 2121 10308 31430 | 2147483647 13512 32 | 0.095 % |
3.17/3.21 c | 20328 | 2121 10308 31430 | 2147483647 13634 32 | 0.095 % |
3.17/3.24 c | 20464 | 2121 10308 31430 | 2147483647 13770 32 | 0.095 % |
3.17/3.28 c | 20610 | 2121 10308 31430 | 2147483647 13916 32 | 0.095 % |
3.28/3.32 c | 20770 | 2121 10308 31430 | 2147483647 14076 32 | 0.094 % |
3.28/3.37 c | 20946 | 2121 10308 31430 | 2147483647 14252 32 | 0.094 % |
3.37/3.41 c | 21140 | 2121 10308 31430 | 2147483647 14446 32 | 0.094 % |
3.37/3.47 c | 21352 | 2121 10308 31430 | 2147483647 14658 32 | 0.095 % |
3.47/3.54 c | 21586 | 2121 10308 31430 | 2147483647 14892 32 | 0.094 % |
3.47/3.60 c | 21842 | 2121 10308 31430 | 2147483647 15148 32 | 0.095 % |
3.57/3.70 c | 22123 | 2120 10297 31408 | 2147483647 15422 32 | 0.141 % |
3.67/3.76 c | 22433 | 2120 10297 31408 | 2147483647 15732 32 | 0.142 % |
3.77/3.87 c | 22772 | 2120 10297 31408 | 2147483647 16071 32 | 0.141 % |
3.87/3.99 c | 23144 | 2120 10297 31408 | 2147483647 16443 33 | 0.141 % |
4.07/4.11 c | 23553 | 2120 10297 31408 | 2147483647 16852 33 | 0.141 % |
4.07/4.15 c | 23653 | 2120 10297 31408 | 2147483647 16952 33 | 0.142 % |
4.07/4.18 c | 23765 | 2120 10297 31408 | 2147483647 17064 33 | 0.141 % |
4.17/4.22 c | 23886 | 2120 10297 31408 | 2147483647 17185 33 | 0.141 % |
4.17/4.26 c | 24019 | 2120 10297 31408 | 2147483647 17318 33 | 0.142 % |
4.27/4.32 c | 24165 | 2120 10297 31408 | 2147483647 17464 33 | 0.142 % |
4.27/4.36 c | 24326 | 2120 10297 31408 | 2147483647 17625 33 | 0.142 % |
4.38/4.42 c | 24503 | 2120 10297 31408 | 2147483647 17802 33 | 0.141 % |
4.38/4.47 c | 24696 | 2120 10297 31408 | 2147483647 17995 33 | 0.141 % |
4.47/4.53 c | 24908 | 2120 10297 31408 | 2147483647 18207 33 | 0.141 % |
4.47/4.60 c | 25141 | 2120 10297 31408 | 2147483647 18440 33 | 0.141 % |
4.57/4.68 c | 25398 | 2120 10297 31408 | 2147483647 18697 33 | 0.143 % |
4.67/4.79 c | 25681 | 2120 10297 31408 | 2147483647 18980 33 | 0.142 % |
4.77/4.90 c | 25990 | 2120 10297 31408 | 2147483647 19289 33 | 0.141 % |
4.97/5.03 c | 26329 | 2120 10297 31408 | 2147483647 19628 33 | 0.141 % |
5.07/5.19 c | 26701 | 2120 10297 31408 | 2147483647 20000 33 | 0.141 % |
5.27/5.33 c | 27110 | 2120 10297 31408 | 2147483647 20409 33 | 0.141 % |
5.37/5.51 c | 27560 | 2120 10297 31408 | 2147483647 20859 33 | 0.141 % |
5.48/5.54 c | 27660 | 2120 10297 31408 | 2147483647 20959 33 | 0.142 % |
5.48/5.60 c | 27770 | 2120 10297 31408 | 2147483647 21069 33 | 0.141 % |
5.57/5.66 c | 27893 | 2120 10297 31408 | 2147483647 21192 33 | 0.142 % |
5.67/5.72 c | 28028 | 2120 10297 31408 | 2147483647 21327 33 | 0.141 % |
5.67/5.77 c | 28175 | 2120 10297 31408 | 2147483647 21474 33 | 0.141 % |
5.77/5.82 c | 28338 | 2120 10297 31408 | 2147483647 21637 33 | 0.142 % |
5.77/5.87 c | 28515 | 2120 10297 31408 | 2147483647 21814 33 | 0.145 % |
5.87/5.95 c | 28708 | 2120 10297 31408 | 2147483647 22007 33 | 0.142 % |
5.97/6.04 c | 28920 | 2120 10297 31408 | 2147483647 22219 33 | 0.141 % |
6.07/6.13 c | 29154 | 2120 10297 31408 | 2147483647 22453 33 | 0.141 % |
6.17/6.24 c | 29410 | 2120 10297 31408 | 2147483647 22709 33 | 0.142 % |
6.27/6.36 c | 29691 | 2120 10297 31408 | 2147483647 22990 33 | 0.141 % |
6.47/6.52 c | 30002 | 2120 10297 31408 | 2147483647 23301 33 | 0.142 % |
6.57/6.65 c | 30341 | 2120 10297 31408 | 2147483647 23640 33 | 0.142 % |
6.66/6.78 c | 30714 | 2120 10297 31408 | 2147483647 24013 33 | 0.142 % |
6.86/6.96 c | 31123 | 2120 10297 31408 | 2147483647 24422 33 | 0.141 % |
7.16/7.21 c | 31572 | 2120 10297 31408 | 2147483647 24871 33 | 0.141 % |
7.26/7.40 c | 32065 | 2120 10297 31408 | 2147483647 25364 33 | 0.142 % |
7.36/7.44 c | 32165 | 2120 10297 31408 | 2147483647 25464 33 | 0.142 % |
7.46/7.51 c | 32276 | 2120 10297 31408 | 2147483647 25575 33 | 0.142 % |
7.46/7.59 c | 32397 | 2120 10297 31408 | 2147483647 25696 33 | 0.142 % |
7.56/7.65 c | 32532 | 2120 10297 31408 | 2147483647 25831 33 | 0.141 % |
7.56/7.70 c | 32679 | 2120 10297 31408 | 2147483647 25978 33 | 0.141 % |
7.67/7.78 c | 32839 | 2120 10297 31408 | 2147483647 26138 33 | 0.142 % |
7.76/7.87 c | 33016 | 2120 10297 31408 | 2147483647 26315 33 | 0.141 % |
7.86/7.94 c | 33209 | 2120 10297 31408 | 2147483647 26508 33 | 0.141 % |
7.96/8.02 c | 33422 | 2120 10297 31408 | 2147483647 26721 33 | 0.141 % |
8.06/8.11 c | 33655 | 2120 10297 31408 | 2147483647 26954 33 | 0.141 % |
8.16/8.24 c | 33912 | 2120 10297 31408 | 2147483647 27211 33 | 0.141 % |
8.26/8.39 c | 34193 | 2120 10297 31408 | 2147483647 27492 33 | 0.141 % |
8.46/8.56 c | 34502 | 2120 10297 31408 | 2147483647 27801 33 | 0.142 % |
8.56/8.69 c | 34842 | 2119 10275 31364 | 2147483647 27454 34 | 0.189 % |
8.86/8.90 c | 35215 | 2119 10275 31364 | 2147483647 27827 34 | 0.189 % |
8.96/9.02 c | 35624 | 2119 10275 31364 | 2147483647 28236 33 | 0.189 % |
9.16/9.23 c | 36073 | 2119 10275 31364 | 2147483647 28685 33 | 0.189 % |
9.36/9.43 c | 36566 | 2119 10275 31364 | 2147483647 29178 33 | 0.188 % |
9.66/9.71 c | 37108 | 2119 10275 31364 | 2147483647 29720 33 | 0.190 % |
9.66/9.76 c | 37210 | 2119 10275 31364 | 2147483647 29822 33 | 0.189 % |
9.76/9.83 c | 37320 | 2119 10275 31364 | 2147483647 29932 33 | 0.188 % |
9.87/9.91 c | 37443 | 2119 10275 31364 | 2147483647 30055 33 | 0.189 % |
9.87/9.98 c | 37576 | 2119 10275 31364 | 2147483647 30188 33 | 0.188 % |
9.96/10.08 c | 37723 | 2119 10275 31364 | 2147483647 30335 33 | 0.189 % |
10.06/10.17 c | 37884 | 2119 10275 31364 | 2147483647 30496 33 | 0.189 % |
10.16/10.27 c | 38061 | 2119 10275 31364 | 2147483647 30673 33 | 0.189 % |
10.36/10.41 c | 38255 | 2119 10275 31364 | 2147483647 30867 33 | 0.188 % |
10.46/10.57 c | 38468 | 2119 10275 31364 | 2147483647 31080 33 | 0.189 % |
10.66/10.72 c | 38702 | 2119 10275 31364 | 2147483647 31314 33 | 0.188 % |
10.76/10.87 c | 38958 | 2119 10275 31364 | 2147483647 31570 33 | 0.189 % |
10.97/11.03 c | 39240 | 2119 10275 31364 | 2147483647 31852 33 | 0.188 % |
11.06/11.19 c | 39551 | 2119 10275 31364 | 2147483647 32163 33 | 0.188 % |
11.36/11.41 c | 39890 | 2119 10275 31364 | 2147483647 32502 33 | 0.189 % |
11.56/11.61 c | 40263 | 2119 10275 31364 | 2147483647 32875 33 | 0.188 % |
11.86/11.93 c | 40672 | 2119 10275 31364 | 2147483647 33284 33 | 0.188 % |
12.07/12.17 c | 41121 | 2119 10275 31364 | 2147483647 33733 33 | 0.188 % |
12.36/12.41 c | 41615 | 2119 10275 31364 | 2147483647 34227 33 | 0.188 % |
12.66/12.75 c | 42157 | 2119 10275 31364 | 2147483647 34769 33 | 0.188 % |
12.96/13.07 c | 42755 | 2119 10275 31364 | 2147483647 35367 33 | 0.188 % |
13.06/13.14 c | 42856 | 2119 10275 31364 | 2147483647 35468 33 | 0.189 % |
13.06/13.21 c | 42967 | 2119 10275 31364 | 2147483647 35579 33 | 0.188 % |
13.17/13.29 c | 43089 | 2119 10275 31364 | 2147483647 35701 33 | 0.189 % |
13.26/13.38 c | 43222 | 2119 10275 31364 | 2147483647 35834 33 | 0.188 % |
13.36/13.50 c | 43370 | 2119 10275 31364 | 2147483647 35982 33 | 0.189 % |
13.56/13.61 c | 43530 | 2119 10275 31364 | 2147483647 36142 33 | 0.188 % |
13.66/13.74 c | 43706 | 2119 10275 31364 | 2147483647 36318 33 | 0.189 % |
13.76/13.86 c | 43900 | 2119 10275 31364 | 2147483647 36512 33 | 0.188 % |
13.96/14.02 c | 44112 | 2119 10275 31364 | 2147483647 36724 33 | 0.188 % |
14.06/14.19 c | 44346 | 2119 10275 31364 | 2147483647 36958 33 | 0.188 % |
14.27/14.38 c | 44604 | 2119 10275 31364 | 2147483647 37216 33 | 0.189 % |
14.46/14.56 c | 44885 | 2119 10275 31364 | 2147483647 37497 33 | 0.189 % |
14.66/14.76 c | 45195 | 2119 10275 31364 | 2147483647 37807 33 | 0.188 % |
14.96/15.02 c | 45534 | 2119 10275 31364 | 2147483647 38146 33 | 0.188 % |
15.16/15.27 c | 45907 | 2119 10275 31364 | 2147483647 38519 33 | 0.189 % |
15.46/15.57 c | 46316 | 2119 10275 31364 | 2147483647 38928 33 | 0.189 % |
15.86/15.91 c | 46765 | 2119 10275 31364 | 2147483647 39377 33 | 0.189 % |
16.16/16.27 c | 47258 | 2119 10275 31364 | 2147483647 39870 33 | 0.189 % |
16.56/16.68 c | 47801 | 2119 10275 31364 | 2147483647 40413 33 | 0.189 % |
17.06/17.18 c | 48399 | 2119 10275 31364 | 2147483647 41011 33 | 0.188 % |
17.57/17.68 c | 49055 | 2119 10275 31364 | 2147483647 41667 33 | 0.188 % |
17.76/17.81 c | 49158 | 2119 10275 31364 | 2147483647 41770 33 | 0.189 % |
17.86/17.92 c | 49269 | 2119 10275 31364 | 2147483647 41881 33 | 0.189 % |
17.96/18.03 c | 49392 | 2119 10275 31364 | 2147483647 42004 33 | 0.188 % |
18.06/18.11 c | 49526 | 2119 10275 31364 | 2147483647 42138 33 | 0.188 % |
18.16/18.28 c | 49672 | 2119 10275 31364 | 2147483647 42284 33 | 0.188 % |
18.36/18.42 c | 49832 | 2119 10275 31364 | 2147483647 42444 33 | 0.188 % |
18.46/18.56 c | 50008 | 2119 10275 31364 | 2147483647 42620 33 | 0.188 % |
18.56/18.71 c | 50203 | 2119 10275 31364 | 2147483647 42815 33 | 0.188 % |
18.86/18.92 c | 50416 | 2119 10275 31364 | 2147483647 43028 33 | 0.188 % |
19.06/19.11 c | 50650 | 2119 10275 31364 | 2147483647 43262 33 | 0.189 % |
19.16/19.29 c | 50911 | 2119 10275 31364 | 2147483647 43523 33 | 0.188 % |
19.46/19.51 c | 51192 | 2119 10275 31364 | 2147483647 43804 33 | 0.188 % |
19.66/19.77 c | 51503 | 2119 10275 31364 | 2147483647 44115 33 | 0.188 % |
19.96/20.06 c | 51844 | 2119 10275 31364 | 2147483647 44456 33 | 0.188 % |
20.26/20.37 c | 52218 | 2119 10275 31364 | 2147483647 44830 33 | 0.189 % |
20.66/20.73 c | 52629 | 2119 10275 31364 | 2147483647 45241 33 | 0.188 % |
21.06/21.20 c | 53078 | 2119 10275 31364 | 2147483647 45690 33 | 0.188 % |
21.56/21.68 c | 53572 | 2119 10275 31364 | 2147483647 46184 33 | 0.189 % |
22.06/22.17 c | 54114 | 2119 10275 31364 | 2147483647 46726 33 | 0.189 % |
22.46/22.60 c | 54710 | 2119 10275 31364 | 2147483647 47322 33 | 0.188 % |
23.07/23.14 c | 55365 | 2119 10275 31364 | 2147483647 47977 33 | 0.189 % |
23.66/23.74 c | 56086 | 2119 10275 31364 | 2147483647 48698 33 | 0.188 % |
23.76/23.86 c | 56186 | 2119 10275 31364 | 2147483647 48798 33 | 0.188 % |
23.86/23.96 c | 56297 | 2119 10275 31364 | 2147483647 48909 33 | 0.189 % |
23.96/24.08 c | 56419 | 2119 10275 31364 | 2147483647 49031 33 | 0.189 % |
24.06/24.20 c | 56552 | 2119 10275 31364 | 2147483647 49164 33 | 0.189 % |
24.26/24.35 c | 56698 | 2119 10275 31364 | 2147483647 49310 33 | 0.188 % |
24.36/24.47 c | 56859 | 2119 10275 31364 | 2147483647 49471 33 | 0.189 % |
24.56/24.65 c | 57038 | 2119 10275 31364 | 2147483647 49650 33 | 0.189 % |
24.76/24.88 c | 57232 | 2119 10275 31364 | 2147483647 49844 33 | 0.189 % |
24.96/25.03 c | 57444 | 2119 10275 31364 | 2147483647 50056 33 | 0.189 % |
25.16/25.25 c | 57678 | 2119 10275 31364 | 2147483647 50290 33 | 0.189 % |
25.36/25.48 c | 57934 | 2119 10275 31364 | 2147483647 50546 33 | 0.188 % |
25.76/25.83 c | 58216 | 2119 10275 31364 | 2147483647 50828 33 | 0.188 % |
26.06/26.14 c | 58526 | 2119 10275 31364 | 2147483647 51138 33 | 0.188 % |
26.37/26.47 c | 58866 | 2119 10275 31364 | 2147483647 51478 33 | 0.189 % |
26.76/26.85 c | 59240 | 2119 10275 31364 | 2147483647 51852 33 | 0.189 % |
27.26/27.34 c | 59649 | 2119 10275 31364 | 2147483647 52261 33 | 0.188 % |
27.66/27.74 c | 60098 | 2119 10275 31364 | 52614 52710 33 | 0.188 % |
28.16/28.29 c | 60591 | 2119 10275 31364 | 52614 45679 32 | 0.188 % |
28.76/28.86 c | 61133 | 2119 10275 31364 | 52614 46221 32 | 0.189 % |
29.36/29.43 c | 61730 | 2119 10275 31364 | 52614 46818 32 | 0.188 % |
29.86/29.98 c | 62386 | 2119 10275 31364 | 52614 47474 32 | 0.188 % |
30.66/30.71 c | 63106 | 2119 10275 31364 | 52614 48194 32 | 0.188 % |
31.26/31.32 c | 63898 | 2119 10275 31364 | 52614 48986 32 | 0.189 % |
31.36/31.42 c | 64000 | 2119 10275 31364 | 52614 49088 32 | 0.188 % |
31.46/31.58 c | 64111 | 2119 10275 31364 | 52614 49199 32 | 0.188 % |
31.66/31.71 c | 64233 | 2119 10275 31364 | 52614 49321 32 | 0.189 % |
31.76/31.87 c | 64367 | 2119 10275 31364 | 52614 49455 32 | 0.189 % |
31.96/32.01 c | 64514 | 2119 10275 31364 | 52614 49602 32 | 0.188 % |
32.16/32.24 c | 64674 | 2119 10275 31364 | 52614 49762 32 | 0.189 % |
32.36/32.41 c | 64850 | 2119 10275 31364 | 52614 49938 32 | 0.188 % |
32.46/32.57 c | 65044 | 2119 10275 31364 | 52614 50132 32 | 0.188 % |
32.76/32.86 c | 65256 | 2119 10275 31364 | 52614 50344 32 | 0.189 % |
32.97/33.09 c | 65491 | 2119 10275 31364 | 52614 50579 32 | 0.188 % |
33.26/33.30 c | 65748 | 2119 10275 31364 | 52614 50836 32 | 0.189 % |
33.46/33.56 c | 66030 | 2119 10275 31364 | 52614 51118 32 | 0.188 % |
33.86/33.92 c | 66341 | 2119 10275 31364 | 52614 51429 32 | 0.188 % |
34.16/34.22 c | 66680 | 2119 10275 31364 | 52614 51768 32 | 0.189 % |
34.46/34.56 c | 67053 | 2119 10275 31364 | 52614 52141 32 | 0.188 % |
34.96/35.03 c | 67462 | 2119 10275 31364 | 52614 52550 32 | 0.188 % |
35.46/35.56 c | 67911 | 2119 10275 31364 | 52614 44009 30 | 0.189 % |
35.77/35.91 c | 68404 | 2119 10275 31364 | 52614 44502 30 | 0.188 % |
36.17/36.25 c | 68946 | 2119 10275 31364 | 52614 45044 30 | 0.189 % |
36.57/36.70 c | 69546 | 2119 10275 31364 | 52614 45644 30 | 0.188 % |
37.17/37.28 c | 70202 | 2119 10275 31364 | 46099 46300 30 | 0.189 % |
37.77/37.84 c | 70926 | 2119 10275 31364 | 46099 39870 30 | 0.188 % |
38.37/38.44 c | 71720 | 2119 10275 31364 | 46099 40664 30 | 0.188 % |
38.97/39.07 c | 72591 | 2119 10275 31364 | 46099 41535 30 | 0.188 % |
39.07/39.16 c | 72695 | 2119 10275 31364 | 46099 41639 30 | 0.189 % |
39.17/39.26 c | 72806 | 2119 10275 31364 | 46099 41750 30 | 0.188 % |
39.27/39.36 c | 72927 | 2119 10275 31364 | 46099 41871 30 | 0.189 % |
39.37/39.50 c | 73060 | 2119 10275 31364 | 46099 42004 30 | 0.188 % |
39.57/39.62 c | 73206 | 2119 10275 31364 | 46099 42150 30 | 0.188 % |
39.67/39.73 c | 73366 | 2119 10275 31364 | 46099 42310 30 | 0.189 % |
39.77/39.84 c | 73542 | 2119 10275 31364 | 46099 42486 30 | 0.189 % |
39.97/40.04 c | 73736 | 2119 10275 31364 | 46099 42680 30 | 0.188 % |
40.07/40.20 c | 73948 | 2119 10275 31364 | 46099 42892 30 | 0.188 % |
40.37/40.44 c | 74183 | 2119 10275 31364 | 46099 43127 30 | 0.188 % |
40.57/40.62 c | 74439 | 2119 10275 31364 | 46099 43383 30 | 0.188 % |
40.77/40.89 c | 74722 | 2119 10275 31364 | 46099 43666 30 | 0.189 % |
41.07/41.14 c | 75033 | 2119 10275 31364 | 46099 43977 30 | 0.189 % |
41.37/41.43 c | 75372 | 2119 10275 31364 | 46099 44316 30 | 0.189 % |
41.67/41.72 c | 75746 | 2119 10275 31364 | 46099 44690 30 | 0.188 % |
41.97/42.04 c | 76159 | 2119 10275 31364 | 46099 45103 30 | 0.189 % |
42.37/42.42 c | 76608 | 2119 10275 31364 | 46099 45552 30 | 0.189 % |
42.67/42.77 c | 77101 | 2119 10275 31364 | 46099 46045 30 | 0.188 % |
43.17/43.21 c | 77645 | 2119 10275 31364 | 46099 40507 29 | 0.189 % |
43.47/43.60 c | 78241 | 2119 10275 31364 | 46099 41103 29 | 0.189 % |
43.97/44.04 c | 78896 | 2119 10275 31364 | 46099 41758 29 | 0.189 % |
44.47/44.54 c | 79616 | 2119 10275 31364 | 46099 42478 29 | 0.188 % |
45.07/45.19 c | 80409 | 2119 10275 31364 | 42863 38304 29 | 0.188 % |
45.77/45.84 c | 81282 | 2119 10275 31364 | 42863 39177 29 | 0.189 % |
46.47/46.52 c | 82241 | 2119 10275 31364 | 42863 40136 29 | 0.189 % |
46.47/46.60 c | 82341 | 2119 10275 31364 | 42863 40236 29 | 0.188 % |
46.57/46.70 c | 82451 | 2119 10275 31364 | 42863 40346 29 | 0.189 % |
46.67/46.79 c | 82573 | 2119 10275 31364 | 42863 40468 29 | 0.189 % |
46.87/46.92 c | 82708 | 2119 10275 31364 | 42863 40603 29 | 0.188 % |
46.97/47.02 c | 82856 | 2119 10275 31364 | 42863 40751 29 | 0.189 % |
47.07/47.17 c | 83016 | 2119 10275 31364 | 42863 40911 29 | 0.189 % |
47.27/47.33 c | 83193 | 2119 10275 31364 | 42863 41088 29 | 0.188 % |
47.37/47.50 c | 83387 | 2119 10275 31364 | 42863 41282 29 | 0.188 % |
47.57/47.68 c | 83600 | 2119 10275 31364 | 42863 41495 29 | 0.188 % |
47.77/47.89 c | 83834 | 2119 10275 31364 | 42863 41729 29 | 0.188 % |
48.07/48.13 c | 84091 | 2119 10275 31364 | 42863 41986 29 | 0.188 % |
48.27/48.38 c | 84373 | 2119 10275 31364 | 42863 42268 29 | 0.188 % |
48.57/48.61 c | 84684 | 2119 10275 31364 | 42863 42579 29 | 0.188 % |
48.77/48.90 c | 85025 | 2119 10275 31364 | 42863 42920 29 | 0.188 % |
49.17/49.24 c | 85399 | 2119 10275 31364 | 42863 37329 28 | 0.188 % |
49.47/49.54 c | 85810 | 2119 10275 31364 | 42863 37740 28 | 0.189 % |
49.77/49.83 c | 86260 | 2119 10275 31364 | 42863 38190 28 | 0.188 % |
50.07/50.19 c | 86753 | 2119 10275 31364 | 42863 38683 29 | 0.189 % |
50.57/50.66 c | 87296 | 2119 10275 31364 | 42863 39226 29 | 0.188 % |
50.97/51.03 c | 87893 | 2119 10275 31364 | 42863 39823 29 | 0.188 % |
51.37/51.47 c | 88548 | 2119 10275 31364 | 42863 40478 29 | 0.189 % |
52.07/52.14 c | 89270 | 2119 10275 31364 | 42863 41200 29 | 0.188 % |
52.67/52.75 c | 90063 | 2119 10275 31364 | 41930 41993 29 | 0.188 % |
53.37/53.43 c | 90935 | 2119 10275 31364 | 41930 37682 28 | 0.188 % |
53.97/54.09 c | 91894 | 2119 10275 31364 | 41930 38641 28 | 0.188 % |
54.67/54.75 c | 92947 | 2119 10275 31364 | 41930 39694 28 | 0.188 % |
54.77/54.82 c | 93047 | 2119 10275 31364 | 41930 39794 28 | 0.188 % |
54.77/54.90 c | 93157 | 2119 10275 31364 | 41930 39904 28 | 0.188 % |
54.87/54.99 c | 93278 | 2119 10275 31364 | 41930 40025 28 | 0.188 % |
54.97/55.09 c | 93412 | 2119 10275 31364 | 41930 40159 28 | 0.188 % |
55.17/55.25 c | 93558 | 2119 10275 31364 | 41930 40305 28 | 0.188 % |
55.27/55.39 c | 93718 | 2119 10275 31364 | 41930 40465 28 | 0.189 % |
55.47/55.52 c | 93894 | 2119 10275 31364 | 41930 40641 28 | 0.189 % |
55.57/55.66 c | 94087 | 2119 10275 31364 | 41930 40834 28 | 0.188 % |
55.67/55.81 c | 94299 | 2119 10275 31364 | 41930 41046 28 | 0.188 % |
55.87/55.97 c | 94533 | 2119 10275 31364 | 41930 41280 28 | 0.189 % |
56.07/56.20 c | 94789 | 2119 10275 31364 | 41930 41536 28 | 0.188 % |
56.37/56.43 c | 95073 | 2119 10275 31364 | 41930 41820 28 | 0.189 % |
56.57/56.70 c | 95382 | 2119 10275 31364 | 41930 42129 28 | 0.189 % |
56.87/56.99 c | 95721 | 2119 10275 31364 | 41930 37323 27 | 0.189 % |
57.17/57.24 c | 96094 | 2119 10275 31364 | 41930 37696 27 | 0.189 % |
57.47/57.58 c | 96504 | 2119 10275 31364 | 41930 38106 27 | 0.188 % |
57.77/57.90 c | 96955 | 2119 10275 31364 | 41930 38557 27 | 0.189 % |
58.17/58.22 c | 97450 | 2119 10275 31364 | 41930 39052 27 | 0.189 % |
58.57/58.61 c | 97992 | 2119 10275 31364 | 41930 39594 27 | 0.188 % |
58.87/59.01 c | 98588 | 2119 10275 31364 | 41930 40190 28 | 0.189 % |
59.47/59.59 c | 99243 | 2119 10275 31364 | 41930 40845 27 | 0.188 % |
60.07/60.16 c | 99963 | 2119 10275 31364 | 41930 41565 27 | 0.189 % |
60.77/60.86 c | 100756 | 2119 10275 31364 | 41602 37112 27 | 0.189 % |
61.47/61.54 c | 101627 | 2119 10275 31364 | 41602 37983 27 | 0.188 % |
62.17/62.21 c | 102586 | 2119 10275 31364 | 41602 38942 27 | 0.189 % |
62.97/63.08 c | 103639 | 2119 10275 31364 | 41602 39995 27 | 0.188 % |
63.87/63.95 c | 104798 | 2119 10275 31364 | 41602 41154 27 | 0.188 % |
63.97/64.02 c | 104898 | 2119 10275 31364 | 41602 41254 27 | 0.188 % |
63.97/64.10 c | 105008 | 2119 10275 31364 | 41602 41364 27 | 0.188 % |
64.17/64.22 c | 105129 | 2119 10275 31364 | 41602 41485 27 | 0.188 % |
64.27/64.36 c | 105262 | 2119 10275 31364 | 41602 41618 27 | 0.189 % |
64.47/64.54 c | 105408 | 2119 10275 31364 | 41602 36102 26 | 0.188 % |
64.57/64.65 c | 105569 | 2119 10275 31364 | 41602 36263 26 | 0.189 % |
64.67/64.79 c | 105746 | 2119 10275 31364 | 41602 36440 26 | 0.188 % |
64.87/64.91 c | 105939 | 2119 10275 31364 | 41602 36633 26 | 0.189 % |
64.97/65.04 c | 106151 | 2119 10275 31364 | 41602 36845 26 | 0.189 % |
65.07/65.17 c | 106386 | 2119 10275 31364 | 41602 37080 26 | 0.188 % |
65.27/65.31 c | 106643 | 2119 10275 31364 | 41602 37337 26 | 0.188 % |
65.37/65.49 c | 106924 | 2119 10275 31364 | 41602 37618 26 | 0.189 % |
65.57/65.69 c | 107234 | 2119 10275 31364 | 41602 37928 26 | 0.189 % |
65.77/65.90 c | 107574 | 2119 10275 31364 | 41602 38268 26 | 0.188 % |
66.17/66.22 c | 107948 | 2119 10275 31364 | 41602 38642 26 | 0.189 % |
66.47/66.52 c | 108359 | 2119 10275 31364 | 41602 39053 26 | 0.188 % |
66.77/66.84 c | 108809 | 2119 10275 31364 | 41602 39503 27 | 0.188 % |
67.07/67.14 c | 109302 | 2119 10275 31364 | 41602 39996 27 | 0.188 % |
67.37/67.46 c | 109845 | 2119 10275 31364 | 41602 40539 27 | 0.189 % |
67.87/67.99 c | 110445 | 2119 10275 31364 | 40694 35879 26 | 0.188 % |
68.27/68.37 c | 111100 | 2119 10275 31364 | 40694 36534 26 | 0.189 % |
68.67/68.80 c | 111822 | 2119 10275 31364 | 40694 37256 26 | 0.189 % |
69.27/69.34 c | 112615 | 2119 10275 31364 | 40694 38049 26 | 0.189 % |
69.77/69.82 c | 113487 | 2119 10275 31364 | 40694 38921 26 | 0.188 % |
70.37/70.43 c | 114446 | 2119 10275 31364 | 40694 39880 26 | 0.188 % |
71.17/71.22 c | 115499 | 2119 10275 31364 | 40694 40933 26 | 0.188 % |
71.87/71.95 c | 116657 | 2119 10275 31364 | 40694 37998 26 | 0.189 % |
72.77/72.85 c | 117931 | 2119 10275 31364 | 40694 39272 26 | 0.188 % |
72.87/72.92 c | 118032 | 2119 10275 31364 | 40694 39373 26 | 0.189 % |
72.97/73.01 c | 118142 | 2119 10275 31364 | 40694 39483 26 | 0.188 % |
72.97/73.10 c | 118263 | 2119 10275 31364 | 40694 39604 26 | 0.189 % |
73.07/73.20 c | 118397 | 2119 10275 31364 | 40694 39738 26 | 0.188 % |
73.17/73.29 c | 118547 | 2119 10275 31364 | 40694 39888 26 | 0.188 % |
73.37/73.43 c | 118709 | 2119 10275 31364 | 40694 40050 26 | 0.190 % |
73.47/73.54 c | 118886 | 2119 10275 31364 | 40694 40227 26 | 0.189 % |
73.57/73.68 c | 119079 | 2119 10275 31364 | 40694 40420 26 | 0.189 % |
73.77/73.88 c | 119291 | 2119 10275 31364 | 40694 40632 26 | 0.189 % |
73.97/74.05 c | 119524 | 2119 10275 31364 | 40694 40865 26 | 0.188 % |
74.17/74.30 c | 119780 | 2119 10275 31364 | 40694 36946 26 | 0.188 % |
74.47/74.52 c | 120061 | 2119 10275 31364 | 37166 37227 26 | 0.188 % |
74.67/74.78 c | 120371 | 2119 10275 31364 | 37166 33615 26 | 0.188 % |
74.87/74.99 c | 120711 | 2119 10275 31364 | 37166 33955 26 | 0.189 % |
75.17/75.23 c | 121086 | 2119 10275 31364 | 37166 34330 26 | 0.188 % |
75.37/75.51 c | 121495 | 2119 10275 31364 | 37166 34739 25 | 0.189 % |
75.67/75.80 c | 121945 | 2119 10275 31364 | 37166 35189 26 | 0.189 % |
75.97/76.11 c | 122438 | 2119 10275 31364 | 37166 35682 26 | 0.189 % |
76.37/76.46 c | 122981 | 2119 10275 31364 | 37166 36225 26 | 0.189 % |
76.77/76.83 c | 123578 | 2119 10275 31364 | 37166 36822 26 | 0.188 % |
77.27/77.35 c | 124234 | 2119 10275 31364 | 37166 37478 26 | 0.188 % |
77.67/77.80 c | 124956 | 2119 10275 31364 | 37166 34241 25 | 0.188 % |
78.27/78.34 c | 125749 | 2119 10275 31364 | 37166 35034 25 | 0.189 % |
78.67/78.81 c | 126621 | 2119 10275 31364 | 37166 35906 25 | 0.189 % |
79.37/79.44 c | 127579 | 2119 10275 31364 | 37166 36864 26 | 0.189 % |
79.97/80.10 c | 128633 | 2119 10275 31364 | 37166 34166 26 | 0.189 % |
80.67/80.76 c | 129791 | 2119 10275 31364 | 37166 35324 26 | 0.189 % |
81.37/81.50 c | 131064 | 2119 10275 31364 | 2147483647 36597 26 | 0.189 % |
82.27/82.35 c | 132467 | 2119 10275 31364 | 2147483647 38000 26 | 0.189 % |
82.27/82.40 c | 132567 | 2119 10275 31364 | 2147483647 38100 26 | 0.188 % |
82.37/82.49 c | 132679 | 2119 10275 31364 | 2147483647 38212 26 | 0.188 % |
82.47/82.61 c | 132800 | 2119 10275 31364 | 2147483647 38333 26 | 0.188 % |
82.67/82.74 c | 132933 | 2119 10275 31364 | 2147483647 38466 26 | 0.189 % |
82.77/82.83 c | 133079 | 2119 10275 31364 | 2147483647 38612 26 | 0.189 % |
82.87/82.96 c | 133239 | 2119 10275 31364 | 2147483647 38772 26 | 0.189 % |
82.97/83.10 c | 133417 | 2119 10275 31364 | 2147483647 38950 26 | 0.188 % |
83.17/83.27 c | 133610 | 2119 10275 31364 | 2147483647 39143 26 | 0.188 % |
83.37/83.45 c | 133826 | 2119 10275 31364 | 2147483647 39359 26 | 0.188 % |
83.57/83.65 c | 134059 | 2119 10275 31364 | 2147483647 39592 26 | 0.188 % |
83.77/83.85 c | 134316 | 2119 10275 31364 | 2147483647 39849 26 | 0.188 % |
83.97/84.06 c | 134597 | 2119 10275 31364 | 2147483647 40130 26 | 0.189 % |
84.17/84.29 c | 134907 | 2119 10275 31364 | 2147483647 40440 26 | 0.188 % |
84.47/84.52 c | 135246 | 2119 10275 31364 | 2147483647 40779 26 | 0.189 % |
84.67/84.78 c | 135618 | 2119 10275 31364 | 2147483647 41151 26 | 0.188 % |
85.07/85.12 c | 136029 | 2119 10275 31364 | 2147483647 41562 26 | 0.188 % |
85.47/85.54 c | 136481 | 2119 10275 31364 | 2147483647 42014 26 | 0.188 % |
85.87/85.93 c | 136975 | 2119 10275 31364 | 2147483647 42508 26 | 0.189 % |
86.27/86.40 c | 137517 | 2119 10275 31364 | 2147483647 43050 26 | 0.188 % |
86.87/86.97 c | 138114 | 2119 10275 31364 | 2147483647 43647 26 | 0.188 % |
87.37/87.41 c | 138769 | 2119 10275 31364 | 2147483647 44302 26 | 0.188 % |
87.87/88.00 c | 139489 | 2119 10275 31364 | 2147483647 45022 26 | 0.188 % |
88.47/88.56 c | 140282 | 2119 10275 31364 | 45533 45815 26 | 0.189 % |
89.17/89.23 c | 141153 | 2119 10275 31364 | 45533 41223 25 | 0.188 % |
89.97/90.03 c | 142111 | 2119 10275 31364 | 45533 42181 25 | 0.188 % |
90.67/90.78 c | 143164 | 2119 10275 31364 | 45533 43234 26 | 0.189 % |
91.47/91.54 c | 144323 | 2119 10275 31364 | 45533 44393 26 | 0.188 % |
92.47/92.60 c | 145596 | 2119 10275 31364 | 45533 45666 26 | 0.188 % |
93.67/93.74 c | 146996 | 2119 10275 31364 | 45533 41522 25 | 0.188 % |
94.67/94.80 c | 148536 | 2119 10275 31364 | 45533 43062 25 | 0.188 % |
94.87/94.92 c | 148637 | 2119 10275 31364 | 45533 43163 25 | 0.188 % |
94.97/95.01 c | 148748 | 2119 10275 31364 | 45533 43274 25 | 0.188 % |
95.07/95.11 c | 148870 | 2119 10275 31364 | 45533 43396 25 | 0.188 % |
95.17/95.24 c | 149004 | 2119 10275 31364 | 45533 43530 25 | 0.188 % |
95.27/95.39 c | 149150 | 2119 10275 31364 | 45533 43676 25 | 0.188 % |
95.37/95.50 c | 149311 | 2119 10275 31364 | 45533 43837 25 | 0.189 % |
95.57/95.63 c | 149488 | 2119 10275 31364 | 45533 44014 25 | 0.189 % |
95.67/95.77 c | 149681 | 2119 10275 31364 | 45533 44207 25 | 0.188 % |
95.87/95.93 c | 149894 | 2119 10275 31364 | 45533 44420 25 | 0.188 % |
96.07/96.14 c | 150129 | 2119 10275 31364 | 44526 44655 25 | 0.189 % |
96.27/96.41 c | 150385 | 2119 10275 31364 | 44526 39529 25 | 0.188 % |
96.47/96.58 c | 150666 | 2119 10275 31364 | 44526 39810 25 | 0.189 % |
96.67/96.80 c | 150975 | 2119 10275 31364 | 44526 40119 25 | 0.189 % |
96.97/97.02 c | 151316 | 2119 10275 31364 | 44526 40460 25 | 0.189 % |
97.17/97.28 c | 151688 | 2119 10275 31364 | 44526 40832 24 | 0.188 % |
97.47/97.54 c | 152099 | 2119 10275 31364 | 44526 41243 25 | 0.189 % |
97.97/98.05 c | 152549 | 2118 10253 31320 | 44526 41688 24 | 0.236 % |
98.27/98.39 c | 153043 | 2118 10253 31320 | 44526 42182 25 | 0.236 % |
98.67/98.75 c | 153585 | 2118 10253 31320 | 44526 42724 25 | 0.236 % |
99.07/99.11 c | 154181 | 2118 10253 31320 | 44526 43320 25 | 0.236 % |
99.47/99.54 c | 154836 | 2118 10253 31320 | 44526 43975 25 | 0.236 % |
99.87/100.01 c | 155556 | 2118 10253 31320 | 44526 44695 25 | 0.236 % |
100.57/100.70 c | 156348 | 2118 10253 31320 | 44526 40992 25 | 0.236 % |
101.18/101.23 c | 157219 | 2118 10253 31320 | 44526 41863 25 | 0.236 % |
101.77/101.81 c | 158177 | 2118 10253 31320 | 44526 42821 25 | 0.236 % |
102.57/102.66 c | 159233 | 2118 10253 31320 | 44526 43877 26 | 0.236 % |
103.38/103.47 c | 160391 | 2118 10253 31320 | 2147483647 45035 26 | 0.236 % |
104.27/104.36 c | 161665 | 2118 10253 31320 | 2147483647 46309 26 | 0.236 % |
105.27/105.38 c | 163065 | 2118 10253 31320 | 2147483647 47709 26 | 0.236 % |
106.57/106.63 c | 164605 | 2118 10253 31320 | 2147483647 49249 26 | 0.236 % |
108.07/108.13 c | 166300 | 2118 10253 31320 | 2147483647 50944 26 | 0.236 % |
108.17/108.23 c | 166402 | 2118 10253 31320 | 2147483647 51046 26 | 0.236 % |
108.27/108.35 c | 166513 | 2118 10253 31320 | 2147483647 51157 26 | 0.236 % |
108.47/108.51 c | 166635 | 2118 10253 31320 | 2147483647 51279 26 | 0.236 % |
108.57/108.66 c | 166769 | 2118 10253 31320 | 2147483647 51413 26 | 0.236 % |
108.67/108.80 c | 166915 | 2118 10253 31320 | 2147483647 51559 26 | 0.236 % |
108.97/109.01 c | 167076 | 2118 10253 31320 | 2147483647 51720 26 | 0.236 % |
109.07/109.20 c | 167254 | 2118 10253 31320 | 2147483647 51898 26 | 0.236 % |
109.27/109.39 c | 167451 | 2118 10253 31320 | 2147483647 52095 26 | 0.236 % |
109.47/109.60 c | 167664 | 2118 10253 31320 | 2147483647 52308 26 | 0.236 % |
109.77/109.88 c | 167897 | 2118 10253 31320 | 2147483647 52541 26 | 0.236 % |
110.07/110.11 c | 168153 | 2118 10253 31320 | 2147483647 52797 26 | 0.236 % |
110.27/110.38 c | 168435 | 2118 10253 31320 | 2147483647 53079 26 | 0.236 % |
110.57/110.63 c | 168746 | 2118 10253 31320 | 2147483647 53390 26 | 0.236 % |
110.87/110.95 c | 169086 | 2118 10253 31320 | 2147483647 53730 26 | 0.236 % |
111.17/111.30 c | 169460 | 2118 10253 31320 | 2147483647 54104 26 | 0.236 % |
111.57/111.70 c | 169870 | 2118 10253 31320 | 2147483647 54514 26 | 0.236 % |
112.18/112.26 c | 170319 | 2118 10253 31320 | 54644 46643 26 | 0.236 % |
112.57/112.69 c | 170813 | 2118 10253 31320 | 54644 47137 25 | 0.236 % |
113.07/113.18 c | 171355 | 2118 10253 31320 | 54644 47679 25 | 0.236 % |
113.67/113.72 c | 171953 | 2118 10253 31320 | 54644 48277 25 | 0.236 % |
114.27/114.31 c | 172609 | 2118 10253 31320 | 54644 48933 25 | 0.236 % |
114.77/114.89 c | 173329 | 2118 10253 31320 | 54644 49653 25 | 0.236 % |
115.67/115.71 c | 174122 | 2118 10253 31320 | 54644 50446 25 | 0.236 % |
116.37/116.49 c | 174995 | 2118 10253 31320 | 54644 51319 25 | 0.236 % |
117.37/117.43 c | 175953 | 2118 10253 31320 | 54644 52277 25 | 0.236 % |
118.27/118.38 c | 177006 | 2118 10253 31320 | 54644 53330 25 | 0.236 % |
119.37/119.49 c | 178165 | 2118 10253 31320 | 54644 54489 25 | 0.236 % |
120.67/120.77 c | 179441 | 2118 10253 31320 | 54644 46756 25 | 0.236 % |
121.97/122.02 c | 180842 | 2118 10253 31320 | 47316 40408 25 | 0.236 % |
123.18/123.25 c | 182383 | 2118 10253 31320 | 47316 41949 25 | 0.236 % |
124.57/124.67 c | 184078 | 2118 10253 31320 | 47316 43644 25 | 0.236 % |
126.37/126.43 c | 185942 | 2118 10253 31320 | 47316 45508 25 | 0.236 % |
126.48/126.52 c | 186042 | 2118 10253 31320 | 47316 45608 25 | 0.236 % |
126.57/126.63 c | 186153 | 2118 10253 31320 | 47316 45719 25 | 0.236 % |
126.67/126.73 c | 186277 | 2118 10253 31320 | 47316 45843 25 | 0.236 % |
126.77/126.83 c | 186410 | 2118 10253 31320 | 47316 45976 25 | 0.236 % |
126.77/126.89 c | 186556 | 2118 10253 31320 | 47316 46122 25 | 0.236 % |
126.97/127.07 c | 186718 | 2118 10253 31320 | 47316 46284 25 | 0.236 % |
127.07/127.16 c | 186896 | 2118 10253 31320 | 47316 46462 25 | 0.236 % |
127.27/127.38 c | 187089 | 2118 10253 31320 | 47316 46655 25 | 0.236 % |
127.47/127.62 c | 187301 | 2118 10253 31320 | 47316 46867 25 | 0.236 % |
127.67/127.79 c | 187534 | 2118 10253 31320 | 47316 47100 25 | 0.236 % |
127.87/127.99 c | 187791 | 2118 10253 31320 | 47316 47357 25 | 0.236 % |
128.17/128.24 c | 188072 | 2118 10253 31320 | 47316 40378 23 | 0.236 % |
128.57/128.63 c | 188381 | 2118 10253 31320 | 47316 40687 23 | 0.236 % |
128.87/128.95 c | 188724 | 2118 10253 31320 | 47316 41030 23 | 0.236 % |
129.17/129.28 c | 189097 | 2118 10253 31320 | 47316 41403 23 | 0.236 % |
129.57/129.68 c | 189506 | 2118 10253 31320 | 47316 41812 23 | 0.236 % |
130.07/130.14 c | 189955 | 2118 10253 31320 | 47316 42261 23 | 0.236 % |
130.57/130.67 c | 190448 | 2118 10253 31320 | 42306 35751 23 | 0.236 % |
130.97/131.07 c | 190992 | 2118 10253 31320 | 42306 36295 23 | 0.236 % |
131.37/131.49 c | 191588 | 2118 10253 31320 | 42306 36891 23 | 0.236 % |
131.98/132.09 c | 192243 | 2118 10253 31320 | 42306 37546 22 | 0.236 % |
132.47/132.55 c | 192966 | 2118 10253 31320 | 42306 38269 22 | 0.236 % |
133.08/133.20 c | 193760 | 2118 10253 31320 | 42306 39063 22 | 0.236 % |
133.87/133.96 c | 194631 | 2118 10253 31320 | 42306 39934 22 | 0.236 % |
134.67/134.79 c | 195590 | 2118 10253 31320 | 42306 40893 22 | 0.236 % |
135.67/135.72 c | 196646 | 2118 10253 31320 | 42306 41949 22 | 0.236 % |
136.57/136.66 c | 197804 | 2118 10253 31320 | 42306 37326 22 | 0.236 % |
137.17/137.24 c | 199078 | 2118 10253 31320 | 42306 38600 22 | 0.236 % |
137.87/137.98 c | 200479 | 2118 10253 31320 | 39522 40001 22 | 0.236 % |
138.77/138.86 c | 202019 | 2118 10253 31320 | 39522 37541 22 | 0.236 % |
139.68/139.73 c | 203713 | 2118 10253 31320 | 39522 39235 23 | 0.236 % |
140.67/140.79 c | 205577 | 2118 10253 31320 | 39522 37105 23 | 0.236 % |
141.77/141.87 c | 207627 | 2118 10253 31320 | 39522 39155 23 | 0.236 % |
141.88/141.93 c | 207727 | 2118 10253 31320 | 39522 39255 23 | 0.236 % |
141.88/141.99 c | 207839 | 2118 10253 31320 | 39522 39367 23 | 0.236 % |
141.97/142.05 c | 207960 | 2118 10253 31320 | 39522 39488 23 | 0.236 % |
142.07/142.14 c | 208093 | 2118 10253 31320 | 39522 39621 23 | 0.236 % |
142.27/142.37 c | 208241 | 2118 10253 31320 | 39522 35807 23 | 0.236 % |
142.37/142.46 c | 208402 | 2118 10253 31320 | 39522 35968 23 | 0.236 % |
142.47/142.57 c | 208578 | 2118 10253 31320 | 39522 36144 23 | 0.236 % |
142.57/142.69 c | 208773 | 2118 10253 31320 | 39522 36339 23 | 0.236 % |
142.67/142.79 c | 208985 | 2118 10253 31320 | 39522 36551 23 | 0.236 % |
142.77/142.90 c | 209218 | 2118 10253 31320 | 39522 36784 23 | 0.236 % |
142.98/143.03 c | 209474 | 2118 10253 31320 | 39522 37040 23 | 0.236 % |
143.07/143.17 c | 209756 | 2118 10253 31320 | 39522 37322 23 | 0.236 % |
143.27/143.33 c | 210067 | 2118 10253 31320 | 2147483647 37633 23 | 0.236 % |
143.47/143.57 c | 210408 | 2118 10253 31320 | 2147483647 37974 23 | 0.236 % |
143.67/143.78 c | 210780 | 2118 10253 31320 | 2147483647 38346 23 | 0.236 % |
143.97/144.01 c | 211189 | 2118 10253 31320 | 2147483647 38755 23 | 0.236 % |
144.17/144.29 c | 211638 | 2118 10253 31320 | 2147483647 39204 23 | 0.236 % |
144.47/144.55 c | 212131 | 2118 10253 31320 | 2147483647 39697 23 | 0.236 % |
144.77/144.89 c | 212674 | 2118 10253 31320 | 2147483647 40240 24 | 0.236 % |
145.07/145.18 c | 213271 | 2118 10253 31320 | 2147483647 40837 24 | 0.236 % |
145.47/145.56 c | 213926 | 2118 10253 31320 | 2147483647 41492 24 | 0.236 % |
145.97/146.05 c | 214647 | 2118 10253 31320 | 2147483647 42213 24 | 0.236 % |
146.47/146.59 c | 215441 | 2118 10253 31320 | 2147483647 43007 24 | 0.236 % |
146.97/147.09 c | 216312 | 2118 10253 31320 | 2147483647 43878 24 | 0.236 % |
147.57/147.63 c | 217271 | 2118 10253 31320 | 2147483647 44837 24 | 0.236 % |
148.27/148.37 c | 218324 | 2118 10253 31320 | 2147483647 45890 24 | 0.236 % |
149.07/149.13 c | 219484 | 2118 10253 31320 | 2147483647 47050 24 | 0.236 % |
149.98/150.06 c | 220757 | 2118 10253 31320 | 2147483647 48323 24 | 0.236 % |
150.98/151.12 c | 222159 | 2118 10253 31320 | 2147483647 49725 24 | 0.236 % |
152.18/152.25 c | 223699 | 2118 10253 31320 | 2147483647 51265 25 | 0.236 % |
153.48/153.54 c | 225393 | 2118 10253 31320 | 2147483647 52959 25 | 0.236 % |
154.88/155.00 c | 227259 | 2118 10253 31320 | 2147483647 54825 25 | 0.236 % |
156.58/156.66 c | 229309 | 2118 10253 31320 | 2147483647 56875 25 | 0.236 % |
158.88/158.98 c | 231562 | 2118 10253 31320 | 57566 51079 25 | 0.236 % |
159.08/159.12 c | 231664 | 2118 10253 31320 | 57566 51181 25 | 0.236 % |
159.08/159.21 c | 231775 | 2118 10253 31320 | 57566 51292 25 | 0.236 % |
159.28/159.33 c | 231896 | 2118 10253 31320 | 57566 51413 25 | 0.236 % |
159.38/159.44 c | 232029 | 2118 10253 31320 | 57566 51546 25 | 0.236 % |
159.48/159.60 c | 232178 | 2118 10253 31320 | 57566 51695 25 | 0.236 % |
159.68/159.72 c | 232339 | 2118 10253 31320 | 57566 51856 25 | 0.236 % |
159.78/159.86 c | 232516 | 2118 10253 31320 | 57566 52033 25 | 0.236 % |
159.98/160.04 c | 232710 | 2118 10253 31320 | 57566 52227 25 | 0.236 % |
160.18/160.22 c | 232924 | 2118 10253 31320 | 57566 52441 25 | 0.236 % |
160.28/160.41 c | 233157 | 2118 10253 31320 | 57566 52674 25 | 0.236 % |
160.48/160.57 c | 233418 | 2118 10253 31320 | 57566 52935 25 | 0.236 % |
160.68/160.79 c | 233700 | 2118 10253 31320 | 57566 53217 25 | 0.236 % |
160.88/160.97 c | 234009 | 2118 10253 31320 | 57566 53526 25 | 0.236 % |
161.18/161.26 c | 234350 | 2118 10253 31320 | 57566 53867 25 | 0.236 % |
161.48/161.53 c | 234724 | 2118 10253 31320 | 57566 54241 25 | 0.236 % |
161.78/161.88 c | 235134 | 2118 10253 31320 | 57566 54651 25 | 0.236 % |
162.08/162.19 c | 235583 | 2118 10253 31320 | 57566 55100 25 | 0.236 % |
162.78/162.89 c | 236077 | 2118 10253 31320 | 57566 55594 25 | 0.236 % |
163.28/163.39 c | 236620 | 2118 10253 31320 | 57566 56137 25 | 0.236 % |
163.88/163.95 c | 237216 | 2118 10253 31320 | 57566 56733 25 | 0.236 % |
164.58/164.62 c | 237871 | 2118 10253 31320 | 57566 57388 25 | 0.236 % |
165.38/165.51 c | 238591 | 2118 10253 31320 | 57566 47561 26 | 0.236 % |
166.08/166.16 c | 239383 | 2118 10253 31320 | 57566 48353 26 | 0.236 % |
166.78/166.86 c | 240255 | 2118 10253 31320 | 48971 49225 26 | 0.236 % |
167.48/167.58 c | 241213 | 2118 10253 31320 | 48971 41696 25 | 0.236 % |
168.28/168.32 c | 242267 | 2118 10253 31320 | 48971 42750 26 | 0.236 % |
168.98/169.09 c | 243425 | 2118 10253 31320 | 48971 43908 26 | 0.236 % |
169.88/170.00 c | 244699 | 2118 10253 31320 | 48971 45182 26 | 0.236 % |
170.88/170.93 c | 246099 | 2118 10253 31320 | 48971 46582 26 | 0.236 % |
171.98/172.06 c | 247639 | 2118 10253 31320 | 48971 48122 26 | 0.236 % |
173.48/173.55 c | 249335 | 2118 10253 31320 | 48971 43068 25 | 0.236 % |
174.78/174.87 c | 251201 | 2118 10253 31320 | 43734 39067 25 | 0.236 % |
176.08/176.17 c | 253252 | 2118 10253 31320 | 43734 41118 25 | 0.236 % |
177.78/177.82 c | 255506 | 2118 10253 31320 | 43734 43372 25 | 0.236 % |
179.48/179.57 c | 257984 | 2118 10253 31320 | 43734 40230 24 | 0.236 % |
179.58/179.67 c | 258087 | 2118 10253 31320 | 43734 40333 24 | 0.236 % |
179.68/179.76 c | 258197 | 2118 10253 31320 | 43734 40443 24 | 0.236 % |
179.78/179.87 c | 258318 | 2118 10253 31320 | 43734 40564 24 | 0.236 % |
179.88/179.97 c | 258453 | 2118 10253 31320 | 43734 40699 24 | 0.236 % |
179.98/180.06 c | 258599 | 2118 10253 31320 | 43734 40845 24 | 0.236 % |
180.08/180.20 c | 258760 | 2118 10253 31320 | 43734 41006 24 | 0.236 % |
180.18/180.30 c | 258936 | 2118 10253 31320 | 43734 41182 24 | 0.236 % |
180.38/180.42 c | 259131 | 2118 10253 31320 | 43734 41377 24 | 0.236 % |
180.48/180.52 c | 259343 | 2118 10253 31320 | 43734 41589 24 | 0.236 % |
180.58/180.69 c | 259576 | 2118 10253 31320 | 43734 41822 24 | 0.236 % |
180.78/180.91 c | 259833 | 2118 10253 31320 | 43734 42079 24 | 0.236 % |
181.08/181.13 c | 260114 | 2118 10253 31320 | 42249 42360 24 | 0.236 % |
181.28/181.41 c | 260423 | 2118 10253 31320 | 42249 37220 24 | 0.236 % |
181.58/181.65 c | 260764 | 2118 10253 31320 | 42249 37561 24 | 0.236 % |
181.78/181.85 c | 261136 | 2118 10253 31320 | 42249 37933 24 | 0.236 % |
181.98/182.07 c | 261546 | 2118 10253 31320 | 42249 38343 24 | 0.236 % |
182.28/182.32 c | 261995 | 2118 10253 31320 | 42249 38792 24 | 0.236 % |
182.48/182.59 c | 262489 | 2118 10253 31320 | 42249 39286 24 | 0.236 % |
182.78/182.90 c | 263032 | 2118 10253 31320 | 42249 39829 24 | 0.236 % |
183.38/183.43 c | 263629 | 2118 10253 31320 | 42249 40426 24 | 0.236 % |
183.78/183.89 c | 264284 | 2118 10253 31320 | 42249 41081 24 | 0.236 % |
184.38/184.48 c | 265006 | 2118 10253 31320 | 42249 41803 24 | 0.236 % |
184.88/185.01 c | 265798 | 2118 10253 31320 | 42249 42595 24 | 0.236 % |
185.58/185.68 c | 266670 | 2118 10253 31320 | 42249 39082 24 | 0.236 % |
186.28/186.41 c | 267628 | 2118 10253 31320 | 42249 40040 24 | 0.236 % |
187.18/187.24 c | 268681 | 2118 10253 31320 | 42249 41093 24 | 0.236 % |
188.18/188.22 c | 269840 | 2118 10253 31320 | 42249 42252 23 | 0.236 % |
189.18/189.29 c | 271113 | 2118 10253 31320 | 42413 38013 23 | 0.236 % |
189.88/190.01 c | 272516 | 2118 10253 31320 | 42413 39416 23 | 0.236 % |
190.98/191.04 c | 274056 | 2118 10253 31320 | 42413 40956 23 | 0.238 % |
191.88/191.96 c | 275751 | 2118 10253 31320 | 42413 42651 23 | 0.236 % |
193.28/193.34 c | 277616 | 2118 10253 31320 | 42413 40251 23 | 0.236 % |
194.58/194.64 c | 279665 | 2118 10253 31320 | 42413 42300 24 | 0.236 % |
195.88/195.92 c | 281919 | 2118 10253 31320 | 2147483647 44554 24 | 0.236 % |
197.58/197.62 c | 284397 | 2118 10253 31320 | 2147483647 47032 24 | 0.236 % |
199.38/199.44 c | 287122 | 2118 10253 31320 | 2147483647 49757 24 | 0.236 % |
199.38/199.50 c | 287224 | 2118 10253 31320 | 2147483647 49859 24 | 0.236 % |
199.48/199.58 c | 287334 | 2118 10253 31320 | 2147483647 49969 24 | 0.236 % |
199.58/199.67 c | 287458 | 2118 10253 31320 | 2147483647 50093 24 | 0.236 % |
199.68/199.72 c | 287591 | 2118 10253 31320 | 2147483647 50226 24 | 0.236 % |
199.78/199.85 c | 287738 | 2118 10253 31320 | 2147483647 50373 24 | 0.236 % |
199.88/199.95 c | 287899 | 2118 10253 31320 | 2147483647 50534 24 | 0.236 % |
199.98/200.08 c | 288076 | 2118 10253 31320 | 2147483647 50711 24 | 0.236 % |
200.18/200.25 c | 288269 | 2118 10253 31320 | 2147483647 50904 24 | 0.236 % |
200.38/200.45 c | 288482 | 2118 10253 31320 | 2147483647 51117 24 | 0.236 % |
200.58/200.63 c | 288716 | 2118 10253 31320 | 2147483647 51351 24 | 0.236 % |
200.78/200.86 c | 288973 | 2118 10253 31320 | 2147483647 51608 24 | 0.236 % |
200.98/201.08 c | 289257 | 2118 10253 31320 | 2147483647 51892 24 | 0.236 % |
201.28/201.35 c | 289566 | 2118 10253 31320 | 2147483647 52201 24 | 0.236 % |
201.58/201.65 c | 289905 | 2118 10253 31320 | 2147483647 52540 24 | 0.236 % |
201.88/201.92 c | 290280 | 2118 10253 31320 | 52636 52915 24 | 0.236 % |
202.28/202.37 c | 290689 | 2118 10253 31320 | 52636 48001 24 | 0.236 % |
202.58/202.69 c | 291138 | 2118 10253 31320 | 52636 48450 24 | 0.236 % |
203.08/203.19 c | 291632 | 2118 10253 31320 | 52636 48944 24 | 0.236 % |
203.48/203.52 c | 292174 | 2118 10253 31320 | 52636 49486 24 | 0.236 % |
203.88/204.01 c | 292771 | 2118 10253 31320 | 52636 50083 24 | 0.236 % |
204.58/204.64 c | 293426 | 2118 10253 31320 | 52636 50738 24 | 0.236 % |
205.28/205.33 c | 294146 | 2118 10253 31320 | 52636 51458 24 | 0.236 % |
205.88/205.92 c | 294938 | 2118 10253 31320 | 52636 52250 24 | 0.236 % |
206.78/206.86 c | 295811 | 2118 10253 31320 | 52636 45867 24 | 0.236 % |
207.48/207.60 c | 296770 | 2118 10253 31320 | 52636 46826 24 | 0.236 % |
208.38/208.51 c | 297825 | 2118 10253 31320 | 52636 47881 24 | 0.236 % |
209.48/209.59 c | 298985 | 2118 10253 31320 | 52636 49041 24 | 0.236 % |
210.48/210.57 c | 300259 | 2118 10253 31320 | 50056 50315 24 | 0.236 % |
211.78/211.81 c | 301659 | 2118 10253 31320 | 50056 44252 24 | 0.236 % |
213.08/213.12 c | 303199 | 2118 10253 31320 | 50056 45792 24 | 0.236 % |
214.78/214.87 c | 304893 | 2118 10253 31320 | 50056 47486 25 | 0.236 % |
216.48/216.58 c | 306757 | 2118 10253 31320 | 50056 49350 25 | 0.236 % |
218.48/218.58 c | 308806 | 2118 10253 31320 | 50056 43379 25 | 0.236 % |
220.28/220.32 c | 311060 | 2118 10253 31320 | 44573 38449 24 | 0.236 % |
222.08/222.21 c | 313540 | 2118 10253 31320 | 44573 40929 24 | 0.236 % |
223.98/224.04 c | 316265 | 2118 10253 31320 | 44573 43654 24 | 0.236 % |
226.18/226.31 c | 319263 | 2118 10253 31320 | 44573 40550 23 | 0.236 % |
226.28/226.38 c | 319363 | 2118 10253 31320 | 44573 40650 23 | 0.236 % |
226.38/226.46 c | 319473 | 2118 10253 31320 | 44573 40760 23 | 0.236 % |
226.48/226.57 c | 319595 | 2118 10253 31320 | 44573 40882 23 | 0.236 % |
226.59/226.69 c | 319728 | 2118 10253 31320 | 44573 41015 23 | 0.236 % |
226.68/226.80 c | 319875 | 2118 10253 31320 | 44573 41162 23 | 0.236 % |
226.88/226.92 c | 320035 | 2118 10253 31320 | 41287 41322 23 | 0.236 % |
226.98/227.09 c | 320212 | 2118 10253 31320 | 41287 35898 22 | 0.236 % |
227.18/227.22 c | 320407 | 2118 10253 31320 | 41287 36093 22 | 0.236 % |
227.28/227.39 c | 320619 | 2118 10253 31320 | 41287 36305 22 | 0.236 % |
227.48/227.52 c | 320853 | 2118 10253 31320 | 41287 36539 22 | 0.236 % |
227.58/227.69 c | 321111 | 2118 10253 31320 | 41287 36797 22 | 0.236 % |
227.78/227.89 c | 321393 | 2118 10253 31320 | 41287 37079 23 | 0.236 % |
228.08/228.12 c | 321702 | 2118 10253 31320 | 41287 37388 23 | 0.236 % |
228.18/228.31 c | 322041 | 2118 10253 31320 | 41287 37727 23 | 0.236 % |
228.48/228.55 c | 322413 | 2118 10253 31320 | 41287 38099 23 | 0.236 % |
228.79/228.88 c | 322822 | 2118 10253 31320 | 41287 38508 23 | 0.236 % |
229.08/229.19 c | 323272 | 2118 10253 31320 | 41287 38958 23 | 0.236 % |
229.48/229.52 c | 323766 | 2118 10253 31320 | 41287 39452 23 | 0.236 % |
229.89/229.97 c | 324309 | 2118 10253 31320 | 41287 39995 23 | 0.236 % |
230.38/230.48 c | 324905 | 2118 10253 31320 | 41287 40591 23 | 0.236 % |
230.88/230.95 c | 325560 | 2118 10253 31320 | 41287 41246 23 | 0.236 % |
231.58/231.64 c | 326282 | 2118 10253 31320 | 41287 37819 22 | 0.236 % |
232.18/232.24 c | 327076 | 2118 10253 31320 | 41287 38613 22 | 0.236 % |
232.78/232.90 c | 327947 | 2118 10253 31320 | 41287 39484 22 | 0.236 % |
233.48/233.58 c | 328907 | 2118 10253 31320 | 41287 40444 22 | 0.236 % |
234.48/234.52 c | 329963 | 2118 10253 31320 | 41287 37129 22 | 0.236 % |
235.28/235.33 c | 331121 | 2118 10253 31320 | 37167 34529 21 | 0.236 % |
236.08/236.14 c | 332394 | 2118 10253 31320 | 37167 35802 21 | 0.236 % |
237.08/237.16 c | 333794 | 2118 10253 31320 | 37167 37202 21 | 0.236 % |
238.18/238.23 c | 335334 | 2118 10253 31320 | 37167 35022 21 | 0.236 % |
239.28/239.41 c | 337028 | 2118 10253 31320 | 37167 36716 21 | 0.236 % |
240.58/240.63 c | 338891 | 2118 10253 31320 | 37167 34836 21 | 0.236 % |
242.08/242.14 c | 340944 | 2118 10253 31320 | 2147483647 36889 21 | 0.236 % |
243.09/243.12 c | 343197 | 2118 10253 31320 | 2147483647 39142 21 | 0.236 % |
243.98/244.03 c ===============================================================================
243.98/244.03 c restarts : 739
243.98/244.03 c conflicts : 343935 (1411 /sec)
243.98/244.03 c decisions : 446797 (1.37 % random) (1833 /sec)
243.98/244.03 c propagations : 89171363 (365801 /sec)
243.98/244.03 c conflict literals : 9447417 (52.04 % deleted)
243.98/244.03 c Memory used : 13.01 MB
243.98/244.03 c CPU time : 243.77 s
243.98/244.03 c
243.98/244.03 s UNSATISFIABLE
243.98/244.03 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821934-1242580662/watcher-1821934-1242580662 -o /tmp/evaluation-result-1821934-1242580662/solver-1821934-1242580662 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821934-1242580662.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.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2416 CPUtime=0
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 367 647 0 0 0 0 0 0 20 0 1 0 1022567018 2473984 277 4294967295 134512640 135169312 3220183632 3220182168 3085139694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1990/statm: 604 277 235 161 0 43 0
[pid=1994] ppid=1990 vsize=952 CPUtime=0
/proc/1994/stat : 1994 (SatELite_releas) R 1990 1990 10114 0 -1 4202496 134 0 0 0 0 0 0 0 22 0 1 0 1022567018 974848 71 4294967295 134512640 135223648 3219298656 3219297252 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1994/statm: 238 76 45 174 0 63 0
[startup+0.098828 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2416 CPUtime=0
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 367 647 0 0 0 0 0 0 20 0 1 0 1022567018 2473984 277 4294967295 134512640 135169312 3220183632 3220182168 3085139694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1990/statm: 604 277 235 161 0 43 0
[pid=1994] ppid=1990 vsize=5412 CPUtime=0.1
/proc/1994/stat : 1994 (SatELite_releas) R 1990 1990 10114 0 -1 4202496 1203 0 0 0 10 0 0 0 23 0 1 0 1022567018 5541888 1080 4294967295 134512640 135223648 3219298656 3219296656 134547920 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1994/statm: 1353 1080 73 174 0 1178 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 7828
[startup+0.108828 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2416 CPUtime=0
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 367 647 0 0 0 0 0 0 20 0 1 0 1022567018 2473984 277 4294967295 134512640 135169312 3220183632 3220182168 3085139694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/1990/statm: 604 277 235 161 0 43 0
[pid=1994] ppid=1990 vsize=5568 CPUtime=0.11
/proc/1994/stat : 1994 (SatELite_releas) R 1990 1990 10114 0 -1 4202496 1217 0 0 0 11 0 0 0 23 0 1 0 1022567018 5701632 1094 4294967295 134512640 135223648 3219298656 3219296604 134575520 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1994/statm: 1392 1094 73 174 0 1217 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 7984
[startup+0.308818 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2420
[startup+0.708799 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 1990
/proc/meminfo: memFree=981172/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 2420
[startup+1.50876 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1996
/proc/meminfo: memFree=979280/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=3256 CPUtime=1.28
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 541 0 0 0 128 0 0 0 25 0 1 0 1022567039 3334144 476 4294967295 134512640 135215339 3213323280 3213321568 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1996/statm: 814 476 72 172 0 641 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5676
[startup+3.10868 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1996
/proc/meminfo: memFree=978412/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=4728 CPUtime=2.86
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 918 0 0 0 286 0 0 0 25 0 1 0 1022567039 4841472 853 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1996/statm: 1182 853 72 172 0 1009 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7148
[startup+6.30853 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2179
/proc/meminfo: memFree=975744/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=6488 CPUtime=6.06
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 1363 0 0 0 606 0 0 0 25 0 1 0 1022567039 6643712 1298 4294967295 134512640 135215339 3213323280 3213321568 134528811 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1996/statm: 1622 1298 72 172 0 1449 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 8908
[startup+12.7082 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2179
/proc/meminfo: memFree=974112/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=8672 CPUtime=12.45
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 1899 0 0 0 1245 0 0 0 25 0 1 0 1022567039 8880128 1834 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 2168 1834 72 172 0 1995 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11092
[startup+25.5076 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2181
/proc/meminfo: memFree=971324/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=11416 CPUtime=25.25
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2587 0 0 0 2525 0 0 0 25 0 1 0 1022567039 11689984 2522 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 2854 2522 72 172 0 2681 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13836
[startup+51.1163 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2183
/proc/meminfo: memFree=970676/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=12220 CPUtime=50.86
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2756 0 0 0 5086 0 0 0 25 0 1 0 1022567039 12513280 2691 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3055 2691 72 172 0 2882 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14640
[startup+102.324 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2370
/proc/meminfo: memFree=969932/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=12828 CPUtime=102.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2894 0 0 0 10206 1 0 0 25 0 1 0 1022567039 13135872 2829 4294967295 134512640 135215339 3213323280 3213321568 134528714 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3207 2829 72 172 0 3034 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 15248
[startup+162.321 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2564
/proc/meminfo: memFree=969652/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=12984 CPUtime=162.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2940 0 0 0 16206 1 0 0 25 0 1 0 1022567039 13295616 2875 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3246 2875 72 172 0 3073 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 15404
[startup+222.318 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969032/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=222.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2985 0 0 0 22206 1 0 0 25 0 1 0 1022567039 13488128 2920 4294967295 134512640 135215339 3213323280 3213321568 134529148 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2920 72 172 0 3120 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 15592
Solver just ended. Dumping a history of the last processes samples
[startup+230.318 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969048/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=230.07
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 23006 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321568 134528700 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 230.28
Current children cumulated vsize (KiB) 15592
[startup+236.717 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969048/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=236.47
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 23646 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321568 134528875 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 236.68
Current children cumulated vsize (KiB) 15592
[startup+239.917 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2760
/proc/meminfo: memFree=969048/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=239.67
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 23966 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321264 134545661 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 239.88
Current children cumulated vsize (KiB) 15592
[startup+241.517 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=241.27
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2995 0 0 0 24126 1 0 0 25 0 1 0 1022567039 13488128 2930 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2930 72 172 0 3120 0
Current children cumulated CPU time (s) 241.48
Current children cumulated vsize (KiB) 15592
[startup+243.127 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13172 CPUtime=242.88
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 2998 0 0 0 24287 1 0 0 25 0 1 0 1022567039 13488128 2933 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3293 2933 72 172 0 3120 0
Current children cumulated CPU time (s) 243.09
Current children cumulated vsize (KiB) 15592
[startup+243.517 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13320 CPUtime=243.27
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 3019 0 0 0 24326 1 0 0 25 0 1 0 1022567039 13639680 2954 4294967295 134512640 135215339 3213323280 3213321344 134539280 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3330 2954 72 172 0 3157 0
Current children cumulated CPU time (s) 243.48
Current children cumulated vsize (KiB) 15740
[startup+243.917 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13320 CPUtime=243.67
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 3019 0 0 0 24366 1 0 0 25 0 1 0 1022567039 13639680 2954 4294967295 134512640 135215339 3213323280 3213321488 134526145 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3330 2954 72 172 0 3157 0
Current children cumulated CPU time (s) 243.88
Current children cumulated vsize (KiB) 15740
[startup+244.017 s]
/proc/loadavg: 1.03 1.01 1.00 2/95 2761
/proc/meminfo: memFree=969040/2074464 swapFree=1950884/1959888
[pid=1990] ppid=1988 vsize=2420 CPUtime=0.21
/proc/1990/stat : 1990 (SatELiteGTI) S 1988 1990 10114 0 -1 4194304 386 1944 0 0 0 0 20 1 19 0 1 0 1022567018 2478080 278 4294967295 134512640 135169312 3220183632 3220179848 3085139694 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1990/statm: 605 278 235 161 0 44 0
[pid=1996] ppid=1990 vsize=13320 CPUtime=243.77
/proc/1996/stat : 1996 (minisat_static) R 1990 1990 10114 0 -1 4202496 3019 0 0 0 24376 1 0 0 25 0 1 0 1022567039 13639680 2954 4294967295 134512640 135215339 3213323280 3213321568 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1996/statm: 3330 2954 72 172 0 3157 0
Current children cumulated CPU time (s) 243.98
Current children cumulated vsize (KiB) 15740
Child status: 20
Real time (s): 244.036
CPU time (s): 243.99
CPU user time (s): 243.97
CPU system time (s): 0.02
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 15740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.97
system time used= 0.02
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5629
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= 25
involuntary context switches= 728
runsolver used 0 second user time and 0.02 second system time
The end
Begin job on tipi13 at 2009-05-17 19:17:42
IDJOB=1821934
IDBENCH=71741
IDSOLVER=657
FILE ID=tipi13/1821934-1242580662
PBS_JOBID=
Free space on /tmp= 6599 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/simon-s02b-dp11u10.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821934-1242580662/watcher-1821934-1242580662 -o /tmp/evaluation-result-1821934-1242580662/solver-1821934-1242580662 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821934-1242580662.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bd35ccd857138682818061a3fbcb7546
RANDOM SEED= 852366323
Linux tipi13 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.475
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.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
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.475
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: 981172 kB
Buffers: 42216 kB
Cached: 935136 kB
SwapCached: 3428 kB
Active: 365108 kB
Inactive: 621672 kB
HighTotal: 1178688 kB
HighFree: 345692 kB
LowTotal: 895776 kB
LowFree: 635480 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 2140 kB
Writeback: 0 kB
AnonPages: 8628 kB
Mapped: 3044 kB
Slab: 97632 kB
PageTables: 488 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90604 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 6599 MiB
End job on tipi13 at 2009-05-17 19:21:46