Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.12 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb |
MD5SUM | 8eb6af86f71dc4b72baf669ed918f50c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1448 |
Best CPU time to get the best result obtained on this benchmark | 6.36703 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1448 |
Optimality of the best value was proved | NO |
Number of variables | 3002 |
Total number of constraints | 5076 |
Number of constraints which are clauses | 5076 |
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 | 1 |
Maximum length of a constraint | 6 |
Number of terms in the objective function | 3002 |
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 | 3002 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3002 |
Number of bits of the biggest sum of numbers | 12 |
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-3460912-1307087773.opb. 0.00/0.00 c Instance file HOME/instance-3460912-1307087773.opb 0.00/0.00 c File size is 159941 bytes. 0.00/0.01 c Highest Coefficient sum: 7 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 3002 | 0.00/0.01 c | Number Clauses: 5076 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 2922 5076 4441 | 5000 0 -nan | 0.000 % | 0.03/0.04 c core #1 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 43 0.03/0.04 c Current CPU time: 0.014997 s 0.03/0.04 c 0.03/0.04 c core #2 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 52 0.03/0.04 c Current CPU time: 0.014997 s 0.03/0.04 c 0.03/0.04 c core #3 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 61 0.03/0.04 c Current CPU time: 0.015997 s 0.03/0.04 c 0.03/0.04 c core #4 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 64 0.03/0.04 c Current CPU time: 0.016997 s 0.03/0.04 c 0.03/0.04 c core #5 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 67 0.03/0.04 c Current CPU time: 0.017997 s 0.03/0.04 c 0.03/0.04 c core #6 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 70 0.03/0.04 c Current CPU time: 0.017997 s 0.03/0.04 c 0.03/0.04 c core #7 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 73 0.03/0.04 c Current CPU time: 0.018997 s 0.03/0.04 c 0.03/0.04 c core #8 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 76 0.03/0.04 c Current CPU time: 0.019996 s 0.03/0.04 c 0.03/0.04 c core #9 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 85 0.03/0.04 c Current CPU time: 0.020996 s 0.03/0.04 c 0.03/0.04 c core #10 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 88 0.03/0.04 c Current CPU time: 0.020996 s 0.03/0.04 c 0.03/0.04 c core #11 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 91 0.03/0.04 c Current CPU time: 0.021996 s 0.03/0.04 c 0.03/0.04 c core #12 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 94 0.03/0.04 c Current CPU time: 0.022996 s 0.03/0.04 c 0.03/0.04 c core #13 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 11 Total Weight: 105 0.03/0.04 c Current CPU time: 0.023996 s 0.03/0.04 c 0.03/0.04 c core #14 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 108 0.03/0.04 c Current CPU time: 0.023996 s 0.03/0.04 c 0.03/0.04 c core #15 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 117 0.03/0.04 c Current CPU time: 0.024996 s 0.03/0.04 c 0.03/0.04 c core #16 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 120 0.03/0.04 c Current CPU time: 0.025996 s 0.03/0.04 c 0.03/0.04 c core #17 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 123 0.03/0.04 c Current CPU time: 0.026995 s 0.03/0.04 c 0.03/0.04 c core #18 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 132 0.03/0.04 c Current CPU time: 0.026995 s 0.03/0.04 c 0.03/0.04 c core #19 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 135 0.03/0.04 c Current CPU time: 0.027995 s 0.03/0.04 c 0.03/0.04 c core #20 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 138 0.03/0.04 c Current CPU time: 0.028995 s 0.03/0.04 c 0.03/0.04 c core #21 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 141 0.03/0.04 c Current CPU time: 0.028995 s 0.03/0.04 c 0.03/0.04 c core #22 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 144 0.03/0.04 c Current CPU time: 0.029995 s 0.03/0.04 c 0.03/0.04 c core #23 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 153 0.03/0.04 c Current CPU time: 0.030995 s 0.03/0.04 c 0.03/0.04 c core #24 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 10 Total Weight: 163 0.03/0.04 c Current CPU time: 0.031995 s 0.03/0.04 c 0.03/0.04 c core #25 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 166 0.03/0.04 c Current CPU time: 0.031995 s 0.03/0.04 c 0.03/0.04 c core #26 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 17 Total Weight: 183 0.03/0.04 c Current CPU time: 0.032994 s 0.03/0.04 c 0.03/0.04 c core #27 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 192 0.03/0.04 c Current CPU time: 0.033994 s 0.03/0.04 c 0.03/0.04 c core #28 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 10 Total Weight: 202 0.03/0.04 c Current CPU time: 0.034994 s 0.03/0.04 c 0.03/0.04 c core #29 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 211 0.03/0.04 c Current CPU time: 0.035994 s 0.03/0.04 c 0.03/0.04 c core #30 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 214 0.03/0.04 c Current CPU time: 0.035994 s 0.03/0.04 c 0.03/0.04 c core #31 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 223 0.03/0.04 c Current CPU time: 0.036994 s 0.03/0.04 c 0.03/0.04 c core #32 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 226 0.03/0.04 c Current CPU time: 0.037994 s 0.03/0.04 c 0.03/0.04 c core #33 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 11 Total Weight: 237 0.03/0.04 c Current CPU time: 0.038994 s 0.03/0.04 c 0.03/0.04 c core #34 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 240 0.03/0.04 c Current CPU time: 0.038994 s 0.03/0.04 c 0.03/0.04 c core #35 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 243 0.03/0.04 c Current CPU time: 0.039993 s 0.03/0.04 c 0.03/0.04 c core #36 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 246 0.03/0.04 c Current CPU time: 0.040993 s 0.03/0.04 c 0.03/0.04 c core #37 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 255 0.03/0.04 c Current CPU time: 0.041993 s 0.03/0.04 c 0.03/0.04 c core #38 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 264 0.03/0.04 c Current CPU time: 0.041993 s 0.03/0.04 c 0.03/0.04 c core #39 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 273 0.03/0.04 c Current CPU time: 0.042993 s 0.03/0.04 c 0.03/0.04 c core #40 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 11 Total Weight: 284 0.03/0.04 c Current CPU time: 0.043993 s 0.03/0.04 c 0.03/0.04 c core #41 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 9 Total Weight: 293 0.03/0.04 c Current CPU time: 0.044993 s 0.03/0.04 c 0.03/0.04 c core #42 0.03/0.04 c 0.03/0.04 c 0.03/0.04 c Core size: 2 Core Weight: 3 Total Weight: 296 0.03/0.04 c Current CPU time: 0.044993 s 0.03/0.08 c 0.03/0.08 c core #43 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 305 0.03/0.08 c Current CPU time: 0.045993 s 0.03/0.08 c 0.03/0.08 c core #44 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 6 Total Weight: 311 0.03/0.08 c Current CPU time: 0.046992 s 0.03/0.08 c 0.03/0.08 c core #45 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 314 0.03/0.08 c Current CPU time: 0.047992 s 0.03/0.08 c 0.03/0.08 c core #46 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 323 0.03/0.08 c Current CPU time: 0.047992 s 0.03/0.08 c 0.03/0.08 c core #47 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 10 Total Weight: 333 0.03/0.08 c Current CPU time: 0.048992 s 0.03/0.08 c 0.03/0.08 c core #48 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 336 0.03/0.08 c Current CPU time: 0.049992 s 0.03/0.08 c 0.03/0.08 c core #49 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 345 0.03/0.08 c Current CPU time: 0.050992 s 0.03/0.08 c 0.03/0.08 c core #50 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 354 0.03/0.08 c Current CPU time: 0.051992 s 0.03/0.08 c 0.03/0.08 c core #51 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 363 0.03/0.08 c Current CPU time: 0.051992 s 0.03/0.08 c 0.03/0.08 c core #52 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 7 Total Weight: 370 0.03/0.08 c Current CPU time: 0.052991 s 0.03/0.08 c 0.03/0.08 c core #53 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 379 0.03/0.08 c Current CPU time: 0.053991 s 0.03/0.08 c 0.03/0.08 c core #54 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 388 0.03/0.08 c Current CPU time: 0.054991 s 0.03/0.08 c 0.03/0.08 c core #55 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 397 0.03/0.08 c Current CPU time: 0.055991 s 0.03/0.08 c 0.03/0.08 c core #56 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 406 0.03/0.08 c Current CPU time: 0.055991 s 0.03/0.08 c 0.03/0.08 c core #57 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 415 0.03/0.08 c Current CPU time: 0.056991 s 0.03/0.08 c 0.03/0.08 c core #58 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 418 0.03/0.08 c Current CPU time: 0.057991 s 0.03/0.08 c 0.03/0.08 c core #59 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 427 0.03/0.08 c Current CPU time: 0.058991 s 0.03/0.08 c 0.03/0.08 c core #60 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 430 0.03/0.08 c Current CPU time: 0.05999 s 0.03/0.08 c 0.03/0.08 c core #61 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 439 0.03/0.08 c Current CPU time: 0.05999 s 0.03/0.08 c 0.03/0.08 c core #62 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 2 Total Weight: 441 0.03/0.08 c Current CPU time: 0.05999 s 0.03/0.08 c 0.03/0.08 c core #63 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 2 Total Weight: 443 0.03/0.08 c Current CPU time: 0.06099 s 0.03/0.08 c 0.03/0.08 c core #64 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 448 0.03/0.08 c Current CPU time: 0.06199 s 0.03/0.08 c 0.03/0.08 c core #65 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 9 Total Weight: 457 0.03/0.08 c Current CPU time: 0.06299 s 0.03/0.08 c 0.03/0.08 c core #66 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 34 Total Weight: 491 0.03/0.08 c Current CPU time: 0.06299 s 0.03/0.08 c 0.03/0.08 c core #67 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 496 0.03/0.08 c Current CPU time: 0.06399 s 0.03/0.08 c 0.03/0.08 c core #68 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 500 0.03/0.08 c Current CPU time: 0.06499 s 0.03/0.08 c 0.03/0.08 c core #69 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 505 0.03/0.08 c Current CPU time: 0.065989 s 0.03/0.08 c 0.03/0.08 c core #70 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 509 0.03/0.08 c Current CPU time: 0.066989 s 0.03/0.08 c 0.03/0.08 c core #71 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 514 0.03/0.08 c Current CPU time: 0.066989 s 0.03/0.08 c 0.03/0.08 c core #72 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 518 0.03/0.08 c Current CPU time: 0.067989 s 0.03/0.08 c 0.03/0.08 c core #73 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 523 0.03/0.08 c Current CPU time: 0.068989 s 0.03/0.08 c 0.03/0.08 c core #74 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 3 Total Weight: 526 0.03/0.08 c Current CPU time: 0.069989 s 0.03/0.08 c 0.03/0.08 c core #75 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 6 Total Weight: 532 0.03/0.08 c Current CPU time: 0.070989 s 0.03/0.08 c 0.03/0.08 c core #76 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 537 0.03/0.08 c Current CPU time: 0.070989 s 0.03/0.08 c 0.03/0.08 c core #77 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 541 0.03/0.08 c Current CPU time: 0.071989 s 0.03/0.08 c 0.03/0.08 c core #78 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 546 0.03/0.08 c Current CPU time: 0.072988 s 0.03/0.08 c 0.03/0.08 c core #79 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 550 0.03/0.08 c Current CPU time: 0.073988 s 0.03/0.08 c 0.03/0.08 c core #80 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 555 0.03/0.08 c Current CPU time: 0.074988 s 0.03/0.08 c 0.03/0.08 c core #81 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 559 0.03/0.08 c Current CPU time: 0.075988 s 0.03/0.08 c 0.03/0.08 c core #82 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 564 0.03/0.08 c Current CPU time: 0.075988 s 0.03/0.08 c 0.03/0.08 c core #83 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 5 Total Weight: 569 0.03/0.08 c Current CPU time: 0.076988 s 0.03/0.08 c 0.03/0.08 c core #84 0.03/0.08 c 0.03/0.08 c 0.03/0.08 c Core size: 2 Core Weight: 4 Total Weight: 573 0.03/0.08 c Current CPU time: 0.077988 s 0.09/0.11 c 0.09/0.11 c core #85 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 578 0.09/0.11 c Current CPU time: 0.078987 s 0.09/0.11 c 0.09/0.11 c core #86 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 582 0.09/0.11 c Current CPU time: 0.079987 s 0.09/0.11 c 0.09/0.11 c core #87 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 587 0.09/0.11 c Current CPU time: 0.080987 s 0.09/0.11 c 0.09/0.11 c core #88 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 592 0.09/0.11 c Current CPU time: 0.080987 s 0.09/0.11 c 0.09/0.11 c core #89 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 597 0.09/0.11 c Current CPU time: 0.081987 s 0.09/0.11 c 0.09/0.11 c core #90 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 602 0.09/0.11 c Current CPU time: 0.082987 s 0.09/0.11 c 0.09/0.11 c core #91 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 606 0.09/0.11 c Current CPU time: 0.083987 s 0.09/0.11 c 0.09/0.11 c core #92 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 610 0.09/0.11 c Current CPU time: 0.084987 s 0.09/0.11 c 0.09/0.11 c core #93 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 614 0.09/0.11 c Current CPU time: 0.085986 s 0.09/0.11 c 0.09/0.11 c core #94 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 618 0.09/0.11 c Current CPU time: 0.085986 s 0.09/0.11 c 0.09/0.11 c core #95 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 7 Total Weight: 625 0.09/0.11 c Current CPU time: 0.086986 s 0.09/0.11 c 0.09/0.11 c core #96 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 11 Total Weight: 636 0.09/0.11 c Current CPU time: 0.087986 s 0.09/0.11 c 0.09/0.11 c core #97 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 641 0.09/0.11 c Current CPU time: 0.088986 s 0.09/0.11 c 0.09/0.11 c core #98 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 3 Total Weight: 644 0.09/0.11 c Current CPU time: 0.089986 s 0.09/0.11 c 0.09/0.11 c core #99 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 6 Total Weight: 650 0.09/0.11 c Current CPU time: 0.090986 s 0.09/0.11 c 0.09/0.11 c core #100 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 654 0.09/0.11 c Current CPU time: 0.091986 s 0.09/0.11 c 0.09/0.11 c core #101 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 3 Total Weight: 657 0.09/0.11 c Current CPU time: 0.091986 s 0.09/0.11 c 0.09/0.11 c core #102 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 6 Total Weight: 663 0.09/0.11 c Current CPU time: 0.092985 s 0.09/0.11 c 0.09/0.11 c core #103 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 667 0.09/0.11 c Current CPU time: 0.093985 s 0.09/0.11 c 0.09/0.11 c core #104 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 671 0.09/0.11 c Current CPU time: 0.094985 s 0.09/0.11 c 0.09/0.11 c core #105 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 675 0.09/0.11 c Current CPU time: 0.095985 s 0.09/0.11 c 0.09/0.11 c core #106 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 679 0.09/0.11 c Current CPU time: 0.096985 s 0.09/0.11 c 0.09/0.11 c core #107 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 683 0.09/0.11 c Current CPU time: 0.097985 s 0.09/0.11 c 0.09/0.11 c core #108 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 687 0.09/0.11 c Current CPU time: 0.098984 s 0.09/0.11 c 0.09/0.11 c core #109 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 691 0.09/0.11 c Current CPU time: 0.099984 s 0.09/0.11 c 0.09/0.11 c core #110 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 696 0.09/0.11 c Current CPU time: 0.100984 s 0.09/0.11 c 0.09/0.11 c core #111 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 700 0.09/0.11 c Current CPU time: 0.100984 s 0.09/0.11 c 0.09/0.11 c core #112 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 705 0.09/0.11 c Current CPU time: 0.101984 s 0.09/0.11 c 0.09/0.11 c core #113 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 5 Total Weight: 710 0.09/0.11 c Current CPU time: 0.102984 s 0.09/0.11 c 0.09/0.11 c core #114 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 714 0.09/0.11 c Current CPU time: 0.103984 s 0.09/0.11 c 0.09/0.11 c core #115 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 6 Total Weight: 720 0.09/0.11 c Current CPU time: 0.104984 s 0.09/0.11 c 0.09/0.11 c core #116 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 3 Total Weight: 723 0.09/0.11 c Current CPU time: 0.105983 s 0.09/0.11 c 0.09/0.11 c core #117 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 3 Total Weight: 726 0.09/0.11 c Current CPU time: 0.106983 s 0.09/0.11 c 0.09/0.11 c core #118 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 3 Total Weight: 729 0.09/0.11 c Current CPU time: 0.107983 s 0.09/0.11 c 0.09/0.11 c core #119 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 3 Total Weight: 732 0.09/0.11 c Current CPU time: 0.108983 s 0.09/0.11 c 0.09/0.11 c core #120 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 736 0.09/0.11 c Current CPU time: 0.109983 s 0.09/0.11 c 0.09/0.11 c core #121 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 740 0.09/0.11 c Current CPU time: 0.110983 s 0.09/0.11 c 0.09/0.11 c core #122 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 744 0.09/0.11 c Current CPU time: 0.111982 s 0.09/0.11 c 0.09/0.11 c core #123 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 6 Total Weight: 750 0.09/0.11 c Current CPU time: 0.112982 s 0.09/0.11 c 0.09/0.11 c core #124 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 2 Total Weight: 752 0.09/0.11 c Current CPU time: 0.112982 s 0.09/0.11 c 0.09/0.11 c core #125 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 4 Total Weight: 756 0.09/0.11 c Current CPU time: 0.113982 s 0.09/0.11 c 0.09/0.11 c core #126 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 2 Core Weight: 7 Total Weight: 763 0.09/0.15 c Current CPU time: 0.114982 s 0.09/0.15 c 0.09/0.15 c core #127 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 766 0.09/0.15 c Current CPU time: 0.115982 s 0.09/0.15 c 0.09/0.15 c core #128 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 7 Total Weight: 773 0.09/0.15 c Current CPU time: 0.116982 s 0.09/0.15 c 0.09/0.15 c core #129 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 777 0.09/0.15 c Current CPU time: 0.117982 s 0.09/0.15 c 0.09/0.15 c core #130 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 781 0.09/0.15 c Current CPU time: 0.118981 s 0.09/0.15 c 0.09/0.15 c core #131 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 785 0.09/0.15 c Current CPU time: 0.119981 s 0.09/0.15 c 0.09/0.15 c core #132 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 2 Total Weight: 787 0.09/0.15 c Current CPU time: 0.120981 s 0.09/0.15 c 0.09/0.15 c core #133 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 791 0.09/0.15 c Current CPU time: 0.121981 s 0.09/0.15 c 0.09/0.15 c core #134 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 8 Total Weight: 799 0.09/0.15 c Current CPU time: 0.122981 s 0.09/0.15 c 0.09/0.15 c core #135 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 802 0.09/0.15 c Current CPU time: 0.123981 s 0.09/0.15 c 0.09/0.15 c core #136 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 805 0.09/0.15 c Current CPU time: 0.124981 s 0.09/0.15 c 0.09/0.15 c core #137 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 5 Total Weight: 810 0.09/0.15 c Current CPU time: 0.12598 s 0.09/0.15 c 0.09/0.15 c core #138 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 5 Total Weight: 815 0.09/0.15 c Current CPU time: 0.12698 s 0.09/0.15 c 0.09/0.15 c core #139 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 819 0.09/0.15 c Current CPU time: 0.12798 s 0.09/0.15 c 0.09/0.15 c core #140 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 823 0.09/0.15 c Current CPU time: 0.12798 s 0.09/0.15 c 0.09/0.15 c core #141 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 237 Total Weight: 1060 0.09/0.15 c Current CPU time: 0.12798 s 0.09/0.15 c 0.09/0.15 c core #142 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1063 0.09/0.15 c Current CPU time: 0.12898 s 0.09/0.15 c 0.09/0.15 c core #143 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1067 0.09/0.15 c Current CPU time: 0.12998 s 0.09/0.15 c 0.09/0.15 c core #144 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1071 0.09/0.15 c Current CPU time: 0.13098 s 0.09/0.15 c 0.09/0.15 c core #145 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 2 Total Weight: 1073 0.09/0.15 c Current CPU time: 0.131979 s 0.09/0.15 c 0.09/0.15 c core #146 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 5 Total Weight: 1078 0.09/0.15 c Current CPU time: 0.132979 s 0.09/0.15 c 0.09/0.15 c core #147 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 5 Total Weight: 1083 0.09/0.15 c Current CPU time: 0.133979 s 0.09/0.15 c 0.09/0.15 c core #148 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1086 0.09/0.15 c Current CPU time: 0.134979 s 0.09/0.15 c 0.09/0.15 c core #149 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 6 Total Weight: 1092 0.09/0.15 c Current CPU time: 0.135979 s 0.09/0.15 c 0.09/0.15 c core #150 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 6 Total Weight: 1098 0.09/0.15 c Current CPU time: 0.136979 s 0.09/0.15 c 0.09/0.15 c core #151 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1102 0.09/0.15 c Current CPU time: 0.137979 s 0.09/0.15 c 0.09/0.15 c core #152 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 16 Total Weight: 1118 0.09/0.15 c Current CPU time: 0.138978 s 0.09/0.15 c 0.09/0.15 c core #153 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1122 0.09/0.15 c Current CPU time: 0.139978 s 0.09/0.15 c 0.09/0.15 c core #154 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1126 0.09/0.15 c Current CPU time: 0.140978 s 0.09/0.15 c 0.09/0.15 c core #155 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1130 0.09/0.15 c Current CPU time: 0.141978 s 0.09/0.15 c 0.09/0.15 c core #156 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1133 0.09/0.15 c Current CPU time: 0.142978 s 0.09/0.15 c 0.09/0.15 c core #157 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 5 Total Weight: 1138 0.09/0.15 c Current CPU time: 0.143978 s 0.09/0.15 c 0.09/0.15 c core #158 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1141 0.09/0.15 c Current CPU time: 0.144977 s 0.09/0.15 c 0.09/0.15 c core #159 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 6 Total Weight: 1147 0.09/0.15 c Current CPU time: 0.145977 s 0.09/0.15 c 0.09/0.15 c core #160 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1150 0.09/0.15 c Current CPU time: 0.146977 s 0.09/0.15 c 0.09/0.15 c core #161 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1154 0.09/0.15 c Current CPU time: 0.146977 s 0.09/0.15 c 0.09/0.15 c core #162 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1158 0.09/0.15 c Current CPU time: 0.147977 s 0.09/0.15 c 0.09/0.15 c core #163 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1162 0.09/0.15 c Current CPU time: 0.148977 s 0.09/0.15 c 0.09/0.15 c core #164 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 4 Total Weight: 1166 0.09/0.15 c Current CPU time: 0.149977 s 0.09/0.15 c 0.09/0.15 c core #165 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 5 Total Weight: 1171 0.09/0.15 c Current CPU time: 0.150977 s 0.09/0.15 c 0.09/0.15 c core #166 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1174 0.09/0.15 c Current CPU time: 0.151976 s 0.09/0.15 c 0.09/0.15 c core #167 0.09/0.15 c 0.09/0.15 c 0.09/0.15 c Core size: 2 Core Weight: 3 Total Weight: 1177 0.09/0.19 c Current CPU time: 0.152976 s 0.09/0.19 c 0.09/0.19 c core #168 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 3 Total Weight: 1180 0.09/0.19 c Current CPU time: 0.153976 s 0.09/0.19 c 0.09/0.19 c core #169 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 3 Total Weight: 1183 0.09/0.19 c Current CPU time: 0.154976 s 0.09/0.19 c 0.09/0.19 c core #170 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1188 0.09/0.19 c Current CPU time: 0.155976 s 0.09/0.19 c 0.09/0.19 c core #171 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1193 0.09/0.19 c Current CPU time: 0.156976 s 0.09/0.19 c 0.09/0.19 c core #172 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 2 Total Weight: 1195 0.09/0.19 c Current CPU time: 0.157975 s 0.09/0.19 c 0.09/0.19 c core #173 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 4 Total Weight: 1199 0.09/0.19 c Current CPU time: 0.158975 s 0.09/0.19 c 0.09/0.19 c core #174 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 7 Total Weight: 1206 0.09/0.19 c Current CPU time: 0.159975 s 0.09/0.19 c 0.09/0.19 c core #175 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 4 Total Weight: 1210 0.09/0.19 c Current CPU time: 0.160975 s 0.09/0.19 c 0.09/0.19 c core #176 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 3 Total Weight: 1213 0.09/0.19 c Current CPU time: 0.161975 s 0.09/0.19 c 0.09/0.19 c core #177 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1218 0.09/0.19 c Current CPU time: 0.162975 s 0.09/0.19 c 0.09/0.19 c core #178 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 2 Total Weight: 1220 0.09/0.19 c Current CPU time: 0.163975 s 0.09/0.19 c 0.09/0.19 c core #179 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 4 Total Weight: 1224 0.09/0.19 c Current CPU time: 0.164974 s 0.09/0.19 c 0.09/0.19 c core #180 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1229 0.09/0.19 c Current CPU time: 0.165974 s 0.09/0.19 c 0.09/0.19 c core #181 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1234 0.09/0.19 c Current CPU time: 0.166974 s 0.09/0.19 c 0.09/0.19 c core #182 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 2 Total Weight: 1236 0.09/0.19 c Current CPU time: 0.167974 s 0.09/0.19 c 0.09/0.19 c core #183 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 3 Total Weight: 1239 0.09/0.19 c Current CPU time: 0.168974 s 0.09/0.19 c 0.09/0.19 c core #184 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 2 Total Weight: 1241 0.09/0.19 c Current CPU time: 0.169974 s 0.09/0.19 c 0.09/0.19 c core #185 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1246 0.09/0.19 c Current CPU time: 0.170974 s 0.09/0.19 c 0.09/0.19 c core #186 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1251 0.09/0.19 c Current CPU time: 0.171973 s 0.09/0.19 c 0.09/0.19 c core #187 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 2 Core Weight: 5 Total Weight: 1256 0.09/0.19 c Current CPU time: 0.172973 s 0.09/0.19 c 0.09/0.19 c core #188 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1257 0.09/0.19 c Current CPU time: 0.173973 s 0.09/0.19 c 0.09/0.19 c core #189 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1258 0.09/0.19 c Current CPU time: 0.174973 s 0.09/0.19 c 0.09/0.19 c core #190 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1259 0.09/0.19 c Current CPU time: 0.175973 s 0.09/0.19 c 0.09/0.19 c core #191 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1260 0.09/0.19 c Current CPU time: 0.176973 s 0.09/0.19 c 0.09/0.19 c core #192 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1261 0.09/0.19 c Current CPU time: 0.177972 s 0.09/0.19 c 0.09/0.19 c core #193 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1262 0.09/0.19 c Current CPU time: 0.178972 s 0.09/0.19 c 0.09/0.19 c core #194 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 1263 0.09/0.19 c Current CPU time: 0.179972 s 0.09/0.19 c 0.09/0.19 c core #195 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1264 0.09/0.19 c Current CPU time: 0.180972 s 0.09/0.19 c 0.09/0.19 c core #196 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1265 0.09/0.19 c Current CPU time: 0.181972 s 0.09/0.19 c 0.09/0.19 c core #197 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1266 0.09/0.19 c Current CPU time: 0.182972 s 0.09/0.19 c 0.09/0.19 c core #198 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1267 0.09/0.19 c Current CPU time: 0.183972 s 0.09/0.19 c 0.09/0.19 c core #199 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 1268 0.09/0.19 c Current CPU time: 0.184971 s 0.09/0.19 c 0.09/0.19 c core #200 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 1269 0.09/0.19 c Current CPU time: 0.185971 s 0.09/0.19 c 0.09/0.19 c core #201 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1270 0.09/0.19 c Current CPU time: 0.186971 s 0.09/0.19 c 0.09/0.19 c core #202 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1271 0.09/0.19 c Current CPU time: 0.187971 s 0.09/0.19 c 0.09/0.19 c core #203 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1272 0.09/0.19 c Current CPU time: 0.188971 s 0.09/0.19 c 0.09/0.19 c core #204 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1273 0.09/0.19 c Current CPU time: 0.189971 s 0.09/0.19 c 0.09/0.19 c core #205 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 1274 0.09/0.19 c Current CPU time: 0.19097 s 0.09/0.19 c 0.09/0.19 c core #206 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 1275 0.09/0.19 c Current CPU time: 0.19197 s 0.09/0.19 c 0.09/0.19 c core #207 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 1276 0.09/0.19 c Current CPU time: 0.19297 s 0.09/0.19 c 0.09/0.19 c core #208 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 1277 0.19/0.24 c Current CPU time: 0.19397 s 0.19/0.24 c 0.19/0.24 c core #209 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1278 0.19/0.24 c Current CPU time: 0.19497 s 0.19/0.24 c 0.19/0.24 c core #210 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1279 0.19/0.24 c Current CPU time: 0.19597 s 0.19/0.24 c 0.19/0.24 c core #211 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1280 0.19/0.24 c Current CPU time: 0.19697 s 0.19/0.24 c 0.19/0.24 c core #212 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1281 0.19/0.24 c Current CPU time: 0.197969 s 0.19/0.24 c 0.19/0.24 c core #213 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1282 0.19/0.24 c Current CPU time: 0.198969 s 0.19/0.24 c 0.19/0.24 c core #214 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1283 0.19/0.24 c Current CPU time: 0.199969 s 0.19/0.24 c 0.19/0.24 c core #215 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1284 0.19/0.24 c Current CPU time: 0.200969 s 0.19/0.24 c 0.19/0.24 c core #216 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1285 0.19/0.24 c Current CPU time: 0.201969 s 0.19/0.24 c 0.19/0.24 c core #217 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1286 0.19/0.24 c Current CPU time: 0.202969 s 0.19/0.24 c 0.19/0.24 c core #218 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1287 0.19/0.24 c Current CPU time: 0.204968 s 0.19/0.24 c 0.19/0.24 c core #219 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1288 0.19/0.24 c Current CPU time: 0.205968 s 0.19/0.24 c 0.19/0.24 c core #220 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1289 0.19/0.24 c Current CPU time: 0.206968 s 0.19/0.24 c 0.19/0.24 c core #221 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1290 0.19/0.24 c Current CPU time: 0.207968 s 0.19/0.24 c 0.19/0.24 c core #222 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1291 0.19/0.24 c Current CPU time: 0.208968 s 0.19/0.24 c 0.19/0.24 c core #223 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1292 0.19/0.24 c Current CPU time: 0.209968 s 0.19/0.24 c 0.19/0.24 c core #224 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1293 0.19/0.24 c Current CPU time: 0.210967 s 0.19/0.24 c 0.19/0.24 c core #225 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 1294 0.19/0.24 c Current CPU time: 0.211967 s 0.19/0.24 c 0.19/0.24 c core #226 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1295 0.19/0.24 c Current CPU time: 0.212967 s 0.19/0.24 c 0.19/0.24 c core #227 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1296 0.19/0.24 c Current CPU time: 0.213967 s 0.19/0.24 c 0.19/0.24 c core #228 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1297 0.19/0.24 c Current CPU time: 0.214967 s 0.19/0.24 c 0.19/0.24 c core #229 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1298 0.19/0.24 c Current CPU time: 0.215967 s 0.19/0.24 c 0.19/0.24 c core #230 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1299 0.19/0.24 c Current CPU time: 0.216967 s 0.19/0.24 c 0.19/0.24 c core #231 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1300 0.19/0.24 c Current CPU time: 0.217966 s 0.19/0.24 c 0.19/0.24 c core #232 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1301 0.19/0.24 c Current CPU time: 0.218966 s 0.19/0.24 c 0.19/0.24 c core #233 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1302 0.19/0.24 c Current CPU time: 0.219966 s 0.19/0.24 c 0.19/0.24 c core #234 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1303 0.19/0.24 c Current CPU time: 0.220966 s 0.19/0.24 c 0.19/0.24 c core #235 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1304 0.19/0.24 c Current CPU time: 0.221966 s 0.19/0.24 c 0.19/0.24 c core #236 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1305 0.19/0.24 c Current CPU time: 0.222966 s 0.19/0.24 c 0.19/0.24 c core #237 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1306 0.19/0.24 c Current CPU time: 0.223965 s 0.19/0.24 c 0.19/0.24 c core #238 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1307 0.19/0.24 c Current CPU time: 0.225965 s 0.19/0.24 c 0.19/0.24 c core #239 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1308 0.19/0.24 c Current CPU time: 0.226965 s 0.19/0.24 c 0.19/0.24 c core #240 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 1309 0.19/0.24 c Current CPU time: 0.227965 s 0.19/0.24 c 0.19/0.24 c core #241 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1310 0.19/0.24 c Current CPU time: 0.228965 s 0.19/0.24 c 0.19/0.24 c core #242 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1311 0.19/0.24 c Current CPU time: 0.229965 s 0.19/0.24 c 0.19/0.24 c core #243 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1312 0.19/0.24 c Current CPU time: 0.230964 s 0.19/0.24 c 0.19/0.24 c core #244 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1313 0.19/0.24 c Current CPU time: 0.231964 s 0.19/0.24 c 0.19/0.24 c core #245 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1314 0.19/0.24 c Current CPU time: 0.232964 s 0.19/0.24 c 0.19/0.24 c core #246 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1315 0.19/0.24 c Current CPU time: 0.233964 s 0.19/0.24 c 0.19/0.24 c core #247 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 1316 0.19/0.24 c Current CPU time: 0.234964 s 0.19/0.24 c 0.19/0.24 c core #248 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1317 0.19/0.24 c Current CPU time: 0.235964 s 0.19/0.24 c 0.19/0.24 c core #249 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 1318 0.19/0.28 c Current CPU time: 0.236963 s 0.19/0.28 c 0.19/0.28 c core #250 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1319 0.19/0.28 c Current CPU time: 0.238963 s 0.19/0.28 c 0.19/0.28 c core #251 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1320 0.19/0.28 c Current CPU time: 0.239963 s 0.19/0.28 c 0.19/0.28 c core #252 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1321 0.19/0.28 c Current CPU time: 0.240963 s 0.19/0.28 c 0.19/0.28 c core #253 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1322 0.19/0.28 c Current CPU time: 0.241963 s 0.19/0.28 c 0.19/0.28 c core #254 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1323 0.19/0.28 c Current CPU time: 0.242963 s 0.19/0.28 c 0.19/0.28 c core #255 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1324 0.19/0.28 c Current CPU time: 0.243962 s 0.19/0.28 c 0.19/0.28 c core #256 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1325 0.19/0.28 c Current CPU time: 0.244962 s 0.19/0.28 c 0.19/0.28 c core #257 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1326 0.19/0.28 c Current CPU time: 0.245962 s 0.19/0.28 c 0.19/0.28 c core #258 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1327 0.19/0.28 c Current CPU time: 0.246962 s 0.19/0.28 c 0.19/0.28 c core #259 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1328 0.19/0.28 c Current CPU time: 0.247962 s 0.19/0.28 c 0.19/0.28 c core #260 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1329 0.19/0.28 c Current CPU time: 0.249962 s 0.19/0.28 c 0.19/0.28 c core #261 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: 1330 0.19/0.28 c Current CPU time: 0.250961 s 0.19/0.28 c 0.19/0.28 c core #262 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 1331 0.19/0.28 c Current CPU time: 0.251961 s 0.19/0.28 c 0.19/0.28 c core #263 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1332 0.19/0.28 c Current CPU time: 0.252961 s 0.19/0.28 c 0.19/0.28 c core #264 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1333 0.19/0.28 c Current CPU time: 0.253961 s 0.19/0.28 c 0.19/0.28 c core #265 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1334 0.19/0.28 c Current CPU time: 0.254961 s 0.19/0.28 c 0.19/0.28 c core #266 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 1335 0.19/0.28 c Current CPU time: 0.255961 s 0.19/0.28 c 0.19/0.28 c core #267 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1336 0.19/0.28 c Current CPU time: 0.25696 s 0.19/0.28 c 0.19/0.28 c core #268 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1337 0.19/0.28 c Current CPU time: 0.25896 s 0.19/0.28 c 0.19/0.28 c core #269 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1338 0.19/0.28 c Current CPU time: 0.25996 s 0.19/0.28 c 0.19/0.28 c core #270 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1339 0.19/0.28 c Current CPU time: 0.26096 s 0.19/0.28 c 0.19/0.28 c core #271 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1340 0.19/0.28 c Current CPU time: 0.26196 s 0.19/0.28 c 0.19/0.28 c core #272 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1341 0.19/0.28 c Current CPU time: 0.26296 s 0.19/0.28 c 0.19/0.28 c core #273 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1342 0.19/0.28 c Current CPU time: 0.263959 s 0.19/0.28 c 0.19/0.28 c core #274 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1343 0.19/0.28 c Current CPU time: 0.264959 s 0.19/0.28 c 0.19/0.28 c core #275 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1344 0.19/0.28 c Current CPU time: 0.266959 s 0.19/0.28 c 0.19/0.28 c core #276 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 1345 0.19/0.28 c Current CPU time: 0.267959 s 0.19/0.28 c 0.19/0.28 c core #277 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 1346 0.19/0.28 c Current CPU time: 0.268959 s 0.19/0.28 c 0.19/0.28 c core #278 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 8 Core Weight: 1 Total Weight: 1347 0.19/0.28 c Current CPU time: 0.269958 s 0.19/0.28 c 0.19/0.28 c core #279 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1348 0.19/0.28 c Current CPU time: 0.270958 s 0.19/0.28 c 0.19/0.28 c core #280 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1349 0.19/0.28 c Current CPU time: 0.271958 s 0.19/0.28 c 0.19/0.28 c core #281 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1350 0.19/0.28 c Current CPU time: 0.273958 s 0.19/0.28 c 0.19/0.28 c core #282 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1351 0.19/0.28 c Current CPU time: 0.274958 s 0.19/0.28 c 0.19/0.28 c core #283 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1352 0.19/0.28 c Current CPU time: 0.275958 s 0.19/0.28 c 0.19/0.28 c core #284 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1353 0.19/0.28 c Current CPU time: 0.276957 s 0.19/0.28 c 0.19/0.28 c core #285 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1354 0.19/0.28 c Current CPU time: 0.277957 s 0.19/0.28 c 0.19/0.28 c core #286 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 7 Core Weight: 1 Total Weight: 1355 0.19/0.28 c Current CPU time: 0.278957 s 0.19/0.28 c 0.19/0.28 c core #287 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1356 0.19/0.28 c Current CPU time: 0.279957 s 0.19/0.28 c 0.19/0.28 c core #288 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 5 Core Weight: 1 Total Weight: 1357 0.19/0.28 c Current CPU time: 0.281957 s 0.19/0.28 c 0.19/0.28 c core #289 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 6 Core Weight: 1 Total Weight: 1358 0.19/0.28 c Current CPU time: 0.282956 s 0.19/0.28 c 0.19/0.28 c core #290 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: 1359 0.29/0.33 c Current CPU time: 0.283956 s 0.29/0.33 c 0.29/0.33 c core #291 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 1360 0.29/0.33 c Current CPU time: 0.284956 s 0.29/0.33 c 0.29/0.33 c core #292 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 5 Core Weight: 1 Total Weight: 1361 0.29/0.33 c Current CPU time: 0.285956 s 0.29/0.33 c 0.29/0.33 c core #293 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 5 Core Weight: 1 Total Weight: 1362 0.29/0.33 c Current CPU time: 0.287956 s 0.29/0.33 c 0.29/0.33 c core #294 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1363 0.29/0.33 c Current CPU time: 0.288956 s 0.29/0.33 c 0.29/0.33 c core #295 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1364 0.29/0.33 c Current CPU time: 0.289955 s 0.29/0.33 c 0.29/0.33 c core #296 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 5 Core Weight: 1 Total Weight: 1365 0.29/0.33 c Current CPU time: 0.290955 s 0.29/0.33 c 0.29/0.33 c core #297 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 5 Core Weight: 1 Total Weight: 1366 0.29/0.33 c Current CPU time: 0.290955 s 0.29/0.33 c 0.29/0.33 c core #298 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 1367 0.29/0.33 c Current CPU time: 0.292955 s 0.29/0.33 c 0.29/0.33 c core #299 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 1368 0.29/0.33 c Current CPU time: 0.293955 s 0.29/0.33 c 0.29/0.33 c core #300 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 1369 0.29/0.33 c Current CPU time: 0.294955 s 0.29/0.33 c 0.29/0.33 c core #301 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 1370 0.29/0.33 c Current CPU time: 0.295955 s 0.29/0.33 c 0.29/0.33 c core #302 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: 1371 0.29/0.33 c Current CPU time: 0.297954 s 0.29/0.33 c 0.29/0.33 c core #303 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 7 Core Weight: 1 Total Weight: 1372 0.29/0.33 c Current CPU time: 0.298954 s 0.29/0.33 c 0.29/0.33 c core #304 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 7 Core Weight: 1 Total Weight: 1373 0.29/0.33 c Current CPU time: 0.299954 s 0.29/0.33 c 0.29/0.33 c core #305 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 5 Core Weight: 1 Total Weight: 1374 0.29/0.33 c Current CPU time: 0.300954 s 0.29/0.33 c 0.29/0.33 c core #306 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1375 0.29/0.33 c Current CPU time: 0.302953 s 0.29/0.33 c 0.29/0.33 c core #307 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 1376 0.29/0.33 c Current CPU time: 0.303953 s 0.29/0.33 c 0.29/0.33 c core #308 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 1377 0.29/0.33 c Current CPU time: 0.304953 s 0.29/0.33 c 0.29/0.33 c core #309 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1378 0.29/0.33 c Current CPU time: 0.306953 s 0.29/0.33 c 0.29/0.33 c core #310 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: 1379 0.29/0.33 c Current CPU time: 0.307953 s 0.29/0.33 c 0.29/0.33 c core #311 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: 1380 0.29/0.33 c Current CPU time: 0.308953 s 0.29/0.33 c 0.29/0.33 c core #312 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 44 Core Weight: 1 Total Weight: 1381 0.29/0.33 c Current CPU time: 0.309952 s 0.29/0.33 c 0.29/0.33 c core #313 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 53 Core Weight: 1 Total Weight: 1382 0.29/0.33 c Current CPU time: 0.311952 s 0.29/0.33 c 0.29/0.33 c core #314 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: 1383 0.29/0.33 c Current CPU time: 0.312952 s 0.29/0.33 c 0.29/0.33 c core #315 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1384 0.29/0.33 c Current CPU time: 0.313952 s 0.29/0.33 c 0.29/0.33 c core #316 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1385 0.29/0.33 c Current CPU time: 0.315951 s 0.29/0.33 c 0.29/0.33 c core #317 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1386 0.29/0.33 c Current CPU time: 0.316951 s 0.29/0.33 c 0.29/0.33 c core #318 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1387 0.29/0.33 c Current CPU time: 0.317951 s 0.29/0.33 c 0.29/0.33 c core #319 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1388 0.29/0.33 c Current CPU time: 0.318951 s 0.29/0.33 c 0.29/0.33 c core #320 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1389 0.29/0.33 c Current CPU time: 0.320951 s 0.29/0.33 c 0.29/0.33 c core #321 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 8 Core Weight: 1 Total Weight: 1390 0.29/0.33 c Current CPU time: 0.321951 s 0.29/0.33 c 0.29/0.33 c core #322 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 30 Core Weight: 1 Total Weight: 1391 0.29/0.33 c Current CPU time: 0.32295 s 0.29/0.33 c 0.29/0.33 c core #323 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 9 Core Weight: 1 Total Weight: 1392 0.29/0.33 c Current CPU time: 0.32495 s 0.29/0.33 c 0.29/0.33 c core #324 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 22 Core Weight: 1 Total Weight: 1393 0.29/0.33 c Current CPU time: 0.32595 s 0.29/0.33 c 0.29/0.33 c core #325 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 29 Core Weight: 1 Total Weight: 1394 0.29/0.33 c Current CPU time: 0.32795 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 3393 2757 5590 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #326 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1395 0.29/0.33 c Current CPU time: 0.328949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 3401 2759 5609 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #327 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1396 0.29/0.33 c Current CPU time: 0.330949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 3409 2761 5628 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #328 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 6 Core Weight: 1 Total Weight: 1397 0.29/0.33 c Current CPU time: 0.331949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 3417 2763 5647 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.34 c core #329 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1398 0.29/0.34 c Current CPU time: 0.333949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3425 2765 5666 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #330 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1399 0.29/0.34 c Current CPU time: 0.334949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3433 2767 5685 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #331 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1400 0.29/0.34 c Current CPU time: 0.336948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3441 2769 5704 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #332 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1401 0.29/0.34 c Current CPU time: 0.337948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3449 2771 5723 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #333 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1402 0.29/0.34 c Current CPU time: 0.339948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3457 2773 5742 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #334 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1403 0.29/0.34 c Current CPU time: 0.340948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3465 2775 5761 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #335 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 6 Core Weight: 1 Total Weight: 1404 0.29/0.34 c Current CPU time: 0.342947 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 3473 2777 5780 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.35 c core #336 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1405 0.29/0.35 c Current CPU time: 0.343947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3481 2779 5799 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #337 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1406 0.29/0.35 c Current CPU time: 0.345947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3489 2781 5818 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #338 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1407 0.29/0.35 c Current CPU time: 0.346947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3497 2783 5837 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #339 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1408 0.29/0.35 c Current CPU time: 0.348946 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3505 2785 5856 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #340 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1409 0.29/0.35 c Current CPU time: 0.349946 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3513 2787 5875 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #341 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1410 0.29/0.35 c Current CPU time: 0.351946 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3521 2790 5897 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #342 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: 1411 0.29/0.35 c Current CPU time: 0.352946 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 3529 2793 5919 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #343 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 6 Core Weight: 1 Total Weight: 1412 0.29/0.36 c Current CPU time: 0.354946 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 3537 2795 5938 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #344 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 28 Core Weight: 1 Total Weight: 1413 0.29/0.36 c Current CPU time: 0.355945 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 3551 2797 5971 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #345 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 17 Core Weight: 1 Total Weight: 1414 0.29/0.36 c Current CPU time: 0.357945 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 3560 2798 5988 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #346 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 33 Core Weight: 1 Total Weight: 1415 0.29/0.36 c Current CPU time: 0.359945 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 3579 2799 6026 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #347 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 37 Core Weight: 1 Total Weight: 1416 0.29/0.36 c Current CPU time: 0.360945 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 3601 2800 6072 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #348 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 14 Core Weight: 1 Total Weight: 1417 0.29/0.36 c Current CPU time: 0.362944 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 3594 2803 6093 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.37 c core #349 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 14 Core Weight: 1 Total Weight: 1418 0.29/0.37 c Current CPU time: 0.364944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 3605 2807 6125 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #350 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 14 Core Weight: 1 Total Weight: 1419 0.29/0.37 c Current CPU time: 0.365944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 3612 2808 6139 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #351 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 8 Core Weight: 1 Total Weight: 1420 0.29/0.37 c Current CPU time: 0.367944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 3621 2809 6156 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #352 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 28 Core Weight: 1 Total Weight: 1421 0.29/0.37 c Current CPU time: 0.368943 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 3633 2810 6179 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #353 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 28 Core Weight: 1 Total Weight: 1422 0.29/0.37 c Current CPU time: 0.370943 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 3645 2812 6206 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.38 c core #354 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 37 Core Weight: 1 Total Weight: 1423 0.29/0.38 c Current CPU time: 0.372943 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 3673 2813 6261 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #355 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 41 Core Weight: 1 Total Weight: 1424 0.29/0.38 c Current CPU time: 0.374943 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 3702 2817 6328 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #356 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 50 Core Weight: 1 Total Weight: 1425 0.29/0.38 c Current CPU time: 0.376942 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 3697 2819 6362 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #357 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 56 Core Weight: 1 Total Weight: 1426 0.29/0.38 c Current CPU time: 0.379942 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 3718 2827 6424 | 5000 0 -nan | 0.000 % | 0.29/0.38 c | 100 | 3693 2827 6424 | 5500 100 8 | 5.137 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #358 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 57 Core Weight: 1 Total Weight: 1427 0.29/0.39 c Current CPU time: 0.383941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 3753 2840 6526 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #359 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 23 Core Weight: 1 Total Weight: 1428 0.29/0.39 c Current CPU time: 0.385941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 3750 2848 6576 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #360 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 41 Core Weight: 1 Total Weight: 1429 0.29/0.39 c Current CPU time: 0.38894 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 3763 2854 6614 | 5000 0 -nan | 0.000 % | 0.29/0.39 c | 100 | 3648 2854 6614 | 5500 100 14 | 7.411 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #361 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 103 Core Weight: 1 Total Weight: 1430 0.39/0.40 c Current CPU time: 0.39294 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 3805 2856 6701 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #362 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 69 Core Weight: 1 Total Weight: 1431 0.39/0.40 c Current CPU time: 0.396939 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 3827 2859 6749 | 5000 0 -nan | 0.000 % | 0.39/0.40 c | 102 | 3826 2859 6749 | 5500 102 12 | 4.446 % | 0.39/0.40 c | 252 | 3819 2859 6749 | 6050 252 13 | 4.745 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #363 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 76 Core Weight: 1 Total Weight: 1432 0.39/0.41 c Current CPU time: 0.402938 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 3867 2866 6844 | 5000 0 -nan | 0.000 % | 0.39/0.41 c | 100 | 3737 2866 6844 | 5500 100 10 | 8.012 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #364 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 100 Core Weight: 1 Total Weight: 1433 0.39/0.41 c Current CPU time: 0.407937 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 3871 2877 6952 | 5000 0 -nan | 0.000 % | 0.39/0.41 c | 100 | 3870 2877 6952 | 5500 100 17 | 5.311 % | 0.39/0.42 c | 252 | 3869 2877 6952 | 6050 252 17 | 5.311 % | 0.39/0.42 c | 478 | 3866 2877 6952 | 6655 478 19 | 5.409 % | 0.39/0.43 c | 816 | 3866 2877 6952 | 7320 816 23 | 5.410 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #365 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 86 Core Weight: 1 Total Weight: 1434 0.39/0.43 c Current CPU time: 0.429934 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 3839 2886 7018 | 5000 0 -nan | 0.000 % | 0.39/0.44 c | 102 | 3832 2886 7018 | 5500 102 22 | 7.075 % | 0.39/0.44 c | 255 | 3817 2886 7018 | 6050 255 24 | 7.440 % | 0.39/0.44 c | 482 | 3806 2886 7018 | 6655 482 27 | 7.464 % | 0.39/0.45 c | 819 | 3806 2886 7018 | 7320 819 32 | 7.464 % | 0.39/0.46 c | 1325 | 3806 2886 7018 | 8052 1325 33 | 7.464 % | 0.39/0.49 c | 2084 | 3805 2886 7018 | 8857 2084 37 | 7.488 % | 0.49/0.53 c | 3226 | 3805 2886 7018 | 9743 3226 38 | 7.586 % | 0.59/0.61 c | 4934 | 3800 2886 7018 | 10717 4934 40 | 7.708 % | 0.69/0.75 c | 7496 | 3794 2886 7018 | 11789 7496 43 | 7.805 % | 1.00/1.03 c | 11340 | 3794 2886 7018 | 12968 11340 45 | 7.926 % | 1.29/1.33 c =============================================================================== 1.29/1.39 c core #366 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 147 Core Weight: 1 Total Weight: 1435 1.29/1.39 c Current CPU time: 1.37079 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 | 3882 2894 7170 | 5000 0 -nan | 0.000 % | 1.29/1.39 c | 100 | 3882 2894 7170 | 5500 100 41 | 7.151 % | 1.29/1.39 c =============================================================================== 1.29/1.40 c core #367 1.29/1.40 c 1.29/1.40 c 1.29/1.40 c Core size: 28 Core Weight: 1 Total Weight: 1436 1.29/1.40 c Current CPU time: 1.37979 s 1.29/1.40 c 1.29/1.40 c ============================[ Search Statistics ]============================== 1.29/1.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.40 c =============================================================================== 1.29/1.40 c | 0 | 3898 2898 7208 | 5000 0 -nan | 0.000 % | 1.39/1.40 c | 100 | 3898 2898 7208 | 5500 100 35 | 7.124 % | 1.39/1.40 c | 251 | 3898 2898 7208 | 6050 251 28 | 7.124 % | 1.39/1.40 c | 476 | 3892 2898 7208 | 6655 476 28 | 7.767 % | 1.39/1.41 c | 813 | 3871 2898 7208 | 7320 813 33 | 7.815 % | 1.39/1.43 c | 1319 | 3868 2898 7208 | 8052 1319 38 | 7.887 % | 1.39/1.45 c | 2079 | 3867 2898 7208 | 8857 2079 42 | 7.934 % | 1.39/1.49 c | 3220 | 3862 2898 7208 | 9743 3220 49 | 8.030 % | 1.49/1.57 c | 4931 | 3856 2898 7208 | 10717 4931 56 | 8.125 % | 1.69/1.73 c | 7494 | 3817 2898 7208 | 11789 7494 62 | 10.508 % | 1.99/2.10 c =============================================================================== 2.10/2.14 c core #368 2.10/2.14 c 2.10/2.14 c 2.10/2.14 c Core size: 133 Core Weight: 1 Total Weight: 1437 2.10/2.14 c Current CPU time: 2.11568 s 2.10/2.14 c 2.10/2.14 c ============================[ Search Statistics ]============================== 2.10/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.14 c =============================================================================== 2.10/2.14 c | 0 | 3956 2905 7337 | 5000 0 -nan | 0.000 % | 2.10/2.15 c | 100 | 3956 2905 7337 | 5500 100 28 | 7.005 % | 2.10/2.15 c =============================================================================== 2.10/2.15 c core #369 2.10/2.15 c 2.10/2.15 c 2.10/2.15 c Core size: 61 Core Weight: 1 Total Weight: 1438 2.10/2.15 c Current CPU time: 2.12668 s 2.10/2.15 c 2.10/2.15 c ============================[ Search Statistics ]============================== 2.10/2.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.15 c =============================================================================== 2.10/2.15 c | 0 | 3984 2912 7408 | 5000 0 -nan | 0.000 % | 2.10/2.15 c | 100 | 3983 2912 7408 | 5500 100 43 | 6.983 % | 2.10/2.16 c | 252 | 3981 2912 7408 | 6050 252 35 | 7.029 % | 2.10/2.16 c | 477 | 3980 2912 7408 | 6655 477 37 | 7.053 % | 2.10/2.17 c | 815 | 3978 2912 7408 | 7320 815 41 | 7.099 % | 2.10/2.19 c | 1321 | 3978 2912 7408 | 8052 1321 58 | 7.099 % | 2.10/2.21 c | 2081 | 3975 2912 7408 | 8857 2081 65 | 7.193 % | 2.21/2.26 c | 3221 | 3974 2912 7408 | 9743 3221 74 | 7.263 % | 2.29/2.35 c | 4930 | 3969 2912 7408 | 10717 4930 79 | 7.356 % | 2.49/2.51 c | 7492 | 3968 2912 7408 | 11789 7492 81 | 7.380 % | 2.69/2.78 c | 11336 | 3957 2912 7408 | 12968 11336 81 | 7.660 % | 3.20/3.27 c | 17106 | 3954 2912 7408 | 14265 10318 82 | 7.823 % | 3.89/3.99 c | 25755 | 3939 2912 7408 | 15692 11564 76 | 8.035 % | 5.60/5.64 c | 38733 | 3933 2912 7408 | 17261 8254 91 | 8.244 % | 8.09/8.12 c | 58197 | 3920 2912 7408 | 18987 9848 85 | 8.617 % | 11.29/11.33 c | 87391 | 3887 2912 7408 | 20886 19449 79 | 9.832 % | 17.79/17.81 c | 131186 | 3850 2912 7408 | 22974 20278 102 | 10.463 % | 24.70/24.74 c =============================================================================== 25.49/25.51 c core #370 25.49/25.51 c 25.49/25.51 c 25.49/25.51 c Core size: 156 Core Weight: 1 Total Weight: 1439 25.49/25.51 c Current CPU time: 25.2372 s 25.49/25.51 c 25.49/25.51 c ============================[ Search Statistics ]============================== 25.49/25.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.51 c =============================================================================== 25.49/25.51 c | 0 | 4053 2925 7572 | 5000 0 -nan | 0.000 % | 25.49/25.51 c | 100 | 4053 2925 7572 | 5500 100 56 | 6.849 % | 25.49/25.52 c | 251 | 4036 2925 7572 | 6050 251 30 | 7.240 % | 25.49/25.52 c | 477 | 4036 2925 7572 | 6655 477 23 | 7.240 % | 25.49/25.53 c | 815 | 4033 2925 7572 | 7320 815 21 | 7.493 % | 25.49/25.54 c | 1322 | 4024 2925 7572 | 8052 1322 22 | 7.516 % | 25.49/25.55 c =============================================================================== 25.49/25.56 c core #371 25.49/25.56 c 25.49/25.56 c 25.49/25.56 c Core size: 100 Core Weight: 1 Total Weight: 1440 25.49/25.56 c Current CPU time: 25.3561 s 25.49/25.56 c 25.49/25.56 c ============================[ Search Statistics ]============================== 25.49/25.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.49/25.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.49/25.56 c =============================================================================== 25.49/25.56 c | 0 | 4097 2930 7670 | 5000 0 -nan | 0.000 % | 25.49/25.56 c | 101 | 4096 2930 7670 | 5500 101 45 | 6.803 % | 25.49/25.57 c | 252 | 4096 2930 7670 | 6050 252 30 | 6.803 % | 25.49/25.57 c | 477 | 4096 2930 7670 | 6655 477 34 | 6.803 % | 25.49/25.58 c | 815 | 4096 2930 7670 | 7320 815 44 | 6.803 % | 25.49/25.59 c | 1321 | 4093 2930 7670 | 8052 1321 51 | 6.871 % | 25.59/25.61 c | 2081 | 4087 2930 7670 | 8857 2081 51 | 7.008 % | 25.59/25.65 c | 3222 | 4084 2930 7670 | 9743 3222 61 | 7.076 % | 25.70/25.71 c | 4930 | 4080 2930 7670 | 10717 4930 62 | 7.190 % | 25.79/25.85 c | 7493 | 4072 2930 7670 | 11789 7493 74 | 7.418 % | 25.99/26.08 c | 11337 | 4063 2930 7670 | 12968 11337 79 | 7.577 % | 26.41/26.44 c | 17103 | 4057 2930 7670 | 14265 10386 82 | 7.737 % | 26.99/27.07 c | 25753 | 4043 2930 7670 | 15692 11524 84 | 8.487 % | 28.09/28.12 c | 38729 | 4014 2930 7670 | 17261 16399 94 | 8.805 % | 29.89/29.95 c | 58190 | 3993 2930 7670 | 18987 8977 94 | 9.216 % | 33.29/33.32 c | 87383 | 3969 2930 7670 | 20886 18548 110 | 9.738 % | 38.69/38.76 c | 131175 | 3953 2930 7670 | 22974 19307 106 | 10.057 % | 50.89/50.99 c | 196861 | 3938 2930 7670 | 25272 13698 120 | 10.398 % | 65.90/66.01 c =============================================================================== 66.09/66.15 c core #372 66.09/66.15 c 66.09/66.15 c 66.09/66.15 c Core size: 199 Core Weight: 1 Total Weight: 1441 66.09/66.15 c Current CPU time: 65.564 s 66.09/66.15 c 66.09/66.15 c ============================[ Search Statistics ]============================== 66.09/66.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.09/66.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.09/66.15 c =============================================================================== 66.09/66.15 c | 0 | 4191 2939 7878 | 5000 0 -nan | 0.000 % | 66.09/66.16 c | 102 | 4191 2939 7878 | 5500 102 66 | 6.638 % | 66.09/66.16 c | 252 | 4188 2939 7878 | 6050 252 37 | 6.705 % | 66.09/66.16 c | 478 | 4184 2939 7878 | 6655 478 26 | 6.794 % | 66.09/66.17 c | 816 | 4184 2939 7878 | 7320 816 25 | 6.794 % | 66.09/66.18 c | 1322 | 4181 2939 7878 | 8052 1322 27 | 6.861 % | 66.20/66.20 c | 2084 | 4158 2939 7878 | 8857 2084 28 | 7.797 % | 66.20/66.23 c | 3224 | 4120 2939 7878 | 9743 3224 36 | 9.601 % | 66.29/66.30 c | 4932 | 4054 2939 7878 | 10717 4932 56 | 10.025 % | 66.50/66.53 c | 7498 | 4036 2939 7878 | 11789 7498 91 | 10.181 % | 67.30/67.31 c | 11344 | 4024 2939 7878 | 12968 11344 119 | 10.381 % | 68.90/68.96 c | 17110 | 4021 2939 7878 | 14265 10364 167 | 10.693 % | 71.51/71.57 c | 25766 | 4006 2939 7878 | 15692 11636 163 | 10.916 % | 75.49/75.56 c | 38740 | 3994 2939 7878 | 17261 8292 153 | 11.072 % | 81.50/81.50 c | 58201 | 3988 2939 7878 | 18987 9899 158 | 11.406 % | 88.69/88.70 c | 87394 | 3965 2939 7878 | 20886 19508 175 | 11.851 % | 94.51/94.57 c | 131185 | 3939 2939 7878 | 22974 21202 115 | 12.252 % | 110.09/110.14 c | 196869 | 3933 2939 7878 | 25272 18587 171 | 12.386 % | 140.81/140.86 c | 295395 | 3927 2939 7878 | 27799 24904 160 | 12.564 % | 182.90/182.94 c | 443185 | 3923 2939 7878 | 30579 16334 198 | 12.609 % | 206.09/206.15 c =============================================================================== 206.82/206.84 c core #373 206.82/206.84 c 206.82/206.84 c 206.82/206.84 c Core size: 247 Core Weight: 1 Total Weight: 1442 206.82/206.84 c Current CPU time: 205.518 s 206.82/206.84 c 206.82/206.84 c ============================[ Search Statistics ]============================== 206.82/206.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 206.82/206.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 206.82/206.84 c =============================================================================== 206.82/206.84 c | 0 | 4325 2947 8162 | 5000 0 -nan | 0.000 % | 206.82/206.84 c | 101 | 4325 2947 8162 | 5500 101 25 | 6.446 % | 206.82/206.84 c | 251 | 4325 2947 8162 | 6050 251 32 | 6.446 % | 206.82/206.85 c | 476 | 4325 2947 8162 | 6655 476 31 | 6.446 % | 206.82/206.86 c | 814 | 4325 2947 8162 | 7320 814 39 | 6.446 % | 206.82/206.87 c | 1320 | 4321 2947 8162 | 8052 1320 46 | 6.533 % | 206.82/206.89 c | 2080 | 4320 2947 8162 | 8857 2080 45 | 6.554 % | 206.90/206.94 c | 3219 | 4317 2947 8162 | 9743 3219 58 | 6.641 % | 207.00/207.00 c | 4928 | 4313 2947 8162 | 10717 4928 60 | 6.706 % | 207.00/207.09 c | 7492 | 4307 2947 8162 | 11789 7492 62 | 6.835 % | 207.19/207.28 c | 11337 | 4299 2947 8162 | 12968 11337 64 | 7.008 % | 207.60/207.60 c | 17104 | 4287 2947 8162 | 14265 10219 57 | 7.269 % | 208.00/208.09 c | 25754 | 4272 2947 8162 | 15692 11413 65 | 7.592 % | 208.80/208.89 c | 38736 | 4258 2947 8162 | 17261 16292 71 | 7.895 % | 210.60/210.61 c | 58199 | 4249 2947 8162 | 18987 17774 72 | 8.090 % | 213.20/213.20 c | 87393 | 4230 2947 8162 | 20886 17540 79 | 8.501 % | 216.40/216.40 c | 131182 | 4209 2947 8162 | 22974 8336 89 | 8.955 % | 224.00/224.03 c | 196866 | 4192 2947 8162 | 25272 14704 116 | 9.323 % | 239.90/239.97 c | 295396 | 4179 2947 8162 | 27799 13453 121 | 9.605 % | 268.60/268.62 c | 443187 | 4176 2947 8162 | 30579 14802 106 | 9.669 % | 300.40/300.45 c | 664874 | 4064 2947 8162 | 33637 13429 88 | 12.092 % | 366.22/366.27 c | 997400 | 4062 2947 8162 | 37001 30039 126 | 12.135 % | 524.73/524.75 c | 1496188 | 4061 2947 8162 | 40701 34030 222 | 12.157 % | 785.33/785.35 c | 2244370 | 4061 2947 8162 | 44771 15571 131 | 12.157 % | 1270.04/1270.04 c | 3366647 | 4061 2947 8162 | 49248 30335 164 | 12.157 % |
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-3460912-1307087773/watcher-3460912-1307087773 -o /tmp/evaluation-result-3460912-1307087773/solver-3460912-1307087773 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460912-1307087773.opb running on 4 cores: 0,2,4,6 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: 2.02 2.02 2.00 2/481 6703 /proc/meminfo: memFree=27457204/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=3252 CPUtime=0 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 561 0 0 0 0 0 0 0 25 0 1 0 820376926 3330048 514 33554432000 4194304 5714214 140736099339680 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 813 514 196 372 0 398 0 [startup+0.039827 s] /proc/loadavg: 2.02 2.02 2.00 2/481 6703 /proc/meminfo: memFree=27457204/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=4960 CPUtime=0.03 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 1162 0 0 0 3 0 0 0 25 0 1 0 820376926 5079040 995 33554432000 4194304 5714214 140736099339680 18446744073709551615 4336672 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 1240 995 175 372 0 865 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4960 [startup+0.100889 s] /proc/loadavg: 2.02 2.02 2.00 2/481 6703 /proc/meminfo: memFree=27457204/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=5464 CPUtime=0.09 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 1367 0 0 0 9 0 0 0 25 0 1 0 820376926 5595136 1077 33554432000 4194304 5714214 140736099339680 18446744073709551615 4967781 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 1366 1077 175 372 0 991 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5464 [startup+0.300858 s] /proc/loadavg: 2.02 2.02 2.00 2/481 6703 /proc/meminfo: memFree=27457204/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=6688 CPUtime=0.29 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 2947 0 0 0 29 0 0 0 25 0 1 0 820376926 6848512 1398 33554432000 4194304 5714214 140736099339680 18446744073709551615 4355624 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 1672 1398 175 372 0 1297 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6688 [startup+0.700762 s] /proc/loadavg: 2.02 2.02 2.00 2/481 6703 /proc/meminfo: memFree=27457204/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=9352 CPUtime=0.69 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 4221 0 0 0 68 1 0 0 18 0 1 0 820376926 9576448 2058 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 2338 2058 180 372 0 1963 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9352 [startup+1.50062 s] /proc/loadavg: 2.02 2.02 2.00 3/482 6704 /proc/meminfo: memFree=27442652/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=11624 CPUtime=1.49 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 5178 0 0 0 147 2 0 0 18 0 1 0 820376926 11902976 2663 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 2906 2663 180 372 0 2531 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11624 [startup+3.1002 s] /proc/loadavg: 2.02 2.02 2.00 3/482 6704 /proc/meminfo: memFree=27437196/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=14576 CPUtime=3.09 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 5899 0 0 0 305 4 0 0 20 0 1 0 820376926 14925824 3384 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 3644 3384 180 372 0 3269 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14576 [startup+6.30069 s] /proc/loadavg: 2.02 2.02 2.00 3/482 6704 /proc/meminfo: memFree=27426048/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=20704 CPUtime=6.29 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 7446 0 0 0 622 7 0 0 25 0 1 0 820376926 21200896 4931 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 5176 4931 180 372 0 4801 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20704 [startup+12.7005 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6704 /proc/meminfo: memFree=27407808/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=30512 CPUtime=12.69 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 9856 0 0 0 1255 14 0 0 25 0 1 0 820376926 31244288 7341 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 7628 7341 180 372 0 7253 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30512 [startup+25.501 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6705 /proc/meminfo: memFree=27387596/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=47932 CPUtime=25.49 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 14103 0 0 0 2529 20 0 0 25 0 1 0 820376926 49082368 11588 33554432000 4194304 5714214 140736099339680 18446744073709551615 4956175 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 11983 11588 180 372 0 11608 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47932 [startup+51.1012 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6705 /proc/meminfo: memFree=27373760/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=51564 CPUtime=51.09 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 15205 0 0 0 5070 39 0 0 25 0 1 0 820376926 52801536 12643 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 12891 12643 180 372 0 12516 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 51564 [startup+102.318 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6707 /proc/meminfo: memFree=27330076/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=65880 CPUtime=102.31 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 18644 0 0 0 10165 66 0 0 25 0 1 0 820376926 67461120 16082 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 16470 16082 180 372 0 16095 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 65880 [startup+162.301 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6708 /proc/meminfo: memFree=27273252/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=93376 CPUtime=162.3 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 25458 0 0 0 16144 86 0 0 25 0 1 0 820376926 95617024 22896 33554432000 4194304 5714214 140736099339680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 23344 22896 180 372 0 22969 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 93376 [startup+222.3 s] /proc/loadavg: 2.20 2.05 2.01 3/482 6710 /proc/meminfo: memFree=27214688/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=125728 CPUtime=222.3 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 33441 0 0 0 22106 124 0 0 25 0 1 0 820376926 128745472 30879 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 31432 30879 180 372 0 31057 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 125728 [startup+282.301 s] /proc/loadavg: 2.07 2.04 2.01 3/482 6711 /proc/meminfo: memFree=27189112/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=125728 CPUtime=282.3 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 33648 0 0 0 28069 161 0 0 25 0 1 0 820376926 128745472 31086 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 31432 31086 180 372 0 31057 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 125728 [startup+342.301 s] /proc/loadavg: 2.02 2.03 2.00 3/482 6722 /proc/meminfo: memFree=27115924/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=171552 CPUtime=342.3 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 44956 0 0 0 34034 196 0 0 25 0 1 0 820376926 175669248 42394 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 42888 42394 180 372 0 42513 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 171552 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/482 6724 /proc/meminfo: memFree=27042356/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=219508 CPUtime=402.31 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 56853 0 0 0 40005 226 0 0 25 0 1 0 820376926 224776192 54291 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 54877 54291 180 372 0 54502 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 219508 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6725 /proc/meminfo: memFree=26975008/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=257928 CPUtime=462.31 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 66325 0 0 0 45980 251 0 0 25 0 1 0 820376926 264118272 63763 33554432000 4194304 5714214 140736099339680 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 64482 63763 180 372 0 64107 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 257928 [startup+522.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6730 /proc/meminfo: memFree=26928628/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=281092 CPUtime=522.31 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 72037 0 0 0 51962 269 0 0 25 0 1 0 820376926 287838208 69475 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 70273 69475 180 372 0 69898 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 281092 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/482 6731 /proc/meminfo: memFree=26877500/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=305852 CPUtime=582.32 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 78116 0 0 0 57946 286 0 0 25 0 1 0 820376926 313192448 75554 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 76463 75554 180 372 0 76088 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 305852 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.09 2.06 2.01 3/482 6738 /proc/meminfo: memFree=26681324/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=410972 CPUtime=822.32 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 104186 0 0 0 81868 364 0 0 25 0 1 0 820376926 420835328 101420 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 102743 101420 180 372 0 102368 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 410972 [startup+882.3 s] /proc/loadavg: 2.03 2.04 2.01 3/482 6739 /proc/meminfo: memFree=26629456/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=440084 CPUtime=882.32 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 111468 0 0 0 87846 386 0 0 25 0 1 0 820376926 450646016 108702 33554432000 4194304 5714214 140736099339680 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 110021 108702 180 372 0 109646 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 440084 [startup+942.301 s] /proc/loadavg: 2.01 2.03 2.00 3/482 6741 /proc/meminfo: memFree=26598308/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=458036 CPUtime=942.33 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 115827 0 0 0 93831 402 0 0 25 0 1 0 820376926 469028864 113061 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 114509 113061 180 372 0 114134 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 458036 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6743 /proc/meminfo: memFree=26559708/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=481820 CPUtime=1002.33 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 121729 0 0 0 99817 416 0 0 25 0 1 0 820376926 493383680 118963 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 120455 118963 180 372 0 120080 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 481820 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6744 /proc/meminfo: memFree=26523472/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=498744 CPUtime=1062.33 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 125952 0 0 0 105804 429 0 0 25 0 1 0 820376926 510713856 123186 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 124686 123186 180 372 0 124311 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 498744 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6746 /proc/meminfo: memFree=26480152/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=521168 CPUtime=1122.34 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 131406 0 0 0 111792 442 0 0 25 0 1 0 820376926 533676032 128640 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 130292 128640 180 372 0 129917 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 521168 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6747 /proc/meminfo: memFree=26444532/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=541144 CPUtime=1182.33 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 136410 0 0 0 117773 460 0 0 25 0 1 0 820376926 554131456 133644 33554432000 4194304 5714214 140736099339680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 135286 133644 180 372 0 134911 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 541144 [startup+1242.3 s] /proc/loadavg: 2.25 2.07 2.02 3/482 6749 /proc/meminfo: memFree=26406036/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=559784 CPUtime=1242.33 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 141057 0 0 0 123757 476 0 0 25 0 1 0 820376926 573218816 138291 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 139946 138291 180 372 0 139571 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 559784 [startup+1302.3 s] /proc/loadavg: 2.15 2.07 2.02 3/482 6751 /proc/meminfo: memFree=26358768/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=591528 CPUtime=1302.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 148888 0 0 0 129740 495 0 0 25 0 1 0 820376926 605724672 146122 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 147882 146122 180 372 0 147507 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 591528 [startup+1362.3 s] /proc/loadavg: 2.05 2.05 2.01 3/482 6752 /proc/meminfo: memFree=26307032/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=629628 CPUtime=1362.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 158424 0 0 0 135722 513 0 0 25 0 1 0 820376926 644739072 155658 33554432000 4194304 5714214 140736099339680 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 157407 155658 180 372 0 157032 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 629628 [startup+1422.32 s] /proc/loadavg: 2.02 2.04 2.00 3/482 6754 /proc/meminfo: memFree=26275236/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=645408 CPUtime=1422.36 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 162331 0 0 0 141708 528 0 0 25 0 1 0 820376926 660897792 159565 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 161352 159565 180 372 0 160977 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 645408 [startup+1482.3 s] /proc/loadavg: 2.00 2.03 2.00 3/482 6755 /proc/meminfo: memFree=26238128/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=669852 CPUtime=1482.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 168418 0 0 0 147692 543 0 0 25 0 1 0 820376926 685928448 165652 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 167463 165652 180 372 0 167088 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 669852 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6757 /proc/meminfo: memFree=26192684/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=695548 CPUtime=1542.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 174823 0 0 0 153674 561 0 0 25 0 1 0 820376926 712241152 172057 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 173887 172057 180 372 0 173512 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 695548 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/482 6759 /proc/meminfo: memFree=26153336/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=718344 CPUtime=1602.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 180472 0 0 0 159658 577 0 0 25 0 1 0 820376926 735584256 177706 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 179586 177706 180 372 0 179211 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 718344 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6760 /proc/meminfo: memFree=26112744/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=742932 CPUtime=1662.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 186694 0 0 0 165643 592 0 0 25 0 1 0 820376926 760762368 183843 33554432000 4194304 5714214 140736099339680 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 185733 183843 180 372 0 185358 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 742932 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/482 6762 /proc/meminfo: memFree=26084064/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=759732 CPUtime=1722.35 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 190901 0 0 0 171631 604 0 0 25 0 1 0 820376926 777965568 188050 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 189933 188050 180 372 0 189558 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 759732 [startup+1782.3 s] /proc/loadavg: 2.09 2.03 2.01 3/482 6763 /proc/meminfo: memFree=26047196/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=778236 CPUtime=1782.36 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 195475 0 0 0 177612 624 0 0 25 0 1 0 820376926 796913664 192624 33554432000 4194304 5714214 140736099339680 18446744073709551615 4319840 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 194559 192624 180 372 0 194184 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 778236 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.21 2.06 2.02 2/481 6765 /proc/meminfo: memFree=26674752/32950928 swapFree=39617324/67111528 [pid=6703] ppid=6701 vsize=783500 CPUtime=1800.07 cores=0,2,4,6 /proc/6703/stat : 6703 (wbo1.6) R 6701 6703 4028 0 -1 4202496 196786 0 0 0 179376 631 0 0 25 0 1 0 820376926 802304000 193935 33554432000 4194304 5714214 140736099339680 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/6703/statm: 195875 193935 180 372 0 195500 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 783500 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.06 CPU time (s): 1800.12 CPU user time (s): 1793.77 CPU system time (s): 6.35203 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 783500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.77 system time used= 6.35203 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 196786 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= 15 involuntary context switches= 1780 runsolver used 8.79966 second user time and 19.0671 second system time The end
Begin job on node127 at 2011-06-03 09:56:13 IDJOB=3460912 IDBENCH=2145 IDSOLVER=1953 FILE ID=node127/3460912-1307087773 RUNJOBID= node127-1307084168-6463 PBS_JOBID= 13497859 Free space on /tmp= 73936 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460912-1307087773/watcher-3460912-1307087773 -o /tmp/evaluation-result-3460912-1307087773/solver-3460912-1307087773 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460912-1307087773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8eb6af86f71dc4b72baf669ed918f50c RANDOM SEED=490787588 node127.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.823 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.64 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.823 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.83 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.823 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.74 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.823 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.86 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.823 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.75 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.823 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 : 5332.75 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.823 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.60 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.823 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: 32950928 kB MemFree: 27457484 kB Buffers: 313996 kB Cached: 883420 kB SwapCached: 59160 kB Active: 3205396 kB Inactive: 2001388 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 27457484 kB SwapTotal: 67111528 kB SwapFree: 39617324 kB Dirty: 8564 kB Writeback: 0 kB AnonPages: 3956772 kB Mapped: 22872 kB Slab: 122132 kB PageTables: 94356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 119741608 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= 73936 MiB End job on node127 at 2011-06-03 10:26:15