Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.14 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
MD5SUM | eb2e849a72ed563d78cdb83a394edb27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 30.7263 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | YES |
Number of variables | 456 |
Total number of constraints | 1602 |
Number of constraints which are clauses | 1602 |
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 | 32 |
Number of terms in the objective function | 456 |
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 | 456 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 456 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3461440-1307089296.opb. 0.00/0.00 c Instance file HOME/instance-3461440-1307089296.opb 0.00/0.00 c File size is 66775 bytes. 0.00/0.00 c Highest Coefficient sum: 33 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: 456 | 0.00/0.00 c | Number Clauses: 1602 | 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 | 456 1602 6636 | 5000 0 -nan | 0.000 % | 0.00/0.03 c core #1 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 1 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #2 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 2 0.00/0.03 c Current CPU time: 0.005999 s 0.00/0.03 c 0.00/0.03 c core #3 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 3 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #4 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 4 0.00/0.03 c Current CPU time: 0.006998 s 0.00/0.03 c 0.00/0.03 c core #5 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 5 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #6 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 6 0.00/0.03 c Current CPU time: 0.007998 s 0.00/0.03 c 0.00/0.03 c core #7 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 7 0.00/0.03 c Current CPU time: 0.008998 s 0.00/0.03 c 0.00/0.03 c core #8 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 8 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #9 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 9 0.00/0.03 c Current CPU time: 0.009998 s 0.00/0.03 c 0.00/0.03 c core #10 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 10 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #11 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 11 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #12 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 12 0.00/0.03 c Current CPU time: 0.010998 s 0.00/0.03 c 0.00/0.03 c core #13 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 13 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #14 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 14 0.00/0.03 c Current CPU time: 0.011998 s 0.00/0.03 c 0.00/0.03 c core #15 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 15 0.00/0.03 c Current CPU time: 0.012998 s 0.00/0.03 c 0.00/0.03 c core #16 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 16 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #17 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 17 0.00/0.03 c Current CPU time: 0.013997 s 0.00/0.03 c 0.00/0.03 c core #18 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 18 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #19 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 19 0.00/0.03 c Current CPU time: 0.014997 s 0.00/0.03 c 0.00/0.03 c core #20 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 20 0.00/0.03 c Current CPU time: 0.015997 s 0.00/0.03 c 0.00/0.03 c core #21 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 21 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #22 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 22 0.00/0.03 c Current CPU time: 0.016997 s 0.00/0.03 c 0.00/0.03 c core #23 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 23 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #24 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 24 0.00/0.03 c Current CPU time: 0.017997 s 0.00/0.03 c 0.00/0.03 c core #25 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 25 0.00/0.03 c Current CPU time: 0.018997 s 0.00/0.03 c 0.00/0.03 c core #26 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 26 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #27 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 27 0.00/0.03 c Current CPU time: 0.019996 s 0.00/0.03 c 0.00/0.03 c core #28 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 28 0.00/0.03 c Current CPU time: 0.020996 s 0.00/0.03 c 0.00/0.03 c core #29 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 29 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #30 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 30 0.00/0.03 c Current CPU time: 0.021996 s 0.00/0.03 c 0.00/0.03 c core #31 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 31 0.00/0.03 c Current CPU time: 0.022996 s 0.00/0.03 c 0.00/0.03 c core #32 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 32 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #33 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 33 0.00/0.03 c Current CPU time: 0.023996 s 0.00/0.03 c 0.00/0.03 c core #34 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 34 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #35 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 35 0.00/0.03 c Current CPU time: 0.024996 s 0.00/0.03 c 0.00/0.03 c core #36 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 36 0.00/0.03 c Current CPU time: 0.025996 s 0.00/0.03 c 0.00/0.03 c core #37 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 37 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #38 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 38 0.00/0.03 c Current CPU time: 0.026995 s 0.00/0.03 c 0.00/0.03 c core #39 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 39 0.00/0.03 c Current CPU time: 0.027995 s 0.00/0.03 c 0.00/0.03 c core #40 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 40 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c core #41 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 41 0.00/0.03 c Current CPU time: 0.028995 s 0.00/0.03 c 0.00/0.03 c core #42 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 42 0.00/0.03 c Current CPU time: 0.029995 s 0.00/0.03 c 0.00/0.03 c core #43 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 3 Core Weight: 1 Total Weight: 43 0.03/0.06 c Current CPU time: 0.030995 s 0.03/0.06 c 0.03/0.06 c core #44 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 44 0.03/0.06 c Current CPU time: 0.030995 s 0.03/0.06 c 0.03/0.06 c core #45 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 45 0.03/0.06 c Current CPU time: 0.031995 s 0.03/0.06 c 0.03/0.06 c core #46 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 46 0.03/0.06 c Current CPU time: 0.031995 s 0.03/0.06 c 0.03/0.06 c core #47 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 47 0.03/0.06 c Current CPU time: 0.032994 s 0.03/0.06 c 0.03/0.06 c core #48 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 48 0.03/0.06 c Current CPU time: 0.033994 s 0.03/0.06 c 0.03/0.06 c core #49 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 49 0.03/0.06 c Current CPU time: 0.033994 s 0.03/0.06 c 0.03/0.06 c core #50 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 50 0.03/0.06 c Current CPU time: 0.034994 s 0.03/0.06 c 0.03/0.06 c core #51 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 51 0.03/0.06 c Current CPU time: 0.035994 s 0.03/0.06 c 0.03/0.06 c core #52 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 52 0.03/0.06 c Current CPU time: 0.035994 s 0.03/0.06 c 0.03/0.06 c core #53 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 53 0.03/0.06 c Current CPU time: 0.036994 s 0.03/0.06 c 0.03/0.06 c core #54 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 54 0.03/0.06 c Current CPU time: 0.037994 s 0.03/0.06 c 0.03/0.06 c core #55 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 55 0.03/0.06 c Current CPU time: 0.037994 s 0.03/0.06 c 0.03/0.06 c core #56 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 56 0.03/0.06 c Current CPU time: 0.038994 s 0.03/0.06 c 0.03/0.06 c core #57 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 57 0.03/0.06 c Current CPU time: 0.039993 s 0.03/0.06 c 0.03/0.06 c core #58 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 58 0.03/0.06 c Current CPU time: 0.039993 s 0.03/0.06 c 0.03/0.06 c core #59 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 59 0.03/0.06 c Current CPU time: 0.040993 s 0.03/0.06 c 0.03/0.06 c core #60 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 60 0.03/0.06 c Current CPU time: 0.041993 s 0.03/0.06 c 0.03/0.06 c core #61 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 61 0.03/0.06 c Current CPU time: 0.041993 s 0.03/0.06 c 0.03/0.06 c core #62 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 62 0.03/0.06 c Current CPU time: 0.042993 s 0.03/0.06 c 0.03/0.06 c core #63 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 63 0.03/0.06 c Current CPU time: 0.043993 s 0.03/0.06 c 0.03/0.06 c core #64 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 64 0.03/0.06 c Current CPU time: 0.043993 s 0.03/0.06 c 0.03/0.06 c core #65 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 65 0.03/0.06 c Current CPU time: 0.044993 s 0.03/0.06 c 0.03/0.06 c core #66 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 66 0.03/0.06 c Current CPU time: 0.045993 s 0.03/0.06 c 0.03/0.06 c core #67 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 67 0.03/0.06 c Current CPU time: 0.045993 s 0.03/0.06 c 0.03/0.06 c core #68 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 68 0.03/0.06 c Current CPU time: 0.046992 s 0.03/0.06 c 0.03/0.06 c core #69 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 69 0.03/0.06 c Current CPU time: 0.047992 s 0.03/0.06 c 0.03/0.06 c core #70 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 70 0.03/0.06 c Current CPU time: 0.047992 s 0.03/0.06 c 0.03/0.06 c core #71 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 71 0.03/0.06 c Current CPU time: 0.048992 s 0.03/0.06 c 0.03/0.06 c core #72 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 72 0.03/0.06 c Current CPU time: 0.049992 s 0.03/0.06 c 0.03/0.06 c core #73 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 73 0.03/0.06 c Current CPU time: 0.049992 s 0.03/0.06 c 0.03/0.06 c core #74 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 74 0.03/0.06 c Current CPU time: 0.050992 s 0.03/0.06 c 0.03/0.06 c core #75 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 75 0.03/0.06 c Current CPU time: 0.051992 s 0.03/0.06 c 0.03/0.06 c core #76 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 76 0.03/0.06 c Current CPU time: 0.051992 s 0.03/0.06 c 0.03/0.06 c core #77 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 77 0.03/0.06 c Current CPU time: 0.052991 s 0.03/0.06 c 0.03/0.06 c core #78 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 78 0.03/0.06 c Current CPU time: 0.053991 s 0.03/0.06 c 0.03/0.06 c core #79 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 79 0.03/0.06 c Current CPU time: 0.053991 s 0.03/0.06 c 0.03/0.06 c core #80 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 80 0.03/0.06 c Current CPU time: 0.054991 s 0.03/0.06 c 0.03/0.06 c core #81 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 81 0.03/0.06 c Current CPU time: 0.055991 s 0.03/0.06 c 0.03/0.06 c core #82 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 82 0.03/0.06 c Current CPU time: 0.055991 s 0.03/0.06 c 0.03/0.06 c core #83 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 83 0.03/0.06 c Current CPU time: 0.056991 s 0.03/0.06 c 0.03/0.06 c core #84 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 84 0.03/0.06 c Current CPU time: 0.057991 s 0.03/0.06 c 0.03/0.06 c core #85 0.03/0.06 c 0.03/0.06 c 0.03/0.06 c Core size: 3 Core Weight: 1 Total Weight: 85 0.03/0.09 c Current CPU time: 0.058991 s 0.03/0.09 c 0.03/0.09 c core #86 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 86 0.03/0.09 c Current CPU time: 0.058991 s 0.03/0.09 c 0.03/0.09 c core #87 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 87 0.03/0.09 c Current CPU time: 0.05999 s 0.03/0.09 c 0.03/0.09 c core #88 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 88 0.03/0.09 c Current CPU time: 0.06099 s 0.03/0.09 c 0.03/0.09 c core #89 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 89 0.03/0.09 c Current CPU time: 0.06099 s 0.03/0.09 c 0.03/0.09 c core #90 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 90 0.03/0.09 c Current CPU time: 0.06199 s 0.03/0.09 c 0.03/0.09 c core #91 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 91 0.03/0.09 c Current CPU time: 0.06299 s 0.03/0.09 c 0.03/0.09 c core #92 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 92 0.03/0.09 c Current CPU time: 0.06299 s 0.03/0.09 c 0.03/0.09 c core #93 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 93 0.03/0.09 c Current CPU time: 0.06399 s 0.03/0.09 c 0.03/0.09 c core #94 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 94 0.03/0.09 c Current CPU time: 0.06499 s 0.03/0.09 c 0.03/0.09 c core #95 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 95 0.03/0.09 c Current CPU time: 0.065989 s 0.03/0.09 c 0.03/0.09 c core #96 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 3 Core Weight: 1 Total Weight: 96 0.03/0.09 c Current CPU time: 0.065989 s 0.03/0.09 c 0.03/0.09 c core #97 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 33 Core Weight: 1 Total Weight: 97 0.03/0.09 c Current CPU time: 0.066989 s 0.03/0.09 c 0.03/0.09 c core #98 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 33 Core Weight: 1 Total Weight: 98 0.03/0.09 c Current CPU time: 0.067989 s 0.03/0.09 c 0.03/0.09 c core #99 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 33 Core Weight: 1 Total Weight: 99 0.03/0.09 c Current CPU time: 0.068989 s 0.03/0.09 c 0.03/0.09 c core #100 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 100 0.03/0.09 c Current CPU time: 0.068989 s 0.03/0.09 c 0.03/0.09 c core #101 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 101 0.03/0.09 c Current CPU time: 0.069989 s 0.03/0.09 c 0.03/0.09 c core #102 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 102 0.03/0.09 c Current CPU time: 0.070989 s 0.03/0.09 c 0.03/0.09 c core #103 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 103 0.03/0.09 c Current CPU time: 0.071989 s 0.03/0.09 c 0.03/0.09 c core #104 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 104 0.03/0.09 c Current CPU time: 0.072988 s 0.03/0.09 c 0.03/0.09 c core #105 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 105 0.03/0.09 c Current CPU time: 0.073988 s 0.03/0.09 c 0.03/0.09 c core #106 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 106 0.03/0.09 c Current CPU time: 0.073988 s 0.03/0.09 c 0.03/0.09 c core #107 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 107 0.03/0.09 c Current CPU time: 0.074988 s 0.03/0.09 c 0.03/0.09 c core #108 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 108 0.03/0.09 c Current CPU time: 0.075988 s 0.03/0.09 c 0.03/0.09 c core #109 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 109 0.03/0.09 c Current CPU time: 0.076988 s 0.03/0.09 c 0.03/0.09 c core #110 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 110 0.03/0.09 c Current CPU time: 0.077988 s 0.03/0.09 c 0.03/0.09 c core #111 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: 111 0.03/0.09 c Current CPU time: 0.077988 s 0.03/0.09 c 0.03/0.09 c core #112 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 45 Core Weight: 1 Total Weight: 112 0.03/0.09 c Current CPU time: 0.078987 s 0.03/0.09 c 0.03/0.09 c core #113 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 66 Core Weight: 1 Total Weight: 113 0.03/0.09 c Current CPU time: 0.078987 s 0.03/0.09 c 0.03/0.09 c core #114 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 45 Core Weight: 1 Total Weight: 114 0.03/0.09 c Current CPU time: 0.079987 s 0.03/0.09 c 0.03/0.09 c core #115 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 66 Core Weight: 1 Total Weight: 115 0.03/0.09 c Current CPU time: 0.080987 s 0.03/0.09 c 0.03/0.09 c core #116 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 45 Core Weight: 1 Total Weight: 116 0.03/0.09 c Current CPU time: 0.081987 s 0.03/0.09 c 0.03/0.09 c core #117 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 66 Core Weight: 1 Total Weight: 117 0.03/0.09 c Current CPU time: 0.082987 s 0.03/0.09 c 0.03/0.09 c core #118 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 7 Core Weight: 1 Total Weight: 118 0.03/0.09 c Current CPU time: 0.083987 s 0.03/0.09 c 0.03/0.09 c core #119 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 96 Core Weight: 1 Total Weight: 119 0.03/0.09 c Current CPU time: 0.084987 s 0.03/0.09 c 0.03/0.09 c core #120 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 7 Core Weight: 1 Total Weight: 120 0.03/0.09 c Current CPU time: 0.085986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 896 2178 7960 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #121 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 14 Core Weight: 1 Total Weight: 121 0.03/0.09 c Current CPU time: 0.086986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 904 2179 7976 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #122 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 11 Core Weight: 1 Total Weight: 122 0.03/0.09 c Current CPU time: 0.088986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 911 2180 7990 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #123 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 20 Core Weight: 1 Total Weight: 123 0.03/0.09 c Current CPU time: 0.089986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 924 2181 8016 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #124 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 35 Core Weight: 1 Total Weight: 124 0.03/0.09 c Current CPU time: 0.090986 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 942 2182 8052 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #125 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 26 Core Weight: 1 Total Weight: 125 0.03/0.09 c Current CPU time: 0.092985 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 959 2183 8086 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #126 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 12 Core Weight: 1 Total Weight: 126 0.03/0.09 c Current CPU time: 0.093985 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 966 2184 8100 | 5000 0 -nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #127 0.03/0.09 c 0.03/0.09 c 0.03/0.09 c Core size: 10 Core Weight: 1 Total Weight: 127 0.03/0.09 c Current CPU time: 0.095985 s 0.03/0.09 c 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 972 2185 8112 | 5000 0 -nan | 0.000 % | 0.03/0.10 c =============================================================================== 0.09/0.10 c core #128 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 10 Core Weight: 1 Total Weight: 128 0.09/0.10 c Current CPU time: 0.096985 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 978 2186 8124 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #129 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 49 Core Weight: 1 Total Weight: 129 0.09/0.10 c Current CPU time: 0.098984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1003 2187 8174 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #130 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 38 Core Weight: 1 Total Weight: 130 0.09/0.10 c Current CPU time: 0.100984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1044 2188 8263 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #131 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 40 Core Weight: 1 Total Weight: 131 0.09/0.10 c Current CPU time: 0.101984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1062 2189 8299 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #132 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 132 Core Weight: 1 Total Weight: 132 0.09/0.10 c Current CPU time: 0.103984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1092 2190 8363 | 5000 0 -nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #133 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 156 Core Weight: 1 Total Weight: 133 0.09/0.10 c Current CPU time: 0.105983 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1128 2191 8436 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #134 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 146 Core Weight: 1 Total Weight: 134 0.09/0.11 c Current CPU time: 0.107983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1148 2192 8476 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #135 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 25 Core Weight: 1 Total Weight: 135 0.09/0.11 c Current CPU time: 0.109983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1166 2193 8512 | 5000 0 -nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #136 0.09/0.11 c 0.09/0.11 c 0.09/0.11 c Core size: 13 Core Weight: 1 Total Weight: 136 0.09/0.11 c Current CPU time: 0.110983 s 0.09/0.11 c 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1174 2194 8528 | 5000 0 -nan | 0.000 % | 0.09/0.11 c | 100 | 1162 2194 8528 | 5500 100 17 | 1.460 % | 0.09/0.11 c =============================================================================== 0.09/0.12 c core #137 0.09/0.12 c 0.09/0.12 c 0.09/0.12 c Core size: 198 Core Weight: 1 Total Weight: 137 0.09/0.12 c Current CPU time: 0.115982 s 0.09/0.12 c 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1256 2195 8692 | 5000 0 -nan | 0.000 % | 0.09/0.12 c | 101 | 1255 2195 8692 | 5500 101 31 | 0.080 % | 0.09/0.12 c | 253 | 1254 2195 8692 | 6050 253 34 | 0.159 % | 0.09/0.13 c | 478 | 1254 2195 8692 | 6655 478 33 | 0.159 % | 0.09/0.13 c =============================================================================== 0.09/0.14 c core #138 0.09/0.14 c 0.09/0.14 c 0.09/0.14 c Core size: 103 Core Weight: 1 Total Weight: 138 0.09/0.14 c Current CPU time: 0.135979 s 0.09/0.14 c 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1349 2196 8878 | 5000 0 -nan | 0.000 % | 0.09/0.14 c | 101 | 1349 2196 8878 | 5500 101 27 | 0.001 % | 0.09/0.14 c | 258 | 1348 2196 8878 | 6050 258 34 | 0.074 % | 0.09/0.15 c | 483 | 1346 2196 8878 | 6655 483 35 | 0.222 % | 0.09/0.16 c | 820 | 1343 2196 8878 | 7320 820 36 | 0.446 % | 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: 205 Core Weight: 1 Total Weight: 139 0.09/0.19 c Current CPU time: 0.186971 s 0.09/0.19 c 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 1530 2197 9240 | 5000 0 -nan | 0.000 % | 0.09/0.19 c | 100 | 1530 2197 9240 | 5500 100 22 | 0.131 % | 0.09/0.20 c | 250 | 1522 2197 9240 | 6050 250 22 | 0.524 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #140 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 34 Core Weight: 1 Total Weight: 140 0.19/0.20 c Current CPU time: 0.19497 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1551 2198 9282 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 101 | 1549 2198 9282 | 5500 101 22 | 0.129 % | 0.19/0.21 c | 251 | 1549 2198 9282 | 6050 251 28 | 0.130 % | 0.19/0.21 c | 477 | 1549 2198 9282 | 6655 477 34 | 0.129 % | 0.19/0.23 c | 818 | 1547 2198 9282 | 7320 818 40 | 0.259 % | 0.19/0.25 c | 1324 | 1547 2198 9282 | 8052 1324 45 | 0.258 % | 0.19/0.30 c | 2083 | 1537 2198 9282 | 8857 2083 44 | 0.903 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #141 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 178 Core Weight: 1 Total Weight: 141 0.29/0.34 c Current CPU time: 0.332949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1686 2201 9558 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 100 | 1686 2201 9558 | 5500 100 24 | 0.001 % | 0.29/0.35 c | 252 | 1686 2201 9558 | 6050 252 26 | 0.000 % | 0.29/0.35 c | 477 | 1686 2201 9558 | 6655 477 29 | 0.001 % | 0.29/0.36 c | 816 | 1686 2201 9558 | 7320 816 31 | 0.000 % | 0.29/0.38 c | 1322 | 1686 2201 9558 | 8052 1322 31 | 0.002 % | 0.39/0.41 c | 2082 | 1684 2201 9558 | 8857 2082 32 | 0.119 % | 0.39/0.45 c =============================================================================== 0.39/0.46 c core #142 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 114 Core Weight: 1 Total Weight: 142 0.39/0.46 c Current CPU time: 0.443932 s 0.39/0.46 c 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 1792 2202 9770 | 5000 0 -nan | 0.000 % | 0.39/0.46 c | 100 | 1792 2202 9770 | 5500 100 17 | 0.001 % | 0.39/0.46 c | 250 | 1792 2202 9770 | 6050 250 26 | 0.000 % | 0.39/0.47 c | 475 | 1792 2202 9770 | 6655 475 40 | 0.000 % | 0.39/0.48 c | 814 | 1792 2202 9770 | 7320 814 48 | 0.000 % | 0.49/0.51 c | 1320 | 1790 2202 9770 | 8052 1320 44 | 0.112 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #143 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 88 Core Weight: 1 Total Weight: 143 0.49/0.51 c Current CPU time: 0.492925 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 1844 2204 9877 | 5000 0 -nan | 0.000 % | 0.49/0.52 c | 100 | 1844 2204 9877 | 5500 100 19 | 0.001 % | 0.49/0.52 c | 250 | 1844 2204 9877 | 6050 250 24 | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c core #144 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 33 Core Weight: 1 Total Weight: 144 0.49/0.53 c Current CPU time: 0.500923 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 | 1864 2206 9920 | 5000 0 -nan | 0.000 % | 0.49/0.53 c | 101 | 1864 2206 9920 | 5500 101 25 | 0.001 % | 0.49/0.53 c | 253 | 1864 2206 9920 | 6050 253 28 | 0.000 % | 0.49/0.54 c | 478 | 1864 2206 9920 | 6655 478 29 | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #145 0.49/0.55 c 0.49/0.55 c 0.49/0.55 c Core size: 54 Core Weight: 1 Total Weight: 145 0.49/0.55 c Current CPU time: 0.52492 s 0.49/0.55 c 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 1894 2208 9982 | 5000 0 -nan | 0.000 % | 0.49/0.55 c | 101 | 1894 2208 9982 | 5500 101 23 | 0.001 % | 0.49/0.56 c | 252 | 1894 2208 9982 | 6050 252 24 | 0.000 % | 0.49/0.56 c | 477 | 1894 2208 9982 | 6655 477 26 | 0.000 % | 0.49/0.57 c | 814 | 1892 2208 9982 | 7320 814 25 | 0.106 % | 0.49/0.59 c | 1321 | 1892 2208 9982 | 8052 1321 27 | 0.106 % | 0.59/0.62 c | 2080 | 1886 2208 9982 | 8857 2080 30 | 0.423 % | 0.59/0.66 c | 3221 | 1886 2208 9982 | 9743 3221 31 | 0.422 % | 0.69/0.71 c =============================================================================== 0.69/0.72 c core #146 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 154 Core Weight: 1 Total Weight: 146 0.69/0.72 c Current CPU time: 0.681896 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 1951 2214 10109 | 5000 0 -nan | 0.000 % | 0.69/0.72 c | 100 | 1951 2214 10109 | 5500 100 14 | 0.000 % | 0.69/0.72 c | 250 | 1951 2214 10109 | 6050 250 16 | 0.000 % | 0.69/0.73 c | 475 | 1951 2214 10109 | 6655 475 20 | 0.000 % | 0.69/0.74 c | 814 | 1951 2214 10109 | 7320 814 24 | 0.001 % | 0.69/0.75 c | 1321 | 1951 2214 10109 | 8052 1321 27 | 0.003 % | 0.69/0.78 c | 2080 | 1951 2214 10109 | 8857 2080 32 | 0.000 % | 0.79/0.83 c | 3221 | 1951 2214 10109 | 9743 3221 32 | 0.000 % | 0.89/0.94 c | 4931 | 1951 2214 10109 | 10717 4931 31 | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #147 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 160 Core Weight: 1 Total Weight: 147 0.89/0.99 c Current CPU time: 0.938857 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 2014 2225 10261 | 5000 0 -nan | 0.000 % | 0.89/1.00 c | 100 | 2014 2225 10261 | 5500 100 17 | 0.000 % | 0.89/1.00 c | 251 | 2014 2225 10261 | 6050 251 29 | 0.000 % | 0.89/1.01 c | 479 | 2014 2225 10261 | 6655 479 32 | 0.000 % | 1.00/1.02 c | 816 | 2014 2225 10261 | 7320 816 38 | 0.000 % | 1.00/1.03 c | 1324 | 2014 2225 10261 | 8052 1324 33 | 0.000 % | 1.00/1.05 c | 2084 | 2012 2225 10261 | 8857 2084 34 | 0.100 % | 1.00/1.09 c | 3223 | 2012 2225 10261 | 9743 3223 34 | 0.100 % | 1.11/1.12 c =============================================================================== 1.11/1.13 c core #148 1.11/1.13 c 1.11/1.13 c 1.11/1.13 c Core size: 148 Core Weight: 1 Total Weight: 148 1.11/1.13 c Current CPU time: 1.06584 s 1.11/1.13 c 1.11/1.13 c ============================[ Search Statistics ]============================== 1.11/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.13 c =============================================================================== 1.11/1.13 c | 0 | 2077 2227 10389 | 5000 0 -nan | 0.000 % | 1.11/1.13 c | 100 | 2077 2227 10389 | 5500 100 25 | 0.000 % | 1.11/1.13 c | 250 | 2077 2227 10389 | 6050 250 23 | 0.000 % | 1.11/1.14 c | 478 | 2077 2227 10389 | 6655 478 23 | 0.001 % | 1.11/1.15 c | 816 | 2073 2227 10389 | 7320 816 21 | 0.193 % | 1.11/1.16 c | 1322 | 2071 2227 10389 | 8052 1322 20 | 0.290 % | 1.11/1.17 c =============================================================================== 1.11/1.18 c core #149 1.11/1.18 c 1.11/1.18 c 1.11/1.18 c Core size: 55 Core Weight: 1 Total Weight: 149 1.11/1.18 c Current CPU time: 1.10983 s 1.11/1.18 c 1.11/1.18 c ============================[ Search Statistics ]============================== 1.11/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.11/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.11/1.18 c =============================================================================== 1.11/1.18 c | 0 | 2115 2232 10476 | 5000 0 -nan | 0.000 % | 1.11/1.18 c | 100 | 2115 2232 10476 | 5500 100 26 | 0.000 % | 1.11/1.18 c | 252 | 2115 2232 10476 | 6050 252 26 | 0.000 % | 1.11/1.19 c | 480 | 2115 2232 10476 | 6655 480 23 | 0.000 % | 1.11/1.19 c | 818 | 2115 2232 10476 | 7320 818 22 | 0.000 % | 1.19/1.20 c | 1326 | 2113 2232 10476 | 8052 1326 23 | 0.095 % | 1.19/1.22 c | 2085 | 2113 2232 10476 | 8857 2085 22 | 0.095 % | 1.19/1.25 c | 3225 | 2111 2232 10476 | 9743 3225 24 | 0.189 % | 1.29/1.32 c | 4933 | 2107 2232 10476 | 10717 4933 25 | 0.378 % | 1.29/1.36 c =============================================================================== 1.29/1.38 c core #150 1.29/1.38 c 1.29/1.38 c 1.29/1.38 c Core size: 75 Core Weight: 1 Total Weight: 150 1.29/1.38 c Current CPU time: 1.2888 s 1.29/1.38 c 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 2165 2236 10584 | 5000 0 -nan | 0.000 % | 1.29/1.38 c | 102 | 2165 2236 10584 | 5500 102 62 | 0.000 % | 1.29/1.38 c | 254 | 2165 2236 10584 | 6050 254 34 | 0.000 % | 1.29/1.39 c | 480 | 2165 2236 10584 | 6655 480 29 | 0.000 % | 1.39/1.40 c | 818 | 2165 2236 10584 | 7320 818 28 | 0.000 % | 1.39/1.41 c | 1324 | 2165 2236 10584 | 8052 1324 36 | 0.000 % | 1.39/1.44 c | 2083 | 2165 2236 10584 | 8857 2083 38 | 0.000 % | 1.39/1.48 c | 3223 | 2165 2236 10584 | 9743 3223 43 | 0.000 % | 1.49/1.55 c | 4931 | 2165 2236 10584 | 10717 4931 44 | 0.001 % | 1.59/1.66 c | 7494 | 2165 2236 10584 | 11789 7494 46 | 0.000 % | 1.79/1.89 c | 11340 | 2165 2236 10584 | 12968 11340 51 | 0.000 % | 2.39/2.47 c | 17106 | 2165 2236 10584 | 14265 10576 59 | 0.000 % | 3.10/3.10 c | 25758 | 2165 2236 10584 | 15692 11975 56 | 0.001 % | 4.09/4.10 c | 38735 | 2163 2236 10584 | 17261 9147 47 | 0.094 % | 5.89/5.97 c | 58196 | 2163 2236 10584 | 18987 11156 62 | 0.093 % | 8.70/8.76 c | 87391 | 2159 2236 10584 | 20886 11590 61 | 0.278 % | 11.09/11.11 c =============================================================================== 11.49/11.57 c core #151 11.49/11.57 c 11.49/11.57 c 11.49/11.57 c Core size: 161 Core Weight: 1 Total Weight: 151 11.49/11.57 c Current CPU time: 11.1493 s 11.49/11.57 c 11.49/11.57 c ============================[ Search Statistics ]============================== 11.49/11.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.49/11.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.49/11.57 c =============================================================================== 11.49/11.57 c | 0 | 2305 2244 10880 | 5000 0 -nan | 0.000 % | 11.49/11.57 c | 100 | 2305 2244 10880 | 5500 100 54 | 0.000 % | 11.49/11.57 c | 252 | 2305 2244 10880 | 6050 252 45 | 0.001 % | 11.49/11.58 c | 479 | 2305 2244 10880 | 6655 479 43 | 0.000 % | 11.49/11.59 c | 817 | 2305 2244 10880 | 7320 817 36 | 0.000 % | 11.59/11.60 c | 1326 | 2305 2244 10880 | 8052 1326 38 | 0.000 % | 11.59/11.63 c | 2085 | 2305 2244 10880 | 8857 2085 51 | 0.000 % | 11.59/11.68 c | 3226 | 2305 2244 10880 | 9743 3226 50 | 0.000 % | 11.70/11.73 c | 4935 | 2305 2244 10880 | 10717 4935 45 | 0.000 % | 11.80/11.84 c | 7498 | 2305 2244 10880 | 11789 7498 41 | 0.000 % | 12.00/12.03 c | 11345 | 2305 2244 10880 | 12968 11345 50 | 0.000 % | 12.29/12.30 c | 17113 | 2303 2244 10880 | 14265 10584 48 | 0.087 % | 12.89/12.97 c | 25763 | 2295 2244 10880 | 15692 12014 48 | 0.435 % | 13.21/13.22 c =============================================================================== 13.21/13.29 c core #152 13.21/13.29 c 13.21/13.29 c 13.21/13.29 c Core size: 162 Core Weight: 1 Total Weight: 152 13.21/13.29 c Current CPU time: 12.84 s 13.21/13.29 c 13.21/13.29 c ============================[ Search Statistics ]============================== 13.21/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.21/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.21/13.29 c =============================================================================== 13.21/13.29 c | 0 | 2398 2256 11096 | 5000 0 -nan | 0.000 % | 13.21/13.29 c | 101 | 2398 2256 11096 | 5500 101 33 | 0.000 % | 13.21/13.30 c | 255 | 2398 2256 11096 | 6050 255 31 | 0.000 % | 13.29/13.30 c | 482 | 2398 2256 11096 | 6655 482 32 | 0.000 % | 13.29/13.31 c | 823 | 2398 2256 11096 | 7320 823 31 | 0.000 % | 13.29/13.32 c | 1329 | 2398 2256 11096 | 8052 1329 33 | 0.000 % | 13.29/13.34 c | 2089 | 2398 2256 11096 | 8857 2089 36 | 0.000 % | 13.29/13.38 c | 3230 | 2398 2256 11096 | 9743 3230 39 | 0.001 % | 13.39/13.45 c | 4939 | 2398 2256 11096 | 10717 4939 39 | 0.000 % | 13.49/13.58 c | 7504 | 2398 2256 11096 | 11789 7504 42 | 0.000 % | 13.69/13.75 c | 11348 | 2398 2256 11096 | 12968 11348 43 | 0.000 % | 14.09/14.13 c | 17114 | 2398 2256 11096 | 14265 10341 52 | 0.001 % | 14.89/14.90 c | 25764 | 2398 2256 11096 | 15692 11597 61 | 0.000 % | 15.89/15.90 c | 38739 | 2398 2256 11096 | 17261 8334 48 | 0.000 % | 18.30/18.35 c | 58201 | 2398 2256 11096 | 18987 10059 78 | 0.000 % | 21.19/21.29 c | 87394 | 2398 2256 11096 | 20886 10089 43 | 0.000 % | 25.69/25.75 c | 131183 | 2394 2256 11096 | 22974 11081 48 | 0.167 % | 34.39/34.40 c | 196868 | 2394 2256 11096 | 25272 18063 54 | 0.168 % | 48.09/48.17 c | 295395 | 2388 2256 11096 | 27799 23610 53 | 0.417 % | 51.60/51.66 c =============================================================================== 52.70/52.72 c core #153 52.70/52.72 c 52.70/52.72 c 52.70/52.72 c Core size: 258 Core Weight: 1 Total Weight: 153 52.70/52.72 c Current CPU time: 51.3602 s 52.70/52.72 c 52.70/52.72 c ============================[ Search Statistics ]============================== 52.70/52.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 52.70/52.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 52.70/52.72 c =============================================================================== 52.70/52.72 c | 0 | 2498 2262 11309 | 5000 0 -nan | 0.000 % | 52.70/52.73 c | 100 | 2498 2262 11309 | 5500 100 26 | 0.000 % | 52.70/52.73 c | 251 | 2498 2262 11309 | 6050 251 29 | 0.000 % | 52.70/52.74 c | 479 | 2498 2262 11309 | 6655 479 35 | 0.000 % | 52.70/52.74 c | 818 | 2498 2262 11309 | 7320 818 31 | 0.000 % | 52.70/52.76 c | 1324 | 2498 2262 11309 | 8052 1324 38 | 0.000 % | 52.70/52.78 c | 2084 | 2498 2262 11309 | 8857 2084 35 | 0.000 % | 52.81/52.82 c | 3227 | 2498 2262 11309 | 9743 3227 40 | 0.000 % | 52.81/52.88 c | 4936 | 2498 2262 11309 | 10717 4936 39 | 0.000 % | 52.99/53.04 c | 7500 | 2498 2262 11309 | 11789 7500 42 | 0.000 % | 53.20/53.28 c | 11344 | 2498 2262 11309 | 12968 11344 49 | 0.000 % | 53.70/53.77 c | 17111 | 2498 2262 11309 | 14265 10272 68 | 0.000 % | 54.59/54.60 c | 25760 | 2498 2262 11309 | 15692 11461 73 | 0.000 % | 55.89/55.95 c | 38734 | 2498 2262 11309 | 17261 16214 73 | 0.000 % | 58.60/58.67 c | 58196 | 2498 2262 11309 | 18987 9028 69 | 0.000 % | 61.89/61.90 c | 87388 | 2498 2262 11309 | 20886 18734 73 | 0.000 % | 68.50/68.51 c | 131180 | 2496 2262 11309 | 22974 19441 98 | 0.080 % | 75.99/76.03 c | 196866 | 2496 2262 11309 | 25272 14771 63 | 0.080 % | 92.79/92.89 c | 295392 | 2496 2262 11309 | 27799 20685 80 | 0.080 % | 119.91/119.94 c | 443183 | 2496 2262 11309 | 30579 12895 95 | 0.080 % | 172.20/172.21 c | 664871 | 2496 2262 11309 | 33637 22475 98 | 0.080 % | 240.20/240.23 c | 997397 | 2496 2262 11309 | 37001 14064 75 | 0.080 % | 344.01/344.06 c | 1496185 | 2494 2262 11309 | 40701 17563 106 | 0.160 % | 474.82/474.82 c | 2244367 | 2486 2262 11309 | 44771 36660 71 | 0.481 % | 495.62/495.68 c =============================================================================== 503.72/503.79 c core #154 503.72/503.79 c 503.72/503.79 c 503.72/503.79 c Core size: 200 Core Weight: 1 Total Weight: 154 503.72/503.79 c Current CPU time: 495.839 s 503.72/503.79 c 503.72/503.79 c ============================[ Search Statistics ]============================== 503.72/503.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 503.72/503.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 503.72/503.79 c =============================================================================== 503.72/503.79 c | 0 | 2634 2265 11585 | 5000 0 -nan | 0.000 % | 503.72/503.79 c | 100 | 2634 2265 11585 | 5500 100 16 | 0.000 % | 503.72/503.79 c | 250 | 2634 2265 11585 | 6050 250 14 | 0.000 % | 503.72/503.80 c | 476 | 2634 2265 11585 | 6655 476 23 | 0.000 % | 503.72/503.81 c | 814 | 2634 2265 11585 | 7320 814 23 | 0.000 % | 503.83/503.82 c | 1320 | 2634 2265 11585 | 8052 1320 35 | 0.000 % | 503.83/503.84 c | 2079 | 2634 2265 11585 | 8857 2079 47 | 0.000 % | 503.83/503.89 c | 3220 | 2634 2265 11585 | 9743 3220 50 | 0.000 % | 503.91/503.95 c | 4928 | 2634 2265 11585 | 10717 4928 53 | 0.000 % | 504.02/504.08 c | 7490 | 2634 2265 11585 | 11789 7490 56 | 0.000 % | 504.31/504.35 c | 11334 | 2634 2265 11585 | 12968 11334 67 | 0.000 % | 504.62/504.68 c | 17103 | 2634 2265 11585 | 14265 10358 67 | 0.000 % | 505.32/505.38 c | 25754 | 2634 2265 11585 | 15692 11581 62 | 0.000 % | 506.41/506.47 c | 38728 | 2634 2265 11585 | 17261 8481 65 | 0.000 % | 508.91/508.97 c | 58189 | 2634 2265 11585 | 18987 10133 73 | 0.000 % | 514.02/514.03 c | 87383 | 2634 2265 11585 | 20886 9931 57 | 0.000 % | 518.71/518.73 c | 131175 | 2634 2265 11585 | 22974 10970 66 | 0.000 % | 528.81/528.82 c | 196861 | 2634 2265 11585 | 25272 17295 62 | 0.000 % | 544.82/544.82 c | 295387 | 2634 2265 11585 | 27799 22724 93 | 0.000 % | 578.91/578.93 c | 443178 | 2634 2265 11585 | 30579 14638 118 | 0.001 % | 622.02/622.06 c | 664864 | 2634 2265 11585 | 33637 31022 69 | 0.000 % | 693.22/693.24 c | 997390 | 2634 2265 11585 | 37001 28370 81 | 0.000 % | 815.83/815.84 c | 1496179 | 2632 2265 11585 | 40701 16687 65 | 0.076 % | 943.24/943.28 c | 2244363 | 2632 2265 11585 | 44771 28079 62 | 0.076 % | 1216.44/1216.51 c | 3366638 | 2628 2265 11585 | 49248 30178 68 | 0.228 % | 1735.38/1735.31 c | 5050049 | 2628 2265 11585 | 54173 31998 83 | 0.228 % |
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-3461440-1307089296/watcher-3461440-1307089296 -o /tmp/evaluation-result-3461440-1307089296/solver-3461440-1307089296 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461440-1307089296.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.05 2.05 2.00 2/517 4556 /proc/meminfo: memFree=21369108/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=2636 CPUtime=0 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 459 0 0 0 0 0 0 0 18 0 1 0 820526265 2699264 395 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 659 395 175 372 0 284 0 [startup+0.0384749 s] /proc/loadavg: 2.05 2.05 2.00 2/517 4556 /proc/meminfo: memFree=21369108/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=2740 CPUtime=0.03 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 491 0 0 0 3 0 0 0 18 0 1 0 820526265 2805760 427 33554432000 4194304 5714214 140737312835824 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 685 427 175 372 0 310 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2740 [startup+0.100483 s] /proc/loadavg: 2.05 2.05 2.00 2/517 4556 /proc/meminfo: memFree=21369108/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=3368 CPUtime=0.09 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 639 0 0 0 9 0 0 0 18 0 1 0 820526265 3448832 575 33554432000 4194304 5714214 140737312835824 18446744073709551615 4356078 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 842 575 179 372 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300422 s] /proc/loadavg: 2.05 2.05 2.00 2/517 4556 /proc/meminfo: memFree=21369108/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=4084 CPUtime=0.29 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 829 0 0 0 28 1 0 0 18 0 1 0 820526265 4182016 765 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 1021 765 180 372 0 646 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4084 [startup+0.70034 s] /proc/loadavg: 2.05 2.05 2.00 2/517 4556 /proc/meminfo: memFree=21369108/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=4796 CPUtime=0.69 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 1023 0 0 0 66 3 0 0 18 0 1 0 820526265 4911104 959 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 1199 959 180 372 0 824 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4796 [startup+1.50118 s] /proc/loadavg: 2.05 2.05 2.00 3/518 4557 /proc/meminfo: memFree=21361412/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=6028 CPUtime=1.49 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 1310 0 0 0 139 10 0 0 19 0 1 0 820526265 6172672 1246 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 1507 1246 180 372 0 1132 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6028 [startup+3.10088 s] /proc/loadavg: 2.05 2.05 2.00 3/518 4557 /proc/meminfo: memFree=21353836/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=11096 CPUtime=3.1 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 2587 0 0 0 293 17 0 0 24 0 1 0 820526265 11362304 2523 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 2774 2523 180 372 0 2399 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 11096 [startup+6.30023 s] /proc/loadavg: 2.04 2.05 2.00 3/518 4557 /proc/meminfo: memFree=21338612/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=17944 CPUtime=6.29 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 4295 0 0 0 604 25 0 0 25 0 1 0 820526265 18374656 4231 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 4486 4231 180 372 0 4111 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17944 [startup+12.7009 s] /proc/loadavg: 2.04 2.05 2.00 3/518 4557 /proc/meminfo: memFree=21315732/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=26912 CPUtime=12.69 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 6540 0 0 0 1226 43 0 0 25 0 1 0 820526265 27557888 6434 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 6728 6434 180 372 0 6353 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26912 [startup+25.5004 s] /proc/loadavg: 2.03 2.04 2.00 3/518 4558 /proc/meminfo: memFree=21301856/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=30244 CPUtime=25.49 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 7412 0 0 0 2475 74 0 0 25 0 1 0 820526265 30969856 7306 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 7561 7306 180 372 0 7186 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 30244 [startup+51.1003 s] /proc/loadavg: 2.02 2.04 2.00 3/518 4558 /proc/meminfo: memFree=21249456/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=59680 CPUtime=51.09 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 14617 0 0 0 4988 121 0 0 25 0 1 0 820526265 61112320 14511 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 14920 14511 180 372 0 14545 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 59680 [startup+102.32 s] /proc/loadavg: 2.01 2.03 2.00 3/518 4560 /proc/meminfo: memFree=21236764/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=71752 CPUtime=102.32 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 17724 0 0 0 10022 210 0 0 25 0 1 0 820526265 73474048 17563 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 17938 17563 180 372 0 17563 0 Current children cumulated CPU time (s) 102.32 Current children cumulated vsize (KiB) 71752 [startup+162.301 s] /proc/loadavg: 2.00 2.02 2.00 3/518 4561 /proc/meminfo: memFree=21185036/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=117752 CPUtime=162.3 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 29014 0 0 0 15960 270 0 0 25 0 1 0 820526265 120578048 28853 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 29438 28853 180 372 0 29063 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 117752 [startup+222.301 s] /proc/loadavg: 2.00 2.02 2.00 3/518 4563 /proc/meminfo: memFree=21110228/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=161976 CPUtime=222.31 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 39770 0 0 0 21899 332 0 0 25 0 1 0 820526265 165863424 39609 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 40494 39609 180 372 0 40119 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 161976 [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.00 3/518 4565 /proc/meminfo: memFree=21059592/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=204728 CPUtime=282.3 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 50325 0 0 0 27843 387 0 0 25 0 1 0 820526265 209641472 50164 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 51182 50164 180 372 0 50807 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 204728 [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.00 3/518 4566 /proc/meminfo: memFree=21010712/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=251836 CPUtime=342.31 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 61995 0 0 0 33766 465 0 0 25 0 1 0 820526265 257880064 61834 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 62959 61834 180 372 0 62584 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 251836 [startup+402.3 s] /proc/loadavg: 2.03 2.02 2.00 3/518 4568 /proc/meminfo: memFree=20929204/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=308316 CPUtime=402.31 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 75968 0 0 0 39679 552 0 0 25 0 1 0 820526265 315715584 75807 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 77079 75807 180 372 0 76704 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 308316 [startup+462.3 s] /proc/loadavg: 2.12 2.04 2.01 3/518 4569 /proc/meminfo: memFree=20879192/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=354204 CPUtime=462.31 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 87369 0 0 0 45599 632 0 0 25 0 1 0 820526265 362704896 87208 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 88551 87208 180 372 0 88176 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 354204 [startup+522.3 s] /proc/loadavg: 2.10 2.05 2.01 3/518 4571 /proc/meminfo: memFree=20816656/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=416396 CPUtime=522.31 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 102992 0 0 0 51511 720 0 0 25 0 1 0 820526265 426389504 102742 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104099 102742 180 372 0 103724 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 416396 [startup+582.3 s] /proc/loadavg: 2.03 2.04 2.00 3/518 4573 /proc/meminfo: memFree=20816240/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=416396 CPUtime=582.32 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 102994 0 0 0 57446 786 0 0 25 0 1 0 820526265 426389504 102744 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104099 102744 180 372 0 103724 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 416396 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.01 2.00 3/518 4579 /proc/meminfo: memFree=20801052/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=416396 CPUtime=822.33 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 103694 0 0 0 81214 1019 0 0 25 0 1 0 820526265 426389504 103444 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104099 103444 180 372 0 103724 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 416396 [startup+882.301 s] /proc/loadavg: 2.10 2.03 2.01 3/518 4581 /proc/meminfo: memFree=20799128/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=416396 CPUtime=882.33 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 103804 0 0 0 87128 1105 0 0 25 0 1 0 820526265 426389504 103554 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104099 103554 180 372 0 103724 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 416396 [startup+942.301 s] /proc/loadavg: 2.03 2.03 2.00 3/518 4582 /proc/meminfo: memFree=20799196/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=416396 CPUtime=942.34 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 103923 0 0 0 93043 1191 0 0 25 0 1 0 820526265 426389504 103673 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104099 103673 180 372 0 103724 0 Current children cumulated CPU time (s) 942.34 Current children cumulated vsize (KiB) 416396 [startup+1002.3 s] /proc/loadavg: 2.15 2.06 2.01 3/518 4584 /proc/meminfo: memFree=20798544/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=416396 CPUtime=1002.34 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 104024 0 0 0 98991 1243 0 0 25 0 1 0 820526265 426389504 103774 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104099 103774 180 372 0 103724 0 Current children cumulated CPU time (s) 1002.34 Current children cumulated vsize (KiB) 416396 [startup+1062.3 s] /proc/loadavg: 2.05 2.05 2.01 3/518 4585 /proc/meminfo: memFree=20795284/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=419568 CPUtime=1062.35 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 104882 0 0 0 104956 1279 0 0 25 0 1 0 820526265 429637632 104632 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 104892 104632 180 372 0 104517 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 419568 [startup+1122.3 s] /proc/loadavg: 2.02 2.04 2.00 3/518 4587 /proc/meminfo: memFree=20772700/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=442524 CPUtime=1122.35 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 110552 0 0 0 110910 1325 0 0 25 0 1 0 820526265 453144576 110302 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 110631 110302 180 372 0 110256 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 442524 [startup+1182.3 s] /proc/loadavg: 2.00 2.03 2.00 3/518 4589 /proc/meminfo: memFree=20738064/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=478364 CPUtime=1182.34 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 119338 0 0 0 116854 1380 0 0 25 0 1 0 820526265 489844736 119088 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 119591 119088 180 372 0 119216 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 478364 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 4590 /proc/meminfo: memFree=20693504/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=519680 CPUtime=1242.35 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 129633 0 0 0 122783 1452 0 0 25 0 1 0 820526265 532152320 129383 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 129920 129383 180 372 0 129545 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 519680 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 4592 /proc/meminfo: memFree=20633320/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=546428 CPUtime=1302.37 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 136248 0 0 0 128742 1495 0 0 25 0 1 0 820526265 559542272 135998 33554432000 4194304 5714214 140737312835824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 136607 135998 180 372 0 136232 0 Current children cumulated CPU time (s) 1302.37 Current children cumulated vsize (KiB) 546428 [startup+1362.3 s] /proc/loadavg: 2.07 2.03 2.00 3/518 4593 /proc/meminfo: memFree=20570772/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=571600 CPUtime=1362.36 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 142532 0 0 0 134704 1532 0 0 25 0 1 0 820526265 585318400 142282 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 142900 142282 180 372 0 142525 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 571600 [startup+1422.32 s] /proc/loadavg: 2.02 2.02 2.00 3/518 4595 /proc/meminfo: memFree=20548532/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=593888 CPUtime=1422.38 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 147997 0 0 0 140663 1575 0 0 25 0 1 0 820526265 608141312 147747 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 148472 147747 180 372 0 148097 0 Current children cumulated CPU time (s) 1422.38 Current children cumulated vsize (KiB) 593888 [startup+1482.3 s] /proc/loadavg: 2.10 2.05 2.01 3/518 4597 /proc/meminfo: memFree=20515356/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=626752 CPUtime=1482.36 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 156207 0 0 0 146616 1620 0 0 25 0 1 0 820526265 641794048 155957 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 156688 155957 180 372 0 156313 0 Current children cumulated CPU time (s) 1482.36 Current children cumulated vsize (KiB) 626752 [startup+1542.3 s] /proc/loadavg: 2.08 2.05 2.01 3/518 4598 /proc/meminfo: memFree=20488532/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=653788 CPUtime=1542.37 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 162920 0 0 0 152573 1664 0 0 25 0 1 0 820526265 669478912 162670 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 163447 162670 180 372 0 163072 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 653788 [startup+1602.3 s] /proc/loadavg: 2.03 2.04 2.00 3/518 4600 /proc/meminfo: memFree=20469492/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=673760 CPUtime=1602.37 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 167905 0 0 0 158531 1706 0 0 25 0 1 0 820526265 689930240 167655 33554432000 4194304 5714214 140737312835824 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 168440 167655 180 372 0 168065 0 Current children cumulated CPU time (s) 1602.37 Current children cumulated vsize (KiB) 673760 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.00 3/518 4601 /proc/meminfo: memFree=20438444/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=702924 CPUtime=1662.37 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 175108 0 0 0 164488 1749 0 0 25 0 1 0 820526265 719794176 174858 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 175731 174858 180 372 0 175356 0 Current children cumulated CPU time (s) 1662.37 Current children cumulated vsize (KiB) 702924 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 4603 /proc/meminfo: memFree=20414964/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=725652 CPUtime=1722.37 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 180852 0 0 0 170454 1783 0 0 25 0 1 0 820526265 743067648 180602 33554432000 4194304 5714214 140737312835824 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 181413 180602 180 372 0 181038 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 725652 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/518 4605 /proc/meminfo: memFree=20375228/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=753640 CPUtime=1782.38 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 187791 0 0 0 176406 1832 0 0 25 0 1 0 820526265 771727360 187541 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 188410 187541 180 372 0 188035 0 Current children cumulated CPU time (s) 1782.38 Current children cumulated vsize (KiB) 753640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 2/516 4606 /proc/meminfo: memFree=20614936/32950928 swapFree=34259960/67111528 [pid=4556] ppid=4554 vsize=761380 CPUtime=1800.09 cores=1,3,5,7 /proc/4556/stat : 4556 (wbo1.6) R 4554 4556 1159 0 -1 4202496 189630 0 0 0 178167 1842 0 0 25 0 1 0 820526265 779653120 189380 33554432000 4194304 5714214 140737312835824 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/4556/statm: 190345 189380 180 372 0 189970 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 761380 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.14 CPU user time (s): 1781.68 CPU system time (s): 18.4552 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 761380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1781.68 system time used= 18.4552 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 189632 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= 1994 runsolver used 8.74267 second user time and 22.3886 second system time The end
Begin job on node149 at 2011-06-03 10:21:36 IDJOB=3461440 IDBENCH=2171 IDSOLVER=1953 FILE ID=node149/3461440-1307089296 RUNJOBID= node149-1307085689-4281 PBS_JOBID= 13497837 Free space on /tmp= 73524 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3461440-1307089296/watcher-3461440-1307089296 -o /tmp/evaluation-result-3461440-1307089296/solver-3461440-1307089296 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461440-1307089296.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= eb2e849a72ed563d78cdb83a394edb27 RANDOM SEED=1275964916 node149.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 : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.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.83 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.73 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.82 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.82 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: 32950928 kB MemFree: 21369264 kB Buffers: 319916 kB Cached: 3438472 kB SwapCached: 123196 kB Active: 265616 kB Inactive: 10979196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 21369264 kB SwapTotal: 67111528 kB SwapFree: 34259960 kB Dirty: 9276 kB Writeback: 0 kB AnonPages: 7387392 kB Mapped: 18692 kB Slab: 149592 kB PageTables: 117576 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 173110484 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= 73520 MiB End job on node149 at 2011-06-03 10:51:38