0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c This is cosoco 2.00 --
0.71/0.71 c
0.71/0.71 c command line: cosoco -model -nbcores=8 HOME/instance-4409265-1569837108.xml
0.71/0.71 c ========================================[ Problem Statistics ]===========================================
0.71/0.71 c |
0.71/0.71 c | Parse time : 0.57 s
0.71/0.71 c |
0.71/0.71 c | Variables: 625
0.71/0.71 c | Domain Sizes: 1..25
0.71/0.71 c |
0.71/0.71 c | Constraints: 15000
0.71/0.71 c | Arity: 2..2 -- Binary: 15000
0.71/0.71 c |
0.71/0.71 c | Types:
0.71/0.71 c | Extension: 15000 (nb tuples: 0..25) -- (shared: 75648)
0.71/0.71 c |
0.71/0.71 c =========================================================================================================
0.71/0.71 c Parallel mode: Portfolio
0.71/0.71 c [pFactory][Group N°0] created (threads:8).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.71/0.71 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.71/0.71 c [pFactory][Group N°0] concurrent mode: enabled.
0.71/0.71 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.71/0.71 c [pFactory][Group N°0] task 7 launched on thread 0.
0.71/0.71 c [pFactory][Group N°0] task 6 launched on thread 1.
0.71/0.71 c [pFactory][Group N°0] task 5 launched on thread 2.
0.71/0.71 c [pFactory][Group N°0] task 4 launched on thread 6.
0.71/0.71 c [pFactory][Group N°0] task 3 launched on thread 7.
0.71/0.71 c [pFactory][Group N°0] task 2 launched on thread 4.
0.71/0.71 c [pFactory][Group N°0] task 1 launched on thread 3.
0.71/0.71 c [pFactory][Group N°0] task 0 launched on thread 5.
0.71/0.71 c c conflictsconflicts decisions decisions filterCalls filterCalls propagations propagations Root Prop. NogoodsRoot Prop. Nogoods min/max/avg depth min/max/avg depth
0.71/0.71
0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.71/0.71 c root propagations : 5352
0.71/0.71 c restarts enabled, print stats at every restarts
0.71/0.71 c
0.71/0.71 c
0.71/0.71 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.71/0.72 c root propagations : 5352
0.71/0.72 c restarts enabled, print stats at every restarts
0.71/0.72 c
0.71/0.72 c
0.71/0.72 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.71/0.73 c 32 469 77802 7693 264 0 394 409 388
0.71/0.73 c 0 388 49926 5956 264 0 0 0 0
0.71/0.73 c 0 372 44716 5836 264 0 0 0 0
0.71/0.74 c c 0 0 389 49974 3735958 447645838 264 264 0 0 0 0 00 0 0
0.71/0.74
0.71/0.75 c 101 737 188581 13478 264 0 394 417 396
0.71/0.75 c 32 858 104028 8812 264 0 363 433 371
0.71/0.75 c 101 766 188196 12896 264 0 379 438 411
0.71/0.75 c 33 879 111233 8452 264 0 410 410 205
0.71/0.75 c 101 747 168157 12115 264 0 371 416 402
0.71/0.76 c 0 722 61831 6195 264 0 0 0 0
0.71/0.76 c 0 739 67342 6322 264 0 0 0 0
0.71/0.76 c 101 736 179621 13124 264 0 384 433 404
0.71/0.76 c c 0 0 723 740 61831 67342 6196 6323264 264 0 0 0 0 00 0 0
0.71/0.76
0.71/0.76 c 0 726 62290 6207 264 0 0 0 0
0.71/0.76 c 0 742 68006 6339 264 0 0 0 0
0.71/0.76 c 0 872 74814 6483 264 0 0 0 0
0.71/0.77 c 0 856 68845 6345 264 0 0 0 0
0.71/0.77 c 33 1245 129909 9386 264 0 387 387 193
0.71/0.77 c 64 1376 173903 10955 264 0 384 402 382
0.71/0.78 c 211 1406 323421 20833 264 0 381 431 393
0.71/0.79 c 211 1484 342526 20829 264 0 15 435 277
0.71/0.79 c 32 1369 139326 9187 264 0 393 421 404
0.71/0.79 c 64 1753 196530 11965 264 0 404 419 397
0.71/0.79 c 32 1336 141681 9190 264 0 399 406 390
0.71/0.79 c 65 1770 202788 11633 264 0 394 394 197
1.49/0.80 c 211 1497 312275 19150 264 0 411 439 418
1.49/0.81 c 65 2168 233606 12890 264 0 415 415 207
1.49/0.81 c 66 2177 233922 12334 264 0 407 407 203
1.49/0.81 c 33 1723 167914 9773 264 0 387 387 193
1.49/0.81 c 33 1795 176286 10082 264 0 426 426 213
1.49/0.81 c 211 1497 347752 22298 264 0 6 445 375
1.49/0.82 c 332 1984 506304 29135 264 0 31 51 39
1.49/0.82 c 67 2561 263218 12997 264 0 c 66 384 384 1922560 264010 13615
1.49/0.82 264 0 392 392 196
1.49/0.83 c 67 2590 277434 13952 264 0 30 30 15
1.49/0.83 c 332 1817 469942 31549 264 0 13 22 18
1.49/0.84 c 128 2779 345557 17640 264 0 20 32 26
1.49/0.84 c 129 2785 347848 17719 264 0 6 6 3
1.49/0.84 c 332 2757 588506 34842 264 0 6 462 426
1.49/0.84 c 130 2789 349621 17780 264 0 4 4 2
1.49/0.84 c 131 2793 351519 17844 264 0 4 4 2
1.49/0.86 c 132 2797 353220 17914 264 0 4 4 2
1.49/0.86 c 133 2826 364337 18213 264 0 29 29 14
1.49/0.86 c 64 2328 272035 13956 264 0 8 428 397
1.49/0.86 c 134 2832 367110 18294 264 0 6 6 3
1.49/0.86 c 135 2836 369008 18358 264 0 4 4 2
1.49/0.86 c 128 3112 350920 17846 264 0 20 413 212
1.49/0.87 c 129 3120 354076 17924 264 0 8 8 4
1.49/0.87 c 64 2588 248585 13439 264 0 3 394 44
1.49/0.87 c 130 3145 364587 18198 264 0 25 25 12
1.49/0.87 c 65 2356 281864 14199 264 0 28 28 14
1.49/0.87 c 131 3170 374357 18449 264 0 25 25 12
1.49/0.87 c 465 2597 719577 39474 264 0 14 34 25
1.49/0.87 c 66 2379 290440 14422 264 0 23 23 11
1.49/0.87 c 132 3193 384637 18736 264 0 23 23 11
1.49/0.87 c 133 3204 388857 18865 264 0 11 11 5
1.49/0.87 c 67 2409 301084 14684 264 0 30 30 15
1.49/0.88 c 134 3228 399103 19132 264 0 24 24 12
1.49/0.88 c 135 3251 408777 19381 264 0 23 23 11
1.49/0.88 c 256 3216 515472 26867 264 0 3 33 15
1.49/0.88 c 332 2716 521795 29085 264 0 26 440 104
1.49/0.88 c 257 3232 522880 27091 264 0 16 16 8
1.49/0.89 c 465 2425 685229 42413 264 0 3 39 29
1.49/0.89 c 258 3250 531034 27309 264 0 18 18 9
1.49/0.89 c 259 3266 537395 27495 264 0 16 16 8
1.49/0.89 c 65 2977 275448 14063 264 0 389 389 194
1.49/0.89 c 128 2593 370768 19203 264 0 13 25 19
1.49/0.89 c 129 2609 375700 19351 264 0 16 16 8
1.49/0.89 c 260 3284 545549 27713 264 0 18 18 9
1.49/0.89 c 261 3300 551910 27899 264 0 16 16 8
1.49/0.89 c 130 2623 382399 19545 264 0 14 14 7
1.49/0.89 c 131 2642 390901 19802 264 0 19 19 9
1.49/0.89 c 262 3323 561169 28149 264 0 23 23 11
1.49/0.89 c 132 2658 397200 19999 264 0 16 16 8
1.49/0.89 c 263 3340 567746 28322 264 0 17 17 8
1.49/0.89 c 133 2674 404002 20235 264 0 16 16 8
1.49/0.89 c 264 3356 574107 28508 264 0 16 16 8
2.29/0.90 c 134 2689 410966 20449 264 0 15 15 7
2.29/0.90 c 265 3379 583366 28758 264 0 23 23 11
2.29/0.90 c 135 2704 417567 20666 264 0 15 15 7
2.29/0.90 c 266 3410 596508 29107 264 0 31 31 15
2.29/0.90 c 465 3386 821932 46450 264 0 6 69 53
2.29/0.90 c 611 3143 881831 48721 264 0 3 35 28
2.29/0.90 c 267 3439 607783 29394 264 0 29 29 14
2.29/0.90 c 268 3463 616189 29626 264 0 24 24 12
2.29/0.91 c 256 3676 584082 28471 264 0 20 28 25
2.29/0.91 c 269 3494 629342 29974 264 0 31 31 15
2.29/0.91 c 66 3364 301518 14661 264 0 387 387 193
2.29/0.91 c 257 3695 593294 28769 264 0 19 19 9
2.29/0.91 c 270 3510 636750 30198 264 0 16 16 8
2.29/0.91 c 258 3712 601002 28971 264 0 17 17 8
2.29/0.91 c 611 2810 842442 53523 264 0 10 19 14
2.29/0.91 c 271 3535 647802 30507 264 0 25 25 12
2.29/0.91 c 259 3731 611261 29284 264 0 19 19 9
2.29/0.91 c 260 3748 618969 29486 264 0 17 17 8
2.29/0.92 c 465 3230 695340 38387 264 0 21 35 30
2.29/0.92 c 261 3767 629228 29799 264 0 19 19 9
2.29/0.92 c 262 3784 636936 30001 264 0 17 17 8
2.29/0.92 c 263 3803 647195 30314 264 0 19 19 9
2.29/0.92 c 264 3820 654903 30516 264 0 17 17 8
2.29/0.92 c 265 3839 665162 30829 264 0 19 19 9
2.29/0.93 c 266 3856 672870 c 31031 771 2643571 0 1036983 60398 264 0 10 24 1817 17 8
2.29/0.93
2.29/0.93 c 67 3751 327483 15237 264 0 387 387 193
2.29/0.93 c 256 3125 591771 30320 264 0 5 23 12
2.29/0.93 c 267 3875 683129 31344 264 0 19 19 9
2.29/0.93 c 257 3142 597339 30487 264 0 17 17 8
2.29/0.93 c 268 3892 690837 31546 264 0 17 17 8
2.29/0.93 c 269 3908 699195 31796 264 0 16 16 8
2.29/0.93 c 258 3172 608574 30768 264 0 30 30 15
2.29/0.93 c 270 3926 706998 31987 264 0 18 18 9
2.29/0.93 c 259 3191 614631 30918 264 0 19 19 9
2.29/0.93 c 271 3942 715356 32237 264 0 16 16 8
2.29/0.94 c 260 3214 621590 31104 264 0 23 23 11
2.29/0.94 c 261 3236 629135 31318 264 0 22 22 11
2.29/0.94 c 262 3259 636222 31506 264 0 23 23 11
2.29/0.94 c 263 3281 643767 31720 264 0 22 22 11
2.29/0.94 c 611 4052 1065646 58898 264 0 7 72 58
2.29/0.94 c 264 3304 651697 31944 264 0 23 23 11
2.29/0.95 c 265 3328 659664 32163 264 0 24 24 12
2.29/0.95 c 771 3362 1032889 64307 264 0 4 33 20
2.29/0.95 c 266 3359 670606 32439 264 0 31 31 15
2.29/0.95 c 611 3844 866804 47105 264 0 24 40 36
2.29/0.95 c 267 3377 676513 32610 264 0 18 18 9
2.29/0.95 c 268 3408 687837 32893 264 0 31 31 15
2.29/0.97 c 269 3427 693892 33044 264 0 19 19 9
2.29/0.97 c 270 3451 701694 33260 264 0 24 24 12
2.29/0.97 c 947 4161 1238754 71857 264 0 7 35 31
2.29/0.97 c 271 3475 709661 33479 264 0 24 24 12
2.29/0.97 c 512 4352 946293 46093 264 0 15 28 24
2.29/0.97 c 513 4365 950816 46222 264 0 13 13 6
2.29/0.97 c 514 4373 954284 46325 264 0 8 8 4
2.29/0.97 c 515 4387 960175 46502 264 0 14 14 7
2.29/0.97 c 516 4395 963643 46605 264 0 8 8 4
2.29/0.98 c 517 4409 969534 46782 264 0 14 14 7
2.29/0.98 c 518 4417 973002 46885 264 0 8 8 4
2.29/0.98 c 519 4432 979298 47063 264 0 15 15 7
2.29/0.98 c 520 4440 982766 47166 264 0 8 8 4
2.29/0.98 c 521 4455 989062 47344 264 0 15 15 7
2.29/0.98 c 522 4463 992530 47447 264 0 8 8 4
2.29/0.98 c 128 4366 437497 20853 264 0 22 404 234
2.29/0.98 c 523 4478 998826 47625 264 0 15 15 7
2.29/0.98 c 524 4486 1002294 47728 264 0 8 8 4
2.29/0.98 c 525 4501 1008590 47906 264 0 15 15 7
2.29/0.98 c 526 4509 1012058 48009 264 0 8 8 4
2.29/0.98 c 129 4386 446296 21081 264 0 20 20 10
2.29/0.98 c 527 4524 1018354 48187 264 0 15 15 7
2.29/0.98 c 528 4532 1021822 48290 264 0 8 8 4
2.29/0.98 c 512 4632 969933 46557 264 0 7 22 13
2.29/0.99 c 130 4402 452734 21254 264 0 16 16 8
2.29/0.99 c 513 4639 972771 46646 264 0 7 7 3
2.29/0.99 c 529 4547 1028118 48468 264 0 15 15 7
2.29/0.99 c 131 4410 456612 21384 264 0 8 8 4
2.29/0.99 c 514 4645 976411 46789 264 0 6 6 3
2.29/0.99 c 132 4414 458044 21437 264 0 4 4 2
2.29/0.99 c 530 4555 1031586 48571 264 0 8 8 4
2.29/0.99 c 515 4651 979061 46876 264 0 6 6 3
2.29/0.99 c 771 4252 1025231 56705 264 0 10 16 13
2.29/0.99 c 516 4657 982701 47019 264 0 6 6 3
2.29/0.99 c 517 4663 985351 47106 264 0 6 6 3
2.29/0.99 c 531 4570 1037926 48750 264 0 15 15 7
2.29/0.99 c 518 4669 988991 47249 264 0 6 6 3
2.29/0.99 c 532 4578 1041394 48853 264 0 8 8 4
2.29/0.99 c 519 4675 991641 47336 264 0 6 6 3
2.29/0.99 c 520 4682 995912 47482 264 0 7 7 3
2.29/0.99 c 533 4593 1047734 49032 264 0 15 15 7
2.29/0.99 c 133 4445 470390 21744 264 0 31 31 15
2.29/0.99 c 521 4688 998562 47569 264 0 6 6 3
2.29/0.99 c 534 4601 1051202 49135 264 0 8 8 4
2.29/0.99 c 522 4695 1002833 47715 264 0 7 7 3
2.29/0.99 c 523 4701 1005483 47802 264 0 6 6 3
2.29/0.99 c 535 4616 1057542 49314 264 0 15 15 7
2.29/0.99 c 524 4708 1009754 47948 264 0 7 7 3
2.29/0.99 c 525 4714 1012404 48035 264 0 6 6 3
2.29/0.99 c 536 4624 1061010 49417 264 0 8 8 4
2.29/0.99 c 526 4721 1016675 48181 264 0 7 7 3
2.29/0.99 c 537 4639 1067350 49596 264 0 15 15 7
2.29/0.99 c 134 4477 483382 22091 264 0 32 32 16
2.29/0.99 c 538 4647 1070818 49699 264 0 8 8 4
2.29/1.00 c 539 4662 1077158 49878 264 0 15 15 7
2.29/1.00 c 540 4670 1080626 49981 264 0 8 8 4
2.29/1.00 c 541 4685 1086966 50160 264 0 15 15 7
2.29/1.00 c 135 4507 495619 22403 264 0 30 30 15
2.29/1.00 c 542 4710 1096670 50411 264 0 25 25 12
2.29/1.00 c 543 4724 1101986 50560 264 0 14 14 7
2.29/1.00 c 1140 4823 1435178 83592 264 0 22 37 29
2.29/1.00 c 527 5169 1056996 49140 264 0 448 448 224
3.14/1.01 c 947 4075 1289384 78915 264 0 13 27 20
3.14/1.01 c 528 5175 1059602 49224 264 0 6 6 3
3.14/1.01 c 529 5181 1063243 49342 264 0 6 6 3
3.14/1.02 c 771 4974 1389689 74217 264 0 6 77 54
3.14/1.02 c 947 4801 1219401 67892 264 0 18 41 28
3.14/1.02 c 530 5631 1103514 50280 264 0 450 450 225
3.14/1.02 c 256 4918 648709 30917 264 0 17 32 25
3.14/1.03 c 512 4546 1054659 53099 264 0 17 33 25
3.14/1.03 c 257 4950 661102 31255 264 0 32 32 16
3.14/1.03 c 531 5637 1106126 50363 264 0 6 6 3
3.14/1.03 c 532 5643 1109767 50481 264 0 6 6 3
3.14/1.03 c 513 4577 1065130 53449 264 0 31 31 15
3.14/1.03 c 258 4980 672063 31543 264 0 30 30 15
3.14/1.04 c 514 4608 1075850 53767 264 0 31 31 15
3.14/1.04 c 259 5010 682926 31825 264 0 30 30 15
3.14/1.04 c 515 4639 1086451 54117 264 0 31 31 15
3.14/1.04 c 260 5041 695244 32152 264 0 31 31 15
3.14/1.04 c 516 4670 1097171 54435 264 0 31 31 15
3.14/1.04 c 261 5072 707888 32491 264 0 31 31 15
3.14/1.04 c 533 6089 1150321 51466 264 0 446 446 223
3.14/1.05 c 517 4703 1108915 54760 264 0 33 33 16
3.14/1.05 c 1352 5630 1702942 97864 264 0 19 35 30
3.14/1.05 c 262 5104 720216 32816 264 0 32 32 16
3.14/1.05 c 518 4736 1119901 55030 264 0 33 33 16
3.14/1.05 c 519 4746 1123348 55135 264 0 10 10 5
3.14/1.05 c 263 5133 731208 33105 264 0 29 29 14
3.14/1.05 c 534 6095 1152846 51547 264 0 6 6 3
3.14/1.05 c 535 6101 1156487 51665 264 0 6 6 3
3.14/1.05 c 520 4776 1133678 55484 264 0 30 30 15
3.14/1.06 c 264 5164 743013 33419 264 0 31 31 15
3.14/1.06 c 521 4808 1145551 55813 264 0 32 32 16
3.14/1.06 c 265 5194 754844 33735 264 0 30 30 15
3.14/1.06 c 522 4840 1156919 56169 264 0 32 32 16
3.14/1.06 c 266 5225 766400 34017 264 0 31 31 15
3.14/1.06 c 523 4870 1167203 56422 264 0 30 30 15
3.14/1.07 c 536 6548 1197089 52651 264 0 447 447 223
3.14/1.07 c 524 4880 1170650 56526 264 0 10 10 5
3.14/1.07 c 267 5254 777392 34305 264 0 29 29 14
3.14/1.07 c 1140 5499 1440090 79898 264 0 17 33 28
3.14/1.08 c 525 4910 1180980 56874 264 0 30 30 15
3.14/1.08 c 268 5284 788176 34584 264 0 30 30 15
3.14/1.08 c 526 4940 1191652 57189 264 0 30 30 15
3.14/1.08 c 537 6554 1199623 52732 264 0 6 6 3
3.14/1.08 c 269 5314 800480 34903 264 0 30 30 15
3.14/1.08 c 538 6560 1203264 52850 264 0 6 6 3
3.14/1.08 c 947 5975 1727451 91047 264 0 22 91 70
3.14/1.08 c 1140 5037 1630529 96576 264 0 21 32 28
3.14/1.09 c 527 4972 1203531 57517 264 0 32 32 16
3.14/1.09 c 270 5343 812033 35206 264 0 29 29 14
3.14/1.09 c 528 5004 1214851 57872 264 0 32 32 16
3.14/1.09 c 271 5375 824470 35536 264 0 32 32 16
3.14/1.09 c 529 5034 1225135 58125 264 0 30 30 15
3.14/1.09 c 530 5044 1228582 58229 264 0 10 10 5
3.14/1.09 c 1000 6179 1635465 79956 264 0 18 28 24
3.14/1.10 c 531 5074 1238912 58577 264 0 30 30 15
3.14/1.10 c 539 6999 1243482 53827 264 0 439 439 219
3.14/1.10 c 1024 6248 1659432 81470 264 0 22 25 22
3.14/1.10 c 532 5104 1249584 58892 264 0 30 30 15
3.14/1.10 c 1025 6255 1663686 81603 264 0 7 7 3
3.14/1.10 c 1026 6278 1672914 81856 264 0 23 23 11
3.14/1.10 c 533 5136 1261463 59220 264 0 32 32 16
3.14/1.10 c 1027 6285 1677168 81989 264 0 7 7 3
3.14/1.10 c 1000 6283 1822766 95942 264 0 30 99 86
3.14/1.10 c 540 7005 1246055 53909 264 0 6 6 3
3.14/1.10 c 1585 6441 1968173 113599 264 0 7 36 28
3.14/1.10 c 541 7011 1249696 54027 264 0 6 6 3
3.14/1.10 c 1028 6308 1687170 82272 264 0 23 23 11
3.95/1.11 c 534 5168 1272783 59575 264 0 32 32 16
3.95/1.11 c 1029 6331 1695848 82579 264 0 23 23 11
3.95/1.11 c 1030 6338 1700102 82712 264 0 7 7 3
3.95/1.11 c 535 5198 1283067 59828 264 0 30 30 15
3.95/1.11 c 1031 6361 1710289 83000 264 0 23 23 11
3.95/1.11 c 536 5208 1286514 59932 264 0 10 10 5
3.95/1.11 c 1032 6387 1722705 83337 264 0 26 26 13
3.95/1.11 c 537 5237 1296796 60278 264 0 29 29 14
3.95/1.11 c 1033 6412 1732896 83621 264 0 25 25 12
3.95/1.12 c 538 5267 1307468 60593 264 0 30 30 15
3.95/1.12 c 1034 6435 1741098 83876 264 0 23 23 11
3.95/1.12 c 542 7451 1289962 55005 264 0 440 440 220
3.95/1.12 c 1035 6450 1747772 84073 264 0 15 15 7
3.95/1.12 c 539 5299 1319347 60921 264 0 32 32 16
3.95/1.12 c 1036 6475 1757606 84350 264 0 25 25 12
3.95/1.13 c 1037 6492 1764960 84546 264 0 17 17 8
3.95/1.13 c 540 5330 1330619 61274 264 0 31 31 15
3.95/1.13 c 1038 6515 1772852 84761 264 0 23 23 11
3.95/1.13 c 543 7457 1292535 55087 264 0 6 6 3
3.95/1.13 c 1039 6522 1777106 84894 264 0 7 7 3
3.95/1.13 c 541 5359 1340855 61526 264 0 29 29 14
3.95/1.13 c 1040 6544 1785260 85151 264 0 22 22 11
3.95/1.13 c 542 5369 1344302 61630 264 0 10 10 5
3.95/1.13 c 1041 6559 1791934 85348 264 0 15 15 7
3.95/1.13 c 543 5398 1354584 61976 264 0 29 29 14
3.95/1.13 c 1042 6584 1801715 85604 264 0 25 25 12
3.95/1.13 c 1352 5749 1860046 109316 264 0 12 33 25
3.95/1.13 c 1352 6349 1707812 94800 264 0 17 34 27
3.95/1.13 c 1043 6609 1811022 85864 264 0 25 25 12
3.95/1.13 c 1044 6634 1821131 86145 264 0 25 25 12
3.95/1.13 c 1045 6658 1829367 86387 264 0 24 24 12
3.95/1.13 c 1046 6681 1837773 86677 264 0 23 23 11
3.95/1.14 c 1047 6688 1842027 86810 264 0 7 7 3
3.95/1.14 c 1048 6710 1850181 87067 264 0 22 22 11
3.95/1.14 c 1049 6725 1856855 87264 264 0 15 15 7
3.95/1.14 c 1050 6750 1866636 87520 264 0 25 25 12
3.95/1.14 c 512 6245 1126000 52664 264 0 c 1051 6775 1875943 87780 17 33 27264 0
3.95/1.15 25 25 12
3.95/1.15 c 1052 6800 1885999 88040 264 0 25 25 12
3.95/1.15 c 513 6266 1134127 52883 264 0 21 21 10
3.95/1.15 c 514 6269 1135639 52945 264 0 3 3 1
3.95/1.15 c 515 6279 1140465 53093 264 0 10 10 5
3.95/1.15 c 1053 6823 1893891 88255 264 0 23 23 11
3.95/1.15 c 1054 6830 1898145 88388 264 0 7 7 3
3.95/1.15 c 516 6300 1148592 53312 264 0 21 21 10
3.95/1.15 c 517 6303 1150104 53374 264 0 3 3 1
3.95/1.15 c 1055 6852 1905742 88604 264 0 22 22 11
3.95/1.15 c 518 6313 1154930 53522 264 0 10 10 5
3.95/1.15 c 1056 6877 1915523 88860 264 0 25 25 12
3.95/1.15 c 1841 7437 2266769 129869 264 0 5 25 20
3.95/1.15 c 519 6334 1163104 53760 264 0 21 21 10
3.95/1.15 c 520 6337 1164616 53822 264 0 3 3 1
3.95/1.16 c 1057 6902 1924830 89120 264 0 25 25 12
3.95/1.16 c 521 6347 1169540 53952 264 0 10 10 5
3.95/1.16 c 1140 7215 2126749 110574 264 0 30 103 83
3.95/1.16 c 1058 6927 1934934 89382 264 0 25 25 12
3.95/1.16 c 522 6367 1177923 54195 264 0 20 20 10
3.95/1.16 c 523 6377 1182875 54324 264 0 10 10 5
3.95/1.16 c 1059 6950 1943132 89622 264 0 23 23 11
3.95/1.16 c 1060 6965 1949806 89819 264 0 15 15 7
3.95/1.16 c 524 6397 1191182 54550 264 0 20 20 10
3.95/1.16 c 525 6400 1192693 54618 264 0 3 3 1
3.95/1.16 c 526 6410 1197569 54746 264 0 10 10 5
3.95/1.16 c 1061 6990 1959587 90075 264 0 25 25 12
3.95/1.17 c 527 6430 1205885 54991 264 0 20 20 10
3.95/1.17 c 1062 7015 1968850 90334 264 0 25 25 12
3.95/1.17 c 528 6433 1207396 55059 264 0 3 3 1
3.95/1.18 c 529 6443 1212272 55187 264 0 10 10 5
3.95/1.18 c 1063 7040 1978959 90615 264 0 25 25 12
3.95/1.18 c 530 6463 1220541 55413 264 0 20 20 10
3.95/1.18 c 1064 7063 1987150 90855 264 0 23 23 11
3.95/1.18 c 531 6466 1222052 55481 264 0 3 3 1
3.95/1.18 c 532 6476 1226928 55609 264 0 10 10 5
3.95/1.18 c 1065 7078 1993824 91052 264 0 15 15 7
3.95/1.18 c 533 6496 1235244 55854 264 0 20 20 10
3.95/1.18 c 1066 7103 2003605 91308 264 0 25 25 12
3.95/1.18 c 534 6499 1236755 55922 264 0 3 3 1
3.95/1.18 c 535 6509 1241631 56050 264 0 10 10 5
3.95/1.18 c 1067 7128 2012868 91567 264 0 25 25 12
3.95/1.19 c 536 6529 1249900 56276 264 0 20 20 10
3.95/1.19 c 537 6532 1251411 56344 264 0 3 3 1
3.95/1.19 c 1068 7153 2022924 91827 264 0 25 25 12
3.95/1.19 c 538 6552 1259519 56578 264 0 20 20 10
3.95/1.19 c 1069 7176 2031122 92067 264 0 23 23 11
3.95/1.19 c 539 6555 1261030 56646 264 0 3 3 1
3.95/1.19 c 1070 7191 2037796 92264 264 0 15 15 7
3.95/1.19 c 1585 7238 1980332 111509 264 0 17 33 27
3.95/1.19 c 540 6575 1269091 56861 264 0 20 20 10
3.95/1.19 c 2000 7962 2427977 139502 264 0 2 35 23
3.95/1.19 c 2000 7963 2427977 139503 264 0 0 0 0
3.95/1.19 c 541 6578 1270602 56929 264 0 3 3 1
3.95/1.19 c 1071 7216 2047630 92541 264 0 25 25 12
3.95/1.19 c 542 6598 1278710 57163 264 0 20 20 10
3.95/1.19 c 1072 7233 2054984 92737 264 0 17 17 8
3.95/1.19 c 543 6601 1280221 57231 264 0 3 3 1
3.95/1.19 c 1073 7256 2062876 92952 264 0 23 23 11
4.68/1.20 c 1074 7263 2067130 93085 264 0 7 7 3
4.68/1.20 c 1075 7285 2075133 93311 264 0 22 22 11
4.68/1.20 c 1585 6814 2183302 125775 264 0 20 32 27
4.68/1.20 c 1076 7310 2084927 93576 264 0 25 25 12
4.68/1.20 c 1077 7335 2094808 93834 264 0 25 25 12
4.68/1.20 c 1078 7358 2103006 94074 264 0 23 23 11
4.68/1.21 c 1079 7373 2109680 94271 264 0 15 15 7
4.68/1.21 c 1080 7398 2119444 94530 264 0 25 25 12
4.68/1.21 c 1081 7423 2129325 94788 264 0 25 25 12
4.68/1.21 c 1082 7448 2139049 95059 264 0 25 25 12
4.68/1.21 c 2122 8438 2559601 146656 264 0 5 36 32
4.68/1.21 c 1083 7470 2147263 95291 264 0 22 22 11
4.68/1.22 c 1084 7495 2156975 95553 264 0 25 25 12
4.68/1.22 c 1085 7517 2165057 95784 264 0 22 22 11
4.68/1.22 c 1086 7532 2171536 95974 264 0 15 15 7
4.68/1.23 c 1087 7557 2180606 96226 264 0 25 25 12
4.68/1.24 c 1841 8187 2253723 125765 264 0 22 33 30
4.68/1.24 c 1352 8440 2531689 130645 264 0 30 94 68
4.68/1.25 c 1000 7303 1970948 97248 264 0 12 32 24
4.68/1.25 c 1000 9509 1961371 91967 264 0 6 444 34
4.68/1.26 c 1024 9598 1994291 93716 264 0 3 32 24
4.68/1.26 c 1025 9602 1996088 93787 264 0 4 4 2
4.68/1.26 c 1024 7428 2017257 99240 264 0 15 23 20
4.68/1.26 c 1026 9606 1997259 93830 264 0 4 4 2
4.68/1.26 c 1025 7450 2025044 99445 264 0 c 22 22 11
4.68/1.26 1027 9636 2008920 94121 264 0 30 30 15
4.68/1.27 c 1028 9640 2010717 94192 264 0 4 4 2
4.68/1.27 c 1029 9644 2011888 94235 264 0 4 4 2
4.68/1.27 c 1026 7467 2030216 99633 264 0 17 17 8
4.68/1.27 c 1027 7483 2035810 99796 264 0 16 16 8
4.68/1.27 c 1030 9674 2023549 94526 264 0 30 30 15
4.68/1.27 c 1031 9678 2025346 94597 264 0 4 4 2
4.68/1.27 c 1028 7500 2041149 99989 264 0 17 17 8
4.68/1.27 c 1032 9682 2026517 94640 264 0 4 4 2
4.68/1.27 c 1029 7522 2049183 100233 264 0 22 22 11
4.68/1.27 c 1033 9712 2038178 94931 264 0 30 30 15
4.68/1.27 c 1841 7885 2536958 145565 264 0 17 32 24
4.68/1.27 c 1034 9716 2039975 95002 264 0 4 4 2
4.68/1.27 c 1035 9720 2041146 95045 264 0 4 4 2
4.68/1.27 c 1030 7543 2056292 100435 264 0 21 21 10
4.68/1.27 c 1036 9750 2052807 95336 264 0 30 30 15
4.68/1.27 c 1031 7565 2064364 100679 264 0 22 22 11
4.68/1.27 c 2431 9487 2901312 166007 264 0 4 35 32
4.68/1.28 c 1037 9780 2062642 95578 264 0 30 30 15
4.68/1.28 c 2000 8646 2413427 135144 264 0 21 27 24
4.68/1.28 c 1032 7586 2071473 100881 264 0 21 21 10
4.68/1.28 c 1033 7602 2077105 101044 264 0 16 16 8
4.68/1.28 c 1038 9810 2073946 95861 264 0 30 30 15
4.68/1.28 c 1034 7617 2081467 101184 264 0 15 15 7
4.68/1.28 c 1035 7632 2086383 101322 264 0 15 15 7
4.68/1.28 c 1039 9840 2083781 96103 264 0 30 30 15
4.68/1.28 c 1036 7654 2094259 101571 264 0 22 22 11
4.68/1.28 c 1040 9870 2095152 96388 264 0 30 30 15
4.68/1.28 c 1037 7675 2101219 101760 264 0 21 21 10
4.68/1.29 c 1038 7689 2105631 101886 264 0 14 14 7
4.68/1.29 c 1041 9902 2107189 96732 264 0 32 32 16
4.68/1.29 c 1585 9240 2802439 145528 264 0 28 48 36
4.68/1.29 c 1039 7705 2111225 102049 264 0 16 16 8
4.68/1.29 c 1040 7720 2115861 102198 264 0 15 15 7
4.68/1.29 c 1041 7727 2118389 102281 264 0 7 7 3
4.68/1.29 c 1042 9932 2118414 97019 264 0 30 30 15
4.68/1.29 c 1042 7744 2124201 102468 264 0 17 17 8
4.68/1.29 c 1043 7759 2128628 102583 264 0 15 15 7
4.68/1.29 c 1043 9962 2128249 97261 264 0 30 30 15
4.68/1.29 c 1044 7774 2134295 102753 264 0 15 15 7
4.68/1.29 c 1045 7790 2139136 102877 264 0 16 16 8
4.68/1.29 c 1044 9992 2139620 97546 264 0 30 30 15
4.68/1.29 c 1046 7805 2144180 103007 264 0 15 15 7
4.68/1.29 c 1045 10022 2149455 97788 264 0 30 30 15
4.68/1.29 c 1047 7825 2151149 103197 264 0 20 20 10
5.48/1.30 c 1048 7842 2157097 103386 264 0 17 17 8
5.48/1.30 c 1046 10052 2160826 98073 264 0 30 30 15
5.48/1.30 c 1049 7864 2165171 103630 264 0 22 22 11
5.48/1.30 c 1047 10084 2172863 98417 264 0 32 32 16
5.48/1.30 c 1050 7884 2172176 103823 264 0 20 20 10
5.48/1.30 c 1000 8310 1856252 91630 264 0 10 32 25
5.48/1.30 c 1051 7902 2178408 103979 264 0 18 18 9
5.48/1.30 c 1048 10114 2184088 98704 264 0 30 30 15
5.48/1.30 c 1052 7922 2185378 104169 264 0 20 20 10
5.48/1.30 c 1049 10144 2193923 98946 264 0 30 30 15
5.48/1.30 c 1053 7940 2192370 104368 264 0 18 18 9
5.48/1.31 c 1050 10174 2205294 99231 264 0 30 30 15
5.48/1.31 c 1054 7962 2200484 104607 264 0 22 22 11
5.48/1.31 c 1055 7982 2207490 104800 264 0 20 20 10
5.48/1.31 c 1051 10206 2217331 99575 264 0 32 32 16
5.48/1.31 c 1056 8000 2213722 104956 264 0 18 18 9
5.48/1.31 c 1052 10236 2228556 99862 264 0 30 30 15
5.48/1.31 c 1024 8468 1916372 94695 264 0 23 29 27
5.48/1.31 c 1057 8020 2220691 105146 264 0 20 20 10
5.48/1.31 c 2122 9260 2609819 145698 264 0 22 32 28
5.48/1.31 c 1058 8038 2226923 105302 264 0 18 18 9
5.48/1.31 c 1053 10266 2238391 100104 264 0 30 30 15
5.48/1.31 c 1025 8498 1926834 94978 264 0 30 30 15
5.48/1.32 c 1059 8058 2233892 105492 264 0 20 20 10
5.48/1.33 c 1054 10296 2249762 100389 264 0 30 30 15
5.48/1.33 c 1060 8076 2240836 105684 264 0 18 18 9
5.48/1.33 c 1026 8526 1938368 95328 264 0 28 28 14
5.48/1.33 c 1055 10328 2261799 100733 264 0 32 32 16
5.48/1.33 c 1061 8098 2248403 105874 264 0 22 22 11
5.48/1.33 c 2000 8529 2803258 158319 264 0 22 32 28
5.48/1.33 c 1027 8553 1947856 95579 264 0 27 27 13
5.48/1.33 c 1062 8118 2255373 106064 264 0 20 20 10
5.48/1.33 c 1056 10358 2273024 101020 264 0 30 30 15
5.48/1.33 c 1063 8136 2262365 106263 264 0 18 18 9
5.48/1.33 c 1057 10388 2282859 101262 264 0 30 30 15
5.48/1.33 c 1028 8581 1958495 95907 264 0 28 28 14
5.48/1.33 c 1064 8158 2269932 106453 264 0 22 22 11
5.48/1.34 c 1058 10418 2294230 101547 264 0 30 30 15
5.48/1.34 c 1065 8178 2276901 106643 264 0 20 20 10
5.48/1.34 c 1029 8608 1967983 96158 264 0 27 27 13
5.48/1.34 c 1066 8188 2281284 106795 264 0 10 10 5
5.48/1.34 c 1059 10448 2304065 101789 264 0 30 30 15
5.48/1.34 c 1067 8208 2288290 106988 264 0 20 20 10
5.48/1.34 c 1030 8636 1978622 96486 264 0 28 28 14
5.48/1.34 c 1068 8218 2292084 107090 264 0 10 10 5
5.48/1.34 c 1841 10159 3113496 161559 264 0 35 51 43
5.48/1.34 c 1060 10478 2315436 102074 264 0 30 30 15
5.48/1.34 c 1069 8238 2299053 107280 264 0 20 20 10
5.48/1.34 c 1031 8663 1988110 96737 264 0 27 27 13
5.48/1.34 c 1070 8246 2302203 107426 264 0 8 8 4
5.48/1.34 c 2770 10606 3272623 186596 264 0 22 35 31
5.48/1.34 c 1061 10510 2327473 102418 264 0 32 32 16
5.48/1.34 c 1071 8260 2307462 107566 264 0 14 14 7
5.48/1.34 c 1032 8691 1998749 97065 264 0 28 28 14
5.48/1.34 c 1072 8280 2314431 107756 264 0 20 20 10
5.48/1.35 c 1062 10540 2338698 102705 264 0 30 30 15
5.48/1.35 c 1073 8294 2321037 107953 264 0 14 14 7
5.48/1.35 c 1033 8718 2008237 97316 264 0 27 27 13
5.48/1.35 c 1074 8308 2326363 108092 264 0 14 14 7
5.48/1.35 c 1063 10570 2348533 102947 264 0 30 30 15
5.48/1.35 c 1075 8328 2333332 108282 264 0 20 20 10
5.48/1.35 c 1034 8746 2018876 97644 264 0 28 28 14
5.48/1.35 c 1064 10600 2359904 103232 264 0 30 30 15
5.48/1.35 c 1076 8340 2339197 108495 264 0 12 12 6
5.48/1.35 c 1077 8354 2345118 108690 264 0 14 14 7
5.48/1.35 c 1065 10632 2371941 103576 264 0 32 32 16
5.48/1.35 c 2122 8935 2934856 166103 264 0 6 23 11
5.48/1.35 c 1035 8774 2028976 97915 264 0 28 28 14
5.48/1.35 c 1078 8374 2352123 108883 264 0 20 20 10
5.48/1.35 c 1079 8388 2357396 109023 264 0 14 14 7
5.48/1.35 c 1066 10662 2383166 103863 264 0 30 30 15
5.48/1.35 c 1036 8802 2038656 98164 264 0 28 28 14
5.48/1.36 c 1080 8408 2364366 109213 264 0 20 20 10
5.48/1.36 c 1067 10692 2393001 104105 264 0 30 30 15
5.48/1.36 c 1037 8831 2048354 98415 264 0 29 29 14
5.48/1.36 c 1081 8420 2370231 109426 264 0 12 12 6
5.48/1.36 c 1082 8434 2376104 109614 264 0 14 14 7
5.48/1.36 c 1068 10722 2404372 104390 264 0 30 30 15
5.48/1.36 c 1038 8859 2058993 98743 264 0 28 28 14
5.48/1.36 c 1083 8454 2383110 109807 264 0 20 20 10
5.48/1.36 c 1069 10754 2416409 104734 264 0 32 32 16
5.48/1.36 c 1084 8468 2388383 109947 264 0 14 14 7
5.48/1.36 c 1039 8887 2069093 99014 264 0 28 28 14
5.48/1.36 c 1085 8488 2395353 110137 264 0 20 20 10
5.48/1.36 c 1070 10784 2427634 105021 264 0 30 30 15
5.48/1.37 c 1086 8500 2401218 110350 264 0 12 12 6
5.48/1.37 c 1040 8915 2078773 99263 264 0 28 28 14
5.48/1.37 c 1071 10814 2437337 105260 264 0 30 30 15
5.48/1.37 c 1087 8514 2407139 110545 264 0 14 14 7
5.48/1.37 c 1072 10844 2448708 105545 264 0 30 30 15
5.48/1.37 c 1041 8946 2089605 99566 264 0 31 31 15
5.48/1.37 c 1042 8950 2091334 99663 264 0 4 4 2
5.48/1.37 c 1073 10874 2458411 105784 264 0 30 30 15
5.48/1.37 c 1043 8979 2101361 99977 264 0 29 29 14
5.48/1.37 c 1074 10904 2469782 106069 264 0 30 30 15
5.48/1.37 c 1044 9007 2111505 100242 264 0 28 28 14
5.48/1.37 c 1075 10934 2479485 106308 264 0 30 30 15
5.48/1.38 c 1045 9037 2121967 100525 264 0 30 30 15
5.48/1.38 c 1076 10964 2490856 106593 264 0 30 30 15
5.48/1.38 c 1077 10994 2500559 106832 264 0 30 30 15
5.48/1.38 c 1046 9065 2133501 100875 264 0 28 28 14
5.48/1.38 c 1078 11024 2511930 107117 264 0 30 30 15
5.48/1.38 c 2122 11128 3426795 179533 264 0 6 28 24
5.48/1.38 c 1047 9093 2143601 101146 264 0 28 28 14
5.48/1.38 c 1079 11054 2521633 107356 264 0 30 30 15
5.48/1.39 c 1048 9123 2154889 101445 264 0 30 30 15
5.48/1.39 c 1080 11084 2533004 107641 264 0 30 30 15
5.48/1.39 c 2431 10297 2978991 166797 264 0 14 33 24
5.48/1.39 c 1049 9152 2165138 101726 264 0 29 29 14
5.48/1.39 c 1081 11114 2542707 107880 264 0 30 30 15
5.48/1.39 c 1050 9179 2174770 101974 264 0 27 27 13
5.48/1.39 c 1082 11144 2554078 108165 264 0 30 30 15
5.48/1.39 c 1051 9210 2185602 102277 264 0 31 31 15
5.48/1.39 c 1083 11174 2564452 108456 264 0 30 30 15
5.48/1.39 c 1084 11179 2566380 108512 264 0 5 5 2
5.48/1.39 c 1052 9214 2187331 102374 264 0 4 4 2
5.48/1.40 c 3142 11749 3641413 208426 264 0 7 19 15
5.48/1.40 c 1085 11209 2577751 108797 264 0 30 30 15
5.48/1.40 c 1053 9243 2197358 102688 264 0 29 29 14
6.27/1.41 c 1086 11239 2588125 109088 264 0 30 30 15
6.27/1.41 c 1087 11244 2590053 109144 264 0 5 5 2
6.27/1.41 c 1054 9270 2207454 102952 264 0 27 27 13
6.27/1.41 c 1055 9299 2217703 103233 264 0 29 29 14
6.27/1.41 c 1056 9326 2227335 103481 264 0 27 27 13
6.27/1.41 c 1057 9357 2238167 103784 264 0 31 31 15
6.27/1.42 c 1058 9361 2239896 103881 264 0 4 4 2
6.27/1.42 c 1059 9390 2249923 104195 264 0 29 29 14
6.27/1.42 c 1060 9417 2259555 104443 264 0 27 27 13
6.27/1.42 c 1061 9445 2269205 104693 264 0 28 28 14
6.27/1.43 c 1062 9473 2279844 105021 264 0 28 28 14
6.27/1.43 c 1063 9500 2289476 105269 264 0 27 27 13
6.27/1.43 c 2000 11161 3430405 163456 264 0 13 28 23
6.27/1.43 c 1064 9528 2299126 105519 264 0 28 28 14
6.27/1.44 c 1065 9558 2310784 105858 264 0 30 30 15
6.27/1.44 c 1066 9579 2318202 106047 264 0 21 21 10
6.27/1.44 c 2431 10135 3369805 189656 264 0 15 32 23
6.27/1.44 c 1067 9609 2329441 106346 264 0 30 30 15
6.27/1.45 c 1068 9636 2338901 106596 264 0 27 27 13
6.27/1.45 c 2048 11369 3512516 167695 264 0 23 28 25
6.27/1.45 c 2049 11392 3521046 167933 264 0 23 23 11
6.27/1.45 c 1069 9666 2349941 106923 264 0 30 30 15
6.27/1.45 c 2431 12194 3816139 202878 264 0 17 32 25
6.27/1.45 c 2050 11416 3530616 168193 264 0 24 24 12
6.27/1.45 c 1070 9687 2357359 107112 264 0 21 21 10
6.27/1.45 c 2051 11442 3540525 168498 264 0 26 26 13
6.27/1.45 c 1071 9717 2368598 107411 264 0 30 30 15
6.27/1.45 c 2052 11465 3549106 168743 264 0 23 23 11
6.27/1.46 c 1072 9744 2378058 107661 264 0 27 27 13
6.27/1.46 c 2053 11490 3558411 168975 264 0 25 25 12
6.27/1.46 c 2054 11516 3568082 169246 264 0 26 26 13
6.27/1.46 c 1073 9772 2388343 107987 264 0 28 28 14
6.27/1.46 c 2055 11539 3576878 169495 264 0 23 23 11
6.27/1.46 c 1074 9800 2398754 108256 264 0 28 28 14
6.27/1.46 c 2056 11563 3586271 169766 264 0 24 24 12
6.27/1.46 c 2057 11586 3594801 170004 264 0 23 23 11
6.27/1.46 c 1075 9826 2408647 108515 264 0 26 26 13
6.27/1.46 c 2058 11610 3604194 170275 264 0 24 24 12
6.27/1.47 c 1076 9854 2419200 108843 264 0 28 28 14
6.27/1.47 c 2059 11633 3612724 170513 264 0 23 23 11
6.27/1.47 c 2060 11657 3622117 170784 264 0 24 24 12
6.27/1.47 c 1077 9882 2429611 109112 264 0 28 28 14
6.27/1.47 c 2061 11680 3630647 171022 264 0 23 23 11
6.27/1.47 c 1078 9909 2439707 109376 264 0 27 27 13
6.27/1.47 c 2062 11704 3640040 171293 264 0 24 24 12
6.27/1.47 c 3551 13106 4080786 233945 264 0 15 34 26
6.27/1.47 c 2063 11727 3648570 171531 264 0 23 23 11
6.27/1.48 c 1079 9936 2449167 109626 264 0 27 27 13
6.27/1.48 c 2064 11751 3657963 171802 264 0 24 24 12
6.27/1.48 c 1080 9966 2460207 109953 264 0 30 30 15
6.27/1.48 c 2065 11774 3666493 172040 264 0 23 23 11
6.27/1.48 c 2770 11640 3440306 191278 264 0 16 32 28
6.27/1.48 c 1081 9987 2467625 110142 264 0 21 21 10
6.27/1.48 c 2066 11798 3675886 172311 264 0 24 24 12
6.27/1.48 c 2067 11821 3684416 172549 264 0 23 23 11
6.27/1.48 c 1082 10016 2478816 110440 264 0 29 29 14
6.27/1.48 c 2068 11845 3693809 172820 264 0 24 24 12
6.27/1.48 c 2069 11868 3702339 173058 264 0 23 23 11
6.27/1.49 c 1083 10046 2489766 110764 264 0 30 30 15
6.27/1.49 c 2070 11892 3711732 173329 264 0 24 24 12
6.27/1.49 c 1084 10067 2497184 110953 264 0 21 21 10
6.27/1.49 c 2071 11915 3720262 173567 264 0 23 23 11
6.27/1.49 c 1085 10096 2508375 111251 264 0 29 29 14
6.27/1.49 c 2072 11939 3729655 173838 264 0 24 24 12
6.27/1.49 c 2073 11962 3738185 174076 264 0 23 23 11
6.27/1.49 c 1086 10124 2518120 111563 264 0 28 28 14
6.27/1.49 c 2074 11986 3747578 174347 264 0 24 24 12
7.07/1.50 c 1087 10154 2529692 111901 264 0 30 30 15
7.07/1.50 c 2075 12009 3756108 174585 264 0 23 23 11
7.07/1.50 c 2076 12033 3765501 174856 264 0 24 24 12
7.07/1.50 c 2077 12056 3774031 175094 264 0 23 23 11
7.07/1.50 c 2078 12080 3783424 175365 264 0 24 24 12
7.07/1.50 c 2770 11163 3697265 209372 264 0 5 17 14
7.07/1.50 c 2079 12103 3791954 175603 264 0 23 23 11
7.07/1.51 c 2080 12127 3801347 175874 264 0 24 24 12
7.07/1.52 c 2081 12150 3809877 176112 264 0 23 23 11
7.07/1.52 c 2082 12174 3819270 176383 264 0 24 24 12
7.07/1.52 c 2083 12197 3827800 176621 264 0 23 23 11
7.07/1.52 c 2084 12221 3837193 176892 264 0 24 24 12
7.07/1.52 c 2770 13367 4232074 227039 264 0 20 29 25
7.07/1.52 c 2085 12244 3845723 177130 264 0 23 23 11
7.07/1.53 c 2086 12268 3855116 177401 264 0 24 24 12
7.07/1.53 c 2087 12291 3863646 177639 264 0 23 23 11
7.07/1.53 c 2088 12315 3873039 177910 264 0 24 24 12
7.07/1.53 c 2089 12338 3881569 178148 264 0 23 23 11
7.07/1.53 c 2090 12362 3890962 178419 264 0 24 24 12
7.07/1.54 c 2091 12385 3899492 178657 264 0 23 23 11
7.07/1.54 c 2092 12409 3908885 178928 264 0 24 24 12
7.07/1.54 c 2093 12432 3917415 179166 264 0 23 23 11
7.07/1.54 c 2094 12456 3926808 179437 264 0 24 24 12
7.07/1.54 c 2095 12479 3935338 179675 264 0 23 23 11
7.07/1.55 c 2096 12503 3944731 179946 264 0 24 24 12
7.07/1.55 c 2097 12526 3953261 180184 264 0 23 23 11
7.07/1.55 c 2098 12550 3962654 180455 264 0 24 24 12
7.07/1.55 c 2099 12573 3971184 180693 264 0 23 23 11
7.07/1.55 c 2100 12597 3980577 180964 264 0 24 24 12
7.07/1.55 c 2101 12620 3989107 181202 264 0 23 23 11
7.07/1.55 c 3142 12747 3812371 213480 264 0 8 32 19
7.07/1.56 c 2102 12644 3998500 181473 264 0 24 24 12
7.07/1.56 c 2103 12667 4007030 181711 264 0 23 23 11
7.07/1.56 c 2104 12692 4016446 181982 264 0 25 25 12
7.07/1.56 c 2105 12715 4025119 182233 264 0 23 23 11
7.07/1.56 c 2106 12739 4034512 182504 264 0 24 24 12
7.07/1.57 c 2107 12762 4043042 182742 264 0 23 23 11
7.07/1.57 c 2108 12787 4052458 183013 264 0 25 25 12
7.07/1.57 c 2109 12810 4061131 183264 264 0 23 23 11
7.07/1.57 c 2110 12834 4070524 183535 264 0 24 24 12
7.07/1.57 c 2111 12857 4079054 183773 264 0 23 23 11
7.07/1.58 c 2112 12882 4088470 184044 264 0 25 25 12
7.07/1.58 c 2113 12905 4097143 184295 264 0 23 23 11
7.07/1.58 c 2114 12929 4106536 184566 264 0 24 24 12
7.07/1.58 c 2115 12952 4115066 184804 264 0 23 23 11
7.07/1.58 c 2116 12977 4124482 185075 264 0 25 25 12
7.07/1.59 c 2117 13000 4133155 185326 264 0 23 23 11
7.07/1.59 c 2118 13024 4142548 185597 264 0 24 24 12
7.07/1.59 c 2119 13047 4151078 185835 264 0 23 23 11
7.07/1.59 c 2000 12090 3544723 175051 264 0 18 33 29
7.07/1.59 c 2120 13072 4160494 186106 264 0 25 25 12
7.07/1.59 c 4000 15292 4717996 266601 264 0 14 31 26
7.07/1.59 c 2121 13095 4169167 186357 264 0 23 23 11
7.07/1.60 c 2122 13120 4178583 186628 264 0 25 25 12
7.07/1.60 c 2123 13143 4187256 186879 264 0 23 23 11
7.07/1.60 c 2124 13167 4196649 187150 264 0 24 24 12
7.07/1.60 c 3142 14842 4755470 253110 264 0 18 32 26
7.07/1.60 c 2125 13190 4205179 187388 264 0 23 23 11
7.07/1.60 c 2126 13215 4214595 187659 264 0 25 25 12
7.94/1.61 c 2127 13238 4223268 187910 264 0 23 23 11
7.94/1.61 c 2128 13262 4232661 188181 264 0 24 24 12
7.94/1.61 c 2129 13285 4241191 188419 264 0 23 23 11
7.94/1.61 c 2048 12370 3639638 179839 264 0 25 32 29
7.94/1.61 c 2130 13310 4250607 188690 264 0 25 25 12
7.94/1.61 c 3142 12622 4248713 237690 264 0 18 33 28
7.94/1.61 c 2049 12394 3649827 180153 264 0 24 24 12
7.94/1.61 c 2131 13333 4259280 188941 264 0 23 23 11
7.94/1.62 c 2132 13357 4268673 189212 264 0 24 24 12
7.94/1.62 c 2050 12418 3660063 180459 264 0 24 24 12
7.94/1.62 c 2133 13380 4277203 189450 264 0 23 23 11
7.94/1.62 c 2051 12443 3670941 180790 264 0 25 25 12
7.94/1.62 c 2134 13405 4286619 189721 264 0 25 25 12
7.94/1.62 c 2135 13428 4295292 189972 264 0 23 23 11
7.94/1.62 c 2052 12468 3681016 181053 264 0 25 25 12
7.94/1.62 c 2136 13453 4304708 190243 264 0 25 25 12
7.94/1.62 c 2053 12491 3691245 181324 264 0 23 23 11
7.94/1.62 c 2137 13476 4313381 190494 264 0 23 23 11
7.94/1.63 c 2054 12508 3698087 181523 264 0 17 17 8
7.94/1.63 c 2138 13500 4322774 190765 264 0 24 24 12
7.94/1.63 c 2055 12526 3706177 181749 264 0 18 18 9
7.94/1.63 c 2139 13523 4331304 191003 264 0 23 23 11
7.94/1.63 c 2056 12549 3715748 182049 264 0 23 23 11
7.94/1.63 c 2140 13548 4340720 191274 264 0 25 25 12
7.94/1.63 c 2141 13571 4349393 191525 264 0 23 23 11
7.94/1.63 c 2057 12567 3723873 182273 264 0 18 18 9
7.94/1.63 c 2000 14927 3928376 184267 264 0 14 34 26
7.94/1.64 c 2142 13595 4358786 191796 264 0 24 24 12
7.94/1.64 c 2058 12590 3733444 182573 264 0 23 23 11
7.94/1.64 c 2143 13618 4367316 192034 264 0 23 23 11
7.94/1.64 c 2059 12608 3741569 182797 264 0 18 18 9
7.94/1.64 c 2144 13643 4376732 192305 264 0 25 25 12
7.94/1.64 c 2060 12631 3751140 183097 264 0 23 23 11
7.94/1.64 c 2145 13666 4385405 192556 264 0 23 23 11
7.94/1.64 c 2061 12649 3759265 183321 264 0 18 18 9
7.94/1.64 c 2146 13690 4394798 192827 264 0 24 24 12
7.94/1.64 c 2048 15087 3985213 187378 264 0 4 27 16
7.94/1.66 c 2147 13713 4403328 193065 264 0 23 23 11
7.94/1.66 c 2062 12672 3768836 183621 264 0 23 23 11
7.94/1.66 c 2049 15112 3993532 187582 264 0 25 25 12
7.94/1.66 c 2148 13738 4412744 193336 264 0 25 25 12
7.94/1.66 c 2050 15137 4002088 187809 264 0 25 25 12
7.94/1.66 c 2063 12690 3776961 183845 264 0 18 18 9
7.94/1.66 c 2051 15160 4010046 188050 264 0 23 23 11
7.94/1.66 c 2149 13761 4421417 193587 264 0 23 23 11
7.94/1.66 c 2064 12713 3786532 184145 264 0 23 23 11
7.94/1.66 c 2052 15177 4015943 188194 264 0 17 17 8
7.94/1.66 c 2150 13786 4430833 193858 264 0 25 25 12
7.94/1.66 c 2053 15190 4020758 188333 264 0 13 13 6
7.94/1.66 c 2065 12731 3794657 184369 264 0 18 18 9
7.94/1.66 c 2054 15211 4027842 188536 264 0 21 21 10
7.94/1.66 c 2151 13809 4439506 194109 264 0 23 23 11
7.94/1.66 c 2066 12754 3804228 184669 264 0 23 23 11
7.94/1.66 c 2055 15240 4038585 188839 264 0 c 2152 13833 4448899 194380 264 0 29 29 1424 24 12
7.94/1.67
7.94/1.67 c 2067 12772 3812353 184893 264 0 18 18 9
7.94/1.67 c 2056 15263 4046543 189080 264 0 23 23 11
7.94/1.67 c 2153 13856 4457429 194618 264 0 23 23 11
7.94/1.67 c 3551 14377 4340918 243870 264 0 12 33 27
7.94/1.67 c 2057 15280 4052440 189224 264 0 17 17 8
7.94/1.67 c 2068 12795 3821924 185193 264 0 23 23 11
7.94/1.67 c 2154 13881 4466845 194889 264 0 25 25 12
7.94/1.67 c 2058 15293 4057255 189363 264 0 13 13 6
7.94/1.67 c 2059 15314 4064339 189566 264 0 21 21 10
7.94/1.67 c 2155 13904 4475518 195140 264 0 23 23 11
7.94/1.67 c 2069 12813 3830049 185417 264 0 18 18 9
7.94/1.67 c 2060 15343 4075082 189869 264 0 29 29 14
7.94/1.67 c 2156 13928 4484911 195411 264 0 24 24 12
7.94/1.67 c 2070 12836 3839620 185717 264 0 23 23 11
7.94/1.67 c 2061 15366 4083040 190110 264 0 23 23 11
7.94/1.67 c 2157 13951 4493441 195649 264 0 23 23 11
7.94/1.67 c 2071 12854 3847745 185941 264 0 18 18 9
7.94/1.67 c 2062 15383 4088937 190254 264 0 17 17 8
7.94/1.68 c 2158 13976 4502857 195920 264 0 25 25 12
7.94/1.68 c 2063 15396 4093752 190393 264 0 13 13 6
7.94/1.68 c 2072 12877 3857316 186241 264 0 23 23 11
7.94/1.68 c 2064 15417 4100836 190596 264 0 21 21 10
7.94/1.68 c 2159 13999 4511530 196171 264 0 23 23 11
7.94/1.68 c 2073 12895 3865441 186465 264 0 18 18 9
7.94/1.68 c 2065 15446 4111579 190899 264 0 29 29 14
7.94/1.68 c 2160 14023 4520923 196442 264 0 24 24 12
7.94/1.68 c 3551 16154 5209914 280701 264 0 11 29 19
7.94/1.68 c 2066 15469 4119724 191141 264 0 23 23 11
7.94/1.68 c 2161 14046 4529453 196680 264 0 23 23 11
7.94/1.68 c 2074 12918 3875012 186765 264 0 23 23 11
7.94/1.68 c 2067 15486 4125621 191285 264 0 17 17 8
7.94/1.68 c 2162 14071 4538869 196951 264 0 25 25 12
7.94/1.68 c 2075 12936 3883137 186989 264 0 18 18 9
7.94/1.68 c 2068 15499 4130436 191424 264 0 13 13 6
7.94/1.68 c 2069 15520 4137608 191628 264 0 21 21 10
7.94/1.68 c 2163 14094 4547542 197202 264 0 23 23 11
7.94/1.68 c 2076 12959 3892708 187289 264 0 23 23 11
7.94/1.69 c 2070 15545 4147209 191938 264 0 25 25 12
7.94/1.69 c 2164 14119 4556958 197473 264 0 25 25 12
7.94/1.69 c 2077 12977 3900833 187513 264 0 18 18 9
7.94/1.69 c 2071 15570 4155939 192156 264 0 25 25 12
7.94/1.69 c 2165 14142 4565631 197724 264 0 23 23 11
7.94/1.69 c 2078 13000 3910404 187813 264 0 23 23 11
7.94/1.69 c 2166 14166 4575024 197995 264 0 24 24 12
7.94/1.69 c 2072 15595 4165540 192466 264 0 25 25 12
7.94/1.69 c 2079 13018 3918529 188037 264 0 18 18 9
7.94/1.69 c 2073 15620 4174270 192684 264 0 25 25 12
7.94/1.69 c 2167 14189 4583554 198233 264 0 23 23 11
7.94/1.69 c 2080 13041 3928100 188337 264 0 23 23 11
7.94/1.69 c 2168 14214 4592970 198504 264 0 25 25 12
7.94/1.69 c 2074 15645 4183871 192994 264 0 25 25 12
7.94/1.69 c 2081 13059 3936225 188561 264 0 18 18 9
7.94/1.69 c 2169 14237 4601643 198755 264 0 23 23 11
7.94/1.69 c 2075 15670 4192601 193212 264 0 25 25 12
7.94/1.69 c 4493 17179 5310279 298471 264 0 17 31 27
7.94/1.69 c 2170 14261 4611036 199026 264 0 24 24 12
7.94/1.69 c 2082 13082 3945796 188861 264 0 23 23 11
8.67/1.70 c 2076 15695 4202202 193522 264 0 25 25 12
8.67/1.70 c 2171 14284 4619566 199264 264 0 23 23 11
8.67/1.70 c 2077 15720 4211064 193802 264 0 25 25 12
8.67/1.70 c 2083 13100 3953921 189085 264 0 18 18 9
8.67/1.70 c 2172 14309 4628982 199535 264 0 25 25 12
8.67/1.70 c 2078 15744 4218949 194038 264 0 24 24 12
8.67/1.71 c 2079 15771 4227667 194283 264 0 27 27 13
8.67/1.71 c 2173 14332 4637655 199786 264 0 23 23 11
8.67/1.71 c 2084 13123 3963492 189385 264 0 23 23 11
8.67/1.71 c c 2174 2080 14356 15797 4236938 4647048194565 200057 264 264 0 0 26 26 1324 24 12
8.67/1.71
8.67/1.71 c 2081 15821 4245349 194787 264 0 24 24 12
8.67/1.71 c 2175 14379 4655578 200295 264 0 23 23 11
8.67/1.72 c 2082 15845 4253351 195025 264 0 24 24 12
8.67/1.72 c 2083 15872 4262069 195270 264 0 27 27 13
8.67/1.72 c 2084 15897 4270825 195516 264 0 25 25 12
8.67/1.72 c 2085 15920 4278500 195725 264 0 23 23 11
8.67/1.73 c 2086 15942 4285745 195918 264 0 22 22 11
8.67/1.73 c 2087 15965 4293890 196160 264 0 23 23 11
8.67/1.73 c 2088 15992 4302608 196405 264 0 27 27 13
8.67/1.73 c 2085 13141 3971617 189609 264 0 18 18 9
8.67/1.73 c 2089 16017 4311364 196651 264 0 25 25 12
8.67/1.73 c 2090 16040 4319039 196860 264 0 23 23 11
8.67/1.73 c 2086 13164 3981188 189909 264 0 23 23 11
8.67/1.74 c 2091 16062 4326284 197053 264 0 22 22 11
8.67/1.74 c 2092 16085 4334429 197295 264 0 23 23 11
8.67/1.74 c 2087 13182 3989313 190133 264 0 18 18 9
8.67/1.74 c 2093 16112 4343147 197540 264 0 27 27 13
8.67/1.74 c 2088 13205 3998884 190433 264 0 23 23 11
8.67/1.74 c 2094 16137 4351903 197786 264 0 25 25 12
8.67/1.74 c 2089 13223 4007009 190657 264 0 18 18 9
8.67/1.74 c 2095 16161 4359626 197996 264 0 24 24 12
8.67/1.74 c 2090 13246 4016580 190957 264 0 23 23 11
8.67/1.74 c 2096 16183 4366871 198189 264 0 22 22 11
8.67/1.76 c 2097 16206 4375016 198431 264 0 23 23 11
8.67/1.76 c 2091 13264 4024705 191181 264 0 18 18 9
8.67/1.76 c 2098 16233 4383734 198676 264 0 27 27 13
8.67/1.76 c 2092 13287 4034276 191481 264 0 23 23 11
8.67/1.76 c 2099 16258 4392490 198922 264 0 25 25 12
8.67/1.76 c 2093 13305 4042401 191705 264 0 18 18 9
8.67/1.76 c 2100 16282 4400213 199132 264 0 24 24 12
8.67/1.76 c 2094 13328 4051972 192005 264 0 23 23 11
8.67/1.76 c 2101 16304 4407458 199325 264 0 22 22 11
8.67/1.76 c 2102 16327 4415603 199567 264 0 23 23 11
8.67/1.76 c 2095 13346 4060097 192229 264 0 18 18 9
8.67/1.76 c 2103 16350 4422928 199752 264 0 23 23 11
8.67/1.76 c 2096 13369 4069668 192529 264 0 23 23 11
8.67/1.76 c 2104 16374 4430813 199988 264 0 24 24 12
8.67/1.76 c 2097 13387 4077793 192753 264 0 18 18 9
8.67/1.77 c 2105 16397 4438138 200173 264 0 23 23 11
8.67/1.77 c 2106 16421 4446023 200409 264 0 24 24 12
8.67/1.77 c 2098 13410 4087364 193053 264 0 23 23 11
8.67/1.77 c 2107 16444 4453348 200594 264 0 23 23 11
8.67/1.77 c 2099 13428 4095489 193277 264 0 18 18 9
8.67/1.77 c 3551 14427 4800567 268750 264 0 14 33 29
8.67/1.77 c 2108 16468 4461233 200830 264 0 24 24 12
8.67/1.77 c 2100 13451 4105060 193577 264 0 23 23 11
8.67/1.77 c 2109 16491 4468558 201015 264 0 23 23 11
8.67/1.77 c c 2110 16515 4476443 201251 264 02101 13469 4113185 193801 264 0 24 24 12
8.67/1.77 18 18 9
8.67/1.77 c 2111 16538 4483768 201436 264 0 23 23 11
8.67/1.78 c 2102 13493 4123049 194066 264 0 24 24 12
8.67/1.78 c 2112 16562 4491653 201672 264 0 24 24 12
8.67/1.78 c 2113 16585 4498978 201857 264 0 23 23 11
8.67/1.78 c 2103 13512 4131549 194301 264 0 19 19 9
8.67/1.78 c 2114 16609 4506863 202093 264 0 24 24 12
8.67/1.78 c 2048 13661 3877803 180437 264 0 16 31 25
8.67/1.78 c 2115 16632 4514188 202278 264 0 23 23 11
8.67/1.79 c 2104 13535 4141120 194601 264 0 23 23 11
8.67/1.79 c 2116 16656 4522073 202514 264 0 24 24 12
8.67/1.79 c 2049 13671 3883008 180574 264 0 10 10 5
8.67/1.79 c 2105 13553 4149245 194825 264 0 18 18 9
8.67/1.79 c 2050 13683 3887401 180696 264 0 12 12 6
8.67/1.79 c 2117 16679 4529398 202699 264 0 23 23 11
8.67/1.79 c 2051 13693 3892219 180823 264 0 10 10 5
8.67/1.79 c 2106 13577 4159109 195090 264 0 24 24 12
8.67/1.79 c 2052 13705 3896612 180945 264 0 12 12 6
8.67/1.79 c 2118 16703 4537283 202935 264 0 24 24 12
8.67/1.79 c 4000 17855 5789698 312652 264 0 19 29 25
8.67/1.79 c 2053 13715 3901430 181072 264 0 10 10 5
8.67/1.79 c 2119 16726 4544981 203181 264 0 23 23 11
8.67/1.79 c 2107 13596 4167609 195325 264 0 19 19 9
8.67/1.79 c 2054 13727 3905823 181194 264 0 12 12 6
8.67/1.79 c 2055 13737 3910641 181321 264 0 10 10 5
8.67/1.79 c 2056 13749 3915034 181443 264 0 12 12 6
8.67/1.79 c 2120 16751 4554582 203491 264 0 25 25 12
8.67/1.79 c 2108 13620 4177473 195590 264 0 24 24 12
8.67/1.79 c 2057 13759 3919852 181570 264 0 10 10 5
8.67/1.79 c 2058 13771 3924245 181692 264 0 12 12 6
8.67/1.79 c 2121 16776 4563444 203771 264 0 25 25 12
8.67/1.79 c 2109 13639 4185973 195825 264 0 19 19 9
9.47/1.80 c 2059 13781 3929063 181819 264 0 10 10 5
9.47/1.80 c 2060 13793 3933456 181941 264 0 12 12 6
9.47/1.80 c 2122 16800 4571329 204007 264 0 24 24 12
9.47/1.80 c 2061 13803 3938274 182068 264 0 10 10 5
9.47/1.80 c 2110 13662 4195544 196125 264 0 23 23 11
9.47/1.80 c 2123 16823 4578654 204192 264 0 23 23 11
9.47/1.80 c 2062 13815 3942667 182190 264 0 12 12 6
9.47/1.80 c 2063 13825 3947485 182317 264 0 10 10 5
9.47/1.80 c 2111 13680 4203669 196349 264 0 18 18 9
9.47/1.80 c 2124 16847 4586539 204428 264 0 24 24 12
9.47/1.80 c 2064 13837 3951878 182439 264 0 12 12 6
9.47/1.80 c 2065 13847 3956696 182566 264 0 10 10 5
9.47/1.80 c 2125 16870 4593864 204613 264 0 23 23 11
9.47/1.80 c 2112 13704 4213533 196614 264 0 24 24 12
9.47/1.80 c 2066 13859 3961089 182688 264 0 12 12 6
9.47/1.80 c 4000 15935 4857772 273501 264 0 8 27 22
9.47/1.80 c 2067 13869 3965907 182815 264 0 10 10 5
9.47/1.80 c 2126 16894 4601749 204849 264 0 24 24 12
9.47/1.80 c 2068 13881 3970300 182937 264 0 12 12 6
9.47/1.80 c 2113 13722 4221571 196852 264 0 18 18 9
9.47/1.80 c 2069 13891 3975118 183064 264 0 10 10 5
9.47/1.80 c 2127 16917 4609447 205095 264 0 23 23 11
9.47/1.80 c 2070 13903 3979511 183186 264 0 12 12 6
9.47/1.80 c 2114 13746 4231396 197117 264 0 24 24 12
9.47/1.80 c 2071 13913 3984329 183313 264 0 10 10 5
9.47/1.80 c 2128 16942 4619048 205404 264 0 25 25 12
9.47/1.80 c 2072 13925 3988722 183435 264 0 12 12 6
9.47/1.81 c 2073 13935 3993540 183562 264 0 10 10 5
9.47/1.81 c 2129 16967 4627910 205684 264 0 25 25 12
9.47/1.81 c 2074 13947 3997933 183684 264 0 12 12 6
9.47/1.81 c 2115 13774 4242329 197438 264 0 28 28 14
9.47/1.81 c 2075 13957 4002751 183811 264 0 10 10 5
9.47/1.81 c 2130 16991 4635795 205920 264 0 24 24 12
9.47/1.81 c 5035 18839 5858221 331777 264 0 13 28 23
9.47/1.81 c 2076 13969 4007144 183933 264 0 12 12 6
9.47/1.81 c 2131 17014 4643120 206105 264 0 23 23 11
9.47/1.81 c 2077 13979 4011962 184060 264 0 10 10 5
9.47/1.81 c 2078 13991 4016355 184182 264 0 12 12 6
9.47/1.81 c 2116 13802 4253397 197761 264 0 28 28 14
9.47/1.81 c 2132 17038 4651005 206341 264 0 24 24 12
9.47/1.81 c 2079 14001 4021173 184309 264 0 10 10 5
9.47/1.81 c 2080 14013 4025566 184431 264 0 12 12 6
9.47/1.81 c 2133 17061 4658703 206587 264 0 23 23 11
9.47/1.81 c 2081 14023 4030384 184558 264 0 10 10 5
9.47/1.81 c 2117 13827 4263452 198062 264 0 25 25 12
9.47/1.82 c 2082 14035 4034777 184680 264 0 12 12 6
9.47/1.82 c 2134 17086 4668304 206896 264 0 25 25 12
9.47/1.82 c 2083 14045 4039595 184807 264 0 10 10 5
9.47/1.82 c 2084 14057 4043988 184929 264 0 12 12 6
9.47/1.82 c 2118 13855 4274520 198385 264 0 28 28 14
9.47/1.82 c 2135 17111 4677166 207176 264 0 25 25 12
9.47/1.82 c 2085 14067 4048806 185056 264 0 10 10 5
9.47/1.82 c 2086 14079 4053199 185178 264 0 12 12 6
9.47/1.82 c 2136 17135 4685051 207412 264 0 24 24 12
9.47/1.82 c 2119 13880 4284575 198686 264 0 25 25 12
9.47/1.82 c 2087 14089 4058017 185305 264 0 10 10 5
9.47/1.82 c 2088 14101 4062410 185427 264 0 12 12 6
9.47/1.82 c 2137 17158 4692376 207597 264 0 23 23 11
9.47/1.82 c 2089 14111 4067228 185554 264 0 10 10 5
9.47/1.82 c 2120 13908 4295643 199009 264 0 28 28 14
9.47/1.82 c 2090 14123 4071621 185676 264 0 12 12 6
9.47/1.82 c 2138 17182 4700261 207833 264 0 24 24 12
9.47/1.82 c 2091 14133 4076439 185803 264 0 10 10 5
9.47/1.82 c 2139 17205 4707959 208079 264 0 23 23 11
9.47/1.82 c 2092 14145 4080832 185925 264 0 12 12 6
9.47/1.82 c 2121 13933 4305698 199310 264 0 25 25 12
9.47/1.83 c 2093 14155 4085650 186052 264 0 10 10 5
9.47/1.83 c 2140 17229 4717512 208386 264 0 24 24 12
9.47/1.83 c 2094 14167 4090043 186174 264 0 12 12 6
9.47/1.83 c 2095 14177 4094861 186301 264 0 10 10 5
9.47/1.83 c 2122 13961 4316766 199633 264 0 28 28 14
9.47/1.83 c 2141 17253 4725691 208597 264 0 24 24 12
9.47/1.83 c 2096 14189 4099254 186423 264 0 12 12 6
9.47/1.83 c 2097 14199 4104072 186550 264 0 10 10 5
9.47/1.83 c 2142 17277 4735244 208904 264 0 24 24 12
9.47/1.83 c 2098 14211 4108465 186672 264 0 12 12 6
9.47/1.83 c 2123 13986 4326821 199934 264 0 25 25 12
9.47/1.83 c 2099 14221 4113283 186799 264 0 10 10 5
9.47/1.83 c 2143 17301 4743423 209115 264 0 24 24 12
9.47/1.83 c 2100 14233 4117676 186921 264 0 12 12 6
9.47/1.83 c 2101 14243 4122494 187048 264 0 10 10 5
9.47/1.83 c 2124 14014 4337889 200257 264 0 28 28 14
9.47/1.83 c 2144 17325 4752976 209422 264 0 24 24 12
9.47/1.83 c 2102 14255 4126887 187170 264 0 12 12 6
9.47/1.83 c 2103 14265 4131705 187297 264 0 10 10 5
9.47/1.83 c 2145 17349 4761155 209633 264 0 24 24 12
9.47/1.83 c 2125 14039 4347944 200558 264 0 25 25 12
9.47/1.83 c 2104 14277 4136098 187419 264 0 12 12 6
9.47/1.84 c 2105 14287 4140916 187546 264 0 10 10 5
9.47/1.84 c 2146 17373 4770708 209940 264 0 24 24 12
9.47/1.84 c 2106 14299 4145309 187668 264 0 12 12 6
9.47/1.84 c 2126 14067 4359012 200881 264 0 28 28 14
9.47/1.84 c 2107 14309 4150127 187795 264 0 10 10 5
9.47/1.84 c 2147 17397 4778887 210151 264 0 24 24 12
9.47/1.84 c 2108 14321 4154520 187917 264 0 12 12 6
9.47/1.84 c 2109 14331 4159338 188044 264 0 10 10 5
9.47/1.84 c 2127 14092 4369067 201182 264 0 25 25 12
9.47/1.84 c 2148 17421 4788440 210458 264 0 24 24 12
9.47/1.84 c 2110 14343 4163731 188166 264 0 12 12 6
9.47/1.84 c 2111 14353 4168549 188293 264 0 10 10 5
9.47/1.84 c 2149 17445 4796619 210669 264 0 24 24 12
9.47/1.84 c 2112 14365 4172942 188415 264 0 12 12 6
9.47/1.84 c 2128 14120 4380135 201505 264 0 28 28 14
9.47/1.84 c 2113 14375 4177760 188542 264 0 10 10 5
9.47/1.84 c 2150 17469 4806172 210976 264 0 24 24 12
9.47/1.84 c 2114 14387 4182153 188664 264 0 12 12 6
9.47/1.84 c 2115 14397 4186971 188791 264 0 10 10 5
9.47/1.85 c 2129 14145 4390190 201806 264 0 25 25 12
9.47/1.85 c 2151 17493 4814351 211187 264 0 24 24 12
9.47/1.85 c 2116 14409 4191364 188913 264 0 12 12 6
9.47/1.86 c 2117 14419 4196182 189040 264 0 10 10 5
9.47/1.86 c 2152 17517 4823904 211494 264 0 24 24 12
9.47/1.86 c 2118 14431 4200575 189162 264 0 12 12 6
9.47/1.86 c 2130 14173 4401258 202129 264 0 28 28 14
9.47/1.86 c 2119 14441 4205393 189289 264 0 10 10 5
9.47/1.86 c 2153 17541 4832083 211705 264 0 24 24 12
9.47/1.86 c 2120 14453 4209786 189411 264 0 12 12 6
9.47/1.86 c 2121 14463 4214604 189538 264 0 10 10 5
9.47/1.86 c 2131 14198 4411313 202430 264 0 25 25 12
9.47/1.86 c 2122 14475 4218997 189660 264 0 12 12 6
9.47/1.86 c 2154 17565 4841636 212012 264 0 24 24 12
9.47/1.86 c 2123 14485 4223815 189787 264 0 10 10 5
9.47/1.86 c 2155 17589 4849815 212223 264 0 24 24 12
9.47/1.86 c 2124 14497 4228208 189909 264 0 12 12 6
9.47/1.86 c 2132 14225 4421380 202716 264 0 27 27 13
9.47/1.86 c 2125 14507 4233026 190036 264 0 10 10 5
9.47/1.86 c 2126 14519 4237419 190158 264 0 12 12 6
9.47/1.86 c 2156 17613 4858838 212476 264 0 24 24 12
9.47/1.86 c 2133 14250 4431435 203017 264 0 25 25 12
9.47/1.86 c 2127 14529 4242237 190285 264 0 10 10 5
9.47/1.86 c 2157 17636 4866498 212675 264 0 23 23 11
9.47/1.86 c 2128 14541 4246630 190407 264 0 12 12 6
9.47/1.87 c 2129 14551 4251448 190534 264 0 10 10 5
9.47/1.87 c 2158 17660 4873854 212872 264 0 24 24 12
9.47/1.87 c 2134 14277 4441502 203303 264 0 27 27 13
9.47/1.87 c 2130 14563 4255841 190656 264 0 12 12 6
9.47/1.87 c 2131 14573 4260659 190783 264 0 10 10 5
9.47/1.87 c 2159 17683 4881514 213071 264 0 23 23 11
9.47/1.87 c 2132 14585 4265052 190905 264 0 12 12 6
9.47/1.87 c 2135 14302 4451557 203604 264 0 25 25 12
9.47/1.87 c 2133 14595 4269870 191032 264 0 10 10 5
9.47/1.87 c 2160 17707 4889399 213307 264 0 24 24 12
9.47/1.87 c 2134 14607 4274263 191154 264 0 12 12 6
9.47/1.87 c 2161 17730 4896724 213492 264 0 23 23 11
9.47/1.87 c 2135 14617 4279081 191281 264 0 10 10 5
9.47/1.87 c 2136 14629 4283474 191403 264 0 12 12 6
9.47/1.87 c 2136 14330 4461966 203903 264 0 28 28 14
9.47/1.87 c 2162 17754 4904080 213689 264 0 24 24 12
9.47/1.87 c 2137 14639 4288292 191530 264 0 10 10 5
9.47/1.87 c 2138 14651 4292685 191652 264 0 12 12 6
9.47/1.87 c 2163 17777 4911740 213888 264 0 23 23 11
9.47/1.87 c 2137 14355 4472021 204204 264 0 25 25 12
9.47/1.87 c 2139 14661 4297503 191779 264 0 10 10 5
9.47/1.87 c 2164 17801 4919625 214124 264 0 24 24 12
9.47/1.88 c 2140 14673 4301896 191901 264 0 12 12 6
9.47/1.88 c 2141 14683 4306714 192028 264 0 10 10 5
9.47/1.88 c 2165 17814 4924672 214317 264 0 13 13 6
9.47/1.88 c 2138 14383 4482430 204503 264 0 28 28 14
9.47/1.88 c 2142 14695 4311155 192151 264 0 12 12 6
9.47/1.88 c 2166 17829 4930258 214477 264 0 15 15 7
9.47/1.88 c 2167 17843 4934620 214613 264 0 14 14 7
9.47/1.88 c 2139 14408 4492531 204804 264 0 25 25 12
9.47/1.88 c 2168 17868 4943526 214852 264 0 25 25 12
9.47/1.88 c 2169 17884 4949617 215022 c 264 4493 19365 6353556 344929 264 0 0 4 29 916 16 8
9.47/1.88
9.47/1.88 c 2143 14728 4322192 192447 264 0 33 33 16
9.47/1.88 c 2140 14436 4502939 205102 264 0 28 28 14
9.47/1.88 c 2170 17898 4953979 215158 264 0 14 14 7
9.47/1.88 c 2144 14732 4323858 192507 264 0 4 4 2
9.47/1.88 c 2171 17922 4963232 215451 264 0 24 24 12
9.47/1.88 c 2141 14461 4512992 205402 264 0 25 25 12
9.47/1.88 c 2145 14765 4334895 192803 264 0 33 33 16
9.47/1.88 c 2172 17938 4969850 215633 264 0 16 16 8
9.47/1.88 c 2146 14769 4336561 192863 264 0 4 4 2
9.47/1.88 c 2173 17952 4974212 215769 264 0 14 14 7
9.47/1.88 c 2142 14489 4523400 205700 264 0 28 28 14
9.47/1.88 c 2174 17977 4983118 216008 264 0 25 25 12
9.47/1.88 c 2147 14802 4347598 193159 264 0 33 33 16
9.47/1.89 c 2148 14806 4349264 193219 264 0 4 4 2
9.47/1.89 c 2175 17993 4989209 216178 264 0 16 16 8
9.47/1.89 c 2143 14514 4533453 206000 264 0 25 25 12
9.47/1.89 c 2149 14839 4360301 193515 264 0 33 33 16
9.47/1.89 c 2144 14542 4543861 206298 264 0 28 28 14
9.47/1.89 c 2150 14843 4361967 193575 264 0 4 4 2
9.47/1.89 c 2145 14567 4553914 206598 264 0 25 25 12
9.47/1.89 c 2151 14876 4373004 193871 264 0 33 33 16
10.26/1.90 c 2152 14880 4374670 193931 264 0 4 4 2
10.26/1.90 c 3000 17308 5705113 258668 264 0 16 28 25
10.26/1.90 c 2146 14595 4564322 206896 264 0 28 28 14
10.26/1.90 c 2153 14913 4385707 194227 264 0 33 33 16
10.26/1.90 c 2154 14917 4387373 194287 264 0 4 4 2
10.26/1.90 c 2147 14620 4574375 207196 264 0 25 25 12
10.26/1.90 c 2155 14950 4398409 194585 264 0 33 33 16
10.26/1.90 c 2156 14954 4400075 194645 264 0 4 4 2
10.26/1.90 c 2148 14648 4584827 207498 264 0 28 28 14
10.26/1.90 c 2157 14987 4411112 194941 264 0 33 33 16
10.26/1.90 c 2149 14673 4594880 207798 264 0 25 25 12
10.26/1.91 c 2158 14991 4412778 195001 264 0 4 4 2
10.26/1.91 c 2150 14701 4605332 208100 264 0 28 28 14
10.26/1.91 c 2159 15024 4423814 195299 264 0 33 33 16
10.26/1.91 c 2160 15028 4425480 195359 264 0 4 4 2
10.26/1.91 c 2151 14726 4615385 208400 264 0 25 25 12
10.26/1.91 c 2161 15061 4436517 195655 264 0 33 33 16
10.26/1.91 c 2162 15065 4438183 195715 264 0 4 4 2
10.26/1.91 c 2152 14754 4625793 208698 264 0 28 28 14
10.26/1.91 c 4493 17559 5454496 317081 264 0 16 32 25
10.26/1.91 c 2163 15098 4449219 196013 264 0 33 33 16
10.26/1.91 c 2153 14779 4635846 208998 264 0 c 2164 15102 4450885 25 25 12196073 264 0 4 4 2
10.26/1.91
10.26/1.92 c 2165 15135 4461922 196369 264 0 33 33 16c
10.26/1.92 2154 14807 4646298 209300 264 0 28 28 14
10.26/1.92 c 2166 15139 4463588 196429 264 0 4 4 2
10.26/1.92 c 4000 16357 5566811 310368 264 0 13 33 27
10.26/1.92 c 2155 14832 4656351 209600 264 0 25 25 12
10.26/1.92 c 2167 15172 4474624 196727 264 0 33 33 16
10.26/1.92 c 2168 15176 4476290 196787 264 0 4 4 2
10.26/1.92 c 2156 14860 4666803 209902 264 0 28 28 14
10.26/1.92 c 2169 15209 4487327 197083 264 0 33 33 16
10.26/1.92 c 2170 15213 4488993 197143 264 0 4 4 2
10.26/1.92 c 2157 14885 4676856 210202 264 0 25 25 12
10.26/1.93 c 2171 15246 4500029 197441 264 0 33 33 16
10.26/1.93 c 2158 14913 4687308 210504 264 0 28 28 14
10.26/1.93 c 2172 15250 4501695 197501 264 0 4 4 2
10.26/1.93 c 2173 15283 4512732 197797 264 0 33 33 16
10.26/1.93 c 2174 15287 4514398 197857 264 0 4 4 2
10.26/1.93 c 2159 14938 4697724 210781 264 0 25 25 12
10.26/1.93 c 5631 21296 6539041 369432 264 0 14 33 27
10.26/1.93 c 2175 15320 4525434 198155 264 0 33 33 16
10.26/1.93 c 2160 14961 4707249 211080 264 0 23 23 11
10.26/1.94 c 2161 14989 4717783 211386 264 0 28 28 14
10.26/1.95 c 2162 15020 4730387 211707 264 0 31 31 15
10.26/1.95 c 2163 15039 4738554 211928 264 0 19 19 9
10.26/1.95 c 2164 15063 4748412 212195 264 0 24 24 12
10.26/1.96 c 2165 15081 4756531 212415 264 0 18 18 9
10.26/1.96 c 2166 15104 4766096 212717 264 0 23 23 11
10.26/1.96 c 2167 15121 4773840 212926 264 0 17 17 8
10.26/1.96 c 2168 15145 4783698 213193 264 0 24 24 12
10.26/1.96 c 2169 15163 4791817 213413 264 0 18 18 9
10.26/1.97 c 2170 15187 4801675 213680 264 0 24 24 12
10.26/1.97 c 2171 15205 4809794 213900 264 0 18 18 9
10.26/1.97 c 2172 15228 4819359 214202 264 0 23 23 11
10.26/1.97 c 2173 15245 4827103 214411 264 0 17 17 8
10.26/1.97 c 2174 15269 4836961 214678 264 0 24 24 12
10.26/1.98 c 2175 15287 4845080 214898 264 0 18 18 9
10.26/1.99 c 5000 21645 7095560 387770 264 0 18 29 25
10.26/2.00 c 5035 21800 7150562 390386 264 0 4 29 23
10.26/2.01 c 5000 19162 6002119 349856 264 0 11 26 20
10.26/2.02 c 4493 17836 6122401 342999 264 0 12 32 25
11.15/2.02 c 5035 19310 6047223 352174 264 0 28 32 29
11.15/2.03 c 6000 22864 7064226 396524 264 0 14 33 27
11.15/2.04 c 4000 20597 6599803 309419 264 0 6 18 14
11.15/2.04 c 3000 20800 5946771 273841 264 0 8 27 21
11.15/2.06 c 4096 20846 6678485 314555 264 0 13 17 15
11.15/2.06 c 4097 20853 6681385 314651 264 0 7 7 3
11.15/2.06 c 4098 20869 6686741 314790 264 0 16 16 8
11.15/2.06 c 4099 20876 6689686 314887 264 0 7 7 3
11.15/2.06 c 4100 20892 6695042 315026 264 0 16 16 8
11.15/2.06 c 4101 20899 6697987 315123 264 0 7 7 3
11.15/2.06 c 4102 20915 6703343 315262 264 0 16 16 8
11.15/2.06 c 4103 20922 6706288 315359 264 0 7 7 3
11.15/2.06 c 4104 20938 6711644 315498 264 0 16 16 8
11.15/2.06 c 4105 20945 6714589 315595 264 0 7 7 3
11.15/2.06 c 4106 20960 6720013 315754 264 0 15 15 7
11.15/2.06 c 4107 20967 6722873 315849 264 0 7 7 3
11.15/2.06 c 4108 20982 6728249 316007 264 0 15 15 7
11.15/2.06 c 4109 20989 6731109 316102 264 0 7 7 3
11.15/2.06 c 4110 20995 6733177 316154 264 0 6 6 3
11.15/2.07 c 4111 21011 6738571 316336 264 0 16 16 8
11.15/2.07 c 4112 21018 6741429 316431 264 0 7 7 3
11.15/2.07 c 4113 21024 6743497 316483 264 0 6 6 3
11.15/2.07 c 4114 21040 6749028 316691 264 0 16 16 8
11.15/2.07 c 4115 21047 6751926 316786 264 0 7 7 3
11.15/2.07 c 4116 21053 6753994 316838 264 0 6 6 3
11.15/2.07 c 4117 21069 6759388 317020 264 0 16 16 8
11.15/2.07 c 4118 21076 6762286 317115 264 0 7 7 3
11.15/2.07 c 4119 21091 6767662 317273 264 0 15 15 7
11.15/2.07 c 4120 21098 6770522 317368 264 0 7 7 3
11.15/2.07 c 4121 21104 6772590 317420 264 0 6 6 3
11.15/2.07 c 4122 21120 6777984 317602 264 0 16 16 8
11.15/2.07 c 4123 21127 6780882 317697 264 0 7 7 3
11.15/2.07 c 4124 21133 6782950 317749 264 0 6 6 3
11.15/2.07 c 4125 21149 6788481 317957 264 0 16 16 8
11.15/2.07 c 4126 21156 6791379 318052 264 0 7 7 3
11.15/2.07 c 4127 21171 6796755 318210 264 0 15 15 7
11.15/2.08 c 4128 21178 6799615 318305 264 0 7 7 3
11.15/2.08 c 4129 21184 6801683 318357 264 0 6 6 3
11.15/2.08 c 4130 21200 6807077 318539 264 0 16 16 8
11.15/2.08 c 4131 21207 6809975 318634 264 0 7 7 3
11.15/2.08 c 4132 21213 6812043 318686 264 0 6 6 3
11.15/2.08 c 4133 21229 6817437 318868 264 0 16 16 8
11.15/2.08 c 6286 23724 7337713 413771 264 0 6 33 29
11.15/2.08 c 4134 21236 6820335 318963 264 0 7 7 3
11.15/2.08 c 4135 21251 6825711 319121 264 0 15 15 7
11.15/2.08 c 4136 21258 6828571 319216 264 0 7 7 3
11.15/2.08 c 4137 21264 6830639 319268 264 0 6 6 3
11.15/2.08 c 4138 21280 6836170 319476 264 0 16 16 8
11.15/2.08 c 4139 21287 6839068 319571 264 0 7 7 3
11.15/2.08 c 4140 21293 6841136 319623 264 0 6 6 3
11.15/2.08 c 4141 21309 6846530 319805 264 0 16 16 8
11.15/2.08 c 4142 21316 6849428 319900 264 0 7 7 3
11.15/2.08 c 4143 21331 6855082 320056 264 0 15 15 7
11.15/2.08 c 4144 21338 6858029 320153 264 0 7 7 3
11.15/2.08 c 4145 21344 6860097 320205 264 0 6 6 3
11.15/2.09 c 4146 21360 6865491 320387 264 0 16 16 8
11.15/2.09 c 4147 21367 6868389 320482 264 0 7 7 3
11.15/2.09 c 4148 21373 6870457 320534 264 0 6 6 3
11.15/2.09 c 4149 21389 6875988 320742 264 0 16 16 8
11.15/2.09 c 4150 21396 6878886 320837 264 0 7 7 3
11.15/2.09 c 4151 21411 6884086 320973 264 0 15 15 7
11.15/2.09 c 4152 21418 6887198 321079 264 0 7 7 3
11.15/2.09 c 4153 21433 6892398 321215 264 0 15 15 7
11.15/2.09 c 4154 21440 6895510 321321 264 0 7 7 3
11.15/2.09 c 4155 21455 6901164 321477 264 0 15 15 7
11.15/2.09 c 4156 21462 6904111 321574 264 0 7 7 3
11.15/2.09 c 4157 21468 6906179 321626 264 0 6 6 3
11.15/2.09 c 4158 21484 6911573 321808 264 0 16 16 8
11.15/2.09 c 4159 21491 6914471 321903 264 0 7 7 3
11.15/2.09 c 4160 21497 6916539 321955 264 0 6 6 3
11.15/2.09 c 4161 21513 6921933 322137 264 0 16 16 8
11.15/2.09 c 4162 21520 6924830 322238 264 0 7 7 3
11.15/2.10 c 4163 21526 6926898 322290 264 0 6 6 3
11.15/2.10 c 4164 21542 6932292 322472 264 0 16 16 8
11.15/2.10 c 4165 21549 6935189 322573 264 0 7 7 3
11.15/2.10 c 4166 21555 6937257 322625 264 0 6 6 3
11.15/2.10 c 4167 21571 6942788 322833 264 0 16 16 8
11.15/2.10 c 4168 21578 6945686 322928 264 0 7 7 3
11.15/2.10 c 4169 21593 6950886 323064 264 0 15 15 7
11.15/2.10 c 4170 21600 6953998 323170 264 0 7 7 3
11.15/2.10 c 4171 21615 6959198 323306 264 0 15 15 7
11.15/2.10 c 4172 21622 6962310 323412 264 0 7 7 3
11.15/2.10 c 4173 21637 6967964 323568 264 0 15 15 7
11.15/2.10 c 4174 21644 6970911 323665 264 0 7 7 3
11.15/2.10 c 4175 21650 6972979 323717 264 0 6 6 3
11.15/2.10 c 4176 21666 6978373 323899 264 0 16 16 8
11.15/2.10 c 4177 21673 6981271 323994 264 0 7 7 3
11.15/2.10 c 4178 21679 6983339 324046 264 0 6 6 3
11.15/2.10 c 4179 21695 6988733 324228 264 0 16 16 8
11.15/2.11 c 4180 21702 6991630 324329 264 0 7 7 3
11.15/2.11 c 4181 21708 6993698 324381 264 0 6 6 3
11.15/2.11 c 4182 21724 6999092 324563 264 0 16 16 8
11.15/2.11 c 4183 21731 7001989 324664 264 0 7 7 3
11.15/2.11 c 4184 21737 7004057 324716 264 0 6 6 3
11.15/2.11 c 4185 21753 7009626 324926 264 0 16 16 8
11.15/2.11 c 4186 21760 7012524 325021 264 0 7 7 3
11.15/2.11 c 4187 21775 7017724 325157 264 0 15 15 7
11.15/2.11 c 4188 21782 7020836 325263 264 0 7 7 3
11.15/2.11 c 4189 21797 7026036 325399 264 0 15 15 7
11.15/2.11 c 4190 21804 7029148 325505 264 0 7 7 3
11.15/2.11 c 4191 21819 7034802 325661 264 0 15 15 7
11.15/2.11 c 4192 21826 7037749 325758 264 0 7 7 3
11.15/2.11 c 4193 21832 7039817 325810 264 0 6 6 3
11.15/2.11 c 4194 21847 7045766 325977 264 0 15 15 7
11.15/2.11 c 4195 21854 7048878 326083 264 0 7 7 3
12.00/2.12 c 4196 21869 7054218 326234 264 0 15 15 7
12.00/2.12 c 3000 18421 5477593 257424 264 0 4 33 27
12.00/2.12 c 4197 21876 7057205 326331 264 0 7 7 3
12.00/2.12 c 4198 21891 7062545 326482 264 0 15 15 7
12.00/2.12 c 4199 21898 7065531 326585 264 0 7 7 3
12.00/2.12 c 4200 21913 7070871 326736 264 0 15 15 7
12.00/2.12 c 4201 21920 7073858 326833 264 0 7 7 3
12.00/2.12 c 4202 21935 7079011 326969 264 0 15 15 7
12.00/2.12 c 4203 21942 7082123 327075 264 0 7 7 3
12.00/2.12 c 4204 21957 7087276 327211 264 0 15 15 7
12.00/2.12 c 4205 21964 7090388 327317 264 0 7 7 3
12.00/2.12 c 4206 21979 7095541 327453 264 0 15 15 7
12.00/2.12 c 4207 21986 7098653 327559 264 0 7 7 3
12.00/2.12 c 4208 22001 7103806 327695 264 0 15 15 7
12.00/2.12 c 4209 22008 7106879 327795 264 0 7 7 3
12.00/2.12 c 4210 22023 7112219 327946 264 0 15 15 7
12.00/2.13 c 4211 22030 7115206 328043 264 0 7 7 3
12.00/2.13 c 4212 22045 7120546 328194 264 0 15 15 7
12.00/2.13 c 4213 22052 7123532 328297 264 0 7 7 3
12.00/2.13 c 4214 22067 7128872 328448 264 0 15 15 7
12.00/2.13 c 4215 22074 7131859 328545 264 0 7 7 3
12.00/2.13 c 4216 22089 7137012 328681 264 0 15 15 7
12.00/2.13 c 4217 22096 7140124 328787 264 0 7 7 3
12.00/2.13 c 4218 22111 7145277 328923 264 0 15 15 7
12.00/2.13 c 4219 22118 7148389 329029 264 0 7 7 3
12.00/2.13 c 4220 22133 7153542 329165 264 0 15 15 7
12.00/2.13 c 4221 22140 7156654 329271 264 0 7 7 3
12.00/2.13 c 4222 22155 7161807 329407 264 0 15 15 7
12.00/2.13 c 4223 22162 7164880 329507 264 0 7 7 3
12.00/2.13 c 4224 22177 7170220 329658 264 0 15 15 7
12.00/2.13 c 4225 22184 7173207 329755 264 0 7 7 3
12.00/2.15 c 4226 22199 7178547 329906 264 0 15 15 7
12.00/2.15 c 4227 22206 7181533 330009 264 0 7 7 3
12.00/2.15 c 4228 22221 7186873 330160 264 0 15 15 7
12.00/2.15 c 4229 22228 7189860 330257 264 0 7 7 3
12.00/2.15 c 5000 19723 6741368 374242 264 0 19 32 28
12.00/2.15 c 4230 22243 7195013 330393 264 0 15 15 7
12.00/2.15 c 4231 22250 7198125 330499 264 0 7 7 3
12.00/2.15 c 4232 22265 7203278 330635 264 0 15 15 7
12.00/2.15 c 4233 22272 7206390 330741 264 0 7 7 3
12.00/2.15 c 4234 22287 7211543 330877 264 0 15 15 7
12.00/2.15 c 4235 22294 7214655 330983 264 0 7 7 3
12.00/2.15 c 4236 22309 7219808 331119 264 0 15 15 7
12.00/2.15 c 4237 22316 7222881 331219 264 0 7 7 3
12.00/2.15 c 5631 24234 7964081 433847 264 0 4 19 14
12.00/2.15 c 4238 22331 7228221 331370 264 0 15 15 7
12.00/2.15 c 4239 22338 7231208 331467 264 0 7 7 3
12.00/2.15 c 4240 22353 7236548 331618 264 0 15 15 7
12.00/2.15 c 4241 22360 7239534 331721 264 0 7 7 3
12.00/2.15 c 4242 22375 7244874 331872 264 0 15 15 7
12.00/2.15 c 4243 22381 7247722 331972 264 0 6 6 3
12.00/2.15 c 4244 22396 7253018 332121 264 0 15 15 7
12.00/2.15 c 4245 22402 7255819 332214 264 0 6 6 3
12.00/2.15 c 4246 22417 7260926 332348 264 0 15 15 7
12.00/2.15 c 4247 22423 7263852 332450 264 0 6 6 3
12.00/2.15 c 4248 22438 7268959 332584 264 0 15 15 7
12.00/2.15 c 4249 22444 7271886 332679 264 0 6 6 3
12.00/2.15 c 5035 19869 6810924 377160 264 0 14 31 28
12.00/2.15 c 4250 22459 7276993 332813 264 0 15 15 7
12.00/2.15 c 4251 22465 7279919 332915 264 0 6 6 3
12.00/2.15 c 4252 22480 7285026 333049 264 0 15 15 7
12.00/2.15 c 4253 22486 7287952 333151 264 0 6 6 3
12.00/2.17 c 4254 22501 7293059 333285 264 0 15 15 7
12.00/2.17 c 4255 22507 7295946 333381 264 0 6 6 3
12.00/2.17 c 4256 22522 7301242 333530 264 0 15 15 7
12.00/2.17 c 4257 22528 7304043 333623 264 0 6 6 3
12.00/2.17 c 4258 22543 7309150 333757 264 0 15 15 7
12.00/2.17 c 4259 22549 7312076 333859 264 0 6 6 3
12.00/2.17 c 4260 22564 7317372 334008 264 0 15 15 7
12.00/2.17 c 4261 22570 7320172 334107 264 0 6 6 3
12.00/2.17 c 4262 22585 7325279 334241 264 0 15 15 7
12.00/2.17 c 4263 22591 7328206 334336 264 0 6 6 3
12.00/2.17 c 4264 22606 7333313 334470 264 0 15 15 7
12.00/2.17 c 4265 22612 7336239 334572 264 0 6 6 3
12.00/2.17 c 4266 22627 7341346 334706 264 0 15 15 7
12.00/2.17 c 4267 22633 7344272 334808 264 0 6 6 3
12.00/2.17 c 4268 22648 7349379 334942 264 0 15 15 7
12.00/2.18 c 4269 22654 7352266 335038 264 0 6 6 3
12.00/2.18 c 4270 22669 7357562 335187 264 0 15 15 7
12.00/2.18 c 4271 22675 7360363 335280 264 0 6 6 3
12.00/2.18 c 4272 22690 7365470 335414 264 0 15 15 7
12.00/2.18 c 4273 22696 7368396 335516 264 0 6 6 3
12.00/2.18 c 4274 22711 7373692 335665 264 0 15 15 7
12.00/2.18 c 4275 22717 7376492 335764 264 0 6 6 3
12.00/2.18 c 4276 22732 7381599 335898 264 0 15 15 7
12.00/2.18 c 4277 22738 7384526 335993 264 0 6 6 3
12.00/2.18 c 4278 22753 7389633 336127 264 0 15 15 7
12.00/2.18 c 4279 22759 7392559 336229 264 0 6 6 3
12.00/2.18 c 4280 22774 7397666 336363 264 0 15 15 7
12.00/2.18 c 4281 22780 7400592 336465 264 0 6 6 3
12.00/2.18 c 4282 22795 7405699 336599 264 0 15 15 7
12.00/2.18 c 4283 22801 7408586 336695 264 0 6 6 3
12.00/2.19 c 4284 22816 7413882 336844 264 0 15 15 7
12.00/2.19 c 4285 22822 7416683 336937 264 0 6 6 3
12.00/2.19 c 4286 22837 7421790 337071 264 0 15 15 7
12.00/2.19 c 4287 22843 7424716 337173 264 0 6 6 3
12.00/2.19 c 4288 22858 7430012 337322 264 0 15 15 7
12.00/2.19 c 4289 22864 7432812 337421 264 0 6 6 3
12.00/2.19 c 4290 22879 7437919 337555 264 0 15 15 7
12.00/2.19 c 4291 22885 7440846 337650 264 0 6 6 3
12.00/2.19 c 4292 22899 7445556 337784 264 0 14 14 7
12.00/2.19 c 4293 22905 7448482 337886 264 0 6 6 3
12.00/2.19 c 4294 22919 7453192 338020 264 0 14 14 7
12.00/2.19 c 4295 22925 7456118 338122 264 0 6 6 3
12.00/2.19 c 4296 22939 7460828 338256 264 0 14 14 7
12.00/2.19 c 4297 22945 7463715 338352 264 0 6 6 3
12.00/2.19 c 4298 22960 7469011 338501 264 0 15 15 7
12.00/2.19 c 4299 22966 7471812 338594 264 0 6 6 3
12.00/2.19 c 3000 18695 6010672 279749 264 0 7 34 24
12.00/2.19 c 4300 22981 7476919 338728 264 0 15 15 7
12.65/2.21 c 4301 22987 7479845 338830 264 0 6 6 3
12.65/2.21 c 4302 23002 7485141 338979 264 0 15 15 7
12.65/2.21 c 4303 23008 7487941 339078 264 0 6 6 3
12.65/2.21 c 4304 23023 7493048 339212 264 0 15 15 7
12.65/2.21 c 4305 23029 7495975 339307 264 0 6 6 3
12.65/2.21 c 4306 23043 7500685 339441 264 0 14 14 7
12.65/2.21 c 4307 23049 7503611 339543 264 0 6 6 3
12.65/2.21 c 4308 23063 7508321 339677 264 0 14 14 7
12.65/2.21 c 4309 23069 7511247 339779 264 0 6 6 3
12.65/2.21 c 4310 23083 7515957 339913 264 0 14 14 7
12.65/2.21 c 4311 23089 7518844 340009 264 0 6 6 3
12.65/2.21 c 4312 23104 7523862 340160 264 0 15 15 7
12.65/2.21 c 4313 23110 7526576 340251 264 0 6 6 3
12.65/2.21 c 4314 23124 7531286 340385 264 0 14 14 7
12.65/2.21 c 4315 23130 7534212 340487 264 0 6 6 3
12.65/2.21 c 4316 23145 7539230 340638 264 0 15 15 7
12.65/2.21 c 4317 23151 7541943 340735 264 0 6 6 3
12.65/2.21 c 4318 23165 7546653 340869 264 0 14 14 7
12.65/2.21 c 4319 23171 7549580 340964 264 0 6 6 3
12.65/2.21 c 4320 23185 7554290 341098 264 0 14 14 7
12.65/2.21 c 4321 23191 7557216 341200 264 0 6 6 3
12.65/2.21 c 4322 23205 7561926 341334 264 0 14 14 7
12.65/2.21 c 4323 23211 7564852 341436 264 0 6 6 3
12.65/2.22 c 4324 23225 7569562 341570 264 0 14 14 7
12.65/2.22 c 4325 23231 7572449 341666 264 0 6 6 3
12.65/2.22 c 4326 23246 7577467 341817 264 0 15 15 7
12.65/2.22 c 4327 23252 7580181 341908 264 0 6 6 3
12.65/2.22 c 4328 23266 7584891 342042 264 0 14 14 7
12.65/2.22 c 4329 23272 7587817 342144 264 0 6 6 3
12.65/2.22 c 4330 23287 7592835 342295 264 0 15 15 7
12.65/2.22 c 5631 21695 7024464 404047 264 0 18 32 27
12.65/2.22 c 4331 23293 7595548 342392 264 0 6 6 3
12.65/2.22 c 4332 23307 7600258 342526 264 0 14 14 7
12.65/2.22 c 4333 23313 7603185 342621 264 0 6 6 3
12.65/2.22 c 4334 23327 7607895 342755 264 0 14 14 7
12.65/2.22 c 4335 23333 7610821 342857 264 0 6 6 3
12.65/2.22 c 6000 25492 8390075 458030 264 0 3 29 20
12.65/2.22 c 6000 25493 8390075 458031 264 0 0 0 0
12.65/2.22 c 4336 23347 7615531 342991 264 0 14 14 7
12.65/2.23 c 4337 23353 7618457 343093 264 0 6 6 3
12.65/2.23 c 4338 23367 7623167 343227 264 0 14 14 7
12.65/2.23 c 4339 23373 7626054 343323 264 0 6 6 3
12.65/2.23 c 4340 23388 7631072 343474 264 0 15 15 7
12.65/2.23 c 4341 23394 7633786 343565 264 0 6 6 3
12.65/2.23 c 4342 23408 7638496 343699 264 0 14 14 7
12.65/2.23 c 4343 23414 7641422 343801 264 0 6 6 3
12.65/2.23 c 4344 23429 7646440 343952 264 0 15 15 7
12.65/2.23 c 4345 23435 7649153 344049 264 0 6 6 3
12.65/2.23 c 4346 23449 7653863 344183 264 0 14 14 7
12.65/2.23 c 4347 23455 7656790 344278 264 0 6 6 3
12.65/2.23 c 4348 23469 7661500 344412 264 0 14 14 7
12.65/2.23 c 4349 23475 7664426 344514 264 0 6 6 3
12.65/2.23 c 4350 23489 7669136 344648 264 0 14 14 7
12.65/2.23 c 4351 23495 7672062 344750 264 0 6 6 3
12.65/2.24 c 7000 26535 8255134 466989 264 0 16 33 28
12.65/2.24 c 7006 26562 8265333 467495 264 0 7 15 11
12.65/2.25 c 4000 24828 7118747 338257 264 0 24 36 33
12.65/2.27 c 4096 25098 7210353 344117 264 0 8 26 16
12.65/2.28 c 4097 25112 7215684 344266 264 0 14 14 7
12.65/2.28 c 4098 25141 7227862 344605 264 0 29 29 14
12.65/2.28 c 4099 25161 7235375 344849 264 0 20 20 10
12.65/2.28 c 4100 25181 7242508 345095 264 0 20 20 10
12.65/2.28 c 4101 25194 7247419 345279 264 0 13 13 6
12.65/2.28 c 4102 25214 7254507 345526 264 0 20 20 10
12.65/2.29 c 4103 25227 7259418 345710 264 0 13 13 6
12.65/2.29 c 4104 25247 7266506 345957 264 0 20 20 10
12.65/2.29 c 4105 25260 7271417 346141 264 0 13 13 6
12.65/2.29 c 4106 25280 7278505 346388 264 0 20 20 10
12.65/2.29 c 4107 25293 7283416 346572 264 0 13 13 6
12.65/2.29 c 4108 25313 7290504 346819 264 0 20 20 10
12.65/2.29 c 4109 25326 7295415 347003 264 0 13 13 6
12.65/2.29 c 4110 25346 7302503 347250 264 0 20 20 10
12.65/2.29 c 4111 25359 7307414 347434 264 0 13 13 6
13.45/2.30 c 4112 25379 7314502 347681 264 0 20 20 10
13.45/2.30 c 4113 25392 7319413 347865 264 0 13 13 6
13.45/2.30 c 4114 25412 7326501 348112 264 0 20 20 10
13.45/2.30 c 4115 25425 7331412 348296 264 0 13 13 6
13.45/2.30 c 4116 25446 7339122 348501 264 0 21 21 10
13.45/2.30 c 4117 25462 7344886 348664 264 0 16 16 8
13.45/2.30 c 4118 25482 7352019 348909 264 0 20 20 10
13.45/2.30 c 4119 25495 7356930 349093 264 0 13 13 6
13.45/2.30 c 6286 26791 8863769 484003 264 0 5 18 15
13.45/2.30 c 4120 25516 7364640 349298 264 0 21 21 10
13.45/2.31 c 4121 25532 7370404 349461 264 0 16 16 8
13.45/2.31 c 4122 25552 7377537 349706 264 0 20 20 10
13.45/2.31 c 4123 25565 7382448 349890 264 0 13 13 6
13.45/2.31 c 4124 25586 7390158 350095 264 0 21 21 10
13.45/2.31 c 4125 25602 7395922 350258 264 0 16 16 8
13.45/2.31 c 4126 25622 7403055 350503 264 0 20 20 10
13.45/2.31 c 4127 25635 7407966 350687 264 0 13 13 6
13.45/2.31 c 4128 25656 7415676 350892 264 0 21 21 10
13.45/2.32 c 4129 25672 7421440 351055 264 0 16 16 8
13.45/2.32 c 4130 25692 7428573 351300 264 0 20 20 10
13.45/2.32 c 4131 25705 7433484 351484 264 0 13 13 6
13.45/2.32 c 4132 25726 c 7441194 351689 264 0 600023157 21 21 10 7512762
13.45/2.32 430010264 0 9 24 19
13.45/2.32 c 4133 25742 7446958 351852 264 0 16 16 8
13.45/2.32 c 4134 25762 7454091 352097 264 0 20 20 10
13.45/2.32 c 4135 25775 7459002 352281 264 0 13 13 6
13.45/2.32 c 5631 22060 7559600 419208 264 0 6 31 22
13.45/2.32 c 4136 25796 7466712 352486 264 0 21 21 10
13.45/2.32 c 4137 25812 7472476 352649 264 0 16 16 8
13.45/2.34 c 4138 25832 7479609 352894 264 0 20 20 10
13.45/2.34 c 4139 25845 7484520 353078 264 0 13 13 6
13.45/2.34 c 4140 25866 7492230 353283 264 0 21 21 10
13.45/2.34 c 4141 25882 7497994 353446 264 0 16 16 8
13.45/2.34 c 4142 25902 7505127 353691 264 0 20 20 10
13.45/2.34 c 4143 25915 7510038 353875 264 0 13 13 6
13.45/2.34 c 4144 25936 7517748 354080 264 0 21 21 10
13.45/2.34 c 4145 25952 7523512 354243 264 0 16 16 8
13.45/2.35 c 4146 25972 7530645 354488 264 0 20 20 10
13.45/2.35 c 4147 25985 7535556 354672 264 0 13 13 6
13.45/2.35 c 4148 26006 7543266 354877 264 0 21 21 10
13.45/2.35 c 4149 26022 7549030 355040 264 0 16 16 8
13.45/2.35 c 4150 26042 7556163 355285 264 0 20 20 10
13.45/2.35 c 4151 26055 7561074 355469 264 0 13 13 6
13.45/2.35 c 4152 26076 7568784 355674 264 0 21 21 10
13.45/2.35 c 4153 26092 7574548 355837 264 0 16 16 8
13.45/2.35 c 5000 25574 8360894 384272 264 0 8 18 15
13.45/2.36 c 4154 26112 7581681 356082 264 0 20 20 10
13.45/2.36 c 4155 26127 7587277 356278 264 0 15 15 7
13.45/2.36 c 4156 26141 7592725 356453 264 0 14 14 7
13.45/2.36 c 4157 26153 7597112 356627 264 0 12 12 6
13.45/2.36 c 4158 26167 7602609 356807 264 0 14 14 7
13.45/2.36 c 4159 26179 7606996 356981 264 0 12 12 6
13.45/2.36 c 4160 26193 7612493 357161 264 0 14 14 7
13.45/2.36 c 4000 22274 6660687 320289 264 0 14 35 29
13.45/2.36 c 4161 26206 7617257 357291 264 0 13 13 6
13.45/2.36 c 4162 26223 7623295 357459 264 0 17 17 8
13.45/2.36 c 4163 26238 7628931 357640 264 0 15 15 7
13.45/2.36 c 4164 26250 7633318 357814 264 0 12 12 6
13.45/2.36 c 4165 26264 7638815 357994 264 0 14 14 7
13.45/2.36 c 4166 26276 7643202 358168 264 0 12 12 6
13.45/2.37 c 4167 26290 7648699 358348 264 0 14 14 7
13.45/2.37 c 4168 26302 7653086 358522 264 0 12 12 6
13.45/2.37 c 4169 26316 7658583 358702 264 0 14 14 7
13.45/2.37 c 4170 26329 7663347 358832 264 0 13 13 6
13.45/2.37 c 4171 26346 7669385 359000 264 0 17 17 8
13.45/2.37 c 4172 26361 7675021 359181 264 0 15 15 7
13.45/2.37 c 4173 26373 7679408 359355 264 0 12 12 6
13.45/2.37 c 4174 26387 7684905 359535 264 0 14 14 7
13.45/2.37 c 4175 26399 7689292 359709 264 0 12 12 6
13.45/2.37 c 4176 26413 7694789 359889 264 0 14 14 7
13.45/2.37 c 4177 26425 7699176 360063 264 0 12 12 6
13.45/2.38 c 4178 26439 7704673 360243 264 0 14 14 7
13.45/2.38 c 4179 26452 7709437 360373 264 0 13 13 6
13.45/2.38 c 4180 26469 7715475 360541 264 0 17 17 8
13.45/2.38 c 4181 26484 7721111 360722 264 0 15 15 7
13.45/2.38 c 4182 26496 7725498 360896 264 0 12 12 6
13.45/2.38 c 4183 26510 7730995 361076 264 0 14 14 7
13.45/2.39 c 4184 26522 7735382 361250 264 0 12 12 6
13.45/2.39 c 4185 26536 7740879 361430 264 0 14 14 7
13.45/2.39 c 4186 26548 7745266 361604 264 0 12 12 6
13.45/2.39 c 4187 26562 7750763 361784 264 0 14 14 7
13.45/2.39 c 4188 26575 7755527 361914 264 0 13 13 6
13.45/2.39 c 4096 22682 6795087 327095 264 0 6 36 29
13.45/2.39 c 4189 26592 7761565 362082 264 0 17 17 8
13.45/2.39 c 4097 22693 6800638 327302 264 0 11 11 5
13.45/2.39 c 4190 26607 7767201 362263 264 0 15 15 7
13.45/2.39 c 4098 22709 6805991 327457 264 0 16 16 8
13.45/2.39 c 4191 26619 7771588 362437 264 0 12 12 6
13.45/2.39 c 6286 24424 7887818 450397 264 0 21 33 30
13.45/2.39 c 4192 26633 7777085 362617 264 0 14 14 7
13.45/2.39 c 4099 22735 6814817 327691 264 0 26 26 13
13.45/2.39 c 4193 26644 7780876 362735 264 0 11 11 5
13.45/2.39 c 4194 26659 7786639 362942 264 0 15 15 7
13.45/2.39 c 4100 22750 6820614 327880 264 0 15 15 7
14.25/2.40 c 4195 26679 7794011 363184 264 0 20 20 10
14.25/2.40 c 4101 22776 6829440 328114 264 0 26 26 13
14.25/2.40 c 4196 26693 7799508 363364 264 0 14 14 7
14.25/2.40 c 4102 22791 6835237 328303 264 0 15 15 7
14.25/2.40 c 4197 26704 7803299 363482 264 0 11 11 5
14.25/2.40 c 4198 26719 7809062 363689 264 0 15 15 7
14.25/2.40 c 4103 22817 6844063 328537 264 0 26 26 13
14.25/2.40 c 4199 26739 7816434 363931 264 0 20 20 10
14.25/2.40 c 4104 22832 6849860 328726 264 0 15 15 7
14.25/2.40 c 4200 26753 7821931 364111 264 0 14 14 7
14.25/2.40 c 4201 26764 7825722 364229 264 0 11 11 5
14.25/2.40 c 4105 22858 6858643 328958 264 0 26 26 13
14.25/2.40 c 4202 26779 7831485 364436 264 0 15 15 7
14.25/2.40 c 4106 22869 6864124 329130 264 0 11 11 5
14.25/2.40 c 4203 26799 7838857 364678 264 0 20 20 10
14.25/2.40 c 4107 22884 6869921 329319 264 0 15 15 7
14.25/2.41 c 4204 26813 7844354 364858 264 0 14 14 7
14.25/2.41 c 4205 26824 7848145 364976 264 0 11 11 5
14.25/2.41 c 4108 22910 6878788 329554 264 0 26 26 13
14.25/2.41 c 4206 26839 7853908 365183 264 0 15 15 7
14.25/2.41 c 4109 22925 6884633 329741 264 0 15 15 7
14.25/2.41 c 4207 26859 7861280 365425 264 0 20 20 10
14.25/2.41 c 4110 22951 6893416 329973 264 0 26 26 13
14.25/2.41 c 4208 26873 7866777 365605 264 0 14 14 7
14.25/2.41 c 4111 22962 6898897 330145 264 0 11 11 5
14.25/2.41 c 4209 26884 7870568 365723 264 0 11 11 5
14.25/2.41 c 4210 26899 7876331 365930 264 0 15 15 7
14.25/2.41 c 4112 22977 6904694 330334 264 0 15 15 7
14.25/2.41 c 4211 26919 7883703 366172 264 0 20 20 10
14.25/2.41 c 4113 23003 6913561 330569 264 0 26 26 13
14.25/2.41 c 4212 26933 7889200 366352 264 0 14 14 7
14.25/2.41 c 4114 23018 6919406 330756 264 0 15 15 7
14.25/2.41 c 4213 26944 7892991 366470 264 0 11 11 5
14.25/2.42 c 4214 26959 7898754 366677 264 0 15 15 7
14.25/2.42 c 4115 23044 6928189 330988 264 0 26 26 13
14.25/2.42 c 4215 26979 7906126 366919 264 0 20 20 10
14.25/2.42 c 4116 23055 6933670 331160 264 0 11 11 5
14.25/2.42 c 4216 26993 7911623 367099 264 0 14 14 7
14.25/2.42 c 4117 23070 6939467 331349 264 0 15 15 7
14.25/2.42 c 4217 27004 7915414 367217 264 0 11 11 5
14.25/2.42 c 4118 23096 6948251 331581 264 0 26 26 13
14.25/2.42 c 4218 27019 7921177 367424 264 0 15 15 7
14.25/2.42 c 4119 23107 6953732 331753 264 0 11 11 5
14.25/2.42 c 4219 27039 7928549 367666 264 0 20 20 10
14.25/2.42 c 4120 23122 6959529 331942 264 0 15 15 7
14.25/2.42 c 4220 27053 7934046 367846 264 0 14 14 7
14.25/2.42 c 4221 27064 7937837 367964 264 0 11 11 5
14.25/2.42 c 4121 23148 6968313 332174 264 0 26 26 13
14.25/2.42 c 4222 27079 7943600 368171 264 0 15 15 7
14.25/2.43 c 4122 23159 6973794 332346 264 0 11 11 5
14.25/2.43 c 4223 27099 7950972 368413 264 0 20 20 10
14.25/2.43 c 4123 23174 6979591 332535 264 0 15 15 7
14.25/2.43 c 4224 27113 7956469 368593 264 0 14 14 7
14.25/2.43 c 4225 27124 7960260 368711 264 0 11 11 5
14.25/2.43 c 4124 23200 6988375 332767 264 0 26 26 13
14.25/2.43 c 4226 27139 7966023 368918 264 0 15 15 7
14.25/2.43 c 4125 23211 6993856 332939 264 0 11 11 5
14.25/2.43 c c 4227 27159 7973395 369160 264 0 20 20 10
14.25/2.43 4126 23226 6999653 333128 264 0 15 15 7
14.25/2.43 c 4228 27173 7978892 369340 264 0 14 14 7
14.25/2.43 c 4127 23252 7008437 333360 264 0 26 26 13
14.25/2.43 c 4229 27184 7982683 369458 264 0 11 11 5
14.25/2.43 c 7798 29774 9301792 526411 264 0 14 33 26
14.25/2.43 c 4230 27199 7988446 369665 264 0 15 15 7
14.25/2.43 c 4128 23263 7013918 333532 264 0 11 11 5
14.25/2.43 c 4129 23278 7019715 333721 264 0 15 15 7
14.25/2.45 c 4231 27219 7995818 369907 264 0 20 20 10
14.25/2.45 c 4232 27233 8001315 370087 264 0 14 14 7
14.25/2.45 c 4130 23304 7028499 333953 264 0 26 26 13
14.25/2.45 c 4233 27244 8005106 370205 264 0 11 11 5
14.25/2.45 c 4131 23315 7033980 334125 264 0 11 11 5
14.25/2.45 c 4234 27259 8010869 370412 264 0 15 15 7
14.25/2.45 c 4132 23329 7039729 334313 264 0 14 14 7
14.25/2.45 c 4235 27279 8018241 370654 264 0 20 20 10
14.25/2.45 c 4133 23355 7048513 334545 264 0 26 26 13
14.25/2.45 c 4236 27293 8023738 370834 264 0 14 14 7
14.25/2.45 c 4237 27304 8027529 370952 264 0 11 11 5
14.25/2.45 c 4134 23366 7053994 334717 264 0 11 11 5
14.25/2.45 c 4238 27319 8033292 371159 264 0 15 15 7
14.25/2.45 c 4135 23379 7059695 334904 264 0 13 13 6
14.25/2.45 c 4239 27339 8040664 371401 264 0 20 20 10
14.25/2.45 c 4136 23405 7068479 335136 264 0 26 26 13
14.25/2.45 c 4240 27353 8046161 371581 264 0 14 14 7
14.25/2.45 c 4137 23416 7073960 335308 264 0 11 11 5
14.25/2.45 c 4241 27364 8049952 371699 264 0 11 11 5
14.25/2.45 c 4000 22247 7322598 356811 264 0 14 33 25
14.25/2.46 c 4138 23429 7079661 335495 264 0 13 13 6
14.25/2.46 c 4242 27379 8055715 371906 264 0 15 15 7
14.25/2.46 c 4243 27399 8063087 372148 264 0 20 20 10
14.25/2.46 c 4139 23455 7088445 335727 264 0 26 26 13
14.25/2.46 c 4244 27413 8068584 372328 264 0 14 14 7
14.25/2.46 c 4140 23466 7093926 335899 264 0 11 11 5
14.25/2.46 c 4245 27424 8072375 372446 264 0 11 11 5
14.25/2.46 c 4141 23479 7099627 336086 264 0 13 13 6
14.25/2.46 c 4246 27439 8078138 372653 264 0 15 15 7
14.25/2.46 c 4142 23505 7108411 336318 264 0 26 26 13
14.25/2.46 c 4247 27459 8085510 372895 264 0 20 20 10
14.25/2.46 c 4143 23516 7113892 336490 264 0 11 11 5
14.25/2.46 c 4248 27473 8091007 373075 264 0 14 14 7
14.25/2.46 c 4249 27484 8094798 373193 264 0 11 11 5
14.25/2.46 c 4144 23529 7119593 336677 264 0 13 13 6
14.25/2.46 c 4250 27499 8100561 373400 264 0 15 15 7
14.25/2.46 c 4145 23555 7128377 336909 264 0 26 26 13
14.25/2.46 c 4251 27519 8107933 373642 264 0 20 20 10
14.25/2.46 c 4146 23566 7133858 337081 264 0 11 11 5
14.25/2.46 c 4252 27533 8113430 373822 264 0 14 14 7
14.25/2.46 c 4147 23579 7139559 337268 264 0 13 13 6
14.25/2.46 c 4253 27544 8117221 373940 264 0 11 11 5
14.25/2.46 c 4254 27559 8122984 374147 264 0 15 15 7
14.25/2.46 c 4148 23604 7147985 337512 264 0 25 25 12
14.25/2.46 c 4255 27579 8130356 374389 264 0 20 20 10
14.25/2.46 c 4149 23615 7153466 337684 264 0 11 11 5
14.25/2.46 c 4256 27593 8135853 374569 264 0 14 14 7
14.25/2.47 c 4150 23628 7159167 337871 264 0 13 13 6
14.25/2.47 c 4257 27604 8139644 374687 264 0 11 11 5
14.25/2.47 c 4258 27619 8145407 374894 264 0 15 15 7
14.25/2.47 c 4151 23653 7167593 338115 264 0 25 25 12
14.25/2.47 c 4152 23664 7173074 338287 264 0 11 11 5
14.25/2.47 c 4259 27639 8152779 375136 264 0 20 20 10
14.25/2.47 c 4153 23677 7178766 338463 264 0 13 13 6
14.25/2.47 c 6000 23928 8332945 456964 264 0 17 31 28
14.25/2.47 c 4260 27653 8158276 375316 264 0 14 14 7
14.25/2.47 c 4096 22567 7442022 363944 264 0 10 23 19
14.25/2.47 c 4261 27664 8162067 375434 264 0 11 11 5
14.25/2.47 c 4154 23702 7187192 338707 264 0 25 25 12
14.25/2.47 c 4262 27679 8167830 375641 264 0 15 15 7
14.25/2.47 c 4155 23713 7192673 338879 264 0 11 11 5
14.25/2.47 c 4263 27699 8175202 375883 264 0 20 20 10
14.25/2.47 c 4097 22594 7451554 364224 264 0 27 27 13
14.25/2.47 c 4156 23726 7198365 339055 264 0 13 13 6
14.25/2.47 c 4264 27713 8180699 376063 264 0 14 14 7
14.25/2.47 c 4265 27724 8184490 376181 264 0 11 11 5
14.25/2.47 c 4157 23751 7206791 339299 264 0 25 25 12
14.25/2.48 c 4098 22618 7460100 364428 264 0 24 24 12
14.25/2.48 c 4266 27739 8190253 376388 264 0 15 15 7
14.25/2.49 c 4158 23762 7212272 339471 264 0 11 11 5
14.25/2.49 c 4159 23775 7217964 339647 264 0 13 13 6
14.25/2.49 c 4267 27759 8197933 376638 264 0 20 20 10
14.25/2.49 c 4099 22645 7469774 364707 264 0 27 27 13
14.25/2.49 c 4268 27774 8204019 376833 264 0 15 15 7
14.25/2.49 c 4160 23800 7226390 339891 264 0 25 25 12
14.25/2.49 c 4269 27785 8207810 376951 264 0 11 11 5
14.25/2.49 c 7000 30317 9921085 537452 264 0 5 18 14
14.25/2.49 c 4161 23811 7231871 340063 264 0 11 11 5
14.25/2.49 c 4100 22675 7479873 364963 264 0 30 30 15
14.25/2.49 c 4270 27800 8213573 377158 264 0 15 15 7
14.25/2.49 c 4162 23824 7237563 340239 264 0 13 13 6
14.25/2.49 c 7006 30346 9930884 537869 264 0 16 18 14
14.25/2.49 c 4271 27820 8221253 377408 264 0 20 20 10
14.25/2.49 c 4101 22702 7489338 365236 264 0 27 27 13
14.25/2.49 c 4163 23849 7245989 340483 264 0 25 25 12
14.25/2.49 c 4272 27835 8227339 377603 264 0 15 15 7
14.25/2.49 c 4164 23860 7251470 340655 264 0 11 11 5
14.25/2.49 c 4273 27846 8231130 377721 264 0 11 11 5
14.25/2.49 c 4102 22732 7499437 365492 264 0 30 30 15
14.25/2.49 c 4165 23873 7257162 340831 264 0 13 13 6
14.25/2.49 c 4274 27861 8236893 377928 264 0 15 15 7
14.25/2.49 c 4275 27881 8244573 378178 264 0 20 20 10
14.25/2.49 c 4166 23898 7265588 341075 264 0 25 25 12
14.25/2.49 c 4103 22759 7508902 365765 264 0 27 27 13
14.25/2.50 c 4167 23909 7271069 341247 264 0 11 11 5
14.25/2.50 c 4276 27896 8250659 378373 264 0 15 15 7
14.25/2.50 c 4277 27907 8254450 378491 264 0 11 11 5
14.25/2.50 c 4168 23922 7276761 341423 264 0 13 13 6
14.25/2.50 c 4104 22789 7519001 366021 264 0 30 30 15
14.25/2.50 c 4278 27922 8260213 378698 264 0 15 15 7
14.25/2.50 c 4169 23947 7285187 341667 264 0 25 25 12
14.25/2.50 c 4279 27942 8267893 378948 264 0 20 20 10
14.25/2.50 c 4170 23958 7290668 341839 264 0 11 11 5
14.25/2.50 c 4105 22816 7528466 366294 264 0 27 27 13
14.25/2.50 c 4280 27957 8273979 379143 264 0 15 15 7
14.25/2.50 c 4171 23971 7296360 342015 264 0 13 13 6
14.25/2.50 c 4281 27968 8277770 379261 264 0 11 11 5
14.25/2.50 c 4172 23996 7304786 342259 264 0 c 4282 25 25 1227983 8283533 379468 264 0 15 15 7
14.25/2.50 c 4106 22846 7538565 366550 264 0 30 30 15
14.25/2.50
14.25/2.50 c 4173 24007 7310267 342431 264 0 11 11 5
15.05/2.51 c 4283 28003 8291213 379718 264 0 20 20 10
15.05/2.51 c 4107 22873 7548030 366823 264 0 27 27 13
15.05/2.51 c 4174 24020 7315959 342607 264 0 13 13 6
15.05/2.51 c 4284 28018 8297299 379913 264 0 15 15 7
15.05/2.51 c 6000 28871 9286622 439179 264 0 4 18 14
15.05/2.51 c 4285 28029 8301090 380031 264 0 11 11 5
15.05/2.51 c 4175 24045 7324385 342851 264 0 25 25 12
15.05/2.51 c 4286 28044 8306853 380238 264 0 15 15 7
15.05/2.51 c 4108 22903 7558129 367079 264 0 30 30 15
15.05/2.51 c 4176 24056 7329866 343023 264 0 11 11 5
15.05/2.51 c 4287 28064 8314533 380488 264 0 20 20 10
15.05/2.51 c 4177 24069 7335558 343199 264 0 13 13 6
15.05/2.51 c 4109 22930 7567594 367352 264 0 27 27 13
15.05/2.51 c 4288 28079 8320667 380684 264 0 15 15 7
15.05/2.51 c 4178 24094 7344032 343444 264 0 25 25 12
15.05/2.51 c 4289 28090 8324458 380802 264 0 11 11 5
15.05/2.51 c 4179 24105 7349513 343616 264 0 11 11 5
15.05/2.51 c 4290 28105 8330221 381009 264 0 15 15 7
15.05/2.51 c 4110 22960 7577741 367609 264 0 30 30 15
15.05/2.52 c 4180 24118 7355205 343792 264 0 13 13 6
15.05/2.52 c 4291 28125 8337901 381259 264 0 20 20 10
15.05/2.52 c 4181 24143 7363631 344036 264 0 25 25 12
15.05/2.52 c 4111 22987 7587206 367882 264 0 27 27 13
15.05/2.52 c 4292 28140 8343987 381454 264 0 15 15 7
15.05/2.52 c 4293 c 28151 4182 24154 7369112 344208 264 0 8347778381572 264 0 11 11 5
15.05/2.52 11 11 5
15.05/2.52 c 4294 28166 8353541 381779 264 0 15 15 7
15.05/2.52 c 4183 24167 7374804 344384 264 0 13 13 6
15.05/2.52 c 4112 23017 7597305 368138 264 0 30 30 15
15.05/2.52 c 4295 28186 8361221 382029 264 0 20 20 10
15.05/2.52 c 4184 24192 7383230 344628 264 0 25 25 12
15.05/2.52 c 4113 23044 7606770 368411 264 0 27 27 13
15.05/2.52 c 4296 28201 8367307 382224 264 0 15 15 7
15.05/2.52 c 4185 24203 7388711 344800 264 0 11 11 5
15.05/2.52 c 4297 28212 8371098 382342 264 0 11 11 5
15.05/2.52 c 4186 24216 7394403 344976 264 0 13 13 6
15.05/2.52 c 4298 28227 8376861 382549 264 0 15 15 7
15.05/2.52 c 4114 23074 7616869 368667 264 0 30 30 15
15.05/2.52 c 4187 24241 7402829 345220 264 0 25 25 12
15.05/2.53 c 4299 28247 8384541 382799 264 0 20 20 10
15.05/2.53 c 4188 24252 7408310 345392 264 0 11 11 5
15.05/2.53 c 4300 28262 8390627 382994 264 0 15 15 7
15.05/2.53 c 4115 23101 7626334 368940 264 0 27 27 13
15.05/2.53 c 4189 24265 7414002 345568 264 0 13 13 6
15.05/2.53 c 4301 28273 8394418 383112 264 0 11 11 5
15.05/2.53 c 4302 28288 8400181 383319 264 0 15 15 7
15.05/2.53 c 4190 24290 7422428 345812 264 0 25 25 12
15.05/2.53 c 4116 23131 7636433 369196 264 0 30 30 15
15.05/2.53 c 4191 24301 7427909 345984 264 0 11 11 5
15.05/2.53 c 4303 28308 8407861 383569 264 0 20 20 10
15.05/2.53 c 4192 24314 7433601 346160 264 0 13 13 6
15.05/2.53 c 4304 28323 8413947 383764 264 0 15 15 7
15.05/2.53 c 4117 23158 7645898 369469 264 0 27 27 13
15.05/2.53 c 4305 28334 8417738 383882 264 0 11 11 5
15.05/2.53 c 4193 24339 7442027 346404 264 0 25 25 12
15.05/2.53 c 4306 28349 8423501 384089 264 0 15 15 7
15.05/2.53 c 4194 24350 7447508 346576 264 0 11 11 5
15.05/2.53 c 4118 23188 7655997 369725 264 0 30 30 15
15.05/2.53 c 4307 28369 8431181 384339 264 0 20 20 10 c 4195 24363 7453200 346752 264 0
15.05/2.53 13 13 6
15.05/2.54 c 4308 28384 8437267 384534 264 0 15 15 7
15.05/2.54 c 4119 23215 7665462 369998 264 0 27 27 13
15.05/2.54 c 4196 24388 7461626 346996 264 0 25 25 12
15.05/2.54 c 4309 28395 8441058 384652 264 0 11 11 5
15.05/2.54 c 4197 24399 7467107 347168 264 0 11 11 5
15.05/2.54 c 4310 28410 8446821 384859 264 0 15 15 7
15.05/2.54 c 4198 24412 7472799 347344 264 0 13 13 6
15.05/2.54 c 4120 23245 7675561 370254 264 0 30 30 15
15.05/2.54 c 4311 28430 8454501 385109 264 0 20 20 10
15.05/2.54 c 4199 24437 7481225 347588 264 0 25 25 12
15.05/2.54 c 4312 28445 8460587 385304 264 0 15 15 7
15.05/2.54 c 4121 23272 7685026 370527 264 0 27 27 13
15.05/2.54 c 4200 24448 7486706 347760 264 0 11 11 5
15.05/2.54 c 4313 28456 8464378 385422 264 0 11 11 5
15.05/2.54 c 4314 28471 8470141 385629 264 0 15 15 7
15.05/2.54 c 4201 24461 7492398 347936 264 0 13 13 6
15.05/2.54 c 4122 23302 7695125 370783 264 0 30 30 15
15.05/2.54 c 4315 28491 8477821 385879 264 0 20 20 10
15.05/2.54 c 4202 24486 7500824 348180 264 0 25 25 12
15.05/2.54 c 4316 28506 8483907 386074 264 0 15 15 7
15.05/2.54 c 4203 24497 7506305 348352 264 0 11 11 5
15.05/2.54 c 4123 23329 7704590 371056 264 0 27 27 13
15.05/2.55 c 4317 28517 8487698 386192 264 0 11 11 5
15.05/2.55 c 4204 24510 7511997 348528 264 0 13 13 6
15.05/2.55 c 4318 28534 8494104 386413 264 0 17 17 8
15.05/2.55 c 4205 24535 7520423 348772 264 0 25 25 12
15.05/2.55 c 4124 23359 7714689 371312 264 0 30 30 15
15.05/2.55 c 4319 28551 8500629 386593 264 0 17 17 8
15.05/2.55 c 7000 26948 8715716 503136 264 0 13 33 23
15.05/2.55 c 4206 24546 7525904 348944 264 0 11 11 5
15.05/2.55 c 4320 28566 8506530 386782 264 0 15 15 7
15.05/2.55 c 4207 24559 7531596 349120 264 0 13 13 6
15.05/2.55 c 4321 28577 8510321 386900 264 0 11 11 5
15.05/2.55 c 4125 23386 7724154 371585 264 0 27 27 13
15.05/2.55 c 4322 28594 8516727 387121 264 0 17 17 8
15.05/2.55 c 4208 24584 7540022 349364 264 0 25 25 12
15.05/2.55 c 4323 28611 8523252 387301 264 0 17 17 8
15.05/2.55 c 7006 26993 8733623 503859 264 0 15 31 17
15.05/2.55 c 4126 23416 7734253 371841 264 0 30 30 15
15.05/2.55 c 4209 24595 7545503 349536 264 0 11 11 5
15.05/2.55 c 4324 28626 8529153 387490 264 0 15 15 7
15.05/2.55 c 4210 24608 7551195 349712 264 0 13 13 6
15.05/2.55 c 4325 28637 8532944 387608 264 0 11 11 5
15.05/2.55 c 4127 23443 7743718 372114 264 0 27 27 13
15.05/2.55 c 4326 28654 8539350 387829 264 0 17 17 8
15.05/2.55 c 4211 24633 7559621 349956 264 0 25 25 12
15.05/2.56 c 4327 28671 8545875 388009 264 0 17 17 8
15.05/2.56 c 4212 24644 7565102 350128 264 0 11 11 5
15.05/2.56 c 4128 23473 7753817 372370 264 0 30 30 15
15.05/2.56 c 4328 28686 8551776 388198 264 0 15 15 7
15.05/2.56 c 4213 24657 7570794 350304 264 0 13 13 6
15.05/2.56 c 4329 28697 8555567 388316 264 0 11 11 5
15.05/2.56 c 4214 24682 7579220 350548 264 0 25 25 12
15.05/2.56 c 4330 28714 8561973 388537 264 0 17 17 8
15.05/2.56 c 4129 23500 7763282 372643 264 0 27 27 13
15.05/2.56 c 4215 24693 7584701 350720 264 0 11 11 5
15.05/2.56 c 4331 28731 8568498 388717 264 0 17 17 8
15.05/2.56 c 4216 24706 7590393 350896 264 0 13 13 6
15.05/2.56 c 4332 28746 8574399 388906 264 0 15 15 7
15.05/2.56 c 4130 23530 7773381 372899 264 0 30 30 15
15.05/2.56 c 4333 28757 8578190 389024 264 0 11 11 5
15.05/2.56 c 4217 24731 7598819 351140 264 0 25 25 12
15.05/2.56 c 6286 25247 8787122 481789 264 0 14 32 30
15.05/2.56 c 4334 28774 8584596 389245 264 0 17 17 8
15.05/2.56 c 4218 24742 7604300 351312 264 0 11 11 5
15.05/2.56 c 4131 23557 7782802 373170 264 0 27 27 13
15.05/2.56 c 4335 28791 8591121 389425 264 0 17 17 8
15.05/2.56 c 4219 24755 7609992 351488 264 0 13 13 6
15.05/2.57 c 4336 28806 8597022 389614 264 0 15 15 7
15.05/2.57 c 4337 28817 8600813 389732 264 0 11 11 5
15.05/2.57 c 4132 23588 7793027 373427 264 0 31 31 15
15.05/2.57 c 4220 24780 7618418 351732 264 0 25 25 12
15.05/2.57 c 4338 28834 8607219 389953 264 0 17 17 8
15.05/2.57 c 4221 24791 7623899 351904 264 0 11 11 5
15.05/2.57 c 4339 28851 8613744 390133 264 0 17 17 8
15.05/2.57 c 4222 24804 7629591 352080 264 0 13 13 6
15.05/2.57 c 4133 23615 7802614 373704 264 0 27 27 13
15.05/2.57 c 4340 28866 8619645 390322 264 0 15 15 7
15.05/2.57 c 4341 28877 8623436 390440 264 0 11 11 5
15.05/2.57 c 4223 24829 7638017 352324 264 0 25 25 12
15.05/2.57 c 4134 23645 7812713 373960 264 0 30 30 15
15.05/2.57 c 4342 28894 8629842 390661 264 0 17 17 8
15.05/2.57 c 4224 24840 7643498 352496 264 0 11 11 5
15.05/2.57 c 4225 24853 7649190 352672 264 0 13 13 6
15.05/2.57 c 4343 28911 8636367 390841 264 0 17 17 8
15.05/2.57 c 4135 23672 7822134 374231 264 0 27 27 13
15.05/2.57 c 4344 28926 8642268 391030 264 0 15 15 7
15.05/2.57 c 4226 24878 7657616 352916 264 0 25 25 12
15.05/2.57 c 4345 28937 8646059 391148 264 0 11 11 5
15.05/2.57 c 4227 24889 7663097 353088 264 0 11 11 5
15.05/2.58 c 4346 28954 8652465 391369 264 0 17 17 8
15.05/2.58 c 4136 23703 7832359 374488 264 0 31 31 15
15.05/2.58 c 4228 24902 7668789 353264 264 0 13 13 6
15.05/2.58 c 4347 28971 8658990 391549 264 0 17 17 8
15.05/2.58 c 4229 24927 7677215 353508 264 0 25 25 12
15.05/2.58 c 4348 28986 8664891 391738 264 0 15 15 7
15.05/2.58 c 4137 23730 7841946 374765 264 0 27 27 13
15.05/2.58 c 4349 28997 8668682 391856 264 0 11 11 5
15.05/2.58 c 4230 24938 7682696 353680 264 0 11 11 5
15.05/2.58 c 4350 29014 8675088 392077 264 0 17 17 8
15.05/2.58 c 4231 24951 7688388 353856 264 0 13 13 6
15.05/2.58 c 4138 23761 7852171 375022 264 0 31 31 15
15.05/2.58 c 4351 29031 8681613 392257 264 0 17 17 8
15.05/2.58 c 4232 24976 7696814 354100 264 0 25 25 12
15.05/2.58 c 4233 24987 7702295 354272 264 0 11 11 5
15.05/2.58 c 4139 23788 7861758 375299 264 0 27 27 13
15.05/2.58 c 4234 25000 7707987 354448 264 0 13 13 6
15.05/2.58 c 4235 25025 7716413 354692 264 0 25 25 12
15.05/2.58 c 4140 23819 7871983 375556 264 0 31 31 15
15.05/2.59 c 4236 25036 7721894 354864 264 0 11 11 5
15.05/2.59 c 4237 25049 7727586 355040 264 0 13 13 6
15.05/2.59 c 4141 23846 7881570 375833 264 0 27 27 13
15.05/2.59 c 4238 25074 7736012 355284 264 0 25 25 12
15.05/2.59 c 4142 23877 7891795 376090 264 0 31 31 15
15.05/2.59 c 4239 25085 7741493 355456 264 0 11 11 5
15.05/2.59 c 4240 25098 7747185 355632 264 0 13 13 6
15.05/2.59 c 4143 23904 7901382 376367 264 0 27 27 13
15.05/2.59 c 4241 25123 7755611 355876 264 0 25 25 12
15.05/2.59 c 4242 25134 7761092 356048 264 0 11 11 5
15.05/2.59 c 4144 23935 7911607 376624 264 0 31 31 15
15.05/2.59 c 4243 25147 7766784 356224 264 0 13 13 6
15.85/2.60 c 4244 25172 7775210 356468 264 0 25 25 12
15.85/2.60 c 4145 23962 7921194 376901 264 0 27 27 13
15.85/2.60 c 4245 25183 7780691 356640 264 0 11 11 5
15.85/2.60 c 4246 25196 7786383 356816 264 0 13 13 6
15.85/2.60 c 4146 23993 7931419 377158 264 0 31 31 15
15.85/2.60 c 4247 25221 7794809 357060 264 0 25 25 12
15.85/2.60 c 4248 25232 7800290 357232 264 0 11 11 5
15.85/2.60 c 4147 24020 7941006 377435 264 0 27 27 13
15.85/2.60 c 4249 25245 7805982 357408 264 0 13 13 6
15.85/2.60 c 8669 33080 10293879 582537 264 0 21 33 30
15.85/2.60 c 4148 24051 7951231 377692 264 0 31 31 15
15.85/2.60 c 4250 25270 7814408 357652 264 0 25 25 12
15.85/2.61 c 4251 25281 7819889 357824 264 0 11 11 5
15.85/2.61 c 4149 24078 7960818 377969 264 0 27 27 13
15.85/2.61 c 4252 25294 7825581 358000 264 0 13 13 6
15.85/2.61 c 4253 25321 7834873 358243 264 0 27 27 13
15.85/2.61 c 4150 24109 7971043 378226 264 0 31 31 15
15.85/2.61 c 4254 25334 7841384 358441 264 0 13 13 6
15.85/2.61 c 4151 24136 7980630 378503 264 0 27 27 13
15.85/2.61 c 4255 25359 7849810 358685 264 0 25 25 12
15.85/2.61 c 4256 25370 7855291 358857 264 0 11 11 5
15.85/2.61 c c 4152 24167 7990855 378760 4257 25383 264 7860983 359033 264 00 13 13 631 31 15
15.85/2.62
15.85/2.62 c 4258 25400 7867647 359215 264 0 17 17 8
15.85/2.62 c 4153 24194 8000442 379037 264 0 27 27 13
15.85/2.62 c 4259 25413 7874158 359413 264 0 13 13 6
15.85/2.62 c 4260 25430 7880822 359595 264 0 17 17 8
15.85/2.62 c 4261 25443 7887333 359793 264 0 13 13 6
15.85/2.62 c 4154 24225 8010667 379294 264 0 31 31 15
15.85/2.62 c 4262 25460 7893997 359975 264 0 17 17 8
15.85/2.62 c 4263 25473 7900508 360173 264 0 13 13 6
15.85/2.62 c 4155 24252 8020254 379571 264 0 27 27 13
15.85/2.62 c 4264 25488 7906217 360355 264 0 15 15 7
15.85/2.62 c 4265 25499 7911698 360527 264 0 11 11 5
15.85/2.62 c 4156 24283 8030479 379828 264 0 31 31 15
15.85/2.62 c 4266 25512 7917390 360703 264 0 13 13 6
15.85/2.63 c 4267 25529 7924054 360885 264 0 17 17 8
15.85/2.63 c 4157 24310 8040066 380105 264 0 27 27 13
15.85/2.63 c 4268 25542 7930565 361083 264 0 13 13 6
15.85/2.63 c 4269 25559 7937229 361265 264 0 17 17 8
15.85/2.63 c 4158 24341 8050291 380362 264 0 31 31 15
15.85/2.63 c 4270 25572 7943740 361463 264 0 13 13 6
15.85/2.63 c 4271 25587 7949449 361645 264 0 15 15 7
15.85/2.63 c 4272 25598 7954930 361817 264 0 c 4159 24368 8059878 380639 264 0 11 11 5 27 27 13
15.85/2.63
15.85/2.64 c 4273 25611 7960622 361993 264 0 13 13 6
15.85/2.64 c 4274 25628 7967286 362175 264 0 17 17 8
15.85/2.64 c 4160 24399 8070103 380896 264 0 31 31 15
15.85/2.64 c 4275 25641 7973797 362373 264 0 13 13 6
15.85/2.64 c 4276 25658 7980461 362555 264 0 17 17 8
15.85/2.64 c 4161 24426 8079690 381173 264 0 27 27 13
15.85/2.64 c 4277 25671 7986972 362753 264 0 13 13 6
15.85/2.64 c 4278 25688 7993636 362935 264 0 17 17 8
15.85/2.64 c 4162 24457 8089915 381430 264 0 31 31 15
15.85/2.64 c 4279 25701 8000147 363129 264 0 13 13 6
15.85/2.64 c 4280 25716 8005939 363313 264 0 15 15 7
15.85/2.64 c 4163 24484 8099502 381707 264 0 27 27 13
15.85/2.64 c 4281 25729 8011679 363486 264 0 13 13 6
15.85/2.65 c 4282 25746 8018343 363672 264 0 17 17 8
15.85/2.65 c 4164 24515 8109727 381964 264 0 31 31 15
15.85/2.65 c 7798 33238 10945986 593569 264 0 6 18 15
15.85/2.65 c 4283 25759 8024900 363866 264 0 13 13 6
15.85/2.65 c 4284 25774 8030609 364048 264 0 15 15 7
15.85/2.65 c 4165 24542 8119362 382242 264 0 27 27 13
15.85/2.65 c 4285 25785 8036090 364220 264 0 11 11 5
15.85/2.65 c 4286 25798 8041782 364396 264 0 13 13 6
15.85/2.65 c 4287 25815 8048446 364578 264 0 17 17 8
15.85/2.65 c 4166 24573 8129587 382499 264 0 31 31 15
15.85/2.65 c 4288 25828 8055003 364776 264 0 13 13 6
15.85/2.65 c 4289 25845 8061667 364958 264 0 17 17 8
15.85/2.65 c 4167 24600 8139222 382777 264 0 27 27 13
15.85/2.66 c 4290 25858 8068176 365151 264 0 13 13 6
15.85/2.66 c 4291 25873 8074016 365336 264 0 15 15 7
15.85/2.66 c 9000 34006 10640114 603524 264 0 17 29 23
15.85/2.66 c 4168 24631 8149447 383034 264 0 31 31 15
15.85/2.66 c 9000 34007 10640348 603531 264 0 0 0 0
15.85/2.66 c 9000 34009 10640888 603544 264 0 0 0 0
15.85/2.66 c 9000 34014 10642611 603583 264 0 0 0 0
15.85/2.66 c 4292 25886 8079897 365512 264 0 13 13 6
15.85/2.66 c 9000 34017 10643911 603614 264 0 0 0 0
15.85/2.66 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 6.
15.85/2.66 c [pFactory][Group N°0] Thread N°0 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°1 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°2 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°3 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°4 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°5 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°6 is joined.
15.85/2.66 c [pFactory][Group N°0] Thread N°7 is joined.
15.85/2.66 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°1)
15.85/2.66 s UNSATISFIABLE
15.85/2.66 c restarts : 514
15.85/2.66 c conflicts : 4893 (307 /sec)
15.85/2.66 c decisions : 30567 (1918 /sec)
15.85/2.66 c propagations : 424381 (26624 /sec)
15.85/2.66 c root propagations : 5352
15.85/2.66 c filter calls : 9174823 (575601 /sec)
15.85/2.66 c useless filter calls : 8803328 (95 %)
15.85/2.66 c Memory used : 935.32 MB
15.85/2.66 c CPU time : 15.9395 s
15.85/2.66 c real time : 2.65721 s
15.85/2.66
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15383 MiB free)
memory of node 1: 16384 MiB (15531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409265-1569837108/watcher-4409265-1569837108 -o /tmp/evaluation-result-4409265-1569837108/solver-4409265-1569837108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569829440-1021 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409265-1569837108.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1909, runsolver pid=1906
[startup+0.100152 s]*
/proc/loadavg: 7.59 8.15 8.22 2/193 1910
/proc/meminfo: memFree=31655932/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=29748 memory=6004 CPUtime=0.1 cores=0-7
/proc/1909/stat : 1909 (cosoco) R 1906 1909 994 0 -1 4202496 1691 0 0 0 10 0 0 0 20 0 1 0 559648508 30461952 1501 33554432000 4194304 6211132 140725266520592 140725266517128 5487937 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 7437 1501 799 493 0 742 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29748 KiB
Current children cumulated memory: 6004 KiB
[startup+0.209176 s]*
/proc/loadavg: 7.59 8.15 8.22 2/193 1910
/proc/meminfo: memFree=31546936/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=144976 memory=121232 CPUtime=0.2 cores=0-7
/proc/1909/stat : 1909 (cosoco) R 1906 1909 994 0 -1 4202496 30499 0 0 0 17 3 0 0 20 0 1 0 559648508 148455424 30308 33554432000 4194304 6211132 140725266520592 140725266517128 139822415777575 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 36244 30308 807 493 0 29549 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144976 KiB
Current children cumulated memory: 121232 KiB
[startup+0.309383 s]*
/proc/loadavg: 7.59 8.15 8.22 2/193 1910
/proc/meminfo: memFree=31517920/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=177348 memory=153700 CPUtime=0.3 cores=0-7
/proc/1909/stat : 1909 (cosoco) R 1906 1909 994 0 -1 4202496 38618 0 0 0 26 4 0 0 20 0 1 0 559648508 181604352 38425 33554432000 4194304 6211132 140725266520592 140725266517128 139822406429669 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 44370 38425 808 493 0 37675 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 177348 KiB
Current children cumulated memory: 153700 KiB
[startup+0.703192 s]
/proc/loadavg: 7.59 8.15 8.22 2/193 1910
/proc/meminfo: memFree=31372468/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=990548 memory=377044 CPUtime=0.71 cores=0-7
/proc/1909/stat : 1909 (cosoco) S 1906 1909 994 0 -1 1077944320 94714 0 0 0 60 11 0 0 20 0 9 0 559648508 1014321152 94261 33554432000 4194304 6211132 140725266520592 140725266518848 139822422470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 247637 94261 832 493 0 240942 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 990548 KiB
Current children cumulated memory: 377044 KiB
[startup+1.50109 s]
/proc/loadavg: 7.59 8.15 8.22 10/201 1918
/proc/meminfo: memFree=31273680/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=994676 memory=389584 CPUtime=7.07 cores=0-7
/proc/1909/stat : 1909 (cosoco) S 1906 1909 994 0 -1 1077944320 98106 0 0 0 695 12 0 0 20 0 9 0 559648508 1018548224 97396 33554432000 4194304 6211132 140725266520592 140725266518848 139822422470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 248669 97396 846 493 0 241974 0
[pid=1909/tid=1911] ppid=1906 vsize=994676 memory=0 CPUtime=0.79 cores=0-7
/proc/1909/task/1911/stat : 1911 (cosoco) R 1906 1909 994 0 -1 4202560 432 0 0 0 79 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822399327328 5017277 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1912] ppid=1906 vsize=994676 memory=-3117775541953848929 CPUtime=0.78 cores=0-7
/proc/1909/task/1912/stat : 1912 (cosoco) R 1906 1909 994 0 -1 4202560 505 0 0 0 78 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822390934624 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1913] ppid=1906 vsize=994676 memory=0 CPUtime=0.79 cores=0-7
/proc/1909/task/1913/stat : 1913 (cosoco) R 1906 1909 994 0 -1 4202560 482 0 0 0 79 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822382541920 5409489 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1914] ppid=1906 vsize=994676 memory=0 CPUtime=0.79 cores=0-7
/proc/1909/task/1914/stat : 1914 (cosoco) R 1906 1909 994 0 -1 4202560 488 0 0 0 79 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822374149216 5009098 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1915] ppid=1906 vsize=994676 memory=11 CPUtime=0.79 cores=0-7
/proc/1909/task/1915/stat : 1915 (cosoco) R 1906 1909 994 0 -1 4202560 422 0 0 0 79 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822365756512 5008994 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1916] ppid=1906 vsize=994676 memory=288230617509003574 CPUtime=0.79 cores=0-7
/proc/1909/task/1916/stat : 1916 (cosoco) R 1906 1909 994 0 -1 4202560 443 0 0 0 79 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822357363808 5397407 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1917] ppid=1906 vsize=994676 memory=15816690336269941 CPUtime=0.8 cores=0-7
/proc/1909/task/1917/stat : 1917 (cosoco) R 1906 1909 994 0 -1 4202560 429 0 0 0 80 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822348971104 5017277 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1918] ppid=1906 vsize=994676 memory=0 CPUtime=0.79 cores=0-7
/proc/1909/task/1918/stat : 1918 (cosoco) R 1906 1909 994 0 -1 4202560 407 0 0 0 79 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822340578400 5017472 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
Current children cumulated CPU time: 7.07 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 389584 KiB
[startup+2.69799 s]
# the end of solver process 1909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.9403 s, system=0.433435 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.61008 s]
/proc/loadavg: 7.59 8.15 8.22 10/201 1918
/proc/meminfo: memFree=31273680/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=994676 memory=389584 CPUtime=7.94 cores=0-7
/proc/1909/stat : 1909 (cosoco) S 1906 1909 994 0 -1 1077944320 98106 0 0 0 782 12 0 0 20 0 9 0 559648508 1018548224 97396 33554432000 4194304 6211132 140725266520592 140725266518848 139822422470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 248669 97396 846 493 0 241974 0
[pid=1909/tid=1911] ppid=1906 vsize=994676 memory=7593744554002895203 CPUtime=0.9 cores=0-7
/proc/1909/task/1911/stat : 1911 (cosoco) R 1906 1909 994 0 -1 4202560 432 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822399327328 5017277 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1912] ppid=1906 vsize=994676 memory=-7035114785800479027 CPUtime=0.89 cores=0-7
/proc/1909/task/1912/stat : 1912 (cosoco) R 1906 1909 994 0 -1 4202560 505 0 0 0 89 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822390934624 5009098 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1913] ppid=1906 vsize=994676 memory=139838095608783 CPUtime=0.9 cores=0-7
/proc/1909/task/1913/stat : 1913 (cosoco) R 1906 1909 994 0 -1 4202560 482 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822382541920 5389479 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1914] ppid=1906 vsize=994676 memory=-5153075247754915967 CPUtime=0.9 cores=0-7
/proc/1909/task/1914/stat : 1914 (cosoco) R 1906 1909 994 0 -1 4202560 488 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822374149216 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1915] ppid=1906 vsize=994676 memory=-8253362762721548149 CPUtime=0.9 cores=0-7
/proc/1909/task/1915/stat : 1915 (cosoco) R 1906 1909 994 0 -1 4202560 422 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822365756512 5389476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1916] ppid=1906 vsize=994676 memory=4426066961269356074 CPUtime=0.9 cores=0-7
/proc/1909/task/1916/stat : 1916 (cosoco) R 1906 1909 994 0 -1 4202560 443 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822357363808 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1917] ppid=1906 vsize=994676 memory=6944656592387989600 CPUtime=0.9 cores=0-7
/proc/1909/task/1917/stat : 1917 (cosoco) R 1906 1909 994 0 -1 4202560 429 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822348971104 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1918] ppid=1906 vsize=994676 memory=4786084448094548891 CPUtime=0.9 cores=0-7
/proc/1909/task/1918/stat : 1918 (cosoco) R 1906 1909 994 0 -1 4202560 407 0 0 0 90 0 0 0 20 0 9 0 559648578 1018548224 97396 33554432000 4194304 6211132 140725266520592 139822340578400 5017277 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
Current children cumulated CPU time: 7.94 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 389584 KiB
[startup+2.40109 s]
/proc/loadavg: 7.59 8.15 8.22 9/201 1918
/proc/meminfo: memFree=31272188/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=994676 memory=390680 CPUtime=14.25 cores=0-7
/proc/1909/stat : 1909 (cosoco) S 1906 1909 994 0 -1 1077944320 158164 0 0 0 1386 39 0 0 20 0 9 0 559648508 1018548224 97670 33554432000 4194304 6211132 140725266520592 140725266518848 139822422470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 248669 97670 846 493 0 241974 0
[pid=1909/tid=1911] ppid=1906 vsize=994676 memory=0 CPUtime=1.69 cores=0-7
/proc/1909/task/1911/stat : 1911 (cosoco) R 1906 1909 994 0 -1 4202560 7127 0 0 0 165 4 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822399327328 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1912] ppid=1906 vsize=994676 memory=-7035114785800479027 CPUtime=1.66 cores=0-7
/proc/1909/task/1912/stat : 1912 (cosoco) R 1906 1909 994 0 -1 4202560 8041 0 0 0 166 0 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822390934624 5008918 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1913] ppid=1906 vsize=994676 memory=7900382160082255197 CPUtime=1.69 cores=0-7
/proc/1909/task/1913/stat : 1913 (cosoco) R 1906 1909 994 0 -1 4202560 8904 0 0 0 168 1 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822382541920 5017277 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1914] ppid=1906 vsize=994676 memory=0 CPUtime=1.68 cores=0-7
/proc/1909/task/1914/stat : 1914 (cosoco) R 1906 1909 994 0 -1 4202560 8190 0 0 0 168 0 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822374149216 5017472 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1915] ppid=1906 vsize=994676 memory=0 CPUtime=1.69 cores=0-7
/proc/1909/task/1915/stat : 1915 (cosoco) R 1906 1909 994 0 -1 4202560 7078 0 0 0 164 5 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822365756512 5009182 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1916] ppid=1906 vsize=994676 memory=7380106142448641644 CPUtime=1.68 cores=0-7
/proc/1909/task/1916/stat : 1916 (cosoco) R 1906 1909 994 0 -1 4202560 8884 0 0 0 168 0 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822357363808 5009182 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1917] ppid=1906 vsize=994676 memory=-7035114785800479027 CPUtime=1.69 cores=0-7
/proc/1909/task/1917/stat : 1917 (cosoco) R 1906 1909 994 0 -1 4202560 7523 0 0 0 163 6 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822348970760 5017182 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1918] ppid=1906 vsize=994676 memory=916 CPUtime=1.69 cores=0-7
/proc/1909/task/1918/stat : 1918 (cosoco) R 1906 1909 994 0 -1 4202560 7919 0 0 0 163 6 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822340578400 5017277 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
Current children cumulated CPU time: 14.25 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 390680 KiB
[startup+2.60109 s]
/proc/loadavg: 7.59 8.15 8.22 9/201 1918
/proc/meminfo: memFree=31272188/32770624 swapFree=66937820/67108860
[pid=1909] ppid=1906 vsize=994676 memory=390680 CPUtime=15.85 cores=0-7
/proc/1909/stat : 1909 (cosoco) S 1906 1909 994 0 -1 1077944320 158892 0 0 0 1546 39 0 0 20 0 9 0 559648508 1018548224 97670 33554432000 4194304 6211132 140725266520592 140725266518848 139822422470391 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
/proc/1909/statm: 248669 97670 846 493 0 241974 0
[pid=1909/tid=1911] ppid=1906 vsize=994676 memory=932 CPUtime=1.89 cores=0-7
/proc/1909/task/1911/stat : 1911 (cosoco) R 1906 1909 994 0 -1 4202560 7332 0 0 0 185 4 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822399327328 5017472 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1912] ppid=1906 vsize=994676 memory=4713745541279610410 CPUtime=1.86 cores=0-7
/proc/1909/task/1912/stat : 1912 (cosoco) R 1906 1909 994 0 -1 4202560 8054 0 0 0 186 0 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822390934624 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1913] ppid=1906 vsize=994676 memory=-8341965534556230502 CPUtime=1.89 cores=0-7
/proc/1909/task/1913/stat : 1913 (cosoco) R 1906 1909 994 0 -1 4202560 8915 0 0 0 188 1 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822382541920 5409456 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1914] ppid=1906 vsize=994676 memory=9047017150487036571 CPUtime=1.88 cores=0-7
/proc/1909/task/1914/stat : 1914 (cosoco) R 1906 1909 994 0 -1 4202560 8251 0 0 0 188 0 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822374149216 5017277 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1915] ppid=1906 vsize=994676 memory=389584 CPUtime=1.89 cores=0-7
/proc/1909/task/1915/stat : 1915 (cosoco) R 1906 1909 994 0 -1 4202560 7420 0 0 0 184 5 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822365756512 5008978 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1916] ppid=1906 vsize=994676 memory=-1664385933527516014 CPUtime=1.88 cores=0-7
/proc/1909/task/1916/stat : 1916 (cosoco) R 1906 1909 994 0 -1 4202560 8921 0 0 0 188 0 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822357363808 5017472 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1917] ppid=1906 vsize=994676 memory=6944656592455097440 CPUtime=1.89 cores=0-7
/proc/1909/task/1917/stat : 1917 (cosoco) R 1906 1909 994 0 -1 4202560 7581 0 0 0 182 7 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822348970760 5389460 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
[pid=1909/tid=1918] ppid=1906 vsize=994676 memory=6655300316396806240 CPUtime=1.88 cores=0-7
/proc/1909/task/1918/stat : 1918 (cosoco) R 1906 1909 994 0 -1 4202560 7920 0 0 0 182 6 0 0 20 0 9 0 559648578 1018548224 97670 33554432000 4194304 6211132 140725266520592 139822340578400 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 35344384 140725266523153 140725266523245 140725266523245 140725266526158 0
Current children cumulated CPU time: 15.85 s
Current children cumulated vsize: 994676 KiB
Current children cumulated memory: 390680 KiB
Child status: 0
Real time (s): 2.69812
CPU time (s): 16.3737
CPU user time (s): 15.9403
CPU system time (s): 0.433435
CPU usage (%): 606.856
Max. virtual memory (cumulated for all children) (KiB): 994676
Max. memory (cumulated for all children) (KiB): 390680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9403
system time used= 0.433435
maximum resident set size= 390680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159207
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= 370
involuntary context switches= 353
# summary of solver processes directly reported to runsolver:
# pid: 1909
# total CPU time (s): 16.3737
# total CPU user time (s): 15.9403
# total CPU system time (s): 0.433435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038478 second user time and 0.075715 second system time
The end
Begin job on node141 at 2019-09-30 11:51:04
IDJOB=4409265
IDBENCH=139116
IDSOLVER=2877
FILE ID=node141/4409265-1569837108
RUNJOBID= node141-1569829440-1021
PBS_JOBID= 21705939
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/LatinSquare/LatinSquare-xcsp2-qcp25/qcp-25-264-12_X2.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409265-1569837108/watcher-4409265-1569837108 -o /tmp/evaluation-result-4409265-1569837108/solver-4409265-1569837108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1569829440-1021 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409265-1569837108.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 0da6a8f2891de305d0b0efc67f372d88
RANDOM SEED=1710040095
node141.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31658076 kB
MemAvailable: 31825336 kB
Buffers: 105620 kB
Cached: 405088 kB
SwapCached: 62080 kB
Active: 334388 kB
Inactive: 243480 kB
Active(anon): 3492 kB
Inactive(anon): 141792 kB
Active(file): 330896 kB
Inactive(file): 101688 kB
Unevictable: 107692 kB
Mlocked: 107692 kB
SwapTotal: 67108860 kB
SwapFree: 66937820 kB
Dirty: 3140 kB
Writeback: 0 kB
AnonPages: 113128 kB
Mapped: 26948 kB
Shmem: 69524 kB
Slab: 129740 kB
SReclaimable: 101020 kB
SUnreclaim: 28720 kB
KernelStack: 3408 kB
PageTables: 5064 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 538972 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 128384 kB
DirectMap2M: 33417216 kB
Free space on /tmp at the end= 62028 MiB
End job on node141 at 2019-09-30 11:51:07