Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 24372 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24674 |
Optimality of the best value was proved | NO |
Number of variables | 540 |
Total number of constraints | 4476 |
Number of constraints which are clauses | 2532 |
Number of constraints which are cardinality constraints (but not clauses) | 264 |
Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 116904 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 116904 |
Number of bits of the biggest sum of numbers | 17 |
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-3460893-1307079882.opb. 0.00/0.00 c Instance file HOME/instance-3460893-1307079882.opb 0.00/0.00 c File size is 202954 bytes. 0.00/0.01 c Highest Coefficient sum: 40 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 540 | 0.00/0.01 c | Number Clauses: 2682 | 0.00/0.01 c | Number Cardinality: 264 | 0.00/0.01 c | Number PB Constraints: 1680 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 540 4626 21888 | 5000 0 -nan | 0.000 % | 0.09/0.10 c core #1 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 521 Total Weight: 521 0.09/0.10 c Current CPU time: 0.015997 s 0.09/0.10 c 0.09/0.10 c core #2 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 80 Total Weight: 601 0.09/0.10 c Current CPU time: 0.017997 s 0.09/0.10 c 0.09/0.10 c core #3 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 80 Total Weight: 681 0.09/0.10 c Current CPU time: 0.019996 s 0.09/0.10 c 0.09/0.10 c core #4 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 337 Total Weight: 1018 0.09/0.10 c Current CPU time: 0.021996 s 0.09/0.10 c 0.09/0.10 c core #5 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 605 Total Weight: 1623 0.09/0.10 c Current CPU time: 0.023996 s 0.09/0.10 c 0.09/0.10 c core #6 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 257 Total Weight: 1880 0.09/0.10 c Current CPU time: 0.025996 s 0.09/0.10 c 0.09/0.10 c core #7 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 521 Total Weight: 2401 0.09/0.10 c Current CPU time: 0.026995 s 0.09/0.10 c 0.09/0.10 c core #8 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 80 Total Weight: 2481 0.09/0.10 c Current CPU time: 0.028995 s 0.09/0.10 c 0.09/0.10 c core #9 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 80 Total Weight: 2561 0.09/0.10 c Current CPU time: 0.030995 s 0.09/0.10 c 0.09/0.10 c core #10 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 337 Total Weight: 2898 0.09/0.10 c Current CPU time: 0.032994 s 0.09/0.10 c 0.09/0.10 c core #11 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 605 Total Weight: 3503 0.09/0.10 c Current CPU time: 0.034994 s 0.09/0.10 c 0.09/0.10 c core #12 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 30 Core Weight: 257 Total Weight: 3760 0.09/0.10 c Current CPU time: 0.036994 s 0.09/0.10 c 0.09/0.10 c core #13 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 80 Total Weight: 3840 0.09/0.10 c Current CPU time: 0.038994 s 0.09/0.10 c 0.09/0.10 c core #14 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 80 Total Weight: 3920 0.09/0.10 c Current CPU time: 0.041993 s 0.09/0.10 c 0.09/0.10 c core #15 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 337 Total Weight: 4257 0.09/0.10 c Current CPU time: 0.043993 s 0.09/0.10 c 0.09/0.10 c core #16 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 84 Total Weight: 4341 0.09/0.10 c Current CPU time: 0.045993 s 0.09/0.10 c 0.09/0.10 c core #17 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 521 Total Weight: 4862 0.09/0.10 c Current CPU time: 0.047992 s 0.09/0.10 c 0.09/0.10 c core #18 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 257 Total Weight: 5119 0.09/0.10 c Current CPU time: 0.049992 s 0.09/0.10 c 0.09/0.10 c core #19 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 605 Total Weight: 5724 0.09/0.10 c Current CPU time: 0.051992 s 0.09/0.10 c 0.09/0.10 c core #20 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 235 Total Weight: 5959 0.09/0.10 c Current CPU time: 0.053991 s 0.09/0.10 c 0.09/0.10 c core #21 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 521 Total Weight: 6480 0.09/0.10 c Current CPU time: 0.056991 s 0.09/0.10 c 0.09/0.10 c core #22 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 300 Total Weight: 6780 0.09/0.10 c Current CPU time: 0.058991 s 0.09/0.10 c 0.09/0.10 c core #23 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 605 Total Weight: 7385 0.09/0.10 c Current CPU time: 0.05999 s 0.09/0.10 c 0.09/0.10 c core #24 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 177 Total Weight: 7562 0.09/0.10 c Current CPU time: 0.06199 s 0.09/0.10 c 0.09/0.10 c core #25 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 521 Total Weight: 8083 0.09/0.10 c Current CPU time: 0.06399 s 0.09/0.10 c 0.09/0.10 c core #26 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 43 Total Weight: 8126 0.09/0.10 c Current CPU time: 0.065989 s 0.09/0.10 c 0.09/0.10 c core #27 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 605 Total Weight: 8731 0.09/0.10 c Current CPU time: 0.068989 s 0.09/0.10 c 0.09/0.10 c core #28 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 71 Total Weight: 8802 0.09/0.10 c Current CPU time: 0.070989 s 0.09/0.10 c 0.09/0.10 c core #29 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 80 Total Weight: 8882 0.09/0.10 c Current CPU time: 0.072988 s 0.09/0.10 c 0.09/0.10 c core #30 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 80 Total Weight: 8962 0.09/0.10 c Current CPU time: 0.074988 s 0.09/0.10 c 0.09/0.10 c core #31 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 337 Total Weight: 9299 0.09/0.10 c Current CPU time: 0.076988 s 0.09/0.10 c 0.09/0.10 c core #32 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 257 Total Weight: 9556 0.09/0.10 c Current CPU time: 0.079987 s 0.09/0.10 c 0.09/0.10 c core #33 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 264 Total Weight: 9820 0.09/0.10 c Current CPU time: 0.081987 s 0.09/0.10 c 0.09/0.10 c core #34 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 58 Total Weight: 9878 0.09/0.10 c Current CPU time: 0.083987 s 0.09/0.10 c 0.09/0.10 c core #35 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 151 Total Weight: 10029 0.09/0.10 c Current CPU time: 0.085986 s 0.09/0.10 c 0.09/0.10 c core #36 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 605 Total Weight: 10634 0.09/0.10 c Current CPU time: 0.087986 s 0.09/0.10 c 0.09/0.10 c core #37 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 11 Core Weight: 43 Total Weight: 10677 0.09/0.10 c Current CPU time: 0.090986 s 0.09/0.10 c 0.09/0.10 c core #38 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 16 Core Weight: 21 Total Weight: 10698 0.09/0.10 c Current CPU time: 0.092985 s 0.09/0.10 c 0.09/0.10 c core #39 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 236 Total Weight: 10934 0.09/0.10 c Current CPU time: 0.094985 s 0.09/0.10 c 0.09/0.10 c core #40 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 84 Total Weight: 11018 0.09/0.10 c Current CPU time: 0.096985 s 0.09/0.10 c 0.09/0.10 c core #41 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 6 Core Weight: 173 Total Weight: 11191 0.19/0.20 c Current CPU time: 0.099984 s 0.19/0.20 c 0.19/0.20 c core #42 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 84 Total Weight: 11275 0.19/0.20 c Current CPU time: 0.101984 s 0.19/0.20 c 0.19/0.20 c core #43 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 11 Core Weight: 151 Total Weight: 11426 0.19/0.20 c Current CPU time: 0.103984 s 0.19/0.20 c 0.19/0.20 c core #44 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 231 Total Weight: 11657 0.19/0.20 c Current CPU time: 0.106983 s 0.19/0.20 c 0.19/0.20 c core #45 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 84 Total Weight: 11741 0.19/0.20 c Current CPU time: 0.108983 s 0.19/0.20 c 0.19/0.20 c core #46 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 11 Core Weight: 108 Total Weight: 11849 0.19/0.20 c Current CPU time: 0.110983 s 0.19/0.20 c 0.19/0.20 c core #47 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 43 Total Weight: 11892 0.19/0.20 c Current CPU time: 0.113982 s 0.19/0.20 c 0.19/0.20 c core #48 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 84 Total Weight: 11976 0.19/0.20 c Current CPU time: 0.115982 s 0.19/0.20 c 0.19/0.20 c core #49 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 11 Core Weight: 71 Total Weight: 12047 0.19/0.20 c Current CPU time: 0.117982 s 0.19/0.20 c 0.19/0.20 c core #50 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 11 Core Weight: 43 Total Weight: 12090 0.19/0.20 c Current CPU time: 0.120981 s 0.19/0.20 c 0.19/0.20 c core #51 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 21 Core Weight: 28 Total Weight: 12118 0.19/0.20 c Current CPU time: 0.122981 s 0.19/0.20 c 0.19/0.20 c core #52 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 11 Core Weight: 30 Total Weight: 12148 0.19/0.20 c Current CPU time: 0.124981 s 0.19/0.20 c 0.19/0.20 c core #53 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 16 Core Weight: 90 Total Weight: 12238 0.19/0.20 c Current CPU time: 0.12798 s 0.19/0.20 c 0.19/0.20 c core #54 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 3 Total Weight: 12241 0.19/0.20 c Current CPU time: 0.12998 s 0.19/0.20 c 0.19/0.20 c core #55 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 58 Total Weight: 12299 0.19/0.20 c Current CPU time: 0.132979 s 0.19/0.20 c 0.19/0.20 c core #56 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 151 Total Weight: 12450 0.19/0.20 c Current CPU time: 0.134979 s 0.19/0.20 c 0.19/0.20 c core #57 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 6 Core Weight: 341 Total Weight: 12791 0.19/0.20 c Current CPU time: 0.137979 s 0.19/0.20 c 0.19/0.20 c core #58 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 5 Core Weight: 84 Total Weight: 12875 0.19/0.20 c Current CPU time: 0.139978 s 0.19/0.20 c 0.19/0.20 c core #59 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 5 Core Weight: 69 Total Weight: 12944 0.19/0.20 c Current CPU time: 0.141978 s 0.19/0.20 c 0.19/0.20 c core #60 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 5 Core Weight: 405 Total Weight: 13349 0.19/0.20 c Current CPU time: 0.144977 s 0.19/0.20 c 0.19/0.20 c core #61 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 20 Core Weight: 10 Total Weight: 13359 0.19/0.20 c Current CPU time: 0.146977 s 0.19/0.20 c 0.19/0.20 c core #62 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 19 Core Weight: 6 Total Weight: 13365 0.19/0.20 c Current CPU time: 0.148977 s 0.19/0.20 c 0.19/0.20 c core #63 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 18 Core Weight: 64 Total Weight: 13429 0.19/0.20 c Current CPU time: 0.151976 s 0.19/0.20 c 0.19/0.20 c core #64 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 10 Core Weight: 26 Total Weight: 13455 0.19/0.20 c Current CPU time: 0.153976 s 0.19/0.20 c 0.19/0.20 c core #65 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 13 Core Weight: 172 Total Weight: 13627 0.19/0.20 c Current CPU time: 0.156976 s 0.19/0.20 c 0.19/0.20 c core #66 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 7 Total Weight: 13634 0.19/0.20 c Current CPU time: 0.159975 s 0.19/0.20 c 0.19/0.20 c core #67 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 116 Total Weight: 13750 0.19/0.20 c Current CPU time: 0.161975 s 0.19/0.20 c 0.19/0.20 c core #68 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 226 Total Weight: 13976 0.19/0.20 c Current CPU time: 0.163975 s 0.19/0.20 c 0.19/0.20 c core #69 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 80 Total Weight: 14056 0.19/0.20 c Current CPU time: 0.166974 s 0.19/0.20 c 0.19/0.20 c core #70 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 64 Total Weight: 14120 0.19/0.20 c Current CPU time: 0.169974 s 0.19/0.20 c 0.19/0.20 c core #71 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 16 Core Weight: 16 Total Weight: 14136 0.19/0.20 c Current CPU time: 0.172973 s 0.19/0.20 c 0.19/0.20 c core #72 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 19 Core Weight: 37 Total Weight: 14173 0.19/0.20 c Current CPU time: 0.175973 s 0.19/0.20 c 0.19/0.20 c core #73 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 71 Total Weight: 14244 0.19/0.20 c Current CPU time: 0.177972 s 0.19/0.20 c 0.19/0.20 c core #74 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 16 Core Weight: 35 Total Weight: 14279 0.19/0.20 c Current CPU time: 0.180972 s 0.19/0.20 c 0.19/0.20 c core #75 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 68 Total Weight: 14347 0.19/0.20 c Current CPU time: 0.183972 s 0.19/0.20 c 0.19/0.20 c core #76 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 83 Total Weight: 14430 0.19/0.20 c Current CPU time: 0.186971 s 0.19/0.20 c 0.19/0.20 c core #77 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 110 Total Weight: 14540 0.19/0.20 c Current CPU time: 0.189971 s 0.19/0.20 c 0.19/0.20 c core #78 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 12 Core Weight: 260 Total Weight: 14800 0.19/0.20 c Current CPU time: 0.19297 s 0.19/0.20 c 0.19/0.20 c core #79 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 19 Core Weight: 22 Total Weight: 14822 0.19/0.20 c Current CPU time: 0.19597 s 0.19/0.20 c 0.19/0.20 c core #80 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 16 Core Weight: 106 Total Weight: 14928 0.19/0.20 c Current CPU time: 0.198969 s 0.19/0.20 c 0.19/0.20 c core #81 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 13 Core Weight: 7 Total Weight: 14935 0.19/0.20 c Current CPU time: 0.201969 s 0.19/0.23 c 0.19/0.23 c core #82 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 144 Total Weight: 15079 0.19/0.23 c Current CPU time: 0.204968 s 0.19/0.23 c 0.19/0.23 c core #83 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 28 Total Weight: 15107 0.19/0.23 c Current CPU time: 0.208968 s 0.19/0.23 c 0.19/0.23 c core #84 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 52 Total Weight: 15159 0.19/0.23 c Current CPU time: 0.211967 s 0.19/0.23 c 0.19/0.23 c core #85 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 290 Total Weight: 15449 0.19/0.23 c Current CPU time: 0.214967 s 0.19/0.23 c 0.19/0.23 c core #86 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 22 Total Weight: 15471 0.19/0.23 c Current CPU time: 0.217966 s 0.19/0.23 c 0.19/0.23 c core #87 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 37 Total Weight: 15508 0.19/0.23 c Current CPU time: 0.220966 s 0.19/0.23 c 0.19/0.23 c core #88 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 16 Core Weight: 106 Total Weight: 15614 0.19/0.23 c Current CPU time: 0.223965 s 0.19/0.23 c 0.19/0.23 c core #89 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 116 Total Weight: 15730 0.19/0.23 c Current CPU time: 0.226965 s 0.19/0.23 c 0.19/0.23 c core #90 0.19/0.23 c 0.19/0.23 c 0.19/0.23 c Core size: 12 Core Weight: 106 Total Weight: 15836 0.19/0.23 c Current CPU time: 0.230964 s 0.19/0.23 c 0.19/0.23 c ============================[ Search Statistics ]============================== 0.19/0.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.23 c =============================================================================== 0.19/0.23 c | 0 | 982 5431 14671 | 5000 0 -nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.24 c core #91 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 7 Core Weight: 151 Total Weight: 15987 0.19/0.24 c Current CPU time: 0.233964 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 987 5434 14679 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #92 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 12 Core Weight: 42 Total Weight: 16029 0.19/0.24 c Current CPU time: 0.237963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 995 5442 14712 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #93 0.19/0.24 c 0.19/0.24 c 0.19/0.24 c Core size: 17 Core Weight: 7 Total Weight: 16036 0.19/0.24 c Current CPU time: 0.240963 s 0.19/0.24 c 0.19/0.24 c ============================[ Search Statistics ]============================== 0.19/0.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.24 c =============================================================================== 0.19/0.24 c | 0 | 1031 5452 14844 | 5000 0 -nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.25 c core #94 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 12 Core Weight: 80 Total Weight: 16116 0.19/0.25 c Current CPU time: 0.244962 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 | 1041 5460 14869 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #95 0.19/0.25 c 0.19/0.25 c 0.19/0.25 c Core size: 22 Core Weight: 21 Total Weight: 16137 0.19/0.25 c Current CPU time: 0.247962 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 | 1059 5477 15032 | 5000 0 -nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.26 c core #96 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 22 Core Weight: 1 Total Weight: 16138 0.19/0.26 c Current CPU time: 0.251961 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 | 1078 5490 15075 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #97 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 10 Core Weight: 58 Total Weight: 16196 0.19/0.26 c Current CPU time: 0.255961 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 | 1085 5495 15091 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #98 0.19/0.26 c 0.19/0.26 c 0.19/0.26 c Core size: 16 Core Weight: 28 Total Weight: 16224 0.19/0.26 c Current CPU time: 0.25896 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 | 1097 5506 15117 | 5000 0 -nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.27 c core #99 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 10 Core Weight: 43 Total Weight: 16267 0.19/0.27 c Current CPU time: 0.26296 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 | 1104 5511 15133 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #100 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 16 Core Weight: 2 Total Weight: 16269 0.19/0.27 c Current CPU time: 0.266959 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 | 1117 5523 15286 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #101 0.19/0.27 c 0.19/0.27 c 0.19/0.27 c Core size: 7 Core Weight: 231 Total Weight: 16500 0.19/0.27 c Current CPU time: 0.270958 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 | 1122 5526 15294 | 5000 0 -nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.28 c core #102 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 12 Core Weight: 194 Total Weight: 16694 0.19/0.28 c Current CPU time: 0.273958 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1130 5532 15305 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #103 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 18 Core Weight: 28 Total Weight: 16722 0.19/0.28 c Current CPU time: 0.277957 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.28 c | 0 | 1147 5545 15351 | 5000 0 -nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.29 c core #104 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 27 Core Weight: 35 Total Weight: 16757 0.19/0.29 c Current CPU time: 0.281957 s 0.19/0.29 c 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1169 5565 15409 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #105 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 18 Core Weight: 28 Total Weight: 16785 0.19/0.29 c Current CPU time: 0.285956 s 0.19/0.29 c 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1182 5577 15442 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c core #106 0.19/0.29 c 0.19/0.29 c 0.19/0.29 c Core size: 27 Core Weight: 2 Total Weight: 16787 0.19/0.29 c Current CPU time: 0.289955 s 0.19/0.29 c 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 1202 5592 15483 | 5000 0 -nan | 0.000 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #107 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 16 Core Weight: 56 Total Weight: 16843 0.29/0.30 c Current CPU time: 0.293955 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1215 5604 15522 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #108 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 16 Core Weight: 59 Total Weight: 16902 0.29/0.30 c Current CPU time: 0.297954 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1229 5616 15603 | 5000 0 -nan | 0.000 % | 0.29/0.30 c =============================================================================== 0.29/0.30 c core #109 0.29/0.30 c 0.29/0.30 c 0.29/0.30 c Core size: 17 Core Weight: 3 Total Weight: 16905 0.29/0.30 c Current CPU time: 0.301954 s 0.29/0.30 c 0.29/0.30 c ============================[ Search Statistics ]============================== 0.29/0.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.30 c =============================================================================== 0.29/0.30 c | 0 | 1243 5629 15643 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #110 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 16 Core Weight: 108 Total Weight: 17013 0.29/0.31 c Current CPU time: 0.305953 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1257 5642 15818 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #111 0.29/0.31 c 0.29/0.31 c 0.29/0.31 c Core size: 18 Core Weight: 5 Total Weight: 17018 0.29/0.31 c Current CPU time: 0.309952 s 0.29/0.31 c 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 1271 5655 15864 | 5000 0 -nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.32 c core #112 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 23 Core Weight: 10 Total Weight: 17028 0.29/0.32 c Current CPU time: 0.313952 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1292 5672 15930 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #113 0.29/0.32 c 0.29/0.32 c 0.29/0.32 c Core size: 28 Core Weight: 7 Total Weight: 17035 0.29/0.32 c Current CPU time: 0.317951 s 0.29/0.32 c 0.29/0.32 c ============================[ Search Statistics ]============================== 0.29/0.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.32 c =============================================================================== 0.29/0.32 c | 0 | 1318 5697 16135 | 5000 0 -nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #114 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 21 Core Weight: 6 Total Weight: 17041 0.29/0.33 c Current CPU time: 0.321951 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1336 5714 16194 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #115 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 27 Core Weight: 18 Total Weight: 17059 0.29/0.33 c Current CPU time: 0.32695 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1358 5734 16270 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c core #116 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 7 Core Weight: 215 Total Weight: 17274 0.29/0.33 c Current CPU time: 0.330949 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1363 5738 16286 | 5000 0 -nan | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.34 c core #117 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 29 Core Weight: 2 Total Weight: 17276 0.29/0.34 c Current CPU time: 0.334949 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1391 5764 16380 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #118 0.29/0.34 c 0.29/0.34 c 0.29/0.34 c Core size: 31 Core Weight: 7 Total Weight: 17283 0.29/0.34 c Current CPU time: 0.337948 s 0.29/0.34 c 0.29/0.34 c ============================[ Search Statistics ]============================== 0.29/0.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.34 c =============================================================================== 0.29/0.34 c | 0 | 1419 5791 16482 | 5000 0 -nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.35 c core #119 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 29 Core Weight: 1 Total Weight: 17284 0.29/0.35 c Current CPU time: 0.341948 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 1447 5819 16583 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #120 0.29/0.35 c 0.29/0.35 c 0.29/0.35 c Core size: 39 Core Weight: 2 Total Weight: 17286 0.29/0.35 c Current CPU time: 0.344947 s 0.29/0.35 c 0.29/0.35 c ============================[ Search Statistics ]============================== 0.29/0.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.35 c =============================================================================== 0.29/0.35 c | 0 | 1483 5854 16717 | 5000 0 -nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.36 c core #121 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 47 Core Weight: 2 Total Weight: 17288 0.29/0.36 c Current CPU time: 0.349946 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 1525 5893 16876 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #122 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 1 Total Weight: 17289 0.29/0.36 c Current CPU time: 0.353946 s 0.29/0.36 c 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 1561 5927 17013 | 5000 0 -nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.37 c core #123 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 41 Core Weight: 3 Total Weight: 17292 0.29/0.37 c Current CPU time: 0.358945 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 1599 5964 17163 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #124 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 48 Core Weight: 2 Total Weight: 17294 0.29/0.37 c Current CPU time: 0.362944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 1643 6008 17337 | 5000 0 -nan | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c core #125 0.29/0.37 c 0.29/0.37 c 0.29/0.37 c Core size: 47 Core Weight: 2 Total Weight: 17296 0.29/0.37 c Current CPU time: 0.367944 s 0.29/0.37 c 0.29/0.37 c ============================[ Search Statistics ]============================== 0.29/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.37 c =============================================================================== 0.29/0.37 c | 0 | 1685 6050 17497 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #126 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 39 Core Weight: 4 Total Weight: 17300 0.29/0.38 c Current CPU time: 0.371943 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 1719 6083 17621 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #127 0.29/0.38 c 0.29/0.38 c 0.29/0.38 c Core size: 40 Core Weight: 2 Total Weight: 17302 0.29/0.38 c Current CPU time: 0.376942 s 0.29/0.38 c 0.29/0.38 c ============================[ Search Statistics ]============================== 0.29/0.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.38 c =============================================================================== 0.29/0.38 c | 0 | 1752 6114 17740 | 5000 0 -nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.39 c core #128 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 42 Core Weight: 1 Total Weight: 17303 0.29/0.39 c Current CPU time: 0.381941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1790 6150 17881 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #129 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 52 Core Weight: 2 Total Weight: 17305 0.29/0.39 c Current CPU time: 0.386941 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 1837 6192 18061 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.39/0.40 c core #130 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 45 Core Weight: 2 Total Weight: 17307 0.39/0.40 c Current CPU time: 0.39094 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 1881 6235 18233 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c core #131 0.39/0.40 c 0.39/0.40 c 0.39/0.40 c Core size: 41 Core Weight: 1 Total Weight: 17308 0.39/0.40 c Current CPU time: 0.395939 s 0.39/0.40 c 0.39/0.40 c ============================[ Search Statistics ]============================== 0.39/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.40 c =============================================================================== 0.39/0.40 c | 0 | 1918 6272 18376 | 5000 0 -nan | 0.000 % | 0.39/0.40 c =============================================================================== 0.39/0.41 c core #132 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 54 Core Weight: 1 Total Weight: 17309 0.39/0.41 c Current CPU time: 0.400939 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 1964 6316 18566 | 5000 0 -nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #133 0.39/0.41 c 0.39/0.41 c 0.39/0.41 c Core size: 44 Core Weight: 4 Total Weight: 17313 0.39/0.41 c Current CPU time: 0.404938 s 0.39/0.41 c 0.39/0.41 c ============================[ Search Statistics ]============================== 0.39/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.41 c =============================================================================== 0.39/0.41 c | 0 | 2003 6354 18715 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.42 c core #134 0.39/0.42 c 0.39/0.42 c 0.39/0.42 c Core size: 40 Core Weight: 9 Total Weight: 17322 0.39/0.42 c Current CPU time: 0.410937 s 0.39/0.42 c 0.39/0.42 c ============================[ Search Statistics ]============================== 0.39/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.42 c =============================================================================== 0.39/0.42 c | 0 | 2040 6389 19030 | 5000 0 -nan | 0.000 % | 0.39/0.42 c =============================================================================== 0.39/0.43 c core #135 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 62 Core Weight: 1 Total Weight: 17323 0.39/0.43 c Current CPU time: 0.415936 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2093 6441 19268 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #136 0.39/0.43 c 0.39/0.43 c 0.39/0.43 c Core size: 45 Core Weight: 1 Total Weight: 17324 0.39/0.43 c Current CPU time: 0.421935 s 0.39/0.43 c 0.39/0.43 c ============================[ Search Statistics ]============================== 0.39/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.43 c =============================================================================== 0.39/0.43 c | 0 | 2134 6478 19429 | 5000 0 -nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #137 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 60 Core Weight: 1 Total Weight: 17325 0.39/0.44 c Current CPU time: 0.425935 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 | 2187 6531 19650 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.44 c core #138 0.39/0.44 c 0.39/0.44 c 0.39/0.44 c Core size: 43 Core Weight: 1 Total Weight: 17326 0.39/0.44 c Current CPU time: 0.431934 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 | 2223 6566 19974 | 5000 0 -nan | 0.000 % | 0.39/0.44 c =============================================================================== 0.39/0.45 c core #139 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 53 Core Weight: 1 Total Weight: 17327 0.39/0.45 c Current CPU time: 0.435933 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2270 6613 20171 | 5000 0 -nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #140 0.39/0.45 c 0.39/0.45 c 0.39/0.45 c Core size: 50 Core Weight: 1 Total Weight: 17328 0.39/0.45 c Current CPU time: 0.441932 s 0.39/0.45 c 0.39/0.45 c ============================[ Search Statistics ]============================== 0.39/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.45 c =============================================================================== 0.39/0.45 c | 0 | 2314 6655 20348 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.46 c core #141 0.39/0.46 c 0.39/0.46 c 0.39/0.46 c Core size: 45 Core Weight: 1 Total Weight: 17329 0.39/0.46 c Current CPU time: 0.445932 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 | 2351 6692 20499 | 5000 0 -nan | 0.000 % | 0.39/0.46 c =============================================================================== 0.39/0.47 c core #142 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 53 Core Weight: 4 Total Weight: 17333 0.39/0.47 c Current CPU time: 0.451931 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2394 6735 20679 | 5000 0 -nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #143 0.39/0.47 c 0.39/0.47 c 0.39/0.47 c Core size: 50 Core Weight: 1 Total Weight: 17334 0.39/0.47 c Current CPU time: 0.45693 s 0.39/0.47 c 0.39/0.47 c ============================[ Search Statistics ]============================== 0.39/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.47 c =============================================================================== 0.39/0.47 c | 0 | 2438 6779 20862 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #144 0.39/0.48 c 0.39/0.48 c 0.39/0.48 c Core size: 39 Core Weight: 4 Total Weight: 17338 0.39/0.48 c Current CPU time: 0.462929 s 0.39/0.48 c 0.39/0.48 c ============================[ Search Statistics ]============================== 0.39/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.48 c =============================================================================== 0.39/0.48 c | 0 | 2474 6814 21007 | 5000 0 -nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.49 c core #145 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 46 Core Weight: 1 Total Weight: 17339 0.39/0.49 c Current CPU time: 0.468928 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2517 6854 21177 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c core #146 0.39/0.49 c 0.39/0.49 c 0.39/0.49 c Core size: 45 Core Weight: 1 Total Weight: 17340 0.39/0.49 c Current CPU time: 0.474927 s 0.39/0.49 c 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 2558 6894 21348 | 5000 0 -nan | 0.000 % | 0.39/0.49 c =============================================================================== 0.49/0.50 c core #147 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 60 Core Weight: 1 Total Weight: 17341 0.49/0.50 c Current CPU time: 0.481926 s 0.49/0.50 c 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 2615 6949 21592 | 5000 0 -nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.51 c core #148 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 57 Core Weight: 1 Total Weight: 17342 0.49/0.51 c Current CPU time: 0.487925 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 | 2670 6999 21814 | 5000 0 -nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.51 c core #149 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 46 Core Weight: 1 Total Weight: 17343 0.49/0.51 c Current CPU time: 0.493924 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 | 2710 7038 21978 | 5000 0 -nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.52 c core #150 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 58 Core Weight: 1 Total Weight: 17344 0.49/0.52 c Current CPU time: 0.499924 s 0.49/0.52 c 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 2762 7086 22195 | 5000 0 -nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #151 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 40 Core Weight: 2 Total Weight: 17346 0.49/0.52 c Current CPU time: 0.504923 s 0.49/0.52 c 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 2799 7122 22343 | 5000 0 -nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #152 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 55 Core Weight: 1 Total Weight: 17347 0.49/0.53 c Current CPU time: 0.510922 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 | 2844 7165 22533 | 5000 0 -nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #153 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 38 Core Weight: 1 Total Weight: 17348 0.49/0.54 c Current CPU time: 0.518921 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 2879 7200 22679 | 5000 0 -nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #154 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 45 Core Weight: 2 Total Weight: 17350 0.49/0.54 c Current CPU time: 0.52392 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 2921 7241 22846 | 5000 0 -nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #155 0.49/0.55 c 0.49/0.55 c 0.49/0.55 c Core size: 80 Core Weight: 1 Total Weight: 17351 0.49/0.55 c Current CPU time: 0.529919 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 | 2995 7298 23307 | 5000 0 -nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.56 c core #156 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 46 Core Weight: 1 Total Weight: 17352 0.49/0.56 c Current CPU time: 0.535918 s 0.49/0.56 c 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 3039 7337 23481 | 5000 0 -nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.57 c core #157 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 49 Core Weight: 1 Total Weight: 17353 0.49/0.57 c Current CPU time: 0.542917 s 0.49/0.57 c 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 3087 7375 23662 | 5000 0 -nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #158 0.49/0.57 c 0.49/0.57 c 0.49/0.57 c Core size: 62 Core Weight: 1 Total Weight: 17354 0.49/0.57 c Current CPU time: 0.549916 s 0.49/0.57 c 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 3140 7418 23866 | 5000 0 -nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #159 0.49/0.58 c 0.49/0.58 c 0.49/0.58 c Core size: 48 Core Weight: 1 Total Weight: 17355 0.49/0.58 c Current CPU time: 0.557915 s 0.49/0.58 c 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 3183 7453 24029 | 5000 0 -nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.59 c core #160 0.49/0.59 c 0.49/0.59 c 0.49/0.59 c Core size: 55 Core Weight: 1 Total Weight: 17356 0.49/0.59 c Current CPU time: 0.565913 s 0.49/0.59 c 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 3236 7506 24275 | 5000 0 -nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.59/0.60 c core #161 0.59/0.60 c 0.59/0.60 c 0.59/0.60 c Core size: 63 Core Weight: 1 Total Weight: 17357 0.59/0.60 c Current CPU time: 0.571913 s 0.59/0.60 c 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 3296 7552 24510 | 5000 0 -nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.61 c core #162 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 67 Core Weight: 1 Total Weight: 17358 0.59/0.61 c Current CPU time: 0.579911 s 0.59/0.61 c 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 3356 7607 24778 | 5000 0 -nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #163 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 77 Core Weight: 1 Total Weight: 17359 0.59/0.61 c Current CPU time: 0.58791 s 0.59/0.61 c 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 3421 7662 25035 | 5000 0 -nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #164 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 96 Core Weight: 1 Total Weight: 17360 0.59/0.62 c Current CPU time: 0.594909 s 0.59/0.62 c 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 3508 7717 25356 | 5000 0 -nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #165 0.59/0.63 c 0.59/0.63 c 0.59/0.63 c Core size: 90 Core Weight: 1 Total Weight: 17361 0.59/0.63 c Current CPU time: 0.602908 s 0.59/0.63 c 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 3593 7782 25701 | 5000 0 -nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.64 c core #166 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 103 Core Weight: 1 Total Weight: 17362 0.59/0.64 c Current CPU time: 0.611906 s 0.59/0.64 c 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 3680 7841 26030 | 5000 0 -nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #167 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 93 Core Weight: 1 Total Weight: 17363 0.59/0.65 c Current CPU time: 0.623905 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 3766 7911 26386 | 5000 0 -nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #168 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 78 Core Weight: 1 Total Weight: 17364 0.59/0.66 c Current CPU time: 0.630904 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 3837 7959 26653 | 5000 0 -nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #169 0.59/0.67 c 0.59/0.67 c 0.59/0.67 c Core size: 77 Core Weight: 1 Total Weight: 17365 0.59/0.67 c Current CPU time: 0.639902 s 0.59/0.67 c 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 3909 8018 26972 | 5000 0 -nan | 0.000 % | 0.59/0.68 c | 100 | 3909 8018 26972 | 5500 100 10 | 3.932 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c core #170 0.59/0.68 c 0.59/0.68 c 0.59/0.68 c Core size: 106 Core Weight: 1 Total Weight: 17366 0.59/0.68 c Current CPU time: 0.649901 s 0.59/0.68 c 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 4005 8090 27363 | 5000 0 -nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.59/0.69 c core #171 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 93 Core Weight: 1 Total Weight: 17367 0.59/0.69 c Current CPU time: 0.658899 s 0.59/0.69 c 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 4095 8157 27719 | 5000 0 -nan | 0.000 % | 0.69/0.70 c | 100 | 4085 8157 27719 | 5500 100 12 | 5.405 % | 0.69/0.70 c =============================================================================== 0.69/0.71 c core #172 0.69/0.71 c 0.69/0.71 c 0.69/0.71 c Core size: 134 Core Weight: 1 Total Weight: 17368 0.69/0.71 c Current CPU time: 0.671897 s 0.69/0.71 c 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 4212 8221 28125 | 5000 0 -nan | 0.000 % | 0.69/0.72 c | 102 | 4193 8221 28125 | 5500 102 10 | 4.164 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #173 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 187 Core Weight: 1 Total Weight: 17369 0.69/0.72 c Current CPU time: 0.683896 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 | 4389 8297 28678 | 5000 0 -nan | 0.000 % | 0.69/0.73 c | 100 | 4384 8297 28678 | 5500 100 12 | 3.627 % | 0.69/0.73 c =============================================================================== 0.69/0.74 c core #174 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 193 Core Weight: 1 Total Weight: 17370 0.69/0.74 c Current CPU time: 0.696894 s 0.69/0.74 c 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 4571 8361 29212 | 5000 0 -nan | 0.000 % | 0.69/0.74 c | 103 | 4567 8361 29212 | 5500 103 10 | 3.488 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #175 0.69/0.75 c 0.69/0.75 c 0.69/0.75 c Core size: 267 Core Weight: 1 Total Weight: 17371 0.69/0.75 c Current CPU time: 0.712891 s 0.69/0.75 c 0.69/0.75 c ============================[ Search Statistics ]============================== 0.69/0.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.75 c =============================================================================== 0.69/0.75 c | 0 | 4822 8429 29888 | 5000 0 -nan | 0.000 % | 0.69/0.76 c | 100 | 4816 8429 29888 | 5500 100 18 | 3.573 % | 0.69/0.77 c | 251 | 4804 8429 29888 | 6050 251 14 | 3.573 % | 0.69/0.78 c | 476 | 4804 8429 29888 | 6655 476 13 | 3.573 % | 0.69/0.79 c =============================================================================== 0.79/0.80 c core #176 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 431 Core Weight: 1 Total Weight: 17372 0.79/0.80 c Current CPU time: 0.757884 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 5242 8495 30911 | 5000 0 -nan | 0.000 % | 0.79/0.81 c | 104 | 5242 8495 30911 | 5500 104 33 | 2.962 % | 0.79/0.82 c | 255 | 5237 8495 30911 | 6050 255 26 | 3.240 % | 0.79/0.84 c | 481 | 5227 8495 30911 | 6655 481 23 | 3.240 % | 0.79/0.86 c | 822 | 5227 8495 30911 | 7320 822 23 | 3.240 % | 0.79/0.90 c | 1329 | 5227 8495 30911 | 8052 1329 20 | 3.240 % | 0.89/0.95 c | 2088 | 5222 8495 30911 | 8857 2088 21 | 3.351 % | 1.01/1.03 c | 3228 | 5214 8495 30911 | 9743 3228 21 | 3.480 % | 1.01/1.09 c =============================================================================== 1.01/1.11 c core #177 1.01/1.11 c 1.01/1.11 c 1.01/1.11 c Core size: 659 Core Weight: 1 Total Weight: 17373 1.01/1.11 c Current CPU time: 1.05984 s 1.01/1.11 c 1.01/1.11 c ============================[ Search Statistics ]============================== 1.01/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.01/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.01/1.11 c =============================================================================== 1.01/1.11 c | 0 | 5885 8605 32487 | 5000 0 -nan | 0.000 % | 1.10/1.12 c | 101 | 5885 8605 32487 | 5500 101 36 | 2.647 % | 1.10/1.13 c | 251 | 5877 8605 32487 | 6050 251 21 | 2.912 % | 1.10/1.15 c | 477 | 5868 8605 32487 | 6655 477 22 | 2.961 % | 1.10/1.18 c | 816 | 5866 8605 32487 | 7320 816 23 | 2.961 % | 1.19/1.22 c | 1322 | 5866 8605 32487 | 8052 1322 23 | 2.961 % | 1.19/1.29 c | 2081 | 5866 8605 32487 | 8857 2081 22 | 2.961 % | 1.29/1.39 c | 3222 | 5866 8605 32487 | 9743 3222 27 | 2.961 % | 1.49/1.54 c | 4931 | 5866 8605 32487 | 10717 4931 32 | 2.961 % | 1.69/1.79 c | 7493 | 5864 8605 32487 | 11789 7493 34 | 2.994 % | 2.10/2.18 c | 11342 | 5862 8605 32487 | 12968 11342 34 | 3.143 % | 2.79/2.84 c | 17110 | 5855 8605 32487 | 14265 10261 34 | 3.143 % | 3.89/3.94 c | 25761 | 5845 8605 32487 | 15692 11425 45 | 3.309 % | 5.41/5.45 c =============================================================================== 5.51/5.58 c core #178 5.51/5.58 c 5.51/5.58 c 5.51/5.58 c Core size: 815 Core Weight: 1 Total Weight: 17374 5.51/5.58 c Current CPU time: 5.47117 s 5.51/5.58 c 5.51/5.58 c ============================[ Search Statistics ]============================== 5.51/5.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.51/5.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.51/5.58 c =============================================================================== 5.51/5.58 c | 0 | 6678 8705 34343 | 5000 0 -nan | 0.000 % | 5.51/5.59 c | 100 | 6676 8705 34343 | 5500 100 54 | 2.442 % | 5.59/5.61 c | 250 | 6661 8705 34343 | 6050 250 45 | 2.749 % | 5.59/5.63 c | 476 | 6650 8705 34343 | 6655 476 43 | 2.749 % | 5.59/5.66 c | 813 | 6650 8705 34343 | 7320 813 42 | 2.749 % | 5.69/5.71 c | 1323 | 6650 8705 34343 | 8052 1323 42 | 2.749 % | 5.69/5.78 c | 2082 | 6650 8705 34343 | 8857 2082 43 | 2.749 % | 5.90/5.91 c | 3221 | 6640 8705 34343 | 9743 3221 45 | 2.896 % | 6.10/6.16 c | 4933 | 6640 8705 34343 | 10717 4933 44 | 2.896 % | 6.51/6.53 c | 7499 | 6640 8705 34343 | 11789 7499 45 | 2.896 % | 7.09/7.19 c | 11345 | 6640 8705 34343 | 12968 11345 48 | 2.896 % | 7.89/7.94 c | 17111 | 6640 8705 34343 | 14265 10249 48 | 2.896 % | 9.91/9.96 c | 25762 | 6638 8705 34343 | 15692 11265 67 | 2.925 % | 13.21/13.26 c | 38738 | 6638 8705 34343 | 17261 15966 84 | 2.925 % | 17.99/18.06 c | 58200 | 6638 8705 34343 | 18987 17306 78 | 2.925 % | 26.59/26.66 c | 87399 | 6623 8705 34343 | 20886 17155 111 | 3.144 % | 37.31/37.35 c | 131189 | 6616 8705 34343 | 22974 17211 57 | 3.247 % | 51.90/51.91 c | 196875 | 6614 8705 34343 | 25272 23313 88 | 3.276 % | 81.79/81.81 c | 295401 | 6612 8705 34343 | 27799 15808 125 | 3.305 % | 123.60/123.68 c | 443194 | 6600 8705 34343 | 30579 15740 108 | 3.481 % | 179.21/179.30 c | 664879 | 6600 8705 34343 | 33637 29824 107 | 3.481 % | 267.00/267.00 c | 997404 | 6600 8705 34343 | 37001 21046 78 | 3.481 % | 405.20/405.20 c | 1496195 | 6530 8705 34343 | 40701 31460 95 | 4.504 % | 446.62/446.62 c =============================================================================== 457.52/457.59 c core #179 457.52/457.59 c 457.52/457.59 c 457.52/457.59 c Core size: 950 Core Weight: 1 Total Weight: 17375 457.52/457.59 c Current CPU time: 454.806 s 457.52/457.59 c 457.52/457.59 c ============================[ Search Statistics ]============================== 457.52/457.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 457.52/457.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 457.52/457.59 c =============================================================================== 457.52/457.59 c | 0 | 7609 8800 36457 | 5000 0 -nan | 0.000 % | 457.52/457.61 c | 102 | 7591 8800 36457 | 5500 102 25 | 2.291 % | 457.62/457.63 c | 252 | 7591 8800 36457 | 6050 252 23 | 2.291 % | 457.62/457.66 c | 477 | 7584 8800 36457 | 6655 477 22 | 2.381 % | 457.62/457.69 c | 816 | 7584 8800 36457 | 7320 816 29 | 2.381 % | 457.70/457.74 c | 1322 | 7584 8800 36457 | 8052 1322 35 | 2.381 % | 457.80/457.82 c | 2081 | 7584 8800 36457 | 8857 2081 40 | 2.381 % | 457.91/457.96 c | 3223 | 7574 8800 36457 | 9743 3223 44 | 2.510 % | 458.21/458.20 c | 4935 | 7574 8800 36457 | 10717 4935 44 | 2.510 % | 458.51/458.61 c | 7500 | 7574 8800 36457 | 11789 7500 47 | 2.510 % | 459.30/459.34 c | 11344 | 7564 8800 36457 | 12968 11344 58 | 2.639 % | 460.51/460.53 c | 17110 | 7564 8800 36457 | 14265 10204 68 | 2.639 % | 462.61/462.61 c | 25759 | 7564 8800 36457 | 15692 11350 80 | 2.639 % | 465.90/465.94 c | 38733 | 7564 8800 36457 | 17261 15861 90 | 2.639 % | 472.10/472.16 c | 58195 | 7564 8800 36457 | 18987 16853 111 | 2.639 % | 482.40/482.43 c | 87394 | 7549 8800 36457 | 20886 16175 118 | 2.832 % | 499.50/499.54 c | 131188 | 7549 8800 36457 | 22974 15941 109 | 2.832 % | 517.51/517.58 c | 196875 | 7543 8800 36457 | 25272 22105 78 | 2.909 % | 546.61/546.69 c | 295405 | 7531 8800 36457 | 27799 25089 74 | 3.063 % | 604.70/604.71 c | 443194 | 7529 8800 36457 | 30579 17932 108 | 3.089 % | 675.32/675.41 c | 664879 | 7528 8800 36457 | 33637 15369 110 | 3.102 % | 781.03/781.02 c | 997405 | 7527 8800 36457 | 37001 25643 106 | 3.115 % | 945.31/945.34 c | 1496195 | 7527 8800 36457 | 40701 37346 101 | 3.115 % | 1213.23/1213.22 c | 2244378 | 7527 8800 36457 | 44771 29863 112 | 3.115 % | 1628.13/1628.18 c | 3366652 | 7527 8800 36457 | 49248 26157 118 | 3.115 % |
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-3460893-1307079882/watcher-3460893-1307079882 -o /tmp/evaluation-result-3460893-1307079882/solver-3460893-1307079882 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460893-1307079882.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 1.99 1.99 2/473 23739 /proc/meminfo: memFree=19563748/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=3128 CPUtime=0.01 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 562 0 0 0 1 0 0 0 25 0 1 0 819587857 3203072 516 33554432000 4194304 5714214 140734220639408 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 782 518 209 372 0 357 0 [startup+0.0987311 s] /proc/loadavg: 1.92 1.99 1.99 2/473 23739 /proc/meminfo: memFree=19563748/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=6620 CPUtime=0.09 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 1490 0 0 0 9 0 0 0 25 0 1 0 819587857 6778880 1394 33554432000 4194304 5714214 140734220639408 18446744073709551615 4977340 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 1655 1394 176 372 0 1280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6620 [startup+0.100734 s] /proc/loadavg: 1.92 1.99 1.99 2/473 23739 /proc/meminfo: memFree=19563748/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=6620 CPUtime=0.09 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 1510 0 0 0 9 0 0 0 25 0 1 0 819587857 6778880 1414 33554432000 4194304 5714214 140734220639408 18446744073709551615 4977598 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 1655 1414 176 372 0 1280 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6620 [startup+0.300688 s] /proc/loadavg: 1.92 1.99 1.99 2/473 23739 /proc/meminfo: memFree=19563748/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=13236 CPUtime=0.29 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 3136 0 0 0 29 0 0 0 18 0 1 0 819587857 13553664 3040 33554432000 4194304 5714214 140734220639408 18446744073709551615 4973077 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 3309 3041 179 372 0 2934 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13236 [startup+0.700648 s] /proc/loadavg: 1.92 1.99 1.99 2/473 23739 /proc/meminfo: memFree=19563748/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=20576 CPUtime=0.69 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 5181 0 0 0 66 3 0 0 18 0 1 0 819587857 21069824 4848 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 5144 4848 180 372 0 4769 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20576 [startup+1.50036 s] /proc/loadavg: 1.92 1.99 1.99 3/474 23740 /proc/meminfo: memFree=19543032/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=23356 CPUtime=1.49 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 5906 0 0 0 144 5 0 0 18 0 1 0 819587857 23916544 5573 33554432000 4194304 5714214 140734220639408 18446744073709551615 4322915 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 5839 5573 180 372 0 5464 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23356 [startup+3.10019 s] /proc/loadavg: 1.92 1.99 1.99 3/474 23740 /proc/meminfo: memFree=19539560/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=25772 CPUtime=3.09 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 6523 0 0 0 302 7 0 0 21 0 1 0 819587857 26390528 6190 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 6443 6190 180 372 0 6068 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25772 [startup+6.30063 s] /proc/loadavg: 1.93 1.99 1.99 3/474 23740 /proc/meminfo: memFree=19534776/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=33164 CPUtime=6.3 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 8301 0 0 0 620 10 0 0 25 0 1 0 819587857 33959936 7968 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 8291 7968 180 372 0 7916 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 33164 [startup+12.7005 s] /proc/loadavg: 1.93 1.99 1.99 3/474 23740 /proc/meminfo: memFree=19519524/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=34224 CPUtime=12.69 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 8596 0 0 0 1257 12 0 0 25 0 1 0 819587857 35045376 8263 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 8556 8263 180 372 0 8181 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34224 [startup+25.5002 s] /proc/loadavg: 2.08 2.02 2.00 3/474 23741 /proc/meminfo: memFree=19508116/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=45328 CPUtime=25.49 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 11279 0 0 0 2532 17 0 0 25 0 1 0 819587857 46415872 10946 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 11332 10946 180 372 0 10957 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 45328 [startup+51.1007 s] /proc/loadavg: 2.05 2.02 2.00 3/474 23741 /proc/meminfo: memFree=19475352/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=66556 CPUtime=51.09 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 16472 0 0 0 5082 27 0 0 25 0 1 0 819587857 68153344 16139 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319337 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 16639 16139 180 372 0 16264 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 66556 [startup+102.318 s] /proc/loadavg: 2.07 2.03 2.00 3/474 23771 /proc/meminfo: memFree=20296956/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=100772 CPUtime=102.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 24742 0 0 0 10187 44 0 0 25 0 1 0 819587857 103190528 24409 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 25193 24409 180 372 0 24818 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 100772 [startup+162.301 s] /proc/loadavg: 2.02 2.02 2.00 3/474 23772 /proc/meminfo: memFree=20232452/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=136444 CPUtime=162.29 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 33512 0 0 0 16159 70 0 0 25 0 1 0 819587857 139718656 33179 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 34111 33179 180 372 0 33736 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 136444 [startup+222.301 s] /proc/loadavg: 2.04 2.03 2.00 3/474 23774 /proc/meminfo: memFree=20178848/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=175996 CPUtime=222.3 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 43158 0 0 0 22132 98 0 0 25 0 1 0 819587857 180219904 42825 33554432000 4194304 5714214 140734220639408 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 43999 42825 180 372 0 43624 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 175996 [startup+282.301 s] /proc/loadavg: 2.01 2.02 2.00 3/474 23776 /proc/meminfo: memFree=20133296/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=211948 CPUtime=282.3 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 52081 0 0 0 28106 124 0 0 25 0 1 0 819587857 217034752 51748 33554432000 4194304 5714214 140734220639408 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 52987 51748 180 372 0 52612 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 211948 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23777 /proc/meminfo: memFree=20057500/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=256060 CPUtime=342.3 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 62948 0 0 0 34075 155 0 0 25 0 1 0 819587857 262205440 62615 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 64015 62615 180 372 0 63640 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 256060 [startup+402.301 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23779 /proc/meminfo: memFree=19997824/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=279756 CPUtime=402.3 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 68729 0 0 0 40055 175 0 0 25 0 1 0 819587857 286470144 68396 33554432000 4194304 5714214 140734220639408 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 69939 68396 180 372 0 69564 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 279756 [startup+462.3 s] /proc/loadavg: 2.10 2.04 2.01 3/474 23780 /proc/meminfo: memFree=19897120/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=462.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 86498 0 0 0 46033 198 0 0 25 0 1 0 819587857 354910208 85252 33554432000 4194304 5714214 140734220639408 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 85252 180 372 0 86273 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 346592 [startup+522.301 s] /proc/loadavg: 2.04 2.03 2.00 3/474 23782 /proc/meminfo: memFree=19856176/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=522.3 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 86515 0 0 0 52008 222 0 0 25 0 1 0 819587857 354910208 85269 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 85269 180 372 0 86273 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 346592 [startup+582.3 s] /proc/loadavg: 2.01 2.02 2.00 3/474 23784 /proc/meminfo: memFree=19826248/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=582.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 86704 0 0 0 57989 242 0 0 25 0 1 0 819587857 354910208 85458 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 85458 180 372 0 86273 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 346592 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.07 2.04 2.01 3/474 23790 /proc/meminfo: memFree=19733968/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=822.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 87218 0 0 0 81905 326 0 0 25 0 1 0 819587857 354910208 85972 33554432000 4194304 5714214 140734220639408 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 85972 180 372 0 86273 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 346592 [startup+882.3 s] /proc/loadavg: 2.02 2.03 2.00 3/474 23792 /proc/meminfo: memFree=19732932/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=882.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 87328 0 0 0 87886 345 0 0 25 0 1 0 819587857 354910208 86082 33554432000 4194304 5714214 140734220639408 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 86082 180 372 0 86273 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 346592 [startup+942.301 s] /proc/loadavg: 2.01 2.02 2.00 3/474 23793 /proc/meminfo: memFree=19732656/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=942.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 87418 0 0 0 93863 368 0 0 25 0 1 0 819587857 354910208 86172 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 86172 180 372 0 86273 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 346592 [startup+1002.3 s] /proc/loadavg: 2.15 2.05 2.01 3/474 23804 /proc/meminfo: memFree=19730556/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=1002.31 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 87578 0 0 0 99841 390 0 0 25 0 1 0 819587857 354910208 86332 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 86332 180 372 0 86273 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 346592 [startup+1062.3 s] /proc/loadavg: 2.12 2.05 2.01 3/474 23805 /proc/meminfo: memFree=19730656/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=346592 CPUtime=1062.32 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 87578 0 0 0 105821 411 0 0 25 0 1 0 819587857 354910208 86332 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 86648 86332 180 372 0 86273 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 346592 [startup+1122.3 s] /proc/loadavg: 2.04 2.04 2.00 3/474 23807 /proc/meminfo: memFree=19716500/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=361160 CPUtime=1122.32 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 91150 0 0 0 111799 433 0 0 25 0 1 0 819587857 369827840 89904 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 90290 89904 180 372 0 89915 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 361160 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 23812 /proc/meminfo: memFree=19694640/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=382804 CPUtime=1182.32 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 96523 0 0 0 117780 452 0 0 25 0 1 0 819587857 391991296 95277 33554432000 4194304 5714214 140734220639408 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 95701 95277 180 372 0 95326 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 382804 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23813 /proc/meminfo: memFree=19668668/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=409744 CPUtime=1242.32 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 103162 0 0 0 123761 471 0 0 25 0 1 0 819587857 419577856 101916 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 102436 101916 180 372 0 102061 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 409744 [startup+1302.3 s] /proc/loadavg: 2.12 2.05 2.01 3/474 23815 /proc/meminfo: memFree=19643464/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=433268 CPUtime=1302.33 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 108934 0 0 0 129742 491 0 0 25 0 1 0 819587857 443666432 107688 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 108317 107688 180 372 0 107942 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 433268 [startup+1362.3 s] /proc/loadavg: 2.10 2.05 2.01 3/474 23816 /proc/meminfo: memFree=19620740/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=456616 CPUtime=1362.33 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 114618 0 0 0 135725 508 0 0 25 0 1 0 819587857 467574784 113372 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 114154 113372 180 372 0 113779 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 456616 [startup+1422.32 s] /proc/loadavg: 2.04 2.04 2.00 3/474 23818 /proc/meminfo: memFree=19603480/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=474472 CPUtime=1422.34 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 118902 0 0 0 141709 525 0 0 25 0 1 0 819587857 485859328 117656 33554432000 4194304 5714214 140734220639408 18446744073709551615 4311706 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 118618 117656 180 372 0 118243 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 474472 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 23820 /proc/meminfo: memFree=19586472/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=492000 CPUtime=1482.32 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 123247 0 0 0 147687 545 0 0 25 0 1 0 819587857 503808000 122001 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 123000 122001 180 372 0 122625 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 492000 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23821 /proc/meminfo: memFree=19559672/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=518420 CPUtime=1542.33 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 129861 0 0 0 153665 568 0 0 25 0 1 0 819587857 530862080 128615 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 129605 128615 180 372 0 129230 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 518420 [startup+1602.3 s] /proc/loadavg: 2.07 2.05 2.01 3/474 23823 /proc/meminfo: memFree=19527764/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=547424 CPUtime=1602.33 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 137049 0 0 0 159641 592 0 0 25 0 1 0 819587857 560562176 135803 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 136856 135803 180 372 0 136481 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 547424 [startup+1662.3 s] /proc/loadavg: 2.06 2.05 2.01 3/474 23824 /proc/meminfo: memFree=19487700/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=572020 CPUtime=1662.33 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 143103 0 0 0 165621 612 0 0 25 0 1 0 819587857 585748480 141857 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319258 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 143005 141857 180 372 0 142630 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 572020 [startup+1722.3 s] /proc/loadavg: 2.02 2.04 2.00 3/474 23826 /proc/meminfo: memFree=19437444/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=600884 CPUtime=1722.34 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 150120 0 0 0 171601 633 0 0 25 0 1 0 819587857 615305216 148874 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 150221 148874 180 372 0 149846 0 Current children cumulated CPU time (s) 1722.34 Current children cumulated vsize (KiB) 600884 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 23828 /proc/meminfo: memFree=19398116/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=625900 CPUtime=1782.34 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 156162 0 0 0 177579 655 0 0 25 0 1 0 819587857 640921600 154916 33554432000 4194304 5714214 140734220639408 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 156475 154916 180 372 0 156100 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 625900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23828 /proc/meminfo: memFree=19390056/32950928 swapFree=61858088/67111528 [pid=23739] ppid=23737 vsize=633628 CPUtime=1800.05 cores=0,2,4,6 /proc/23739/stat : 23739 (wbo1.6) R 23737 23739 21173 0 -1 4202496 158057 0 0 0 179345 660 0 0 25 0 1 0 819587857 648835072 156811 33554432000 4194304 5714214 140734220639408 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23739/statm: 158407 156811 180 372 0 158032 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 633628 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.46 CPU system time (s): 6.63499 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 633628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.46 system time used= 6.63499 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 158057 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= 27 involuntary context switches= 1921 runsolver used 8.74167 second user time and 19.0861 second system time The end
Begin job on node125 at 2011-06-03 07:44:42 IDJOB=3460893 IDBENCH=2010 IDSOLVER=1953 FILE ID=node125/3460893-1307079882 RUNJOBID= node125-1307068628-22229 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460893-1307079882/watcher-3460893-1307079882 -o /tmp/evaluation-result-3460893-1307079882/solver-3460893-1307079882 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460893-1307079882.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED=1378319489 node125.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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 : 5266.55 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.828 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.84 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.828 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.74 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.828 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.828 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.74 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.828 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.828 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: 19563912 kB Buffers: 338852 kB Cached: 3467064 kB SwapCached: 3616 kB Active: 9667992 kB Inactive: 3373704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 19563912 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 4284 kB Writeback: 0 kB AnonPages: 9233520 kB Mapped: 34832 kB Slab: 214216 kB PageTables: 63416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130900208 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= 73752 MiB End job on node125 at 2011-06-03 08:14:44