0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.03 c | 0 | 24658 57931 | 7397 0 0 nan | 0.000 % |
0.00/0.21 c | 0 | 10352 31518 | -- 0 -- -- | -- | -12019/-20697
0.00/0.21 c ==============================================================================
0.00/0.21 c Result : #vars: 2123 #clauses: 10352 #literals: 31518
0.00/0.21 c CPU time: 0.202969 s
0.00/0.21 c ==============================================================================
0.00/0.22 c This is MiniSat 2.0 beta
0.00/0.22 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.22 c ============================[ Problem Statistics ]=============================
0.00/0.22 c | |
0.00/0.22 c | Number of variables: 2123 |
0.00/0.22 c | Number of clauses: 10352 |
0.00/0.23 c | Parsing time: 0.01 s |
0.00/0.23 c ============================[ Search Statistics ]==============================
0.00/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.23 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.23 c ===============================================================================
0.00/0.23 c | 0 | 2123 10352 31518 | 3450 0 nan | 0.000 % |
0.00/0.24 c | 100 | 2123 10352 31518 | 3450 100 8 | 0.000 % |
0.00/0.25 c | 201 | 2123 10352 31518 | 3450 201 13 | 0.000 % |
0.00/0.26 c | 301 | 2123 10352 31518 | 3450 301 11 | 0.000 % |
0.00/0.27 c | 412 | 2123 10352 31518 | 3450 412 12 | 0.000 % |
0.00/0.28 c | 512 | 2123 10352 31518 | 3450 512 12 | 0.000 % |
0.00/0.28 c | 624 | 2123 10352 31518 | 3450 624 12 | 0.000 % |
0.00/0.29 c | 746 | 2123 10352 31518 | 3450 746 12 | 0.000 % |
0.21/0.31 c | 846 | 2123 10352 31518 | 3450 846 14 | 0.000 % |
0.21/0.31 c | 957 | 2123 10352 31518 | 3450 957 14 | 0.000 % |
0.21/0.33 c | 1080 | 2123 10352 31518 | 3450 1080 16 | 0.000 % |
0.21/0.34 c | 1213 | 2123 10352 31518 | 3450 1213 15 | 0.000 % |
0.21/0.35 c | 1316 | 2123 10352 31518 | 3450 1316 17 | 0.000 % |
0.21/0.36 c | 1426 | 2123 10352 31518 | 3450 1426 18 | 0.000 % |
0.21/0.38 c | 1547 | 2123 10352 31518 | 3450 1547 19 | 0.000 % |
0.21/0.39 c | 1680 | 2122 10330 31474 | 3450 1672 19 | 0.053 % |
0.21/0.41 c | 1827 | 2122 10330 31474 | 3450 1819 20 | 0.047 % |
0.21/0.42 c | 1928 | 2122 10330 31474 | 3450 1920 20 | 0.047 % |
0.21/0.43 c | 2038 | 2122 10330 31474 | 3450 2030 21 | 0.047 % |
0.21/0.45 c | 2159 | 2121 10308 31430 | 3450 2148 21 | 0.095 % |
0.21/0.47 c | 2292 | 2121 10308 31430 | 3450 2281 22 | 0.094 % |
0.21/0.49 c | 2439 | 2121 10308 31430 | 3450 2428 23 | 0.095 % |
0.21/0.50 c | 2599 | 2121 10308 31430 | 3450 2588 23 | 0.095 % |
0.21/0.52 c | 2699 | 2121 10308 31430 | 3450 2688 23 | 0.095 % |
0.21/0.53 c | 2809 | 2121 10308 31430 | 3450 2798 24 | 0.095 % |
0.21/0.55 c | 2931 | 2121 10308 31430 | 3450 2920 24 | 0.094 % |
0.21/0.57 c | 3064 | 2121 10308 31430 | 3450 3053 24 | 0.094 % |
0.21/0.59 c | 3210 | 2121 10308 31430 | 3450 3199 24 | 0.095 % |
0.21/0.61 c | 3371 | 2121 10308 31430 | 3450 3360 24 | 0.095 % |
0.21/0.63 c | 3548 | 2121 10308 31430 | 3450 3537 25 | 0.094 % |
0.21/0.64 c | 3649 | 2121 10308 31430 | 3450 3285 25 | 0.094 % |
0.21/0.66 c | 3761 | 2121 10308 31430 | 3450 3397 25 | 0.094 % |
0.21/0.67 c | 3882 | 2121 10308 31430 | 3450 3518 25 | 0.095 % |
0.21/0.68 c | 4015 | 2121 10308 31430 | 3450 3300 24 | 0.094 % |
0.21/0.70 c | 4161 | 2121 10308 31430 | 3450 3446 24 | 0.094 % |
0.21/0.72 c | 4322 | 2121 10308 31430 | 3450 3607 24 | 0.094 % |
0.21/0.74 c | 4499 | 2121 10308 31430 | 3450 3424 24 | 0.094 % |
0.21/0.77 c | 4693 | 2121 10308 31430 | 3450 3618 25 | 0.095 % |
0.21/0.78 c | 4793 | 2121 10308 31430 | 3450 3357 24 | 0.094 % |
0.21/0.80 c | 4903 | 2121 10308 31430 | 3450 3467 24 | 0.095 % |
0.21/0.82 c | 5024 | 2121 10308 31430 | 3450 3242 24 | 0.094 % |
0.21/0.84 c | 5158 | 2121 10308 31430 | 3450 3376 24 | 0.095 % |
0.21/0.86 c | 5307 | 2121 10308 31430 | 3450 3525 24 | 0.095 % |
0.21/0.88 c | 5468 | 2121 10308 31430 | 3450 3334 23 | 0.095 % |
0.21/0.90 c | 5645 | 2121 10308 31430 | 3450 3511 23 | 0.094 % |
0.21/0.93 c | 5839 | 2121 10308 31430 | 3450 3354 24 | 0.094 % |
0.21/0.96 c | 6051 | 2121 10308 31430 | 3450 3566 25 | 0.094 % |
0.21/0.97 c | 6151 | 2121 10308 31430 | 3450 3310 24 | 0.094 % |
0.21/0.99 c | 6261 | 2121 10308 31430 | 3450 3420 24 | 0.095 % |
0.97/1.01 c | 6383 | 2121 10308 31430 | 3450 3542 24 | 0.095 % |
0.97/1.03 c | 6516 | 2121 10308 31430 | 3450 3321 25 | 0.094 % |
0.97/1.06 c | 6664 | 2121 10308 31430 | 3450 3469 25 | 0.095 % |
0.97/1.08 c | 6826 | 2121 10308 31430 | 3450 3285 25 | 0.095 % |
1.07/1.11 c | 7004 | 2121 10308 31430 | 3450 3463 25 | 0.095 % |
1.07/1.13 c | 7199 | 2121 10308 31430 | 3450 3312 24 | 0.095 % |
1.07/1.16 c | 7411 | 2121 10308 31430 | 3450 3524 24 | 0.095 % |
1.17/1.20 c | 7646 | 2121 10308 31430 | 3450 3407 25 | 0.095 % |
1.17/1.21 c | 7746 | 2121 10308 31430 | 3450 3507 25 | 0.095 % |
1.17/1.23 c | 7856 | 2121 10308 31430 | 3450 3267 25 | 0.094 % |
1.17/1.25 c | 7980 | 2121 10308 31430 | 3450 3391 25 | 0.094 % |
1.17/1.27 c | 8114 | 2121 10308 31430 | 3450 3525 25 | 0.094 % |
1.17/1.29 c | 8262 | 2121 10308 31430 | 3450 3321 25 | 0.095 % |
1.27/1.32 c | 8422 | 2121 10308 31430 | 3450 3481 25 | 0.094 % |
1.27/1.35 c | 8598 | 2121 10308 31430 | 3450 3309 25 | 0.095 % |
1.27/1.38 c | 8791 | 2121 10308 31430 | 3450 3502 26 | 0.095 % |
1.37/1.41 c | 9003 | 2121 10308 31430 | 3450 3364 26 | 0.094 % |
1.37/1.44 c | 9237 | 2121 10308 31430 | 3450 3598 26 | 0.094 % |
1.37/1.46 c | 9493 | 2121 10308 31430 | 3450 3495 24 | 0.095 % |
1.37/1.48 c | 9593 | 2121 10308 31430 | 3450 3246 23 | 0.095 % |
1.37/1.49 c | 9703 | 2121 10308 31430 | 3450 3356 23 | 0.095 % |
1.47/1.50 c | 9824 | 2121 10308 31430 | 3450 3477 23 | 0.095 % |
1.47/1.52 c | 9957 | 2121 10308 31430 | 3450 3263 22 | 0.095 % |
1.47/1.54 c | 10104 | 2121 10308 31430 | 2147483647 3410 22 | 0.094 % |
1.47/1.57 c | 10264 | 2121 10308 31430 | 2147483647 3570 23 | 0.095 % |
1.47/1.59 c | 10440 | 2121 10308 31430 | 2147483647 3746 23 | 0.094 % |
1.57/1.62 c | 10634 | 2121 10308 31430 | 2147483647 3940 24 | 0.094 % |
1.57/1.65 c | 10847 | 2121 10308 31430 | 2147483647 4153 25 | 0.094 % |
1.57/1.69 c | 11081 | 2121 10308 31430 | 2147483647 4387 25 | 0.095 % |
1.67/1.72 c | 11339 | 2121 10308 31430 | 2147483647 4645 25 | 0.095 % |
1.67/1.76 c | 11621 | 2121 10308 31430 | 2147483647 4927 25 | 0.095 % |
1.67/1.78 c | 11722 | 2121 10308 31430 | 2147483647 5028 25 | 0.094 % |
1.67/1.79 c | 11833 | 2121 10308 31430 | 2147483647 5139 25 | 0.094 % |
1.77/1.82 c | 11959 | 2121 10308 31430 | 2147483647 5265 26 | 0.095 % |
1.77/1.84 c | 12092 | 2121 10308 31430 | 2147483647 5398 26 | 0.095 % |
1.77/1.87 c | 12238 | 2121 10308 31430 | 2147483647 5544 26 | 0.094 % |
1.87/1.90 c | 12399 | 2121 10308 31430 | 2147483647 5705 26 | 0.095 % |
1.87/1.93 c | 12576 | 2121 10308 31430 | 2147483647 5882 27 | 0.095 % |
1.87/1.97 c | 12769 | 2121 10308 31430 | 2147483647 6075 27 | 0.094 % |
1.97/2.01 c | 12982 | 2121 10308 31430 | 2147483647 6288 27 | 0.095 % |
1.97/2.06 c | 13216 | 2121 10308 31430 | 2147483647 6522 28 | 0.094 % |
2.07/2.11 c | 13472 | 2121 10308 31430 | 2147483647 6778 28 | 0.094 % |
2.07/2.16 c | 13754 | 2121 10308 31430 | 2147483647 7060 29 | 0.094 % |
2.17/2.23 c | 14064 | 2121 10308 31430 | 2147483647 7370 29 | 0.095 % |
2.17/2.25 c | 14164 | 2121 10308 31430 | 2147483647 7470 29 | 0.094 % |
2.17/2.28 c | 14274 | 2121 10308 31430 | 2147483647 7580 29 | 0.095 % |
2.27/2.31 c | 14395 | 2121 10308 31430 | 2147483647 7701 29 | 0.095 % |
2.27/2.34 c | 14530 | 2121 10308 31430 | 2147483647 7836 29 | 0.094 % |
2.27/2.36 c | 14677 | 2121 10308 31430 | 2147483647 7983 29 | 0.094 % |
2.27/2.39 c | 14837 | 2121 10308 31430 | 2147483647 8143 29 | 0.094 % |
2.37/2.42 c | 15014 | 2121 10308 31430 | 2147483647 8320 29 | 0.094 % |
2.37/2.46 c | 15208 | 2121 10308 31430 | 2147483647 8514 29 | 0.095 % |
2.47/2.51 c | 15420 | 2121 10308 31430 | 2147483647 8726 30 | 0.094 % |
2.47/2.55 c | 15653 | 2121 10308 31430 | 2147483647 8959 30 | 0.094 % |
2.47/2.59 c | 15911 | 2121 10308 31430 | 2147483647 9217 30 | 0.094 % |
2.57/2.65 c | 16193 | 2121 10308 31430 | 2147483647 9499 30 | 0.096 % |
2.67/2.71 c | 16503 | 2121 10308 31430 | 2147483647 9809 31 | 0.095 % |
2.67/2.79 c | 16843 | 2121 10308 31430 | 2147483647 10149 31 | 0.095 % |
2.77/2.81 c | 16943 | 2121 10308 31430 | 2147483647 10249 31 | 0.094 % |
2.77/2.84 c | 17053 | 2121 10308 31430 | 2147483647 10359 31 | 0.095 % |
2.77/2.88 c | 17175 | 2121 10308 31430 | 2147483647 10481 31 | 0.095 % |
2.87/2.91 c | 17308 | 2121 10308 31430 | 2147483647 10614 31 | 0.095 % |
2.87/2.95 c | 17455 | 2121 10308 31430 | 2147483647 10761 31 | 0.095 % |
2.87/2.99 c | 17615 | 2121 10308 31430 | 2147483647 10921 31 | 0.095 % |
2.97/3.03 c | 17793 | 2121 10308 31430 | 2147483647 11099 31 | 0.095 % |
2.97/3.06 c | 17988 | 2121 10308 31430 | 2147483647 11294 31 | 0.095 % |
3.07/3.12 c | 18200 | 2121 10308 31430 | 2147483647 11506 31 | 0.094 % |
3.07/3.17 c | 18433 | 2121 10308 31430 | 2147483647 11739 31 | 0.095 % |
3.17/3.23 c | 18693 | 2121 10308 31430 | 2147483647 11999 32 | 0.095 % |
3.17/3.30 c | 18974 | 2121 10308 31430 | 2147483647 12280 32 | 0.094 % |
3.27/3.37 c | 19283 | 2121 10308 31430 | 2147483647 12589 32 | 0.094 % |
3.37/3.46 c | 19622 | 2121 10308 31430 | 2147483647 12928 32 | 0.094 % |
3.47/3.55 c | 19996 | 2121 10308 31430 | 2147483647 13302 32 | 0.094 % |
3.47/3.58 c | 20096 | 2121 10308 31430 | 2147483647 13402 32 | 0.095 % |
3.57/3.61 c | 20206 | 2121 10308 31430 | 2147483647 13512 32 | 0.095 % |
3.57/3.64 c | 20328 | 2121 10308 31430 | 2147483647 13634 32 | 0.095 % |
3.57/3.67 c | 20464 | 2121 10308 31430 | 2147483647 13770 32 | 0.095 % |
3.67/3.71 c | 20610 | 2121 10308 31430 | 2147483647 13916 32 | 0.095 % |
3.67/3.75 c | 20770 | 2121 10308 31430 | 2147483647 14076 32 | 0.094 % |
3.67/3.79 c | 20946 | 2121 10308 31430 | 2147483647 14252 32 | 0.094 % |
3.77/3.84 c | 21140 | 2121 10308 31430 | 2147483647 14446 32 | 0.094 % |
3.87/3.90 c | 21352 | 2121 10308 31430 | 2147483647 14658 32 | 0.095 % |
3.87/3.97 c | 21586 | 2121 10308 31430 | 2147483647 14892 32 | 0.094 % |
3.97/4.03 c | 21842 | 2121 10308 31430 | 2147483647 15148 32 | 0.095 % |
4.06/4.13 c | 22123 | 2120 10297 31408 | 2147483647 15422 32 | 0.141 % |
4.06/4.19 c | 22433 | 2120 10297 31408 | 2147483647 15732 32 | 0.142 % |
4.27/4.30 c | 22772 | 2120 10297 31408 | 2147483647 16071 32 | 0.141 % |
4.37/4.42 c | 23144 | 2120 10297 31408 | 2147483647 16443 33 | 0.141 % |
4.46/4.53 c | 23553 | 2120 10297 31408 | 2147483647 16852 33 | 0.141 % |
4.46/4.57 c | 23653 | 2120 10297 31408 | 2147483647 16952 33 | 0.142 % |
4.56/4.60 c | 23765 | 2120 10297 31408 | 2147483647 17064 33 | 0.141 % |
4.56/4.64 c | 23886 | 2120 10297 31408 | 2147483647 17185 33 | 0.141 % |
4.56/4.68 c | 24019 | 2120 10297 31408 | 2147483647 17318 33 | 0.142 % |
4.66/4.73 c | 24165 | 2120 10297 31408 | 2147483647 17464 33 | 0.142 % |
4.66/4.78 c | 24326 | 2120 10297 31408 | 2147483647 17625 33 | 0.142 % |
4.76/4.83 c | 24503 | 2120 10297 31408 | 2147483647 17802 33 | 0.141 % |
4.76/4.88 c | 24696 | 2120 10297 31408 | 2147483647 17995 33 | 0.141 % |
4.86/4.93 c | 24908 | 2120 10297 31408 | 2147483647 18207 33 | 0.141 % |
4.96/5.00 c | 25141 | 2120 10297 31408 | 2147483647 18440 33 | 0.141 % |
4.96/5.08 c | 25398 | 2120 10297 31408 | 2147483647 18697 33 | 0.143 % |
5.06/5.18 c | 25681 | 2120 10297 31408 | 2147483647 18980 33 | 0.142 % |
5.16/5.28 c | 25990 | 2120 10297 31408 | 2147483647 19289 33 | 0.141 % |
5.37/5.40 c | 26329 | 2120 10297 31408 | 2147483647 19628 33 | 0.141 % |
5.47/5.55 c | 26701 | 2120 10297 31408 | 2147483647 20000 33 | 0.141 % |
5.56/5.68 c | 27110 | 2120 10297 31408 | 2147483647 20409 33 | 0.141 % |
5.76/5.85 c | 27560 | 2120 10297 31408 | 2147483647 20859 33 | 0.141 % |
5.76/5.88 c | 27660 | 2120 10297 31408 | 2147483647 20959 33 | 0.142 % |
5.86/5.93 c | 27770 | 2120 10297 31408 | 2147483647 21069 33 | 0.141 % |
5.86/5.99 c | 27893 | 2120 10297 31408 | 2147483647 21192 33 | 0.142 % |
5.96/6.04 c | 28028 | 2120 10297 31408 | 2147483647 21327 33 | 0.141 % |
5.96/6.09 c | 28175 | 2120 10297 31408 | 2147483647 21474 33 | 0.141 % |
6.06/6.13 c | 28338 | 2120 10297 31408 | 2147483647 21637 33 | 0.142 % |
6.06/6.18 c | 28515 | 2120 10297 31408 | 2147483647 21814 33 | 0.145 % |
6.16/6.26 c | 28708 | 2120 10297 31408 | 2147483647 22007 33 | 0.142 % |
6.26/6.34 c | 28920 | 2120 10297 31408 | 2147483647 22219 33 | 0.141 % |
6.36/6.42 c | 29154 | 2120 10297 31408 | 2147483647 22453 33 | 0.141 % |
6.47/6.52 c | 29410 | 2120 10297 31408 | 2147483647 22709 33 | 0.142 % |
6.57/6.64 c | 29691 | 2120 10297 31408 | 2147483647 22990 33 | 0.141 % |
6.66/6.78 c | 30002 | 2120 10297 31408 | 2147483647 23301 33 | 0.142 % |
6.76/6.90 c | 30341 | 2120 10297 31408 | 2147483647 23640 33 | 0.142 % |
6.97/7.02 c | 30714 | 2120 10297 31408 | 2147483647 24013 33 | 0.142 % |
7.07/7.18 c | 31123 | 2120 10297 31408 | 2147483647 24422 33 | 0.141 % |
7.37/7.41 c | 31572 | 2120 10297 31408 | 2147483647 24871 33 | 0.141 % |
7.47/7.58 c | 32065 | 2120 10297 31408 | 2147483647 25364 33 | 0.142 % |
7.57/7.62 c | 32165 | 2120 10297 31408 | 2147483647 25464 33 | 0.142 % |
7.57/7.68 c | 32276 | 2120 10297 31408 | 2147483647 25575 33 | 0.142 % |
7.67/7.76 c | 32397 | 2120 10297 31408 | 2147483647 25696 33 | 0.142 % |
7.77/7.81 c | 32532 | 2120 10297 31408 | 2147483647 25831 33 | 0.141 % |
7.77/7.86 c | 32679 | 2120 10297 31408 | 2147483647 25978 33 | 0.141 % |
7.87/7.93 c | 32839 | 2120 10297 31408 | 2147483647 26138 33 | 0.142 % |
7.97/8.01 c | 33016 | 2120 10297 31408 | 2147483647 26315 33 | 0.141 % |
7.97/8.08 c | 33209 | 2120 10297 31408 | 2147483647 26508 33 | 0.141 % |
8.07/8.15 c | 33422 | 2120 10297 31408 | 2147483647 26721 33 | 0.141 % |
8.17/8.24 c | 33655 | 2120 10297 31408 | 2147483647 26954 33 | 0.141 % |
8.27/8.35 c | 33912 | 2120 10297 31408 | 2147483647 27211 33 | 0.141 % |
8.37/8.48 c | 34193 | 2120 10297 31408 | 2147483647 27492 33 | 0.141 % |
8.57/8.63 c | 34502 | 2120 10297 31408 | 2147483647 27801 33 | 0.142 % |
8.67/8.76 c | 34842 | 2119 10275 31364 | 2147483647 27454 34 | 0.189 % |
8.87/8.96 c | 35215 | 2119 10275 31364 | 2147483647 27827 34 | 0.189 % |
8.97/9.07 c | 35624 | 2119 10275 31364 | 2147483647 28236 33 | 0.189 % |
9.17/9.26 c | 36073 | 2119 10275 31364 | 2147483647 28685 33 | 0.189 % |
9.37/9.44 c | 36566 | 2119 10275 31364 | 2147483647 29178 33 | 0.188 % |
9.57/9.69 c | 37108 | 2119 10275 31364 | 2147483647 29720 33 | 0.190 % |
9.67/9.73 c | 37210 | 2119 10275 31364 | 2147483647 29822 33 | 0.189 % |
9.67/9.80 c | 37320 | 2119 10275 31364 | 2147483647 29932 33 | 0.188 % |
9.77/9.87 c | 37443 | 2119 10275 31364 | 2147483647 30055 33 | 0.189 % |
9.87/9.93 c | 37576 | 2119 10275 31364 | 2147483647 30188 33 | 0.188 % |
9.97/10.01 c | 37723 | 2119 10275 31364 | 2147483647 30335 33 | 0.189 % |
9.97/10.09 c | 37884 | 2119 10275 31364 | 2147483647 30496 33 | 0.189 % |
10.07/10.19 c | 38061 | 2119 10275 31364 | 2147483647 30673 33 | 0.189 % |
10.27/10.32 c | 38255 | 2119 10275 31364 | 2147483647 30867 33 | 0.188 % |
10.37/10.45 c | 38468 | 2119 10275 31364 | 2147483647 31080 33 | 0.189 % |
10.47/10.59 c | 38702 | 2119 10275 31364 | 2147483647 31314 33 | 0.188 % |
10.67/10.72 c | 38958 | 2119 10275 31364 | 2147483647 31570 33 | 0.189 % |
10.77/10.86 c | 39240 | 2119 10275 31364 | 2147483647 31852 33 | 0.188 % |
10.87/11.00 c | 39551 | 2119 10275 31364 | 2147483647 32163 33 | 0.188 % |
11.06/11.19 c | 39890 | 2119 10275 31364 | 2147483647 32502 33 | 0.189 % |
11.26/11.36 c | 40263 | 2119 10275 31364 | 2147483647 32875 33 | 0.188 % |
11.56/11.63 c | 40672 | 2119 10275 31364 | 2147483647 33284 33 | 0.188 % |
11.76/11.84 c | 41121 | 2119 10275 31364 | 2147483647 33733 33 | 0.188 % |
11.97/12.06 c | 41615 | 2119 10275 31364 | 2147483647 34227 33 | 0.188 % |
12.26/12.34 c | 42157 | 2119 10275 31364 | 2147483647 34769 33 | 0.188 % |
12.56/12.63 c | 42755 | 2119 10275 31364 | 2147483647 35367 33 | 0.188 % |
12.56/12.69 c | 42856 | 2119 10275 31364 | 2147483647 35468 33 | 0.189 % |
12.66/12.76 c | 42967 | 2119 10275 31364 | 2147483647 35579 33 | 0.188 % |
12.76/12.82 c | 43089 | 2119 10275 31364 | 2147483647 35701 33 | 0.189 % |
12.86/12.91 c | 43222 | 2119 10275 31364 | 2147483647 35834 33 | 0.188 % |
12.96/13.00 c | 43370 | 2119 10275 31364 | 2147483647 35982 33 | 0.189 % |
13.07/13.10 c | 43530 | 2119 10275 31364 | 2147483647 36142 33 | 0.188 % |
13.17/13.22 c | 43706 | 2119 10275 31364 | 2147483647 36318 33 | 0.189 % |
13.26/13.32 c | 43900 | 2119 10275 31364 | 2147483647 36512 33 | 0.188 % |
13.36/13.45 c | 44112 | 2119 10275 31364 | 2147483647 36724 33 | 0.188 % |
13.56/13.60 c | 44346 | 2119 10275 31364 | 2147483647 36958 33 | 0.188 % |
13.66/13.75 c | 44604 | 2119 10275 31364 | 2147483647 37216 33 | 0.189 % |
13.86/13.91 c | 44885 | 2119 10275 31364 | 2147483647 37497 33 | 0.189 % |
13.96/14.08 c | 45195 | 2119 10275 31364 | 2147483647 37807 33 | 0.188 % |
14.16/14.29 c | 45534 | 2119 10275 31364 | 2147483647 38146 33 | 0.188 % |
14.46/14.52 c | 45907 | 2119 10275 31364 | 2147483647 38519 33 | 0.189 % |
14.66/14.78 c | 46316 | 2119 10275 31364 | 2147483647 38928 33 | 0.189 % |
14.96/15.07 c | 46765 | 2119 10275 31364 | 2147483647 39377 33 | 0.189 % |
15.26/15.38 c | 47258 | 2119 10275 31364 | 2147483647 39870 33 | 0.189 % |
15.66/15.74 c | 47801 | 2119 10275 31364 | 2147483647 40413 33 | 0.189 % |
16.06/16.18 c | 48399 | 2119 10275 31364 | 2147483647 41011 33 | 0.188 % |
16.56/16.61 c | 49055 | 2119 10275 31364 | 2147483647 41667 33 | 0.188 % |
16.66/16.72 c | 49158 | 2119 10275 31364 | 2147483647 41770 33 | 0.189 % |
16.76/16.81 c | 49269 | 2119 10275 31364 | 2147483647 41881 33 | 0.189 % |
16.87/16.91 c | 49392 | 2119 10275 31364 | 2147483647 42004 33 | 0.188 % |
16.87/16.98 c | 49526 | 2119 10275 31364 | 2147483647 42138 33 | 0.188 % |
17.07/17.12 c | 49672 | 2119 10275 31364 | 2147483647 42284 33 | 0.188 % |
17.17/17.24 c | 49832 | 2119 10275 31364 | 2147483647 42444 33 | 0.188 % |
17.27/17.35 c | 50008 | 2119 10275 31364 | 2147483647 42620 33 | 0.188 % |
17.37/17.48 c | 50203 | 2119 10275 31364 | 2147483647 42815 33 | 0.188 % |
17.57/17.66 c | 50416 | 2119 10275 31364 | 2147483647 43028 33 | 0.188 % |
17.77/17.82 c | 50650 | 2119 10275 31364 | 2147483647 43262 33 | 0.189 % |
17.87/17.96 c | 50911 | 2119 10275 31364 | 2147483647 43523 33 | 0.188 % |
18.07/18.15 c | 51192 | 2119 10275 31364 | 2147483647 43804 33 | 0.188 % |
18.27/18.36 c | 51503 | 2119 10275 31364 | 2147483647 44115 33 | 0.188 % |
18.57/18.62 c | 51844 | 2119 10275 31364 | 2147483647 44456 33 | 0.188 % |
18.77/18.87 c | 52218 | 2119 10275 31364 | 2147483647 44830 33 | 0.189 % |
19.07/19.18 c | 52629 | 2119 10275 31364 | 2147483647 45241 33 | 0.188 % |
19.47/19.56 c | 53078 | 2119 10275 31364 | 2147483647 45690 33 | 0.188 % |
19.87/19.95 c | 53572 | 2119 10275 31364 | 2147483647 46184 33 | 0.189 % |
20.27/20.37 c | 54114 | 2119 10275 31364 | 2147483647 46726 33 | 0.189 % |
20.67/20.73 c | 54710 | 2119 10275 31364 | 2147483647 47322 33 | 0.188 % |
21.07/21.19 c | 55365 | 2119 10275 31364 | 2147483647 47977 33 | 0.189 % |
21.56/21.69 c | 56086 | 2119 10275 31364 | 2147483647 48698 33 | 0.188 % |
21.66/21.80 c | 56186 | 2119 10275 31364 | 2147483647 48798 33 | 0.188 % |
21.76/21.88 c | 56297 | 2119 10275 31364 | 2147483647 48909 33 | 0.189 % |
21.87/21.98 c | 56419 | 2119 10275 31364 | 2147483647 49031 33 | 0.189 % |
21.97/22.08 c | 56552 | 2119 10275 31364 | 2147483647 49164 33 | 0.189 % |
22.16/22.21 c | 56698 | 2119 10275 31364 | 2147483647 49310 33 | 0.188 % |
22.26/22.31 c | 56859 | 2119 10275 31364 | 2147483647 49471 33 | 0.189 % |
22.36/22.46 c | 57038 | 2119 10275 31364 | 2147483647 49650 33 | 0.189 % |
22.56/22.65 c | 57232 | 2119 10275 31364 | 2147483647 49844 33 | 0.189 % |
22.66/22.78 c | 57444 | 2119 10275 31364 | 2147483647 50056 33 | 0.189 % |
22.86/22.97 c | 57678 | 2119 10275 31364 | 2147483647 50290 33 | 0.189 % |
23.07/23.16 c | 57934 | 2119 10275 31364 | 2147483647 50546 33 | 0.188 % |
23.36/23.44 c | 58216 | 2119 10275 31364 | 2147483647 50828 33 | 0.188 % |
23.66/23.70 c | 58526 | 2119 10275 31364 | 2147483647 51138 33 | 0.188 % |
23.86/23.97 c | 58866 | 2119 10275 31364 | 2147483647 51478 33 | 0.189 % |
24.16/24.28 c | 59240 | 2119 10275 31364 | 2147483647 51852 33 | 0.189 % |
24.56/24.68 c | 59649 | 2119 10275 31364 | 2147483647 52261 33 | 0.188 % |
24.96/25.01 c | 60098 | 2119 10275 31364 | 52614 52710 33 | 0.188 % |
25.36/25.48 c | 60591 | 2119 10275 31364 | 52614 45679 32 | 0.188 % |
25.86/25.95 c | 61133 | 2119 10275 31364 | 52614 46221 32 | 0.189 % |
26.36/26.43 c | 61730 | 2119 10275 31364 | 52614 46818 32 | 0.188 % |
26.76/26.89 c | 62386 | 2119 10275 31364 | 52614 47474 32 | 0.188 % |
27.46/27.51 c | 63106 | 2119 10275 31364 | 52614 48194 32 | 0.188 % |
27.96/28.03 c | 63898 | 2119 10275 31364 | 52614 48986 32 | 0.189 % |
28.06/28.12 c | 64000 | 2119 10275 31364 | 52614 49088 32 | 0.188 % |
28.16/28.25 c | 64111 | 2119 10275 31364 | 52614 49199 32 | 0.188 % |
28.26/28.36 c | 64233 | 2119 10275 31364 | 52614 49321 32 | 0.189 % |
28.36/28.49 c | 64367 | 2119 10275 31364 | 52614 49455 32 | 0.189 % |
28.56/28.62 c | 64514 | 2119 10275 31364 | 52614 49602 32 | 0.188 % |
28.76/28.81 c | 64674 | 2119 10275 31364 | 52614 49762 32 | 0.189 % |
28.86/28.95 c | 64850 | 2119 10275 31364 | 52614 49938 32 | 0.188 % |
28.96/29.09 c | 65044 | 2119 10275 31364 | 52614 50132 32 | 0.188 % |
29.26/29.34 c | 65256 | 2119 10275 31364 | 52614 50344 32 | 0.189 % |
29.46/29.53 c | 65491 | 2119 10275 31364 | 52614 50579 32 | 0.188 % |
29.66/29.70 c | 65748 | 2119 10275 31364 | 52614 50836 32 | 0.189 % |
29.86/29.91 c | 66030 | 2119 10275 31364 | 52614 51118 32 | 0.188 % |
30.16/30.21 c | 66341 | 2119 10275 31364 | 52614 51429 32 | 0.188 % |
30.36/30.46 c | 66680 | 2119 10275 31364 | 52614 51768 32 | 0.189 % |
30.66/30.75 c | 67053 | 2119 10275 31364 | 52614 52141 32 | 0.188 % |
31.06/31.13 c | 67462 | 2119 10275 31364 | 52614 52550 32 | 0.188 % |
31.46/31.58 c | 67911 | 2119 10275 31364 | 52614 44009 30 | 0.189 % |
31.76/31.86 c | 68404 | 2119 10275 31364 | 52614 44502 30 | 0.188 % |
32.06/32.15 c | 68946 | 2119 10275 31364 | 52614 45044 30 | 0.189 % |
32.46/32.52 c | 69546 | 2119 10275 31364 | 52614 45644 30 | 0.188 % |
32.96/33.00 c | 70202 | 2119 10275 31364 | 46099 46300 30 | 0.189 % |
33.36/33.47 c | 70926 | 2119 10275 31364 | 46099 39870 30 | 0.188 % |
33.86/33.97 c | 71720 | 2119 10275 31364 | 46099 40664 30 | 0.188 % |
34.36/34.49 c | 72591 | 2119 10275 31364 | 46099 41535 30 | 0.188 % |
34.46/34.57 c | 72695 | 2119 10275 31364 | 46099 41639 30 | 0.189 % |
34.56/34.66 c | 72806 | 2119 10275 31364 | 46099 41750 30 | 0.188 % |
34.66/34.75 c | 72927 | 2119 10275 31364 | 46099 41871 30 | 0.189 % |
34.76/34.87 c | 73060 | 2119 10275 31364 | 46099 42004 30 | 0.188 % |
34.86/34.97 c | 73206 | 2119 10275 31364 | 46099 42150 30 | 0.188 % |
34.96/35.05 c | 73366 | 2119 10275 31364 | 46099 42310 30 | 0.189 % |
35.06/35.15 c | 73542 | 2119 10275 31364 | 46099 42486 30 | 0.189 % |
35.26/35.32 c | 73736 | 2119 10275 31364 | 46099 42680 30 | 0.188 % |
35.36/35.46 c | 73948 | 2119 10275 31364 | 46099 42892 30 | 0.188 % |
35.56/35.66 c | 74183 | 2119 10275 31364 | 46099 43127 30 | 0.188 % |
35.76/35.80 c | 74439 | 2119 10275 31364 | 46099 43383 30 | 0.188 % |
35.96/36.04 c | 74722 | 2119 10275 31364 | 46099 43666 30 | 0.189 % |
36.16/36.24 c | 75033 | 2119 10275 31364 | 46099 43977 30 | 0.189 % |
36.36/36.48 c | 75372 | 2119 10275 31364 | 46099 44316 30 | 0.189 % |
36.65/36.73 c | 75746 | 2119 10275 31364 | 46099 44690 30 | 0.188 % |
36.95/37.01 c | 76159 | 2119 10275 31364 | 46099 45103 30 | 0.189 % |
37.27/37.32 c | 76608 | 2119 10275 31364 | 46099 45552 30 | 0.189 % |
37.56/37.61 c | 77101 | 2119 10275 31364 | 46099 46045 30 | 0.188 % |
37.86/37.99 c | 77645 | 2119 10275 31364 | 46099 40507 29 | 0.189 % |
38.26/38.31 c | 78241 | 2119 10275 31364 | 46099 41103 29 | 0.189 % |
38.56/38.69 c | 78896 | 2119 10275 31364 | 46099 41758 29 | 0.189 % |
39.06/39.10 c | 79616 | 2119 10275 31364 | 46099 42478 29 | 0.188 % |
39.57/39.65 c | 80409 | 2119 10275 31364 | 42863 38304 29 | 0.188 % |
40.16/40.21 c | 81282 | 2119 10275 31364 | 42863 39177 29 | 0.189 % |
40.66/40.77 c | 82241 | 2119 10275 31364 | 42863 40136 29 | 0.189 % |
40.76/40.84 c | 82341 | 2119 10275 31364 | 42863 40236 29 | 0.188 % |
40.86/40.92 c | 82451 | 2119 10275 31364 | 42863 40346 29 | 0.189 % |
40.96/41.00 c | 82573 | 2119 10275 31364 | 42863 40468 29 | 0.189 % |
41.06/41.11 c | 82708 | 2119 10275 31364 | 42863 40603 29 | 0.188 % |
41.16/41.20 c | 82856 | 2119 10275 31364 | 42863 40751 29 | 0.189 % |
41.26/41.32 c | 83016 | 2119 10275 31364 | 42863 40911 29 | 0.189 % |
41.36/41.46 c | 83193 | 2119 10275 31364 | 42863 41088 29 | 0.188 % |
41.56/41.60 c | 83387 | 2119 10275 31364 | 42863 41282 29 | 0.188 % |
41.66/41.76 c | 83600 | 2119 10275 31364 | 42863 41495 29 | 0.188 % |
41.86/41.93 c | 83834 | 2119 10275 31364 | 42863 41729 29 | 0.188 % |
42.06/42.13 c | 84091 | 2119 10275 31364 | 42863 41986 29 | 0.188 % |
42.26/42.34 c | 84373 | 2119 10275 31364 | 42863 42268 29 | 0.188 % |
42.46/42.54 c | 84684 | 2119 10275 31364 | 42863 42579 29 | 0.188 % |
42.66/42.78 c | 85025 | 2119 10275 31364 | 42863 42920 29 | 0.188 % |
42.96/43.08 c | 85399 | 2119 10275 31364 | 42863 37329 28 | 0.188 % |
43.26/43.32 c | 85810 | 2119 10275 31364 | 42863 37740 28 | 0.189 % |
43.46/43.58 c | 86260 | 2119 10275 31364 | 42863 38190 28 | 0.188 % |
43.76/43.88 c | 86753 | 2119 10275 31364 | 42863 38683 29 | 0.189 % |
44.16/44.26 c | 87296 | 2119 10275 31364 | 42863 39226 29 | 0.188 % |
44.46/44.58 c | 87893 | 2119 10275 31364 | 42863 39823 29 | 0.188 % |
44.86/44.96 c | 88548 | 2119 10275 31364 | 42863 40478 29 | 0.189 % |
45.46/45.51 c | 89270 | 2119 10275 31364 | 42863 41200 29 | 0.188 % |
45.96/46.03 c | 90063 | 2119 10275 31364 | 41930 41993 29 | 0.188 % |
46.56/46.61 c | 90935 | 2119 10275 31364 | 41930 37682 28 | 0.188 % |
47.06/47.16 c | 91894 | 2119 10275 31364 | 41930 38641 28 | 0.188 % |
47.66/47.72 c | 92947 | 2119 10275 31364 | 41930 39694 28 | 0.188 % |
47.66/47.78 c | 93047 | 2119 10275 31364 | 41930 39794 28 | 0.188 % |
47.76/47.85 c | 93157 | 2119 10275 31364 | 41930 39904 28 | 0.188 % |
47.86/47.92 c | 93278 | 2119 10275 31364 | 41930 40025 28 | 0.188 % |
47.96/48.01 c | 93412 | 2119 10275 31364 | 41930 40159 28 | 0.188 % |
48.06/48.13 c | 93558 | 2119 10275 31364 | 41930 40305 28 | 0.188 % |
48.16/48.25 c | 93718 | 2119 10275 31364 | 41930 40465 28 | 0.189 % |
48.26/48.37 c | 93894 | 2119 10275 31364 | 41930 40641 28 | 0.189 % |
48.36/48.48 c | 94087 | 2119 10275 31364 | 41930 40834 28 | 0.188 % |
48.56/48.61 c | 94299 | 2119 10275 31364 | 41930 41046 28 | 0.188 % |
48.66/48.75 c | 94533 | 2119 10275 31364 | 41930 41280 28 | 0.189 % |
48.86/48.94 c | 94789 | 2119 10275 31364 | 41930 41536 28 | 0.188 % |
49.06/49.13 c | 95073 | 2119 10275 31364 | 41930 41820 28 | 0.189 % |
49.26/49.36 c | 95382 | 2119 10275 31364 | 41930 42129 28 | 0.189 % |
49.56/49.61 c | 95721 | 2119 10275 31364 | 41930 37323 27 | 0.189 % |
49.76/49.83 c | 96094 | 2119 10275 31364 | 41930 37696 27 | 0.189 % |
50.06/50.12 c | 96504 | 2119 10275 31364 | 41930 38106 27 | 0.188 % |
50.26/50.40 c | 96955 | 2119 10275 31364 | 41930 38557 27 | 0.189 % |
50.56/50.67 c | 97450 | 2119 10275 31364 | 41930 39052 27 | 0.189 % |
50.96/51.00 c | 97992 | 2119 10275 31364 | 41930 39594 27 | 0.188 % |
51.26/51.33 c | 98588 | 2119 10275 31364 | 41930 40190 28 | 0.189 % |
51.76/51.81 c | 99243 | 2119 10275 31364 | 41930 40845 27 | 0.188 % |
52.16/52.28 c | 99963 | 2119 10275 31364 | 41930 41565 27 | 0.189 % |
52.76/52.87 c | 100756 | 2119 10275 31364 | 41602 37112 27 | 0.189 % |
53.36/53.44 c | 101627 | 2119 10275 31364 | 41602 37983 27 | 0.188 % |
53.86/53.99 c | 102586 | 2119 10275 31364 | 41602 38942 27 | 0.189 % |
54.66/54.71 c | 103639 | 2119 10275 31364 | 41602 39995 27 | 0.188 % |
55.36/55.43 c | 104798 | 2119 10275 31364 | 41602 41154 27 | 0.188 % |
55.36/55.49 c | 104898 | 2119 10275 31364 | 41602 41254 27 | 0.188 % |
55.46/55.55 c | 105008 | 2119 10275 31364 | 41602 41364 27 | 0.188 % |
55.56/55.66 c | 105129 | 2119 10275 31364 | 41602 41485 27 | 0.188 % |
55.66/55.77 c | 105262 | 2119 10275 31364 | 41602 41618 27 | 0.189 % |
55.86/55.93 c | 105408 | 2119 10275 31364 | 41602 36102 26 | 0.188 % |
55.96/56.02 c | 105569 | 2119 10275 31364 | 41602 36263 26 | 0.189 % |
56.06/56.14 c | 105746 | 2119 10275 31364 | 41602 36440 26 | 0.188 % |
56.16/56.24 c | 105939 | 2119 10275 31364 | 41602 36633 26 | 0.189 % |
56.26/56.35 c | 106151 | 2119 10275 31364 | 41602 36845 26 | 0.189 % |
56.35/56.46 c | 106386 | 2119 10275 31364 | 41602 37080 26 | 0.188 % |
56.45/56.58 c | 106643 | 2119 10275 31364 | 41602 37337 26 | 0.188 % |
56.65/56.72 c | 106924 | 2119 10275 31364 | 41602 37618 26 | 0.189 % |
56.75/56.89 c | 107234 | 2119 10275 31364 | 41602 37928 26 | 0.189 % |
56.95/57.07 c | 107574 | 2119 10275 31364 | 41602 38268 26 | 0.188 % |
57.25/57.33 c | 107948 | 2119 10275 31364 | 41602 38642 26 | 0.189 % |
57.45/57.58 c | 108359 | 2119 10275 31364 | 41602 39053 26 | 0.188 % |
57.75/57.84 c | 108809 | 2119 10275 31364 | 41602 39503 27 | 0.188 % |
57.95/58.08 c | 109302 | 2119 10275 31364 | 41602 39996 27 | 0.188 % |
58.26/58.35 c | 109845 | 2119 10275 31364 | 41602 40539 27 | 0.189 % |
58.75/58.80 c | 110445 | 2119 10275 31364 | 40694 35879 26 | 0.188 % |
59.05/59.12 c | 111100 | 2119 10275 31364 | 40694 36534 26 | 0.189 % |
59.36/59.48 c | 111822 | 2119 10275 31364 | 40694 37256 26 | 0.189 % |
59.85/59.93 c | 112615 | 2119 10275 31364 | 40694 38049 26 | 0.189 % |
60.25/60.32 c | 113487 | 2119 10275 31364 | 40694 38921 26 | 0.188 % |
60.75/60.83 c | 114446 | 2119 10275 31364 | 40694 39880 26 | 0.188 % |
61.35/61.49 c | 115499 | 2119 10275 31364 | 40694 40933 26 | 0.188 % |
62.05/62.11 c | 116657 | 2119 10275 31364 | 40694 37998 26 | 0.189 % |
62.75/62.86 c | 117931 | 2119 10275 31364 | 40694 39272 26 | 0.188 % |
62.85/62.91 c | 118032 | 2119 10275 31364 | 40694 39373 26 | 0.189 % |
62.85/62.99 c | 118142 | 2119 10275 31364 | 40694 39483 26 | 0.188 % |
62.95/63.07 c | 118263 | 2119 10275 31364 | 40694 39604 26 | 0.189 % |
63.05/63.15 c | 118397 | 2119 10275 31364 | 40694 39738 26 | 0.188 % |
63.15/63.23 c | 118547 | 2119 10275 31364 | 40694 39888 26 | 0.188 % |
63.25/63.34 c | 118709 | 2119 10275 31364 | 40694 40050 26 | 0.190 % |
63.35/63.44 c | 118886 | 2119 10275 31364 | 40694 40227 26 | 0.189 % |
63.45/63.56 c | 119079 | 2119 10275 31364 | 40694 40420 26 | 0.189 % |
63.66/63.73 c | 119291 | 2119 10275 31364 | 40694 40632 26 | 0.189 % |
63.76/63.87 c | 119524 | 2119 10275 31364 | 40694 40865 26 | 0.188 % |
63.95/64.09 c | 119780 | 2119 10275 31364 | 40694 36946 26 | 0.188 % |
64.15/64.27 c | 120061 | 2119 10275 31364 | 37166 37227 26 | 0.188 % |
64.35/64.50 c | 120371 | 2119 10275 31364 | 37166 33615 26 | 0.188 % |
64.55/64.68 c | 120711 | 2119 10275 31364 | 37166 33955 26 | 0.189 % |
64.76/64.89 c | 121086 | 2119 10275 31364 | 37166 34330 26 | 0.188 % |
65.05/65.12 c | 121495 | 2119 10275 31364 | 37166 34739 25 | 0.189 % |
65.25/65.36 c | 121945 | 2119 10275 31364 | 37166 35189 26 | 0.189 % |
65.55/65.63 c | 122438 | 2119 10275 31364 | 37166 35682 26 | 0.189 % |
65.86/65.92 c | 122981 | 2119 10275 31364 | 37166 36225 26 | 0.189 % |
66.15/66.24 c | 123578 | 2119 10275 31364 | 37166 36822 26 | 0.188 % |
66.55/66.68 c | 124234 | 2119 10275 31364 | 37166 37478 26 | 0.188 % |
66.95/67.07 c | 124956 | 2119 10275 31364 | 37166 34241 25 | 0.188 % |
67.45/67.53 c | 125749 | 2119 10275 31364 | 37166 35034 25 | 0.189 % |
67.85/67.93 c | 126621 | 2119 10275 31364 | 37166 35906 25 | 0.189 % |
68.35/68.45 c | 127579 | 2119 10275 31364 | 37166 36864 26 | 0.189 % |
68.95/69.02 c | 128633 | 2119 10275 31364 | 37166 34166 26 | 0.189 % |
69.45/69.59 c | 129791 | 2119 10275 31364 | 37166 35324 26 | 0.189 % |
70.15/70.21 c | 131064 | 2119 10275 31364 | 2147483647 36597 26 | 0.189 % |
70.85/70.93 c | 132467 | 2119 10275 31364 | 2147483647 38000 26 | 0.189 % |
70.85/70.98 c | 132567 | 2119 10275 31364 | 2147483647 38100 26 | 0.188 % |
70.95/71.05 c | 132679 | 2119 10275 31364 | 2147483647 38212 26 | 0.188 % |
71.05/71.15 c | 132800 | 2119 10275 31364 | 2147483647 38333 26 | 0.188 % |
71.15/71.25 c | 132933 | 2119 10275 31364 | 2147483647 38466 26 | 0.189 % |
71.25/71.33 c | 133079 | 2119 10275 31364 | 2147483647 38612 26 | 0.189 % |
71.35/71.44 c | 133239 | 2119 10275 31364 | 2147483647 38772 26 | 0.189 % |
71.45/71.56 c | 133417 | 2119 10275 31364 | 2147483647 38950 26 | 0.188 % |
71.55/71.69 c | 133610 | 2119 10275 31364 | 2147483647 39143 26 | 0.188 % |
71.75/71.85 c | 133826 | 2119 10275 31364 | 2147483647 39359 26 | 0.188 % |
71.95/72.01 c | 134059 | 2119 10275 31364 | 2147483647 39592 26 | 0.188 % |
72.05/72.18 c | 134316 | 2119 10275 31364 | 2147483647 39849 26 | 0.188 % |
72.25/72.35 c | 134597 | 2119 10275 31364 | 2147483647 40130 26 | 0.189 % |
72.45/72.54 c | 134907 | 2119 10275 31364 | 2147483647 40440 26 | 0.188 % |
72.65/72.73 c | 135246 | 2119 10275 31364 | 2147483647 40779 26 | 0.189 % |
72.85/72.95 c | 135618 | 2119 10275 31364 | 2147483647 41151 26 | 0.188 % |
73.15/73.23 c | 136029 | 2119 10275 31364 | 2147483647 41562 26 | 0.188 % |
73.45/73.58 c | 136481 | 2119 10275 31364 | 2147483647 42014 26 | 0.188 % |
73.85/73.90 c | 136975 | 2119 10275 31364 | 2147483647 42508 26 | 0.189 % |
74.15/74.29 c | 137517 | 2119 10275 31364 | 2147483647 43050 26 | 0.188 % |
74.66/74.75 c | 138114 | 2119 10275 31364 | 2147483647 43647 26 | 0.188 % |
75.05/75.12 c | 138769 | 2119 10275 31364 | 2147483647 44302 26 | 0.188 % |
75.45/75.60 c | 139489 | 2119 10275 31364 | 2147483647 45022 26 | 0.188 % |
75.95/76.05 c | 140282 | 2119 10275 31364 | 45533 45815 26 | 0.189 % |
76.55/76.62 c | 141153 | 2119 10275 31364 | 45533 41223 25 | 0.188 % |
77.15/77.28 c | 142111 | 2119 10275 31364 | 45533 42181 25 | 0.188 % |
77.85/77.90 c | 143164 | 2119 10275 31364 | 45533 43234 26 | 0.189 % |
78.45/78.53 c | 144323 | 2119 10275 31364 | 45533 44393 26 | 0.188 % |
79.25/79.38 c | 145596 | 2119 10275 31364 | 45533 45666 26 | 0.188 % |
80.25/80.35 c | 146996 | 2119 10275 31364 | 45533 41522 25 | 0.188 % |
81.15/81.24 c | 148536 | 2119 10275 31364 | 45533 43062 25 | 0.188 % |
81.25/81.34 c | 148637 | 2119 10275 31364 | 45533 43163 25 | 0.188 % |
81.35/81.41 c | 148748 | 2119 10275 31364 | 45533 43274 25 | 0.188 % |
81.45/81.50 c | 148870 | 2119 10275 31364 | 45533 43396 25 | 0.188 % |
81.55/81.61 c | 149004 | 2119 10275 31364 | 45533 43530 25 | 0.188 % |
81.65/81.74 c | 149150 | 2119 10275 31364 | 45533 43676 25 | 0.188 % |
81.75/81.82 c | 149311 | 2119 10275 31364 | 45533 43837 25 | 0.189 % |
81.85/81.94 c | 149488 | 2119 10275 31364 | 45533 44014 25 | 0.189 % |
81.95/82.05 c | 149681 | 2119 10275 31364 | 45533 44207 25 | 0.188 % |
82.05/82.18 c | 149894 | 2119 10275 31364 | 45533 44420 25 | 0.188 % |
82.25/82.35 c | 150129 | 2119 10275 31364 | 44526 44655 25 | 0.189 % |
82.45/82.59 c | 150385 | 2119 10275 31364 | 44526 39529 25 | 0.188 % |
82.65/82.74 c | 150666 | 2119 10275 31364 | 44526 39810 25 | 0.189 % |
82.85/82.92 c | 150975 | 2119 10275 31364 | 44526 40119 25 | 0.189 % |
83.05/83.11 c | 151316 | 2119 10275 31364 | 44526 40460 25 | 0.189 % |
83.25/83.32 c | 151688 | 2119 10275 31364 | 44526 40832 24 | 0.188 % |
83.45/83.54 c | 152099 | 2119 10275 31364 | 44526 41243 25 | 0.189 % |
83.85/83.98 c | 152549 | 2118 10253 31320 | 44526 41688 24 | 0.236 % |
84.15/84.26 c | 153043 | 2118 10253 31320 | 44526 42182 25 | 0.236 % |
84.45/84.55 c | 153585 | 2118 10253 31320 | 44526 42724 25 | 0.236 % |
84.75/84.85 c | 154181 | 2118 10253 31320 | 44526 43320 25 | 0.236 % |
85.05/85.18 c | 154836 | 2118 10253 31320 | 44526 43975 25 | 0.236 % |
85.45/85.56 c | 155556 | 2118 10253 31320 | 44526 44695 25 | 0.236 % |
86.05/86.14 c | 156348 | 2118 10253 31320 | 44526 40992 25 | 0.236 % |
86.45/86.59 c | 157219 | 2118 10253 31320 | 44526 41863 25 | 0.236 % |
86.95/87.08 c | 158177 | 2118 10253 31320 | 44526 42821 25 | 0.236 % |
87.65/87.78 c | 159233 | 2118 10253 31320 | 44526 43877 26 | 0.236 % |
88.35/88.46 c | 160391 | 2118 10253 31320 | 2147483647 45035 26 | 0.236 % |
89.05/89.20 c | 161665 | 2118 10253 31320 | 2147483647 46309 26 | 0.236 % |
89.95/90.03 c | 163065 | 2118 10253 31320 | 2147483647 47709 26 | 0.236 % |
90.95/91.05 c | 164605 | 2118 10253 31320 | 2147483647 49249 26 | 0.236 % |
92.15/92.27 c | 166300 | 2118 10253 31320 | 2147483647 50944 26 | 0.236 % |
92.25/92.35 c | 166402 | 2118 10253 31320 | 2147483647 51046 26 | 0.236 % |
92.35/92.45 c | 166513 | 2118 10253 31320 | 2147483647 51157 26 | 0.236 % |
92.45/92.58 c | 166635 | 2118 10253 31320 | 2147483647 51279 26 | 0.236 % |
92.65/92.70 c | 166769 | 2118 10253 31320 | 2147483647 51413 26 | 0.236 % |
92.75/92.81 c | 166915 | 2118 10253 31320 | 2147483647 51559 26 | 0.236 % |
92.85/92.98 c | 167076 | 2118 10253 31320 | 2147483647 51720 26 | 0.236 % |
93.05/93.14 c | 167254 | 2118 10253 31320 | 2147483647 51898 26 | 0.236 % |
93.15/93.29 c | 167451 | 2118 10253 31320 | 2147483647 52095 26 | 0.236 % |
93.35/93.46 c | 167664 | 2118 10253 31320 | 2147483647 52308 26 | 0.236 % |
93.55/93.68 c | 167897 | 2118 10253 31320 | 2147483647 52541 26 | 0.236 % |
93.75/93.87 c | 168153 | 2118 10253 31320 | 2147483647 52797 26 | 0.236 % |
93.95/94.08 c | 168435 | 2118 10253 31320 | 2147483647 53079 26 | 0.236 % |
94.15/94.29 c | 168746 | 2118 10253 31320 | 2147483647 53390 26 | 0.236 % |
94.45/94.55 c | 169086 | 2118 10253 31320 | 2147483647 53730 26 | 0.236 % |
94.75/94.83 c | 169460 | 2118 10253 31320 | 2147483647 54104 26 | 0.236 % |
95.04/95.15 c | 169870 | 2118 10253 31320 | 2147483647 54514 26 | 0.236 % |
95.55/95.62 c | 170319 | 2118 10253 31320 | 54644 46643 26 | 0.236 % |
95.84/95.97 c | 170813 | 2118 10253 31320 | 54644 47137 25 | 0.236 % |
96.24/96.37 c | 171355 | 2118 10253 31320 | 54644 47679 25 | 0.236 % |
96.75/96.81 c | 171953 | 2118 10253 31320 | 54644 48277 25 | 0.236 % |
97.14/97.30 c | 172609 | 2118 10253 31320 | 54644 48933 25 | 0.236 % |
97.64/97.77 c | 173329 | 2118 10253 31320 | 54644 49653 25 | 0.236 % |
98.34/98.44 c | 174122 | 2118 10253 31320 | 54644 50446 25 | 0.236 % |
98.95/99.07 c | 174995 | 2118 10253 31320 | 54644 51319 25 | 0.236 % |
99.74/99.82 c | 175953 | 2118 10253 31320 | 54644 52277 25 | 0.236 % |
100.44/100.58 c | 177006 | 2118 10253 31320 | 54644 53330 25 | 0.236 % |
101.34/101.48 c | 178165 | 2118 10253 31320 | 54644 54489 25 | 0.236 % |
102.44/102.55 c | 179441 | 2118 10253 31320 | 54644 46756 25 | 0.236 % |
103.54/103.60 c | 180842 | 2118 10253 31320 | 47316 40408 25 | 0.236 % |
104.54/104.63 c | 182383 | 2118 10253 31320 | 47316 41949 25 | 0.236 % |
105.74/105.82 c | 184078 | 2118 10253 31320 | 47316 43644 25 | 0.236 % |
107.14/107.25 c | 185942 | 2118 10253 31320 | 47316 45508 25 | 0.236 % |
107.24/107.33 c | 186042 | 2118 10253 31320 | 47316 45608 25 | 0.236 % |
107.34/107.42 c | 186153 | 2118 10253 31320 | 47316 45719 25 | 0.236 % |
107.44/107.50 c | 186277 | 2118 10253 31320 | 47316 45843 25 | 0.236 % |
107.44/107.57 c | 186410 | 2118 10253 31320 | 47316 45976 25 | 0.236 % |
107.54/107.62 c | 186556 | 2118 10253 31320 | 47316 46122 25 | 0.236 % |
107.64/107.78 c | 186718 | 2118 10253 31320 | 47316 46284 25 | 0.236 % |
107.74/107.85 c | 186896 | 2118 10253 31320 | 47316 46462 25 | 0.236 % |
107.94/108.03 c | 187089 | 2118 10253 31320 | 47316 46655 25 | 0.236 % |
108.14/108.22 c | 187301 | 2118 10253 31320 | 47316 46867 25 | 0.236 % |
108.24/108.36 c | 187534 | 2118 10253 31320 | 47316 47100 25 | 0.236 % |
108.44/108.52 c | 187791 | 2118 10253 31320 | 47316 47357 25 | 0.236 % |
108.64/108.74 c | 188072 | 2118 10253 31320 | 47316 40378 23 | 0.236 % |
108.94/109.07 c | 188381 | 2118 10253 31320 | 47316 40687 23 | 0.236 % |
109.24/109.33 c | 188724 | 2118 10253 31320 | 47316 41030 23 | 0.236 % |
109.54/109.61 c | 189097 | 2118 10253 31320 | 47316 41403 23 | 0.236 % |
109.84/109.94 c | 189506 | 2118 10253 31320 | 47316 41812 23 | 0.236 % |
110.24/110.32 c | 189955 | 2118 10253 31320 | 47316 42261 23 | 0.236 % |
110.64/110.77 c | 190448 | 2118 10253 31320 | 42306 35751 23 | 0.236 % |
110.94/111.10 c | 190992 | 2118 10253 31320 | 42306 36295 23 | 0.236 % |
111.34/111.45 c | 191588 | 2118 10253 31320 | 42306 36891 23 | 0.236 % |
111.84/111.95 c | 192243 | 2118 10253 31320 | 42306 37546 22 | 0.236 % |
112.24/112.33 c | 192966 | 2118 10253 31320 | 42306 38269 22 | 0.236 % |
112.74/112.86 c | 193760 | 2118 10253 31320 | 42306 39063 22 | 0.236 % |
113.34/113.48 c | 194631 | 2118 10253 31320 | 42306 39934 22 | 0.236 % |
114.04/114.17 c | 195590 | 2118 10253 31320 | 42306 40893 22 | 0.236 % |
114.84/114.94 c | 196646 | 2118 10253 31320 | 42306 41949 22 | 0.236 % |
115.64/115.72 c | 197804 | 2118 10253 31320 | 42306 37326 22 | 0.236 % |
116.14/116.21 c | 199078 | 2118 10253 31320 | 42306 38600 22 | 0.236 % |
116.74/116.82 c | 200479 | 2118 10253 31320 | 39522 40001 22 | 0.236 % |
117.44/117.56 c | 202019 | 2118 10253 31320 | 39522 37541 22 | 0.236 % |
118.14/118.28 c | 203713 | 2118 10253 31320 | 39522 39235 23 | 0.236 % |
119.04/119.18 c | 205577 | 2118 10253 31320 | 39522 37105 23 | 0.236 % |
119.94/120.08 c | 207627 | 2118 10253 31320 | 39522 39155 23 | 0.236 % |
120.04/120.12 c | 207727 | 2118 10253 31320 | 39522 39255 23 | 0.236 % |
120.04/120.17 c | 207839 | 2118 10253 31320 | 39522 39367 23 | 0.236 % |
120.14/120.23 c | 207960 | 2118 10253 31320 | 39522 39488 23 | 0.236 % |
120.14/120.30 c | 208093 | 2118 10253 31320 | 39522 39621 23 | 0.236 % |
120.44/120.51 c | 208241 | 2118 10253 31320 | 39522 35807 23 | 0.236 % |
120.44/120.58 c | 208402 | 2118 10253 31320 | 39522 35968 23 | 0.236 % |
120.54/120.67 c | 208578 | 2118 10253 31320 | 39522 36144 23 | 0.236 % |
120.64/120.77 c | 208773 | 2118 10253 31320 | 39522 36339 23 | 0.236 % |
120.74/120.86 c | 208985 | 2118 10253 31320 | 39522 36551 23 | 0.236 % |
120.85/120.95 c | 209218 | 2118 10253 31320 | 39522 36784 23 | 0.236 % |
120.95/121.06 c | 209474 | 2118 10253 31320 | 39522 37040 23 | 0.236 % |
121.04/121.18 c | 209756 | 2118 10253 31320 | 39522 37322 23 | 0.236 % |
121.24/121.31 c | 210067 | 2118 10253 31320 | 2147483647 37633 23 | 0.236 % |
121.44/121.51 c | 210408 | 2118 10253 31320 | 2147483647 37974 23 | 0.236 % |
121.54/121.69 c | 210780 | 2118 10253 31320 | 2147483647 38346 23 | 0.236 % |
121.74/121.88 c | 211189 | 2118 10253 31320 | 2147483647 38755 23 | 0.236 % |
122.05/122.11 c | 211638 | 2118 10253 31320 | 2147483647 39204 23 | 0.236 % |
122.24/122.34 c | 212131 | 2118 10253 31320 | 2147483647 39697 23 | 0.236 % |
122.54/122.61 c | 212674 | 2118 10253 31320 | 2147483647 40240 24 | 0.236 % |
122.74/122.86 c | 213271 | 2118 10253 31320 | 2147483647 40837 24 | 0.236 % |
123.05/123.17 c | 213926 | 2118 10253 31320 | 2147483647 41492 24 | 0.236 % |
123.44/123.57 c | 214647 | 2118 10253 31320 | 2147483647 42213 24 | 0.236 % |
123.94/124.01 c | 215441 | 2118 10253 31320 | 2147483647 43007 24 | 0.236 % |
124.34/124.42 c | 216312 | 2118 10253 31320 | 2147483647 43878 24 | 0.236 % |
124.74/124.87 c | 217271 | 2118 10253 31320 | 2147483647 44837 24 | 0.236 % |
125.35/125.46 c | 218324 | 2118 10253 31320 | 2147483647 45890 24 | 0.236 % |
125.94/126.08 c | 219484 | 2118 10253 31320 | 2147483647 47050 24 | 0.236 % |
126.74/126.83 c | 220757 | 2118 10253 31320 | 2147483647 48323 24 | 0.236 % |
127.55/127.67 c | 222159 | 2118 10253 31320 | 2147483647 49725 24 | 0.236 % |
128.44/128.58 c | 223699 | 2118 10253 31320 | 2147483647 51265 25 | 0.236 % |
129.54/129.60 c | 225393 | 2118 10253 31320 | 2147483647 52959 25 | 0.236 % |
130.64/130.75 c | 227259 | 2118 10253 31320 | 2147483647 54825 25 | 0.236 % |
131.94/132.05 c | 229309 | 2118 10253 31320 | 2147483647 56875 25 | 0.236 % |
133.84/133.91 c | 231562 | 2118 10253 31320 | 57566 51079 25 | 0.236 % |
133.94/134.03 c | 231664 | 2118 10253 31320 | 57566 51181 25 | 0.236 % |
133.94/134.10 c | 231775 | 2118 10253 31320 | 57566 51292 25 | 0.236 % |
134.04/134.20 c | 231896 | 2118 10253 31320 | 57566 51413 25 | 0.236 % |
134.14/134.29 c | 232029 | 2118 10253 31320 | 57566 51546 25 | 0.236 % |
134.34/134.42 c | 232178 | 2118 10253 31320 | 57566 51695 25 | 0.236 % |
134.44/134.52 c | 232339 | 2118 10253 31320 | 57566 51856 25 | 0.236 % |
134.54/134.63 c | 232516 | 2118 10253 31320 | 57566 52033 25 | 0.236 % |
134.64/134.78 c | 232710 | 2118 10253 31320 | 57566 52227 25 | 0.236 % |
134.84/134.92 c | 232924 | 2118 10253 31320 | 57566 52441 25 | 0.236 % |
134.94/135.08 c | 233157 | 2118 10253 31320 | 57566 52674 25 | 0.236 % |
135.14/135.21 c | 233418 | 2118 10253 31320 | 57566 52935 25 | 0.236 % |
135.24/135.38 c | 233700 | 2118 10253 31320 | 57566 53217 25 | 0.236 % |
135.44/135.53 c | 234009 | 2118 10253 31320 | 57566 53526 25 | 0.236 % |
135.64/135.76 c | 234350 | 2118 10253 31320 | 57566 53867 25 | 0.236 % |
135.84/135.99 c | 234724 | 2118 10253 31320 | 57566 54241 25 | 0.236 % |
136.14/136.27 c | 235134 | 2118 10253 31320 | 57566 54651 25 | 0.236 % |
136.44/136.52 c | 235583 | 2118 10253 31320 | 57566 55100 25 | 0.236 % |
136.94/137.08 c | 236077 | 2118 10253 31320 | 57566 55594 25 | 0.236 % |
137.34/137.48 c | 236620 | 2118 10253 31320 | 57566 56137 25 | 0.236 % |
137.84/137.93 c | 237216 | 2118 10253 31320 | 57566 56733 25 | 0.236 % |
138.34/138.47 c | 237871 | 2118 10253 31320 | 57566 57388 25 | 0.236 % |
139.13/139.22 c | 238591 | 2118 10253 31320 | 57566 47561 26 | 0.236 % |
139.64/139.76 c | 239383 | 2118 10253 31320 | 57566 48353 26 | 0.236 % |
140.23/140.33 c | 240255 | 2118 10253 31320 | 48971 49225 26 | 0.236 % |
140.83/140.95 c | 241213 | 2118 10253 31320 | 48971 41696 25 | 0.236 % |
141.43/141.57 c | 242267 | 2118 10253 31320 | 48971 42750 26 | 0.236 % |
142.13/142.22 c | 243425 | 2118 10253 31320 | 48971 43908 26 | 0.236 % |
142.84/142.98 c | 244699 | 2118 10253 31320 | 48971 45182 26 | 0.236 % |
143.63/143.77 c | 246099 | 2118 10253 31320 | 48971 46582 26 | 0.236 % |
144.63/144.72 c | 247639 | 2118 10253 31320 | 48971 48122 26 | 0.236 % |
145.83/145.96 c | 249335 | 2118 10253 31320 | 48971 43068 25 | 0.236 % |
146.93/147.09 c | 251201 | 2118 10253 31320 | 43734 39067 25 | 0.236 % |
148.03/148.20 c | 253252 | 2118 10253 31320 | 43734 41118 25 | 0.236 % |
149.43/149.58 c | 255506 | 2118 10253 31320 | 43734 43372 25 | 0.236 % |
150.93/151.06 c | 257984 | 2118 10253 31320 | 43734 40230 24 | 0.236 % |
151.03/151.14 c | 258087 | 2118 10253 31320 | 43734 40333 24 | 0.236 % |
151.13/151.22 c | 258197 | 2118 10253 31320 | 43734 40443 24 | 0.236 % |
151.23/151.31 c | 258318 | 2118 10253 31320 | 43734 40564 24 | 0.236 % |
151.23/151.39 c | 258453 | 2118 10253 31320 | 43734 40699 24 | 0.236 % |
151.33/151.47 c | 258599 | 2118 10253 31320 | 43734 40845 24 | 0.236 % |
151.43/151.58 c | 258760 | 2118 10253 31320 | 43734 41006 24 | 0.236 % |
151.53/151.67 c | 258936 | 2118 10253 31320 | 43734 41182 24 | 0.236 % |
151.63/151.77 c | 259131 | 2118 10253 31320 | 43734 41377 24 | 0.236 % |
151.73/151.85 c | 259343 | 2118 10253 31320 | 43734 41589 24 | 0.236 % |
151.83/151.99 c | 259576 | 2118 10253 31320 | 43734 41822 24 | 0.236 % |
152.03/152.18 c | 259833 | 2118 10253 31320 | 43734 42079 24 | 0.236 % |
152.23/152.36 c | 260114 | 2118 10253 31320 | 42249 42360 24 | 0.236 % |
152.53/152.61 c | 260423 | 2118 10253 31320 | 42249 37220 24 | 0.236 % |
152.73/152.81 c | 260764 | 2118 10253 31320 | 42249 37561 24 | 0.236 % |
152.83/152.98 c | 261136 | 2118 10253 31320 | 42249 37933 24 | 0.236 % |
153.03/153.16 c | 261546 | 2118 10253 31320 | 42249 38343 24 | 0.236 % |
153.23/153.37 c | 261995 | 2118 10253 31320 | 42249 38792 24 | 0.236 % |
153.53/153.60 c | 262489 | 2118 10253 31320 | 42249 39286 24 | 0.236 % |
153.73/153.87 c | 263032 | 2118 10253 31320 | 42249 39829 24 | 0.236 % |
154.23/154.30 c | 263629 | 2118 10253 31320 | 42249 40426 24 | 0.236 % |
154.53/154.68 c | 264284 | 2118 10253 31320 | 42249 41081 24 | 0.236 % |
155.03/155.16 c | 265006 | 2118 10253 31320 | 42249 41803 24 | 0.236 % |
155.53/155.61 c | 265798 | 2118 10253 31320 | 42249 42595 24 | 0.236 % |
156.03/156.17 c | 266670 | 2118 10253 31320 | 42249 39082 24 | 0.236 % |
156.62/156.77 c | 267628 | 2118 10253 31320 | 42249 40040 24 | 0.236 % |
157.32/157.46 c | 268681 | 2118 10253 31320 | 42249 41093 24 | 0.236 % |
158.12/158.26 c | 269840 | 2118 10253 31320 | 42249 42252 23 | 0.236 % |
159.02/159.16 c | 271113 | 2118 10253 31320 | 42413 38013 23 | 0.236 % |
159.62/159.75 c | 272516 | 2118 10253 31320 | 42413 39416 23 | 0.236 % |
160.43/160.58 c | 274056 | 2118 10253 31320 | 42413 40956 23 | 0.238 % |
161.22/161.36 c | 275751 | 2118 10253 31320 | 42413 42651 23 | 0.236 % |
162.42/162.53 c | 277616 | 2118 10253 31320 | 42413 40251 23 | 0.236 % |
163.52/163.62 c | 279665 | 2118 10253 31320 | 42413 42300 24 | 0.236 % |
164.62/164.72 c | 281919 | 2118 10253 31320 | 2147483647 44554 24 | 0.236 % |
166.02/166.14 c | 284397 | 2118 10253 31320 | 2147483647 47032 24 | 0.236 % |
167.52/167.66 c | 287122 | 2118 10253 31320 | 2147483647 49757 24 | 0.236 % |
167.62/167.72 c | 287224 | 2118 10253 31320 | 2147483647 49859 24 | 0.236 % |
167.62/167.78 c | 287334 | 2118 10253 31320 | 2147483647 49969 24 | 0.236 % |
167.72/167.86 c | 287458 | 2118 10253 31320 | 2147483647 50093 24 | 0.236 % |
167.82/167.90 c | 287591 | 2118 10253 31320 | 2147483647 50226 24 | 0.236 % |
167.92/168.02 c | 287738 | 2118 10253 31320 | 2147483647 50373 24 | 0.236 % |
168.02/168.10 c | 287899 | 2118 10253 31320 | 2147483647 50534 24 | 0.236 % |
168.12/168.20 c | 288076 | 2118 10253 31320 | 2147483647 50711 24 | 0.236 % |
168.22/168.34 c | 288269 | 2118 10253 31320 | 2147483647 50904 24 | 0.236 % |
168.42/168.51 c | 288482 | 2118 10253 31320 | 2147483647 51117 24 | 0.236 % |
168.52/168.66 c | 288716 | 2118 10253 31320 | 2147483647 51351 24 | 0.236 % |
168.72/168.84 c | 288973 | 2118 10253 31320 | 2147483647 51608 24 | 0.236 % |
168.92/169.02 c | 289257 | 2118 10253 31320 | 2147483647 51892 24 | 0.236 % |
169.12/169.24 c | 289566 | 2118 10253 31320 | 2147483647 52201 24 | 0.236 % |
169.32/169.49 c | 289905 | 2118 10253 31320 | 2147483647 52540 24 | 0.236 % |
169.62/169.71 c | 290280 | 2118 10253 31320 | 52636 52915 24 | 0.236 % |
170.02/170.10 c | 290689 | 2118 10253 31320 | 52636 48001 24 | 0.236 % |
170.22/170.37 c | 291138 | 2118 10253 31320 | 52636 48450 24 | 0.236 % |
170.62/170.77 c | 291632 | 2118 10253 31320 | 52636 48944 24 | 0.236 % |
170.92/171.05 c | 292174 | 2118 10253 31320 | 52636 49486 24 | 0.236 % |
171.32/171.45 c | 292771 | 2118 10253 31320 | 52636 50083 24 | 0.236 % |
171.82/171.96 c | 293426 | 2118 10253 31320 | 52636 50738 24 | 0.236 % |
172.42/172.52 c | 294146 | 2118 10253 31320 | 52636 51458 24 | 0.236 % |
172.92/173.00 c | 294938 | 2118 10253 31320 | 52636 52250 24 | 0.236 % |
173.62/173.78 c | 295811 | 2118 10253 31320 | 52636 45867 24 | 0.236 % |
174.22/174.39 c | 296770 | 2118 10253 31320 | 52636 46826 24 | 0.236 % |
175.02/175.12 c | 297825 | 2118 10253 31320 | 52636 47881 24 | 0.236 % |
175.92/176.00 c | 298985 | 2118 10253 31320 | 52636 49041 24 | 0.236 % |
176.72/176.80 c | 300259 | 2118 10253 31320 | 50056 50315 24 | 0.236 % |
177.72/177.85 c | 301659 | 2118 10253 31320 | 50056 44252 24 | 0.236 % |
178.81/178.92 c | 303199 | 2118 10253 31320 | 50056 45792 24 | 0.236 % |
180.22/180.32 c | 304893 | 2118 10253 31320 | 50056 47486 25 | 0.236 % |
181.62/181.75 c | 306757 | 2118 10253 31320 | 50056 49350 25 | 0.236 % |
183.31/183.44 c | 308806 | 2118 10253 31320 | 50056 43379 25 | 0.236 % |
184.72/184.89 c | 311060 | 2118 10253 31320 | 44573 38449 24 | 0.236 % |
186.31/186.47 c | 313540 | 2118 10253 31320 | 44573 40929 24 | 0.236 % |
187.81/187.99 c | 316265 | 2118 10253 31320 | 44573 43654 24 | 0.236 % |
189.71/189.89 c | 319263 | 2118 10253 31320 | 44573 40550 23 | 0.236 % |
189.81/189.95 c | 319363 | 2118 10253 31320 | 44573 40650 23 | 0.236 % |
189.91/190.01 c | 319473 | 2118 10253 31320 | 44573 40760 23 | 0.236 % |
190.01/190.11 c | 319595 | 2118 10253 31320 | 44573 40882 23 | 0.236 % |
190.12/190.21 c | 319728 | 2118 10253 31320 | 44573 41015 23 | 0.236 % |
190.22/190.30 c | 319875 | 2118 10253 31320 | 44573 41162 23 | 0.236 % |
190.31/190.40 c | 320035 | 2118 10253 31320 | 41287 41322 23 | 0.236 % |
190.41/190.56 c | 320212 | 2118 10253 31320 | 41287 35898 22 | 0.236 % |
190.51/190.67 c | 320407 | 2118 10253 31320 | 41287 36093 22 | 0.236 % |
190.71/190.81 c | 320619 | 2118 10253 31320 | 41287 36305 22 | 0.236 % |
190.81/190.92 c | 320853 | 2118 10253 31320 | 41287 36539 22 | 0.236 % |
190.91/191.06 c | 321111 | 2118 10253 31320 | 41287 36797 22 | 0.236 % |
191.11/191.22 c | 321393 | 2118 10253 31320 | 41287 37079 23 | 0.236 % |
191.31/191.41 c | 321702 | 2118 10253 31320 | 41287 37388 23 | 0.236 % |
191.41/191.57 c | 322041 | 2118 10253 31320 | 41287 37727 23 | 0.236 % |
191.61/191.77 c | 322413 | 2118 10253 31320 | 41287 38099 23 | 0.236 % |
191.91/192.04 c | 322822 | 2118 10253 31320 | 41287 38508 23 | 0.236 % |
192.11/192.29 c | 323272 | 2118 10253 31320 | 41287 38958 23 | 0.236 % |
192.41/192.56 c | 323766 | 2118 10253 31320 | 41287 39452 23 | 0.236 % |
192.81/192.93 c | 324309 | 2118 10253 31320 | 41287 39995 23 | 0.236 % |
193.21/193.33 c | 324905 | 2118 10253 31320 | 41287 40591 23 | 0.236 % |
193.61/193.72 c | 325560 | 2118 10253 31320 | 41287 41246 23 | 0.236 % |
194.11/194.29 c | 326282 | 2118 10253 31320 | 41287 37819 22 | 0.236 % |
194.61/194.79 c | 327076 | 2118 10253 31320 | 41287 38613 22 | 0.236 % |
195.21/195.34 c | 327947 | 2118 10253 31320 | 41287 39484 22 | 0.236 % |
195.71/195.89 c | 328907 | 2118 10253 31320 | 41287 40444 22 | 0.236 % |
196.51/196.66 c | 329963 | 2118 10253 31320 | 41287 37129 22 | 0.236 % |
197.21/197.34 c | 331121 | 2118 10253 31320 | 37167 34529 21 | 0.236 % |
197.91/198.01 c | 332394 | 2118 10253 31320 | 37167 35802 21 | 0.236 % |
198.70/198.84 c | 333794 | 2118 10253 31320 | 37167 37202 21 | 0.236 % |
199.60/199.73 c | 335334 | 2118 10253 31320 | 37167 35022 21 | 0.236 % |
200.60/200.70 c | 337028 | 2118 10253 31320 | 37167 36716 21 | 0.236 % |
201.60/201.74 c | 338891 | 2118 10253 31320 | 37167 34836 21 | 0.236 % |
202.80/202.99 c | 340944 | 2118 10253 31320 | 2147483647 36889 21 | 0.236 % |
203.70/203.82 c | 343197 | 2118 10253 31320 | 2147483647 39142 21 | 0.236 % |
204.51/204.62 c ===============================================================================
204.51/204.62 c restarts : 739
204.51/204.62 c conflicts : 343935 (1684 /sec)
204.51/204.62 c decisions : 446797 (1.37 % random) (2187 /sec)
204.51/204.62 c propagations : 89171363 (436537 /sec)
204.51/204.62 c conflict literals : 9447417 (52.04 % deleted)
204.51/204.62 c Memory used : 12.98 MB
204.51/204.62 c CPU time : 204.27 s
204.51/204.62 c
204.51/204.62 s UNSATISFIABLE
204.51/204.62 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834211-1242828754/watcher-1834211-1242828754 -o /tmp/evaluation-result-1834211-1242828754/solver-1834211-1242828754 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834211-1242828754.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14422
/proc/meminfo: memFree=1824648/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908624 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14422/statm: 1339 237 197 169 0 50 0
[startup+0.026169 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14422
/proc/meminfo: memFree=1824648/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908624 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14422/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101175 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14422
/proc/meminfo: memFree=1824648/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 310908624 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14422/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301194 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14422
/proc/meminfo: memFree=1824648/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+0.701228 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14422
/proc/meminfo: memFree=1824648/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 5356
[startup+1.5023 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1822256/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=3116 CPUtime=1.26
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 454 0 0 0 126 0 0 0 25 0 1 0 310908647 3190784 440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 779 440 76 171 0 606 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 8472
[startup+3.10143 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1821552/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=4456 CPUtime=2.86
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 788 0 0 0 286 0 0 0 25 0 1 0 310908647 4562944 774 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 1114 774 76 171 0 941 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9812
[startup+6.30171 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1819120/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=6348 CPUtime=6.05
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 1280 0 0 0 605 0 0 0 25 0 1 0 310908647 6500352 1266 1992294400 134512640 135215339 4294956240 18446744073709551615 134538359 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 1587 1266 76 171 0 1414 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11704
[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1816376/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=8796 CPUtime=12.45
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 1881 0 0 0 1244 1 0 0 25 0 1 0 310908647 9007104 1867 1992294400 134512640 135215339 4294956240 18446744073709551615 134526905 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 2199 1867 76 171 0 2026 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 14152
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1813112/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=11804 CPUtime=25.25
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2639 0 0 0 2523 2 0 0 25 0 1 0 310908647 12087296 2625 1992294400 134512640 135215339 4294956240 18446744073709551615 134528824 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 2951 2625 76 171 0 2778 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 17160
[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1812792/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=12212 CPUtime=50.85
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2720 0 0 0 5082 3 0 0 25 0 1 0 310908647 12505088 2706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3053 2706 76 171 0 2880 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 17568
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1812280/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=12680 CPUtime=102.04
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2846 0 0 0 10200 4 0 0 25 0 1 0 310908647 12984320 2832 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3170 2832 76 171 0 2997 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 18036
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811896/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=162.01
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2930 0 0 0 16196 5 0 0 25 0 1 0 310908647 13447168 2916 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2916 76 171 0 3110 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 18488
Solver just ended. Dumping a history of the last processes samples
[startup+179.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811896/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=178.8
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2930 0 0 0 17875 5 0 0 25 0 1 0 310908647 13447168 2916 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2916 76 171 0 3110 0
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (KiB) 18488
[startup+191.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811832/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=191.6
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2941 0 0 0 19155 5 0 0 25 0 1 0 310908647 13447168 2927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528664 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2927 76 171 0 3110 0
Current children cumulated CPU time (s) 191.81
Current children cumulated vsize (KiB) 18488
[startup+198.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811832/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=197.99
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2941 0 0 0 19794 5 0 0 25 0 1 0 310908647 13447168 2927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2927 76 171 0 3110 0
Current children cumulated CPU time (s) 198.2
Current children cumulated vsize (KiB) 18488
[startup+201.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811832/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=201.19
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2941 0 0 0 20114 5 0 0 25 0 1 0 310908647 13447168 2927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2927 76 171 0 3110 0
Current children cumulated CPU time (s) 201.4
Current children cumulated vsize (KiB) 18488
[startup+203.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811832/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=202.79
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2941 0 0 0 20274 5 0 0 25 0 1 0 310908647 13447168 2927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2927 76 171 0 3110 0
Current children cumulated CPU time (s) 203
Current children cumulated vsize (KiB) 18488
[startup+203.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811832/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13132 CPUtime=203.59
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2952 0 0 0 20354 5 0 0 25 0 1 0 310908647 13447168 2938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3283 2938 76 171 0 3110 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 18488
[startup+204.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811832/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13284 CPUtime=203.99
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2966 0 0 0 20394 5 0 0 25 0 1 0 310908647 13602816 2952 1992294400 134512640 135215339 4294956240 18446744073709551615 134526376 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3321 2952 76 171 0 3148 0
Current children cumulated CPU time (s) 204.2
Current children cumulated vsize (KiB) 18640
[startup+204.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811768/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13284 CPUtime=204.2
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2966 0 0 0 20415 5 0 0 25 0 1 0 310908647 13602816 2952 1992294400 134512640 135215339 4294956240 18446744073709551615 134526315 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3321 2952 76 171 0 3148 0
Current children cumulated CPU time (s) 204.41
Current children cumulated vsize (KiB) 18640
[startup+204.606 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14428
/proc/meminfo: memFree=1811768/2055920 swapFree=4179344/4192956
[pid=14422] ppid=14420 vsize=5356 CPUtime=0.21
/proc/14422/stat : 14422 (SatELiteGTI) S 14420 14422 13936 0 -1 4194304 336 1500 0 0 0 0 21 0 16 0 1 0 310908624 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14422/statm: 1339 239 197 169 0 50 0
[pid=14428] ppid=14422 vsize=13284 CPUtime=204.3
/proc/14428/stat : 14428 (minisat_static) R 14422 14422 13936 0 -1 4194304 2966 0 0 0 20425 5 0 0 25 0 1 0 310908647 13602816 2952 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/14428/statm: 3321 2952 76 171 0 3148 0
Current children cumulated CPU time (s) 204.51
Current children cumulated vsize (KiB) 18640
Child status: 20
Real time (s): 204.633
CPU time (s): 204.561
CPU user time (s): 204.488
CPU system time (s): 0.072988
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 18640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 204.488
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4964
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= 47
involuntary context switches= 771
runsolver used 0.238963 second user time and 0.554915 second system time
The end
Begin job on node31 at 2009-05-20 16:12:34
IDJOB=1834211
IDBENCH=71741
IDSOLVER=671
FILE ID=node31/1834211-1242828754
PBS_JOBID= 9322500
Free space on /tmp= 66208 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/simon-s02b-dp11u10.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834211-1242828754/watcher-1834211-1242828754 -o /tmp/evaluation-result-1834211-1242828754/solver-1834211-1242828754 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834211-1242828754.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= bd35ccd857138682818061a3fbcb7546
RANDOM SEED=353058206
node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1825192 kB
Buffers: 53416 kB
Cached: 127224 kB
SwapCached: 7176 kB
Active: 73828 kB
Inactive: 116564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1825192 kB
SwapTotal: 4192956 kB
SwapFree: 4179344 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 14312 kB
Slab: 26180 kB
Committed_AS: 1025772 kB
PageTables: 1468 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66204 MiB
End job on node31 at 2009-05-20 16:15:59