c wbo 1.6 beta - 20110325 c | Number of variables: 200 | c | Number of clauses: 6170 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 200 | c | Number Clauses: 5970 | 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 | 200 5970 11940 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 412 6272 12564 | 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 6273 12572 | 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 | 422 6274 12584 | 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 | 428 6275 12596 | 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 | 436 6276 12612 | 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 6277 12624 | 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 | 448 6278 12636 | 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 6279 12648 | 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 | 460 6280 12660 | 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 6281 12672 | 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 | 472 6282 12684 | 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 | 478 6283 12696 | 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 6284 12712 | 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 | 492 6285 12724 | 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 6286 12736 | 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 | 504 6287 12748 | 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 6288 12760 | 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 | 516 6289 12772 | 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 6290 12784 | 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 | 530 6291 12800 | 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 6292 12812 | 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 | 542 6293 12824 | 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 6294 12836 | 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 | 556 6295 12852 | 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 6296 12864 | 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 | 568 6297 12876 | 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 | 574 6298 12888 | 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 | 582 6299 12904 | 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 | 588 6300 12916 | 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 | 597 6301 12934 | 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 | 610 6302 12960 | 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 | 628 6303 12996 | 5000 0 -nan | 0.000 % | c | 100 | 628 6303 12996 | 5500 100 11 | 0.016 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 655 6304 13050 | 5000 0 -nan | 0.000 % | c | 100 | 655 6304 13050 | 5500 100 19 | 0.014 % | c | 251 | 654 6304 13050 | 6050 251 17 | 0.153 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 678 6305 13096 | 5000 0 -nan | 0.000 % | c | 102 | 678 6305 13096 | 5500 102 30 | 0.013 % | c | 255 | 678 6305 13096 | 6050 255 33 | 0.009 % | c | 480 | 677 6305 13096 | 6655 480 31 | 0.169 % | c | 817 | 665 6305 13096 | 7320 817 28 | 2.221 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 725 6306 13190 | 5000 0 -nan | 0.000 % | c | 100 | 706 6306 13190 | 5500 100 13 | 7.455 % | c | 251 | 699 6306 13190 | 6050 251 25 | 8.276 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 749 6307 13238 | 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 | 763 6308 13266 | 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 | 786 6309 13312 | 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 | 800 6310 13340 | 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 | 818 6311 13376 | 5000 0 -nan | 0.000 % | c | 100 | 817 6311 13376 | 5500 100 8 | 0.135 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 851 6312 13442 | 5000 0 -nan | 0.000 % | c | 100 | 851 6312 13442 | 5500 100 10 | 0.009 % | c | 252 | 850 6312 13442 | 6050 252 12 | 0.124 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 894 6313 13528 | 5000 0 -nan | 0.000 % | c | 103 | 893 6313 13528 | 5500 103 8 | 0.112 % | c | 254 | 891 6313 13528 | 6050 254 11 | 0.342 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 937 6314 13614 | 5000 0 -nan | 0.000 % | c | 100 | 936 6314 13614 | 5500 100 13 | 0.107 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 971 6315 13682 | 5000 0 -nan | 0.000 % | c | 102 | 971 6315 13682 | 5500 102 10 | 0.006 % | c | 252 | 970 6315 13682 | 6050 252 12 | 0.113 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1009 6316 13758 | 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 | 1029 6317 13798 | 5000 0 -nan | 0.000 % | c | 101 | 1029 6317 13798 | 5500 101 13 | 0.006 % | c | 251 | 1029 6317 13798 | 6050 251 14 | 0.000 % | c | 476 | 1028 6317 13798 | 6655 476 13 | 0.102 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1069 6318 13878 | 5000 0 -nan | 0.000 % | c | 101 | 1069 6318 13878 | 5500 101 11 | 0.005 % | c | 251 | 1069 6318 13878 | 6050 251 17 | 0.004 % | c | 477 | 1069 6318 13878 | 6655 477 18 | 0.008 % | c | 815 | 1069 6318 13878 | 7320 815 19 | 0.000 % | c | 1321 | 1069 6318 13878 | 8052 1321 20 | 0.004 % | c | 2084 | 1065 6318 13878 | 8857 2084 24 | 0.374 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1129 6319 13998 | 5000 0 -nan | 0.000 % | c | 101 | 1129 6319 13998 | 5500 101 19 | 0.005 % | c | 251 | 1129 6319 13998 | 6050 251 25 | 0.004 % | c | 476 | 1129 6319 13998 | 6655 476 21 | 0.007 % | c | 815 | 1129 6319 13998 | 7320 815 29 | 0.000 % | c | 1324 | 1129 6319 13998 | 8052 1324 26 | 0.000 % | c | 2086 | 1129 6319 13998 | 8857 2086 27 | 0.007 % | c | 3225 | 1129 6319 13998 | 9743 3225 28 | 0.000 % | c | 4935 | 1127 6319 13998 | 10717 4935 30 | 0.181 % | c | 7497 | 1125 6319 13998 | 11789 7497 31 | 0.358 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1200 6320 14140 | 5000 0 -nan | 0.000 % | c | 101 | 1200 6320 14140 | 5500 101 29 | 0.004 % | c | 252 | 1200 6320 14140 | 6050 252 26 | 0.000 % | c | 477 | 1200 6320 14140 | 6655 477 26 | 0.007 % | c | 815 | 1200 6320 14140 | 7320 815 29 | 0.000 % | c | 1321 | 1200 6320 14140 | 8052 1321 30 | 0.000 % | c | 2081 | 1200 6320 14140 | 8857 2081 33 | 0.004 % | c | 3222 | 1200 6320 14140 | 9743 3222 33 | 0.000 % | c | 4931 | 1200 6320 14140 | 10717 4931 34 | 0.000 % | c | 7493 | 1199 6320 14140 | 11789 7493 36 | 0.083 % | c | 11338 | 1194 6320 14140 | 12968 11338 37 | 0.500 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1265 6321 14270 | 5000 0 -nan | 0.000 % | c | 101 | 1265 6321 14270 | 5500 101 16 | 0.004 % | c | 253 | 1265 6321 14270 | 6050 253 18 | 0.003 % | c | 479 | 1265 6321 14270 | 6655 479 32 | 0.000 % | c | 817 | 1265 6321 14270 | 7320 817 34 | 0.000 % | c | 1323 | 1265 6321 14270 | 8052 1323 38 | 0.003 % | c | 2083 | 1265 6321 14270 | 8857 2083 44 | 0.000 % | c | 3224 | 1265 6321 14270 | 9743 3224 41 | 0.000 % | c | 4936 | 1265 6321 14270 | 10717 4936 46 | 0.003 % | c | 7502 | 1265 6321 14270 | 11789 7502 51 | 0.000 % | c | 11346 | 1265 6321 14270 | 12968 11346 52 | 0.000 % | c | 17113 | 1265 6321 14270 | 14265 10530 58 | 0.000 % | c | 25764 | 1265 6321 14270 | 15692 11897 70 | 0.003 % | c | 38741 | 1265 6321 14270 | 17261 8963 68 | 0.003 % | c | 58203 | 1265 6321 14270 | 18987 10985 57 | 0.000 % | c | 87395 | 1265 6321 14270 | 20886 11418 70 | 0.003 % | c | 131186 | 1265 6321 14270 | 22974 12995 73 | 0.000 % | c | 196870 | 1262 6321 14270 | 25272 20807 59 | 0.237 % | c | 295397 | 1256 6321 14270 | 27799 17491 53 | 0.714 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1385 6322 14510 | 5000 0 -nan | 0.000 % | c | 100 | 1385 6322 14510 | 5500 100 19 | 0.003 % | c | 253 | 1385 6322 14510 | 6050 253 25 | 0.003 % | c | 478 | 1385 6322 14510 | 6655 478 27 | 0.000 % | c | 815 | 1385 6322 14510 | 7320 815 35 | 0.003 % | c | 1326 | 1385 6322 14510 | 8052 1326 37 | 0.000 % | c | 2086 | 1385 6322 14510 | 8857 2086 39 | 0.000 % | c | 3226 | 1385 6322 14510 | 9743 3226 49 | 0.005 % | c | 4934 | 1385 6322 14510 | 10717 4934 54 | 0.000 % | c | 7497 | 1385 6322 14510 | 11789 7497 56 | 0.000 % | c | 11343 | 1385 6322 14510 | 12968 11343 63 | 0.003 % | c | 17110 | 1385 6322 14510 | 14265 10483 77 | 0.003 % | c | 25761 | 1385 6322 14510 | 15692 11803 85 | 0.000 % | c | 38735 | 1385 6322 14510 | 17261 8823 92 | 0.000 % | c | 58196 | 1385 6322 14510 | 18987 10790 86 | 0.004 % | c | 87388 | 1385 6322 14510 | 20886 11090 66 | 0.000 % | c | 131177 | 1385 6322 14510 | 22974 12601 78 | 0.000 % | c | 196864 | 1385 6322 14510 | 25272 20252 106 | 0.002 % | c | 295390 | 1385 6322 14510 | 27799 15073 92 | 0.000 % | c | 443181 | 1384 6322 14510 | 30579 14967 92 | 0.075 % | c | 664864 | 1384 6322 14510 | 33637 25733 104 | 0.075 % | c | 997390 | 1384 6322 14510 | 37001 21920 65 | 0.072 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1532 6323 14804 | 5000 0 -nan | 0.000 % | c | 101 | 1532 6323 14804 | 5500 101 39 | 0.003 % | c | 251 | 1532 6323 14804 | 6050 251 33 | 0.002 % | c | 477 | 1532 6323 14804 | 6655 477 47 | 0.000 % | c | 815 | 1532 6323 14804 | 7320 815 45 | 0.000 % | c | 1325 | 1532 6323 14804 | 8052 1325 57 | 0.000 % | c | 2084 | 1532 6323 14804 | 8857 2084 60 | 0.000 % | c | 3225 | 1532 6323 14804 | 9743 3225 68 | 0.000 % | c | 4935 | 1532 6323 14804 | 10717 4935 79 | 0.000 % | c | 7501 | 1532 6323 14804 | 11789 7501 83 | 0.000 % | c | 11347 | 1532 6323 14804 | 12968 11347 80 | 0.000 % | c | 17114 | 1532 6323 14804 | 14265 10309 84 | 0.000 % | c | 25763 | 1532 6323 14804 | 15692 11618 100 | 0.000 % | c | 38737 | 1532 6323 14804 | 17261 8494 131 | 0.000 % | c | 58200 | 1532 6323 14804 | 18987 10274 125 | 0.000 % | c | 87396 | 1532 6323 14804 | 20886 10508 94 | 0.002 % | c | 131186 | 1532 6323 14804 | 22974 11791 106 | 0.000 % | c | 196870 | 1532 6323 14804 | 25272 18804 99 | 0.004 % | c | 295396 | 1532 6323 14804 | 27799 12609 112 | 0.000 % | c | 443185 | 1532 6323 14804 | 30579 22541 115 | 0.000 % | c | 664870 | 1532 6323 14804 | 33637 22491 86 | 0.000 % | c | 997395 | 1531 6323 14804 | 37001 29076 122 | 0.068 % | c | 1496184 | 1531 6323 14804 | 40701 36955 118 | 0.065 % | c CPU time : 1800 s c Total CPU time: 1800 s