Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | OPT | 24890 | 1.01084 | 1.01145 |
Name | normalized-PB07/OPT-SMALLINT-LIN/ submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb |
MD5SUM | aa73e48897f9c10e5003e2188d9e7ab9 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 24890 |
Best CPU time to get the best result obtained on this benchmark | 0.111982 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24890 |
Optimality of the best value was proved | YES |
Number of variables | 644 |
Total number of constraints | 1034 |
Number of constraints which are clauses | 1034 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 31 |
Number of terms in the objective function | 353 |
Biggest coefficient in the objective function | 2034 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 561307 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 2034 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 561307 |
Number of bits of the biggest sum of numbers | 20 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875500-1245185291.opb. 0.00/0.00 c Instance file HOME/instance-1875500-1245185291.opb 0.00/0.00 c File size is 31269 bytes. 0.00/0.00 c Highest Coefficient sum: 32 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 644 | 0.00/0.00 c | Number Clauses: 1387 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 2 Core Weight: 1540 Total Weight: 1540 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 2 Core Weight: 1288 Total Weight: 2828 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 2 Core Weight: 1531 Total Weight: 4359 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 2 Core Weight: 1314 Total Weight: 5673 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 3 Core Weight: 1340 Total Weight: 7013 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 19 Core Weight: 1132 Total Weight: 8145 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 19 Core Weight: 52 Total Weight: 8197 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 20 Core Weight: 26 Total Weight: 8223 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 15 Core Weight: 232 Total Weight: 8455 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 129 Core Weight: 1210 Total Weight: 9665 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #11 0.00/0.01 c Core size: 130 Core Weight: 26 Total Weight: 9691 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #12 0.00/0.01 c Core size: 131 Core Weight: 26 Total Weight: 9717 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 122 Core Weight: 29 Total Weight: 9746 0.00/0.02 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 124 Core Weight: 75 Total Weight: 9821 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 26 Core Weight: 192 Total Weight: 10013 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 26 Core Weight: 18 Total Weight: 10031 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 26 Core Weight: 1104 Total Weight: 11135 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #18 0.00/0.02 c Core size: 113 Core Weight: 12 Total Weight: 11147 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 34 Core Weight: 189 Total Weight: 11336 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 35 Core Weight: 1151 Total Weight: 12487 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #21 0.00/0.03 c Core size: 10 Core Weight: 1262 Total Weight: 13749 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 63 Core Weight: 1288 Total Weight: 15037 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 58 Core Weight: 52 Total Weight: 15089 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #24 0.00/0.03 c Core size: 51 Core Weight: 26 Total Weight: 15115 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 34 Core Weight: 116 Total Weight: 15231 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #26 0.00/0.04 c Core size: 39 Core Weight: 38 Total Weight: 15269 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #27 0.00/0.04 c Core size: 43 Core Weight: 1186 Total Weight: 16455 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #28 0.00/0.04 c Core size: 35 Core Weight: 154 Total Weight: 16609 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #29 0.00/0.04 c Core size: 5 Core Weight: 1314 Total Weight: 17923 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #30 0.00/0.04 c Core size: 9 Core Weight: 1288 Total Weight: 19211 0.00/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #31 0.00/0.05 c Core size: 122 Core Weight: 52 Total Weight: 19263 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #32 0.00/0.05 c Core size: 140 Core Weight: 64 Total Weight: 19327 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #33 0.00/0.05 c Core size: 167 Core Weight: 46 Total Weight: 19373 0.00/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #34 0.00/0.05 c Core size: 172 Core Weight: 6 Total Weight: 19379 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #35 0.00/0.06 c Core size: 177 Core Weight: 39 Total Weight: 19418 0.00/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #36 0.00/0.06 c Core size: 184 Core Weight: 78 Total Weight: 19496 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #37 0.00/0.06 c Core size: 180 Core Weight: 5 Total Weight: 19501 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #38 0.00/0.06 c Core size: 179 Core Weight: 4 Total Weight: 19505 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #39 0.00/0.06 c Core size: 177 Core Weight: 17 Total Weight: 19522 0.00/0.06 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #40 0.00/0.07 c Core size: 173 Core Weight: 61 Total Weight: 19583 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #41 0.00/0.07 c Core size: 160 Core Weight: 9 Total Weight: 19592 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #42 0.00/0.07 c Core size: 147 Core Weight: 8 Total Weight: 19600 0.00/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.00/0.08 c core #43 0.00/0.08 c Core size: 188 Core Weight: 9 Total Weight: 19609 0.00/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #44 0.07/0.08 c Core size: 30 Core Weight: 58 Total Weight: 19667 0.07/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.08 c core #45 0.07/0.08 c Core size: 34 Core Weight: 26 Total Weight: 19693 0.07/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #46 0.07/0.09 c Core size: 29 Core Weight: 148 Total Weight: 19841 0.07/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #47 0.07/0.09 c Core size: 7 Core Weight: 1340 Total Weight: 21181 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #48 0.07/0.09 c Core size: 4 Core Weight: 1340 Total Weight: 22521 0.07/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.07/0.09 c core #49 0.07/0.09 c Core size: 7 Core Weight: 1314 Total Weight: 23835 0.07/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.07/0.10 c core #50 0.07/0.10 c Core size: 233 Core Weight: 12 Total Weight: 23847 0.07/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #51 0.09/0.10 c Core size: 259 Core Weight: 14 Total Weight: 23861 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #52 0.09/0.10 c Core size: 259 Core Weight: 35 Total Weight: 23896 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #53 0.09/0.11 c Core size: 263 Core Weight: 35 Total Weight: 23931 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #54 0.09/0.11 c Core size: 267 Core Weight: 20 Total Weight: 23951 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #55 0.09/0.11 c Core size: 267 Core Weight: 9 Total Weight: 23960 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #56 0.09/0.12 c Core size: 94 Core Weight: 6 Total Weight: 23966 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #57 0.09/0.12 c Core size: 90 Core Weight: 12 Total Weight: 23978 0.09/0.12 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #58 0.09/0.13 c Core size: 86 Core Weight: 20 Total Weight: 23998 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #59 0.09/0.13 c Core size: 86 Core Weight: 20 Total Weight: 24018 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #60 0.09/0.13 c Core size: 358 Core Weight: 8 Total Weight: 24026 0.09/0.13 c Elapsed CPU time: 0.135979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #61 0.09/0.14 c Core size: 358 Core Weight: 1 Total Weight: 24027 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 2737 4237 5106 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #62 0.09/0.14 c Core size: 346 Core Weight: 8 Total Weight: 24035 0.09/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 2905 4405 5298 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #63 0.09/0.15 c Core size: 346 Core Weight: 4 Total Weight: 24039 0.09/0.15 c Elapsed CPU time: 0.152976 s Remaining CPU time: 1799.85 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 3073 4571 5478 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #64 0.09/0.16 c Core size: 346 Core Weight: 2 Total Weight: 24041 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 3241 4739 5673 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #65 0.09/0.17 c Core size: 351 Core Weight: 3 Total Weight: 24044 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c ============================[ Search Statistics ]============================== 0.09/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 3411 4909 5878 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #66 0.09/0.18 c Core size: 356 Core Weight: 12 Total Weight: 24056 0.09/0.18 c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 3727 5080 6358 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #67 0.09/0.18 c Core size: 331 Core Weight: 5 Total Weight: 24061 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.19 c ============================[ Search Statistics ]============================== 0.09/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 3887 5239 6597 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #68 0.09/0.19 c Core size: 371 Core Weight: 1 Total Weight: 24062 0.09/0.19 c Elapsed CPU time: 0.19197 s Remaining CPU time: 1799.81 s 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 4073 5422 6897 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c core #69 0.19/0.20 c Core size: 372 Core Weight: 6 Total Weight: 24068 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 4257 5605 7131 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #70 0.19/0.21 c Core size: 326 Core Weight: 6 Total Weight: 24074 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 4415 5757 7365 | 5000 0 nan | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c core #71 0.19/0.23 c Core size: 313 Core Weight: 52 Total Weight: 24126 0.19/0.23 c Elapsed CPU time: 0.222966 s Remaining CPU time: 1799.78 s 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 | 4564 5905 7566 | 5000 0 nan | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c core #72 0.19/0.24 c Core size: 321 Core Weight: 25 Total Weight: 24151 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 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 | 4730 6055 7931 | 5000 0 nan | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c core #73 0.19/0.25 c Core size: 300 Core Weight: 41 Total Weight: 24192 0.19/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 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 | 4873 6196 8158 | 5000 0 nan | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c core #74 0.19/0.26 c Core size: 299 Core Weight: 12 Total Weight: 24204 0.19/0.26 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 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 | 5017 6335 8398 | 5000 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c core #75 0.19/0.27 c Core size: 299 Core Weight: 24 Total Weight: 24228 0.19/0.27 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 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 | 5157 6475 8572 | 5000 0 nan | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #76 0.19/0.28 c Core size: 299 Core Weight: 5 Total Weight: 24233 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 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 | 5299 6615 8779 | 5000 0 nan | 0.000 % | 0.19/0.30 c =============================================================================== 0.19/0.30 c core #77 0.19/0.30 c Core size: 297 Core Weight: 1 Total Weight: 24234 0.19/0.30 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 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 | 5442 6758 8980 | 5000 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c core #78 0.29/0.31 c Core size: 302 Core Weight: 7 Total Weight: 24241 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 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 | 5585 6899 9230 | 5000 0 nan | 0.000 % | 0.29/0.32 c =============================================================================== 0.29/0.32 c core #79 0.29/0.32 c Core size: 303 Core Weight: 10 Total Weight: 24251 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 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 | 5729 7040 9461 | 5000 0 nan | 0.000 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c core #80 0.29/0.34 c Core size: 299 Core Weight: 35 Total Weight: 24286 0.29/0.34 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 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 | 5870 7179 9682 | 5000 0 nan | 0.000 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #81 0.29/0.35 c Core size: 261 Core Weight: 5 Total Weight: 24291 0.29/0.35 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 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 | 5992 7299 9846 | 5000 0 nan | 0.000 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c core #82 0.29/0.36 c Core size: 261 Core Weight: 23 Total Weight: 24314 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 1799.65 s 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 | 6116 7421 10087 | 5000 0 nan | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c core #83 0.29/0.38 c Core size: 424 Core Weight: 1 Total Weight: 24315 0.29/0.38 c Elapsed CPU time: 0.367944 s Remaining CPU time: 1799.63 s 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 | 6322 7622 10405 | 5000 0 nan | 0.000 % | 0.29/0.40 c =============================================================================== 0.29/0.40 c core #84 0.29/0.40 c Core size: 438 Core Weight: 5 Total Weight: 24320 0.29/0.40 c Elapsed CPU time: 0.384941 s Remaining CPU time: 1799.62 s 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 | 6539 7837 10759 | 5000 0 nan | 0.000 % | 0.39/0.41 c =============================================================================== 0.39/0.41 c core #85 0.39/0.41 c Core size: 413 Core Weight: 3 Total Weight: 24323 0.39/0.41 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 s 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 | 6743 8040 11062 | 5000 0 nan | 0.000 % | 0.39/0.43 c =============================================================================== 0.39/0.43 c core #86 0.39/0.43 c Core size: 417 Core Weight: 3 Total Weight: 24326 0.39/0.43 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 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 | 6950 8242 11369 | 5000 0 nan | 0.000 % | 0.39/0.45 c =============================================================================== 0.39/0.45 c core #87 0.39/0.45 c Core size: 293 Core Weight: 6 Total Weight: 24332 0.39/0.45 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 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 | 7086 8375 11551 | 5000 0 nan | 0.000 % | 0.39/0.47 c =============================================================================== 0.39/0.47 c core #88 0.39/0.47 c Core size: 293 Core Weight: 2 Total Weight: 24334 0.39/0.47 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 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 | 7223 8511 11782 | 5000 0 nan | 0.000 % | 0.39/0.48 c =============================================================================== 0.39/0.48 c core #89 0.39/0.48 c Core size: 266 Core Weight: 4 Total Weight: 24338 0.39/0.48 c Elapsed CPU time: 0.463929 s Remaining CPU time: 1799.54 s 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 | 7347 8634 11959 | 5000 0 nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.50 c core #90 0.49/0.50 c Core size: 292 Core Weight: 26 Total Weight: 24364 0.49/0.50 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 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 | 7484 8769 12192 | 5000 0 nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.52 c core #91 0.49/0.52 c Core size: 293 Core Weight: 3 Total Weight: 24367 0.49/0.52 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 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 | 7619 8900 12374 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #92 0.49/0.53 c Core size: 299 Core Weight: 23 Total Weight: 24390 0.49/0.53 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 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 | 7757 9037 12611 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #93 0.49/0.55 c Core size: 304 Core Weight: 6 Total Weight: 24396 0.49/0.55 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 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 | 7897 9176 12857 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #94 0.49/0.57 c Core size: 300 Core Weight: 52 Total Weight: 24448 0.49/0.57 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 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 | 8038 9315 13112 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #95 0.49/0.59 c Core size: 297 Core Weight: 3 Total Weight: 24451 0.49/0.59 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 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 | 8175 9451 13355 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #96 0.59/0.61 c Core size: 297 Core Weight: 26 Total Weight: 24477 0.59/0.61 c Elapsed CPU time: 0.570913 s Remaining CPU time: 1799.43 s 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 | 8312 9586 13604 | 5000 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #97 0.59/0.63 c Core size: 296 Core Weight: 29 Total Weight: 24506 0.59/0.63 c Elapsed CPU time: 0.59191 s Remaining CPU time: 1799.41 s 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 | 8448 9720 13854 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #98 0.59/0.65 c Core size: 433 Core Weight: 1 Total Weight: 24507 0.59/0.65 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 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 | 8657 9928 14201 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #99 0.59/0.67 c Core size: 431 Core Weight: 1 Total Weight: 24508 0.59/0.67 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 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 | 8865 10135 14545 | 5000 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c core #100 0.69/0.70 c Core size: 427 Core Weight: 3 Total Weight: 24511 0.69/0.70 c Elapsed CPU time: 0.6519 s Remaining CPU time: 1799.35 s 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 | 9081 10344 14908 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #101 0.69/0.73 c Core size: 358 Core Weight: 1 Total Weight: 24512 0.69/0.73 c Elapsed CPU time: 0.672897 s Remaining CPU time: 1799.33 s 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 | 9255 10513 15230 | 5000 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #102 0.69/0.75 c Core size: 298 Core Weight: 3 Total Weight: 24515 0.69/0.75 c Elapsed CPU time: 0.691894 s Remaining CPU time: 1799.31 s 0.69/0.76 c Learning 1 hard constraints 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 9392 10649 15507 | 5000 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #103 0.69/0.77 c Core size: 298 Core Weight: 18 Total Weight: 24533 0.69/0.77 c Elapsed CPU time: 0.714891 s Remaining CPU time: 1799.29 s 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 9527 10782 15696 | 5000 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #104 0.79/0.80 c Core size: 458 Core Weight: 1 Total Weight: 24534 0.79/0.80 c Elapsed CPU time: 0.739887 s Remaining CPU time: 1799.26 s 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 9763 11018 16165 | 5000 0 nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #105 0.79/0.82 c Core size: 300 Core Weight: 4 Total Weight: 24538 0.79/0.82 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 9898 11153 16358 | 5000 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #106 0.79/0.85 c Core size: 304 Core Weight: 57 Total Weight: 24595 0.79/0.85 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 10038 11292 16569 | 5000 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #107 0.79/0.88 c Core size: 294 Core Weight: 75 Total Weight: 24670 0.79/0.88 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 10173 11424 16903 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #108 0.79/0.89 c Core size: 288 Core Weight: 127 Total Weight: 24797 0.79/0.89 c Elapsed CPU time: 0.820875 s Remaining CPU time: 1799.18 s 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 10309 11553 17372 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #109 0.89/0.92 c Core size: 282 Core Weight: 38 Total Weight: 24835 0.89/0.92 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.89/0.94 c ============================[ Search Statistics ]============================== 0.89/0.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.94 c =============================================================================== 0.89/0.94 c | 0 | 10441 11679 17834 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #110 0.89/0.95 c Core size: 280 Core Weight: 46 Total Weight: 24881 0.89/0.95 c Elapsed CPU time: 0.867868 s Remaining CPU time: 1799.13 s 0.89/0.97 c ============================[ Search Statistics ]============================== 0.89/0.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.97 c =============================================================================== 0.89/0.97 c | 0 | 10584 11807 18176 | 5000 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #111 0.89/0.98 c Core size: 306 Core Weight: 9 Total Weight: 24890 0.89/0.98 c Elapsed CPU time: 0.891864 s Remaining CPU time: 1799.11 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 10723 11945 18532 | 5000 0 nan | 0.000 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c Verified 11945 original clauses. 1.00/1.00 c #cores: 111 1.00/1.00 c Final Weight: 24890 1.00/1.00 o 24890 1.00/1.00 s OPTIMUM FOUND 1.00/1.00 v -x56 -x58 -x60 -x62 -x64 -x66 -x68 -x70 -x72 -x74 -x76 -x77 -x79 -x80 -x81 -x82 -x84 -x86 -x88 x89 -x91 -x93 -x95 -x97 -x99 -x100 -x102 -x104 -x105 -x107 -x109 -x111 -x113 -x115 -x117 -x119 -x120 -x122 -x124 -x126 -x127 -x129 -x131 -x133 -x135 -x137 -x139 -x140 -x142 -x144 -x146 -x148 -x150 -x152 -x154 -x156 -x158 -x160 -x162 -x164 -x166 -x168 -x170 -x172 -x174 -x176 -x178 -x180 -x182 -x184 -x186 -x188 -x190 -x192 -x194 -x196 -x198 x200 -x202 -x204 -x206 -x208 -x210 -x212 -x214 -x216 -x218 -x220 -x222 -x224 -x226 -x228 -x230 -x232 -x234 -x235 -x237 -x239 -x241 -x243 -x245 -x247 -x249 -x251 -x253 -x255 -x256 -x258 -x260 -x262 -x263 -x265 -x267 -x269 -x271 -x273 x274 -x276 -x278 -x280 -x282 -x283 -x285 -x287 -x288 -x290 -x292 -x293 -x295 -x297 -x299 -x301 -x303 -x305 -x307 -x309 -x310 -x311 -x313 -x314 -x316 -x318 -x319 -x321 -x323 -x324 -x326 -x327 -x329 -x331 -x333 -x334 -x336 -x338 -x340 -x342 -x343 -x345 -x346 -x348 -x349 -x350 -x352 -x354 -x355 -x357 -x358 -x359 -x360 -x362 -x363 -x365 -x367 -x368 -x370 -x371 -x373 -x375 -x377 -x379 -x381 -x383 -x385 -x387 -x388 -x389 -x391 -x393 -x395 -x397 -x399 -x401 -x403 -x405 -x407 -x409 -x410 -x412 -x414 -x416 -x418 -x420 -x422 -x423 -x425 -x426 -x428 -x430 -x432 -x434 -x435 -x437 -x439 -x441 -x443 -x445 x447 -x449 -x451 -x452 -x454 -x455 -x457 -x458 -x459 -x461 -x463 -x465 -x467 -x469 x470 -x472 -x473 -x474 -x475 -x477 -x479 -x481 -x482 -x483 -x485 -x486 -x487 -x489 -x490 -x492 -x493 -x494 -x496 -x498 -x500 -x502 -x503 -x505 -x506 -x508 -x510 x511 -x513 -x515 -x517 -x519 -x521 -x523 -x525 -x526 -x528 -x530 -x531 -x532 -x534 -x536 -x537 -x539 -x541 -x543 -x544 -x546 -x547 -x548 -x550 -x551 -x553 -x555 -x556 -x558 -x559 -x561 -x563 -x565 -x567 x569 -x570 -x571 -x573 -x574 -x575 -x576 -x578 -x580 -x581 x582 -x583 -x585 -x586 -x587 -x589 -x591 -x593 x594 -x595 -x596 -x598 -x599 x600 -x602 -x604 -x605 -x606 -x607 -x609 -x610 -x611 x612 -x613 -x615 x616 x617 -x618 -x619 -x621 -x622 -x623 x624 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 x642 x643 -x644 -x55 -x1 -x57 -x59 -x61 -x2 -x63 -x65 -x67 -x69 -x71 -x73 -x75 -x3 -x78 -x4 -x5 -x6 -x83 -x85 -x87 -x90 -x92 -x94 -x96 -x98 -x7 -x101 -x103 -x8 -x106 -x108 -x110 -x9 -x112 -x114 -x116 -x118 -x121 -x123 -x10 -x125 -x128 -x11 -x130 -x132 -x134 -x136 -x138 -x141 -x12 -x143 -x145 -x147 -x149 -x151 -x153 -x155 -x157 -x159 -x161 -x163 -x165 -x167 -x169 -x171 -x173 -x175 -x177 -x179 -x181 -x183 -x185 -x187 -x189 -x191 -x193 -x195 -x197 x199 -x201 -x203 -x205 -x207 -x209 -x211 -x213 -x215 -x217 -x219 -x221 -x223 -x225 -x227 -x229 -x231 -x233 -x13 -x236 -x238 -x240 -x242 -x14 -x244 -x246 -x248 -x250 -x252 -x254 -x257 -x259 -x261 -x15 -x264 -x266 -x268 -x270 -x272 -x275 -x277 -x279 -x281 -x284 -x286 -x16 -x289 -x291 -x17 -x294 -x296 -x298 -x300 -x302 -x304 -x306 -x18 -x308 -x19 -x312 -x20 -x315 -x317 -x21 -x320 -x322 -x22 -x325 -x23 -x328 -x330 -x332 -x335 -x337 -x339 -x24 -x341 -x344 -x25 -x347 -x26 -x27 -x351 -x28 -x353 -x356 -x29 -x30 -x361 -x364 -x31 -x366 -x369 -x32 -x372 -x374 -x376 -x378 -x380 -x382 -x384 -x386 -x390 -x392 -x394 -x396 -x33 -x398 -x400 -x402 -x404 -x406 -x408 -x411 -x413 -x415 -x417 -x34 -x419 -x421 -x424 -x35 -x427 -x429 -x431 -x433 -x436 -x438 -x440 -x442 -x444 x446 -x448 -x450 -x453 -x36 -x456 -x37 -x460 -x462 -x464 -x466 -x468 -x471 -x38 -x39 -x40 -x476 -x478 -x480 -x41 -x484 -x42 -x488 -x491 -x43 -x495 -x497 -x499 -x501 -x504 -x507 -x509 -x512 -x514 -x516 -x518 -x520 -x522 -x524 -x527 -x529 -x44 -x533 -x535 -x45 -x538 -x540 -x542 -x545 -x549 -x552 -x554 -x557 -x560 -x562 -x564 -x566 x568 -x572 -x46 -x577 -x579 -x47 -x584 -x588 -x590 -x592 -x48 -x49 -x597 x50 -x601 -x51 -x603 -x608 -x614 -x620 -x52 -x625 -x53 -x54
OK 24890
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875500-1245185291/watcher-1875500-1245185291 -o /tmp/evaluation-result-1875500-1245185291/solver-1875500-1245185291 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875500-1245185291.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5190 /proc/meminfo: memFree=1859000/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=2556 CPUtime=0 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 209 0 0 0 0 0 0 0 18 0 1 0 186126155 2617344 193 1992294400 134512640 135709839 4294956240 18446744073709551615 134543022 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 639 193 128 292 0 336 0 [startup+0.0817061 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5190 /proc/meminfo: memFree=1859000/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=3340 CPUtime=0.07 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 427 0 0 0 7 0 0 0 18 0 1 0 186126155 3420160 403 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 835 403 133 292 0 540 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3340 [startup+0.102708 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5190 /proc/meminfo: memFree=1859000/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=3468 CPUtime=0.09 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 452 0 0 0 9 0 0 0 18 0 1 0 186126155 3551232 428 1992294400 134512640 135709839 4294956240 18446744073709551615 134570415 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 867 428 134 292 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.301738 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5190 /proc/meminfo: memFree=1859000/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=6168 CPUtime=0.29 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 1363 0 0 0 28 1 0 0 19 0 1 0 186126155 6316032 1089 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 1542 1089 135 292 0 1247 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6168 [startup+0.701795 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5190 /proc/meminfo: memFree=1859000/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=10388 CPUtime=0.69 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 2711 0 0 0 65 4 0 0 22 0 1 0 186126155 10637312 2092 1992294400 134512640 135709839 4294956240 18446744073709551615 134599686 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 2597 2092 135 292 0 2302 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10388 Solver just ended. Dumping a history of the last processes samples [startup+0.901824 s] /proc/loadavg: 0.92 0.98 0.99 3/64 5190 /proc/meminfo: memFree=1859000/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=13048 CPUtime=0.89 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 3585 0 0 0 82 7 0 0 24 0 1 0 186126155 13361152 2762 1992294400 134512640 135709839 4294956240 18446744073709551615 134570801 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 3262 2762 135 292 0 2967 0 Current children cumulated CPU time (s) 0.89 Current children cumulated vsize (KiB) 13048 [startup+1.00184 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5191 /proc/meminfo: memFree=1847664/2055920 swapFree=4182572/4192956 [pid=5190] ppid=5188 vsize=13628 CPUtime=1 /proc/5190/stat : 5190 (wbo) R 5188 5190 4758 0 -1 4194304 3906 0 0 0 91 9 0 0 25 0 1 0 186126155 13955072 2944 1992294400 134512640 135709839 4294956240 18446744073709551615 134572715 0 0 4096 3 0 0 0 17 1 0 0 /proc/5190/statm: 3407 2944 135 292 0 3112 0 Current children cumulated CPU time (s) 1 Current children cumulated vsize (KiB) 13628 Child status: 0 Real time (s): 1.01145 CPU time (s): 1.01084 CPU user time (s): 0.91586 CPU system time (s): 0.094985 CPU usage (%): 99.9406 Max. virtual memory (cumulated for all children) (KiB): 13628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.91586 system time used= 0.094985 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3906 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= 2 involuntary context switches= 1 runsolver used 0.004999 second user time and 0.015997 second system time The end
Begin job on node39 at 2009-06-16 22:48:11 IDJOB=1875500 IDBENCH=25022 IDSOLVER=698 FILE ID=node39/1875500-1245185291 PBS_JOBID= 9363902 Free space on /tmp= 66128 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/trarea_ac/normalized-fir02_trarea_ac.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875500-1245185291/watcher-1875500-1245185291 -o /tmp/evaluation-result-1875500-1245185291/solver-1875500-1245185291 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875500-1245185291.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aa73e48897f9c10e5003e2188d9e7ab9 RANDOM SEED=1114741597 node39.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1859480 kB Buffers: 51360 kB Cached: 77228 kB SwapCached: 4216 kB Active: 34652 kB Inactive: 101836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859480 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 2404 kB Writeback: 0 kB Mapped: 13660 kB Slab: 45920 kB Committed_AS: 140872 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875500-1245185291.opb Free space on /tmp at the end= 66128 MiB End job on node39 at 2009-06-16 22:48:12