c wbo 1.4 beta - 20100610 c | Number of variables: 533 | c | Number of clauses: 648 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 533 | c | Number Clauses: 321 | 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 | 505 321 1274 | 5000 0 nan | 0.000 % | c =============================================================================== c New solution: 139 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s c =============================================================================== c | 0 | 505 322 1601 | 5000 0 nan | 0.000 % | c | 100 | 505 322 1601 | 5500 100 140 | 5.254 % | c =============================================================================== c New solution: 134 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s c =============================================================================== c | 100 | 505 323 1928 | 5000 100 140 | 5.254 % | c | 200 | 505 323 1928 | 5500 200 139 | 5.254 % | c | 351 | 505 323 1928 | 6050 351 140 | 5.255 % | c =============================================================================== c New solution: 133 c Elapsed CPU time: 0.029995 s Remaining CPU time: 179.97 s c =============================================================================== c | 351 | 505 324 2255 | 5000 351 140 | 5.255 % | c | 451 | 505 324 2255 | 5500 451 139 | 5.254 % | c | 602 | 505 324 2255 | 6050 602 139 | 5.254 % | c =============================================================================== c New solution: 132 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s c =============================================================================== c | 604 | 505 325 2582 | 5000 604 139 | 5.254 % | c | 704 | 505 325 2582 | 5500 704 138 | 5.254 % | c | 854 | 505 325 2582 | 6050 854 138 | 5.254 % | c =============================================================================== c New solution: 131 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s c =============================================================================== c | 858 | 505 326 2909 | 5000 858 138 | 5.254 % | c | 958 | 505 326 2909 | 5500 958 138 | 5.254 % | c | 1108 | 505 326 2909 | 6050 1108 138 | 5.254 % | c =============================================================================== c New solution: 130 c Elapsed CPU time: 0.089986 s Remaining CPU time: 179.91 s c =============================================================================== c | 1156 | 505 327 3236 | 5000 1156 138 | 5.254 % | c | 1256 | 505 327 3236 | 5500 1256 138 | 5.254 % | c | 1407 | 505 327 3236 | 6050 1407 138 | 5.254 % | c | 1633 | 505 327 3236 | 6655 1633 137 | 5.254 % | c | 1970 | 505 327 3236 | 7320 1970 136 | 5.254 % | c | 2476 | 505 327 3236 | 8052 2476 136 | 5.254 % | c | 3237 | 505 327 3236 | 8857 3237 135 | 5.254 % | c | 4376 | 505 327 3236 | 9743 4376 134 | 5.254 % | c | 6084 | 505 327 3236 | 10717 6084 134 | 5.254 % | c | 8647 | 505 327 3236 | 11789 8647 134 | 5.254 % | c =============================================================================== c New solution: 129 c Elapsed CPU time: 0.876866 s Remaining CPU time: 179.123 s c =============================================================================== c | 8993 | 505 328 3563 | 5000 8993 134 | 5.254 % | c | 9093 | 505 328 3563 | 5500 4597 134 | 5.254 % | c | 9243 | 505 328 3563 | 6050 4747 134 | 5.254 % | c | 9469 | 505 328 3563 | 6655 4973 134 | 5.254 % | c | 9807 | 505 328 3563 | 7320 5311 134 | 5.254 % | c | 10314 | 505 328 3563 | 8052 5818 134 | 5.254 % | c | 11073 | 505 328 3563 | 8857 6577 134 | 5.254 % | c | 12213 | 505 328 3563 | 9743 7717 134 | 5.254 % | c | 13921 | 505 328 3563 | 10717 9425 134 | 5.254 % | c | 16483 | 505 328 3563 | 11789 6492 133 | 5.254 % | c | 20328 | 505 328 3563 | 12968 10337 133 | 5.254 % | c | 26094 | 505 328 3563 | 14265 9486 132 | 5.254 % | c =============================================================================== c New solution: 128 c Elapsed CPU time: 3.04654 s Remaining CPU time: 176.953 s c =============================================================================== c | 27231 | 505 329 3890 | 5000 10623 132 | 5.254 % | c | 27332 | 505 329 3890 | 5500 2757 132 | 5.254 % | c | 27482 | 505 329 3890 | 6050 2907 132 | 5.254 % | c | 27707 | 505 329 3890 | 6655 3132 132 | 5.254 % | c | 28045 | 505 329 3890 | 7320 3470 132 | 5.254 % | c | 28551 | 505 329 3890 | 8052 3976 132 | 5.254 % | c | 29310 | 505 329 3890 | 8857 4735 132 | 5.254 % | c | 30451 | 505 329 3890 | 9743 5876 132 | 5.254 % | c =============================================================================== c New solution: 127 c Elapsed CPU time: 3.42748 s Remaining CPU time: 176.573 s c =============================================================================== c | 30517 | 505 330 4217 | 5000 5942 132 | 5.254 % | c | 30618 | 505 330 4217 | 5500 3072 132 | 5.254 % | c | 30768 | 505 330 4217 | 6050 3222 132 | 5.254 % | c | 30994 | 505 330 4217 | 6655 3448 132 | 5.254 % | c | 31332 | 505 330 4217 | 7320 3786 132 | 5.254 % | c | 31838 | 505 330 4217 | 8052 4292 131 | 5.254 % | c | 32597 | 505 330 4217 | 8857 5051 131 | 5.254 % | c | 33736 | 505 330 4217 | 9743 6190 131 | 5.254 % | c | 35444 | 505 330 4217 | 10717 7898 132 | 5.254 % | c | 38006 | 505 330 4217 | 11789 10460 131 | 5.254 % | c | 41850 | 505 330 4217 | 12968 8267 132 | 5.254 % | c | 47617 | 505 330 4217 | 14265 7416 131 | 5.254 % | c | 56266 | 505 330 4217 | 15692 8793 132 | 5.254 % | c | 69240 | 505 330 4217 | 17261 13789 129 | 5.254 % | c | 88701 | 505 330 4217 | 18987 15704 132 | 5.254 % | c | 117894 | 505 330 4217 | 20886 16022 130 | 5.254 % | c | 161685 | 505 330 4217 | 22974 17475 133 | 5.254 % | c | 227369 | 505 330 4217 | 25272 21005 128 | 5.254 % | c | 325895 | 505 330 4217 | 27799 18968 132 | 5.254 % | c | 473685 | 505 330 4217 | 30579 13336 130 | 5.254 % |