c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 10431 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 10281 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 150 10281 20562 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 300 10506 21012 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 304 10507 21020 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 308 10508 21028 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 312 10509 21036 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 318 10510 21048 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 322 10511 21056 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 326 10512 21064 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 330 10513 21072 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 334 10514 21080 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 338 10515 21088 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 344 10516 21100 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 348 10517 21108 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 354 10518 21120 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 360 10519 21132 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 366 10520 21144 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 370 10521 21152 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 374 10522 21160 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 378 10523 21168 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 382 10524 21176 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 386 10525 21184 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 10526 21196 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 396 10527 21204 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 400 10528 21212 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 406 10529 21224 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 412 10530 21236 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 416 10531 21244 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 420 10532 21252 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 426 10533 21264 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 430 10534 21272 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 434 10535 21280 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 438 10536 21288 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 442 10537 21296 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 446 10538 21304 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 454 10539 21320 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 466 10540 21344 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 486 10541 21384 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 498 10542 21408 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 510 10543 21432 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 522 10544 21456 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 536 10545 21484 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 548 10546 21508 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 562 10547 21536 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 578 10548 21568 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 592 10549 21596 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 600 10550 21612 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 608 10551 21628 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 630 10552 21672 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 650 10553 21712 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 670 10554 21752 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 694 10555 21800 | 5000 0 -nan | 0.000 % | c | 101 | 692 10555 21800 | 5500 101 9 | 0.288 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 730 10556 21872 | 5000 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 748 10557 21908 | 5000 0 -nan | 0.000 % | c | 100 | 747 10557 21908 | 5500 100 15 | 0.134 % | c | 250 | 742 10557 21908 | 6050 250 20 | 0.802 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 782 10558 21976 | 5000 0 -nan | 0.000 % | c | 100 | 782 10558 21976 | 5500 100 18 | 0.023 % | c | 250 | 781 10558 21976 | 6050 250 18 | 0.128 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 846 10559 22104 | 5000 0 -nan | 0.000 % | c | 100 | 837 10559 22104 | 5500 100 10 | 1.065 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 868 10560 22148 | 5000 0 -nan | 0.000 % | c | 100 | 868 10560 22148 | 5500 100 15 | 0.019 % | c | 250 | 868 10560 22148 | 6050 250 22 | 0.000 % | c | 477 | 868 10560 22148 | 6655 477 29 | 0.019 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 930 10561 22272 | 5000 0 -nan | 0.000 % | c | 100 | 930 10561 22272 | 5500 100 11 | 0.017 % | c | 251 | 929 10561 22272 | 6050 251 15 | 0.108 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 962 10562 22336 | 5000 0 -nan | 0.000 % | c | 100 | 962 10562 22336 | 5500 100 19 | 0.015 % | c | 250 | 962 10562 22336 | 6050 250 20 | 0.000 % | c | 477 | 962 10562 22336 | 6655 477 25 | 0.015 % | c | 814 | 959 10562 22336 | 7320 814 27 | 0.312 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1002 10563 22416 | 5000 0 -nan | 0.000 % | c | 102 | 1002 10563 22416 | 5500 102 16 | 0.014 % | c | 253 | 1002 10563 22416 | 6050 253 24 | 0.000 % | c | 478 | 1002 10563 22416 | 6655 478 28 | 0.000 % | c | 815 | 1002 10563 22416 | 7320 815 32 | 0.013 % | c | 1321 | 1001 10563 22416 | 8052 1321 35 | 0.114 % | c | 2081 | 1001 10563 22416 | 8857 2081 42 | 0.114 % | c | 3221 | 1001 10563 22416 | 9743 3221 42 | 0.113 % | c | 4929 | 1000 10563 22416 | 10717 4929 46 | 0.213 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1074 10564 22560 | 5000 0 -nan | 0.000 % | c | 101 | 1074 10564 22560 | 5500 101 26 | 0.012 % | c | 255 | 1074 10564 22560 | 6050 255 36 | 0.000 % | c | 482 | 1074 10564 22560 | 6655 482 36 | 0.000 % | c | 819 | 1074 10564 22560 | 7320 819 38 | 0.000 % | c | 1330 | 1074 10564 22560 | 8052 1330 43 | 0.000 % | c | 2091 | 1074 10564 22560 | 8857 2091 55 | 0.000 % | c | 3230 | 1074 10564 22560 | 9743 3230 61 | 0.000 % | c | 4938 | 1074 10564 22560 | 10717 4938 66 | 0.000 % | c | 7501 | 1074 10564 22560 | 11789 7501 68 | 0.012 % | c | 11347 | 1073 10564 22560 | 12968 11347 71 | 0.105 % | c | 17114 | 1072 10564 22560 | 14265 10512 82 | 0.198 % | c | 25766 | 1068 10564 22560 | 15692 11931 91 | 0.570 % | c | 38747 | 1036 10564 22560 | 17261 9063 83 | 3.548 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1152 10565 22716 | 5000 0 -nan | 0.000 % | c | 100 | 1152 10565 22716 | 5500 100 26 | 0.011 % | c | 253 | 1152 10565 22716 | 6050 253 38 | 0.000 % | c | 478 | 1152 10565 22716 | 6655 478 41 | 0.000 % | c | 816 | 1152 10565 22716 | 7320 816 52 | 0.000 % | c | 1322 | 1152 10565 22716 | 8052 1322 59 | 0.000 % | c | 2081 | 1152 10565 22716 | 8857 2081 69 | 0.000 % | c | 3226 | 1152 10565 22716 | 9743 3226 69 | 0.000 % | c | 4934 | 1152 10565 22716 | 10717 4934 71 | 0.000 % | c | 7496 | 1151 10565 22716 | 11789 7496 85 | 0.097 % | c | 11344 | 1150 10565 22716 | 12968 11344 84 | 0.186 % | c | 17110 | 1149 10565 22716 | 14265 10529 94 | 0.261 % | c | 25764 | 1147 10565 22716 | 15692 11903 113 | 0.434 % | c | 38742 | 1147 10565 22716 | 17261 9014 109 | 0.434 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1246 10566 22904 | 5000 0 -nan | 0.000 % | c | 100 | 1246 10566 22904 | 5500 100 27 | 0.009 % | c | 252 | 1246 10566 22904 | 6050 252 33 | 0.000 % | c | 477 | 1246 10566 22904 | 6655 477 48 | 0.000 % | c | 814 | 1246 10566 22904 | 7320 814 64 | 0.000 % | c | 1321 | 1246 10566 22904 | 8052 1321 68 | 0.000 % | c | 2080 | 1246 10566 22904 | 8857 2080 86 | 0.000 % | c | 3222 | 1246 10566 22904 | 9743 3222 111 | 0.000 % | c | 4931 | 1246 10566 22904 | 10717 4931 133 | 0.000 % | c | 7493 | 1246 10566 22904 | 11789 7493 143 | 0.000 % | c | 11337 | 1246 10566 22904 | 12968 11337 145 | 0.009 % | c | 17104 | 1246 10566 22904 | 14265 10459 133 | 0.000 % | c | 25755 | 1246 10566 22904 | 15692 11797 125 | 0.000 % | c | 38729 | 1246 10566 22904 | 17261 8802 126 | 0.000 % | c | 58192 | 1246 10566 22904 | 18987 10667 133 | 0.000 % | c | 87385 | 1246 10566 22904 | 20886 10909 153 | 0.009 % | c | 131176 | 1246 10566 22904 | 22974 12306 132 | 0.009 % | c | 196860 | 1246 10566 22904 | 25272 19692 175 | 0.000 % | c | 295387 | 1244 10566 22904 | 27799 25165 158 | 0.170 % | c | 443177 | 1244 10566 22904 | 30579 19700 191 | 0.169 % | c | 664861 | 1242 10566 22904 | 33637 24187 180 | 0.330 % | c | 997386 | 1242 10566 22904 | 37001 24113 195 | 0.321 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1382 10567 23176 | 5000 0 -nan | 0.000 % | c | 102 | 1382 10567 23176 | 5500 102 41 | 0.007 % | c | 254 | 1382 10567 23176 | 6050 254 43 | 0.000 % | c | 481 | 1382 10567 23176 | 6655 481 63 | 0.000 % | c | 819 | 1382 10567 23176 | 7320 819 71 | 0.000 % | c | 1327 | 1382 10567 23176 | 8052 1327 98 | 0.000 % | c | 2086 | 1382 10567 23176 | 8857 2086 137 | 0.000 % | c | 3228 | 1382 10567 23176 | 9743 3228 152 | 0.000 % | c | 4939 | 1382 10567 23176 | 10717 4939 151 | 0.000 % | c | 7503 | 1382 10567 23176 | 11789 7503 188 | 0.000 % | c | 11348 | 1382 10567 23176 | 12968 11348 197 | 0.000 % | c | 17114 | 1382 10567 23176 | 14265 10418 217 | 0.000 % | c | 25768 | 1382 10567 23176 | 15692 11742 238 | 0.000 % | c | 38742 | 1382 10567 23176 | 17261 8603 295 | 0.000 % | c | 58203 | 1382 10567 23176 | 18987 10310 216 | 0.000 % | c | 87395 | 1382 10567 23176 | 20886 10283 250 | 0.000 % | c | 131185 | 1382 10567 23176 | 22974 11417 206 | 0.000 % | c | 196882 | 1382 10567 23176 | 25272 18288 272 | 0.000 % | c | 295408 | 1382 10567 23176 | 27799 23169 201 | 0.000 % | c | 443199 | 1382 10567 23176 | 30579 14045 230 | 0.007 % | c | 664884 | 1382 10567 23176 | 33637 18271 253 | 0.000 % | c | 997410 | 1382 10567 23176 | 37001 19058 192 | 0.000 % | c CPU time : 1800 s c Total CPU time: 1800 s