Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb |
MD5SUM | 87c08328e44aaf86c5913a3ba08592cd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 245 |
Best CPU time to get the best result obtained on this benchmark | 17.4913 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 245 |
Optimality of the best value was proved | YES |
Number of variables | 1264 |
Total number of constraints | 1090 |
Number of constraints which are clauses | 1090 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 1264 |
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 | 1264 |
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 | 1264 |
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-3460793-1307104061.opb. 0.00/0.00 c Instance file HOME/instance-3460793-1307104061.opb 0.00/0.00 c File size is 75875 bytes. 0.00/0.00 c Highest Coefficient sum: 21 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 1264 | 0.00/0.00 c | Number Clauses: 1090 | 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 1090 7221 | 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: 8 Core Weight: 1 Total Weight: 1 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: 8 Core Weight: 1 Total Weight: 2 0.00/0.04 c Current CPU time: 0.007998 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: 4 Core Weight: 1 Total Weight: 3 0.00/0.04 c Current CPU time: 0.008998 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: 10 Core Weight: 1 Total Weight: 4 0.00/0.04 c Current CPU time: 0.009998 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: 12 Core Weight: 1 Total Weight: 5 0.00/0.04 c Current CPU time: 0.010998 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: 14 Core Weight: 1 Total Weight: 6 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: 13 Core Weight: 1 Total Weight: 7 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: 10 Core Weight: 1 Total Weight: 8 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: 10 Core Weight: 1 Total Weight: 9 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: 3 Core Weight: 1 Total Weight: 10 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: 3 Core Weight: 1 Total Weight: 11 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: 6 Core Weight: 1 Total Weight: 12 0.00/0.04 c Current CPU time: 0.014997 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: 4 Core Weight: 1 Total Weight: 13 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: 7 Core Weight: 1 Total Weight: 14 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: 10 Core Weight: 1 Total Weight: 15 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: 13 Core Weight: 1 Total Weight: 16 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: 13 Core Weight: 1 Total Weight: 17 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: 5 Core Weight: 1 Total Weight: 18 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: 6 Core Weight: 1 Total Weight: 19 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: 9 Core Weight: 1 Total Weight: 20 0.00/0.04 c Current CPU time: 0.022996 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: 7 Core Weight: 1 Total Weight: 21 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: 5 Core Weight: 1 Total Weight: 22 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: 4 Core Weight: 1 Total Weight: 23 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: 24 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: 6 Core Weight: 1 Total Weight: 25 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: 3 Core Weight: 1 Total Weight: 26 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: 3 Core Weight: 1 Total Weight: 27 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: 3 Core Weight: 1 Total Weight: 28 0.00/0.04 c Current CPU time: 0.029995 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: 4 Core Weight: 1 Total Weight: 29 0.00/0.04 c Current CPU time: 0.030995 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: 5 Core Weight: 1 Total Weight: 30 0.00/0.04 c Current CPU time: 0.031995 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: 7 Core Weight: 1 Total Weight: 31 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: 7 Core Weight: 1 Total Weight: 32 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: 5 Core Weight: 1 Total Weight: 33 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: 12 Core Weight: 1 Total Weight: 34 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: 12 Core Weight: 1 Total Weight: 35 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: 36 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: 4 Core Weight: 1 Total Weight: 37 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: 38 0.00/0.04 c Current CPU time: 0.038994 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: 16 Core Weight: 1 Total Weight: 39 0.00/0.04 c Current CPU time: 0.039993 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: 17 Core Weight: 1 Total Weight: 40 0.00/0.04 c Current CPU time: 0.040993 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: 10 Core Weight: 1 Total Weight: 41 0.00/0.04 c Current CPU time: 0.041993 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: 5 Core Weight: 1 Total Weight: 42 0.00/0.04 c Current CPU time: 0.042993 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: 5 Core Weight: 1 Total Weight: 43 0.05/0.08 c Current CPU time: 0.043993 s 0.05/0.08 c 0.05/0.08 c core #44 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 4 Core Weight: 1 Total Weight: 44 0.05/0.08 c Current CPU time: 0.044993 s 0.05/0.08 c 0.05/0.08 c core #45 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 4 Core Weight: 1 Total Weight: 45 0.05/0.08 c Current CPU time: 0.045993 s 0.05/0.08 c 0.05/0.08 c core #46 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 9 Core Weight: 1 Total Weight: 46 0.05/0.08 c Current CPU time: 0.046992 s 0.05/0.08 c 0.05/0.08 c core #47 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 3 Core Weight: 1 Total Weight: 47 0.05/0.08 c Current CPU time: 0.047992 s 0.05/0.08 c 0.05/0.08 c core #48 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 3 Core Weight: 1 Total Weight: 48 0.05/0.08 c Current CPU time: 0.048992 s 0.05/0.08 c 0.05/0.08 c core #49 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 7 Core Weight: 1 Total Weight: 49 0.05/0.08 c Current CPU time: 0.049992 s 0.05/0.08 c 0.05/0.08 c core #50 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 7 Core Weight: 1 Total Weight: 50 0.05/0.08 c Current CPU time: 0.050992 s 0.05/0.08 c 0.05/0.08 c core #51 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 3 Core Weight: 1 Total Weight: 51 0.05/0.08 c Current CPU time: 0.051992 s 0.05/0.08 c 0.05/0.08 c core #52 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 3 Core Weight: 1 Total Weight: 52 0.05/0.08 c Current CPU time: 0.052991 s 0.05/0.08 c 0.05/0.08 c core #53 0.05/0.08 c 0.05/0.08 c 0.05/0.08 c Core size: 7 Core Weight: 1 Total Weight: 53 0.05/0.08 c Current CPU time: 0.053991 s 0.05/0.09 c 0.05/0.09 c core #54 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 54 0.05/0.09 c Current CPU time: 0.054991 s 0.05/0.09 c 0.05/0.09 c core #55 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 55 0.05/0.09 c Current CPU time: 0.055991 s 0.05/0.09 c 0.05/0.09 c core #56 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 56 0.05/0.09 c Current CPU time: 0.056991 s 0.05/0.09 c 0.05/0.09 c core #57 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 57 0.05/0.09 c Current CPU time: 0.057991 s 0.05/0.09 c 0.05/0.09 c core #58 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 58 0.05/0.09 c Current CPU time: 0.058991 s 0.05/0.09 c 0.05/0.09 c core #59 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 59 0.05/0.09 c Current CPU time: 0.05999 s 0.05/0.09 c 0.05/0.09 c core #60 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 60 0.05/0.09 c Current CPU time: 0.06099 s 0.05/0.09 c 0.05/0.09 c core #61 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 61 0.05/0.09 c Current CPU time: 0.06199 s 0.05/0.09 c 0.05/0.09 c core #62 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 62 0.05/0.09 c Current CPU time: 0.06299 s 0.05/0.09 c 0.05/0.09 c core #63 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 63 0.05/0.09 c Current CPU time: 0.06399 s 0.05/0.09 c 0.05/0.09 c core #64 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 64 0.05/0.09 c Current CPU time: 0.06499 s 0.05/0.09 c 0.05/0.09 c core #65 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 65 0.05/0.09 c Current CPU time: 0.065989 s 0.05/0.09 c 0.05/0.09 c core #66 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 66 0.05/0.09 c Current CPU time: 0.066989 s 0.05/0.09 c 0.05/0.09 c core #67 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 67 0.05/0.09 c Current CPU time: 0.067989 s 0.05/0.09 c 0.05/0.09 c core #68 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 68 0.05/0.09 c Current CPU time: 0.069989 s 0.05/0.09 c 0.05/0.09 c core #69 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 9 Core Weight: 1 Total Weight: 69 0.05/0.09 c Current CPU time: 0.070989 s 0.05/0.09 c 0.05/0.09 c core #70 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 10 Core Weight: 1 Total Weight: 70 0.05/0.09 c Current CPU time: 0.071989 s 0.05/0.09 c 0.05/0.09 c core #71 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 71 0.05/0.09 c Current CPU time: 0.072988 s 0.05/0.09 c 0.05/0.09 c core #72 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 10 Core Weight: 1 Total Weight: 72 0.05/0.09 c Current CPU time: 0.073988 s 0.05/0.09 c 0.05/0.09 c core #73 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 73 0.05/0.09 c Current CPU time: 0.074988 s 0.05/0.09 c 0.05/0.09 c core #74 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 74 0.05/0.09 c Current CPU time: 0.075988 s 0.05/0.09 c 0.05/0.09 c core #75 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 75 0.05/0.09 c Current CPU time: 0.076988 s 0.05/0.09 c 0.05/0.09 c core #76 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 76 0.05/0.09 c Current CPU time: 0.077988 s 0.05/0.09 c 0.05/0.09 c core #77 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 77 0.05/0.09 c Current CPU time: 0.078987 s 0.05/0.09 c 0.05/0.09 c core #78 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 5 Core Weight: 1 Total Weight: 78 0.05/0.09 c Current CPU time: 0.079987 s 0.05/0.09 c 0.05/0.09 c core #79 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 3 Core Weight: 1 Total Weight: 79 0.05/0.09 c Current CPU time: 0.081987 s 0.05/0.09 c 0.05/0.09 c core #80 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 9 Core Weight: 1 Total Weight: 80 0.05/0.09 c Current CPU time: 0.082987 s 0.05/0.09 c 0.05/0.09 c core #81 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 6 Core Weight: 1 Total Weight: 81 0.05/0.09 c Current CPU time: 0.083987 s 0.05/0.09 c 0.05/0.09 c core #82 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 82 0.05/0.09 c Current CPU time: 0.084987 s 0.05/0.09 c 0.05/0.09 c core #83 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 83 0.05/0.09 c Current CPU time: 0.085986 s 0.05/0.09 c 0.05/0.09 c core #84 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 4 Core Weight: 1 Total Weight: 84 0.05/0.09 c Current CPU time: 0.086986 s 0.05/0.09 c 0.05/0.09 c core #85 0.05/0.09 c 0.05/0.09 c 0.05/0.09 c Core size: 7 Core Weight: 1 Total Weight: 85 0.09/0.14 c Current CPU time: 0.087986 s 0.09/0.14 c 0.09/0.14 c core #86 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 86 0.09/0.14 c Current CPU time: 0.088986 s 0.09/0.14 c 0.09/0.14 c core #87 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 87 0.09/0.14 c Current CPU time: 0.090986 s 0.09/0.14 c 0.09/0.14 c core #88 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 88 0.09/0.14 c Current CPU time: 0.091986 s 0.09/0.14 c 0.09/0.14 c core #89 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 89 0.09/0.14 c Current CPU time: 0.092985 s 0.09/0.14 c 0.09/0.14 c core #90 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 90 0.09/0.14 c Current CPU time: 0.093985 s 0.09/0.14 c 0.09/0.14 c core #91 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 91 0.09/0.14 c Current CPU time: 0.094985 s 0.09/0.14 c 0.09/0.14 c core #92 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 92 0.09/0.14 c Current CPU time: 0.095985 s 0.09/0.14 c 0.09/0.14 c core #93 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 8 Core Weight: 1 Total Weight: 93 0.09/0.14 c Current CPU time: 0.097985 s 0.09/0.14 c 0.09/0.14 c core #94 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 94 0.09/0.14 c Current CPU time: 0.098984 s 0.09/0.14 c 0.09/0.14 c core #95 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 95 0.09/0.14 c Current CPU time: 0.099984 s 0.09/0.14 c 0.09/0.14 c core #96 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 96 0.09/0.14 c Current CPU time: 0.100984 s 0.09/0.14 c 0.09/0.14 c core #97 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 12 Core Weight: 1 Total Weight: 97 0.09/0.14 c Current CPU time: 0.101984 s 0.09/0.14 c 0.09/0.14 c core #98 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 6 Core Weight: 1 Total Weight: 98 0.09/0.14 c Current CPU time: 0.102984 s 0.09/0.14 c 0.09/0.14 c core #99 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 99 0.09/0.14 c Current CPU time: 0.104984 s 0.09/0.14 c 0.09/0.14 c core #100 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 100 0.09/0.14 c Current CPU time: 0.105983 s 0.09/0.14 c 0.09/0.14 c core #101 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 101 0.09/0.14 c Current CPU time: 0.106983 s 0.09/0.14 c 0.09/0.14 c core #102 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 102 0.09/0.14 c Current CPU time: 0.107983 s 0.09/0.14 c 0.09/0.14 c core #103 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 103 0.09/0.14 c Current CPU time: 0.109983 s 0.09/0.14 c 0.09/0.14 c core #104 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 104 0.09/0.14 c Current CPU time: 0.110983 s 0.09/0.14 c 0.09/0.14 c core #105 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 105 0.09/0.14 c Current CPU time: 0.111982 s 0.09/0.14 c 0.09/0.14 c core #106 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 106 0.09/0.14 c Current CPU time: 0.112982 s 0.09/0.14 c 0.09/0.14 c core #107 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 107 0.09/0.14 c Current CPU time: 0.113982 s 0.09/0.14 c 0.09/0.14 c core #108 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 10 Core Weight: 1 Total Weight: 108 0.09/0.14 c Current CPU time: 0.115982 s 0.09/0.14 c 0.09/0.14 c core #109 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 109 0.09/0.14 c Current CPU time: 0.116982 s 0.09/0.14 c 0.09/0.14 c core #110 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 110 0.09/0.14 c Current CPU time: 0.117982 s 0.09/0.14 c 0.09/0.14 c core #111 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 111 0.09/0.14 c Current CPU time: 0.118981 s 0.09/0.14 c 0.09/0.14 c core #112 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 8 Core Weight: 1 Total Weight: 112 0.09/0.14 c Current CPU time: 0.120981 s 0.09/0.14 c 0.09/0.14 c core #113 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 8 Core Weight: 1 Total Weight: 113 0.09/0.14 c Current CPU time: 0.121981 s 0.09/0.14 c 0.09/0.14 c core #114 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 114 0.09/0.14 c Current CPU time: 0.122981 s 0.09/0.14 c 0.09/0.14 c core #115 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: 115 0.09/0.14 c Current CPU time: 0.123981 s 0.09/0.14 c 0.09/0.14 c core #116 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: 116 0.09/0.14 c Current CPU time: 0.12598 s 0.09/0.14 c 0.09/0.14 c core #117 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 117 0.09/0.14 c Current CPU time: 0.12698 s 0.09/0.14 c 0.09/0.14 c core #118 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 118 0.09/0.14 c Current CPU time: 0.12798 s 0.09/0.14 c 0.09/0.14 c core #119 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 119 0.09/0.14 c Current CPU time: 0.12898 s 0.09/0.14 c 0.09/0.14 c core #120 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 7 Core Weight: 1 Total Weight: 120 0.09/0.14 c Current CPU time: 0.13098 s 0.09/0.14 c 0.09/0.14 c core #121 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 9 Core Weight: 1 Total Weight: 121 0.09/0.14 c Current CPU time: 0.131979 s 0.09/0.14 c 0.09/0.14 c core #122 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 122 0.09/0.14 c Current CPU time: 0.132979 s 0.09/0.14 c 0.09/0.14 c core #123 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 3 Core Weight: 1 Total Weight: 123 0.09/0.14 c Current CPU time: 0.133979 s 0.09/0.14 c 0.09/0.14 c core #124 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 124 0.09/0.14 c Current CPU time: 0.135979 s 0.09/0.14 c 0.09/0.14 c core #125 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 125 0.09/0.14 c Current CPU time: 0.136979 s 0.09/0.14 c 0.09/0.14 c core #126 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: 126 0.09/0.14 c Current CPU time: 0.137979 s 0.09/0.14 c 0.09/0.14 c core #127 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 5 Core Weight: 1 Total Weight: 127 0.09/0.19 c Current CPU time: 0.138978 s 0.09/0.19 c 0.09/0.19 c core #128 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 128 0.09/0.19 c Current CPU time: 0.140978 s 0.09/0.19 c 0.09/0.19 c core #129 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 129 0.09/0.19 c Current CPU time: 0.141978 s 0.09/0.19 c 0.09/0.19 c core #130 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 130 0.09/0.19 c Current CPU time: 0.142978 s 0.09/0.19 c 0.09/0.19 c core #131 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 131 0.09/0.19 c Current CPU time: 0.144977 s 0.09/0.19 c 0.09/0.19 c core #132 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 132 0.09/0.19 c Current CPU time: 0.145977 s 0.09/0.19 c 0.09/0.19 c core #133 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 133 0.09/0.19 c Current CPU time: 0.146977 s 0.09/0.19 c 0.09/0.19 c core #134 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 134 0.09/0.19 c Current CPU time: 0.147977 s 0.09/0.19 c 0.09/0.19 c core #135 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 135 0.09/0.19 c Current CPU time: 0.149977 s 0.09/0.19 c 0.09/0.19 c core #136 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 136 0.09/0.19 c Current CPU time: 0.150977 s 0.09/0.19 c 0.09/0.19 c core #137 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 137 0.09/0.19 c Current CPU time: 0.151976 s 0.09/0.19 c 0.09/0.19 c core #138 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 138 0.09/0.19 c Current CPU time: 0.153976 s 0.09/0.19 c 0.09/0.19 c core #139 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 139 0.09/0.19 c Current CPU time: 0.154976 s 0.09/0.19 c 0.09/0.19 c core #140 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 140 0.09/0.19 c Current CPU time: 0.155976 s 0.09/0.19 c 0.09/0.19 c core #141 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 141 0.09/0.19 c Current CPU time: 0.156976 s 0.09/0.19 c 0.09/0.19 c core #142 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 142 0.09/0.19 c Current CPU time: 0.158975 s 0.09/0.19 c 0.09/0.19 c core #143 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 143 0.09/0.19 c Current CPU time: 0.159975 s 0.09/0.19 c 0.09/0.19 c core #144 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 144 0.09/0.19 c Current CPU time: 0.160975 s 0.09/0.19 c 0.09/0.19 c core #145 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 145 0.09/0.19 c Current CPU time: 0.162975 s 0.09/0.19 c 0.09/0.19 c core #146 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 146 0.09/0.19 c Current CPU time: 0.163975 s 0.09/0.19 c 0.09/0.19 c core #147 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 147 0.09/0.19 c Current CPU time: 0.164974 s 0.09/0.19 c 0.09/0.19 c core #148 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 148 0.09/0.19 c Current CPU time: 0.166974 s 0.09/0.19 c 0.09/0.19 c core #149 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 149 0.09/0.19 c Current CPU time: 0.167974 s 0.09/0.19 c 0.09/0.19 c core #150 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 150 0.09/0.19 c Current CPU time: 0.168974 s 0.09/0.19 c 0.09/0.19 c core #151 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 151 0.09/0.19 c Current CPU time: 0.170974 s 0.09/0.19 c 0.09/0.19 c core #152 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 3 Core Weight: 1 Total Weight: 152 0.09/0.19 c Current CPU time: 0.171973 s 0.09/0.19 c 0.09/0.19 c core #153 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 10 Core Weight: 1 Total Weight: 153 0.09/0.19 c Current CPU time: 0.172973 s 0.09/0.19 c 0.09/0.19 c core #154 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 154 0.09/0.19 c Current CPU time: 0.173973 s 0.09/0.19 c 0.09/0.19 c core #155 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 155 0.09/0.19 c Current CPU time: 0.175973 s 0.09/0.19 c 0.09/0.19 c core #156 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 156 0.09/0.19 c Current CPU time: 0.176973 s 0.09/0.19 c 0.09/0.19 c core #157 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 157 0.09/0.19 c Current CPU time: 0.177972 s 0.09/0.19 c 0.09/0.19 c core #158 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 158 0.09/0.19 c Current CPU time: 0.179972 s 0.09/0.19 c 0.09/0.19 c core #159 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 159 0.09/0.19 c Current CPU time: 0.180972 s 0.09/0.19 c 0.09/0.19 c core #160 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: 160 0.09/0.19 c Current CPU time: 0.181972 s 0.09/0.19 c 0.09/0.19 c core #161 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: 161 0.09/0.19 c Current CPU time: 0.183972 s 0.09/0.19 c 0.09/0.19 c core #162 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 7 Core Weight: 1 Total Weight: 162 0.09/0.19 c Current CPU time: 0.184971 s 0.09/0.19 c 0.09/0.19 c core #163 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 163 0.09/0.19 c Current CPU time: 0.185971 s 0.09/0.19 c 0.09/0.19 c core #164 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 164 0.09/0.19 c Current CPU time: 0.187971 s 0.09/0.19 c 0.09/0.19 c core #165 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: 165 0.09/0.19 c Current CPU time: 0.188971 s 0.09/0.19 c 0.09/0.19 c core #166 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 166 0.09/0.19 c Current CPU time: 0.19097 s 0.09/0.19 c 0.09/0.19 c core #167 0.09/0.19 c 0.09/0.19 c 0.09/0.19 c Core size: 9 Core Weight: 1 Total Weight: 167 0.09/0.19 c Current CPU time: 0.19197 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: 7 Core Weight: 1 Total Weight: 168 0.19/0.25 c Current CPU time: 0.19297 s 0.19/0.25 c 0.19/0.25 c core #169 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 169 0.19/0.25 c Current CPU time: 0.19497 s 0.19/0.25 c 0.19/0.25 c core #170 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 170 0.19/0.25 c Current CPU time: 0.19597 s 0.19/0.25 c 0.19/0.25 c core #171 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 171 0.19/0.25 c Current CPU time: 0.19697 s 0.19/0.25 c 0.19/0.25 c core #172 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 172 0.19/0.25 c Current CPU time: 0.198969 s 0.19/0.25 c 0.19/0.25 c core #173 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 173 0.19/0.25 c Current CPU time: 0.199969 s 0.19/0.25 c 0.19/0.25 c core #174 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 174 0.19/0.25 c Current CPU time: 0.201969 s 0.19/0.25 c 0.19/0.25 c core #175 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: 175 0.19/0.25 c Current CPU time: 0.202969 s 0.19/0.25 c 0.19/0.25 c core #176 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 176 0.19/0.25 c Current CPU time: 0.203968 s 0.19/0.25 c 0.19/0.25 c core #177 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 177 0.19/0.25 c Current CPU time: 0.205968 s 0.19/0.25 c 0.19/0.25 c core #178 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: 178 0.19/0.25 c Current CPU time: 0.206968 s 0.19/0.25 c 0.19/0.25 c core #179 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 179 0.19/0.25 c Current CPU time: 0.208968 s 0.19/0.25 c 0.19/0.25 c core #180 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: 180 0.19/0.25 c Current CPU time: 0.209968 s 0.19/0.25 c 0.19/0.25 c core #181 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 181 0.19/0.25 c Current CPU time: 0.210967 s 0.19/0.25 c 0.19/0.25 c core #182 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 182 0.19/0.25 c Current CPU time: 0.212967 s 0.19/0.25 c 0.19/0.25 c core #183 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 183 0.19/0.25 c Current CPU time: 0.213967 s 0.19/0.25 c 0.19/0.25 c core #184 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 6 Core Weight: 1 Total Weight: 184 0.19/0.25 c Current CPU time: 0.214967 s 0.19/0.25 c 0.19/0.25 c core #185 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 185 0.19/0.25 c Current CPU time: 0.216967 s 0.19/0.25 c 0.19/0.25 c core #186 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 186 0.19/0.25 c Current CPU time: 0.217966 s 0.19/0.25 c 0.19/0.25 c core #187 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: 187 0.19/0.25 c Current CPU time: 0.219966 s 0.19/0.25 c 0.19/0.25 c core #188 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 17 Core Weight: 1 Total Weight: 188 0.19/0.25 c Current CPU time: 0.220966 s 0.19/0.25 c 0.19/0.25 c core #189 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: 189 0.19/0.25 c Current CPU time: 0.222966 s 0.19/0.25 c 0.19/0.25 c core #190 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 19 Core Weight: 1 Total Weight: 190 0.19/0.25 c Current CPU time: 0.223965 s 0.19/0.25 c 0.19/0.25 c core #191 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 13 Core Weight: 1 Total Weight: 191 0.19/0.25 c Current CPU time: 0.224965 s 0.19/0.25 c 0.19/0.25 c core #192 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 18 Core Weight: 1 Total Weight: 192 0.19/0.25 c Current CPU time: 0.226965 s 0.19/0.25 c 0.19/0.25 c core #193 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: 193 0.19/0.25 c Current CPU time: 0.227965 s 0.19/0.25 c 0.19/0.25 c core #194 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 13 Core Weight: 1 Total Weight: 194 0.19/0.25 c Current CPU time: 0.229965 s 0.19/0.25 c 0.19/0.25 c core #195 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 10 Core Weight: 1 Total Weight: 195 0.19/0.25 c Current CPU time: 0.230964 s 0.19/0.25 c 0.19/0.25 c core #196 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 12 Core Weight: 1 Total Weight: 196 0.19/0.25 c Current CPU time: 0.232964 s 0.19/0.25 c 0.19/0.25 c core #197 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 11 Core Weight: 1 Total Weight: 197 0.19/0.25 c Current CPU time: 0.233964 s 0.19/0.25 c 0.19/0.25 c core #198 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 39 Core Weight: 1 Total Weight: 198 0.19/0.25 c Current CPU time: 0.235964 s 0.19/0.25 c 0.19/0.25 c core #199 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 9 Core Weight: 1 Total Weight: 199 0.19/0.25 c Current CPU time: 0.237963 s 0.19/0.25 c 0.19/0.25 c core #200 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 16 Core Weight: 1 Total Weight: 200 0.19/0.25 c Current CPU time: 0.238963 s 0.19/0.25 c 0.19/0.25 c core #201 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 14 Core Weight: 1 Total Weight: 201 0.19/0.25 c Current CPU time: 0.240963 s 0.19/0.25 c 0.19/0.25 c core #202 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 13 Core Weight: 1 Total Weight: 202 0.19/0.25 c Current CPU time: 0.241963 s 0.19/0.25 c 0.19/0.25 c core #203 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 25 Core Weight: 1 Total Weight: 203 0.19/0.25 c Current CPU time: 0.243962 s 0.19/0.25 c 0.19/0.25 c core #204 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 26 Core Weight: 1 Total Weight: 204 0.19/0.25 c Current CPU time: 0.245962 s 0.19/0.25 c 0.19/0.25 c core #205 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 42 Core Weight: 1 Total Weight: 205 0.19/0.25 c Current CPU time: 0.246962 s 0.19/0.25 c 0.19/0.25 c core #206 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 30 Core Weight: 1 Total Weight: 206 0.19/0.25 c Current CPU time: 0.247962 s 0.19/0.25 c 0.19/0.25 c core #207 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 29 Core Weight: 1 Total Weight: 207 0.19/0.25 c Current CPU time: 0.249962 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 | 2091 2561 10578 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #208 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 46 Core Weight: 1 Total Weight: 208 0.19/0.25 c Current CPU time: 0.251961 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 | 2139 2562 10670 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #209 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 91 Core Weight: 1 Total Weight: 209 0.19/0.25 c Current CPU time: 0.252961 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 | 2244 2563 10846 | 5000 0 -nan | 0.000 % | 0.19/0.25 c | 100 | 2244 2563 10846 | 5500 100 21 | 12.172 % | 0.19/0.26 c | 257 | 2243 2563 10846 | 6050 257 18 | 12.250 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #210 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 108 Core Weight: 1 Total Weight: 210 0.19/0.26 c Current CPU time: 0.25996 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 | 2355 2564 11064 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #211 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 29 Core Weight: 1 Total Weight: 211 0.19/0.26 c Current CPU time: 0.264959 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 | 2444 2565 11123 | 5000 0 -nan | 0.000 % | 0.19/0.27 c | 104 | 2444 2565 11123 | 5500 104 80 | 8.942 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #212 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 59 Core Weight: 1 Total Weight: 212 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 | 2522 2566 11240 | 5000 0 -nan | 0.000 % | 0.19/0.27 c | 100 | 2522 2566 11240 | 5500 100 58 | 7.687 % | 0.19/0.28 c | 255 | 2522 2566 11240 | 6050 255 67 | 7.687 % | 0.19/0.28 c | 480 | 2522 2566 11240 | 6655 480 69 | 7.687 % | 0.29/0.30 c | 817 | 2522 2566 11240 | 7320 817 79 | 7.687 % | 0.29/0.32 c | 1326 | 2522 2566 11240 | 8052 1326 80 | 7.687 % | 0.29/0.36 c | 2087 | 2522 2566 11240 | 8857 2087 71 | 7.687 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #213 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 27 Core Weight: 1 Total Weight: 213 0.39/0.44 c Current CPU time: 0.435933 s 0.39/0.44 c 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 2562 2567 11291 | 5000 0 -nan | 0.000 % | 0.39/0.44 c | 100 | 2562 2567 11291 | 5500 100 44 | 6.938 % | 0.39/0.45 c | 250 | 2562 2567 11291 | 6050 250 38 | 6.938 % | 0.39/0.45 c | 475 | 2562 2567 11291 | 6655 475 30 | 6.938 % | 0.39/0.46 c | 815 | 2562 2567 11291 | 7320 815 32 | 6.938 % | 0.39/0.48 c | 1325 | 2560 2567 11291 | 8052 1325 35 | 7.083 % | 0.49/0.50 c | 2084 | 2559 2567 11291 | 8857 2084 37 | 7.083 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #214 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 237 Core Weight: 1 Total Weight: 214 0.49/0.53 c Current CPU time: 0.52492 s 0.49/0.53 c 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 2856 2568 11796 | 5000 0 -nan | 0.000 % | 0.49/0.54 c | 100 | 2856 2568 11796 | 5500 100 65 | 4.258 % | 0.49/0.54 c | 250 | 2856 2568 11796 | 6050 250 42 | 4.257 % | 0.49/0.55 c | 477 | 2856 2568 11796 | 6655 477 45 | 4.257 % | 0.49/0.56 c | 815 | 2856 2568 11796 | 7320 815 52 | 4.257 % | 0.49/0.58 c | 1324 | 2852 2568 11796 | 8052 1324 58 | 4.693 % | 0.59/0.62 c | 2085 | 2843 2568 11796 | 8857 2085 76 | 4.693 % | 0.59/0.68 c | 3225 | 2843 2568 11796 | 9743 3225 75 | 4.693 % | 0.79/0.80 c | 4933 | 2843 2568 11796 | 10717 4933 81 | 4.693 % | 1.00/1.03 c | 7496 | 2843 2568 11796 | 11789 7496 86 | 4.693 % | 1.39/1.47 c | 11340 | 2838 2568 11796 | 12968 11340 88 | 5.934 % | 2.10/2.12 c | 17106 | 2838 2568 11796 | 14265 10489 97 | 5.934 % | 2.79/2.86 c =============================================================================== 2.89/2.95 c core #215 2.89/2.95 c 2.89/2.95 c 2.89/2.95 c Core size: 254 Core Weight: 1 Total Weight: 215 2.89/2.95 c Current CPU time: 2.89956 s 2.89/2.95 c 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 3117 2569 12302 | 5000 0 -nan | 0.000 % | 2.89/2.95 c | 102 | 3117 2569 12302 | 5500 102 86 | 3.439 % | 2.89/2.96 c | 252 | 3117 2569 12302 | 6050 252 82 | 3.439 % | 2.89/2.97 c | 478 | 3117 2569 12302 | 6655 478 115 | 3.439 % | 2.89/2.99 c | 817 | 3117 2569 12302 | 7320 817 131 | 3.439 % | 2.99/3.03 c | 1323 | 3117 2569 12302 | 8052 1323 121 | 3.439 % | 2.99/3.07 c | 2082 | 3117 2569 12302 | 8857 2082 123 | 3.439 % | 3.09/3.17 c | 3221 | 3117 2569 12302 | 9743 3221 130 | 3.439 % | 3.21/3.30 c | 4929 | 3117 2569 12302 | 10717 4929 123 | 3.439 % | 3.49/3.50 c | 7498 | 3117 2569 12302 | 11789 7498 118 | 3.439 % | 3.89/3.90 c | 11346 | 3117 2569 12302 | 12968 11346 132 | 3.439 % | 4.59/4.66 c | 17114 | 3117 2569 12302 | 14265 10530 163 | 3.439 % | 6.19/6.27 c | 25765 | 3117 2569 12302 | 15692 11937 171 | 3.439 % | 8.97/9.05 c | 38741 | 3117 2569 12302 | 17261 9031 162 | 3.439 % | 12.67/12.74 c | 58202 | 3117 2569 12302 | 18987 10986 119 | 3.439 % | 17.48/17.57 c | 87394 | 3112 2569 12302 | 20886 10958 151 | 3.594 % | 20.37/20.43 c =============================================================================== 20.97/21.06 c core #216 20.97/21.06 c 20.97/21.06 c 20.97/21.06 c Core size: 330 Core Weight: 1 Total Weight: 216 20.97/21.06 c Current CPU time: 20.8168 s 20.97/21.06 c 20.97/21.06 c ============================[ Search Statistics ]============================== 20.97/21.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.97/21.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.97/21.06 c =============================================================================== 20.97/21.06 c | 0 | 3457 2570 12968 | 5000 0 -nan | 0.000 % | 20.97/21.07 c | 100 | 3457 2570 12968 | 5500 100 12 | 2.729 % | 20.97/21.07 c | 250 | 3457 2570 12968 | 6050 250 13 | 2.729 % | 20.97/21.08 c | 476 | 3457 2570 12968 | 6655 476 15 | 2.729 % | 20.97/21.09 c | 813 | 3457 2570 12968 | 7320 813 19 | 2.729 % | 21.07/21.11 c | 1320 | 3457 2570 12968 | 8052 1320 23 | 2.729 % | 21.07/21.15 c | 2079 | 3456 2570 12968 | 8857 2079 25 | 2.757 % | 21.17/21.20 c =============================================================================== 21.17/21.21 c core #217 21.17/21.21 c 21.17/21.21 c 21.17/21.21 c Core size: 164 Core Weight: 1 Total Weight: 217 21.17/21.21 c Current CPU time: 21.0088 s 21.17/21.21 c 21.17/21.21 c ============================[ Search Statistics ]============================== 21.17/21.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.17/21.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.17/21.21 c =============================================================================== 21.17/21.21 c | 0 | 3628 2571 13294 | 5000 0 -nan | 0.000 % | 21.17/21.22 c | 100 | 3626 2571 13294 | 5500 100 50 | 2.238 % | 21.17/21.22 c | 251 | 3626 2571 13294 | 6050 251 33 | 2.238 % | 21.17/21.23 c | 479 | 3626 2571 13294 | 6655 479 29 | 2.238 % | 21.17/21.25 c | 816 | 3626 2571 13294 | 7320 816 32 | 2.238 % | 21.17/21.27 c | 1323 | 3626 2571 13294 | 8052 1323 46 | 2.238 % | 21.27/21.32 c | 2082 | 3626 2571 13294 | 8857 2082 55 | 2.238 % | 21.27/21.37 c | 3222 | 3626 2571 13294 | 9743 3222 59 | 2.238 % | 21.37/21.48 c | 4930 | 3626 2571 13294 | 10717 4930 60 | 2.238 % | 21.57/21.67 c | 7492 | 3626 2571 13294 | 11789 7492 64 | 2.238 % | 21.89/21.96 c | 11337 | 3626 2571 13294 | 12968 11337 67 | 2.238 % | 22.47/22.50 c | 17103 | 3623 2571 13294 | 14265 10435 75 | 2.319 % | 23.47/23.51 c | 25752 | 3623 2571 13294 | 15692 11815 123 | 2.319 % | 24.98/25.02 c | 38732 | 3623 2571 13294 | 17261 8740 145 | 2.319 % | 27.67/27.74 c | 58193 | 3623 2571 13294 | 18987 10446 143 | 2.319 % | 31.67/31.79 c | 87386 | 3623 2571 13294 | 20886 10721 84 | 2.319 % | 31.78/31.85 c =============================================================================== 31.98/32.08 c core #218 31.98/32.08 c 31.98/32.08 c 31.98/32.08 c Core size: 316 Core Weight: 1 Total Weight: 218 31.98/32.08 c Current CPU time: 31.7362 s 31.98/32.08 c 31.98/32.08 c ============================[ Search Statistics ]============================== 31.98/32.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.98/32.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.98/32.08 c =============================================================================== 31.98/32.08 c | 0 | 3955 2572 13931 | 5000 0 -nan | 0.000 % | 31.98/32.08 c | 103 | 3955 2572 13931 | 5500 103 128 | 1.592 % | 31.98/32.09 c | 255 | 3955 2572 13931 | 6050 255 88 | 1.592 % | 32.08/32.10 c | 480 | 3955 2572 13931 | 6655 480 83 | 1.592 % | 32.08/32.13 c | 817 | 3955 2572 13931 | 7320 817 98 | 1.592 % | 32.08/32.15 c | 1323 | 3955 2572 13931 | 8052 1323 99 | 1.592 % | 32.17/32.21 c | 2083 | 3955 2572 13931 | 8857 2083 108 | 1.592 % | 32.17/32.29 c | 3222 | 3955 2572 13931 | 9743 3222 120 | 1.592 % | 32.37/32.46 c | 4932 | 3955 2572 13931 | 10717 4932 142 | 1.592 % | 32.58/32.67 c | 7496 | 3955 2572 13931 | 11789 7496 156 | 1.592 % | 32.88/33.00 c | 11341 | 3955 2572 13931 | 12968 11341 150 | 1.592 % | 33.57/33.63 c | 17107 | 3955 2572 13931 | 14265 10147 190 | 1.592 % | 34.97/35.02 c | 25757 | 3955 2572 13931 | 15692 11314 246 | 1.592 % | 36.97/37.04 c | 38731 | 3955 2572 13931 | 17261 16082 198 | 1.592 % | 40.27/40.30 c | 58192 | 3955 2572 13931 | 18987 17599 232 | 1.592 % | 46.57/46.69 c | 87385 | 3955 2572 13931 | 20886 17347 211 | 1.592 % | 55.17/55.22 c | 131174 | 3955 2572 13931 | 22974 18859 238 | 1.592 % | 69.57/69.67 c | 196865 | 3951 2572 13931 | 25272 14300 260 | 1.692 % | 94.48/94.56 c | 295391 | 3951 2572 13931 | 27799 21525 273 | 1.692 % | 137.98/138.02 c | 443181 | 3951 2572 13931 | 30579 17637 272 | 1.692 % | 207.58/207.69 c | 664867 | 3951 2572 13931 | 33637 15666 268 | 1.692 % | 341.28/341.38 c | 997395 | 3951 2572 13931 | 37001 16017 272 | 1.692 % | 434.39/434.50 c =============================================================================== 435.49/435.61 c core #219 435.49/435.61 c 435.49/435.61 c 435.49/435.61 c Core size: 330 Core Weight: 1 Total Weight: 219 435.49/435.61 c Current CPU time: 433.069 s 435.49/435.61 c 435.49/435.61 c ============================[ Search Statistics ]============================== 435.49/435.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 435.49/435.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 435.49/435.61 c =============================================================================== 435.49/435.61 c | 0 | 4287 2573 14589 | 5000 0 -nan | 0.000 % | 435.49/435.61 c | 101 | 4287 2573 14589 | 5500 101 69 | 1.335 % | 435.61/435.62 c | 251 | 4287 2573 14589 | 6050 251 61 | 1.335 % | 435.61/435.63 c | 477 | 4287 2573 14589 | 6655 477 64 | 1.335 % | 435.61/435.64 c | 825 | 4287 2573 14589 | 7320 825 81 | 1.335 % | 435.61/435.68 c | 1332 | 4287 2573 14589 | 8052 1332 94 | 1.335 % | 435.69/435.71 c | 2093 | 4287 2573 14589 | 8857 2093 86 | 1.335 % | 435.69/435.78 c | 3232 | 4287 2573 14589 | 9743 3232 96 | 1.335 % | 435.79/435.89 c | 4940 | 4287 2573 14589 | 10717 4940 113 | 1.335 % | 435.99/436.09 c | 7502 | 4287 2573 14589 | 11789 7502 136 | 1.335 % | 436.48/436.51 c | 11347 | 4287 2573 14589 | 12968 11347 180 | 1.335 % | 437.18/437.28 c | 17114 | 4287 2573 14589 | 14265 10521 241 | 1.335 % | 438.59/438.62 c | 25764 | 4287 2573 14589 | 15692 11900 211 | 1.335 % | 440.59/440.61 c | 38739 | 4287 2573 14589 | 17261 8641 245 | 1.335 % | 443.38/443.42 c | 58201 | 4287 2573 14589 | 18987 10223 227 | 1.335 % | 451.00/451.09 c | 87393 | 4287 2573 14589 | 20886 10692 292 | 1.335 % | 462.09/462.19 c | 131183 | 4276 2573 14589 | 22974 12257 261 | 1.588 % | 478.18/478.23 c | 196867 | 4276 2573 14589 | 25272 19485 335 | 1.588 % | 505.39/505.40 c | 295394 | 4276 2573 14589 | 27799 24114 312 | 1.588 % | 542.89/542.92 c | 443186 | 4276 2573 14589 | 30579 15398 275 | 1.588 % | 613.49/613.53 c | 664869 | 4276 2573 14589 | 33637 22317 331 | 1.588 % | 726.89/726.92 c | 997399 | 4276 2573 14589 | 37001 20851 262 | 1.588 % | 902.40/902.45 c | 1496189 | 4276 2573 14589 | 40701 20155 354 | 1.588 % | 1239.12/1239.15 c | 2244372 | 4276 2573 14589 | 44771 32552 368 | 1.588 % | 1771.05/1771.04 c | 3366647 | 4276 2573 14589 | 49248 42787 364 | 1.588 % |
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-3460793-1307104061/watcher-3460793-1307104061 -o /tmp/evaluation-result-3460793-1307104061/solver-3460793-1307104061 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460793-1307104061.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.92 2.02 2.00 1/512 18638 /proc/meminfo: memFree=21837768/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=3060 CPUtime=0.01 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 585 0 0 0 1 0 0 0 18 0 1 0 802821762 3133440 519 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 765 519 175 372 0 390 0 [startup+0.0549139 s] /proc/loadavg: 1.92 2.02 2.00 1/512 18638 /proc/meminfo: memFree=21837768/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=3216 CPUtime=0.05 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 632 0 0 0 5 0 0 0 18 0 1 0 802821762 3293184 562 33554432000 4194304 5714214 140734166947456 18446744073709551615 4199344 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 804 562 175 372 0 429 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3216 [startup+0.100885 s] /proc/loadavg: 1.92 2.02 2.00 1/512 18638 /proc/meminfo: memFree=21837768/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=3432 CPUtime=0.09 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 718 0 0 0 9 0 0 0 18 0 1 0 802821762 3514368 618 33554432000 4194304 5714214 140734166947456 18446744073709551615 4345875 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 858 618 175 372 0 483 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3432 [startup+0.300848 s] /proc/loadavg: 1.92 2.02 2.00 1/512 18638 /proc/meminfo: memFree=21837768/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=4904 CPUtime=0.29 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 1381 0 0 0 29 0 0 0 18 0 1 0 802821762 5021696 985 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 1226 985 180 372 0 851 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4904 [startup+0.70077 s] /proc/loadavg: 1.92 2.02 2.00 1/512 18638 /proc/meminfo: memFree=21837768/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=6660 CPUtime=0.69 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 1770 0 0 0 68 1 0 0 18 0 1 0 802821762 6819840 1374 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 1665 1374 180 372 0 1290 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6660 [startup+1.5006 s] /proc/loadavg: 1.92 2.02 2.00 3/515 18666 /proc/meminfo: memFree=21834448/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=11316 CPUtime=1.49 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 2984 0 0 0 147 2 0 0 20 0 1 0 802821762 11587584 2588 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 2829 2588 180 372 0 2454 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11316 [startup+3.10027 s] /proc/loadavg: 1.92 2.02 2.00 3/515 18666 /proc/meminfo: memFree=21822792/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=15664 CPUtime=3.09 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 4063 0 0 0 304 5 0 0 25 0 1 0 802821762 16039936 3638 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 3916 3638 180 372 0 3541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15664 [startup+6.30069 s] /proc/loadavg: 1.93 2.02 2.00 3/515 18666 /proc/meminfo: memFree=21810980/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=19412 CPUtime=6.3 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 5019 0 0 0 621 9 0 0 25 0 1 0 802821762 19877888 4594 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/18638/statm: 4853 4594 180 372 0 4478 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 19412 [startup+12.7005 s] /proc/loadavg: 1.94 2.02 2.00 3/515 18666 /proc/meminfo: memFree=21788900/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=28096 CPUtime=12.67 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 7135 0 0 0 1255 12 0 0 25 0 1 0 802821762 28770304 6710 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 7024 6710 180 372 0 6649 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 28096 [startup+25.5011 s] /proc/loadavg: 2.08 2.05 2.00 3/515 18667 /proc/meminfo: memFree=21754456/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=42440 CPUtime=25.47 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 10747 0 0 0 2523 24 0 0 25 0 1 0 802821762 43458560 10279 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 10610 10279 180 372 0 10235 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 42440 [startup+51.1002 s] /proc/loadavg: 2.06 2.04 2.00 3/515 18667 /proc/meminfo: memFree=21718620/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=48656 CPUtime=51.07 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 12388 0 0 0 5062 45 0 0 25 0 1 0 802821762 49823744 11920 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 12164 11920 180 372 0 11789 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48656 [startup+102.319 s] /proc/loadavg: 2.02 2.03 2.00 3/515 18669 /proc/meminfo: memFree=21606260/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=102360 CPUtime=102.29 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 25653 0 0 0 10155 74 0 0 25 0 1 0 802821762 104816640 25185 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 25590 25185 180 372 0 25215 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 102360 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.00 3/515 18670 /proc/meminfo: memFree=21570104/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=135656 CPUtime=162.27 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 33879 0 0 0 16130 97 0 0 25 0 1 0 802821762 138911744 33411 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 33914 33411 180 372 0 33539 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 135656 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18672 /proc/meminfo: memFree=21530876/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=175388 CPUtime=222.28 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 43727 0 0 0 22106 122 0 0 25 0 1 0 802821762 179597312 43259 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 43847 43259 180 372 0 43472 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 175388 [startup+282.301 s] /proc/loadavg: 2.00 2.01 2.00 3/515 18674 /proc/meminfo: memFree=21458768/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=205444 CPUtime=282.28 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 51136 0 0 0 28088 140 0 0 25 0 1 0 802821762 210374656 50668 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 51361 50668 180 372 0 50986 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 205444 [startup+342.301 s] /proc/loadavg: 2.11 2.04 2.01 3/515 18675 /proc/meminfo: memFree=21382216/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=236352 CPUtime=342.28 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 58793 0 0 0 34070 158 0 0 25 0 1 0 802821762 242024448 58325 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 59088 58325 180 372 0 58713 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 236352 [startup+402.301 s] /proc/loadavg: 2.09 2.04 2.01 3/515 18677 /proc/meminfo: memFree=21307644/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=272596 CPUtime=402.28 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 67811 0 0 0 40049 179 0 0 25 0 1 0 802821762 279138304 67343 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 68149 67343 180 372 0 67774 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 272596 [startup+462.301 s] /proc/loadavg: 2.03 2.03 2.00 3/515 18678 /proc/meminfo: memFree=21257956/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=282144 CPUtime=462.28 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 70134 0 0 0 46014 214 0 0 25 0 1 0 802821762 288915456 69591 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 70536 69591 180 372 0 70161 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 282144 [startup+522.301 s] /proc/loadavg: 2.17 2.06 2.01 3/515 18680 /proc/meminfo: memFree=21220352/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=282144 CPUtime=522.29 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 70168 0 0 0 51986 243 0 0 25 0 1 0 802821762 288915456 69625 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 70536 69625 180 372 0 70161 0 Current children cumulated CPU time (s) 522.29 Current children cumulated vsize (KiB) 282144 [startup+582.301 s] /proc/loadavg: 2.13 2.06 2.01 3/515 18682 /proc/meminfo: memFree=21184732/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=282144 CPUtime=582.29 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 70371 0 0 0 57961 268 0 0 25 0 1 0 802821762 288915456 69828 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 70536 69828 180 372 0 70161 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 282144 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18688 /proc/meminfo: memFree=21024064/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=286112 CPUtime=822.3 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 71800 0 0 0 81871 359 0 0 25 0 1 0 802821762 292978688 71257 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 71528 71257 180 372 0 71153 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 286112 [startup+882.301 s] /proc/loadavg: 2.16 2.05 2.01 3/515 18690 /proc/meminfo: memFree=20961656/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=316008 CPUtime=882.3 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 79226 0 0 0 87853 377 0 0 25 0 1 0 802821762 323592192 78683 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 79002 78683 180 372 0 78627 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 316008 [startup+942.301 s] /proc/loadavg: 2.13 2.05 2.01 3/515 18691 /proc/meminfo: memFree=20888940/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=357128 CPUtime=942.31 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 89401 0 0 0 93831 400 0 0 25 0 1 0 802821762 365699072 88858 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 89282 88858 180 372 0 88907 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 357128 [startup+1002.3 s] /proc/loadavg: 2.05 2.04 2.00 3/515 18693 /proc/meminfo: memFree=20804832/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=411480 CPUtime=1002.3 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 102890 0 0 0 99811 419 0 0 25 0 1 0 802821762 421355520 102347 33554432000 4194304 5714214 140734166947456 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 102870 102347 180 372 0 102495 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 411480 [startup+1062.3 s] /proc/loadavg: 2.10 2.06 2.01 3/515 18694 /proc/meminfo: memFree=20760648/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=424608 CPUtime=1062.31 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 106179 0 0 0 105798 433 0 0 25 0 1 0 802821762 434798592 105636 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 106152 105636 180 372 0 105777 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 424608 [startup+1122.3 s] /proc/loadavg: 2.08 2.06 2.01 3/515 18696 /proc/meminfo: memFree=20728240/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=429712 CPUtime=1122.31 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 107441 0 0 0 111784 447 0 0 25 0 1 0 802821762 440025088 106898 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 107428 106898 180 372 0 107053 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 429712 [startup+1182.3 s] /proc/loadavg: 2.03 2.05 2.00 3/515 18698 /proc/meminfo: memFree=20690756/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=437996 CPUtime=1182.31 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 109434 0 0 0 117763 468 0 0 25 0 1 0 802821762 448507904 108891 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 109499 108891 180 372 0 109124 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 437996 [startup+1242.3 s] /proc/loadavg: 2.01 2.04 2.00 3/515 18699 /proc/meminfo: memFree=20620632/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=474668 CPUtime=1242.31 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 118510 0 0 0 123745 486 0 0 25 0 1 0 802821762 486060032 117967 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 118667 117967 180 372 0 118292 0 Current children cumulated CPU time (s) 1242.31 Current children cumulated vsize (KiB) 474668 [startup+1302.3 s] /proc/loadavg: 2.00 2.03 2.00 3/515 18701 /proc/meminfo: memFree=20559808/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=504824 CPUtime=1302.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 125980 0 0 0 129725 508 0 0 25 0 1 0 802821762 516939776 125437 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 126206 125437 180 372 0 125831 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 504824 [startup+1362.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 18702 /proc/meminfo: memFree=20497400/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=536672 CPUtime=1362.32 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 133820 0 0 0 135709 523 0 0 25 0 1 0 802821762 549552128 133277 33554432000 4194304 5714214 140734166947456 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 134168 133277 180 372 0 133793 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 536672 [startup+1422.32 s] /proc/loadavg: 2.09 2.04 2.01 3/515 18704 /proc/meminfo: memFree=20445164/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=558572 CPUtime=1422.34 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 139197 0 0 0 141694 540 0 0 25 0 1 0 802821762 571977728 138654 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 139643 138654 180 372 0 139268 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 558572 [startup+1482.3 s] /proc/loadavg: 2.07 2.05 2.01 3/515 18706 /proc/meminfo: memFree=20388452/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=584896 CPUtime=1482.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 145488 0 0 0 147678 555 0 0 25 0 1 0 802821762 598933504 144945 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 146224 144945 180 372 0 145849 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 584896 [startup+1542.3 s] /proc/loadavg: 2.02 2.04 2.00 3/515 18707 /proc/meminfo: memFree=20335080/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=608344 CPUtime=1542.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 151261 0 0 0 153663 570 0 0 25 0 1 0 802821762 622944256 150718 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 152086 150718 180 372 0 151711 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 608344 [startup+1602.3 s] /proc/loadavg: 2.13 2.06 2.01 3/515 18709 /proc/meminfo: memFree=20272420/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=636212 CPUtime=1602.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 158245 0 0 0 159646 587 0 0 25 0 1 0 802821762 651481088 157702 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 159053 157702 180 372 0 158678 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 636212 [startup+1662.3 s] /proc/loadavg: 2.10 2.06 2.01 3/515 18710 /proc/meminfo: memFree=20202564/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=668456 CPUtime=1662.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 166286 0 0 0 165632 601 0 0 25 0 1 0 802821762 684498944 165743 33554432000 4194304 5714214 140734166947456 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 167114 165743 180 372 0 166739 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 668456 [startup+1722.3 s] /proc/loadavg: 2.04 2.05 2.00 3/515 18712 /proc/meminfo: memFree=20148076/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=692096 CPUtime=1722.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 172196 0 0 0 171618 615 0 0 25 0 1 0 802821762 708706304 171653 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 173024 171653 180 372 0 172649 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 692096 [startup+1782.3 s] /proc/loadavg: 2.01 2.04 2.00 3/515 18714 /proc/meminfo: memFree=20100540/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=713008 CPUtime=1782.33 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 177290 0 0 0 177600 633 0 0 25 0 1 0 802821762 730120192 176747 33554432000 4194304 5714214 140734166947456 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 178252 176747 180 372 0 177877 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 713008 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 2.00 3/515 18714 /proc/meminfo: memFree=20092344/32951124 swapFree=62999000/67111528 [pid=18638] ppid=18636 vsize=713800 CPUtime=1800.05 cores=0,2,4,6 /proc/18638/stat : 18638 (wbo1.6) R 18636 18638 17882 0 -1 4202496 177437 0 0 0 179363 642 0 0 25 0 1 0 802821762 730931200 176894 33554432000 4194304 5714214 140734166947456 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/18638/statm: 178450 176894 180 372 0 178075 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 713800 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.05 CPU time (s): 1800.09 CPU user time (s): 1793.64 CPU system time (s): 6.45502 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 713800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.64 system time used= 6.45502 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 177437 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= 9 involuntary context switches= 2096 runsolver used 9.66953 second user time and 19.896 second system time The end
Begin job on node141 at 2011-06-03 14:27:42 IDJOB=3460793 IDBENCH=2881 IDSOLVER=1953 FILE ID=node141/3460793-1307104061 RUNJOBID= node141-1307093248-17900 PBS_JOBID= 13497991 Free space on /tmp= 73880 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460793-1307104061/watcher-3460793-1307104061 -o /tmp/evaluation-result-3460793-1307104061/solver-3460793-1307104061 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460793-1307104061.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd RANDOM SEED=1775866179 node141.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.806 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.61 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.806 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 : 5362.96 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.806 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.82 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.806 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.75 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.806 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.84 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.806 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.806 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.806 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: 21837932 kB Buffers: 244848 kB Cached: 614368 kB SwapCached: 8848 kB Active: 10301824 kB Inactive: 547892 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21837932 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 4304 kB Writeback: 0 kB AnonPages: 9988512 kB Mapped: 25508 kB Slab: 124160 kB PageTables: 69916 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150687356 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= 73880 MiB End job on node141 at 2011-06-03 14:57:44