Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.1 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-max1024.pi.opb |
MD5SUM | 93fc03471d2b2f18ece1d77179dbcb30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 259 |
Best CPU time to get the best result obtained on this benchmark | 18.6782 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 259 |
Optimality of the best value was proved | YES |
Number of variables | 1278 |
Total number of constraints | 1087 |
Number of constraints which are clauses | 1087 |
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 | 18 |
Number of terms in the objective function | 1278 |
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 | 1278 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1278 |
Number of bits of the biggest sum of numbers | 11 |
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-3460930-1307081594.opb. 0.00/0.00 c Instance file HOME/instance-3460930-1307081594.opb 0.00/0.00 c File size is 74860 bytes. 0.00/0.00 c Highest Coefficient sum: 19 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 1278 | 0.00/0.00 c | Number Clauses: 1087 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 1264 1087 6958 | 5000 0 -nan | 0.000 % | 0.00/0.04 c core #1 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 15 0.00/0.04 c Current CPU time: 0.006998 s 0.00/0.04 c 0.00/0.04 c core #2 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 16 0.00/0.04 c Current CPU time: 0.006998 s 0.00/0.04 c 0.00/0.04 c core #3 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 17 0.00/0.04 c Current CPU time: 0.007998 s 0.00/0.04 c 0.00/0.04 c core #4 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 18 0.00/0.04 c Current CPU time: 0.008998 s 0.00/0.04 c 0.00/0.04 c core #5 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 19 0.00/0.04 c Current CPU time: 0.009998 s 0.00/0.04 c 0.00/0.04 c core #6 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 12 Core Weight: 1 Total Weight: 20 0.00/0.04 c Current CPU time: 0.010998 s 0.00/0.04 c 0.00/0.04 c core #7 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 21 0.00/0.04 c Current CPU time: 0.010998 s 0.00/0.04 c 0.00/0.04 c core #8 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 22 0.00/0.04 c Current CPU time: 0.011998 s 0.00/0.04 c 0.00/0.04 c core #9 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 23 0.00/0.04 c Current CPU time: 0.012998 s 0.00/0.04 c 0.00/0.04 c core #10 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 24 0.00/0.04 c Current CPU time: 0.013997 s 0.00/0.04 c 0.00/0.04 c core #11 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: 25 0.00/0.04 c Current CPU time: 0.014997 s 0.00/0.04 c 0.00/0.04 c core #12 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 26 0.00/0.04 c Current CPU time: 0.015997 s 0.00/0.04 c 0.00/0.04 c core #13 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 27 0.00/0.04 c Current CPU time: 0.015997 s 0.00/0.04 c 0.00/0.04 c core #14 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 28 0.00/0.04 c Current CPU time: 0.016997 s 0.00/0.04 c 0.00/0.04 c core #15 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 29 0.00/0.04 c Current CPU time: 0.017997 s 0.00/0.04 c 0.00/0.04 c core #16 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 30 0.00/0.04 c Current CPU time: 0.018997 s 0.00/0.04 c 0.00/0.04 c core #17 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 31 0.00/0.04 c Current CPU time: 0.019996 s 0.00/0.04 c 0.00/0.04 c core #18 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 32 0.00/0.04 c Current CPU time: 0.020996 s 0.00/0.04 c 0.00/0.04 c core #19 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 33 0.00/0.04 c Current CPU time: 0.021996 s 0.00/0.04 c 0.00/0.04 c core #20 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.04 c Current CPU time: 0.021996 s 0.00/0.04 c 0.00/0.04 c core #21 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 35 0.00/0.04 c Current CPU time: 0.022996 s 0.00/0.04 c 0.00/0.04 c core #22 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.04 c Current CPU time: 0.023996 s 0.00/0.04 c 0.00/0.04 c core #23 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 37 0.00/0.04 c Current CPU time: 0.024996 s 0.00/0.04 c 0.00/0.04 c core #24 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 38 0.00/0.04 c Current CPU time: 0.025996 s 0.00/0.04 c 0.00/0.04 c core #25 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.04 c Current CPU time: 0.026995 s 0.00/0.04 c 0.00/0.04 c core #26 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 40 0.00/0.04 c Current CPU time: 0.027995 s 0.00/0.04 c 0.00/0.04 c core #27 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 11 Core Weight: 1 Total Weight: 41 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #28 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 42 0.00/0.04 c Current CPU time: 0.028995 s 0.00/0.04 c 0.00/0.04 c core #29 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 43 0.00/0.04 c Current CPU time: 0.029995 s 0.00/0.04 c 0.00/0.04 c core #30 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 44 0.00/0.04 c Current CPU time: 0.030995 s 0.00/0.04 c 0.00/0.04 c core #31 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 45 0.00/0.04 c Current CPU time: 0.031995 s 0.00/0.04 c 0.00/0.04 c core #32 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 46 0.00/0.04 c Current CPU time: 0.032994 s 0.00/0.04 c 0.00/0.04 c core #33 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 47 0.00/0.04 c Current CPU time: 0.033994 s 0.00/0.04 c 0.00/0.04 c core #34 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 48 0.00/0.04 c Current CPU time: 0.034994 s 0.00/0.04 c 0.00/0.04 c core #35 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 6 Core Weight: 1 Total Weight: 49 0.00/0.04 c Current CPU time: 0.035994 s 0.00/0.04 c 0.00/0.04 c core #36 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 3 Core Weight: 1 Total Weight: 50 0.00/0.04 c Current CPU time: 0.036994 s 0.00/0.04 c 0.00/0.04 c core #37 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: 51 0.00/0.04 c Current CPU time: 0.037994 s 0.00/0.04 c 0.00/0.04 c core #38 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 52 0.00/0.04 c Current CPU time: 0.037994 s 0.00/0.04 c 0.00/0.04 c core #39 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 53 0.00/0.04 c Current CPU time: 0.038994 s 0.00/0.04 c 0.00/0.04 c core #40 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 54 0.00/0.04 c Current CPU time: 0.039993 s 0.00/0.04 c 0.00/0.04 c core #41 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 5 Core Weight: 1 Total Weight: 55 0.00/0.04 c Current CPU time: 0.040993 s 0.00/0.04 c 0.00/0.04 c core #42 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: 56 0.00/0.04 c Current CPU time: 0.041993 s 0.00/0.04 c 0.00/0.04 c core #43 0.00/0.04 c 0.00/0.04 c 0.00/0.04 c Core size: 8 Core Weight: 1 Total Weight: 57 0.00/0.08 c Current CPU time: 0.042993 s 0.00/0.08 c 0.00/0.08 c core #44 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 8 Core Weight: 1 Total Weight: 58 0.00/0.08 c Current CPU time: 0.043993 s 0.00/0.08 c 0.00/0.08 c core #45 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 6 Core Weight: 1 Total Weight: 59 0.00/0.08 c Current CPU time: 0.044993 s 0.00/0.08 c 0.00/0.08 c core #46 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 10 Core Weight: 1 Total Weight: 60 0.00/0.08 c Current CPU time: 0.045993 s 0.00/0.08 c 0.00/0.08 c core #47 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 7 Core Weight: 1 Total Weight: 61 0.00/0.08 c Current CPU time: 0.046992 s 0.00/0.08 c 0.00/0.08 c core #48 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 7 Core Weight: 1 Total Weight: 62 0.00/0.08 c Current CPU time: 0.047992 s 0.00/0.08 c 0.00/0.08 c core #49 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 63 0.00/0.08 c Current CPU time: 0.048992 s 0.00/0.08 c 0.00/0.08 c core #50 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 8 Core Weight: 1 Total Weight: 64 0.00/0.08 c Current CPU time: 0.049992 s 0.00/0.08 c 0.00/0.08 c core #51 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 6 Core Weight: 1 Total Weight: 65 0.00/0.08 c Current CPU time: 0.050992 s 0.00/0.08 c 0.00/0.08 c core #52 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 66 0.00/0.08 c Current CPU time: 0.051992 s 0.00/0.08 c 0.00/0.08 c core #53 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 67 0.00/0.08 c Current CPU time: 0.052991 s 0.00/0.08 c 0.00/0.08 c core #54 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 9 Core Weight: 1 Total Weight: 68 0.00/0.08 c Current CPU time: 0.053991 s 0.00/0.08 c 0.00/0.08 c core #55 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 8 Core Weight: 1 Total Weight: 69 0.00/0.08 c Current CPU time: 0.054991 s 0.00/0.08 c 0.00/0.08 c core #56 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 10 Core Weight: 1 Total Weight: 70 0.00/0.08 c Current CPU time: 0.055991 s 0.00/0.08 c 0.00/0.08 c core #57 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 9 Core Weight: 1 Total Weight: 71 0.00/0.08 c Current CPU time: 0.055991 s 0.00/0.08 c 0.00/0.08 c core #58 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 72 0.00/0.08 c Current CPU time: 0.056991 s 0.00/0.08 c 0.00/0.08 c core #59 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 12 Core Weight: 1 Total Weight: 73 0.00/0.08 c Current CPU time: 0.057991 s 0.00/0.08 c 0.00/0.08 c core #60 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 9 Core Weight: 1 Total Weight: 74 0.00/0.08 c Current CPU time: 0.058991 s 0.00/0.08 c 0.00/0.08 c core #61 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 75 0.00/0.08 c Current CPU time: 0.05999 s 0.00/0.08 c 0.00/0.08 c core #62 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 76 0.00/0.08 c Current CPU time: 0.06099 s 0.00/0.08 c 0.00/0.08 c core #63 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 6 Core Weight: 1 Total Weight: 77 0.00/0.08 c Current CPU time: 0.06199 s 0.00/0.08 c 0.00/0.08 c core #64 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 78 0.00/0.08 c Current CPU time: 0.06299 s 0.00/0.08 c 0.00/0.08 c core #65 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 9 Core Weight: 1 Total Weight: 79 0.00/0.08 c Current CPU time: 0.06399 s 0.00/0.08 c 0.00/0.08 c core #66 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 7 Core Weight: 1 Total Weight: 80 0.00/0.08 c Current CPU time: 0.06499 s 0.00/0.08 c 0.00/0.08 c core #67 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 7 Core Weight: 1 Total Weight: 81 0.00/0.08 c Current CPU time: 0.065989 s 0.00/0.08 c 0.00/0.08 c core #68 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 82 0.00/0.08 c Current CPU time: 0.067989 s 0.00/0.08 c 0.00/0.08 c core #69 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 83 0.00/0.08 c Current CPU time: 0.068989 s 0.00/0.08 c 0.00/0.08 c core #70 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 84 0.00/0.08 c Current CPU time: 0.069989 s 0.00/0.08 c 0.00/0.08 c core #71 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 6 Core Weight: 1 Total Weight: 85 0.00/0.08 c Current CPU time: 0.070989 s 0.00/0.08 c 0.00/0.08 c core #72 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 7 Core Weight: 1 Total Weight: 86 0.00/0.08 c Current CPU time: 0.071989 s 0.00/0.08 c 0.00/0.08 c core #73 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 87 0.00/0.08 c Current CPU time: 0.072988 s 0.00/0.08 c 0.00/0.08 c core #74 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 88 0.00/0.08 c Current CPU time: 0.073988 s 0.00/0.08 c 0.00/0.08 c core #75 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 89 0.00/0.08 c Current CPU time: 0.074988 s 0.00/0.08 c 0.00/0.08 c core #76 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 90 0.00/0.08 c Current CPU time: 0.075988 s 0.00/0.08 c 0.00/0.08 c core #77 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 91 0.00/0.08 c Current CPU time: 0.076988 s 0.00/0.08 c 0.00/0.08 c core #78 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 92 0.00/0.08 c Current CPU time: 0.077988 s 0.00/0.08 c 0.00/0.08 c core #79 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 93 0.00/0.08 c Current CPU time: 0.078987 s 0.00/0.08 c 0.00/0.08 c core #80 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 4 Core Weight: 1 Total Weight: 94 0.00/0.08 c Current CPU time: 0.079987 s 0.00/0.08 c 0.00/0.08 c core #81 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 9 Core Weight: 1 Total Weight: 95 0.00/0.08 c Current CPU time: 0.080987 s 0.00/0.08 c 0.00/0.08 c core #82 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 8 Core Weight: 1 Total Weight: 96 0.00/0.08 c Current CPU time: 0.081987 s 0.00/0.08 c 0.00/0.08 c core #83 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: 97 0.00/0.08 c Current CPU time: 0.082987 s 0.00/0.08 c 0.00/0.08 c core #84 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 5 Core Weight: 1 Total Weight: 98 0.00/0.08 c Current CPU time: 0.083987 s 0.00/0.08 c 0.00/0.08 c core #85 0.00/0.08 c 0.00/0.08 c 0.00/0.08 c Core size: 7 Core Weight: 1 Total Weight: 99 0.09/0.13 c Current CPU time: 0.084987 s 0.09/0.13 c 0.09/0.13 c core #86 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 100 0.09/0.13 c Current CPU time: 0.085986 s 0.09/0.13 c 0.09/0.13 c core #87 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.13 c Current CPU time: 0.086986 s 0.09/0.13 c 0.09/0.13 c core #88 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 102 0.09/0.13 c Current CPU time: 0.087986 s 0.09/0.13 c 0.09/0.13 c core #89 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 103 0.09/0.13 c Current CPU time: 0.088986 s 0.09/0.13 c 0.09/0.13 c core #90 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 104 0.09/0.13 c Current CPU time: 0.089986 s 0.09/0.13 c 0.09/0.13 c core #91 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.13 c Current CPU time: 0.091986 s 0.09/0.13 c 0.09/0.13 c core #92 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 106 0.09/0.13 c Current CPU time: 0.092985 s 0.09/0.13 c 0.09/0.13 c core #93 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 107 0.09/0.13 c Current CPU time: 0.093985 s 0.09/0.13 c 0.09/0.13 c core #94 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 108 0.09/0.13 c Current CPU time: 0.094985 s 0.09/0.13 c 0.09/0.13 c core #95 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 109 0.09/0.13 c Current CPU time: 0.095985 s 0.09/0.13 c 0.09/0.13 c core #96 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 110 0.09/0.13 c Current CPU time: 0.096985 s 0.09/0.13 c 0.09/0.13 c core #97 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 111 0.09/0.13 c Current CPU time: 0.097985 s 0.09/0.13 c 0.09/0.13 c core #98 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 112 0.09/0.13 c Current CPU time: 0.098984 s 0.09/0.13 c 0.09/0.13 c core #99 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 8 Core Weight: 1 Total Weight: 113 0.09/0.13 c Current CPU time: 0.099984 s 0.09/0.13 c 0.09/0.13 c core #100 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 114 0.09/0.13 c Current CPU time: 0.100984 s 0.09/0.13 c 0.09/0.13 c core #101 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 115 0.09/0.13 c Current CPU time: 0.101984 s 0.09/0.13 c 0.09/0.13 c core #102 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 116 0.09/0.13 c Current CPU time: 0.102984 s 0.09/0.13 c 0.09/0.13 c core #103 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 117 0.09/0.13 c Current CPU time: 0.104984 s 0.09/0.13 c 0.09/0.13 c core #104 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 13 Core Weight: 1 Total Weight: 118 0.09/0.13 c Current CPU time: 0.105983 s 0.09/0.13 c 0.09/0.13 c core #105 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 119 0.09/0.13 c Current CPU time: 0.106983 s 0.09/0.13 c 0.09/0.13 c core #106 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 120 0.09/0.13 c Current CPU time: 0.107983 s 0.09/0.13 c 0.09/0.13 c core #107 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 121 0.09/0.13 c Current CPU time: 0.108983 s 0.09/0.13 c 0.09/0.13 c core #108 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 122 0.09/0.13 c Current CPU time: 0.109983 s 0.09/0.13 c 0.09/0.13 c core #109 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 123 0.09/0.13 c Current CPU time: 0.110983 s 0.09/0.13 c 0.09/0.13 c core #110 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 124 0.09/0.13 c Current CPU time: 0.111982 s 0.09/0.13 c 0.09/0.13 c core #111 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 125 0.09/0.13 c Current CPU time: 0.112982 s 0.09/0.13 c 0.09/0.13 c core #112 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 126 0.09/0.13 c Current CPU time: 0.114982 s 0.09/0.13 c 0.09/0.13 c core #113 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 127 0.09/0.13 c Current CPU time: 0.115982 s 0.09/0.13 c 0.09/0.13 c core #114 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 128 0.09/0.13 c Current CPU time: 0.116982 s 0.09/0.13 c 0.09/0.13 c core #115 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 129 0.09/0.13 c Current CPU time: 0.117982 s 0.09/0.13 c 0.09/0.13 c core #116 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 130 0.09/0.13 c Current CPU time: 0.118981 s 0.09/0.13 c 0.09/0.13 c core #117 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 131 0.09/0.13 c Current CPU time: 0.119981 s 0.09/0.13 c 0.09/0.13 c core #118 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 132 0.09/0.13 c Current CPU time: 0.120981 s 0.09/0.13 c 0.09/0.13 c core #119 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 3 Core Weight: 1 Total Weight: 133 0.09/0.13 c Current CPU time: 0.122981 s 0.09/0.13 c 0.09/0.13 c core #120 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: 134 0.09/0.13 c Current CPU time: 0.123981 s 0.09/0.13 c 0.09/0.13 c core #121 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 10 Core Weight: 1 Total Weight: 135 0.09/0.13 c Current CPU time: 0.124981 s 0.09/0.13 c 0.09/0.13 c core #122 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 136 0.09/0.13 c Current CPU time: 0.12598 s 0.09/0.13 c 0.09/0.13 c core #123 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 5 Core Weight: 1 Total Weight: 137 0.09/0.13 c Current CPU time: 0.12698 s 0.09/0.13 c 0.09/0.13 c core #124 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 138 0.09/0.13 c Current CPU time: 0.12798 s 0.09/0.13 c 0.09/0.13 c core #125 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: 139 0.09/0.13 c Current CPU time: 0.12998 s 0.09/0.13 c 0.09/0.13 c core #126 0.09/0.13 c 0.09/0.13 c 0.09/0.13 c Core size: 6 Core Weight: 1 Total Weight: 140 0.09/0.13 c Current CPU time: 0.13098 s 0.09/0.13 c 0.09/0.13 c core #127 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 141 0.09/0.18 c Current CPU time: 0.131979 s 0.09/0.18 c 0.09/0.18 c core #128 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 142 0.09/0.18 c Current CPU time: 0.132979 s 0.09/0.18 c 0.09/0.18 c core #129 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 143 0.09/0.18 c Current CPU time: 0.133979 s 0.09/0.18 c 0.09/0.18 c core #130 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 11 Core Weight: 1 Total Weight: 144 0.09/0.18 c Current CPU time: 0.135979 s 0.09/0.18 c 0.09/0.18 c core #131 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 145 0.09/0.18 c Current CPU time: 0.136979 s 0.09/0.18 c 0.09/0.18 c core #132 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 13 Core Weight: 1 Total Weight: 146 0.09/0.18 c Current CPU time: 0.137979 s 0.09/0.18 c 0.09/0.18 c core #133 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 147 0.09/0.18 c Current CPU time: 0.138978 s 0.09/0.18 c 0.09/0.18 c core #134 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 148 0.09/0.18 c Current CPU time: 0.139978 s 0.09/0.18 c 0.09/0.18 c core #135 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 149 0.09/0.18 c Current CPU time: 0.141978 s 0.09/0.18 c 0.09/0.18 c core #136 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 150 0.09/0.18 c Current CPU time: 0.142978 s 0.09/0.18 c 0.09/0.18 c core #137 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 151 0.09/0.18 c Current CPU time: 0.143978 s 0.09/0.18 c 0.09/0.18 c core #138 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 152 0.09/0.18 c Current CPU time: 0.144977 s 0.09/0.18 c 0.09/0.18 c core #139 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 153 0.09/0.18 c Current CPU time: 0.145977 s 0.09/0.18 c 0.09/0.18 c core #140 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 154 0.09/0.18 c Current CPU time: 0.147977 s 0.09/0.18 c 0.09/0.18 c core #141 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 155 0.09/0.18 c Current CPU time: 0.148977 s 0.09/0.18 c 0.09/0.18 c core #142 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 156 0.09/0.18 c Current CPU time: 0.149977 s 0.09/0.18 c 0.09/0.18 c core #143 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 5 Core Weight: 1 Total Weight: 157 0.09/0.18 c Current CPU time: 0.150977 s 0.09/0.18 c 0.09/0.18 c core #144 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 158 0.09/0.18 c Current CPU time: 0.152976 s 0.09/0.18 c 0.09/0.18 c core #145 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 159 0.09/0.18 c Current CPU time: 0.153976 s 0.09/0.18 c 0.09/0.18 c core #146 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 160 0.09/0.18 c Current CPU time: 0.154976 s 0.09/0.18 c 0.09/0.18 c core #147 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 161 0.09/0.18 c Current CPU time: 0.155976 s 0.09/0.18 c 0.09/0.18 c core #148 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 162 0.09/0.18 c Current CPU time: 0.157975 s 0.09/0.18 c 0.09/0.18 c core #149 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 163 0.09/0.18 c Current CPU time: 0.158975 s 0.09/0.18 c 0.09/0.18 c core #150 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 164 0.09/0.18 c Current CPU time: 0.159975 s 0.09/0.18 c 0.09/0.18 c core #151 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 165 0.09/0.18 c Current CPU time: 0.160975 s 0.09/0.18 c 0.09/0.18 c core #152 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 9 Core Weight: 1 Total Weight: 166 0.09/0.18 c Current CPU time: 0.162975 s 0.09/0.18 c 0.09/0.18 c core #153 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 6 Core Weight: 1 Total Weight: 167 0.09/0.18 c Current CPU time: 0.163975 s 0.09/0.18 c 0.09/0.18 c core #154 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 9 Core Weight: 1 Total Weight: 168 0.09/0.18 c Current CPU time: 0.164974 s 0.09/0.18 c 0.09/0.18 c core #155 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 8 Core Weight: 1 Total Weight: 169 0.09/0.18 c Current CPU time: 0.165974 s 0.09/0.18 c 0.09/0.18 c core #156 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 170 0.09/0.18 c Current CPU time: 0.167974 s 0.09/0.18 c 0.09/0.18 c core #157 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: 171 0.09/0.18 c Current CPU time: 0.168974 s 0.09/0.18 c 0.09/0.18 c core #158 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 8 Core Weight: 1 Total Weight: 172 0.09/0.18 c Current CPU time: 0.169974 s 0.09/0.18 c 0.09/0.18 c core #159 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 173 0.09/0.18 c Current CPU time: 0.170974 s 0.09/0.18 c 0.09/0.18 c core #160 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 174 0.09/0.18 c Current CPU time: 0.172973 s 0.09/0.18 c 0.09/0.18 c core #161 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 7 Core Weight: 1 Total Weight: 175 0.09/0.18 c Current CPU time: 0.173973 s 0.09/0.18 c 0.09/0.18 c core #162 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 8 Core Weight: 1 Total Weight: 176 0.09/0.18 c Current CPU time: 0.174973 s 0.09/0.18 c 0.09/0.18 c core #163 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 9 Core Weight: 1 Total Weight: 177 0.09/0.18 c Current CPU time: 0.175973 s 0.09/0.18 c 0.09/0.18 c core #164 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 5 Core Weight: 1 Total Weight: 178 0.09/0.18 c Current CPU time: 0.177972 s 0.09/0.18 c 0.09/0.18 c core #165 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 3 Core Weight: 1 Total Weight: 179 0.09/0.18 c Current CPU time: 0.178972 s 0.09/0.18 c 0.09/0.18 c core #166 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 5 Core Weight: 1 Total Weight: 180 0.09/0.18 c Current CPU time: 0.179972 s 0.09/0.18 c 0.09/0.18 c core #167 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 6 Core Weight: 1 Total Weight: 181 0.09/0.18 c Current CPU time: 0.181972 s 0.09/0.18 c 0.09/0.18 c core #168 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 11 Core Weight: 1 Total Weight: 182 0.19/0.24 c Current CPU time: 0.182972 s 0.19/0.24 c 0.19/0.24 c core #169 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 183 0.19/0.24 c Current CPU time: 0.183972 s 0.19/0.24 c 0.19/0.24 c core #170 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 184 0.19/0.24 c Current CPU time: 0.185971 s 0.19/0.24 c 0.19/0.24 c core #171 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 185 0.19/0.24 c Current CPU time: 0.186971 s 0.19/0.24 c 0.19/0.24 c core #172 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 186 0.19/0.24 c Current CPU time: 0.187971 s 0.19/0.24 c 0.19/0.24 c core #173 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 187 0.19/0.24 c Current CPU time: 0.189971 s 0.19/0.24 c 0.19/0.24 c core #174 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 188 0.19/0.24 c Current CPU time: 0.19097 s 0.19/0.24 c 0.19/0.24 c core #175 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 189 0.19/0.24 c Current CPU time: 0.19197 s 0.19/0.24 c 0.19/0.24 c core #176 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 190 0.19/0.24 c Current CPU time: 0.19397 s 0.19/0.24 c 0.19/0.24 c core #177 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 191 0.19/0.24 c Current CPU time: 0.19497 s 0.19/0.24 c 0.19/0.24 c core #178 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 192 0.19/0.24 c Current CPU time: 0.19597 s 0.19/0.24 c 0.19/0.24 c core #179 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 8 Core Weight: 1 Total Weight: 193 0.19/0.24 c Current CPU time: 0.197969 s 0.19/0.24 c 0.19/0.24 c core #180 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 194 0.19/0.24 c Current CPU time: 0.198969 s 0.19/0.24 c 0.19/0.24 c core #181 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 195 0.19/0.24 c Current CPU time: 0.199969 s 0.19/0.24 c 0.19/0.24 c core #182 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 196 0.19/0.24 c Current CPU time: 0.201969 s 0.19/0.24 c 0.19/0.24 c core #183 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 197 0.19/0.24 c Current CPU time: 0.202969 s 0.19/0.24 c 0.19/0.24 c core #184 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 198 0.19/0.24 c Current CPU time: 0.203968 s 0.19/0.24 c 0.19/0.24 c core #185 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 199 0.19/0.24 c Current CPU time: 0.205968 s 0.19/0.24 c 0.19/0.24 c core #186 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 200 0.19/0.24 c Current CPU time: 0.206968 s 0.19/0.24 c 0.19/0.24 c core #187 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 201 0.19/0.24 c Current CPU time: 0.207968 s 0.19/0.24 c 0.19/0.24 c core #188 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: 202 0.19/0.24 c Current CPU time: 0.209968 s 0.19/0.24 c 0.19/0.24 c core #189 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 203 0.19/0.24 c Current CPU time: 0.210967 s 0.19/0.24 c 0.19/0.24 c core #190 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 204 0.19/0.24 c Current CPU time: 0.211967 s 0.19/0.24 c 0.19/0.24 c core #191 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 205 0.19/0.24 c Current CPU time: 0.213967 s 0.19/0.24 c 0.19/0.24 c core #192 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 6 Core Weight: 1 Total Weight: 206 0.19/0.24 c Current CPU time: 0.214967 s 0.19/0.24 c 0.19/0.24 c core #193 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 207 0.19/0.24 c Current CPU time: 0.216967 s 0.19/0.24 c 0.19/0.24 c core #194 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 208 0.19/0.24 c Current CPU time: 0.217966 s 0.19/0.24 c 0.19/0.24 c core #195 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 209 0.19/0.24 c Current CPU time: 0.218966 s 0.19/0.24 c 0.19/0.24 c core #196 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 7 Core Weight: 1 Total Weight: 210 0.19/0.24 c Current CPU time: 0.220966 s 0.19/0.24 c 0.19/0.24 c core #197 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: 211 0.19/0.24 c Current CPU time: 0.221966 s 0.19/0.24 c 0.19/0.24 c core #198 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 5 Core Weight: 1 Total Weight: 212 0.19/0.24 c Current CPU time: 0.223965 s 0.19/0.24 c 0.19/0.24 c core #199 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 17 Core Weight: 1 Total Weight: 213 0.19/0.24 c Current CPU time: 0.224965 s 0.19/0.24 c 0.19/0.24 c core #200 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 24 Core Weight: 1 Total Weight: 214 0.19/0.24 c Current CPU time: 0.226965 s 0.19/0.24 c 0.19/0.24 c core #201 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 15 Core Weight: 1 Total Weight: 215 0.19/0.24 c Current CPU time: 0.227965 s 0.19/0.24 c 0.19/0.24 c core #202 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: 216 0.19/0.24 c Current CPU time: 0.229965 s 0.19/0.24 c 0.19/0.24 c core #203 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 36 Core Weight: 1 Total Weight: 217 0.19/0.24 c Current CPU time: 0.230964 s 0.19/0.24 c 0.19/0.24 c core #204 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 27 Core Weight: 1 Total Weight: 218 0.19/0.24 c Current CPU time: 0.232964 s 0.19/0.24 c 0.19/0.24 c core #205 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 11 Core Weight: 1 Total Weight: 219 0.19/0.24 c Current CPU time: 0.233964 s 0.19/0.24 c 0.19/0.24 c core #206 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 17 Core Weight: 1 Total Weight: 220 0.19/0.24 c Current CPU time: 0.234964 s 0.19/0.24 c 0.19/0.24 c core #207 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 12 Core Weight: 1 Total Weight: 221 0.19/0.24 c Current CPU time: 0.236963 s 0.19/0.24 c 0.19/0.24 c core #208 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 8 Core Weight: 1 Total Weight: 222 0.19/0.24 c Current CPU time: 0.238963 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: 23 Core Weight: 1 Total Weight: 223 0.19/0.24 c Current CPU time: 0.239963 s 0.19/0.25 c 0.19/0.25 c core #210 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 224 0.19/0.25 c Current CPU time: 0.241963 s 0.19/0.25 c 0.19/0.25 c core #211 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 15 Core Weight: 1 Total Weight: 225 0.19/0.25 c Current CPU time: 0.242963 s 0.19/0.25 c 0.19/0.25 c core #212 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 19 Core Weight: 1 Total Weight: 226 0.19/0.25 c Current CPU time: 0.244962 s 0.19/0.25 c 0.19/0.25 c core #213 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 10 Core Weight: 1 Total Weight: 227 0.19/0.25 c Current CPU time: 0.246962 s 0.19/0.25 c 0.19/0.25 c core #214 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 14 Core Weight: 1 Total Weight: 228 0.19/0.25 c Current CPU time: 0.247962 s 0.19/0.25 c 0.19/0.25 c core #215 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: 229 0.19/0.25 c Current CPU time: 0.249962 s 0.19/0.25 c 0.19/0.25 c core #216 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 20 Core Weight: 1 Total Weight: 230 0.19/0.25 c Current CPU time: 0.250961 s 0.19/0.25 c 0.19/0.25 c core #217 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 29 Core Weight: 1 Total Weight: 231 0.19/0.25 c Current CPU time: 0.252961 s 0.19/0.25 c 0.19/0.25 c core #218 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 68 Core Weight: 1 Total Weight: 232 0.19/0.25 c Current CPU time: 0.254961 s 0.19/0.25 c 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 2124 2566 10244 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.26 c core #219 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 152 Core Weight: 1 Total Weight: 233 0.19/0.26 c Current CPU time: 0.25796 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 2304 2567 10559 | 5000 0 -nan | 0.000 % | 0.19/0.26 c | 100 | 2304 2567 10559 | 5500 100 12 | 10.319 % | 0.19/0.26 c | 250 | 2301 2567 10559 | 6050 250 16 | 10.397 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #220 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 11 Core Weight: 1 Total Weight: 234 0.19/0.26 c Current CPU time: 0.266959 s 0.19/0.26 c 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 2316 2568 10579 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #221 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 34 Core Weight: 1 Total Weight: 235 0.19/0.27 c Current CPU time: 0.269958 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 2379 2569 10658 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #222 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 20 Core Weight: 1 Total Weight: 236 0.19/0.27 c Current CPU time: 0.271958 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 2401 2570 10695 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #223 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 27 Core Weight: 1 Total Weight: 237 0.19/0.27 c Current CPU time: 0.273958 s 0.19/0.27 c 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 2428 2571 10745 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #224 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 50 Core Weight: 1 Total Weight: 238 0.19/0.28 c Current CPU time: 0.276957 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 2483 2572 10845 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #225 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 22 Core Weight: 1 Total Weight: 239 0.19/0.28 c Current CPU time: 0.279957 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 2507 2573 10891 | 5000 0 -nan | 0.000 % | 0.19/0.28 c | 103 | 2507 2573 10891 | 5500 103 11 | 7.286 % | 0.19/0.28 c | 253 | 2506 2573 10891 | 6050 253 10 | 7.322 % | 0.19/0.28 c | 479 | 2501 2573 10891 | 6655 479 12 | 14.497 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #226 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 94 Core Weight: 1 Total Weight: 240 0.19/0.29 c Current CPU time: 0.288956 s 0.19/0.29 c 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 2599 2574 11067 | 5000 0 -nan | 0.000 % | 0.19/0.29 c | 101 | 2599 2574 11067 | 5500 101 12 | 6.779 % | 0.19/0.29 c | 252 | 2598 2574 11067 | 6050 252 12 | 6.815 % | 0.29/0.30 c | 481 | 2587 2574 11067 | 6655 481 13 | 7.209 % | 0.29/0.31 c | 818 | 2582 2574 11067 | 7320 818 16 | 8.070 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #227 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 250 Core Weight: 1 Total Weight: 241 0.29/0.31 c Current CPU time: 0.312952 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 2858 2575 11559 | 5000 0 -nan | 0.000 % | 0.29/0.32 c | 100 | 2858 2575 11559 | 5500 100 40 | 5.396 % | 0.29/0.32 c | 252 | 2858 2575 11559 | 6050 252 31 | 5.396 % | 0.29/0.33 c | 478 | 2852 2575 11559 | 6655 478 30 | 5.594 % | 0.29/0.34 c | 816 | 2852 2575 11559 | 7320 816 34 | 5.594 % | 0.29/0.36 c | 1322 | 2852 2575 11559 | 8052 1322 28 | 5.594 % | 0.29/0.39 c | 2083 | 2833 2575 11559 | 8857 2083 28 | 6.223 % | 0.39/0.44 c | 3222 | 2833 2575 11559 | 9743 3222 33 | 6.223 % | 0.49/0.52 c | 4931 | 2833 2575 11559 | 10717 4931 38 | 6.223 % | 0.59/0.63 c =============================================================================== 0.59/0.65 c core #228 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 185 Core Weight: 1 Total Weight: 242 0.59/0.65 c Current CPU time: 0.641902 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3043 2576 11926 | 5000 0 -nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #229 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 43 Core Weight: 1 Total Weight: 243 0.59/0.65 c Current CPU time: 0.645901 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3083 2577 12002 | 5000 0 -nan | 0.000 % | 0.59/0.66 c | 104 | 3083 2577 12002 | 5500 104 13 | 4.816 % | 0.59/0.66 c | 257 | 3083 2577 12002 | 6050 257 28 | 4.816 % | 0.59/0.67 c | 483 | 3083 2577 12002 | 6655 483 28 | 4.816 % | 0.59/0.68 c | 820 | 3083 2577 12002 | 7320 820 36 | 4.816 % | 0.59/0.69 c | 1328 | 3083 2577 12002 | 8052 1328 37 | 4.816 % | 0.69/0.73 c | 2087 | 3083 2577 12002 | 8857 2087 44 | 4.816 % | 0.69/0.78 c | 3227 | 3083 2577 12002 | 9743 3227 52 | 4.816 % | 0.79/0.85 c | 4935 | 3083 2577 12002 | 10717 4935 59 | 4.816 % | 0.89/0.99 c | 7504 | 3083 2577 12002 | 11789 7504 63 | 4.816 % | 1.11/1.17 c =============================================================================== 1.11/1.19 c core #230 1.11/1.19 c 1.11/1.19 c 1.11/1.19 c Core size: 298 Core Weight: 1 Total Weight: 244 1.11/1.19 c Current CPU time: 1.16482 s 1.11/1.19 c 1.11/1.19 c ============================[ Search Statistics ]============================== 1.11/1.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.19 c =============================================================================== 1.11/1.19 c | 0 | 3418 2578 12633 | 5000 0 -nan | 0.000 % | 1.19/1.20 c | 102 | 3418 2578 12633 | 5500 102 52 | 3.364 % | 1.19/1.20 c | 252 | 3418 2578 12633 | 6050 252 40 | 3.364 % | 1.19/1.21 c | 479 | 3418 2578 12633 | 6655 479 51 | 3.364 % | 1.19/1.22 c | 816 | 3418 2578 12633 | 7320 816 51 | 3.364 % | 1.19/1.24 c | 1324 | 3418 2578 12633 | 8052 1324 83 | 3.364 % | 1.19/1.28 c | 2084 | 3418 2578 12633 | 8857 2084 97 | 3.364 % | 1.29/1.35 c | 3227 | 3418 2578 12633 | 9743 3227 113 | 3.364 % | 1.39/1.50 c | 4936 | 3418 2578 12633 | 10717 4936 142 | 3.364 % | 1.69/1.71 c | 7503 | 3404 2578 12633 | 11789 7503 144 | 3.760 % | 1.99/2.04 c | 11347 | 3404 2578 12633 | 12968 11347 138 | 3.760 % | 2.49/2.52 c | 17115 | 3394 2578 12633 | 14265 10219 141 | 4.665 % | 2.99/3.03 c =============================================================================== 2.99/3.04 c core #231 2.99/3.04 c 2.99/3.04 c 2.99/3.04 c Core size: 27 Core Weight: 1 Total Weight: 245 2.99/3.04 c Current CPU time: 2.96955 s 2.99/3.04 c 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 3441 2579 12676 | 5000 0 -nan | 0.000 % | 2.99/3.04 c | 105 | 3441 2579 12676 | 5500 105 52 | 3.261 % | 2.99/3.05 c | 256 | 3441 2579 12676 | 6050 256 44 | 3.261 % | 2.99/3.06 c | 482 | 3441 2579 12676 | 6655 482 50 | 3.261 % | 2.99/3.07 c | 819 | 3441 2579 12676 | 7320 819 57 | 3.261 % | 2.99/3.09 c | 1325 | 3410 2579 12676 | 8052 1325 65 | 4.189 % | 3.09/3.12 c | 2084 | 3408 2579 12676 | 8857 2084 69 | 4.189 % | 3.09/3.17 c | 3224 | 3408 2579 12676 | 9743 3224 73 | 4.189 % | 3.20/3.30 c | 4933 | 3408 2579 12676 | 10717 4933 103 | 4.189 % | 3.49/3.51 c | 7496 | 3408 2579 12676 | 11789 7496 130 | 4.189 % | 3.99/4.04 c | 11340 | 3408 2579 12676 | 12968 11340 159 | 4.189 % | 4.89/4.90 c | 17106 | 3408 2579 12676 | 14265 10338 200 | 4.189 % | 6.09/6.17 c | 25758 | 3408 2579 12676 | 15692 11762 192 | 4.189 % | 7.79/7.80 c | 38732 | 3408 2579 12676 | 17261 8556 175 | 4.189 % | 10.79/10.88 c | 58194 | 3408 2579 12676 | 18987 10021 165 | 4.189 % | 15.99/16.03 c | 87389 | 3408 2579 12676 | 20886 9985 188 | 4.189 % | 23.99/24.03 c | 131178 | 3405 2579 12676 | 22974 11023 154 | 4.273 % | 25.09/25.19 c =============================================================================== 25.59/25.61 c core #232 25.59/25.61 c 25.59/25.61 c 25.59/25.61 c Core size: 481 Core Weight: 1 Total Weight: 246 25.59/25.61 c Current CPU time: 25.2432 s 25.59/25.61 c 25.59/25.61 c ============================[ Search Statistics ]============================== 25.59/25.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.59/25.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.59/25.61 c =============================================================================== 25.59/25.61 c | 0 | 3937 2580 13645 | 5000 0 -nan | 0.000 % | 25.59/25.61 c | 102 | 3937 2580 13645 | 5500 102 37 | 2.308 % | 25.59/25.62 c | 252 | 3937 2580 13645 | 6050 252 29 | 2.308 % | 25.59/25.63 c | 477 | 3937 2580 13645 | 6655 477 59 | 2.308 % | 25.59/25.65 c | 817 | 3937 2580 13645 | 7320 817 67 | 2.308 % | 25.59/25.67 c | 1326 | 3937 2580 13645 | 8052 1326 68 | 2.308 % | 25.69/25.71 c | 2085 | 3937 2580 13645 | 8857 2085 72 | 2.308 % | 25.79/25.80 c | 3227 | 3937 2580 13645 | 9743 3227 89 | 2.308 % | 25.89/25.91 c | 4935 | 3937 2580 13645 | 10717 4935 104 | 2.308 % | 26.09/26.16 c | 7499 | 3937 2580 13645 | 11789 7499 137 | 2.308 % | 26.50/26.56 c | 11343 | 3937 2580 13645 | 12968 11343 137 | 2.308 % | 27.09/27.11 c | 17109 | 3937 2580 13645 | 14265 10506 167 | 2.308 % | 28.29/28.39 c | 25759 | 3937 2580 13645 | 15692 11448 315 | 2.308 % | 31.30/31.39 c | 38733 | 3937 2580 13645 | 17261 16282 364 | 2.308 % | 36.59/36.62 c | 58196 | 3937 2580 13645 | 18987 18005 325 | 2.308 % | 45.39/45.40 c | 87388 | 3937 2580 13645 | 20886 17828 370 | 2.308 % | 53.69/53.75 c | 131181 | 3930 2580 13645 | 22974 18648 128 | 2.506 % | 62.71/62.73 c | 196866 | 3929 2580 13645 | 25272 13737 155 | 2.506 % | 85.99/86.01 c | 295392 | 3929 2580 13645 | 27799 18415 339 | 2.506 % | 119.80/119.85 c | 443182 | 3929 2580 13645 | 30579 16242 191 | 2.506 % | 137.52/137.56 c =============================================================================== 138.00/138.03 c core #233 138.00/138.03 c 138.00/138.03 c 138.00/138.03 c Core size: 337 Core Weight: 1 Total Weight: 247 138.00/138.03 c Current CPU time: 136.696 s 138.00/138.03 c 138.00/138.03 c ============================[ Search Statistics ]============================== 138.00/138.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 138.00/138.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 138.00/138.03 c =============================================================================== 138.00/138.03 c | 0 | 4280 2581 14323 | 5000 0 -nan | 0.000 % | 138.00/138.03 c | 105 | 4280 2581 14323 | 5500 105 46 | 1.947 % | 138.00/138.04 c | 255 | 4280 2581 14323 | 6050 255 49 | 1.947 % | 138.00/138.05 c | 482 | 4280 2581 14323 | 6655 482 47 | 1.947 % | 138.00/138.06 c | 820 | 4280 2581 14323 | 7320 820 85 | 1.947 % | 138.00/138.09 c | 1326 | 4280 2581 14323 | 8052 1326 81 | 1.947 % | 138.09/138.13 c | 2087 | 4280 2581 14323 | 8857 2087 118 | 1.947 % | 138.19/138.21 c | 3226 | 4280 2581 14323 | 9743 3226 96 | 1.947 % | 138.29/138.35 c | 4938 | 4280 2581 14323 | 10717 4938 131 | 1.947 % | 138.50/138.56 c | 7500 | 4280 2581 14323 | 11789 7500 125 | 1.947 % | 138.79/138.89 c | 11344 | 4280 2581 14323 | 12968 11344 131 | 1.947 % | 139.29/139.37 c | 17110 | 4280 2581 14323 | 14265 10466 128 | 1.947 % | 140.30/140.33 c | 25759 | 4280 2581 14323 | 15692 11524 176 | 1.947 % | 141.99/142.08 c | 38733 | 4280 2581 14323 | 17261 8330 373 | 1.947 % | 144.79/144.82 c | 58195 | 4280 2581 14323 | 18987 9833 298 | 1.947 % | 150.72/150.79 c | 87392 | 4280 2581 14323 | 20886 19440 308 | 1.947 % | 159.79/159.86 c | 131185 | 4280 2581 14323 | 22974 20146 257 | 1.947 % | 177.80/177.89 c | 196869 | 4280 2581 14323 | 25272 15478 234 | 1.947 % | 201.21/201.29 c | 295395 | 4280 2581 14323 | 27799 21522 325 | 1.947 % | 234.00/234.04 c | 443184 | 4280 2581 14323 | 30579 16966 405 | 1.947 % | 308.50/308.57 c | 664870 | 4280 2581 14323 | 33637 25274 289 | 1.947 % | 406.40/406.42 c | 997395 | 4280 2581 14323 | 37001 29813 297 | 1.947 % | 582.31/582.34 c | 1496183 | 4280 2581 14323 | 40701 22549 564 | 1.947 % | 939.12/939.17 c | 2244366 | 4280 2581 14323 | 44771 24146 426 | 1.947 % | 1462.73/1462.70 c | 3366641 | 4280 2581 14323 | 49248 24814 456 | 1.947 % |
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-3460930-1307081594/watcher-3460930-1307081594 -o /tmp/evaluation-result-3460930-1307081594/solver-3460930-1307081594 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460930-1307081594.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: 1.61 1.93 1.97 3/534 8655 /proc/meminfo: memFree=25297820/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=2800 CPUtime=0 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 800575657 2867200 446 33554432000 4194304 5714214 140736935244800 18446744073709551615 4299024 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 700 446 172 372 0 325 0 [startup+0.088516 s] /proc/loadavg: 1.61 1.93 1.97 3/534 8655 /proc/meminfo: memFree=25297820/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=3476 CPUtime=0.08 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 689 0 0 0 8 0 0 0 20 0 1 0 800575657 3559424 602 33554432000 4194304 5714214 140736935244800 18446744073709551615 4355979 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 869 602 175 372 0 494 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3476 [startup+0.100487 s] /proc/loadavg: 1.61 1.93 1.97 3/534 8655 /proc/meminfo: memFree=25297820/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=3384 CPUtime=0.09 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 699 0 0 0 9 0 0 0 20 0 1 0 800575657 3465216 607 33554432000 4194304 5714214 140736935244800 18446744073709551615 4345907 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 846 607 175 372 0 471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3384 [startup+0.300447 s] /proc/loadavg: 1.61 1.93 1.97 3/534 8655 /proc/meminfo: memFree=25297820/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=5244 CPUtime=0.29 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 1376 0 0 0 29 0 0 0 21 0 1 0 800575657 5369856 1031 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 1311 1031 180 372 0 936 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5244 [startup+0.700365 s] /proc/loadavg: 1.61 1.93 1.97 3/534 8655 /proc/meminfo: memFree=25297820/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=7756 CPUtime=0.69 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 2037 0 0 0 68 1 0 0 22 0 1 0 800575657 7942144 1692 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 1939 1692 180 372 0 1564 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7756 [startup+1.50019 s] /proc/loadavg: 1.61 1.93 1.97 4/536 8657 /proc/meminfo: memFree=25280296/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=10236 CPUtime=1.49 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 2655 0 0 0 146 3 0 0 18 0 1 0 800575657 10481664 2310 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 2559 2310 180 372 0 2184 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10236 [startup+3.10093 s] /proc/loadavg: 1.64 1.93 1.97 4/536 8657 /proc/meminfo: memFree=25269260/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=16656 CPUtime=3.09 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 4297 0 0 0 303 6 0 0 20 0 1 0 800575657 17055744 3923 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 4164 3923 180 372 0 3789 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16656 [startup+6.30036 s] /proc/loadavg: 1.64 1.93 1.97 4/536 8657 /proc/meminfo: memFree=25257936/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=21072 CPUtime=6.29 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 5366 0 0 0 618 11 0 0 25 0 1 0 800575657 21577728 4992 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 5268 4992 180 372 0 4893 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21072 [startup+12.7002 s] /proc/loadavg: 1.69 1.93 1.97 4/536 8657 /proc/meminfo: memFree=25231620/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=31264 CPUtime=12.69 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 7896 0 0 0 1250 19 0 0 25 0 1 0 800575657 32014336 7522 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 7816 7522 180 372 0 7441 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31264 [startup+25.5009 s] /proc/loadavg: 1.81 1.95 1.97 4/536 8657 /proc/meminfo: memFree=25193296/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=47296 CPUtime=25.49 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 11883 0 0 0 2519 30 0 0 25 0 1 0 800575657 48431104 11509 33554432000 4194304 5714214 140736935244800 18446744073709551615 4324860 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 11824 11509 180 372 0 11449 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 47296 [startup+51.1004 s] /proc/loadavg: 1.88 1.95 1.97 4/536 8658 /proc/meminfo: memFree=25168340/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=53908 CPUtime=51.09 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 13625 0 0 0 5063 46 0 0 25 0 1 0 800575657 55201792 13209 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 13477 13209 180 372 0 13102 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 53908 [startup+102.321 s] /proc/loadavg: 1.95 1.96 1.97 4/536 8659 /proc/meminfo: memFree=25099112/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=106284 CPUtime=102.31 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 26633 0 0 0 10149 82 0 0 25 0 1 0 800575657 108834816 26217 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 26571 26217 180 372 0 26196 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 106284 [startup+162.3 s] /proc/loadavg: 1.98 1.96 1.97 4/536 8661 /proc/meminfo: memFree=24995884/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=120320 CPUtime=162.3 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 32057 0 0 0 16098 132 0 0 25 0 1 0 800575657 123207680 29673 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 30080 29673 180 372 0 29705 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 120320 [startup+222.301 s] /proc/loadavg: 1.99 1.97 1.97 4/536 8663 /proc/meminfo: memFree=24970908/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=120320 CPUtime=222.3 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 32185 0 0 0 22059 171 0 0 25 0 1 0 800575657 123207680 29801 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 30080 29801 180 372 0 29705 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 120320 [startup+282.301 s] /proc/loadavg: 1.99 1.97 1.97 4/536 8664 /proc/meminfo: memFree=24899428/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=166212 CPUtime=282.29 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 43676 0 0 0 28019 210 0 0 25 0 1 0 800575657 170201088 41292 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 41553 41292 180 372 0 41178 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 166212 [startup+342.3 s] /proc/loadavg: 1.99 1.97 1.97 4/536 8666 /proc/meminfo: memFree=24803512/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=189952 CPUtime=342.3 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 49329 0 0 0 33986 244 0 0 25 0 1 0 800575657 194510848 46945 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 47488 46945 180 372 0 47113 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 189952 [startup+402.301 s] /proc/loadavg: 1.99 1.97 1.97 4/536 8667 /proc/meminfo: memFree=24713928/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=234396 CPUtime=402.3 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 60428 0 0 0 39964 266 0 0 25 0 1 0 800575657 240021504 58044 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 58599 58044 180 372 0 58224 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 234396 [startup+462.301 s] /proc/loadavg: 1.99 1.97 1.97 4/536 8669 /proc/meminfo: memFree=24667236/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=273244 CPUtime=462.3 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 70141 0 0 0 45925 305 0 0 25 0 1 0 800575657 279801856 67757 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 68311 67757 180 372 0 67936 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 273244 [startup+522.301 s] /proc/loadavg: 2.12 2.00 1.98 4/536 8671 /proc/meminfo: memFree=24592640/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=329696 CPUtime=522.3 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 84197 0 0 0 51896 334 0 0 25 0 1 0 800575657 337608704 81813 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 82424 81813 180 372 0 82049 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 329696 [startup+582.3 s] /proc/loadavg: 2.14 2.03 1.99 4/536 8672 /proc/meminfo: memFree=24546340/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=358852 CPUtime=582.31 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 91672 0 0 0 57880 351 0 0 25 0 1 0 800575657 367464448 89104 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 89713 89104 180 372 0 89338 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 358852 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.01 1.99 4/536 8682 /proc/meminfo: memFree=24412372/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=439792 CPUtime=822.31 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 111837 0 0 0 81811 420 0 0 25 0 1 0 800575657 450347008 109269 33554432000 4194304 5714214 140736935244800 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 109948 109269 180 372 0 109573 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 439792 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.99 4/536 8683 /proc/meminfo: memFree=24383660/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=468164 CPUtime=882.32 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 118892 0 0 0 87790 442 0 0 25 0 1 0 800575657 479399936 116324 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 117041 116324 180 372 0 116666 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 468164 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.99 3/536 8685 /proc/meminfo: memFree=24342916/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=482988 CPUtime=942.31 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 122545 0 0 0 93766 465 0 0 25 0 1 0 800575657 494579712 119977 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 120747 119977 180 372 0 120372 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 482988 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.99 4/536 8686 /proc/meminfo: memFree=24268216/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=536460 CPUtime=1002.32 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 135880 0 0 0 99743 489 0 0 25 0 1 0 800575657 549335040 133312 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 134115 133312 180 372 0 133740 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 536460 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.99 4/536 8688 /proc/meminfo: memFree=24255996/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=547508 CPUtime=1062.32 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 138744 0 0 0 105720 512 0 0 25 0 1 0 800575657 560648192 136058 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 136877 136058 180 372 0 136502 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 547508 [startup+1122.3 s] /proc/loadavg: 2.23 2.07 2.02 4/536 8690 /proc/meminfo: memFree=24199760/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=563720 CPUtime=1122.33 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 142790 0 0 0 111704 529 0 0 25 0 1 0 800575657 577249280 140104 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 140930 140104 180 372 0 140555 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 563720 [startup+1182.3 s] /proc/loadavg: 2.09 2.06 2.01 4/536 8691 /proc/meminfo: memFree=24140676/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=602048 CPUtime=1182.33 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 152356 0 0 0 117682 551 0 0 25 0 1 0 800575657 616497152 149670 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 150512 149670 180 372 0 150137 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 602048 [startup+1242.3 s] /proc/loadavg: 2.03 2.04 2.00 4/536 8693 /proc/meminfo: memFree=24116312/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=625104 CPUtime=1242.32 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 158085 0 0 0 123658 574 0 0 25 0 1 0 800575657 640106496 155399 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 156276 155399 180 372 0 155901 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 625104 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 4/536 8694 /proc/meminfo: memFree=24096664/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=644088 CPUtime=1302.34 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 163306 0 0 0 129635 599 0 0 25 0 1 0 800575657 659546112 160150 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 161022 160150 180 372 0 160647 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 644088 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 4/536 8696 /proc/meminfo: memFree=24024680/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=682880 CPUtime=1362.33 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 172966 0 0 0 135618 615 0 0 25 0 1 0 800575657 699269120 169810 33554432000 4194304 5714214 140736935244800 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 170720 169810 180 372 0 170345 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 682880 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 4/536 8698 /proc/meminfo: memFree=23913516/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=700796 CPUtime=1422.35 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 177417 0 0 0 141603 632 0 0 25 0 1 0 800575657 717615104 174261 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 175199 174261 180 372 0 174824 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 700796 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 4/536 8699 /proc/meminfo: memFree=23897204/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=704576 CPUtime=1482.33 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 178206 0 0 0 147584 649 0 0 25 0 1 0 800575657 721485824 175050 33554432000 4194304 5714214 140736935244800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 176144 175050 180 372 0 175769 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 704576 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 4/536 8701 /proc/meminfo: memFree=23853000/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=732336 CPUtime=1542.33 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 185088 0 0 0 153557 676 0 0 25 0 1 0 800575657 749912064 181932 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 183084 181932 180 372 0 182709 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 732336 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 4/536 8702 /proc/meminfo: memFree=23813740/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=761848 CPUtime=1602.34 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 192422 0 0 0 159539 695 0 0 25 0 1 0 800575657 780132352 189266 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319440 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 190462 189266 180 372 0 190087 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 761848 [startup+1662.3 s] /proc/loadavg: 2.12 2.04 2.01 4/536 8704 /proc/meminfo: memFree=23748460/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=788908 CPUtime=1662.34 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 199194 0 0 0 165520 714 0 0 25 0 1 0 800575657 807841792 196038 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 197227 196038 180 372 0 196852 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 788908 [startup+1722.3 s] /proc/loadavg: 2.12 2.06 2.02 4/536 8706 /proc/meminfo: memFree=23724080/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=813872 CPUtime=1722.34 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 205270 0 0 0 171508 726 0 0 25 0 1 0 800575657 833404928 202114 33554432000 4194304 5714214 140736935244800 18446744073709551615 4311935 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 203468 202114 180 372 0 203093 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 813872 [startup+1782.3 s] /proc/loadavg: 2.04 2.05 2.01 4/536 8707 /proc/meminfo: memFree=23699584/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=836276 CPUtime=1782.34 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 210788 0 0 0 177490 744 0 0 25 0 1 0 800575657 856346624 207632 33554432000 4194304 5714214 140736935244800 18446744073709551615 4323084 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 209069 207632 180 372 0 208694 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 836276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.03 2.04 2.01 4/536 8708 /proc/meminfo: memFree=23699552/32951124 swapFree=46970528/67111528 [pid=8653] ppid=8651 vsize=836276 CPUtime=1800.04 cores=0,2,4,6 /proc/8653/stat : 8653 (wbo1.6) R 8651 8653 6615 0 -1 4202496 210791 0 0 0 179255 749 0 0 25 0 1 0 800575657 856346624 207635 33554432000 4194304 5714214 140736935244800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/8653/statm: 209069 207635 180 372 0 208694 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 836276 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.1 CPU user time (s): 1792.57 CPU system time (s): 7.52885 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 836276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.57 system time used= 7.52886 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 210791 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= 11 involuntary context switches= 2165 runsolver used 10.1555 second user time and 22.4676 second system time The end
Begin job on node146 at 2011-06-03 08:13:14 IDJOB=3460930 IDBENCH=2043 IDSOLVER=1953 FILE ID=node146/3460930-1307081594 RUNJOBID= node146-1307081594-8636 PBS_JOBID= 13497840 Free space on /tmp= 73728 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-max1024.pi.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460930-1307081594/watcher-3460930-1307081594 -o /tmp/evaluation-result-3460930-1307081594/solver-3460930-1307081594 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460930-1307081594.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30 RANDOM SEED=1336059161 node146.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.830 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.66 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.75 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.830 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.830 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.830 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25298380 kB Buffers: 80184 kB Cached: 201544 kB SwapCached: 60076 kB Active: 176352 kB Inactive: 7237532 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25298380 kB SwapTotal: 67111528 kB SwapFree: 46970528 kB Dirty: 9448 kB Writeback: 0 kB AnonPages: 7083292 kB Mapped: 15780 kB Slab: 72348 kB PageTables: 97468 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 160672164 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= 73716 MiB End job on node146 at 2011-06-03 08:43:16