c wbo 1.4 beta - 20100610 c | Number of variables: 150 | c | Number of clauses: 500 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 350 | 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 350 1050 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 102 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s c =============================================================================== c | 2 | 150 351 1200 | 5000 2 4 | 0.000 % | c =============================================================================== c New solution: 93 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 3 | 150 352 1350 | 5000 3 7 | 0.000 % | c =============================================================================== c New solution: 92 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 150 353 1500 | 5000 4 28 | 0.000 % | c =============================================================================== c New solution: 91 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s c =============================================================================== c | 4 | 150 354 1650 | 5000 4 28 | 0.000 % | c =============================================================================== c New solution: 90 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 4 | 150 355 1800 | 5000 4 28 | 0.000 % | c =============================================================================== c New solution: 89 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 4 | 150 356 1950 | 5000 4 28 | 0.000 % | c =============================================================================== c New solution: 88 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 4 | 150 357 2100 | 5000 4 28 | 0.000 % | c =============================================================================== c New solution: 87 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 7 | 150 358 2250 | 5000 7 54 | 0.000 % | c =============================================================================== c New solution: 86 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s c =============================================================================== c | 9 | 150 359 2400 | 5000 9 61 | 0.000 % | c =============================================================================== c New solution: 85 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 9 | 150 360 2550 | 5000 9 61 | 0.000 % | c =============================================================================== c New solution: 84 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s c =============================================================================== c | 14 | 150 361 2700 | 5000 14 69 | 0.000 % | c =============================================================================== c New solution: 83 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 22 | 150 362 2850 | 5000 22 74 | 0.000 % | c =============================================================================== c New solution: 82 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 27 | 150 363 3000 | 5000 27 76 | 0.000 % | c =============================================================================== c New solution: 81 c Elapsed CPU time: 0.005999 s Remaining CPU time: 179.994 s c =============================================================================== c | 29 | 150 364 3150 | 5000 29 76 | 0.000 % | c =============================================================================== c New solution: 80 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s c =============================================================================== c | 54 | 150 365 3300 | 5000 54 76 | 0.000 % | c =============================================================================== c New solution: 79 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 68 | 150 366 3450 | 5000 68 76 | 0.000 % | c =============================================================================== c New solution: 78 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s c =============================================================================== c | 73 | 150 367 3600 | 5000 73 77 | 0.000 % | c =============================================================================== c New solution: 77 c Elapsed CPU time: 0.010998 s Remaining CPU time: 179.989 s c =============================================================================== c | 102 | 150 368 3750 | 5000 102 77 | 0.000 % | c =============================================================================== c New solution: 76 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s c =============================================================================== c | 107 | 150 369 3900 | 5000 107 76 | 0.000 % | c =============================================================================== c New solution: 75 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s c =============================================================================== c | 116 | 150 370 4050 | 5000 116 76 | 0.000 % | c =============================================================================== c New solution: 74 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 138 | 150 371 4200 | 5000 138 76 | 0.000 % | c =============================================================================== c New solution: 73 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s c =============================================================================== c | 139 | 150 372 4350 | 5000 139 76 | 0.000 % | c =============================================================================== c New solution: 72 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s c =============================================================================== c | 161 | 150 373 4500 | 5000 161 75 | 0.000 % | c =============================================================================== c New solution: 71 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s c =============================================================================== c | 164 | 150 374 4650 | 5000 164 75 | 0.000 % | c =============================================================================== c New solution: 70 c Elapsed CPU time: 0.018997 s Remaining CPU time: 179.981 s c =============================================================================== c | 169 | 150 375 4800 | 5000 169 75 | 0.000 % | c =============================================================================== c New solution: 69 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 172 | 150 376 4950 | 5000 172 74 | 0.000 % | c =============================================================================== c New solution: 68 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s c =============================================================================== c | 176 | 150 377 5100 | 5000 176 74 | 0.000 % | c =============================================================================== c New solution: 67 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s c =============================================================================== c | 204 | 150 378 5250 | 5000 204 73 | 0.000 % | c =============================================================================== c New solution: 66 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 206 | 150 379 5400 | 5000 206 73 | 0.000 % | c =============================================================================== c New solution: 65 c Elapsed CPU time: 0.023996 s Remaining CPU time: 179.976 s c =============================================================================== c | 207 | 150 380 5550 | 5000 207 73 | 0.000 % | c | 307 | 150 380 5550 | 5500 307 70 | 0.004 % | c =============================================================================== c New solution: 64 c Elapsed CPU time: 0.033994 s Remaining CPU time: 179.966 s c =============================================================================== c | 334 | 150 381 5700 | 5000 334 70 | 0.004 % | c =============================================================================== c New solution: 63 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s c =============================================================================== c | 382 | 150 382 5850 | 5000 382 69 | 0.004 % | c =============================================================================== c New solution: 62 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s c =============================================================================== c | 396 | 150 383 6000 | 5000 396 68 | 0.004 % | c =============================================================================== c New solution: 61 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s c =============================================================================== c | 403 | 150 384 6150 | 5000 403 68 | 0.004 % | c =============================================================================== c New solution: 60 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s c =============================================================================== c | 405 | 150 385 6300 | 5000 405 68 | 0.004 % | c =============================================================================== c New solution: 59 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s c =============================================================================== c | 419 | 150 386 6450 | 5000 419 68 | 0.004 % | c =============================================================================== c New solution: 58 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s c =============================================================================== c | 448 | 150 387 6600 | 5000 448 67 | 0.004 % | c | 550 | 150 387 6600 | 5500 550 65 | 0.004 % | c =============================================================================== c New solution: 57 c Elapsed CPU time: 0.05999 s Remaining CPU time: 179.94 s c =============================================================================== c | 637 | 150 388 6750 | 5000 637 64 | 0.004 % | c | 737 | 150 388 6750 | 5500 737 63 | 0.004 % | c =============================================================================== c New solution: 56 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s c =============================================================================== c | 762 | 150 389 6900 | 5000 762 63 | 0.004 % | c | 863 | 150 389 6900 | 5500 863 62 | 0.004 % | c =============================================================================== c New solution: 55 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s c =============================================================================== c | 957 | 150 390 7050 | 5000 957 61 | 0.004 % | c | 1058 | 150 390 7050 | 5500 1058 60 | 0.004 % | c | 1209 | 150 390 7050 | 6050 1209 60 | 0.004 % | c =============================================================================== c New solution: 54 c Elapsed CPU time: 0.115982 s Remaining CPU time: 179.884 s c =============================================================================== c | 1418 | 150 391 7200 | 5000 1418 59 | 0.004 % | c | 1519 | 150 391 7200 | 5500 1519 59 | 0.004 % | c | 1669 | 150 391 7200 | 6050 1669 58 | 0.004 % | c =============================================================================== c New solution: 53 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s c =============================================================================== c | 1843 | 150 392 7350 | 5000 1843 58 | 0.004 % | c | 1946 | 150 392 7350 | 5500 1946 57 | 0.004 % | c | 2098 | 150 392 7350 | 6050 2098 57 | 0.004 % | c =============================================================================== c New solution: 52 c Elapsed CPU time: 0.173973 s Remaining CPU time: 179.826 s c =============================================================================== c | 2164 | 150 393 7500 | 5000 2164 57 | 0.004 % | c | 2264 | 150 393 7500 | 5500 2264 56 | 0.004 % | c | 2415 | 150 393 7500 | 6050 2415 56 | 0.004 % | c | 2641 | 150 393 7500 | 6655 2641 56 | 0.004 % | c | 2978 | 150 393 7500 | 7320 2978 55 | 0.004 % | c | 3484 | 150 393 7500 | 8052 3484 55 | 0.004 % | c =============================================================================== c New solution: 51 c Elapsed CPU time: 0.320951 s Remaining CPU time: 179.679 s c =============================================================================== c | 3732 | 150 394 7650 | 5000 3732 54 | 0.004 % | c =============================================================================== c New solution: 50 c Elapsed CPU time: 0.32295 s Remaining CPU time: 179.677 s c =============================================================================== c | 3747 | 150 395 7800 | 5000 3747 54 | 0.004 % | c | 3847 | 150 395 7800 | 5500 3847 54 | 0.004 % | c | 3998 | 150 395 7800 | 6050 3998 54 | 0.004 % | c | 4223 | 150 395 7800 | 6655 4223 54 | 0.004 % | c | 4561 | 150 395 7800 | 7320 4561 53 | 0.004 % | c | 5068 | 150 395 7800 | 8052 5068 53 | 0.004 % | c | 5827 | 150 395 7800 | 8857 5827 52 | 0.004 % | c =============================================================================== c New solution: 49 c Elapsed CPU time: 0.556915 s Remaining CPU time: 179.443 s c =============================================================================== c | 6011 | 150 396 7950 | 5000 6011 52 | 0.004 % | c | 6112 | 150 396 7950 | 5500 3107 49 | 0.004 % | c | 6266 | 150 396 7950 | 6050 3261 49 | 0.004 % | c | 6492 | 150 396 7950 | 6655 3487 49 | 0.004 % | c | 6831 | 150 396 7950 | 7320 3826 49 | 0.004 % | c | 7337 | 150 396 7950 | 8052 4332 49 | 0.004 % | c | 8096 | 150 396 7950 | 8857 5091 49 | 0.004 % | c | 9235 | 150 396 7950 | 9743 6230 49 | 0.004 % | c | 10943 | 150 396 7950 | 10717 7938 49 | 0.004 % | c | 13505 | 150 396 7950 | 11789 10500 49 | 0.004 % | c | 17352 | 150 396 7950 | 12968 8420 48 | 0.004 % | c | 23118 | 150 396 7950 | 14265 7665 48 | 0.004 % | c | 31768 | 150 396 7950 | 15692 9143 48 | 0.004 % | c =============================================================================== c New solution: 48 c Elapsed CPU time: 5.16122 s Remaining CPU time: 174.839 s c =============================================================================== c | 39248 | 150 397 8100 | 5000 8739 48 | 0.004 % | c | 39349 | 150 397 8100 | 5500 4471 48 | 0.004 % | c | 39500 | 150 397 8100 | 6050 4622 48 | 0.004 % | c | 39725 | 150 397 8100 | 6655 4847 48 | 0.004 % | c | 40063 | 150 397 8100 | 7320 5185 48 | 0.004 % | c | 40571 | 150 397 8100 | 8052 5693 48 | 0.004 % | c | 41331 | 150 397 8100 | 8857 6453 48 | 0.004 % | c =============================================================================== c New solution: 47 c Elapsed CPU time: 5.52116 s Remaining CPU time: 174.479 s c =============================================================================== c | 41704 | 150 398 8250 | 5000 6826 48 | 0.004 % | c | 41804 | 150 398 8250 | 5500 3513 47 | 0.004 % | c | 41956 | 150 398 8250 | 6050 3665 47 | 0.004 % | c | 42184 | 150 398 8250 | 6655 3893 47 | 0.005 % | c | 42522 | 150 398 8250 | 7320 4231 47 | 0.005 % | c | 43030 | 150 398 8250 | 8052 4739 47 | 0.004 % | c | 43789 | 150 398 8250 | 8857 5498 47 | 0.004 % | c | 44929 | 150 398 8250 | 9743 6638 47 | 0.004 % | c | 46638 | 150 398 8250 | 10717 8347 47 | 0.004 % | c =============================================================================== c New solution: 46 c Elapsed CPU time: 6.32304 s Remaining CPU time: 173.677 s c =============================================================================== c | 48142 | 150 399 8400 | 5000 9851 47 | 0.004 % | c | 48243 | 150 399 8400 | 5500 5027 46 | 0.004 % | c | 48395 | 150 399 8400 | 6050 5179 46 | 0.004 % | c | 48620 | 150 399 8400 | 6655 5404 46 | 0.004 % | c | 48958 | 150 399 8400 | 7320 5742 46 | 0.004 % | c | 49464 | 150 399 8400 | 8052 6248 46 | 0.004 % | c | 50224 | 150 399 8400 | 8857 7008 46 | 0.004 % | c | 51365 | 150 399 8400 | 9743 8149 46 | 0.004 % | c | 53073 | 150 399 8400 | 10717 4952 45 | 0.004 % | c | 55636 | 150 399 8400 | 11789 7515 45 | 0.004 % | c | 59481 | 150 399 8400 | 12968 11360 45 | 0.004 % | c | 65247 | 150 399 8400 | 14265 10607 45 | 0.004 % | c | 73898 | 150 399 8400 | 15692 12095 45 | 0.004 % | c | 86872 | 150 399 8400 | 17261 9321 45 | 0.004 % | c | 106333 | 150 399 8400 | 18987 11454 45 | 0.004 % | c | 135527 | 150 399 8400 | 20886 12083 45 | 0.004 % | c | 179316 | 150 399 8400 | 22974 13968 45 | 0.004 % | c | 245001 | 150 399 8400 | 25272 17820 45 | 0.004 % | c | 343527 | 150 399 8400 | 27799 14508 45 | 0.004 % | c =============================================================================== c New solution: 45 c Elapsed CPU time: 80.3268 s Remaining CPU time: 99.6732 s c =============================================================================== c | 416688 | 150 400 8550 | 5000 19726 46 | 0.004 % | c | 416788 | 150 400 8550 | 5500 5032 46 | 0.004 % | c | 416938 | 150 400 8550 | 6050 5182 46 | 0.004 % | c | 417163 | 150 400 8550 | 6655 5407 45 | 0.004 % | c | 417500 | 150 400 8550 | 7320 5744 45 | 0.004 % | c | 418006 | 150 400 8550 | 8052 6250 45 | 0.004 % | c | 418767 | 150 400 8550 | 8857 7011 45 | 0.004 % | c | 419906 | 150 400 8550 | 9743 8150 45 | 0.004 % | c | 421614 | 150 400 8550 | 10717 4953 44 | 0.004 % | c | 424176 | 150 400 8550 | 11789 7515 44 | 0.004 % | c | 428021 | 150 400 8550 | 12968 11360 44 | 0.004 % | c | 433789 | 150 400 8550 | 14265 10614 44 | 0.004 % | c | 442439 | 150 400 8550 | 15692 12104 44 | 0.004 % | c | 455413 | 150 400 8550 | 17261 9329 44 | 0.004 % | c | 474874 | 150 400 8550 | 18987 11469 44 | 0.004 % | c | 504066 | 150 400 8550 | 20886 12078 44 | 0.004 % | c | 547857 | 150 400 8550 | 22974 13961 44 | 0.004 % | c | 613541 | 150 400 8550 | 25272 17670 44 | 0.004 % | c =============================================================================== c New solution: 44 c Elapsed CPU time: 113.299 s Remaining CPU time: 66.7012 s c =============================================================================== c | 623921 | 150 401 8700 | 5000 13460 44 | 0.004 % | c | 624023 | 150 401 8700 | 5500 3467 44 | 0.004 % | c | 624173 | 150 401 8700 | 6050 3617 44 | 0.004 % | c | 624398 | 150 401 8700 | 6655 3842 44 | 0.004 % | c | 624735 | 150 401 8700 | 7320 4179 44 | 0.004 % | c | 625242 | 150 401 8700 | 8052 4686 44 | 0.004 % | c | 626001 | 150 401 8700 | 8857 5445 44 | 0.004 % | c | 627140 | 150 401 8700 | 9743 6584 44 | 0.004 % | c | 628848 | 150 401 8700 | 10717 8292 43 | 0.004 % | c | 631410 | 150 401 8700 | 11789 5465 43 | 0.004 % | c | 635257 | 150 401 8700 | 12968 9312 43 | 0.004 % | c | 641026 | 150 401 8700 | 14265 8568 43 | 0.004 % | c | 649675 | 150 401 8700 | 15692 10058 43 | 0.004 % | c | 662650 | 150 401 8700 | 17261 15153 43 | 0.004 % | c =============================================================================== c New solution: 43 c Elapsed CPU time: 119.89 s Remaining CPU time: 60.1102 s c =============================================================================== c | 672739 | 150 402 8850 | 5000 16580 44 | 0.004 % | c | 672839 | 150 402 8850 | 5500 4245 44 | 0.004 % | c | 672989 | 150 402 8850 | 6050 4395 43 | 0.004 % | c | 673215 | 150 402 8850 | 6655 4621 43 | 0.004 % | c | 673552 | 150 402 8850 | 7320 4958 43 | 0.004 % | c | 674060 | 150 402 8850 | 8052 5466 43 | 0.004 % | c | 674820 | 150 402 8850 | 8857 6226 43 | 0.004 % | c | 675959 | 150 402 8850 | 9743 7365 43 | 0.004 % | c | 677668 | 150 402 8850 | 10717 9074 43 | 0.004 % | c | 680235 | 150 402 8850 | 11789 6253 41 | 0.004 % | c | 684080 | 150 402 8850 | 12968 10098 41 | 0.004 % | c | 689846 | 150 402 8850 | 14265 9349 42 | 0.004 % | c | 698496 | 150 402 8850 | 15692 10841 42 | 0.004 % | c | 711470 | 150 402 8850 | 17261 8061 42 | 0.004 % | c | 730931 | 150 402 8850 | 18987 10192 42 | 0.004 % | c =============================================================================== c New solution: 42 c Elapsed CPU time: 130.866 s Remaining CPU time: 49.1339 s c =============================================================================== c | 742913 | 150 403 9000 | 5000 12653 42 | 0.004 % | c | 743014 | 150 403 9000 | 5500 3265 42 | 0.004 % | c | 743165 | 150 403 9000 | 6050 3416 42 | 0.004 % | c | 743391 | 150 403 9000 | 6655 3642 42 | 0.004 % | c | 743728 | 150 403 9000 | 7320 3979 42 | 0.004 % | c | 744234 | 150 403 9000 | 8052 4485 42 | 0.005 % | c | 744994 | 150 403 9000 | 8857 5245 42 | 0.004 % | c | 746133 | 150 403 9000 | 9743 6384 42 | 0.004 % | c | 747842 | 150 403 9000 | 10717 8093 41 | 0.004 % | c | 750404 | 150 403 9000 | 11789 10655 41 | 0.004 % | c | 754248 | 150 403 9000 | 12968 8576 41 | 0.004 % | c | 760015 | 150 403 9000 | 14265 7830 41 | 0.004 % | c | 768665 | 150 403 9000 | 15692 9314 41 | 0.004 % | c | 781639 | 150 403 9000 | 17261 14415 41 | 0.004 % | c | 801102 | 150 403 9000 | 18987 16557 41 | 0.004 % | c | 830294 | 150 403 9000 | 20886 17184 41 | 0.004 % | c | 874083 | 150 403 9000 | 22974 19099 41 | 0.004 % | c | 939768 | 150 403 9000 | 25272 22882 41 | 0.004 % | c There are 0 assigned variables. 0 in cost function. c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 168 580 6573 | 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 | 209 581 8374 | 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 | 257 582 9176 | 5000 0 nan | 0.000 % | c | 103 | 250 582 9176 | 5500 103 14 | 19.667 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 377 583 9592 | 5000 0 nan | 0.000 % | c | 104 | 377 583 9592 | 5500 104 20 | 4.558 % | c | 263 | 376 583 9592 | 6050 97 9 | 5.108 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 501 585 9908 | 5000 0 nan | 0.000 % | c | 101 | 501 585 9908 | 5500 101 47 | 2.149 % | c | 251 | 501 585 9908 | 6050 251 26 | 2.149 % | c | 477 | 501 585 9908 | 6655 477 22 | 2.149 % | c | 814 | 501 585 9908 | 7320 814 23 | 2.149 % | c | 1324 | 501 585 9908 | 8052 1324 23 | 2.150 % | c | 2083 | 501 585 9908 | 8857 2083 22 | 2.149 % | c | 3222 | 501 585 9908 | 9743 3222 25 | 2.149 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 644 589 10221 | 5000 0 nan | 0.000 % | c | 101 | 644 589 10221 | 5500 101 51 | 1.227 % | c | 251 | 644 589 10221 | 6050 251 36 | 1.227 % | c | 477 | 644 589 10221 | 6655 477 30 | 1.227 % | c | 818 | 644 589 10221 | 7320 818 31 | 1.227 % | c =============================================================================== c Total CPU time: 181.842 s