Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 999.576 | 999.872 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb |
MD5SUM | 87c08328e44aaf86c5913a3ba08592cd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 245 |
Best CPU time to get the best result obtained on this benchmark | 2.83457 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 245 |
Optimality of the best value was proved | YES |
Number of variables | 1264 |
Total number of constraints | 1090 |
Number of constraints which are clauses | 1090 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 1264 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1264 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1264 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680526-1277457297.opb. 0.00/0.00 c Instance file HOME/instance-2680526-1277457297.opb 0.00/0.00 c File size is 75875 bytes. 0.00/0.01 c Highest Coefficient sum: 21 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: 1264 | 0.00/0.01 c | Number Clauses: 1090 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 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 | 1264 1090 7221 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 307 0.00/0.01 o 307 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1264 1091 8485 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 306 0.00/0.01 o 306 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1264 1092 9749 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 1264 1092 9749 | 5500 100 309 | 0.000 % | 0.00/0.06 c | 250 | 1264 1092 9749 | 6050 250 314 | 0.000 % | 0.06/0.09 c | 476 | 1264 1092 9749 | 6655 476 315 | 0.000 % | 0.09/0.15 c | 814 | 1264 1092 9749 | 7320 814 316 | 0.000 % | 0.19/0.23 c | 1320 | 1264 1092 9749 | 8052 1320 317 | 0.000 % | 0.29/0.36 c | 2079 | 1264 1092 9749 | 8857 2079 316 | 0.000 % | 0.49/0.55 c | 3218 | 1264 1092 9749 | 9743 3218 316 | 0.000 % | 0.79/0.88 c | 4927 | 1264 1092 9749 | 10717 4927 316 | 0.000 % | 1.39/1.43 c | 7489 | 1264 1092 9749 | 11789 7489 317 | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c New solution: 305 1.39/1.43 o 305 1.39/1.43 c Elapsed CPU time: 1.38979 s Remaining CPU time: 178.61 s 1.39/1.43 c =============================================================================== 1.39/1.43 c | 7489 | 1264 1093 11013 | 5000 7489 317 | 0.000 % | 1.39/1.45 c | 7590 | 1264 1093 11013 | 5500 3846 318 | 0.000 % | 1.39/1.48 c | 7741 | 1264 1093 11013 | 6050 3997 318 | 0.000 % | 1.49/1.52 c | 7967 | 1264 1093 11013 | 6655 4223 318 | 0.000 % | 1.49/1.58 c | 8304 | 1264 1093 11013 | 7320 4560 318 | 0.000 % | 1.59/1.66 c | 8810 | 1264 1093 11013 | 8052 5066 317 | 0.000 % | 1.79/1.81 c | 9569 | 1264 1093 11013 | 8857 5825 317 | 0.000 % | 1.99/2.01 c | 10709 | 1264 1093 11013 | 9743 6965 316 | 0.000 % | 2.29/2.35 c | 12417 | 1264 1093 11013 | 10717 8673 316 | 0.000 % | 2.79/2.80 c | 14979 | 1264 1093 11013 | 11789 11235 316 | 0.000 % | 3.49/3.53 c | 18824 | 1264 1093 11013 | 12968 8607 314 | 0.000 % | 4.49/4.56 c | 24590 | 1264 1093 11013 | 14265 7309 315 | 0.000 % | 6.60/6.62 c | 33239 | 1264 1093 11013 | 15692 8248 316 | 0.000 % | 9.80/9.80 c | 46214 | 1264 1093 11013 | 17261 12796 314 | 0.000 % | 15.09/15.16 c | 65676 | 1264 1093 11013 | 18987 13813 314 | 0.000 % | 23.79/23.88 c | 94869 | 1264 1093 11013 | 20886 12737 314 | 0.000 % | 39.78/39.89 c | 138658 | 1264 1093 11013 | 22974 11055 311 | 0.000 % | 60.68/60.77 c | 204343 | 1264 1093 11013 | 25272 23192 311 | 0.000 % | 60.68/60.78 c =============================================================================== 60.68/60.78 c New solution: 304 60.68/60.78 o 304 60.68/60.78 c Elapsed CPU time: 59.9249 s Remaining CPU time: 120.075 s 60.68/60.78 c =============================================================================== 60.68/60.78 c | 204343 | 1264 1094 12277 | 5000 23192 311 | 0.000 % | 61.07/61.10 c | 204443 | 1264 1094 12277 | 5500 2786 311 | 0.000 % | 61.07/61.12 c | 204593 | 1264 1094 12277 | 6050 2936 311 | 0.000 % | 61.07/61.16 c | 204818 | 1264 1094 12277 | 6655 3161 312 | 0.000 % | 61.17/61.22 c | 205156 | 1264 1094 12277 | 7320 3499 312 | 0.000 % | 61.27/61.31 c | 205662 | 1264 1094 12277 | 8052 4005 312 | 0.000 % | 61.37/61.45 c | 206422 | 1264 1094 12277 | 8857 4765 312 | 0.000 % | 61.58/61.65 c | 207561 | 1264 1094 12277 | 9743 5904 313 | 0.000 % | 61.87/61.97 c | 209269 | 1264 1094 12277 | 10717 7612 314 | 0.000 % | 62.37/62.48 c | 211831 | 1264 1094 12277 | 11789 10174 315 | 0.000 % | 63.28/63.36 c | 215675 | 1264 1094 12277 | 12968 7567 316 | 0.000 % | 63.28/63.36 c =============================================================================== 63.28/63.36 c New solution: 297 63.28/63.36 o 297 63.28/63.36 c Elapsed CPU time: 62.4675 s Remaining CPU time: 117.532 s 63.28/63.36 c =============================================================================== 63.28/63.36 c | 215675 | 1264 1095 13541 | 5000 7567 316 | 0.000 % | 63.28/63.39 c | 215776 | 1264 1095 13541 | 5500 3885 313 | 0.000 % | 63.37/63.42 c | 215926 | 1264 1095 13541 | 6050 4035 313 | 0.000 % | 63.37/63.46 c | 216152 | 1264 1095 13541 | 6655 4261 312 | 0.000 % | 63.47/63.52 c | 216489 | 1264 1095 13541 | 7320 4598 312 | 0.000 % | 63.57/63.60 c | 216996 | 1264 1095 13541 | 8052 5105 312 | 0.000 % | 63.68/63.75 c | 217755 | 1264 1095 13541 | 8857 5864 311 | 0.000 % | 63.87/63.93 c | 218895 | 1264 1095 13541 | 9743 7004 310 | 0.000 % | 64.18/64.26 c | 220604 | 1264 1095 13541 | 10717 8713 309 | 0.000 % | 64.68/64.76 c | 223166 | 1264 1095 13541 | 11789 11275 309 | 0.000 % | 65.57/65.66 c | 227011 | 1264 1095 13541 | 12968 8661 307 | 0.000 % | 66.87/66.90 c | 232778 | 1264 1095 13541 | 14265 7380 308 | 0.000 % | 68.77/68.81 c | 241427 | 1264 1095 13541 | 15692 8349 310 | 0.000 % | 71.97/72.08 c | 254402 | 1264 1095 13541 | 17261 12895 312 | 0.000 % | 76.67/76.71 c | 273864 | 1264 1095 13541 | 18987 13924 305 | 0.000 % | 84.06/84.14 c | 303056 | 1264 1095 13541 | 20886 12882 304 | 0.000 % | 98.56/98.63 c | 346846 | 1264 1095 13541 | 22974 11883 305 | 0.000 % | 120.97/121.09 c | 412530 | 1264 1095 13541 | 25272 23990 304 | 0.000 % | 154.05/154.15 c | 511057 | 1264 1095 13541 | 27799 13821 309 | 0.000 % | 182.24/182.37 c There are 0 assigned variables. 0 in cost function. 183.24/183.33 c core #1 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 8 Core Weight: 1 Total Weight: 1 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #2 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 8 Core Weight: 1 Total Weight: 2 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #3 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 3 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #4 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 10 Core Weight: 1 Total Weight: 4 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #5 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 12 Core Weight: 1 Total Weight: 5 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #6 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 14 Core Weight: 1 Total Weight: 6 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #7 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 13 Core Weight: 1 Total Weight: 7 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #8 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 10 Core Weight: 1 Total Weight: 8 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #9 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 10 Core Weight: 1 Total Weight: 9 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #10 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 10 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #11 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 11 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #12 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 6 Core Weight: 1 Total Weight: 12 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #13 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 13 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #14 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 14 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #15 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 10 Core Weight: 1 Total Weight: 15 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #16 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 13 Core Weight: 1 Total Weight: 16 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #17 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 13 Core Weight: 1 Total Weight: 17 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #18 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 18 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #19 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 6 Core Weight: 1 Total Weight: 19 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #20 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 9 Core Weight: 1 Total Weight: 20 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #21 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 21 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #22 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 22 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #23 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 23 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #24 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 6 Core Weight: 1 Total Weight: 24 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #25 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 6 Core Weight: 1 Total Weight: 25 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #26 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 26 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #27 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 27 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #28 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 28 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #29 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 29 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #30 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 30 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #31 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 31 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #32 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 32 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #33 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 33 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #34 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 12 Core Weight: 1 Total Weight: 34 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #35 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 12 Core Weight: 1 Total Weight: 35 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #36 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 36 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #37 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 37 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #38 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 38 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #39 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 16 Core Weight: 1 Total Weight: 39 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #40 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 17 Core Weight: 1 Total Weight: 40 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #41 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 10 Core Weight: 1 Total Weight: 41 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #42 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 42 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #43 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 43 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #44 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 44 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #45 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 45 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #46 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 9 Core Weight: 1 Total Weight: 46 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #47 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 47 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #48 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 48 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #49 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 49 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #50 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 50 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #51 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 51 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #52 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 52 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #53 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 53 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #54 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 54 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #55 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 5 Core Weight: 1 Total Weight: 55 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #56 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 56 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #57 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 57 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #58 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 58 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #59 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 7 Core Weight: 1 Total Weight: 59 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #60 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 3 Core Weight: 1 Total Weight: 60 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c core #61 183.24/183.33 c 183.24/183.33 c 183.24/183.33 c Core size: 4 Core Weight: 1 Total Weight: 61 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #62 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 62 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #63 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 63 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #64 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 64 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #65 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 65 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #66 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 66 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #67 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 67 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #68 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 6 Core Weight: 1 Total Weight: 68 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #69 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 9 Core Weight: 1 Total Weight: 69 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #70 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 10 Core Weight: 1 Total Weight: 70 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #71 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 6 Core Weight: 1 Total Weight: 71 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #72 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 10 Core Weight: 1 Total Weight: 72 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #73 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 6 Core Weight: 1 Total Weight: 73 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #74 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 74 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #75 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 75 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #76 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 6 Core Weight: 1 Total Weight: 76 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #77 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 77 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #78 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 78 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #79 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 79 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #80 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 9 Core Weight: 1 Total Weight: 80 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #81 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 6 Core Weight: 1 Total Weight: 81 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #82 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 7 Core Weight: 1 Total Weight: 82 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #83 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 83 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #84 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 84 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #85 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 7 Core Weight: 1 Total Weight: 85 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #86 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 86 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #87 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 87 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #88 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 88 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #89 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 89 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #90 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 7 Core Weight: 1 Total Weight: 90 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #91 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 10 Core Weight: 1 Total Weight: 91 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #92 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 10 Core Weight: 1 Total Weight: 92 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #93 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 8 Core Weight: 1 Total Weight: 93 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #94 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 94 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #95 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 95 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #96 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 7 Core Weight: 1 Total Weight: 96 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #97 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 12 Core Weight: 1 Total Weight: 97 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #98 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 6 Core Weight: 1 Total Weight: 98 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #99 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 99 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #100 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 100 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #101 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 101 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #102 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 102 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #103 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 103 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #104 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 104 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #105 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 105 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #106 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 7 Core Weight: 1 Total Weight: 106 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #107 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 10 Core Weight: 1 Total Weight: 107 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #108 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 10 Core Weight: 1 Total Weight: 108 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #109 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 109 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #110 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 110 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #111 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 111 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #112 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 8 Core Weight: 1 Total Weight: 112 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #113 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 8 Core Weight: 1 Total Weight: 113 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #114 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 114 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #115 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 9 Core Weight: 1 Total Weight: 115 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #116 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 9 Core Weight: 1 Total Weight: 116 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #117 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 3 Core Weight: 1 Total Weight: 117 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #118 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 5 Core Weight: 1 Total Weight: 118 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #119 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 4 Core Weight: 1 Total Weight: 119 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c core #120 183.54/183.65 c 183.54/183.65 c 183.54/183.65 c Core size: 7 Core Weight: 1 Total Weight: 120 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #121 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 9 Core Weight: 1 Total Weight: 121 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #122 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 122 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #123 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 123 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #124 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 124 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #125 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 125 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #126 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 126 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #127 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 127 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #128 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 128 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #129 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 129 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #130 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 130 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #131 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 131 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #132 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 132 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #133 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 133 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #134 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 134 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #135 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 135 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #136 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 136 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #137 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 137 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #138 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 138 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #139 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 139 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #140 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 140 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #141 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 141 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #142 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 142 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #143 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 143 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #144 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 144 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #145 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 145 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #146 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 146 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #147 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 147 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #148 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 148 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #149 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 149 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #150 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 150 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #151 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 151 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #152 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 152 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #153 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 10 Core Weight: 1 Total Weight: 153 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #154 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 154 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #155 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 155 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #156 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 156 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #157 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 157 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #158 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 6 Core Weight: 1 Total Weight: 158 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #159 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 6 Core Weight: 1 Total Weight: 159 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #160 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 6 Core Weight: 1 Total Weight: 160 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #161 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 161 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #162 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 162 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #163 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 9 Core Weight: 1 Total Weight: 163 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #164 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 164 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #165 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 165 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #166 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 9 Core Weight: 1 Total Weight: 166 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #167 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 9 Core Weight: 1 Total Weight: 167 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #168 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 168 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #169 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 169 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #170 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 170 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #171 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 171 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #172 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 172 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #173 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 173 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #174 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 3 Core Weight: 1 Total Weight: 174 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #175 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 7 Core Weight: 1 Total Weight: 175 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #176 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 9 Core Weight: 1 Total Weight: 176 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #177 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 177 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #178 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 4 Core Weight: 1 Total Weight: 178 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c core #179 183.83/183.99 c 183.83/183.99 c 183.83/183.99 c Core size: 5 Core Weight: 1 Total Weight: 179 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #180 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 5 Core Weight: 1 Total Weight: 180 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #181 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 9 Core Weight: 1 Total Weight: 181 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #182 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 9 Core Weight: 1 Total Weight: 182 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #183 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 6 Core Weight: 1 Total Weight: 183 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #184 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 6 Core Weight: 1 Total Weight: 184 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #185 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 3 Core Weight: 1 Total Weight: 185 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #186 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 3 Core Weight: 1 Total Weight: 186 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #187 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 3 Core Weight: 1 Total Weight: 187 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #188 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 17 Core Weight: 1 Total Weight: 188 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #189 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 11 Core Weight: 1 Total Weight: 189 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #190 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 19 Core Weight: 1 Total Weight: 190 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #191 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 13 Core Weight: 1 Total Weight: 191 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #192 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 18 Core Weight: 1 Total Weight: 192 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #193 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 11 Core Weight: 1 Total Weight: 193 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #194 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 13 Core Weight: 1 Total Weight: 194 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #195 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 10 Core Weight: 1 Total Weight: 195 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #196 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 12 Core Weight: 1 Total Weight: 196 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #197 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 11 Core Weight: 1 Total Weight: 197 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #198 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 39 Core Weight: 1 Total Weight: 198 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #199 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 9 Core Weight: 1 Total Weight: 199 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #200 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 16 Core Weight: 1 Total Weight: 200 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #201 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 14 Core Weight: 1 Total Weight: 201 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #202 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 13 Core Weight: 1 Total Weight: 202 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #203 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 25 Core Weight: 1 Total Weight: 203 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #204 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 26 Core Weight: 1 Total Weight: 204 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #205 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 42 Core Weight: 1 Total Weight: 205 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #206 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 30 Core Weight: 1 Total Weight: 206 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c core #207 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c Core size: 29 Core Weight: 1 Total Weight: 207 184.13/184.26 c 184.13/184.26 c 184.13/184.26 c ============================[ Search Statistics ]============================== 184.13/184.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.26 c =============================================================================== 184.13/184.26 c | 0 | 2091 2566 16898 | 5000 0 nan | 0.000 % | 184.13/184.26 c =============================================================================== 184.13/184.27 c core #208 184.13/184.27 c 184.13/184.27 c 184.13/184.27 c Core size: 46 Core Weight: 1 Total Weight: 208 184.13/184.27 c 184.13/184.27 c 184.13/184.27 c ============================[ Search Statistics ]============================== 184.13/184.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.27 c =============================================================================== 184.13/184.27 c | 0 | 2139 2567 16990 | 5000 0 nan | 0.000 % | 184.13/184.27 c =============================================================================== 184.13/184.29 c core #209 184.13/184.29 c 184.13/184.29 c 184.13/184.29 c Core size: 91 Core Weight: 1 Total Weight: 209 184.13/184.29 c 184.13/184.29 c 184.13/184.29 c ============================[ Search Statistics ]============================== 184.13/184.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.29 c =============================================================================== 184.13/184.29 c | 0 | 2244 2568 17166 | 5000 0 nan | 0.000 % | 184.13/184.29 c | 100 | 2244 2568 17166 | 5500 100 21 | 12.172 % | 184.23/184.30 c | 257 | 2243 2568 17166 | 6050 257 18 | 12.250 % | 184.23/184.30 c =============================================================================== 184.23/184.32 c core #210 184.23/184.32 c 184.23/184.32 c 184.23/184.32 c Core size: 108 Core Weight: 1 Total Weight: 210 184.23/184.32 c 184.23/184.32 c 184.23/184.32 c ============================[ Search Statistics ]============================== 184.23/184.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.32 c =============================================================================== 184.23/184.32 c | 0 | 2355 2569 17384 | 5000 0 nan | 0.000 % | 184.23/184.33 c =============================================================================== 184.23/184.34 c core #211 184.23/184.34 c 184.23/184.34 c 184.23/184.34 c Core size: 29 Core Weight: 1 Total Weight: 211 184.23/184.34 c 184.23/184.34 c 184.23/184.34 c ============================[ Search Statistics ]============================== 184.23/184.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.34 c =============================================================================== 184.23/184.34 c | 0 | 2444 2570 17443 | 5000 0 nan | 0.000 % | 184.23/184.35 c | 104 | 2444 2570 17443 | 5500 104 80 | 8.942 % | 184.23/184.35 c =============================================================================== 184.23/184.36 c core #212 184.23/184.36 c 184.23/184.36 c 184.23/184.36 c Core size: 59 Core Weight: 1 Total Weight: 212 184.23/184.36 c 184.23/184.36 c 184.23/184.36 c ============================[ Search Statistics ]============================== 184.23/184.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.36 c =============================================================================== 184.23/184.36 c | 0 | 2522 2571 17560 | 5000 0 nan | 0.000 % | 184.23/184.37 c | 100 | 2522 2571 17560 | 5500 100 58 | 7.687 % | 184.23/184.38 c | 255 | 2522 2571 17560 | 6050 255 67 | 7.687 % | 184.34/184.40 c | 480 | 2522 2571 17560 | 6655 480 69 | 7.687 % | 184.34/184.45 c | 817 | 2522 2571 17560 | 7320 817 79 | 7.687 % | 184.43/184.53 c | 1326 | 2522 2571 17560 | 8052 1326 80 | 7.687 % | 184.53/184.65 c | 2087 | 2522 2571 17560 | 8857 2087 71 | 7.687 % | 184.75/184.87 c =============================================================================== 184.75/184.89 c core #213 184.75/184.89 c 184.75/184.89 c 184.75/184.89 c Core size: 27 Core Weight: 1 Total Weight: 213 184.75/184.89 c 184.75/184.89 c 184.75/184.89 c ============================[ Search Statistics ]============================== 184.75/184.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.89 c =============================================================================== 184.75/184.89 c | 0 | 2562 2572 17611 | 5000 0 nan | 0.000 % | 184.84/184.90 c | 100 | 2562 2572 17611 | 5500 100 44 | 6.938 % | 184.84/184.91 c | 250 | 2562 2572 17611 | 6050 250 38 | 6.938 % | 184.84/184.93 c | 475 | 2562 2572 17611 | 6655 475 30 | 6.938 % | 184.84/184.96 c | 815 | 2562 2572 17611 | 7320 815 32 | 6.938 % | 184.94/185.01 c | 1325 | 2560 2572 17611 | 8052 1323 35 | 7.083 % | 184.94/185.08 c | 2084 | 2559 2572 17611 | 8857 2082 37 | 7.083 % | 185.03/185.17 c =============================================================================== 185.03/185.19 c core #214 185.03/185.19 c 185.03/185.19 c 185.03/185.19 c Core size: 237 Core Weight: 1 Total Weight: 214 185.03/185.19 c 185.03/185.19 c 185.03/185.19 c ============================[ Search Statistics ]============================== 185.03/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.19 c =============================================================================== 185.03/185.19 c | 0 | 2856 2573 18116 | 5000 0 nan | 0.000 % | 185.14/185.20 c | 100 | 2856 2573 18116 | 5500 100 65 | 4.258 % | 185.14/185.21 c | 250 | 2856 2573 18116 | 6050 250 42 | 4.257 % | 185.14/185.23 c | 477 | 2856 2573 18116 | 6655 477 45 | 4.257 % | 185.14/185.26 c | 815 | 2856 2573 18116 | 7320 815 52 | 4.257 % | 185.24/185.32 c | 1324 | 2852 2573 18116 | 8052 1323 58 | 4.693 % | 185.34/185.45 c | 2085 | 2843 2573 18116 | 8857 2075 76 | 4.693 % | 185.54/185.64 c | 3225 | 2843 2573 18116 | 9743 3215 76 | 4.693 % | 185.85/185.99 c | 4933 | 2843 2573 18116 | 10717 4923 81 | 4.693 % | 186.54/186.69 c | 7496 | 2843 2573 18116 | 11789 7486 86 | 4.693 % | 187.94/188.06 c | 11340 | 2838 2573 18116 | 12968 11329 88 | 5.934 % | 189.94/190.03 c | 17106 | 2838 2573 18116 | 14265 10481 97 | 5.934 % | 192.03/192.18 c =============================================================================== 192.34/192.45 c core #215 192.34/192.45 c 192.34/192.45 c 192.34/192.45 c Core size: 254 Core Weight: 1 Total Weight: 215 192.34/192.45 c 192.34/192.45 c 192.34/192.45 c ============================[ Search Statistics ]============================== 192.34/192.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.34/192.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.34/192.45 c =============================================================================== 192.34/192.45 c | 0 | 3117 2574 18622 | 5000 0 nan | 0.000 % | 192.34/192.47 c | 102 | 3117 2574 18622 | 5500 102 86 | 3.439 % | 192.34/192.48 c | 252 | 3117 2574 18622 | 6050 252 82 | 3.439 % | 192.44/192.53 c | 478 | 3117 2574 18622 | 6655 478 115 | 3.439 % | 192.44/192.58 c | 817 | 3117 2574 18622 | 7320 817 131 | 3.439 % | 192.54/192.68 c | 1323 | 3117 2574 18622 | 8052 1323 121 | 3.439 % | 192.73/192.80 c | 2082 | 3117 2574 18622 | 8857 2082 123 | 3.439 % | 192.93/193.08 c | 3221 | 3117 2574 18622 | 9743 3221 130 | 3.439 % | 193.34/193.47 c | 4929 | 3117 2574 18622 | 10717 4929 123 | 3.439 % | 193.93/194.02 c | 7498 | 3117 2574 18622 | 11789 7498 118 | 3.439 % | 195.04/195.15 c | 11346 | 3117 2574 18622 | 12968 11346 132 | 3.439 % | 197.13/197.29 c | 17114 | 3117 2574 18622 | 14265 10530 163 | 3.439 % | 201.73/201.85 c | 25765 | 3117 2574 18622 | 15692 11937 171 | 3.439 % | 209.63/209.78 c | 38741 | 3117 2574 18622 | 17261 9031 162 | 3.439 % | 220.43/220.52 c | 58202 | 3117 2574 18622 | 18987 10986 119 | 3.439 % | 234.92/235.08 c | 87394 | 3112 2574 18622 | 20886 10957 151 | 3.594 % | 243.52/243.60 c =============================================================================== 245.62/245.71 c core #216 245.62/245.71 c 245.62/245.71 c 245.62/245.71 c Core size: 330 Core Weight: 1 Total Weight: 216 245.62/245.71 c 245.62/245.71 c 245.62/245.71 c ============================[ Search Statistics ]============================== 245.62/245.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 245.62/245.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 245.62/245.71 c =============================================================================== 245.62/245.71 c | 0 | 3457 2575 19288 | 5000 0 nan | 0.000 % | 245.62/245.76 c | 100 | 3457 2575 19288 | 5500 100 12 | 2.729 % | 245.62/245.77 c | 250 | 3457 2575 19288 | 6050 250 13 | 2.729 % | 245.72/245.80 c | 476 | 3457 2575 19288 | 6655 476 15 | 2.729 % | 245.72/245.83 c | 813 | 3457 2575 19288 | 7320 813 19 | 2.729 % | 245.72/245.89 c | 1320 | 3457 2575 19288 | 8052 1320 23 | 2.729 % | 245.82/245.99 c | 2079 | 3456 2575 19288 | 8857 2073 26 | 2.757 % | 246.02/246.15 c =============================================================================== 246.12/246.20 c core #217 246.12/246.20 c 246.12/246.20 c 246.12/246.20 c Core size: 164 Core Weight: 1 Total Weight: 217 246.12/246.20 c 246.12/246.20 c 246.12/246.20 c ============================[ Search Statistics ]============================== 246.12/246.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.12/246.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.12/246.20 c =============================================================================== 246.12/246.20 c | 0 | 3628 2576 19614 | 5000 0 nan | 0.000 % | 246.12/246.22 c | 100 | 3626 2576 19614 | 5500 100 50 | 2.238 % | 246.12/246.24 c | 251 | 3626 2576 19614 | 6050 251 33 | 2.238 % | 246.12/246.27 c | 479 | 3626 2576 19614 | 6655 476 30 | 2.238 % | 246.23/246.31 c | 816 | 3626 2576 19614 | 7320 813 32 | 2.238 % | 246.23/246.38 c | 1323 | 3626 2576 19614 | 8052 1320 46 | 2.238 % | 246.42/246.51 c | 2082 | 3626 2576 19614 | 8857 2079 55 | 2.238 % | 246.52/246.68 c | 3222 | 3626 2576 19614 | 9743 3219 59 | 2.238 % | 246.92/247.00 c | 4930 | 3626 2576 19614 | 10717 4927 60 | 2.238 % | 247.42/247.55 c | 7492 | 3626 2576 19614 | 11789 7489 64 | 2.238 % | 248.32/248.49 c | 11337 | 3626 2576 19614 | 12968 11334 67 | 2.238 % | 250.02/250.11 c | 17103 | 3623 2576 19614 | 14265 10420 76 | 2.319 % | 252.72/252.82 c | 25759 | 3623 2576 19614 | 15692 11798 109 | 2.319 % | 257.11/257.23 c | 38734 | 3620 2576 19614 | 17261 8542 96 | 2.400 % | 262.01/262.15 c =============================================================================== 262.51/262.65 c core #218 262.51/262.65 c 262.51/262.65 c 262.51/262.65 c Core size: 296 Core Weight: 1 Total Weight: 218 262.51/262.65 c 262.51/262.65 c 262.51/262.65 c ============================[ Search Statistics ]============================== 262.51/262.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 262.51/262.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 262.51/262.65 c =============================================================================== 262.51/262.65 c | 0 | 3930 2577 20203 | 5000 0 nan | 0.000 % | 262.51/262.68 c | 102 | 3930 2577 20203 | 5500 102 66 | 1.652 % | 262.62/262.70 c | 253 | 3930 2577 20203 | 6050 253 51 | 1.652 % | 262.62/262.73 c | 480 | 3930 2577 20203 | 6655 480 39 | 1.652 % | 262.62/262.75 c | 817 | 3930 2577 20203 | 7320 817 31 | 1.652 % | 262.72/262.82 c | 1323 | 3929 2577 20203 | 8052 1321 34 | 1.677 % | 262.82/262.93 c | 2083 | 3929 2577 20203 | 8857 2081 37 | 1.677 % | 263.01/263.18 c | 3229 | 3929 2577 20203 | 9743 3227 71 | 1.677 % | 263.41/263.56 c | 4937 | 3929 2577 20203 | 10717 4935 120 | 1.677 % | 264.02/264.15 c | 7499 | 3929 2577 20203 | 11789 7497 132 | 1.677 % | 264.92/265.01 c | 11343 | 3929 2577 20203 | 12968 11341 140 | 1.677 % | 266.71/266.81 c | 17109 | 3929 2577 20203 | 14265 10119 184 | 1.677 % | 270.31/270.43 c | 25762 | 3927 2577 20203 | 15692 11470 197 | 1.727 % | 276.91/277.03 c | 38736 | 3927 2577 20203 | 17261 8280 165 | 1.727 % | 286.50/286.65 c | 58202 | 3924 2577 20203 | 18987 9710 209 | 1.802 % | 300.90/301.00 c =============================================================================== 302.10/302.20 c core #219 302.10/302.20 c 302.10/302.20 c 302.10/302.20 c Core size: 358 Core Weight: 1 Total Weight: 219 302.10/302.20 c 302.10/302.20 c 302.10/302.20 c ============================[ Search Statistics ]============================== 302.10/302.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 302.10/302.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 302.10/302.20 c =============================================================================== 302.10/302.20 c | 0 | 4288 2578 20914 | 5000 0 nan | 0.000 % | 302.10/302.24 c | 100 | 4288 2578 20914 | 5500 100 40 | 1.403 % | 302.10/302.26 c | 251 | 4288 2578 20914 | 6050 251 36 | 1.403 % | 302.10/302.29 c | 477 | 4288 2578 20914 | 6655 477 44 | 1.403 % | 302.20/302.34 c | 814 | 4288 2578 20914 | 7320 814 42 | 1.403 % | 302.31/302.44 c | 1320 | 4288 2578 20914 | 8052 1320 43 | 1.403 % | 302.40/302.56 c | 2079 | 4288 2578 20914 | 8857 2079 53 | 1.403 % | 302.60/302.74 c | 3219 | 4288 2578 20914 | 9743 3219 65 | 1.403 % | 302.80/302.99 c | 4929 | 4288 2578 20914 | 10717 4929 65 | 1.403 % | 303.40/303.54 c | 7493 | 4288 2578 20914 | 11789 7493 69 | 1.403 % | 304.30/304.45 c | 11338 | 4288 2578 20914 | 12968 11338 78 | 1.403 % | 305.71/305.83 c | 17104 | 4288 2578 20914 | 14265 10516 92 | 1.403 % | 308.70/308.85 c | 25753 | 4288 2578 20914 | 15692 11763 103 | 1.403 % | 313.89/314.09 c | 38727 | 4284 2578 20914 | 17261 8473 123 | 1.495 % | 322.59/322.72 c | 58188 | 4284 2578 20914 | 18987 10376 131 | 1.495 % | 335.49/335.66 c | 87385 | 4284 2578 20914 | 20886 10443 155 | 1.495 % | 358.59/358.79 c | 131174 | 4284 2578 20914 | 22974 11455 188 | 1.495 % | 407.17/407.31 c | 196861 | 4284 2578 20914 | 25272 18223 177 | 1.495 % | 474.35/474.55 c | 295387 | 4284 2578 20914 | 27799 13576 143 | 1.495 % | 565.02/565.28 c | 443177 | 4283 2578 20914 | 30579 27706 121 | 1.518 % | 669.19/669.49 c =============================================================================== 679.29/679.51 c core #220 679.29/679.51 c 679.29/679.51 c 679.29/679.51 c Core size: 344 Core Weight: 1 Total Weight: 220 679.29/679.51 c 679.29/679.51 c 679.29/679.51 c ============================[ Search Statistics ]============================== 679.29/679.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 679.29/679.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 679.29/679.51 c =============================================================================== 679.29/679.51 c | 0 | 4631 2579 21599 | 5000 0 nan | 0.000 % | 679.39/679.68 c | 100 | 4631 2579 21599 | 5500 100 219 | 1.279 % | 679.49/679.71 c | 252 | 4631 2579 21599 | 6050 252 123 | 1.279 % | 679.49/679.75 c | 479 | 4631 2579 21599 | 6655 479 113 | 1.279 % | 679.49/679.79 c | 817 | 4631 2579 21599 | 7320 817 99 | 1.279 % | 679.60/679.88 c | 1323 | 4631 2579 21599 | 8052 1323 112 | 1.279 % | 679.79/680.02 c | 2082 | 4631 2579 21599 | 8857 2082 144 | 1.279 % | 679.99/680.25 c | 3221 | 4631 2579 21599 | 9743 3221 158 | 1.279 % | 680.38/680.64 c | 4929 | 4631 2579 21599 | 10717 4929 158 | 1.279 % | 680.99/681.29 c | 7495 | 4631 2579 21599 | 11789 7495 177 | 1.279 % | 682.29/682.58 c | 11340 | 4631 2579 21599 | 12968 11340 216 | 1.279 % | 684.49/684.77 c | 17107 | 4631 2579 21599 | 14265 10477 247 | 1.279 % | 687.49/687.75 c | 25761 | 4631 2579 21599 | 15692 11150 237 | 1.279 % | 693.49/693.76 c | 38738 | 4631 2579 21599 | 17261 15950 300 | 1.279 % | 702.38/702.68 c | 58202 | 4631 2579 21599 | 18987 17648 266 | 1.279 % | 716.48/716.77 c | 87396 | 4630 2579 21599 | 20886 16826 278 | 1.300 % | 737.08/737.35 c | 131190 | 4630 2579 21599 | 22974 17627 292 | 1.300 % | 787.16/787.44 c | 196874 | 4630 2579 21599 | 25272 12328 309 | 1.300 % | 893.73/894.09 c | 295402 | 4629 2579 21599 | 27799 18112 375 | 1.322 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680526-1277457297/watcher-2680526-1277457297 -o /tmp/evaluation-result-2680526-1277457297/solver-2680526-1277457297 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680526-1277457297.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: 1.00 1.00 0.93 3/105 29822 /proc/meminfo: memFree=1881380/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=2820 CPUtime=0 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 321 0 0 0 0 0 0 0 25 0 1 0 87023221 2887680 239 1992294400 134512640 135752675 4294072464 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 705 239 141 303 0 381 0 [startup+0.0747731 s] /proc/loadavg: 1.00 1.00 0.93 3/105 29822 /proc/meminfo: memFree=1881380/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=3400 CPUtime=0.06 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 502 0 0 0 6 0 0 0 18 0 1 0 87023221 3481600 401 1992294400 134512640 135752675 4294072464 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 850 401 145 303 0 545 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3400 [startup+0.101776 s] /proc/loadavg: 1.00 1.00 0.93 3/105 29822 /proc/meminfo: memFree=1881380/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=3528 CPUtime=0.09 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 556 0 0 0 9 0 0 0 18 0 1 0 87023221 3612672 455 1992294400 134512640 135752675 4294072464 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 882 455 145 303 0 577 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3528 [startup+0.300797 s] /proc/loadavg: 1.00 1.00 0.93 3/105 29822 /proc/meminfo: memFree=1881380/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=5200 CPUtime=0.29 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 971 0 0 0 28 1 0 0 18 0 1 0 87023221 5324800 870 1992294400 134512640 135752675 4294072464 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 1300 870 145 303 0 995 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5200 [startup+0.70084 s] /proc/loadavg: 1.00 1.00 0.93 3/105 29822 /proc/meminfo: memFree=1881380/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=8284 CPUtime=0.69 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 1739 0 0 0 67 2 0 0 18 0 1 0 87023221 8482816 1638 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 2071 1638 145 303 0 1766 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8284 [startup+1.50092 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29823 /proc/meminfo: memFree=1873188/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=13552 CPUtime=1.49 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 3062 0 0 0 145 4 0 0 19 0 1 0 87023221 13877248 2961 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 3388 2961 145 303 0 3083 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13552 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29823 /proc/meminfo: memFree=1865128/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=25380 CPUtime=3.09 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 6020 0 0 0 302 7 0 0 25 0 1 0 87023221 25989120 5919 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 6345 5919 145 303 0 6040 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25380 [startup+6.30143 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29823 /proc/meminfo: memFree=1841196/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=46180 CPUtime=6.29 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 11205 0 0 0 616 13 0 0 25 0 1 0 87023221 47288320 11104 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 11545 11104 145 303 0 11240 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46180 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29825 /proc/meminfo: memFree=1805236/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=81156 CPUtime=12.69 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 19936 0 0 0 1246 23 0 0 25 0 1 0 87023221 83103744 19835 1992294400 134512640 135752675 4294072464 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 20289 19835 145 303 0 19984 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81156 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29825 /proc/meminfo: memFree=1744476/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=139852 CPUtime=25.48 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 34607 0 0 0 2508 40 0 0 25 0 1 0 87023221 143208448 34506 1992294400 134512640 135752675 4294072464 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 34963 34506 145 303 0 34658 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 139852 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29825 /proc/meminfo: memFree=1643788/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=241132 CPUtime=51.07 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 59910 0 0 0 5036 71 0 0 25 0 1 0 87023221 246919168 59809 1992294400 134512640 135752675 4294072464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 60283 59809 145 303 0 59978 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 241132 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29827 /proc/meminfo: memFree=1400624/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=482144 CPUtime=102.27 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 120149 0 0 0 10085 142 0 0 25 0 1 0 87023221 493715456 120048 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 120536 120048 145 303 0 120231 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 482144 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29829 /proc/meminfo: memFree=1172712/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=711776 CPUtime=162.25 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 177525 0 0 0 16017 208 0 0 25 0 1 0 87023221 728858624 177424 1992294400 134512640 135752675 4294072464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 177944 177424 145 303 0 177639 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 711776 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29829 /proc/meminfo: memFree=1080332/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=801396 CPUtime=222.22 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 200027 0 0 0 21950 272 0 0 25 0 1 0 87023221 820629504 199897 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 200349 199897 146 303 0 200044 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 801396 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29831 /proc/meminfo: memFree=1000972/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=881056 CPUtime=282.21 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 219951 0 0 0 27866 355 0 0 25 0 1 0 87023221 902201344 219821 1992294400 134512640 135752675 4294072464 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 220264 219821 146 303 0 219959 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 881056 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29833 /proc/meminfo: memFree=918264/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=963204 CPUtime=342.19 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 240465 0 0 0 33793 426 0 0 25 0 1 0 87023221 986320896 240335 1992294400 134512640 135752675 4294072464 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 240801 240335 146 303 0 240496 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 963204 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29835 /proc/meminfo: memFree=841012/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1040472 CPUtime=402.17 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 259763 0 0 0 39744 473 0 0 25 0 1 0 87023221 1065443328 259633 1992294400 134512640 135752675 4294072464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 260118 259633 146 303 0 259813 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1040472 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29837 /proc/meminfo: memFree=774548/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1106732 CPUtime=462.16 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 276307 0 0 0 45695 521 0 0 25 0 1 0 87023221 1133293568 276177 1992294400 134512640 135752675 4294072464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 276683 276177 146 303 0 276378 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1106732 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29837 /proc/meminfo: memFree=707588/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1174224 CPUtime=522.13 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 293151 0 0 0 51641 572 0 0 25 0 1 0 87023221 1202405376 293021 1992294400 134512640 135752675 4294072464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 293556 293021 146 303 0 293251 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1174224 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29839 /proc/meminfo: memFree=641496/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1239812 CPUtime=582.12 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 309520 0 0 0 57578 634 0 0 25 0 1 0 87023221 1269567488 309390 1992294400 134512640 135752675 4294072464 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 309953 309390 146 303 0 309648 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1239812 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29841 /proc/meminfo: memFree=574908/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1305756 CPUtime=642.1 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 325978 0 0 0 63530 680 0 0 25 0 1 0 87023221 1337094144 325848 1992294400 134512640 135752675 4294072464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 326439 325848 146 303 0 326134 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1305756 [startup+702.302 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29843 /proc/meminfo: memFree=512536/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1368288 CPUtime=702.08 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 341778 0 0 0 69463 745 0 0 25 0 1 0 87023221 1401126912 341648 1992294400 134512640 135752675 4294072464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 342072 341648 146 303 0 341767 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1368288 [startup+762.309 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29845 /proc/meminfo: memFree=380352/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1499200 CPUtime=762.07 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 374476 0 0 0 75392 815 0 0 25 0 1 0 87023221 1535180800 374346 1992294400 134512640 135752675 4294072464 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 374800 374346 146 303 0 374495 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1499200 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29845 /proc/meminfo: memFree=286980/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1593412 CPUtime=822.05 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 398019 0 0 0 81343 862 0 0 25 0 1 0 87023221 1631653888 397889 1992294400 134512640 135752675 4294072464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 398353 397889 146 303 0 398048 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1593412 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29847 /proc/meminfo: memFree=203156/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1676052 CPUtime=882.03 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 418679 0 0 0 87306 897 0 0 25 0 1 0 87023221 1716277248 418549 1992294400 134512640 135752675 4294072464 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 419013 418549 146 303 0 418708 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1676052 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29849 /proc/meminfo: memFree=116728/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1763256 CPUtime=942.01 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 440443 0 0 0 93250 951 0 0 25 0 1 0 87023221 1805574144 440313 1992294400 134512640 135752675 4294072464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 440814 440313 146 303 0 440509 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1763256 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+999.701 s] /proc/loadavg: 1.00 1.00 0.93 2/106 29851 /proc/meminfo: memFree=35756/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=1843232 CPUtime=999.4 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4202496 460416 0 0 0 98947 993 0 0 25 0 1 0 87023221 1887469568 460286 1992294400 134512640 135752675 4294072464 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29822/statm: 460808 460286 146 303 0 460503 0 Current children cumulated CPU time (s) 999.4 Current children cumulated vsize (KiB) 1843232 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+999.809 s] /proc/loadavg: 1.00 1.00 0.93 2/107 29852 /proc/meminfo: memFree=1125584/2059040 swapFree=4139628/4192956 [pid=29822] ppid=29820 vsize=0 CPUtime=999.51 /proc/29822/stat : 29822 (wbo1.4b) R 29820 29822 29516 0 -1 4203524 460416 0 0 0 98947 1004 0 0 25 0 1 0 87023221 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29822/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 999.51 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 999.872 CPU time (s): 999.576 CPU user time (s): 989.475 CPU system time (s): 10.1015 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 1843232 getrusage(RUSAGE_CHILDREN,...) data: user time used= 989.475 system time used= 10.1015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460416 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= 15 involuntary context switches= 1048 runsolver used 1.60376 second user time and 4.79427 second system time The end
Begin job on node082 at 2010-06-25 11:14:57 IDJOB=2680526 IDBENCH=2881 IDSOLVER=1190 FILE ID=node082/2680526-1277457297 PBS_JOBID= 11188108 Free space on /tmp= 62360 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680526-1277457297/watcher-2680526-1277457297 -o /tmp/evaluation-result-2680526-1277457297/solver-2680526-1277457297 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680526-1277457297.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd RANDOM SEED=2052467025 node082.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1881908 kB Buffers: 11848 kB Cached: 63328 kB SwapCached: 6156 kB Active: 34796 kB Inactive: 53888 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1881908 kB SwapTotal: 4192956 kB SwapFree: 4139628 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 12216 kB Mapped: 11944 kB Slab: 66564 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181704 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62356 MiB End job on node082 at 2010-06-25 11:31:39