Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
MD5SUM | 65bafde3eb06761afc4fe90b6aa8c264 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -30 |
Best CPU time to get the best result obtained on this benchmark | 481.663 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | YES |
Number of variables | 450 |
Total number of constraints | 17827 |
Number of constraints which are clauses | 17827 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 450 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460821-1307094814.opb. 0.00/0.00 c Instance file HOME/instance-3460821-1307094814.opb 0.00/0.00 c File size is 422137 bytes. 0.00/0.02 c Highest Coefficient sum: 3 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 450 | 0.00/0.02 c | Number Clauses: 17827 | 0.00/0.02 c | Number Cardinality: 0 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 450 17827 35654 | 5942 0 -nan | 0.000 % | 0.09/0.18 c core #1 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -449 0.09/0.18 c Current CPU time: 0.030995 s 0.09/0.18 c 0.09/0.18 c core #2 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -448 0.09/0.18 c Current CPU time: 0.034994 s 0.09/0.18 c 0.09/0.18 c core #3 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -447 0.09/0.18 c Current CPU time: 0.037994 s 0.09/0.18 c 0.09/0.18 c core #4 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -446 0.09/0.18 c Current CPU time: 0.041993 s 0.09/0.18 c 0.09/0.18 c core #5 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -445 0.09/0.18 c Current CPU time: 0.044993 s 0.09/0.18 c 0.09/0.18 c core #6 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -444 0.09/0.18 c Current CPU time: 0.048992 s 0.09/0.18 c 0.09/0.18 c core #7 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -443 0.09/0.18 c Current CPU time: 0.052991 s 0.09/0.18 c 0.09/0.18 c core #8 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -442 0.09/0.18 c Current CPU time: 0.055991 s 0.09/0.18 c 0.09/0.18 c core #9 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -441 0.09/0.18 c Current CPU time: 0.05999 s 0.09/0.18 c 0.09/0.18 c core #10 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -440 0.09/0.18 c Current CPU time: 0.06299 s 0.09/0.18 c 0.09/0.18 c core #11 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -439 0.09/0.18 c Current CPU time: 0.066989 s 0.09/0.18 c 0.09/0.18 c core #12 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -438 0.09/0.18 c Current CPU time: 0.069989 s 0.09/0.18 c 0.09/0.18 c core #13 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -437 0.09/0.18 c Current CPU time: 0.073988 s 0.09/0.18 c 0.09/0.18 c core #14 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -436 0.09/0.18 c Current CPU time: 0.077988 s 0.09/0.18 c 0.09/0.18 c core #15 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -435 0.09/0.18 c Current CPU time: 0.080987 s 0.09/0.18 c 0.09/0.18 c core #16 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -434 0.09/0.18 c Current CPU time: 0.084987 s 0.09/0.18 c 0.09/0.18 c core #17 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -433 0.09/0.18 c Current CPU time: 0.087986 s 0.09/0.18 c 0.09/0.18 c core #18 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -432 0.09/0.18 c Current CPU time: 0.091986 s 0.09/0.18 c 0.09/0.18 c core #19 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -431 0.09/0.18 c Current CPU time: 0.095985 s 0.09/0.18 c 0.09/0.18 c core #20 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -430 0.09/0.18 c Current CPU time: 0.098984 s 0.09/0.18 c 0.09/0.18 c core #21 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -429 0.09/0.18 c Current CPU time: 0.102984 s 0.09/0.18 c 0.09/0.18 c core #22 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -428 0.09/0.18 c Current CPU time: 0.106983 s 0.09/0.18 c 0.09/0.18 c core #23 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -427 0.09/0.18 c Current CPU time: 0.109983 s 0.09/0.18 c 0.09/0.18 c core #24 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -426 0.09/0.18 c Current CPU time: 0.113982 s 0.09/0.18 c 0.09/0.18 c core #25 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -425 0.09/0.18 c Current CPU time: 0.117982 s 0.09/0.18 c 0.09/0.18 c core #26 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -424 0.09/0.18 c Current CPU time: 0.120981 s 0.09/0.18 c 0.09/0.18 c core #27 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -423 0.09/0.18 c Current CPU time: 0.124981 s 0.09/0.18 c 0.09/0.18 c core #28 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -422 0.09/0.18 c Current CPU time: 0.12798 s 0.09/0.18 c 0.09/0.18 c core #29 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -421 0.09/0.18 c Current CPU time: 0.131979 s 0.09/0.18 c 0.09/0.18 c core #30 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -420 0.09/0.18 c Current CPU time: 0.135979 s 0.09/0.18 c 0.09/0.18 c core #31 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -419 0.09/0.18 c Current CPU time: 0.139978 s 0.09/0.18 c 0.09/0.18 c core #32 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -418 0.09/0.18 c Current CPU time: 0.142978 s 0.09/0.18 c 0.09/0.18 c core #33 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -417 0.09/0.18 c Current CPU time: 0.146977 s 0.09/0.18 c 0.09/0.18 c core #34 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -416 0.09/0.18 c Current CPU time: 0.150977 s 0.09/0.18 c 0.09/0.18 c core #35 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -415 0.09/0.18 c Current CPU time: 0.153976 s 0.09/0.18 c 0.09/0.18 c core #36 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -414 0.09/0.18 c Current CPU time: 0.157975 s 0.09/0.18 c 0.09/0.18 c core #37 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -413 0.09/0.18 c Current CPU time: 0.161975 s 0.09/0.18 c 0.09/0.18 c core #38 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -412 0.09/0.18 c Current CPU time: 0.164974 s 0.09/0.18 c 0.09/0.18 c core #39 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -411 0.09/0.18 c Current CPU time: 0.168974 s 0.09/0.18 c 0.09/0.18 c core #40 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -410 0.09/0.18 c Current CPU time: 0.172973 s 0.09/0.18 c 0.09/0.18 c core #41 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -409 0.09/0.18 c Current CPU time: 0.176973 s 0.09/0.18 c 0.09/0.18 c core #42 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: -408 0.29/0.34 c Current CPU time: 0.179972 s 0.29/0.34 c 0.29/0.34 c core #43 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -407 0.29/0.34 c Current CPU time: 0.183972 s 0.29/0.34 c 0.29/0.34 c core #44 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -406 0.29/0.34 c Current CPU time: 0.187971 s 0.29/0.34 c 0.29/0.34 c core #45 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -405 0.29/0.34 c Current CPU time: 0.19197 s 0.29/0.34 c 0.29/0.34 c core #46 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -404 0.29/0.34 c Current CPU time: 0.19597 s 0.29/0.34 c 0.29/0.34 c core #47 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -403 0.29/0.34 c Current CPU time: 0.198969 s 0.29/0.34 c 0.29/0.34 c core #48 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -402 0.29/0.34 c Current CPU time: 0.202969 s 0.29/0.34 c 0.29/0.34 c core #49 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -401 0.29/0.34 c Current CPU time: 0.206968 s 0.29/0.34 c 0.29/0.34 c core #50 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -400 0.29/0.34 c Current CPU time: 0.210967 s 0.29/0.34 c 0.29/0.34 c core #51 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -399 0.29/0.34 c Current CPU time: 0.214967 s 0.29/0.34 c 0.29/0.34 c core #52 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -398 0.29/0.34 c Current CPU time: 0.217966 s 0.29/0.34 c 0.29/0.34 c core #53 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -397 0.29/0.34 c Current CPU time: 0.221966 s 0.29/0.34 c 0.29/0.34 c core #54 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -396 0.29/0.34 c Current CPU time: 0.225965 s 0.29/0.34 c 0.29/0.34 c core #55 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -395 0.29/0.34 c Current CPU time: 0.229965 s 0.29/0.34 c 0.29/0.34 c core #56 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -394 0.29/0.34 c Current CPU time: 0.233964 s 0.29/0.34 c 0.29/0.34 c core #57 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -393 0.29/0.34 c Current CPU time: 0.237963 s 0.29/0.34 c 0.29/0.34 c core #58 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -392 0.29/0.34 c Current CPU time: 0.241963 s 0.29/0.34 c 0.29/0.34 c core #59 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -391 0.29/0.34 c Current CPU time: 0.244962 s 0.29/0.34 c 0.29/0.34 c core #60 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -390 0.29/0.34 c Current CPU time: 0.248962 s 0.29/0.34 c 0.29/0.34 c core #61 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -389 0.29/0.34 c Current CPU time: 0.252961 s 0.29/0.34 c 0.29/0.34 c core #62 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -388 0.29/0.34 c Current CPU time: 0.25696 s 0.29/0.34 c 0.29/0.34 c core #63 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -387 0.29/0.34 c Current CPU time: 0.26096 s 0.29/0.34 c 0.29/0.34 c core #64 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -386 0.29/0.34 c Current CPU time: 0.264959 s 0.29/0.34 c 0.29/0.34 c core #65 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -385 0.29/0.34 c Current CPU time: 0.268959 s 0.29/0.34 c 0.29/0.34 c core #66 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -384 0.29/0.34 c Current CPU time: 0.272958 s 0.29/0.34 c 0.29/0.34 c core #67 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -383 0.29/0.34 c Current CPU time: 0.276957 s 0.29/0.34 c 0.29/0.34 c core #68 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -382 0.29/0.34 c Current CPU time: 0.280957 s 0.29/0.34 c 0.29/0.34 c core #69 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -381 0.29/0.34 c Current CPU time: 0.284956 s 0.29/0.34 c 0.29/0.34 c core #70 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -380 0.29/0.34 c Current CPU time: 0.288956 s 0.29/0.34 c 0.29/0.34 c core #71 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -379 0.29/0.34 c Current CPU time: 0.292955 s 0.29/0.34 c 0.29/0.34 c core #72 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -378 0.29/0.34 c Current CPU time: 0.296954 s 0.29/0.34 c 0.29/0.34 c core #73 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -377 0.29/0.34 c Current CPU time: 0.300954 s 0.29/0.34 c 0.29/0.34 c core #74 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -376 0.29/0.34 c Current CPU time: 0.304953 s 0.29/0.34 c 0.29/0.34 c core #75 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -375 0.29/0.34 c Current CPU time: 0.308953 s 0.29/0.34 c 0.29/0.34 c core #76 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -374 0.29/0.34 c Current CPU time: 0.312952 s 0.29/0.34 c 0.29/0.34 c core #77 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -373 0.29/0.34 c Current CPU time: 0.316951 s 0.29/0.34 c 0.29/0.34 c core #78 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -372 0.29/0.34 c Current CPU time: 0.320951 s 0.29/0.34 c 0.29/0.34 c core #79 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -371 0.29/0.34 c Current CPU time: 0.32495 s 0.29/0.34 c 0.29/0.34 c core #80 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -370 0.29/0.34 c Current CPU time: 0.328949 s 0.29/0.34 c 0.29/0.34 c core #81 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -369 0.29/0.34 c Current CPU time: 0.332949 s 0.29/0.34 c 0.29/0.34 c core #82 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -368 0.29/0.34 c Current CPU time: 0.336948 s 0.29/0.34 c 0.29/0.34 c core #83 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -367 0.29/0.34 c Current CPU time: 0.340948 s 0.49/0.52 c 0.49/0.52 c core #84 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -366 0.49/0.52 c Current CPU time: 0.344947 s 0.49/0.52 c 0.49/0.52 c core #85 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -365 0.49/0.52 c Current CPU time: 0.348946 s 0.49/0.52 c 0.49/0.52 c core #86 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -364 0.49/0.52 c Current CPU time: 0.352946 s 0.49/0.52 c 0.49/0.52 c core #87 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -363 0.49/0.52 c Current CPU time: 0.356945 s 0.49/0.52 c 0.49/0.52 c core #88 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -362 0.49/0.52 c Current CPU time: 0.360945 s 0.49/0.52 c 0.49/0.52 c core #89 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -361 0.49/0.52 c Current CPU time: 0.365944 s 0.49/0.52 c 0.49/0.52 c core #90 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -360 0.49/0.52 c Current CPU time: 0.369943 s 0.49/0.52 c 0.49/0.52 c core #91 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -359 0.49/0.52 c Current CPU time: 0.373943 s 0.49/0.52 c 0.49/0.52 c core #92 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -358 0.49/0.52 c Current CPU time: 0.377942 s 0.49/0.52 c 0.49/0.52 c core #93 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -357 0.49/0.52 c Current CPU time: 0.381941 s 0.49/0.52 c 0.49/0.52 c core #94 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -356 0.49/0.52 c Current CPU time: 0.385941 s 0.49/0.52 c 0.49/0.52 c core #95 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -355 0.49/0.52 c Current CPU time: 0.39094 s 0.49/0.52 c 0.49/0.52 c core #96 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -354 0.49/0.52 c Current CPU time: 0.394939 s 0.49/0.52 c 0.49/0.52 c core #97 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -353 0.49/0.52 c Current CPU time: 0.398939 s 0.49/0.52 c 0.49/0.52 c core #98 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -352 0.49/0.52 c Current CPU time: 0.402938 s 0.49/0.52 c 0.49/0.52 c core #99 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -351 0.49/0.52 c Current CPU time: 0.406938 s 0.49/0.52 c 0.49/0.52 c core #100 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -350 0.49/0.52 c Current CPU time: 0.411937 s 0.49/0.52 c 0.49/0.52 c core #101 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -349 0.49/0.52 c Current CPU time: 0.415936 s 0.49/0.52 c 0.49/0.52 c core #102 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -348 0.49/0.52 c Current CPU time: 0.419936 s 0.49/0.52 c 0.49/0.52 c core #103 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -347 0.49/0.52 c Current CPU time: 0.423935 s 0.49/0.52 c 0.49/0.52 c core #104 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -346 0.49/0.52 c Current CPU time: 0.428934 s 0.49/0.52 c 0.49/0.52 c core #105 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -345 0.49/0.52 c Current CPU time: 0.432934 s 0.49/0.52 c 0.49/0.52 c core #106 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -344 0.49/0.52 c Current CPU time: 0.436933 s 0.49/0.52 c 0.49/0.52 c core #107 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -343 0.49/0.52 c Current CPU time: 0.441932 s 0.49/0.52 c 0.49/0.52 c core #108 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -342 0.49/0.52 c Current CPU time: 0.445932 s 0.49/0.52 c 0.49/0.52 c core #109 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -341 0.49/0.52 c Current CPU time: 0.449931 s 0.49/0.52 c 0.49/0.52 c core #110 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -340 0.49/0.52 c Current CPU time: 0.45493 s 0.49/0.52 c 0.49/0.52 c core #111 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -339 0.49/0.52 c Current CPU time: 0.45893 s 0.49/0.52 c 0.49/0.52 c core #112 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -338 0.49/0.52 c Current CPU time: 0.462929 s 0.49/0.52 c 0.49/0.52 c core #113 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -337 0.49/0.52 c Current CPU time: 0.467928 s 0.49/0.52 c 0.49/0.52 c core #114 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -336 0.49/0.52 c Current CPU time: 0.471928 s 0.49/0.52 c 0.49/0.52 c core #115 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -335 0.49/0.52 c Current CPU time: 0.475927 s 0.49/0.52 c 0.49/0.52 c core #116 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -334 0.49/0.52 c Current CPU time: 0.480926 s 0.49/0.52 c 0.49/0.52 c core #117 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -333 0.49/0.52 c Current CPU time: 0.484926 s 0.49/0.52 c 0.49/0.52 c core #118 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -332 0.49/0.52 c Current CPU time: 0.489925 s 0.49/0.52 c 0.49/0.52 c core #119 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -331 0.49/0.52 c Current CPU time: 0.493924 s 0.49/0.52 c 0.49/0.52 c core #120 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -330 0.49/0.52 c Current CPU time: 0.497924 s 0.49/0.52 c 0.49/0.52 c core #121 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -329 0.49/0.52 c Current CPU time: 0.502923 s 0.49/0.52 c 0.49/0.52 c core #122 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -328 0.49/0.52 c Current CPU time: 0.506922 s 0.49/0.52 c 0.49/0.52 c core #123 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -327 0.49/0.52 c Current CPU time: 0.511922 s 0.49/0.52 c 0.49/0.52 c core #124 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -326 0.49/0.52 c Current CPU time: 0.515921 s 0.49/0.52 c 0.49/0.52 c core #125 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -325 0.69/0.71 c Current CPU time: 0.52092 s 0.69/0.71 c 0.69/0.71 c core #126 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -324 0.69/0.71 c Current CPU time: 0.52492 s 0.69/0.71 c 0.69/0.71 c core #127 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -323 0.69/0.71 c Current CPU time: 0.528919 s 0.69/0.71 c 0.69/0.71 c core #128 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -322 0.69/0.71 c Current CPU time: 0.533918 s 0.69/0.71 c 0.69/0.71 c core #129 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -321 0.69/0.71 c Current CPU time: 0.537918 s 0.69/0.71 c 0.69/0.71 c core #130 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -320 0.69/0.71 c Current CPU time: 0.542917 s 0.69/0.71 c 0.69/0.71 c core #131 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -319 0.69/0.71 c Current CPU time: 0.546916 s 0.69/0.71 c 0.69/0.71 c core #132 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -318 0.69/0.71 c Current CPU time: 0.551916 s 0.69/0.71 c 0.69/0.71 c core #133 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -317 0.69/0.71 c Current CPU time: 0.556915 s 0.69/0.71 c 0.69/0.71 c core #134 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -316 0.69/0.71 c Current CPU time: 0.560914 s 0.69/0.71 c 0.69/0.71 c core #135 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -315 0.69/0.71 c Current CPU time: 0.565913 s 0.69/0.71 c 0.69/0.71 c core #136 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -314 0.69/0.71 c Current CPU time: 0.569913 s 0.69/0.71 c 0.69/0.71 c core #137 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -313 0.69/0.71 c Current CPU time: 0.574912 s 0.69/0.71 c 0.69/0.71 c core #138 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -312 0.69/0.71 c Current CPU time: 0.578911 s 0.69/0.71 c 0.69/0.71 c core #139 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -311 0.69/0.71 c Current CPU time: 0.583911 s 0.69/0.71 c 0.69/0.71 c core #140 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -310 0.69/0.71 c Current CPU time: 0.58891 s 0.69/0.71 c 0.69/0.71 c core #141 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -309 0.69/0.71 c Current CPU time: 0.592909 s 0.69/0.71 c 0.69/0.71 c core #142 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -308 0.69/0.71 c Current CPU time: 0.597909 s 0.69/0.71 c 0.69/0.71 c core #143 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -307 0.69/0.71 c Current CPU time: 0.601908 s 0.69/0.71 c 0.69/0.71 c core #144 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -306 0.69/0.71 c Current CPU time: 0.606907 s 0.69/0.71 c 0.69/0.71 c core #145 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -305 0.69/0.71 c Current CPU time: 0.611906 s 0.69/0.71 c 0.69/0.71 c core #146 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -304 0.69/0.71 c Current CPU time: 0.615906 s 0.69/0.71 c 0.69/0.71 c core #147 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -303 0.69/0.71 c Current CPU time: 0.620905 s 0.69/0.71 c 0.69/0.71 c core #148 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -302 0.69/0.71 c Current CPU time: 0.625904 s 0.69/0.71 c 0.69/0.71 c core #149 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -301 0.69/0.71 c Current CPU time: 0.629904 s 0.69/0.71 c 0.69/0.71 c core #150 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -300 0.69/0.71 c Current CPU time: 0.634903 s 0.69/0.71 c 0.69/0.71 c core #151 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -299 0.69/0.71 c Current CPU time: 0.639902 s 0.69/0.71 c 0.69/0.71 c core #152 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -298 0.69/0.71 c Current CPU time: 0.643902 s 0.69/0.71 c 0.69/0.71 c core #153 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -297 0.69/0.71 c Current CPU time: 0.648901 s 0.69/0.71 c 0.69/0.71 c core #154 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -296 0.69/0.71 c Current CPU time: 0.6539 s 0.69/0.71 c 0.69/0.71 c core #155 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -295 0.69/0.71 c Current CPU time: 0.657899 s 0.69/0.71 c 0.69/0.71 c core #156 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -294 0.69/0.71 c Current CPU time: 0.662899 s 0.69/0.71 c 0.69/0.71 c core #157 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -293 0.69/0.71 c Current CPU time: 0.667898 s 0.69/0.71 c 0.69/0.71 c core #158 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -292 0.69/0.71 c Current CPU time: 0.672897 s 0.69/0.71 c 0.69/0.71 c core #159 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -291 0.69/0.71 c Current CPU time: 0.676897 s 0.69/0.71 c 0.69/0.71 c core #160 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -290 0.69/0.71 c Current CPU time: 0.681896 s 0.69/0.71 c 0.69/0.71 c core #161 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -289 0.69/0.71 c Current CPU time: 0.686895 s 0.69/0.71 c 0.69/0.71 c core #162 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -288 0.69/0.71 c Current CPU time: 0.691894 s 0.69/0.71 c 0.69/0.71 c core #163 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -287 0.69/0.71 c Current CPU time: 0.695894 s 0.69/0.71 c 0.69/0.71 c core #164 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -286 0.69/0.71 c Current CPU time: 0.700893 s 0.69/0.71 c 0.69/0.71 c core #165 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -285 0.69/0.71 c Current CPU time: 0.705892 s 0.69/0.71 c 0.69/0.71 c core #166 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -284 0.89/0.92 c Current CPU time: 0.710891 s 0.89/0.92 c 0.89/0.92 c core #167 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -283 0.89/0.92 c Current CPU time: 0.715891 s 0.89/0.92 c 0.89/0.92 c core #168 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -282 0.89/0.92 c Current CPU time: 0.71989 s 0.89/0.92 c 0.89/0.92 c core #169 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -281 0.89/0.92 c Current CPU time: 0.724889 s 0.89/0.92 c 0.89/0.92 c core #170 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -280 0.89/0.92 c Current CPU time: 0.729889 s 0.89/0.92 c 0.89/0.92 c core #171 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -279 0.89/0.92 c Current CPU time: 0.734888 s 0.89/0.92 c 0.89/0.92 c core #172 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -278 0.89/0.92 c Current CPU time: 0.739887 s 0.89/0.92 c 0.89/0.92 c core #173 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -277 0.89/0.92 c Current CPU time: 0.744886 s 0.89/0.92 c 0.89/0.92 c core #174 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -276 0.89/0.92 c Current CPU time: 0.749886 s 0.89/0.92 c 0.89/0.92 c core #175 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -275 0.89/0.92 c Current CPU time: 0.753885 s 0.89/0.92 c 0.89/0.92 c core #176 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -274 0.89/0.92 c Current CPU time: 0.758884 s 0.89/0.92 c 0.89/0.92 c core #177 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -273 0.89/0.92 c Current CPU time: 0.763883 s 0.89/0.92 c 0.89/0.92 c core #178 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -272 0.89/0.92 c Current CPU time: 0.768883 s 0.89/0.92 c 0.89/0.92 c core #179 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -271 0.89/0.92 c Current CPU time: 0.773882 s 0.89/0.92 c 0.89/0.92 c core #180 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -270 0.89/0.92 c Current CPU time: 0.778881 s 0.89/0.92 c 0.89/0.92 c core #181 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -269 0.89/0.92 c Current CPU time: 0.78388 s 0.89/0.92 c 0.89/0.92 c core #182 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -268 0.89/0.92 c Current CPU time: 0.78888 s 0.89/0.92 c 0.89/0.92 c core #183 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -267 0.89/0.92 c Current CPU time: 0.793879 s 0.89/0.92 c 0.89/0.92 c core #184 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -266 0.89/0.92 c Current CPU time: 0.798878 s 0.89/0.92 c 0.89/0.92 c core #185 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -265 0.89/0.92 c Current CPU time: 0.803877 s 0.89/0.92 c 0.89/0.92 c core #186 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -264 0.89/0.92 c Current CPU time: 0.808877 s 0.89/0.92 c 0.89/0.92 c core #187 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -263 0.89/0.92 c Current CPU time: 0.813876 s 0.89/0.92 c 0.89/0.92 c core #188 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -262 0.89/0.92 c Current CPU time: 0.818875 s 0.89/0.92 c 0.89/0.92 c core #189 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -261 0.89/0.92 c Current CPU time: 0.823874 s 0.89/0.92 c 0.89/0.92 c core #190 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -260 0.89/0.92 c Current CPU time: 0.828873 s 0.89/0.92 c 0.89/0.92 c core #191 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -259 0.89/0.92 c Current CPU time: 0.833873 s 0.89/0.92 c 0.89/0.92 c core #192 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -258 0.89/0.92 c Current CPU time: 0.838872 s 0.89/0.92 c 0.89/0.92 c core #193 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -257 0.89/0.92 c Current CPU time: 0.843871 s 0.89/0.92 c 0.89/0.92 c core #194 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -256 0.89/0.92 c Current CPU time: 0.84887 s 0.89/0.92 c 0.89/0.92 c core #195 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -255 0.89/0.92 c Current CPU time: 0.85387 s 0.89/0.92 c 0.89/0.92 c core #196 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -254 0.89/0.92 c Current CPU time: 0.858869 s 0.89/0.92 c 0.89/0.92 c core #197 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -253 0.89/0.92 c Current CPU time: 0.863868 s 0.89/0.92 c 0.89/0.92 c core #198 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -252 0.89/0.92 c Current CPU time: 0.868867 s 0.89/0.92 c 0.89/0.92 c core #199 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -251 0.89/0.92 c Current CPU time: 0.873867 s 0.89/0.92 c 0.89/0.92 c core #200 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -250 0.89/0.92 c Current CPU time: 0.879866 s 0.89/0.92 c 0.89/0.92 c core #201 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -249 0.89/0.92 c Current CPU time: 0.884865 s 0.89/0.92 c 0.89/0.92 c core #202 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -248 0.89/0.92 c Current CPU time: 0.889864 s 0.89/0.92 c 0.89/0.92 c core #203 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -247 0.89/0.92 c Current CPU time: 0.894863 s 0.89/0.92 c 0.89/0.92 c core #204 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -246 0.89/0.92 c Current CPU time: 0.899863 s 0.89/0.92 c 0.89/0.92 c core #205 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -245 0.89/0.92 c Current CPU time: 0.904862 s 0.89/0.92 c 0.89/0.92 c core #206 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -244 0.89/0.92 c Current CPU time: 0.909861 s 0.89/0.92 c 0.89/0.92 c core #207 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -243 1.00/1.02 c Current CPU time: 0.91486 s 1.00/1.02 c 1.00/1.02 c core #208 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -242 1.00/1.02 c Current CPU time: 0.92086 s 1.00/1.02 c 1.00/1.02 c core #209 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -241 1.00/1.02 c Current CPU time: 0.925859 s 1.00/1.02 c 1.00/1.02 c core #210 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -240 1.00/1.02 c Current CPU time: 0.930858 s 1.00/1.02 c 1.00/1.02 c core #211 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -239 1.00/1.02 c Current CPU time: 0.935857 s 1.00/1.02 c 1.00/1.02 c core #212 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -238 1.00/1.02 c Current CPU time: 0.940856 s 1.00/1.02 c 1.00/1.02 c core #213 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -237 1.00/1.02 c Current CPU time: 0.946856 s 1.00/1.02 c 1.00/1.02 c core #214 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -236 1.00/1.02 c Current CPU time: 0.951855 s 1.00/1.02 c 1.00/1.02 c core #215 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -235 1.00/1.02 c Current CPU time: 0.956854 s 1.00/1.02 c 1.00/1.02 c core #216 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -234 1.00/1.02 c Current CPU time: 0.961853 s 1.00/1.02 c 1.00/1.02 c core #217 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -233 1.00/1.02 c Current CPU time: 0.967852 s 1.00/1.02 c 1.00/1.02 c core #218 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -232 1.00/1.02 c Current CPU time: 0.972852 s 1.00/1.02 c 1.00/1.02 c core #219 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -231 1.00/1.02 c Current CPU time: 0.977851 s 1.00/1.02 c 1.00/1.02 c core #220 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -230 1.00/1.02 c Current CPU time: 0.98285 s 1.00/1.02 c 1.00/1.02 c core #221 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -229 1.00/1.02 c Current CPU time: 0.987849 s 1.00/1.02 c 1.00/1.02 c core #222 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -228 1.00/1.02 c Current CPU time: 0.993848 s 1.00/1.02 c 1.00/1.02 c core #223 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -227 1.00/1.02 c Current CPU time: 0.998848 s 1.00/1.02 c 1.00/1.02 c core #224 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -226 1.00/1.02 c Current CPU time: 1.00385 s 1.00/1.02 c 1.00/1.02 c core #225 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -225 1.00/1.02 c Current CPU time: 1.00985 s 1.00/1.02 c 1.00/1.02 c ============================[ Search Statistics ]============================== 1.00/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.02 c =============================================================================== 1.00/1.02 c | 0 | 900 18502 37004 | 6167 0 -nan | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.02 c core #226 1.00/1.02 c 1.00/1.02 c 1.00/1.02 c Core size: 10 Core Weight: 1 Total Weight: -224 1.00/1.02 c Current CPU time: 1.01585 s 1.00/1.02 c 1.00/1.02 c ============================[ Search Statistics ]============================== 1.00/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.02 c =============================================================================== 1.00/1.02 c | 0 | 906 18503 37016 | 6167 0 -nan | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.03 c core #227 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 8 Core Weight: 1 Total Weight: -223 1.00/1.03 c Current CPU time: 1.02084 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 910 18504 37024 | 6168 0 -nan | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c core #228 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 8 Core Weight: 1 Total Weight: -222 1.00/1.03 c Current CPU time: 1.02684 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 914 18505 37032 | 6168 0 -nan | 0.000 % | 1.00/1.03 c =============================================================================== 1.00/1.04 c core #229 1.00/1.04 c 1.00/1.04 c 1.00/1.04 c Core size: 8 Core Weight: 1 Total Weight: -221 1.00/1.04 c Current CPU time: 1.03184 s 1.00/1.04 c 1.00/1.04 c ============================[ Search Statistics ]============================== 1.00/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.04 c =============================================================================== 1.00/1.04 c | 0 | 918 18506 37040 | 6168 0 -nan | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.04 c core #230 1.00/1.04 c 1.00/1.04 c 1.00/1.04 c Core size: 10 Core Weight: 1 Total Weight: -220 1.00/1.04 c Current CPU time: 1.03784 s 1.00/1.04 c 1.00/1.04 c ============================[ Search Statistics ]============================== 1.00/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.04 c =============================================================================== 1.00/1.04 c | 0 | 924 18507 37052 | 6169 0 -nan | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.05 c core #231 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 10 Core Weight: 1 Total Weight: -219 1.00/1.05 c Current CPU time: 1.04384 s 1.00/1.05 c 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 930 18508 37064 | 6169 0 -nan | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.05 c core #232 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 10 Core Weight: 1 Total Weight: -218 1.00/1.05 c Current CPU time: 1.04884 s 1.00/1.05 c 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 936 18509 37076 | 6169 0 -nan | 0.000 % | 1.00/1.05 c =============================================================================== 1.00/1.06 c core #233 1.00/1.06 c 1.00/1.06 c 1.00/1.06 c Core size: 10 Core Weight: 1 Total Weight: -217 1.00/1.06 c Current CPU time: 1.05484 s 1.00/1.06 c 1.00/1.06 c ============================[ Search Statistics ]============================== 1.00/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.06 c =============================================================================== 1.00/1.06 c | 0 | 942 18510 37088 | 6170 0 -nan | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.07 c core #234 1.00/1.07 c 1.00/1.07 c 1.00/1.07 c Core size: 8 Core Weight: 1 Total Weight: -216 1.00/1.07 c Current CPU time: 1.06084 s 1.00/1.07 c 1.00/1.07 c ============================[ Search Statistics ]============================== 1.00/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.07 c =============================================================================== 1.00/1.07 c | 0 | 946 18511 37096 | 6170 0 -nan | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.07 c core #235 1.00/1.07 c 1.00/1.07 c 1.00/1.07 c Core size: 8 Core Weight: 1 Total Weight: -215 1.00/1.07 c Current CPU time: 1.06684 s 1.00/1.07 c 1.00/1.07 c ============================[ Search Statistics ]============================== 1.00/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.07 c =============================================================================== 1.00/1.07 c | 0 | 950 18512 37104 | 6170 0 -nan | 0.000 % | 1.00/1.07 c =============================================================================== 1.00/1.08 c core #236 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 8 Core Weight: 1 Total Weight: -214 1.00/1.08 c Current CPU time: 1.07284 s 1.00/1.08 c 1.00/1.08 c ============================[ Search Statistics ]============================== 1.00/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.08 c =============================================================================== 1.00/1.08 c | 0 | 954 18513 37112 | 6171 0 -nan | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.08 c core #237 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 8 Core Weight: 1 Total Weight: -213 1.00/1.08 c Current CPU time: 1.07784 s 1.00/1.08 c 1.00/1.08 c ============================[ Search Statistics ]============================== 1.00/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.08 c =============================================================================== 1.00/1.08 c | 0 | 958 18514 37120 | 6171 0 -nan | 0.000 % | 1.00/1.08 c =============================================================================== 1.00/1.09 c core #238 1.00/1.09 c 1.00/1.09 c 1.00/1.09 c Core size: 10 Core Weight: 1 Total Weight: -212 1.00/1.09 c Current CPU time: 1.08283 s 1.00/1.09 c 1.00/1.09 c ============================[ Search Statistics ]============================== 1.00/1.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.09 c =============================================================================== 1.00/1.09 c | 0 | 964 18515 37132 | 6171 0 -nan | 0.000 % | 1.00/1.09 c =============================================================================== 1.00/1.10 c core #239 1.00/1.10 c 1.00/1.10 c 1.00/1.10 c Core size: 8 Core Weight: 1 Total Weight: -211 1.00/1.10 c Current CPU time: 1.08883 s 1.00/1.10 c 1.00/1.10 c ============================[ Search Statistics ]============================== 1.00/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.10 c =============================================================================== 1.00/1.10 c | 0 | 968 18516 37140 | 6172 0 -nan | 0.000 % | 1.00/1.10 c =============================================================================== 1.00/1.10 c core #240 1.00/1.10 c 1.00/1.10 c 1.00/1.10 c Core size: 10 Core Weight: 1 Total Weight: -210 1.00/1.10 c Current CPU time: 1.09483 s 1.00/1.10 c 1.00/1.10 c ============================[ Search Statistics ]============================== 1.00/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.10 c =============================================================================== 1.00/1.10 c | 0 | 974 18517 37152 | 6172 0 -nan | 0.000 % | 1.00/1.10 c =============================================================================== 1.00/1.11 c core #241 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 10 Core Weight: 1 Total Weight: -209 1.00/1.11 c Current CPU time: 1.10083 s 1.00/1.11 c 1.00/1.11 c ============================[ Search Statistics ]============================== 1.00/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.11 c =============================================================================== 1.00/1.11 c | 0 | 980 18518 37164 | 6172 0 -nan | 0.000 % | 1.00/1.11 c =============================================================================== 1.00/1.11 c core #242 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 10 Core Weight: 1 Total Weight: -208 1.00/1.11 c Current CPU time: 1.10683 s 1.00/1.11 c 1.00/1.11 c ============================[ Search Statistics ]============================== 1.00/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.11 c =============================================================================== 1.00/1.11 c | 0 | 986 18519 37176 | 6173 0 -nan | 0.000 % | 1.00/1.11 c =============================================================================== 1.11/1.12 c core #243 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 8 Core Weight: 1 Total Weight: -207 1.11/1.12 c Current CPU time: 1.11183 s 1.11/1.12 c 1.11/1.12 c ============================[ Search Statistics ]============================== 1.11/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.12 c =============================================================================== 1.11/1.12 c | 0 | 990 18520 37184 | 6173 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.12 c core #244 1.11/1.12 c 1.11/1.12 c 1.11/1.12 c Core size: 8 Core Weight: 1 Total Weight: -206 1.11/1.12 c Current CPU time: 1.11683 s 1.11/1.12 c 1.11/1.12 c ============================[ Search Statistics ]============================== 1.11/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.12 c =============================================================================== 1.11/1.12 c | 0 | 994 18521 37192 | 6173 0 -nan | 0.000 % | 1.11/1.12 c =============================================================================== 1.11/1.13 c core #245 1.11/1.13 c 1.11/1.13 c 1.11/1.13 c Core size: 9 Core Weight: 1 Total Weight: -205 1.11/1.13 c Current CPU time: 1.12283 s 1.11/1.13 c 1.11/1.13 c ============================[ Search Statistics ]============================== 1.11/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.13 c =============================================================================== 1.11/1.13 c | 0 | 1000 18522 37204 | 6174 0 -nan | 0.000 % | 1.11/1.13 c =============================================================================== 1.11/1.14 c core #246 1.11/1.14 c 1.11/1.14 c 1.11/1.14 c Core size: 10 Core Weight: 1 Total Weight: -204 1.11/1.14 c Current CPU time: 1.12883 s 1.11/1.14 c 1.11/1.14 c ============================[ Search Statistics ]============================== 1.11/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.14 c =============================================================================== 1.11/1.14 c | 0 | 1006 18523 37216 | 6174 0 -nan | 0.000 % | 1.11/1.14 c =============================================================================== 1.11/1.14 c core #247 1.11/1.14 c 1.11/1.14 c 1.11/1.14 c Core size: 10 Core Weight: 1 Total Weight: -203 1.11/1.14 c Current CPU time: 1.13483 s 1.11/1.14 c 1.11/1.14 c ============================[ Search Statistics ]============================== 1.11/1.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.14 c =============================================================================== 1.11/1.14 c | 0 | 1012 18524 37228 | 6174 0 -nan | 0.000 % | 1.11/1.14 c =============================================================================== 1.11/1.15 c core #248 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 10 Core Weight: 1 Total Weight: -202 1.11/1.15 c Current CPU time: 1.14083 s 1.11/1.15 c 1.11/1.15 c ============================[ Search Statistics ]============================== 1.11/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.15 c =============================================================================== 1.11/1.15 c | 0 | 1018 18525 37240 | 6175 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.15 c core #249 1.11/1.15 c 1.11/1.15 c 1.11/1.15 c Core size: 8 Core Weight: 1 Total Weight: -201 1.11/1.15 c Current CPU time: 1.14583 s 1.11/1.15 c 1.11/1.15 c ============================[ Search Statistics ]============================== 1.11/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.15 c =============================================================================== 1.11/1.15 c | 0 | 1022 18526 37248 | 6175 0 -nan | 0.000 % | 1.11/1.15 c =============================================================================== 1.11/1.16 c core #250 1.11/1.16 c 1.11/1.16 c 1.11/1.16 c Core size: 8 Core Weight: 1 Total Weight: -200 1.11/1.16 c Current CPU time: 1.15082 s 1.11/1.16 c 1.11/1.16 c ============================[ Search Statistics ]============================== 1.11/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.16 c =============================================================================== 1.11/1.16 c | 0 | 1026 18527 37256 | 6175 0 -nan | 0.000 % | 1.11/1.16 c =============================================================================== 1.11/1.17 c core #251 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 10 Core Weight: 1 Total Weight: -199 1.11/1.17 c Current CPU time: 1.15682 s 1.11/1.17 c 1.11/1.17 c ============================[ Search Statistics ]============================== 1.11/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.17 c =============================================================================== 1.11/1.17 c | 0 | 1032 18528 37268 | 6176 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.17 c core #252 1.11/1.17 c 1.11/1.17 c 1.11/1.17 c Core size: 10 Core Weight: 1 Total Weight: -198 1.11/1.17 c Current CPU time: 1.16282 s 1.11/1.17 c 1.11/1.17 c ============================[ Search Statistics ]============================== 1.11/1.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.17 c =============================================================================== 1.11/1.17 c | 0 | 1038 18529 37280 | 6176 0 -nan | 0.000 % | 1.11/1.17 c =============================================================================== 1.11/1.18 c core #253 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 10 Core Weight: 1 Total Weight: -197 1.11/1.18 c Current CPU time: 1.16882 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 1044 18530 37292 | 6176 0 -nan | 0.000 % | 1.11/1.18 c =============================================================================== 1.11/1.18 c core #254 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 10 Core Weight: 1 Total Weight: -196 1.11/1.18 c Current CPU time: 1.17482 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 1050 18531 37304 | 6177 0 -nan | 0.000 % | 1.11/1.18 c =============================================================================== 1.11/1.19 c core #255 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 10 Core Weight: 1 Total Weight: -195 1.11/1.19 c Current CPU time: 1.18082 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 1056 18532 37316 | 6177 0 -nan | 0.000 % | 1.11/1.19 c =============================================================================== 1.11/1.19 c core #256 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 10 Core Weight: 1 Total Weight: -194 1.11/1.19 c Current CPU time: 1.18682 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 1062 18533 37328 | 6177 0 -nan | 0.000 % | 1.11/1.20 c =============================================================================== 1.19/1.20 c core #257 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 10 Core Weight: 1 Total Weight: -193 1.19/1.20 c Current CPU time: 1.19282 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 1068 18534 37340 | 6178 0 -nan | 0.000 % | 1.19/1.20 c =============================================================================== 1.19/1.21 c core #258 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 8 Core Weight: 1 Total Weight: -192 1.19/1.21 c Current CPU time: 1.19882 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 1072 18535 37348 | 6178 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.21 c core #259 1.19/1.21 c 1.19/1.21 c 1.19/1.21 c Core size: 10 Core Weight: 1 Total Weight: -191 1.19/1.21 c Current CPU time: 1.20382 s 1.19/1.21 c 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 1078 18536 37360 | 6178 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.22 c core #260 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 10 Core Weight: 1 Total Weight: -190 1.19/1.22 c Current CPU time: 1.20982 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 1084 18537 37372 | 6179 0 -nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.22 c core #261 1.19/1.22 c 1.19/1.22 c 1.19/1.22 c Core size: 10 Core Weight: 1 Total Weight: -189 1.19/1.22 c Current CPU time: 1.21582 s 1.19/1.22 c 1.19/1.22 c ============================[ Search Statistics ]============================== 1.19/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.22 c =============================================================================== 1.19/1.22 c | 0 | 1090 18538 37384 | 6179 0 -nan | 0.000 % | 1.19/1.22 c =============================================================================== 1.19/1.23 c core #262 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 8 Core Weight: 1 Total Weight: -188 1.19/1.23 c Current CPU time: 1.22181 s 1.19/1.23 c 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 1094 18539 37392 | 6179 0 -nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.24 c core #263 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 8 Core Weight: 1 Total Weight: -187 1.19/1.24 c Current CPU time: 1.22781 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 1098 18540 37400 | 6180 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c core #264 1.19/1.24 c 1.19/1.24 c 1.19/1.24 c Core size: 10 Core Weight: 1 Total Weight: -186 1.19/1.24 c Current CPU time: 1.23381 s 1.19/1.24 c 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 1104 18541 37412 | 6180 0 -nan | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.25 c core #265 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 15 Core Weight: 1 Total Weight: -185 1.19/1.25 c Current CPU time: 1.23981 s 1.19/1.25 c 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 1116 18542 37436 | 6180 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #266 1.19/1.25 c 1.19/1.25 c 1.19/1.25 c Core size: 10 Core Weight: 1 Total Weight: -184 1.19/1.25 c Current CPU time: 1.24581 s 1.19/1.25 c 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 1122 18543 37448 | 6181 0 -nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.26 c core #267 1.19/1.26 c 1.19/1.26 c 1.19/1.26 c Core size: 10 Core Weight: 1 Total Weight: -183 1.19/1.26 c Current CPU time: 1.25181 s 1.19/1.26 c 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 1128 18544 37460 | 6181 0 -nan | 0.000 % | 1.19/1.26 c =============================================================================== 1.19/1.27 c core #268 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 10 Core Weight: 1 Total Weight: -182 1.19/1.27 c Current CPU time: 1.25781 s 1.19/1.27 c 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 1134 18545 37472 | 6181 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c core #269 1.19/1.27 c 1.19/1.27 c 1.19/1.27 c Core size: 8 Core Weight: 1 Total Weight: -181 1.19/1.27 c Current CPU time: 1.26381 s 1.19/1.27 c 1.19/1.27 c ============================[ Search Statistics ]============================== 1.19/1.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.27 c =============================================================================== 1.19/1.27 c | 0 | 1138 18546 37480 | 6182 0 -nan | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.28 c core #270 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 15 Core Weight: 1 Total Weight: -180 1.19/1.28 c Current CPU time: 1.26981 s 1.19/1.28 c 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 1150 18547 37504 | 6182 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.28 c core #271 1.19/1.28 c 1.19/1.28 c 1.19/1.28 c Core size: 14 Core Weight: 1 Total Weight: -179 1.19/1.28 c Current CPU time: 1.27581 s 1.19/1.28 c 1.19/1.28 c ============================[ Search Statistics ]============================== 1.19/1.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.28 c =============================================================================== 1.19/1.28 c | 0 | 1160 18548 37524 | 6182 0 -nan | 0.000 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #272 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 8 Core Weight: 1 Total Weight: -178 1.19/1.29 c Current CPU time: 1.28181 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 1164 18549 37532 | 6183 0 -nan | 0.000 % | 1.19/1.29 c =============================================================================== 1.29/1.30 c core #273 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 8 Core Weight: 1 Total Weight: -177 1.29/1.30 c Current CPU time: 1.2878 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 1168 18550 37540 | 6183 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c core #274 1.29/1.30 c 1.29/1.30 c 1.29/1.30 c Core size: 10 Core Weight: 1 Total Weight: -176 1.29/1.30 c Current CPU time: 1.2938 s 1.29/1.30 c 1.29/1.30 c ============================[ Search Statistics ]============================== 1.29/1.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.30 c =============================================================================== 1.29/1.30 c | 0 | 1174 18551 37552 | 6183 0 -nan | 0.000 % | 1.29/1.30 c =============================================================================== 1.29/1.31 c core #275 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 8 Core Weight: 1 Total Weight: -175 1.29/1.31 c Current CPU time: 1.2998 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 1178 18552 37560 | 6184 0 -nan | 0.000 % | 1.29/1.31 c =============================================================================== 1.29/1.31 c core #276 1.29/1.31 c 1.29/1.31 c 1.29/1.31 c Core size: 8 Core Weight: 1 Total Weight: -174 1.29/1.31 c Current CPU time: 1.3058 s 1.29/1.31 c 1.29/1.31 c ============================[ Search Statistics ]============================== 1.29/1.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.31 c =============================================================================== 1.29/1.31 c | 0 | 1182 18553 37568 | 6184 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c core #277 1.29/1.32 c 1.29/1.32 c 1.29/1.32 c Core size: 10 Core Weight: 1 Total Weight: -173 1.29/1.32 c Current CPU time: 1.3118 s 1.29/1.32 c 1.29/1.32 c ============================[ Search Statistics ]============================== 1.29/1.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.32 c =============================================================================== 1.29/1.32 c | 0 | 1188 18554 37580 | 6184 0 -nan | 0.000 % | 1.29/1.32 c =============================================================================== 1.29/1.33 c core #278 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 10 Core Weight: 1 Total Weight: -172 1.29/1.33 c Current CPU time: 1.3178 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 1194 18555 37592 | 6185 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.33 c core #279 1.29/1.33 c 1.29/1.33 c 1.29/1.33 c Core size: 10 Core Weight: 1 Total Weight: -171 1.29/1.33 c Current CPU time: 1.3248 s 1.29/1.33 c 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 1200 18556 37604 | 6185 0 -nan | 0.000 % | 1.29/1.33 c =============================================================================== 1.29/1.34 c core #280 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 10 Core Weight: 1 Total Weight: -170 1.29/1.34 c Current CPU time: 1.3308 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 1206 18557 37616 | 6185 0 -nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #281 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 10 Core Weight: 1 Total Weight: -169 1.29/1.34 c Current CPU time: 1.3368 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 1212 18558 37628 | 6186 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.35 c core #282 1.29/1.35 c 1.29/1.35 c 1.29/1.35 c Core size: 8 Core Weight: 1 Total Weight: -168 1.29/1.35 c Current CPU time: 1.34279 s 1.29/1.35 c 1.29/1.35 c ============================[ Search Statistics ]============================== 1.29/1.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.35 c =============================================================================== 1.29/1.35 c | 0 | 1216 18559 37636 | 6186 0 -nan | 0.000 % | 1.29/1.35 c =============================================================================== 1.29/1.36 c core #283 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 8 Core Weight: 1 Total Weight: -167 1.29/1.36 c Current CPU time: 1.34879 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 1220 18560 37644 | 6186 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c core #284 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 10 Core Weight: 1 Total Weight: -166 1.29/1.36 c Current CPU time: 1.35479 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 1226 18561 37656 | 6187 0 -nan | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.37 c core #285 1.29/1.37 c 1.29/1.37 c 1.29/1.37 c Core size: 8 Core Weight: 1 Total Weight: -165 1.29/1.37 c Current CPU time: 1.36079 s 1.29/1.37 c 1.29/1.37 c ============================[ Search Statistics ]============================== 1.29/1.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.37 c =============================================================================== 1.29/1.37 c | 0 | 1230 18562 37664 | 6187 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.29/1.38 c core #286 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 10 Core Weight: 1 Total Weight: -164 1.29/1.38 c Current CPU time: 1.36679 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 1236 18563 37676 | 6187 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.38 c core #287 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 8 Core Weight: 1 Total Weight: -163 1.29/1.38 c Current CPU time: 1.37279 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 1240 18564 37684 | 6188 0 -nan | 0.000 % | 1.29/1.38 c =============================================================================== 1.29/1.39 c core #288 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 10 Core Weight: 1 Total Weight: -162 1.29/1.39 c Current CPU time: 1.37879 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 1246 18565 37696 | 6188 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.29/1.39 c core #289 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 8 Core Weight: 1 Total Weight: -161 1.29/1.39 c Current CPU time: 1.38479 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 1250 18566 37704 | 6188 0 -nan | 0.000 % | 1.29/1.39 c =============================================================================== 1.39/1.40 c core #290 1.39/1.40 c 1.39/1.40 c 1.39/1.40 c Core size: 10 Core Weight: 1 Total Weight: -160 1.39/1.40 c Current CPU time: 1.39079 s 1.39/1.40 c 1.39/1.40 c ============================[ Search Statistics ]============================== 1.39/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.40 c =============================================================================== 1.39/1.40 c | 0 | 1256 18567 37716 | 6189 0 -nan | 0.000 % | 1.39/1.40 c =============================================================================== 1.39/1.41 c core #291 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 10 Core Weight: 1 Total Weight: -159 1.39/1.41 c Current CPU time: 1.39679 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 1262 18568 37728 | 6189 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.41 c core #292 1.39/1.41 c 1.39/1.41 c 1.39/1.41 c Core size: 11 Core Weight: 1 Total Weight: -158 1.39/1.41 c Current CPU time: 1.40279 s 1.39/1.41 c 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 1268 18569 37740 | 6189 0 -nan | 0.000 % | 1.39/1.41 c =============================================================================== 1.39/1.42 c core #293 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 14 Core Weight: 1 Total Weight: -157 1.39/1.42 c Current CPU time: 1.40878 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 1276 18570 37756 | 6190 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.42 c core #294 1.39/1.42 c 1.39/1.42 c 1.39/1.42 c Core size: 10 Core Weight: 1 Total Weight: -156 1.39/1.42 c Current CPU time: 1.41478 s 1.39/1.42 c 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 1282 18571 37768 | 6190 0 -nan | 0.000 % | 1.39/1.42 c =============================================================================== 1.39/1.43 c core #295 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 10 Core Weight: 1 Total Weight: -155 1.39/1.43 c Current CPU time: 1.42078 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 1288 18572 37780 | 6190 0 -nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.44 c core #296 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 10 Core Weight: 1 Total Weight: -154 1.39/1.44 c Current CPU time: 1.42678 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 1294 18573 37792 | 6191 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.44 c core #297 1.39/1.44 c 1.39/1.44 c 1.39/1.44 c Core size: 8 Core Weight: 1 Total Weight: -153 1.39/1.44 c Current CPU time: 1.43278 s 1.39/1.44 c 1.39/1.44 c ============================[ Search Statistics ]============================== 1.39/1.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.44 c =============================================================================== 1.39/1.44 c | 0 | 1298 18574 37800 | 6191 0 -nan | 0.000 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #298 1.39/1.45 c 1.39/1.45 c 1.39/1.45 c Core size: 18 Core Weight: 1 Total Weight: -152 1.39/1.45 c Current CPU time: 1.43778 s 1.39/1.45 c 1.39/1.45 c ============================[ Search Statistics ]============================== 1.39/1.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.45 c =============================================================================== 1.39/1.45 c | 0 | 1312 18575 37828 | 6191 0 -nan | 0.000 % | 1.39/1.45 c =============================================================================== 1.39/1.46 c core #299 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 8 Core Weight: 1 Total Weight: -151 1.39/1.46 c Current CPU time: 1.44378 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 1316 18576 37836 | 6192 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.46 c core #300 1.39/1.46 c 1.39/1.46 c 1.39/1.46 c Core size: 11 Core Weight: 1 Total Weight: -150 1.39/1.46 c Current CPU time: 1.44978 s 1.39/1.46 c 1.39/1.46 c ============================[ Search Statistics ]============================== 1.39/1.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.46 c =============================================================================== 1.39/1.46 c | 0 | 1322 18577 37848 | 6192 0 -nan | 0.000 % | 1.39/1.46 c =============================================================================== 1.39/1.47 c core #301 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 8 Core Weight: 1 Total Weight: -149 1.39/1.47 c Current CPU time: 1.45578 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 1326 18578 37856 | 6192 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c core #302 1.39/1.47 c 1.39/1.47 c 1.39/1.47 c Core size: 10 Core Weight: 1 Total Weight: -148 1.39/1.47 c Current CPU time: 1.46178 s 1.39/1.47 c 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 1332 18579 37868 | 6193 0 -nan | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.48 c core #303 1.39/1.48 c 1.39/1.48 c 1.39/1.48 c Core size: 8 Core Weight: 1 Total Weight: -147 1.39/1.48 c Current CPU time: 1.46878 s 1.39/1.48 c 1.39/1.48 c ============================[ Search Statistics ]============================== 1.39/1.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.48 c =============================================================================== 1.39/1.48 c | 0 | 1336 18580 37876 | 6193 0 -nan | 0.000 % | 1.39/1.48 c =============================================================================== 1.39/1.49 c core #304 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 10 Core Weight: 1 Total Weight: -146 1.39/1.49 c Current CPU time: 1.47477 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 1342 18581 37888 | 6193 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.39/1.49 c core #305 1.39/1.49 c 1.39/1.49 c 1.39/1.49 c Core size: 8 Core Weight: 1 Total Weight: -145 1.39/1.49 c Current CPU time: 1.48077 s 1.39/1.49 c 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 1346 18582 37896 | 6194 0 -nan | 0.000 % | 1.39/1.49 c =============================================================================== 1.49/1.50 c core #306 1.49/1.50 c 1.49/1.50 c 1.49/1.50 c Core size: 10 Core Weight: 1 Total Weight: -144 1.49/1.50 c Current CPU time: 1.48777 s 1.49/1.50 c 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 1352 18583 37908 | 6194 0 -nan | 0.000 % | 1.49/1.50 c =============================================================================== 1.49/1.51 c core #307 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 10 Core Weight: 1 Total Weight: -143 1.49/1.51 c Current CPU time: 1.49377 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 1358 18584 37920 | 6194 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.51 c core #308 1.49/1.51 c 1.49/1.51 c 1.49/1.51 c Core size: 8 Core Weight: 1 Total Weight: -142 1.49/1.51 c Current CPU time: 1.49977 s 1.49/1.51 c 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 1362 18585 37928 | 6195 0 -nan | 0.000 % | 1.49/1.51 c =============================================================================== 1.49/1.52 c core #309 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 12 Core Weight: 1 Total Weight: -141 1.49/1.52 c Current CPU time: 1.50577 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 1368 18586 37940 | 6195 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #310 1.49/1.52 c 1.49/1.52 c 1.49/1.52 c Core size: 8 Core Weight: 1 Total Weight: -140 1.49/1.52 c Current CPU time: 1.51177 s 1.49/1.52 c 1.49/1.52 c ============================[ Search Statistics ]============================== 1.49/1.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.52 c =============================================================================== 1.49/1.52 c | 0 | 1372 18587 37948 | 6195 0 -nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.53 c core #311 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 8 Core Weight: 1 Total Weight: -139 1.49/1.53 c Current CPU time: 1.51877 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 1376 18588 37956 | 6196 0 -nan | 0.000 % | 1.49/1.53 c =============================================================================== 1.49/1.54 c core #312 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 11 Core Weight: 1 Total Weight: -138 1.49/1.54 c Current CPU time: 1.52477 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 1384 18589 37972 | 6196 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.54 c core #313 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 11 Core Weight: 1 Total Weight: -137 1.49/1.54 c Current CPU time: 1.53077 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 1394 18590 37992 | 6196 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.49/1.55 c core #314 1.49/1.55 c 1.49/1.55 c 1.49/1.55 c Core size: 9 Core Weight: 1 Total Weight: -136 1.49/1.55 c Current CPU time: 1.53677 s 1.49/1.55 c 1.49/1.55 c ============================[ Search Statistics ]============================== 1.49/1.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.55 c =============================================================================== 1.49/1.55 c | 0 | 1400 18591 38004 | 6197 0 -nan | 0.000 % | 1.49/1.55 c =============================================================================== 1.49/1.56 c core #315 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 18 Core Weight: 1 Total Weight: -135 1.49/1.56 c Current CPU time: 1.54377 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 1416 18592 38036 | 6197 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.56 c core #316 1.49/1.56 c 1.49/1.56 c 1.49/1.56 c Core size: 21 Core Weight: 1 Total Weight: -134 1.49/1.56 c Current CPU time: 1.55076 s 1.49/1.56 c 1.49/1.56 c ============================[ Search Statistics ]============================== 1.49/1.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.56 c =============================================================================== 1.49/1.56 c | 0 | 1434 18593 38072 | 6197 0 -nan | 0.000 % | 1.49/1.56 c =============================================================================== 1.49/1.57 c core #317 1.49/1.57 c 1.49/1.57 c 1.49/1.57 c Core size: 9 Core Weight: 1 Total Weight: -133 1.49/1.57 c Current CPU time: 1.55776 s 1.49/1.57 c 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 1442 18594 38088 | 6198 0 -nan | 0.000 % | 1.49/1.57 c | 100 | 1440 18594 38088 | 6817 100 7 | 4.785 % | 1.49/1.57 c =============================================================================== 1.49/1.58 c core #318 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 25 Core Weight: 1 Total Weight: -132 1.49/1.58 c Current CPU time: 1.56476 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 1464 18595 38132 | 6198 0 -nan | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c core #319 1.49/1.58 c 1.49/1.58 c 1.49/1.58 c Core size: 24 Core Weight: 1 Total Weight: -131 1.49/1.58 c Current CPU time: 1.57176 s 1.49/1.58 c 1.49/1.58 c ============================[ Search Statistics ]============================== 1.49/1.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.58 c =============================================================================== 1.49/1.58 c | 0 | 1484 18596 38172 | 6198 0 -nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.49/1.59 c core #320 1.49/1.59 c 1.49/1.59 c 1.49/1.59 c Core size: 42 Core Weight: 1 Total Weight: -130 1.49/1.59 c Current CPU time: 1.57876 s 1.49/1.59 c 1.49/1.59 c ============================[ Search Statistics ]============================== 1.49/1.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.59 c =============================================================================== 1.49/1.59 c | 0 | 1504 18597 38212 | 6199 0 -nan | 0.000 % | 1.49/1.59 c =============================================================================== 1.59/1.60 c core #321 1.59/1.60 c 1.59/1.60 c 1.59/1.60 c Core size: 29 Core Weight: 1 Total Weight: -129 1.59/1.60 c Current CPU time: 1.58576 s 1.59/1.60 c 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 1522 18598 38248 | 6199 0 -nan | 0.000 % | 1.59/1.60 c | 100 | 1522 18598 38248 | 6819 100 10 | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.61 c core #322 1.59/1.61 c 1.59/1.61 c 1.59/1.61 c Core size: 28 Core Weight: 1 Total Weight: -128 1.59/1.61 c Current CPU time: 1.59476 s 1.59/1.61 c 1.59/1.61 c ============================[ Search Statistics ]============================== 1.59/1.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.61 c =============================================================================== 1.59/1.61 c | 0 | 1546 18599 38296 | 6199 0 -nan | 0.000 % | 1.59/1.61 c | 100 | 1546 18599 38296 | 6819 100 14 | 0.065 % | 1.59/1.61 c | 250 | 1543 18599 38296 | 7501 250 13 | 0.194 % | 1.59/1.61 c =============================================================================== 1.59/1.62 c core #323 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 47 Core Weight: 1 Total Weight: -127 1.59/1.62 c Current CPU time: 1.60176 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 1590 18600 38384 | 6200 0 -nan | 0.000 % | 1.59/1.62 c =============================================================================== 1.59/1.63 c core #324 1.59/1.63 c 1.59/1.63 c 1.59/1.63 c Core size: 17 Core Weight: 1 Total Weight: -126 1.59/1.63 c Current CPU time: 1.60875 s 1.59/1.63 c 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 1602 18601 38408 | 6200 0 -nan | 0.000 % | 1.59/1.63 c | 101 | 1602 18601 38408 | 6820 101 8 | 0.000 % | 1.59/1.63 c =============================================================================== 1.59/1.64 c core #325 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 37 Core Weight: 1 Total Weight: -125 1.59/1.64 c Current CPU time: 1.61575 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 1636 18602 38476 | 6200 0 -nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c core #326 1.59/1.64 c 1.59/1.64 c 1.59/1.64 c Core size: 16 Core Weight: 1 Total Weight: -124 1.59/1.64 c Current CPU time: 1.62275 s 1.59/1.64 c 1.59/1.64 c ============================[ Search Statistics ]============================== 1.59/1.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.64 c =============================================================================== 1.59/1.64 c | 0 | 1646 18603 38496 | 6201 0 -nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.65 c core #327 1.59/1.65 c 1.59/1.65 c 1.59/1.65 c Core size: 28 Core Weight: 1 Total Weight: -123 1.59/1.65 c Current CPU time: 1.62875 s 1.59/1.65 c 1.59/1.65 c ============================[ Search Statistics ]============================== 1.59/1.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.65 c =============================================================================== 1.59/1.65 c | 0 | 1670 18604 38544 | 6201 0 -nan | 0.000 % | 1.59/1.65 c | 100 | 1670 18604 38544 | 6821 100 7 | 5.150 % | 1.59/1.65 c =============================================================================== 1.59/1.66 c core #328 1.59/1.66 c 1.59/1.66 c 1.59/1.66 c Core size: 46 Core Weight: 1 Total Weight: -122 1.59/1.66 c Current CPU time: 1.63675 s 1.59/1.66 c 1.59/1.66 c ============================[ Search Statistics ]============================== 1.59/1.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.66 c =============================================================================== 1.59/1.66 c | 0 | 1704 18605 38612 | 6201 0 -nan | 0.000 % | 1.59/1.66 c | 100 | 1704 18605 38612 | 6821 100 19 | 0.000 % | 1.59/1.66 c | 250 | 1702 18605 38612 | 7504 250 19 | 0.117 % | 1.59/1.67 c | 476 | 1701 18605 38612 | 8254 476 18 | 0.176 % | 1.59/1.67 c =============================================================================== 1.59/1.67 c core #329 1.59/1.67 c 1.59/1.67 c 1.59/1.67 c Core size: 40 Core Weight: 1 Total Weight: -121 1.59/1.67 c Current CPU time: 1.65075 s 1.59/1.67 c 1.59/1.67 c ============================[ Search Statistics ]============================== 1.59/1.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.67 c =============================================================================== 1.59/1.67 c | 0 | 1738 18606 38680 | 6202 0 -nan | 0.000 % | 1.59/1.68 c =============================================================================== 1.59/1.68 c core #330 1.59/1.68 c 1.59/1.68 c 1.59/1.68 c Core size: 30 Core Weight: 1 Total Weight: -120 1.59/1.68 c Current CPU time: 1.65875 s 1.59/1.68 c 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 1764 18607 38732 | 6202 0 -nan | 0.000 % | 1.59/1.68 c | 100 | 1763 18607 38732 | 6822 100 11 | 0.057 % | 1.59/1.69 c =============================================================================== 1.59/1.69 c core #331 1.59/1.69 c 1.59/1.69 c 1.59/1.69 c Core size: 31 Core Weight: 1 Total Weight: -119 1.59/1.69 c Current CPU time: 1.66875 s 1.59/1.69 c 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 1792 18608 38788 | 6202 0 -nan | 0.000 % | 1.59/1.69 c | 100 | 1790 18608 38788 | 6822 100 11 | 0.112 % | 1.59/1.70 c =============================================================================== 1.69/1.70 c core #332 1.69/1.70 c 1.69/1.70 c 1.69/1.70 c Core size: 67 Core Weight: 1 Total Weight: -118 1.69/1.70 c Current CPU time: 1.67674 s 1.69/1.70 c 1.69/1.70 c ============================[ Search Statistics ]============================== 1.69/1.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.70 c =============================================================================== 1.69/1.70 c | 0 | 1832 18609 38868 | 6203 0 -nan | 0.000 % | 1.69/1.70 c | 102 | 1832 18609 38868 | 6823 102 7 | 0.000 % | 1.69/1.70 c =============================================================================== 1.69/1.71 c core #333 1.69/1.71 c 1.69/1.71 c 1.69/1.71 c Core size: 29 Core Weight: 1 Total Weight: -117 1.69/1.71 c Current CPU time: 1.68574 s 1.69/1.71 c 1.69/1.71 c ============================[ Search Statistics ]============================== 1.69/1.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.71 c =============================================================================== 1.69/1.71 c | 0 | 1856 18610 38916 | 6203 0 -nan | 0.000 % | 1.69/1.71 c | 101 | 1856 18610 38916 | 6823 101 12 | 0.000 % | 1.69/1.72 c | 254 | 1855 18610 38916 | 7506 254 11 | 0.054 % | 1.69/1.72 c =============================================================================== 1.69/1.73 c core #334 1.69/1.73 c 1.69/1.73 c 1.69/1.73 c Core size: 66 Core Weight: 1 Total Weight: -116 1.69/1.73 c Current CPU time: 1.69974 s 1.69/1.73 c 1.69/1.73 c ============================[ Search Statistics ]============================== 1.69/1.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.73 c =============================================================================== 1.69/1.73 c | 0 | 1918 18611 39040 | 6203 0 -nan | 0.000 % | 1.69/1.73 c | 102 | 1918 18611 39040 | 6824 102 14 | 0.000 % | 1.69/1.73 c | 254 | 1916 18611 39040 | 7506 254 15 | 0.104 % | 1.69/1.73 c | 479 | 1913 18611 39040 | 8257 479 16 | 0.261 % | 1.69/1.74 c =============================================================================== 1.69/1.75 c core #335 1.69/1.75 c 1.69/1.75 c 1.69/1.75 c Core size: 62 Core Weight: 1 Total Weight: -115 1.69/1.75 c Current CPU time: 1.72074 s 1.69/1.75 c 1.69/1.75 c ============================[ Search Statistics ]============================== 1.69/1.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.75 c =============================================================================== 1.69/1.75 c | 0 | 1978 18612 39160 | 6204 0 -nan | 0.000 % | 1.69/1.75 c =============================================================================== 1.69/1.76 c core #336 1.69/1.76 c 1.69/1.76 c 1.69/1.76 c Core size: 41 Core Weight: 1 Total Weight: -114 1.69/1.76 c Current CPU time: 1.72874 s 1.69/1.76 c 1.69/1.76 c ============================[ Search Statistics ]============================== 1.69/1.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.76 c =============================================================================== 1.69/1.76 c | 0 | 2014 18613 39232 | 6204 0 -nan | 0.000 % | 1.69/1.76 c | 101 | 2013 18613 39232 | 6824 101 8 | 0.050 % | 1.69/1.76 c =============================================================================== 1.69/1.77 c core #337 1.69/1.77 c 1.69/1.77 c 1.69/1.77 c Core size: 61 Core Weight: 1 Total Weight: -113 1.69/1.77 c Current CPU time: 1.73874 s 1.69/1.77 c 1.69/1.77 c ============================[ Search Statistics ]============================== 1.69/1.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.77 c =============================================================================== 1.69/1.77 c | 0 | 2064 18614 39332 | 6204 0 -nan | 0.000 % | 1.69/1.77 c | 100 | 2064 18614 39332 | 6825 100 11 | 0.000 % | 1.69/1.77 c | 251 | 2064 18614 39332 | 7507 251 17 | 0.000 % | 1.69/1.78 c | 476 | 2064 18614 39332 | 8258 476 16 | 0.000 % | 1.69/1.78 c | 813 | 2063 18614 39332 | 9084 813 14 | 0.048 % | 1.69/1.79 c =============================================================================== 1.79/1.80 c core #338 1.79/1.80 c 1.79/1.80 c 1.79/1.80 c Core size: 55 Core Weight: 1 Total Weight: -112 1.79/1.80 c Current CPU time: 1.75873 s 1.79/1.80 c 1.79/1.80 c ============================[ Search Statistics ]============================== 1.79/1.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.80 c =============================================================================== 1.79/1.80 c | 0 | 2112 18615 39428 | 6205 0 -nan | 0.000 % | 1.79/1.80 c | 101 | 2112 18615 39428 | 6825 101 13 | 0.000 % | 1.79/1.80 c | 252 | 2112 18615 39428 | 7508 252 13 | 0.000 % | 1.79/1.80 c =============================================================================== 1.79/1.81 c core #339 1.79/1.81 c 1.79/1.81 c 1.79/1.81 c Core size: 53 Core Weight: 1 Total Weight: -111 1.79/1.81 c Current CPU time: 1.76973 s 1.79/1.81 c 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 2164 18616 39532 | 6205 0 -nan | 0.000 % | 1.79/1.81 c | 101 | 2164 18616 39532 | 6825 101 15 | 0.000 % | 1.79/1.82 c | 252 | 2164 18616 39532 | 7508 252 13 | 0.000 % | 1.79/1.82 c | 477 | 2164 18616 39532 | 8259 477 15 | 0.000 % | 1.79/1.83 c | 815 | 2162 18616 39532 | 9085 815 16 | 0.092 % | 1.79/1.83 c =============================================================================== 1.79/1.84 c core #340 1.79/1.84 c 1.79/1.84 c 1.79/1.84 c Core size: 66 Core Weight: 1 Total Weight: -110 1.79/1.84 c Current CPU time: 1.79073 s 1.79/1.84 c 1.79/1.84 c ============================[ Search Statistics ]============================== 1.79/1.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.84 c =============================================================================== 1.79/1.84 c | 0 | 2220 18617 39644 | 6205 0 -nan | 0.000 % | 1.79/1.84 c | 101 | 2220 18617 39644 | 6826 101 15 | 0.000 % | 1.79/1.84 c | 251 | 2220 18617 39644 | 7508 251 14 | 0.000 % | 1.79/1.84 c | 476 | 2220 18617 39644 | 8259 476 17 | 0.000 % | 1.79/1.85 c | 813 | 2220 18617 39644 | 9085 813 19 | 0.000 % | 1.79/1.86 c | 1319 | 2220 18617 39644 | 9994 1319 18 | 0.000 % | 1.79/1.88 c | 2078 | 2218 18617 39644 | 10993 2078 20 | 0.092 % | 1.79/1.89 c =============================================================================== 1.89/1.90 c core #341 1.89/1.90 c 1.89/1.90 c 1.89/1.90 c Core size: 72 Core Weight: 1 Total Weight: -109 1.89/1.90 c Current CPU time: 1.84172 s 1.89/1.90 c 1.89/1.90 c ============================[ Search Statistics ]============================== 1.89/1.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.90 c =============================================================================== 1.89/1.90 c | 0 | 2288 18618 39780 | 6206 0 -nan | 0.000 % | 1.89/1.91 c | 100 | 2288 18618 39780 | 6826 100 11 | 0.000 % | 1.89/1.91 c | 250 | 2288 18618 39780 | 7509 250 13 | 0.000 % | 1.89/1.91 c | 477 | 2288 18618 39780 | 8260 477 18 | 0.000 % | 1.89/1.92 c | 817 | 2287 18618 39780 | 9086 817 20 | 0.044 % | 1.89/1.93 c | 1324 | 2284 18618 39780 | 9994 1324 24 | 0.175 % | 1.89/1.96 c | 2083 | 2283 18618 39780 | 10994 2083 30 | 0.219 % | 1.99/2.02 c | 3222 | 2280 18618 39780 | 12093 3222 32 | 0.350 % | 1.99/2.04 c =============================================================================== 1.99/2.06 c core #342 1.99/2.06 c 1.99/2.06 c 1.99/2.06 c Core size: 144 Core Weight: 1 Total Weight: -108 1.99/2.06 c Current CPU time: 1.9867 s 1.99/2.06 c 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 2408 18619 40020 | 6206 0 -nan | 0.000 % | 1.99/2.07 c | 102 | 2408 18619 40020 | 6826 102 22 | 0.000 % | 1.99/2.07 c | 253 | 2408 18619 40020 | 7509 253 19 | 0.000 % | 1.99/2.07 c | 479 | 2408 18619 40020 | 8260 479 22 | 0.000 % | 1.99/2.08 c | 816 | 2408 18619 40020 | 9086 816 26 | 0.000 % | 1.99/2.09 c | 1322 | 2407 18619 40020 | 9995 1322 27 | 0.042 % | 2.10/2.12 c | 2081 | 2406 18619 40020 | 10994 2081 33 | 0.083 % | 2.10/2.17 c | 3222 | 2406 18619 40020 | 12094 3222 42 | 0.083 % | 2.21/2.26 c | 4930 | 2406 18619 40020 | 13303 4930 52 | 0.083 % | 2.39/2.49 c | 7492 | 2406 18619 40020 | 14634 7492 60 | 0.083 % | 3.00/3.01 c | 11337 | 2406 18619 40020 | 16097 11337 66 | 0.083 % | 3.79/3.82 c | 17105 | 2405 18619 40020 | 17707 8965 57 | 0.125 % | 5.09/5.12 c | 25754 | 2403 18619 40020 | 19478 17614 62 | 0.209 % | 5.59/5.68 c =============================================================================== 5.79/5.87 c core #343 5.79/5.87 c 5.79/5.87 c 5.79/5.87 c Core size: 128 Core Weight: 1 Total Weight: -107 5.79/5.87 c Current CPU time: 5.70913 s 5.79/5.87 c 5.79/5.87 c ============================[ Search Statistics ]============================== 5.79/5.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.87 c =============================================================================== 5.79/5.87 c | 0 | 2524 18620 40252 | 6206 0 -nan | 0.000 % | 5.79/5.87 c | 102 | 2524 18620 40252 | 6827 102 31 | 0.000 % | 5.79/5.88 c | 253 | 2524 18620 40252 | 7510 253 26 | 0.000 % | 5.79/5.88 c | 478 | 2524 18620 40252 | 8261 478 27 | 0.000 % | 5.79/5.89 c | 815 | 2524 18620 40252 | 9087 815 32 | 0.000 % | 5.89/5.90 c | 1321 | 2524 18620 40252 | 9995 1321 38 | 0.000 % | 5.89/5.93 c | 2080 | 2524 18620 40252 | 10995 2080 41 | 0.000 % | 5.89/5.99 c | 3220 | 2524 18620 40252 | 12095 3220 43 | 0.000 % | 5.99/6.07 c | 4928 | 2524 18620 40252 | 13304 4928 44 | 0.000 % | 6.19/6.24 c | 7491 | 2524 18620 40252 | 14634 7491 48 | 0.000 % | 6.61/6.67 c | 11336 | 2524 18620 40252 | 16098 11336 51 | 0.000 % | 7.19/7.24 c | 17102 | 2524 18620 40252 | 17708 8972 46 | 0.000 % | 8.29/8.38 c | 25753 | 2524 18620 40252 | 19479 17623 48 | 0.000 % | 9.49/9.50 c =============================================================================== 9.70/9.71 c core #344 9.70/9.71 c 9.70/9.71 c 9.70/9.71 c Core size: 115 Core Weight: 1 Total Weight: -106 9.70/9.71 c Current CPU time: 9.44156 s 9.70/9.71 c 9.70/9.71 c ============================[ Search Statistics ]============================== 9.70/9.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.70/9.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.70/9.71 c =============================================================================== 9.70/9.71 c | 0 | 2616 18621 40436 | 6207 0 -nan | 0.000 % | 9.70/9.71 c | 100 | 2616 18621 40436 | 6827 100 15 | 0.000 % | 9.70/9.71 c | 250 | 2616 18621 40436 | 7510 250 20 | 0.000 % | 9.70/9.72 c | 475 | 2616 18621 40436 | 8261 475 20 | 0.000 % | 9.70/9.73 c | 814 | 2616 18621 40436 | 9087 814 21 | 0.000 % | 9.70/9.74 c | 1320 | 2616 18621 40436 | 9996 1320 35 | 0.000 % | 9.70/9.76 c | 2079 | 2616 18621 40436 | 10996 2079 42 | 0.000 % | 9.79/9.82 c | 3218 | 2616 18621 40436 | 12095 3218 53 | 0.000 % | 9.91/9.93 c | 4926 | 2616 18621 40436 | 13305 4926 61 | 0.000 % | 10.10/10.13 c | 7489 | 2616 18621 40436 | 14635 7489 66 | 0.000 % | 10.49/10.55 c | 11336 | 2616 18621 40436 | 16099 11336 69 | 0.000 % | 11.49/11.55 c | 17102 | 2616 18621 40436 | 17709 8948 67 | 0.000 % | 12.39/12.42 c | 25752 | 2616 18621 40436 | 19480 17598 73 | 0.000 % | 14.69/14.78 c | 38727 | 2616 18621 40436 | 21428 10987 75 | 0.000 % | 17.69/17.74 c | 58189 | 2616 18621 40436 | 23571 19676 68 | 0.000 % | 22.69/22.72 c | 87381 | 2616 18621 40436 | 25928 13161 51 | 0.000 % | 25.89/25.91 c =============================================================================== 26.59/26.66 c core #345 26.59/26.66 c 26.59/26.66 c 26.59/26.66 c Core size: 222 Core Weight: 1 Total Weight: -105 26.59/26.66 c Current CPU time: 26.063 s 26.59/26.66 c 26.59/26.66 c ============================[ Search Statistics ]============================== 26.59/26.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.59/26.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.59/26.66 c =============================================================================== 26.59/26.66 c | 0 | 2760 18622 40724 | 6207 0 -nan | 0.000 % | 26.59/26.66 c | 100 | 2760 18622 40724 | 6828 100 14 | 0.000 % | 26.59/26.67 c | 250 | 2760 18622 40724 | 7510 250 17 | 0.000 % | 26.59/26.67 c | 475 | 2760 18622 40724 | 8261 475 25 | 0.000 % | 26.59/26.68 c | 812 | 2760 18622 40724 | 9088 812 28 | 0.000 % | 26.59/26.69 c | 1319 | 2760 18622 40724 | 9996 1319 36 | 0.000 % | 26.69/26.72 c | 2079 | 2760 18622 40724 | 10996 2079 43 | 0.000 % | 26.69/26.77 c | 3218 | 2760 18622 40724 | 12096 3218 53 | 0.000 % | 26.79/26.88 c | 4929 | 2760 18622 40724 | 13305 4929 61 | 0.000 % | 27.10/27.10 c | 7492 | 2760 18622 40724 | 14636 7492 63 | 0.000 % | 27.51/27.54 c | 11336 | 2760 18622 40724 | 16100 11336 67 | 0.000 % | 28.19/28.24 c | 17103 | 2760 18622 40724 | 17710 8998 66 | 0.000 % | 29.70/29.74 c | 25752 | 2760 18622 40724 | 19481 17647 72 | 0.000 % | 31.29/31.35 c | 38726 | 2760 18622 40724 | 21429 10842 55 | 0.000 % | 34.29/34.39 c | 58188 | 2760 18622 40724 | 23572 19423 57 | 0.000 % | 37.19/37.27 c =============================================================================== 37.69/37.76 c core #346 37.69/37.76 c 37.69/37.76 c 37.69/37.76 c Core size: 161 Core Weight: 1 Total Weight: -104 37.69/37.76 c Current CPU time: 36.9554 s 37.69/37.76 c 37.69/37.76 c ============================[ Search Statistics ]============================== 37.69/37.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 37.69/37.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 37.69/37.76 c =============================================================================== 37.69/37.76 c | 0 | 2862 18623 40928 | 6207 0 -nan | 0.000 % | 37.69/37.76 c | 100 | 2862 18623 40928 | 6828 100 18 | 0.000 % | 37.69/37.77 c | 250 | 2862 18623 40928 | 7511 250 18 | 0.000 % | 37.69/37.77 c | 478 | 2862 18623 40928 | 8262 478 24 | 0.000 % | 37.69/37.78 c | 815 | 2862 18623 40928 | 9088 815 29 | 0.000 % | 37.79/37.80 c | 1321 | 2862 18623 40928 | 9997 1321 37 | 0.000 % | 37.79/37.82 c | 2081 | 2862 18623 40928 | 10997 2081 45 | 0.000 % | 37.79/37.88 c | 3221 | 2862 18623 40928 | 12096 3221 55 | 0.000 % | 37.99/38.00 c | 4929 | 2862 18623 40928 | 13306 4929 76 | 0.000 % | 38.19/38.25 c | 7496 | 2862 18623 40928 | 14637 7496 83 | 0.000 % | 38.69/38.75 c | 11340 | 2862 18623 40928 | 16101 11340 89 | 0.000 % | 39.79/39.80 c | 17106 | 2862 18623 40928 | 17711 9026 90 | 0.000 % | 40.79/40.88 c | 25755 | 2862 18623 40928 | 19482 17675 92 | 0.000 % | 43.39/43.47 c | 38729 | 2862 18623 40928 | 21430 10981 83 | 0.000 % | 46.59/46.69 c | 58193 | 2862 18623 40928 | 23573 19660 122 | 0.000 % | 53.80/53.82 c | 87386 | 2862 18623 40928 | 25930 13104 148 | 0.000 % | 60.59/60.68 c | 131177 | 2856 18623 40928 | 28524 16807 95 | 0.210 % | 73.89/73.96 c | 196862 | 2856 18623 40928 | 31376 22734 107 | 0.210 % | 97.39/97.48 c | 295388 | 2856 18623 40928 | 34514 18206 91 | 0.210 % | 137.89/137.91 c | 443179 | 2856 18623 40928 | 37965 25102 121 | 0.210 % | 195.29/195.36 c | 664862 | 2856 18623 40928 | 41762 36307 111 | 0.210 % | 285.80/285.89 c | 997387 | 2856 18623 40928 | 45938 24399 96 | 0.210 % | 393.71/393.79 c =============================================================================== 409.10/409.12 c core #347 409.10/409.12 c 409.10/409.12 c 409.10/409.12 c Core size: 253 Core Weight: 1 Total Weight: -103 409.10/409.12 c Current CPU time: 404.078 s 409.10/409.12 c 409.10/409.12 c ============================[ Search Statistics ]============================== 409.10/409.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 409.10/409.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 409.10/409.12 c =============================================================================== 409.10/409.12 c | 0 | 3090 18624 41384 | 6208 0 -nan | 0.000 % | 409.10/409.12 c | 101 | 3090 18624 41384 | 6828 101 27 | 0.000 % | 409.10/409.13 c | 253 | 3090 18624 41384 | 7511 253 29 | 0.000 % | 409.10/409.13 c | 478 | 3090 18624 41384 | 8262 478 29 | 0.000 % | 409.10/409.14 c | 815 | 3090 18624 41384 | 9089 815 46 | 0.000 % | 409.10/409.15 c | 1321 | 3090 18624 41384 | 9998 1321 51 | 0.000 % | 409.10/409.18 c | 2080 | 3090 18624 41384 | 10997 2080 54 | 0.000 % | 409.21/409.23 c | 3219 | 3090 18624 41384 | 12097 3219 60 | 0.000 % | 409.30/409.30 c | 4929 | 3090 18624 41384 | 13307 4929 68 | 0.000 % | 409.40/409.49 c | 7491 | 3090 18624 41384 | 14638 7491 88 | 0.000 % | 409.80/409.89 c | 11335 | 3090 18624 41384 | 16101 11335 108 | 0.000 % | 410.70/410.71 c | 17105 | 3090 18624 41384 | 17712 8917 143 | 0.000 % | 412.41/412.45 c | 25759 | 3090 18624 41384 | 19483 17571 146 | 0.000 % | 414.80/414.81 c | 38735 | 3090 18624 41384 | 21431 10798 109 | 0.000 % | 417.80/417.86 c | 58197 | 3090 18624 41384 | 23574 19413 103 | 0.000 % | 422.80/422.87 c | 87394 | 3090 18624 41384 | 25932 12876 91 | 0.000 % | 431.22/431.26 c | 131184 | 3090 18624 41384 | 28525 16706 102 | 0.000 % | 448.40/448.40 c | 196873 | 3090 18624 41384 | 31378 22379 127 | 0.000 % | 470.71/470.80 c | 295399 | 3090 18624 41384 | 34515 16238 109 | 0.000 % | 516.51/516.57 c | 443188 | 3090 18624 41384 | 37967 21996 138 | 0.000 % | 573.90/573.97 c | 664871 | 3090 18624 41384 | 41764 30151 165 | 0.000 % | 668.20/668.21 c | 997397 | 3090 18624 41384 | 45940 14845 135 | 0.000 % | 804.91/804.91 c | 1496185 | 3090 18624 41384 | 50534 20125 97 | 0.000 % | 1029.41/1029.41 c | 2244367 | 3090 18624 41384 | 55588 27173 104 | 0.000 % | 1387.82/1387.85 c | 3366641 | 3090 18624 41384 | 61147 32998 117 | 0.000 % | 1507.83/1507.81 c =============================================================================== 1555.23/1555.23 c core #348 1555.23/1555.23 c 1555.23/1555.23 c 1555.23/1555.23 c Core size: 164 Core Weight: 1 Total Weight: -102 1555.23/1555.23 c Current CPU time: 1538.99 s 1555.23/1555.23 c 1555.23/1555.23 c ============================[ Search Statistics ]============================== 1555.23/1555.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1555.23/1555.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1555.23/1555.23 c =============================================================================== 1555.23/1555.23 c | 0 | 3250 18625 41704 | 6208 0 -nan | 0.000 % | 1555.23/1555.24 c | 100 | 3250 18625 41704 | 6829 100 33 | 0.000 % | 1555.23/1555.25 c | 250 | 3250 18625 41704 | 7512 250 29 | 0.000 % | 1555.23/1555.25 c | 475 | 3250 18625 41704 | 8263 475 39 | 0.000 % | 1555.23/1555.26 c | 813 | 3250 18625 41704 | 9089 813 47 | 0.000 % | 1555.23/1555.27 c | 1319 | 3250 18625 41704 | 9998 1319 55 | 0.000 % | 1555.23/1555.31 c | 2080 | 3250 18625 41704 | 10998 2080 77 | 0.000 % | 1555.33/1555.37 c | 3219 | 3250 18625 41704 | 12098 3219 87 | 0.000 % | 1555.45/1555.48 c | 4931 | 3250 18625 41704 | 13308 4931 101 | 0.000 % | 1555.72/1555.75 c | 7494 | 3250 18625 41704 | 14638 7494 132 | 0.000 % | 1556.43/1556.45 c | 11340 | 3250 18625 41704 | 16102 11340 162 | 0.000 % | 1557.72/1557.78 c | 17108 | 3250 18625 41704 | 17713 8951 198 | 0.000 % | 1559.43/1559.42 c | 25757 | 3250 18625 41704 | 19484 17600 199 | 0.000 % | 1562.73/1562.70 c | 38732 | 3250 18625 41704 | 21432 10868 217 | 0.000 % | 1565.52/1565.58 c | 58193 | 3250 18625 41704 | 23576 19207 169 | 0.000 % | 1573.43/1573.47 c | 87386 | 3250 18625 41704 | 25933 12406 145 | 0.000 % | 1587.23/1587.28 c | 131176 | 3250 18625 41704 | 28527 17090 194 | 0.000 % | 1607.53/1607.57 c | 196864 | 3250 18625 41704 | 31379 21149 192 | 0.000 % | 1636.33/1636.32 c | 295393 | 3250 18625 41704 | 34517 28900 211 | 0.000 % | 1685.53/1685.59 c | 443183 | 3250 18625 41704 | 37969 26430 227 | 0.000 % | 1754.33/1754.35 c | 664867 | 3250 18625 41704 | 41766 26890 230 | 0.000 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460821-1307094814/watcher-3460821-1307094814 -o /tmp/evaluation-result-3460821-1307094814/solver-3460821-1307094814 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460821-1307094814.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.92 2.01 2.04 1/486 10924 /proc/meminfo: memFree=21527428/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=2660 CPUtime=0 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 372 0 0 0 0 0 0 0 25 0 1 0 553672627 2723840 325 33554432000 4194304 5714214 140734870129424 18446744073709551615 4232592 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 665 325 183 372 0 186 0 [startup+0.071428 s] /proc/loadavg: 1.92 2.01 2.04 1/486 10924 /proc/meminfo: memFree=21527428/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=6828 CPUtime=0.06 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 1671 0 0 0 6 0 0 0 25 0 1 0 553672627 6991872 1411 33554432000 4194304 5714214 140734870129424 18446744073709551615 4964704 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 1707 1411 175 372 0 1332 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6828 [startup+0.100421 s] /proc/loadavg: 1.92 2.01 2.04 1/486 10924 /proc/meminfo: memFree=21527428/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=6828 CPUtime=0.09 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 1682 0 0 0 9 0 0 0 25 0 1 0 553672627 6991872 1422 33554432000 4194304 5714214 140734870129424 18446744073709551615 4342291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 1707 1422 175 372 0 1332 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6828 [startup+0.300385 s] /proc/loadavg: 1.92 2.01 2.04 1/486 10924 /proc/meminfo: memFree=21527428/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=7084 CPUtime=0.29 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 1854 0 0 0 29 0 0 0 25 0 1 0 553672627 7254016 1466 33554432000 4194304 5714214 140734870129424 18446744073709551615 4345890 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 1771 1466 175 372 0 1396 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7084 [startup+0.700316 s] /proc/loadavg: 1.92 2.01 2.04 1/486 10924 /proc/meminfo: memFree=21527428/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=7912 CPUtime=0.69 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 2140 0 0 0 69 0 0 0 25 0 1 0 553672627 8101888 1671 33554432000 4194304 5714214 140734870129424 18446744073709551615 4964715 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 1978 1671 175 372 0 1603 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7912 [startup+1.50018 s] /proc/loadavg: 1.92 2.01 2.04 3/487 10937 /proc/meminfo: memFree=21523416/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=9752 CPUtime=1.49 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 2928 0 0 0 148 1 0 0 18 0 1 0 553672627 9986048 2139 33554432000 4194304 5714214 140734870129424 18446744073709551615 4356063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 2438 2139 179 372 0 2063 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9752 [startup+3.10089 s] /proc/loadavg: 1.92 2.01 2.04 3/489 10952 /proc/meminfo: memFree=21513488/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=15020 CPUtime=3.09 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 4337 0 0 0 298 11 0 0 18 0 1 0 553672627 15380480 3476 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 3755 3476 180 372 0 3380 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15020 [startup+6.30033 s] /proc/loadavg: 2.01 2.02 2.04 3/489 10952 /proc/meminfo: memFree=21495548/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=20964 CPUtime=6.29 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 5773 0 0 0 613 16 0 0 25 0 1 0 553672627 21467136 4912 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 5241 4912 180 372 0 4866 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20964 [startup+12.7002 s] /proc/loadavg: 2.01 2.02 2.04 3/489 10952 /proc/meminfo: memFree=21484748/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=22648 CPUtime=12.69 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 6230 0 0 0 1235 34 0 0 19 0 1 0 553672627 23191552 5369 33554432000 4194304 5714214 140734870129424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 5662 5369 180 372 0 5287 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22648 [startup+25.5009 s] /proc/loadavg: 2.00 2.02 2.04 3/489 10953 /proc/meminfo: memFree=21463444/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=34700 CPUtime=25.5 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 9192 0 0 0 2496 54 0 0 25 0 1 0 553672627 35532800 8331 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/10924/statm: 8675 8331 180 372 0 8300 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 34700 [startup+51.1004 s] /proc/loadavg: 2.15 2.05 2.05 3/489 10953 /proc/meminfo: memFree=21445088/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=38752 CPUtime=51.09 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 10366 0 0 0 5012 97 0 0 25 0 1 0 553672627 39682048 9419 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 9688 9419 180 372 0 9313 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 38752 [startup+102.318 s] /proc/loadavg: 2.14 2.06 2.05 3/489 10955 /proc/meminfo: memFree=21372276/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=82244 CPUtime=102.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 21072 0 0 0 10069 161 0 0 25 0 1 0 553672627 84217856 20125 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 20561 20125 180 372 0 20186 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 82244 [startup+162.301 s] /proc/loadavg: 2.19 2.09 2.06 3/489 10959 /proc/meminfo: memFree=21315060/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=125316 CPUtime=162.29 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 31694 0 0 0 16008 221 0 0 25 0 1 0 553672627 128323584 30747 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 31329 30747 180 372 0 30954 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 125316 [startup+222.3 s] /proc/loadavg: 2.11 2.08 2.06 3/489 10961 /proc/meminfo: memFree=21261868/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=162796 CPUtime=222.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 40887 0 0 0 21955 275 0 0 25 0 1 0 553672627 166703104 39940 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 40699 39940 180 372 0 40324 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 162796 [startup+282.301 s] /proc/loadavg: 2.04 2.07 2.05 3/489 10962 /proc/meminfo: memFree=21222040/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=202608 CPUtime=282.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 50793 0 0 0 27892 338 0 0 25 0 1 0 553672627 207470592 49846 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 50652 49846 180 372 0 50277 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 202608 [startup+342.301 s] /proc/loadavg: 2.01 2.05 2.05 3/489 10964 /proc/meminfo: memFree=21172912/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=244036 CPUtime=342.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 60935 0 0 0 33837 393 0 0 25 0 1 0 553672627 249892864 59988 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 61009 59988 180 372 0 60634 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 244036 [startup+402.301 s] /proc/loadavg: 2.00 2.04 2.04 3/489 10966 /proc/meminfo: memFree=21068348/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=317904 CPUtime=402.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 79387 0 0 0 39796 434 0 0 25 0 1 0 553672627 325533696 78440 33554432000 4194304 5714214 140734870129424 18446744073709551615 4324876 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 79476 78440 180 372 0 79101 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 317904 [startup+462.301 s] /proc/loadavg: 2.00 2.03 2.04 3/489 10976 /proc/meminfo: memFree=21044584/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=319360 CPUtime=462.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 79842 0 0 0 45727 503 0 0 25 0 1 0 553672627 327024640 78804 33554432000 4194304 5714214 140734870129424 18446744073709551615 4320112 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 79840 78804 180 372 0 79465 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 319360 [startup+522.3 s] /proc/loadavg: 2.00 2.02 2.03 3/489 10978 /proc/meminfo: memFree=21015332/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=319360 CPUtime=522.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 79877 0 0 0 51672 558 0 0 25 0 1 0 553672627 327024640 78839 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 79840 78839 180 372 0 79465 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 319360 [startup+582.301 s] /proc/loadavg: 2.00 2.02 2.02 3/489 10979 /proc/meminfo: memFree=20988536/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=319360 CPUtime=582.3 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 79977 0 0 0 57608 622 0 0 25 0 1 0 553672627 327024640 78939 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 79840 78939 180 372 0 79465 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 319360 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.04 2.06 2.03 3/489 10986 /proc/meminfo: memFree=20890104/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=319360 CPUtime=822.31 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 80518 0 0 0 81381 850 0 0 25 0 1 0 553672627 327024640 79480 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 79840 79480 180 372 0 79465 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 319360 [startup+882.301 s] /proc/loadavg: 2.01 2.05 2.03 3/489 10987 /proc/meminfo: memFree=20856344/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=333676 CPUtime=882.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 84063 0 0 0 87324 908 0 0 25 0 1 0 553672627 341684224 83025 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 83419 83025 180 372 0 83044 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 333676 [startup+942.3 s] /proc/loadavg: 2.00 2.04 2.02 3/489 10989 /proc/meminfo: memFree=20807836/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=362120 CPUtime=942.31 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 91076 0 0 0 93277 954 0 0 25 0 1 0 553672627 370810880 90038 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 90530 90038 180 372 0 90155 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 362120 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.02 3/489 10991 /proc/meminfo: memFree=20762664/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=391052 CPUtime=1002.31 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 98175 0 0 0 99230 1001 0 0 25 0 1 0 553672627 400437248 97137 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 97763 97137 180 372 0 97388 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 391052 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.01 3/489 10992 /proc/meminfo: memFree=20696652/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=430376 CPUtime=1062.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 107937 0 0 0 105177 1055 0 0 25 0 1 0 553672627 440705024 106899 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 107594 106899 180 372 0 107219 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 430376 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 10994 /proc/meminfo: memFree=20650128/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=463296 CPUtime=1122.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 116064 0 0 0 111125 1107 0 0 25 0 1 0 553672627 474415104 115026 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 115824 115026 180 372 0 115449 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 463296 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 10995 /proc/meminfo: memFree=20588724/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=498272 CPUtime=1182.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 124717 0 0 0 117079 1153 0 0 25 0 1 0 553672627 510230528 123679 33554432000 4194304 5714214 140734870129424 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 124568 123679 180 372 0 124193 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 498272 [startup+1242.3 s] /proc/loadavg: 2.06 2.02 2.00 3/489 10997 /proc/meminfo: memFree=20541708/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=527028 CPUtime=1242.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 131796 0 0 0 123025 1207 0 0 25 0 1 0 553672627 539676672 130758 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 131757 130758 180 372 0 131382 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 527028 [startup+1302.3 s] /proc/loadavg: 2.09 2.03 2.00 3/489 10999 /proc/meminfo: memFree=20478076/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=561724 CPUtime=1302.33 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 140339 0 0 0 128965 1268 0 0 25 0 1 0 553672627 575205376 139301 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 140431 139301 180 372 0 140056 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 561724 [startup+1362.3 s] /proc/loadavg: 2.03 2.02 2.00 3/489 11000 /proc/meminfo: memFree=20427092/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=590120 CPUtime=1362.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 147331 0 0 0 134909 1323 0 0 25 0 1 0 553672627 604282880 146293 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 147530 146293 180 372 0 147155 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 590120 [startup+1422.32 s] /proc/loadavg: 2.01 2.02 2.00 3/489 11002 /proc/meminfo: memFree=20376468/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=619016 CPUtime=1422.34 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 154456 0 0 0 140869 1365 0 0 25 0 1 0 553672627 633872384 153418 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 154754 153418 180 372 0 154379 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 619016 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 11003 /proc/meminfo: memFree=20335148/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=645060 CPUtime=1482.32 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 160844 0 0 0 146829 1403 0 0 25 0 1 0 553672627 660541440 159806 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 161265 159806 180 372 0 160890 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 645060 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 11005 /proc/meminfo: memFree=20180108/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=778260 CPUtime=1542.33 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 194104 0 0 0 152800 1433 0 0 25 0 1 0 553672627 796938240 193066 33554432000 4194304 5714214 140734870129424 18446744073709551615 4324856 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 194565 193066 180 372 0 194190 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 778260 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 11007 /proc/meminfo: memFree=20157868/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=779500 CPUtime=1602.33 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 194558 0 0 0 158752 1481 0 0 25 0 1 0 553672627 798208000 193399 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 194875 193399 180 372 0 194500 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 779500 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 11008 /proc/meminfo: memFree=20126224/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=779500 CPUtime=1662.33 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 194578 0 0 0 164697 1536 0 0 25 0 1 0 553672627 798208000 193419 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 194875 193419 180 372 0 194500 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 779500 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/489 11010 /proc/meminfo: memFree=20100892/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=779500 CPUtime=1722.33 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 194702 0 0 0 170646 1587 0 0 25 0 1 0 553672627 798208000 193543 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 194875 193543 180 372 0 194500 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 779500 [startup+1782.3 s] /proc/loadavg: 2.08 2.02 2.01 3/489 11011 /proc/meminfo: memFree=20060936/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=779500 CPUtime=1782.33 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 194867 0 0 0 176594 1639 0 0 25 0 1 0 553672627 798208000 193708 33554432000 4194304 5714214 140734870129424 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 194875 193708 180 372 0 194500 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 779500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.06 2.01 2.00 3/489 11012 /proc/meminfo: memFree=20059076/32951124 swapFree=46575304/67111528 [pid=10924] ppid=10922 vsize=779500 CPUtime=1800.03 cores=1,3,5,7 /proc/10924/stat : 10924 (wbo1.6) R 10922 10924 5006 0 -1 4202496 194956 0 0 0 178351 1652 0 0 25 0 1 0 553672627 798208000 193797 33554432000 4194304 5714214 140734870129424 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/10924/statm: 194875 193797 180 372 0 194500 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 779500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.09 CPU user time (s): 1783.53 CPU system time (s): 16.5615 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 780224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1783.53 system time used= 16.5615 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 194956 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= 31 involuntary context switches= 1941 runsolver used 8.17076 second user time and 19.922 second system time The end
Begin job on node107 at 2011-06-03 11:53:34 IDJOB=3460821 IDBENCH=2236 IDSOLVER=1953 FILE ID=node107/3460821-1307094814 RUNJOBID= node107-1307093011-10828 PBS_JOBID= 13497967 Free space on /tmp= 73856 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460821-1307094814/watcher-3460821-1307094814 -o /tmp/evaluation-result-3460821-1307094814/solver-3460821-1307094814 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460821-1307094814.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED=83870425 node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5359.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21527584 kB Buffers: 307416 kB Cached: 2061296 kB SwapCached: 22548 kB Active: 9122476 kB Inactive: 1951676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21527584 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 4700 kB Writeback: 0 kB AnonPages: 8701232 kB Mapped: 32644 kB Slab: 185804 kB PageTables: 94384 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145112328 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73856 MiB End job on node107 at 2011-06-03 12:23:36