Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.2 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_5.opb |
MD5SUM | 2b02b42135ec6f53aa7a47afb99951df |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -112 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -110 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 500 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 21 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6270 |
Sum of products size (including duplicates) | 12540 |
Number of different products | 3135 |
Sum of products size | 6270 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702519-1278569154.opb. 0.00/0.00 c Instance file HOME/instance-2702519-1278569154.opb 0.00/0.00 c File size is 268724 bytes. 0.00/0.04 c Highest Coefficient sum: 21 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3635 | 0.00/0.04 c | Number Clauses: 3135 | 0.00/0.04 c | Number Cardinality: 1000 | 0.00/0.04 c | Number PB Constraints: 3135 | 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 500 7270 15085 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 0 0.00/0.06 o 0 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7271 15585 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -1 0.00/0.06 o -1 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7272 16085 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -2 0.00/0.06 o -2 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7273 16585 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -3 0.00/0.06 o -3 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 500 7274 17085 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: -4 0.00/0.06 o -4 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 179.936 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 1 | 500 7275 17585 | 5000 1 497 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -5 0.00/0.07 o -5 0.00/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 179.933 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 2 | 500 7276 18085 | 5000 2 496 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -6 0.00/0.07 o -6 0.00/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 179.932 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 2 | 500 7277 18585 | 5000 2 496 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -7 0.00/0.07 o -7 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 2 | 500 7278 19085 | 5000 2 496 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: -8 0.00/0.07 o -8 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 3 | 500 7279 19585 | 5000 3 495 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: -9 0.00/0.08 o -9 0.00/0.08 c Elapsed CPU time: 0.074988 s Remaining CPU time: 179.925 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 4 | 500 7280 20085 | 5000 4 494 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: -10 0.00/0.08 o -10 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 4 | 500 7281 20585 | 5000 4 494 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: -11 0.00/0.08 o -11 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 9 | 500 7282 21085 | 5000 9 492 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: -12 0.00/0.09 o -12 0.00/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 179.915 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 12 | 500 7283 21585 | 5000 12 491 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: -13 0.00/0.09 o -13 0.00/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 179.912 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 17 | 500 7284 22085 | 5000 17 490 | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c New solution: -14 0.00/0.09 o -14 0.00/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 179.908 s 0.00/0.09 c =============================================================================== 0.00/0.09 c | 20 | 500 7285 22585 | 5000 20 490 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: -15 0.09/0.10 o -15 0.09/0.10 c Elapsed CPU time: 0.096985 s Remaining CPU time: 179.903 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 33 | 500 7286 23085 | 5000 33 489 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -16 0.09/0.11 o -16 0.09/0.11 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 44 | 500 7287 23585 | 5000 44 488 | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -17 0.09/0.11 o -17 0.09/0.11 c Elapsed CPU time: 0.105983 s Remaining CPU time: 179.894 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 51 | 500 7288 24085 | 5000 51 488 | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: -18 0.09/0.12 o -18 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 179.886 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 82 | 500 7289 24585 | 5000 82 486 | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: -19 0.09/0.13 o -19 0.09/0.13 c Elapsed CPU time: 0.119981 s Remaining CPU time: 179.88 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 112 | 500 7290 25085 | 5000 112 485 | 0.000 % | 0.09/0.14 c | 213 | 500 7290 25085 | 5500 213 484 | 86.245 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: -20 0.09/0.15 o -20 0.09/0.15 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 245 | 500 7291 25585 | 5000 245 483 | 86.245 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: -21 0.09/0.17 o -21 0.09/0.17 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 324 | 500 7292 26085 | 5000 324 483 | 86.245 % | 0.09/0.18 c | 425 | 500 7292 26085 | 5500 425 482 | 86.245 % | 0.19/0.21 c | 576 | 500 7292 26085 | 6050 576 481 | 86.245 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -22 0.19/0.23 o -22 0.19/0.23 c Elapsed CPU time: 0.212967 s Remaining CPU time: 179.787 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 623 | 500 7293 26585 | 5000 623 481 | 86.245 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: -23 0.19/0.23 o -23 0.19/0.23 c Elapsed CPU time: 0.220966 s Remaining CPU time: 179.779 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 655 | 500 7294 27085 | 5000 655 481 | 86.245 % | 0.19/0.25 c | 757 | 500 7294 27085 | 5500 757 481 | 86.245 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: -24 0.19/0.27 o -24 0.19/0.27 c Elapsed CPU time: 0.253961 s Remaining CPU time: 179.746 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 817 | 500 7295 27585 | 5000 817 480 | 86.245 % | 0.19/0.29 c | 918 | 500 7295 27585 | 5500 918 480 | 86.245 % | 0.29/0.33 c | 1068 | 500 7295 27585 | 6050 1068 480 | 86.245 % | 0.29/0.37 c | 1294 | 500 7295 27585 | 6655 1294 480 | 86.245 % | 0.39/0.46 c | 1632 | 500 7295 27585 | 7320 1632 479 | 86.245 % | 0.49/0.59 c | 2139 | 500 7295 27585 | 8052 2139 479 | 86.245 % | 0.79/0.82 c | 2898 | 500 7295 27585 | 8857 2898 479 | 86.245 % | 1.10/1.13 c | 4037 | 500 7295 27585 | 9743 4037 478 | 86.245 % | 1.69/1.70 c | 5745 | 500 7295 27585 | 10717 5745 478 | 86.245 % | 2.30/2.32 c =============================================================================== 2.30/2.32 c New solution: -25 2.30/2.32 o -25 2.30/2.32 c Elapsed CPU time: 2.26765 s Remaining CPU time: 177.732 s 2.30/2.32 c =============================================================================== 2.30/2.32 c | 7655 | 500 7296 28085 | 5000 7655 477 | 86.245 % | 2.30/2.35 c | 7756 | 500 7296 28085 | 5500 7756 477 | 86.245 % | 2.30/2.38 c | 7907 | 500 7296 28085 | 6050 7907 477 | 86.245 % | 2.39/2.48 c | 8133 | 500 7296 28085 | 6655 8133 477 | 86.245 % | 2.59/2.60 c =============================================================================== 2.59/2.60 c New solution: -26 2.59/2.60 o -26 2.59/2.60 c Elapsed CPU time: 2.54361 s Remaining CPU time: 177.456 s 2.59/2.60 c =============================================================================== 2.59/2.60 c | 8359 | 500 7297 28585 | 5000 8359 477 | 86.245 % | 2.59/2.66 c =============================================================================== 2.59/2.66 c New solution: -27 2.59/2.66 o -27 2.59/2.66 c Elapsed CPU time: 2.6066 s Remaining CPU time: 177.393 s 2.59/2.66 c =============================================================================== 2.59/2.66 c | 8411 | 500 7298 29085 | 5000 4232 476 | 86.245 % | 2.69/2.71 c | 8512 | 500 7298 29085 | 5500 4333 476 | 86.245 % | 2.79/2.80 c | 8662 | 500 7298 29085 | 6050 4483 476 | 86.245 % | 2.89/2.94 c | 8889 | 500 7298 29085 | 6655 4710 476 | 86.245 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c New solution: -28 2.89/2.99 o -28 2.89/2.99 c Elapsed CPU time: 2.93455 s Remaining CPU time: 177.065 s 2.89/2.99 c =============================================================================== 2.89/2.99 c | 8982 | 500 7299 29585 | 5000 4803 476 | 86.245 % | 2.99/3.03 c | 9083 | 500 7299 29585 | 5500 4904 476 | 86.245 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c New solution: -29 2.99/3.05 o -29 2.99/3.05 c Elapsed CPU time: 2.98655 s Remaining CPU time: 177.013 s 2.99/3.05 c =============================================================================== 2.99/3.05 c | 9113 | 500 7300 30085 | 5000 4934 476 | 86.245 % | 2.99/3.09 c | 9214 | 500 7300 30085 | 5500 5035 476 | 86.245 % | 3.09/3.14 c | 9364 | 500 7300 30085 | 6050 5185 475 | 86.245 % | 3.19/3.23 c | 9590 | 500 7300 30085 | 6655 5411 475 | 86.245 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c New solution: -30 3.29/3.32 o -30 3.29/3.32 c Elapsed CPU time: 3.2505 s Remaining CPU time: 176.749 s 3.29/3.32 c =============================================================================== 3.29/3.32 c | 9845 | 500 7301 30585 | 5000 5666 475 | 86.245 % | 3.29/3.37 c | 9946 | 500 7301 30585 | 5500 5767 475 | 86.245 % | 3.39/3.41 c | 10097 | 500 7301 30585 | 6050 5918 475 | 86.245 % | 3.39/3.46 c | 10323 | 500 7301 30585 | 6655 6144 475 | 86.245 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c New solution: -31 3.39/3.47 o -31 3.39/3.47 c Elapsed CPU time: 3.40548 s Remaining CPU time: 176.595 s 3.39/3.47 c =============================================================================== 3.39/3.47 c | 10352 | 500 7302 31085 | 5000 6173 475 | 86.245 % | 3.49/3.51 c | 10452 | 500 7302 31085 | 5500 6273 475 | 86.245 % | 3.49/3.56 c | 10602 | 500 7302 31085 | 6050 6423 475 | 86.245 % | 3.59/3.64 c | 10828 | 500 7302 31085 | 6655 6649 474 | 86.245 % | 3.69/3.74 c | 11166 | 500 7302 31085 | 7320 6987 474 | 86.245 % | 3.79/3.88 c | 11672 | 500 7302 31085 | 8052 7493 474 | 86.245 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c New solution: -32 3.99/4.06 o -32 3.99/4.06 c Elapsed CPU time: 3.98039 s Remaining CPU time: 176.02 s 3.99/4.06 c =============================================================================== 3.99/4.06 c | 12239 | 500 7303 31585 | 5000 8060 474 | 86.245 % | 4.09/4.17 c | 12339 | 500 7303 31585 | 5500 8160 473 | 86.245 % | 4.19/4.24 c | 12490 | 500 7303 31585 | 6050 8311 473 | 86.245 % | 4.29/4.34 c | 12716 | 500 7303 31585 | 6655 8537 473 | 86.245 % | 4.40/4.46 c | 13054 | 500 7303 31585 | 7320 8875 473 | 86.245 % | 4.59/4.64 c | 13562 | 500 7303 31585 | 8052 9383 473 | 86.245 % | 4.69/4.78 c =============================================================================== 4.69/4.78 c New solution: -33 4.69/4.78 o -33 4.69/4.78 c Elapsed CPU time: 4.68329 s Remaining CPU time: 175.317 s 4.69/4.78 c =============================================================================== 4.69/4.78 c | 13942 | 500 7304 32085 | 5000 9763 473 | 86.245 % | 4.79/4.87 c | 14043 | 500 7304 32085 | 5500 4983 470 | 86.245 % | 4.89/4.94 c | 14194 | 500 7304 32085 | 6050 5134 469 | 86.245 % | 4.99/5.03 c | 14419 | 500 7304 32085 | 6655 5359 469 | 86.245 % | 4.99/5.08 c =============================================================================== 4.99/5.08 c New solution: -34 4.99/5.08 o -34 4.99/5.08 c Elapsed CPU time: 4.98024 s Remaining CPU time: 175.02 s 4.99/5.08 c =============================================================================== 4.99/5.08 c | 14545 | 500 7305 32585 | 5000 5485 469 | 86.245 % | 5.09/5.13 c | 14645 | 500 7305 32585 | 5500 5585 469 | 86.245 % | 5.19/5.20 c | 14796 | 500 7305 32585 | 6050 5736 469 | 86.245 % | 5.19/5.27 c =============================================================================== 5.19/5.27 c New solution: -35 5.19/5.27 o -35 5.19/5.27 c Elapsed CPU time: 5.17221 s Remaining CPU time: 174.828 s 5.19/5.27 c =============================================================================== 5.19/5.27 c | 14964 | 500 7306 33085 | 5000 5904 469 | 86.245 % | 5.29/5.31 c | 15064 | 500 7306 33085 | 5500 6004 469 | 86.245 % | 5.29/5.37 c | 15215 | 500 7306 33085 | 6050 6155 469 | 86.245 % | 5.39/5.42 c | 15441 | 500 7306 33085 | 6655 6381 469 | 86.245 % | 5.50/5.51 c | 15778 | 500 7306 33085 | 7320 6718 469 | 86.245 % | 5.60/5.61 c | 16285 | 500 7306 33085 | 8052 7225 469 | 86.245 % | 5.79/5.84 c | 17045 | 500 7306 33085 | 8857 7985 468 | 86.245 % | 6.09/6.17 c | 18185 | 500 7306 33085 | 9743 9125 468 | 86.245 % | 6.59/6.66 c | 19894 | 500 7306 33085 | 10717 10834 467 | 86.245 % | 7.69/7.71 c | 22456 | 500 7306 33085 | 11789 13396 467 | 86.245 % | 7.79/7.86 c =============================================================================== 7.79/7.86 c New solution: -36 7.79/7.86 o -36 7.79/7.86 c Elapsed CPU time: 7.73382 s Remaining CPU time: 172.266 s 7.79/7.86 c =============================================================================== 7.79/7.86 c | 22801 | 500 7307 33585 | 5000 13741 467 | 86.245 % | 7.89/7.99 c | 22901 | 500 7307 33585 | 5500 6971 465 | 86.245 % | 7.99/8.03 c | 23051 | 500 7307 33585 | 6050 7121 465 | 86.245 % | 7.99/8.08 c | 23277 | 500 7307 33585 | 6655 7347 465 | 86.245 % | 8.09/8.16 c | 23614 | 500 7307 33585 | 7320 7684 465 | 86.245 % | 8.29/8.31 c | 24121 | 500 7307 33585 | 8052 8191 465 | 86.245 % | 8.49/8.54 c | 24880 | 500 7307 33585 | 8857 8950 465 | 86.245 % | 8.90/8.97 c | 26019 | 500 7307 33585 | 9743 10089 465 | 86.245 % | 9.69/9.78 c | 27728 | 500 7307 33585 | 10717 11798 465 | 86.245 % | 10.58/10.68 c =============================================================================== 10.58/10.68 c New solution: -37 10.58/10.68 o -37 10.58/10.68 c Elapsed CPU time: 10.5184 s Remaining CPU time: 169.482 s 10.58/10.68 c =============================================================================== 10.58/10.68 c | 29189 | 500 7308 34085 | 5000 13259 465 | 86.245 % | 10.79/10.84 c | 29290 | 500 7308 34085 | 5500 6731 464 | 86.245 % | 10.89/10.92 c | 29440 | 500 7308 34085 | 6050 6881 464 | 86.245 % | 10.89/10.98 c | 29665 | 500 7308 34085 | 6655 7106 464 | 86.245 % | 11.19/11.21 c | 30002 | 500 7308 34085 | 7320 7443 464 | 86.245 % | 11.39/11.40 c =============================================================================== 11.39/11.40 c New solution: -38 11.39/11.40 o -38 11.39/11.40 c Elapsed CPU time: 11.2333 s Remaining CPU time: 168.767 s 11.39/11.40 c =============================================================================== 11.39/11.40 c | 30263 | 500 7309 34585 | 5000 7704 464 | 86.245 % | 11.39/11.49 c | 30363 | 500 7309 34585 | 5500 7804 464 | 86.245 % | 11.59/11.61 c | 30513 | 500 7309 34585 | 6050 7954 464 | 86.245 % | 11.69/11.73 c | 30738 | 500 7309 34585 | 6655 8179 464 | 86.245 % | 11.89/11.93 c | 31075 | 500 7309 34585 | 7320 8516 464 | 86.245 % | 12.10/12.16 c =============================================================================== 12.10/12.16 c New solution: -39 12.10/12.16 o -39 12.10/12.16 c Elapsed CPU time: 11.9882 s Remaining CPU time: 168.012 s 12.10/12.16 c =============================================================================== 12.10/12.16 c | 31420 | 500 7310 35085 | 5000 8861 464 | 86.245 % | 12.20/12.24 c | 31521 | 500 7310 35085 | 5500 4532 464 | 86.245 % | 12.29/12.32 c | 31672 | 500 7310 35085 | 6050 4683 464 | 86.245 % | 12.39/12.46 c | 31898 | 500 7310 35085 | 6655 4909 464 | 86.245 % | 12.58/12.63 c | 32236 | 500 7310 35085 | 7320 5247 463 | 86.245 % | 12.78/12.86 c | 32743 | 500 7310 35085 | 8052 5754 463 | 86.245 % | 13.09/13.15 c | 33503 | 500 7310 35085 | 8857 6514 463 | 86.245 % | 13.69/13.78 c | 34642 | 500 7310 35085 | 9743 7653 463 | 86.245 % | 14.79/14.82 c | 36351 | 500 7310 35085 | 10717 9362 463 | 86.245 % | 16.69/16.75 c =============================================================================== 16.69/16.75 c New solution: -40 16.69/16.75 o -40 16.69/16.75 c Elapsed CPU time: 16.5465 s Remaining CPU time: 163.454 s 16.69/16.75 c =============================================================================== 16.69/16.75 c | 38299 | 500 7311 35585 | 5000 11310 463 | 86.245 % | 16.78/16.82 c | 38399 | 500 7311 35585 | 5500 5755 462 | 86.245 % | 16.78/16.88 c | 38549 | 500 7311 35585 | 6050 5905 462 | 86.245 % | 16.99/17.01 c | 38775 | 500 7311 35585 | 6655 6131 462 | 86.245 % | 17.09/17.12 c | 39113 | 500 7311 35585 | 7320 6469 462 | 86.245 % | 17.28/17.30 c | 39619 | 500 7311 35585 | 8052 6975 462 | 86.245 % | 17.28/17.37 c =============================================================================== 17.28/17.37 c New solution: -41 17.28/17.37 o -41 17.28/17.37 c Elapsed CPU time: 17.1544 s Remaining CPU time: 162.846 s 17.28/17.37 c =============================================================================== 17.28/17.37 c | 39832 | 500 7312 36085 | 5000 7188 462 | 86.245 % | 17.38/17.43 c | 39932 | 500 7312 36085 | 5500 7288 462 | 86.245 % | 17.49/17.50 c | 40082 | 500 7312 36085 | 6050 7438 462 | 86.245 % | 17.49/17.59 c | 40308 | 500 7312 36085 | 6655 7664 462 | 86.245 % | 17.60/17.69 c | 40645 | 500 7312 36085 | 7320 8001 462 | 86.245 % | 17.88/17.99 c | 41152 | 500 7312 36085 | 8052 8508 461 | 86.245 % | 18.39/18.48 c | 41911 | 500 7312 36085 | 8857 9267 461 | 86.245 % | 18.99/19.05 c | 43051 | 500 7312 36085 | 9743 10407 461 | 86.245 % | 20.09/20.13 c | 44760 | 500 7312 36085 | 10717 12116 461 | 86.245 % | 21.59/21.66 c | 47322 | 500 7312 36085 | 11789 7520 460 | 86.245 % | 23.99/24.04 c | 51166 | 500 7312 36085 | 12968 11364 460 | 86.245 % | 26.79/26.83 c =============================================================================== 26.79/26.83 c New solution: -42 26.79/26.83 o -42 26.79/26.83 c Elapsed CPU time: 26.529 s Remaining CPU time: 153.471 s 26.79/26.83 c =============================================================================== 26.79/26.83 c | 55126 | 500 7313 36585 | 5000 15324 460 | 86.245 % | 26.88/26.98 c | 55227 | 500 7313 36585 | 5500 7763 459 | 86.245 % | 27.08/27.14 c | 55377 | 500 7313 36585 | 6050 7913 459 | 86.245 % | 27.38/27.46 c | 55602 | 500 7313 36585 | 6655 8138 459 | 86.245 % | 27.79/27.81 c | 55940 | 500 7313 36585 | 7320 8476 459 | 86.245 % | 28.09/28.19 c | 56449 | 500 7313 36585 | 8052 8985 459 | 86.245 % | 28.98/29.05 c | 57209 | 500 7313 36585 | 8857 9745 459 | 86.245 % | 30.68/30.76 c | 58349 | 500 7313 36585 | 9743 10885 459 | 86.245 % | 32.58/32.68 c | 60057 | 500 7313 36585 | 10717 12593 459 | 86.245 % | 35.78/35.89 c | 62620 | 500 7313 36585 | 11789 8002 459 | 86.245 % | 39.38/39.49 c | 66465 | 500 7313 36585 | 12968 11847 459 | 86.245 % | 42.98/43.09 c | 72231 | 500 7313 36585 | 14265 9333 459 | 86.245 % | 47.39/47.45 c | 80881 | 500 7313 36585 | 15692 9052 459 | 86.245 % | 50.48/50.58 c =============================================================================== 50.48/50.58 c New solution: -43 50.48/50.58 o -43 50.48/50.58 c Elapsed CPU time: 50.0824 s Remaining CPU time: 129.918 s 50.48/50.58 c =============================================================================== 50.48/50.58 c | 87088 | 500 7314 37085 | 5000 15259 459 | 86.245 % | 50.58/50.69 c | 87188 | 500 7314 37085 | 5500 7730 459 | 86.245 % | 50.69/50.74 c | 87338 | 500 7314 37085 | 6050 7880 459 | 86.245 % | 50.88/50.93 c | 87563 | 500 7314 37085 | 6655 8105 459 | 86.245 % | 51.08/51.14 c | 87900 | 500 7314 37085 | 7320 8442 459 | 86.245 % | 51.48/51.50 c | 88406 | 500 7314 37085 | 8052 8948 459 | 86.245 % | 52.08/52.14 c | 89165 | 500 7314 37085 | 8857 9707 459 | 86.245 % | 52.68/52.71 c | 90304 | 500 7314 37085 | 9743 10846 458 | 86.245 % | 53.38/53.41 c | 92013 | 500 7314 37085 | 10717 12555 458 | 86.245 % | 54.77/54.80 c | 94576 | 500 7314 37085 | 11789 7962 458 | 86.245 % | 56.68/56.72 c | 98421 | 500 7314 37085 | 12968 11807 458 | 86.245 % | 59.18/59.24 c | 104187 | 500 7314 37085 | 14265 9292 458 | 86.245 % | 63.97/64.06 c | 112837 | 500 7314 37085 | 15692 9015 458 | 86.245 % | 70.39/70.47 c | 125812 | 500 7314 37085 | 17261 12351 458 | 86.245 % | 80.57/80.62 c | 145273 | 500 7314 37085 | 18987 10956 457 | 86.245 % | 84.07/84.13 c =============================================================================== 84.07/84.13 c New solution: -44 84.07/84.13 o -44 84.07/84.13 c Elapsed CPU time: 83.2773 s Remaining CPU time: 96.7227 s 84.07/84.13 c =============================================================================== 84.07/84.13 c | 156358 | 500 7315 37585 | 5000 22041 457 | 86.245 % | 84.57/84.64 c | 156459 | 500 7315 37585 | 5500 5426 457 | 86.245 % | 84.68/84.72 c | 156609 | 500 7315 37585 | 6050 5576 457 | 86.245 % | 84.68/84.80 c | 156834 | 500 7315 37585 | 6655 5801 457 | 86.245 % | 84.87/84.92 c | 157171 | 500 7315 37585 | 7320 6138 457 | 86.245 % | 84.97/85.09 c | 157677 | 500 7315 37585 | 8052 6644 457 | 86.245 % | 85.27/85.35 c | 158436 | 500 7315 37585 | 8857 7403 457 | 86.245 % | 85.57/85.60 c =============================================================================== 85.57/85.60 c New solution: -45 85.57/85.60 o -45 85.57/85.60 c Elapsed CPU time: 84.7321 s Remaining CPU time: 95.2679 s 85.57/85.60 c =============================================================================== 85.57/85.60 c | 159027 | 500 7316 38085 | 5000 7994 457 | 86.245 % | 85.57/85.65 c | 159128 | 500 7316 38085 | 5500 8095 457 | 86.245 % | 85.67/85.72 c | 159279 | 500 7316 38085 | 6050 8246 457 | 86.245 % | 85.78/85.84 c | 159504 | 500 7316 38085 | 6655 8471 457 | 86.245 % | 85.97/86.02 c | 159841 | 500 7316 38085 | 7320 8808 457 | 86.245 % | 86.17/86.24 c | 160347 | 500 7316 38085 | 8052 9314 457 | 86.245 % | 86.57/86.61 c | 161106 | 500 7316 38085 | 8857 10073 457 | 86.245 % | 87.37/87.47 c | 162245 | 500 7316 38085 | 9743 11212 457 | 86.245 % | 88.27/88.39 c | 163954 | 500 7316 38085 | 10717 12921 457 | 86.245 % | 89.47/89.52 c | 166517 | 500 7316 38085 | 11789 8330 456 | 86.245 % | 90.67/90.75 c | 170362 | 500 7316 38085 | 12968 12175 456 | 86.245 % | 93.07/93.19 c | 176128 | 500 7316 38085 | 14265 9662 456 | 86.245 % | 96.47/96.57 c | 184778 | 500 7316 38085 | 15692 9385 456 | 86.245 % | 100.47/100.58 c | 197753 | 500 7316 38085 | 17261 12716 456 | 86.245 % | 111.26/111.39 c | 217216 | 500 7316 38085 | 18987 11327 455 | 86.245 % | 123.36/123.48 c | 246408 | 500 7316 38085 | 20886 16698 455 | 86.245 % | 123.57/123.60 c =============================================================================== 123.57/123.60 c New solution: -46 123.57/123.60 o -46 123.57/123.60 c Elapsed CPU time: 122.331 s Remaining CPU time: 57.6686 s 123.57/123.60 c =============================================================================== 123.57/123.60 c | 246508 | 500 7317 38585 | 5000 16798 455 | 86.245 % | 123.77/123.89 c | 246608 | 500 7317 38585 | 5500 4300 455 | 86.245 % | 123.86/123.97 c | 246758 | 500 7317 38585 | 6050 4450 455 | 86.245 % | 123.96/124.08 c | 246983 | 500 7317 38585 | 6655 4675 455 | 86.245 % | 124.16/124.23 c | 247321 | 500 7317 38585 | 7320 5013 455 | 86.245 % | 124.37/124.41 c | 247827 | 500 7317 38585 | 8052 5519 455 | 86.245 % | 124.56/124.63 c =============================================================================== 124.56/124.63 c New solution: -47 124.56/124.63 o -47 124.56/124.63 c Elapsed CPU time: 123.351 s Remaining CPU time: 56.6488 s 124.56/124.63 c =============================================================================== 124.56/124.63 c | 248546 | 500 7318 39085 | 5000 6238 455 | 86.245 % | 124.56/124.68 c | 248647 | 500 7318 39085 | 5500 6339 455 | 86.245 % | 124.66/124.78 c | 248799 | 500 7318 39085 | 6050 6491 455 | 86.245 % | 124.76/124.88 c | 249024 | 500 7318 39085 | 6655 6716 455 | 86.245 % | 124.96/125.03 c | 249361 | 500 7318 39085 | 7320 7053 455 | 86.245 % | 125.16/125.21 c | 249867 | 500 7318 39085 | 8052 7559 455 | 86.245 % | 125.36/125.43 c =============================================================================== 125.36/125.43 c New solution: -48 125.36/125.43 o -48 125.36/125.43 c Elapsed CPU time: 124.143 s Remaining CPU time: 55.8569 s 125.36/125.43 c =============================================================================== 125.36/125.43 c | 250489 | 500 7319 39585 | 5000 8181 455 | 86.245 % | 125.47/125.51 c | 250590 | 500 7319 39585 | 5500 4192 454 | 86.245 % | 125.47/125.56 c | 250741 | 500 7319 39585 | 6050 4343 454 | 86.245 % | 125.57/125.68 c | 250967 | 500 7319 39585 | 6655 4569 454 | 86.245 % | 125.76/125.84 c | 251305 | 500 7319 39585 | 7320 4907 454 | 86.245 % | 125.96/126.07 c | 251811 | 500 7319 39585 | 8052 5413 454 | 86.245 % | 126.36/126.45 c | 252570 | 500 7319 39585 | 8857 6172 454 | 86.245 % | 126.86/126.97 c | 253709 | 500 7319 39585 | 9743 7311 454 | 86.245 % | 128.16/128.25 c | 255417 | 500 7319 39585 | 10717 9019 453 | 86.245 % | 129.46/129.58 c | 257980 | 500 7319 39585 | 11789 11582 453 | 86.245 % | 131.86/131.90 c | 261825 | 500 7319 39585 | 12968 7739 453 | 86.245 % | 134.17/134.27 c | 267591 | 500 7319 39585 | 14265 13505 453 | 86.245 % | 138.95/139.06 c | 276240 | 500 7319 39585 | 15692 13226 453 | 86.245 % | 147.85/147.97 c | 289214 | 500 7319 39585 | 17261 16561 453 | 86.245 % | 160.66/160.73 c | 308675 | 500 7319 39585 | 18987 15170 453 | 86.245 % | 161.55/161.62 c =============================================================================== 161.55/161.62 c New solution: -49 161.55/161.62 o -49 161.55/161.62 c Elapsed CPU time: 160.044 s Remaining CPU time: 19.9563 s 161.55/161.62 c =============================================================================== 161.55/161.62 c | 310059 | 500 7320 40085 | 5000 16554 453 | 86.245 % | 161.85/161.92 c | 310159 | 500 7320 40085 | 5500 4239 453 | 86.245 % | 161.85/161.96 c =============================================================================== 161.85/161.96 c New solution: -50 161.85/161.96 o -50 161.85/161.96 c Elapsed CPU time: 160.389 s Remaining CPU time: 19.6114 s 161.85/161.96 c =============================================================================== 161.85/161.96 c | 310229 | 500 7321 40585 | 5000 4309 453 | 86.245 % | 161.96/162.04 c | 310329 | 500 7321 40585 | 5500 4409 453 | 86.245 % | 162.06/162.14 c | 310481 | 500 7321 40585 | 6050 4561 453 | 86.245 % | 162.15/162.27 c | 310706 | 500 7321 40585 | 6655 4786 453 | 86.245 % | 162.45/162.50 c | 311044 | 500 7321 40585 | 7320 5124 453 | 86.245 % | 162.65/162.75 c | 311550 | 500 7321 40585 | 8052 5630 453 | 86.245 % | 163.05/163.11 c | 312312 | 500 7321 40585 | 8857 6392 453 | 86.245 % | 163.55/163.62 c | 313452 | 500 7321 40585 | 9743 7532 452 | 86.245 % | 164.15/164.29 c | 315161 | 500 7321 40585 | 10717 9241 452 | 86.245 % | 165.45/165.50 c | 317723 | 500 7321 40585 | 11789 11803 452 | 86.245 % | 166.96/167.00 c | 321568 | 500 7321 40585 | 12968 7966 451 | 86.245 % | 168.95/169.04 c | 327334 | 500 7321 40585 | 14265 13732 451 | 86.245 % | 173.75/173.87 c | 335983 | 500 7321 40585 | 15692 13454 451 | 86.245 % | 179.75/179.88 c | 348957 | 500 7321 40585 | 17261 16789 451 | 86.245 % | 181.64/181.77 c There are 3135 assigned variables. 0 in cost function. 182.66/182.79 c core #1 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -499 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #2 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -498 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #3 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -497 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #4 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -496 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #5 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -495 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #6 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -494 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #7 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -493 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #8 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -492 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #9 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -491 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #10 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -490 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #11 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -489 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #12 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -488 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #13 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -487 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #14 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -486 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #15 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -485 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #16 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -484 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #17 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -483 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #18 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -482 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #19 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -481 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #20 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -480 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #21 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -479 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #22 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -478 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #23 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -477 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #24 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -476 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #25 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -475 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #26 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -474 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #27 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -473 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #28 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -472 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #29 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -471 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #30 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -470 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #31 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -469 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #32 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -468 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #33 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -467 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #34 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -466 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #35 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -465 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #36 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -464 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #37 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -463 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #38 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -462 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #39 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -461 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #40 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -460 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #41 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -459 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #42 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -458 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #43 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -457 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #44 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -456 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #45 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -455 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #46 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -454 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #47 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -453 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #48 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -452 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #49 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -451 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #50 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -450 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #51 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -449 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #52 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -448 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #53 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -447 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #54 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -446 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #55 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -445 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #56 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -444 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #57 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -443 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #58 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -442 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c core #59 182.66/182.79 c 182.66/182.79 c 182.66/182.79 c Core size: 3 Core Weight: 1 Total Weight: -441 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #60 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -440 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #61 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -439 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #62 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -438 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #63 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -437 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #64 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -436 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #65 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -435 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #66 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -434 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #67 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -433 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #68 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -432 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #69 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -431 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #70 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -430 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #71 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -429 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #72 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -428 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #73 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -427 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c core #74 183.35/183.43 c 183.35/183.43 c 183.35/183.43 c Core size: 3 Core Weight: 1 Total Weight: -426 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #75 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -425 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #76 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -424 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #77 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -423 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #78 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -422 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #79 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -421 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #80 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -420 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #81 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -419 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #82 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -418 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #83 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -417 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #84 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -416 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #85 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -415 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #86 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -414 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #87 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -413 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #88 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -412 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #89 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -411 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #90 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -410 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #91 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -409 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #92 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -408 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #93 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -407 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #94 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -406 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #95 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -405 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #96 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -404 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #97 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -403 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #98 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -402 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #99 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -401 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #100 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -400 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #101 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -399 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #102 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -398 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #103 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -397 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #104 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -396 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #105 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -395 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #106 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -394 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #107 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -393 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #108 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -392 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #109 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -391 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #110 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -390 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #111 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -389 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #112 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -388 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #113 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -387 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #114 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -386 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #115 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -385 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #116 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -384 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c core #117 183.35/183.44 c 183.35/183.44 c 183.35/183.44 c Core size: 3 Core Weight: 1 Total Weight: -383 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #118 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -382 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #119 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -381 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #120 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -380 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #121 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -379 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #122 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -378 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #123 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -377 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #124 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -376 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #125 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -375 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #126 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -374 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #127 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -373 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #128 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -372 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #129 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -371 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #130 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -370 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #131 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -369 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #132 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -368 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #133 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -367 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #134 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -366 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #135 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -365 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #136 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -364 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #137 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -363 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #138 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -362 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #139 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -361 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #140 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -360 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #141 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -359 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #142 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -358 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #143 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -357 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #144 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -356 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #145 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -355 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #146 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -354 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #147 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -353 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #148 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -352 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #149 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -351 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #150 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -350 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #151 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -349 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #152 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -348 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #153 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -347 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #154 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -346 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #155 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -345 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #156 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -344 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #157 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -343 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #158 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -342 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #159 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -341 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #160 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -340 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #161 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -339 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #162 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -338 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #163 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -337 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #164 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -336 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #165 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -335 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #166 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -334 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #167 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -333 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #168 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -332 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #169 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -331 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #170 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -330 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #171 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -329 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #172 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -328 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #173 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -327 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #174 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -326 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c core #175 184.05/184.16 c 184.05/184.16 c 184.05/184.16 c Core size: 3 Core Weight: 1 Total Weight: -325 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #176 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -324 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #177 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -323 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #178 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -322 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #179 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -321 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #180 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -320 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #181 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -319 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #182 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -318 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #183 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -317 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #184 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -316 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #185 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -315 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #186 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -314 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #187 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -313 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #188 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -312 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #189 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -311 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #190 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -310 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #191 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -309 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #192 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -308 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #193 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -307 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #194 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -306 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #195 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -305 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #196 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -304 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #197 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -303 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #198 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -302 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #199 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -301 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #200 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -300 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #201 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -299 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #202 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -298 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #203 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -297 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #204 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -296 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #205 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -295 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #206 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -294 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #207 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -293 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #208 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -292 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #209 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -291 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #210 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -290 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #211 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -289 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #212 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -288 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #213 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -287 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #214 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -286 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #215 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -285 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #216 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -284 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #217 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -283 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #218 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -282 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #219 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -281 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #220 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -280 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #221 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -279 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #222 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -278 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #223 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -277 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #224 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -276 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #225 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -275 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #226 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -274 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #227 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -273 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #228 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -272 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #229 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -271 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #230 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -270 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #231 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -269 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #232 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 3 Core Weight: 1 Total Weight: -268 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c core #233 184.86/184.96 c 184.86/184.96 c 184.86/184.96 c Core size: 7 Core Weight: 1 Total Weight: -267 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #234 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -266 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #235 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -265 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #236 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -264 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #237 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -263 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #238 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -262 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #239 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 11 Core Weight: 1 Total Weight: -261 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #240 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -260 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #241 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -259 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #242 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -258 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #243 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -257 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #244 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 11 Core Weight: 1 Total Weight: -256 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #245 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 19 Core Weight: 1 Total Weight: -255 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #246 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 7 Core Weight: 1 Total Weight: -254 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #247 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 15 Core Weight: 1 Total Weight: -253 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #248 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 15 Core Weight: 1 Total Weight: -252 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #249 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 15 Core Weight: 1 Total Weight: -251 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c core #250 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c Core size: 19 Core Weight: 1 Total Weight: -250 185.35/185.42 c 185.35/185.42 c 185.35/185.42 c ============================[ Search Statistics ]============================== 185.35/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.42 c =============================================================================== 185.35/185.42 c | 0 | 1064 7071 33398 | 5000 0 nan | 0.000 % | 185.35/185.43 c =============================================================================== 185.35/185.45 c core #251 185.35/185.45 c 185.35/185.45 c 185.35/185.45 c Core size: 16 Core Weight: 1 Total Weight: -249 185.35/185.45 c 185.35/185.45 c 185.35/185.45 c ============================[ Search Statistics ]============================== 185.35/185.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.45 c =============================================================================== 185.35/185.45 c | 0 | 1074 7072 33418 | 5000 0 nan | 0.000 % | 185.35/185.46 c =============================================================================== 185.35/185.49 c core #252 185.35/185.49 c 185.35/185.49 c 185.35/185.49 c Core size: 26 Core Weight: 1 Total Weight: -248 185.35/185.49 c 185.35/185.49 c 185.35/185.49 c ============================[ Search Statistics ]============================== 185.35/185.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.49 c =============================================================================== 185.35/185.49 c | 0 | 1098 7073 33466 | 5000 0 nan | 0.000 % | 185.45/185.50 c =============================================================================== 185.45/185.52 c core #253 185.45/185.52 c 185.45/185.52 c 185.45/185.52 c Core size: 16 Core Weight: 1 Total Weight: -247 185.45/185.52 c 185.45/185.52 c 185.45/185.52 c ============================[ Search Statistics ]============================== 185.45/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.52 c =============================================================================== 185.45/185.52 c | 0 | 1108 7074 33486 | 5000 0 nan | 0.000 % | 185.45/185.54 c =============================================================================== 185.45/185.56 c core #254 185.45/185.56 c 185.45/185.56 c 185.45/185.56 c Core size: 18 Core Weight: 1 Total Weight: -246 185.45/185.56 c 185.45/185.56 c 185.45/185.56 c ============================[ Search Statistics ]============================== 185.45/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.56 c =============================================================================== 185.45/185.56 c | 0 | 1120 7075 33510 | 5000 0 nan | 0.000 % | 185.45/185.57 c =============================================================================== 185.55/185.60 c core #255 185.55/185.60 c 185.55/185.60 c 185.55/185.60 c Core size: 16 Core Weight: 1 Total Weight: -245 185.55/185.60 c 185.55/185.60 c 185.55/185.60 c ============================[ Search Statistics ]============================== 185.55/185.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.60 c =============================================================================== 185.55/185.60 c | 0 | 1130 7076 33530 | 5000 0 nan | 0.000 % | 185.55/185.61 c =============================================================================== 185.55/185.64 c core #256 185.55/185.64 c 185.55/185.64 c 185.55/185.64 c Core size: 16 Core Weight: 1 Total Weight: -244 185.55/185.64 c 185.55/185.64 c 185.55/185.64 c ============================[ Search Statistics ]============================== 185.55/185.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.64 c =============================================================================== 185.55/185.64 c | 0 | 1140 7077 33550 | 5000 0 nan | 0.000 % | 185.55/185.65 c =============================================================================== 185.55/185.68 c core #257 185.55/185.68 c 185.55/185.68 c 185.55/185.68 c Core size: 18 Core Weight: 1 Total Weight: -243 185.55/185.68 c 185.55/185.68 c 185.55/185.68 c ============================[ Search Statistics ]============================== 185.55/185.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.55/185.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.55/185.68 c =============================================================================== 185.55/185.68 c | 0 | 1152 7078 33574 | 5000 0 nan | 0.000 % | 185.55/185.69 c =============================================================================== 185.65/185.72 c core #258 185.65/185.72 c 185.65/185.72 c 185.65/185.72 c Core size: 18 Core Weight: 1 Total Weight: -242 185.65/185.72 c 185.65/185.72 c 185.65/185.72 c ============================[ Search Statistics ]============================== 185.65/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.72 c =============================================================================== 185.65/185.72 c | 0 | 1164 7079 33598 | 5000 0 nan | 0.000 % | 185.65/185.73 c =============================================================================== 185.65/185.76 c core #259 185.65/185.76 c 185.65/185.76 c 185.65/185.76 c Core size: 18 Core Weight: 1 Total Weight: -241 185.65/185.76 c 185.65/185.76 c 185.65/185.76 c ============================[ Search Statistics ]============================== 185.65/185.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.76 c =============================================================================== 185.65/185.76 c | 0 | 1176 7080 33622 | 5000 0 nan | 0.000 % | 185.65/185.77 c =============================================================================== 185.65/185.79 c core #260 185.65/185.79 c 185.65/185.79 c 185.65/185.79 c Core size: 14 Core Weight: 1 Total Weight: -240 185.65/185.79 c 185.65/185.79 c 185.65/185.79 c ============================[ Search Statistics ]============================== 185.65/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.65/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.65/185.79 c =============================================================================== 185.65/185.79 c | 0 | 1184 7081 33638 | 5000 0 nan | 0.000 % | 185.75/185.80 c =============================================================================== 185.75/185.83 c core #261 185.75/185.83 c 185.75/185.83 c 185.75/185.83 c Core size: 14 Core Weight: 1 Total Weight: -239 185.75/185.83 c 185.75/185.83 c 185.75/185.83 c ============================[ Search Statistics ]============================== 185.75/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.83 c =============================================================================== 185.75/185.83 c | 0 | 1194 7082 33658 | 5000 0 nan | 0.000 % | 185.75/185.83 c =============================================================================== 185.75/185.86 c core #262 185.75/185.86 c 185.75/185.86 c 185.75/185.86 c Core size: 20 Core Weight: 1 Total Weight: -238 185.75/185.86 c 185.75/185.86 c 185.75/185.86 c ============================[ Search Statistics ]============================== 185.75/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.86 c =============================================================================== 185.75/185.86 c | 0 | 1206 7083 33682 | 5000 0 nan | 0.000 % | 185.75/185.87 c =============================================================================== 185.75/185.90 c core #263 185.75/185.90 c 185.75/185.90 c 185.75/185.90 c Core size: 26 Core Weight: 1 Total Weight: -237 185.75/185.90 c 185.75/185.90 c 185.75/185.90 c ============================[ Search Statistics ]============================== 185.75/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.75/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.75/185.90 c =============================================================================== 185.75/185.90 c | 0 | 1222 7084 33714 | 5000 0 nan | 0.000 % | 185.86/185.90 c =============================================================================== 185.86/185.93 c core #264 185.86/185.93 c 185.86/185.93 c 185.86/185.93 c Core size: 19 Core Weight: 1 Total Weight: -236 185.86/185.93 c 185.86/185.93 c 185.86/185.93 c ============================[ Search Statistics ]============================== 185.86/185.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.93 c =============================================================================== 185.86/185.93 c | 0 | 1236 7085 33742 | 5000 0 nan | 0.000 % | 185.86/185.94 c =============================================================================== 185.86/185.96 c core #265 185.86/185.96 c 185.86/185.96 c 185.86/185.96 c Core size: 18 Core Weight: 1 Total Weight: -235 185.86/185.96 c 185.86/185.96 c 185.86/185.96 c ============================[ Search Statistics ]============================== 185.86/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/185.96 c =============================================================================== 185.86/185.96 c | 0 | 1246 7086 33762 | 5000 0 nan | 0.000 % | 185.86/185.97 c =============================================================================== 185.86/186.00 c core #266 185.86/186.00 c 185.86/186.00 c 185.86/186.00 c Core size: 14 Core Weight: 1 Total Weight: -234 185.86/186.00 c 185.86/186.00 c 185.86/186.00 c ============================[ Search Statistics ]============================== 185.86/186.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.86/186.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.86/186.00 c =============================================================================== 185.86/186.00 c | 0 | 1254 7087 33778 | 5000 0 nan | 0.000 % | 185.86/186.00 c =============================================================================== 185.96/186.03 c core #267 185.96/186.03 c 185.96/186.03 c 185.96/186.03 c Core size: 20 Core Weight: 1 Total Weight: -233 185.96/186.03 c 185.96/186.03 c 185.96/186.03 c ============================[ Search Statistics ]============================== 185.96/186.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.96/186.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.96/186.03 c =============================================================================== 185.96/186.03 c | 0 | 1266 7088 33802 | 5000 0 nan | 0.000 % | 185.96/186.04 c =============================================================================== 185.96/186.07 c core #268 185.96/186.07 c 185.96/186.07 c 185.96/186.07 c Core size: 26 Core Weight: 1 Total Weight: -232 185.96/186.07 c 185.96/186.07 c 185.96/186.07 c ============================[ Search Statistics ]============================== 185.96/186.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.96/186.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.96/186.07 c =============================================================================== 185.96/186.07 c | 0 | 1282 7089 33834 | 5000 0 nan | 0.000 % | 185.96/186.07 c =============================================================================== 186.05/186.10 c core #269 186.05/186.10 c 186.05/186.10 c 186.05/186.10 c Core size: 16 Core Weight: 1 Total Weight: -231 186.05/186.10 c 186.05/186.10 c 186.05/186.10 c ============================[ Search Statistics ]============================== 186.05/186.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.05/186.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.05/186.10 c =============================================================================== 186.05/186.10 c | 0 | 1292 7090 33854 | 5000 0 nan | 0.000 % | 186.05/186.11 c =============================================================================== 186.05/186.14 c core #270 186.05/186.14 c 186.05/186.14 c 186.05/186.14 c Core size: 18 Core Weight: 1 Total Weight: -230 186.05/186.14 c 186.05/186.14 c 186.05/186.14 c ============================[ Search Statistics ]============================== 186.05/186.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.05/186.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.05/186.14 c =============================================================================== 186.05/186.14 c | 0 | 1302 7091 33874 | 5000 0 nan | 0.000 % | 186.05/186.14 c =============================================================================== 186.05/186.17 c core #271 186.05/186.17 c 186.05/186.17 c 186.05/186.17 c Core size: 22 Core Weight: 1 Total Weight: -229 186.05/186.17 c 186.05/186.17 c 186.05/186.17 c ============================[ Search Statistics ]============================== 186.05/186.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.05/186.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.05/186.17 c =============================================================================== 186.05/186.17 c | 0 | 1316 7092 33902 | 5000 0 nan | 0.000 % | 186.05/186.18 c =============================================================================== 186.15/186.21 c core #272 186.15/186.21 c 186.15/186.21 c 186.15/186.21 c Core size: 20 Core Weight: 1 Total Weight: -228 186.15/186.21 c 186.15/186.21 c 186.15/186.21 c ============================[ Search Statistics ]============================== 186.15/186.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.21 c =============================================================================== 186.15/186.21 c | 0 | 1328 7093 33926 | 5000 0 nan | 0.000 % | 186.15/186.22 c =============================================================================== 186.15/186.25 c core #273 186.15/186.25 c 186.15/186.25 c 186.15/186.25 c Core size: 22 Core Weight: 1 Total Weight: -227 186.15/186.25 c 186.15/186.25 c 186.15/186.25 c ============================[ Search Statistics ]============================== 186.15/186.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.25 c =============================================================================== 186.15/186.25 c | 0 | 1342 7094 33954 | 5000 0 nan | 0.000 % | 186.15/186.26 c =============================================================================== 186.15/186.29 c core #274 186.15/186.29 c 186.15/186.29 c 186.15/186.29 c Core size: 28 Core Weight: 1 Total Weight: -226 186.15/186.29 c 186.15/186.29 c 186.15/186.29 c ============================[ Search Statistics ]============================== 186.15/186.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.15/186.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.15/186.29 c =============================================================================== 186.15/186.29 c | 0 | 1360 7095 33990 | 5000 0 nan | 0.000 % | 186.15/186.29 c =============================================================================== 186.25/186.32 c core #275 186.25/186.32 c 186.25/186.32 c 186.25/186.32 c Core size: 18 Core Weight: 1 Total Weight: -225 186.25/186.32 c 186.25/186.32 c 186.25/186.32 c ============================[ Search Statistics ]============================== 186.25/186.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.32 c =============================================================================== 186.25/186.32 c | 0 | 1370 7096 34010 | 5000 0 nan | 0.000 % | 186.25/186.33 c =============================================================================== 186.25/186.36 c core #276 186.25/186.36 c 186.25/186.36 c 186.25/186.36 c Core size: 30 Core Weight: 1 Total Weight: -224 186.25/186.36 c 186.25/186.36 c 186.25/186.36 c ============================[ Search Statistics ]============================== 186.25/186.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.36 c =============================================================================== 186.25/186.36 c | 0 | 1388 7097 34046 | 5000 0 nan | 0.000 % | 186.25/186.37 c =============================================================================== 186.25/186.40 c core #277 186.25/186.40 c 186.25/186.40 c 186.25/186.40 c Core size: 18 Core Weight: 1 Total Weight: -223 186.25/186.40 c 186.25/186.40 c 186.25/186.40 c ============================[ Search Statistics ]============================== 186.25/186.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.25/186.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.25/186.40 c =============================================================================== 186.25/186.40 c | 0 | 1398 7098 34066 | 5000 0 nan | 0.000 % | 186.35/186.40 c =============================================================================== 186.35/186.43 c core #278 186.35/186.43 c 186.35/186.43 c 186.35/186.43 c Core size: 20 Core Weight: 1 Total Weight: -222 186.35/186.43 c 186.35/186.43 c 186.35/186.43 c ============================[ Search Statistics ]============================== 186.35/186.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.43 c =============================================================================== 186.35/186.43 c | 0 | 1410 7099 34090 | 5000 0 nan | 0.000 % | 186.35/186.44 c =============================================================================== 186.35/186.47 c core #279 186.35/186.47 c 186.35/186.47 c 186.35/186.47 c Core size: 22 Core Weight: 1 Total Weight: -221 186.35/186.47 c 186.35/186.47 c 186.35/186.47 c ============================[ Search Statistics ]============================== 186.35/186.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.35/186.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.35/186.47 c =============================================================================== 186.35/186.47 c | 0 | 1422 7100 34114 | 5000 0 nan | 0.000 % | 186.35/186.48 c =============================================================================== 186.45/186.51 c core #280 186.45/186.51 c 186.45/186.51 c 186.45/186.51 c Core size: 35 Core Weight: 1 Total Weight: -220 186.45/186.51 c 186.45/186.51 c 186.45/186.51 c ============================[ Search Statistics ]============================== 186.45/186.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.51 c =============================================================================== 186.45/186.51 c | 0 | 1442 7101 34154 | 5000 0 nan | 0.000 % | 186.45/186.53 c =============================================================================== 186.45/186.56 c core #281 186.45/186.56 c 186.45/186.56 c 186.45/186.56 c Core size: 79 Core Weight: 1 Total Weight: -219 186.45/186.56 c 186.45/186.56 c 186.45/186.56 c ============================[ Search Statistics ]============================== 186.45/186.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.45/186.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.45/186.56 c =============================================================================== 186.45/186.56 c | 0 | 1492 7102 34254 | 5000 0 nan | 0.000 % | 186.55/186.66 c | 100 | 1492 7102 34254 | 5500 100 15 | 67.754 % | 186.65/186.76 c =============================================================================== 186.65/186.79 c core #282 186.65/186.79 c 186.65/186.79 c 186.65/186.79 c Core size: 121 Core Weight: 1 Total Weight: -218 186.65/186.79 c 186.65/186.79 c 186.65/186.79 c ============================[ Search Statistics ]============================== 186.65/186.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.65/186.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.65/186.79 c =============================================================================== 186.65/186.79 c | 0 | 1602 7103 34474 | 5000 0 nan | 0.000 % | 186.74/186.84 c | 100 | 1601 7103 34474 | 5500 100 9 | 66.202 % | 186.84/186.93 c | 250 | 1601 7103 34474 | 6050 250 12 | 66.202 % | 186.95/187.05 c | 475 | 1601 7103 34474 | 6655 474 15 | 66.202 % | 187.14/187.28 c | 812 | 1590 7103 34474 | 7320 808 18 | 67.004 % | 187.24/187.30 c =============================================================================== 187.24/187.34 c core #283 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c Core size: 147 Core Weight: 1 Total Weight: -217 187.24/187.34 c 187.24/187.34 c 187.24/187.34 c ============================[ Search Statistics ]============================== 187.24/187.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.24/187.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.24/187.34 c =============================================================================== 187.24/187.34 c | 0 | 1736 7104 34742 | 5000 0 nan | 0.000 % | 187.34/187.40 c | 101 | 1736 7104 34742 | 5500 101 48 | 64.361 % | 187.34/187.47 c | 252 | 1736 7104 34742 | 6050 252 34 | 64.361 % | 187.44/187.59 c | 477 | 1736 7104 34742 | 6655 477 35 | 64.361 % | 187.55/187.70 c | 816 | 1736 7104 34742 | 7320 816 34 | 64.361 % | 187.85/187.93 c | 1323 | 1736 7104 34742 | 8052 1323 41 | 64.361 % | 188.34/188.44 c | 2083 | 1736 7104 34742 | 8857 2083 48 | 64.361 % | 188.95/189.02 c | 3222 | 1736 7104 34742 | 9743 3222 52 | 64.361 % | 190.05/190.13 c | 4930 | 1736 7104 34742 | 10717 4930 48 | 64.361 % | 192.05/192.12 c | 7492 | 1736 7104 34742 | 11789 7492 44 | 64.361 % | 192.35/192.48 c =============================================================================== 192.55/192.64 c core #284 192.55/192.64 c 192.55/192.64 c 192.55/192.64 c Core size: 301 Core Weight: 1 Total Weight: -216 192.55/192.64 c 192.55/192.64 c 192.55/192.64 c ============================[ Search Statistics ]============================== 192.55/192.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.55/192.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.55/192.64 c =============================================================================== 192.55/192.64 c | 0 | 2028 7105 35326 | 5000 0 nan | 0.000 % | 192.64/192.70 c | 101 | 2028 7105 35326 | 5500 101 11 | 60.721 % | 192.64/192.78 c | 253 | 2028 7105 35326 | 6050 253 16 | 60.721 % | 192.84/192.91 c | 479 | 2028 7105 35326 | 6655 479 22 | 60.721 % | 192.94/193.06 c | 818 | 2028 7105 35326 | 7320 818 19 | 60.721 % | 193.04/193.18 c =============================================================================== 193.15/193.22 c core #285 193.15/193.22 c 193.15/193.22 c 193.15/193.22 c Core size: 115 Core Weight: 1 Total Weight: -215 193.15/193.22 c 193.15/193.22 c 193.15/193.22 c ============================[ Search Statistics ]============================== 193.15/193.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.15/193.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.15/193.22 c =============================================================================== 193.15/193.22 c | 0 | 2130 7106 35530 | 5000 0 nan | 0.000 % | 193.25/193.31 c | 100 | 2130 7106 35530 | 5500 100 36 | 59.544 % | 193.25/193.38 c | 252 | 2130 7106 35530 | 6050 252 32 | 59.544 % | 193.35/193.47 c | 479 | 2130 7106 35530 | 6655 479 39 | 59.544 % | 193.55/193.60 c | 816 | 2130 7106 35530 | 7320 816 35 | 59.544 % | 193.75/193.82 c | 1322 | 2130 7106 35530 | 8052 1322 32 | 59.544 % | 194.14/194.27 c | 2082 | 2130 7106 35530 | 8857 2082 40 | 59.544 % | 194.85/194.95 c | 3222 | 2130 7106 35530 | 9743 3222 47 | 59.544 % | 196.04/196.11 c | 4934 | 2130 7106 35530 | 10717 4934 61 | 59.544 % | 197.95/198.08 c | 7498 | 2130 7106 35530 | 11789 7498 64 | 59.544 % | 201.74/201.84 c | 11343 | 2130 7106 35530 | 12968 11343 61 | 59.544 % | 202.84/202.99 c =============================================================================== 203.04/203.11 c core #286 203.04/203.11 c 203.04/203.11 c 203.04/203.11 c Core size: 218 Core Weight: 1 Total Weight: -214 203.04/203.11 c 203.04/203.11 c 203.04/203.11 c ============================[ Search Statistics ]============================== 203.04/203.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.04/203.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.04/203.11 c =============================================================================== 203.04/203.11 c | 0 | 2344 7107 35958 | 5000 0 nan | 0.000 % | 203.14/203.20 c | 101 | 2344 7107 35958 | 5500 101 75 | 57.218 % | 203.14/203.27 c | 251 | 2344 7107 35958 | 6050 251 63 | 57.218 % | 203.24/203.39 c | 477 | 2344 7107 35958 | 6655 477 61 | 57.218 % | 203.34/203.48 c | 818 | 2344 7107 35958 | 7320 818 57 | 57.218 % | 203.55/203.69 c | 1325 | 2344 7107 35958 | 8052 1325 59 | 57.218 % | 204.04/204.13 c | 2085 | 2344 7107 35958 | 8857 2085 62 | 57.218 % | 204.65/204.75 c | 3228 | 2344 7107 35958 | 9743 3228 66 | 57.218 % | 205.84/205.95 c | 4938 | 2344 7107 35958 | 10717 4938 75 | 57.218 % | 207.44/207.55 c | 7503 | 2344 7107 35958 | 11789 7503 76 | 57.218 % | 210.05/210.19 c | 11350 | 2344 7107 35958 | 12968 11350 75 | 57.218 % | 215.64/215.73 c | 17131 | 2344 7107 35958 | 14265 9032 67 | 57.218 % | 224.94/225.08 c | 25781 | 2344 7107 35958 | 15692 8910 71 | 57.218 % | 238.53/238.68 c | 38757 | 2344 7107 35958 | 17261 12327 68 | 57.218 % | 259.93/260.01 c | 58218 | 2344 7107 35958 | 18987 11205 68 | 57.218 % | 290.83/290.95 c | 87410 | 2344 7107 35958 | 20886 18189 66 | 57.218 % | 318.61/318.75 c =============================================================================== 321.41/321.58 c core #287 321.41/321.58 c 321.41/321.58 c 321.41/321.58 c Core size: 240 Core Weight: 1 Total Weight: -213 321.41/321.58 c 321.41/321.58 c 321.41/321.58 c ============================[ Search Statistics ]============================== 321.41/321.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 321.41/321.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 321.41/321.58 c =============================================================================== 321.41/321.58 c | 0 | 2556 7108 36382 | 5000 0 nan | 0.000 % | 321.61/321.74 c | 100 | 2556 7108 36382 | 5500 100 75 | 55.087 % | 321.61/321.79 c | 250 | 2556 7108 36382 | 6050 250 57 | 55.087 % | 321.72/321.88 c | 475 | 2556 7108 36382 | 6655 475 42 | 55.087 % | 321.91/322.01 c | 812 | 2556 7108 36382 | 7320 812 46 | 55.087 % | 322.11/322.21 c | 1319 | 2556 7108 36382 | 8052 1319 54 | 55.087 % | 322.41/322.58 c | 2078 | 2556 7108 36382 | 8857 2078 66 | 55.087 % | 323.21/323.32 c | 3218 | 2556 7108 36382 | 9743 3218 83 | 55.087 % | 324.22/324.32 c | 4927 | 2556 7108 36382 | 10717 4927 95 | 55.087 % | 325.92/326.08 c | 7490 | 2556 7108 36382 | 11789 7490 107 | 55.087 % | 329.31/329.46 c | 11334 | 2556 7108 36382 | 12968 11334 116 | 55.087 % | 335.42/335.50 c | 17102 | 2556 7108 36382 | 14265 8883 99 | 55.087 % | 344.71/344.80 c | 25753 | 2556 7108 36382 | 15692 17534 107 | 55.087 % | 362.40/362.50 c | 38734 | 2556 7108 36382 | 17261 11399 116 | 55.087 % | 398.21/398.39 c | 58195 | 2556 7108 36382 | 18987 20566 119 | 55.087 % | 454.68/454.84 c | 87392 | 2556 7108 36382 | 20886 16081 111 | 55.087 % | 457.38/457.52 c =============================================================================== 459.59/459.79 c core #288 459.59/459.79 c 459.59/459.79 c 459.59/459.79 c Core size: 263 Core Weight: 1 Total Weight: -212 459.59/459.79 c 459.59/459.79 c 459.59/459.79 c ============================[ Search Statistics ]============================== 459.59/459.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 459.59/459.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 459.59/459.79 c =============================================================================== 459.59/459.79 c | 0 | 2787 7109 36844 | 5000 0 nan | 0.000 % | 459.79/459.93 c | 100 | 2787 7109 36844 | 5500 100 87 | 52.938 % | 459.79/459.99 c | 252 | 2787 7109 36844 | 6050 252 53 | 52.938 % | 459.88/460.09 c | 477 | 2787 7109 36844 | 6655 477 55 | 52.938 % | 460.08/460.23 c | 814 | 2787 7109 36844 | 7320 814 47 | 52.938 % | 460.19/460.37 c | 1324 | 2787 7109 36844 | 8052 1324 55 | 52.938 % | 460.48/460.67 c | 2083 | 2787 7109 36844 | 8857 2083 60 | 52.938 % | 460.89/461.01 c | 3228 | 2787 7109 36844 | 9743 3228 62 | 52.938 % | 461.68/461.86 c | 4945 | 2787 7109 36844 | 10717 4945 78 | 52.938 % | 463.38/463.57 c | 7510 | 2787 7109 36844 | 11789 7510 93 | 52.938 % | 466.29/466.46 c | 11357 | 2787 7109 36844 | 12968 11357 83 | 52.938 % | 470.69/470.86 c | 17123 | 2787 7109 36844 | 14265 8906 62 | 52.938 % | 477.18/477.34 c | 25775 | 2787 7109 36844 | 15692 17558 63 | 52.938 % | 491.68/491.83 c | 38752 | 2787 7109 36844 | 17261 11530 71 | 52.938 % | 515.17/515.32 c | 58213 | 2775 7109 36844 | 18987 15697 80 | 53.141 % | 527.06/527.22 c =============================================================================== 528.76/528.95 c core #289 528.76/528.95 c 528.76/528.95 c 528.76/528.95 c Core size: 202 Core Weight: 1 Total Weight: -211 528.76/528.95 c 528.76/528.95 c 528.76/528.95 c ============================[ Search Statistics ]============================== 528.76/528.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 528.76/528.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 528.76/528.95 c =============================================================================== 528.76/528.95 c | 0 | 2973 7110 37216 | 5000 0 nan | 0.000 % | 528.86/529.06 c | 100 | 2973 7110 37216 | 5500 100 61 | 51.326 % | 528.98/529.17 c | 251 | 2973 7110 37216 | 6050 251 59 | 51.326 % | 529.07/529.27 c | 477 | 2973 7110 37216 | 6655 477 56 | 51.326 % | 529.17/529.36 c | 817 | 2973 7110 37216 | 7320 817 54 | 51.326 % | 529.46/529.64 c | 1324 | 2973 7110 37216 | 8052 1324 55 | 51.326 % | 529.86/530.00 c | 2083 | 2973 7110 37216 | 8857 2083 63 | 51.326 % | 530.46/530.61 c | 3225 | 2973 7110 37216 | 9743 3225 67 | 51.326 % | 531.47/531.62 c | 4934 | 2973 7110 37216 | 10717 4934 70 | 51.326 % | 533.26/533.49 c | 7496 | 2973 7110 37216 | 11789 7496 78 | 51.326 % | 536.56/536.72 c | 11345 | 2973 7110 37216 | 12968 11345 84 | 51.326 % | 543.46/543.67 c | 17111 | 2973 7110 37216 | 14265 8896 105 | 51.326 % | 552.26/552.45 c | 25762 | 2973 7110 37216 | 15692 17547 113 | 51.326 % | 568.76/568.95 c | 38737 | 2973 7110 37216 | 17261 11494 120 | 51.326 % | 595.35/595.52 c | 58199 | 2973 7110 37216 | 18987 20616 144 | 51.326 % | 632.35/632.52 c | 87392 | 2973 7110 37216 | 20886 15993 148 | 51.326 % | 706.03/706.23 c | 131181 | 2973 7110 37216 | 22974 23148 177 | 51.326 % | 831.79/832.09 c | 196866 | 2973 7110 37216 | 25272 22158 170 | 51.326 % | 972.86/973.13 c | 295392 | 2973 7110 37216 | 27799 15868 130 | 51.326 % | 1190.51/1190.82 c | 443181 | 2973 7110 37216 | 30579 26600 162 | 51.326 % | 1601.91/1602.33 c | 664864 | 2973 7110 37216 | 33637 22668 195 | 51.326 % |
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-2702519-1278569154/watcher-2702519-1278569154 -o /tmp/evaluation-result-2702519-1278569154/solver-2702519-1278569154 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702519-1278569154.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 1.00 3/106 31180 /proc/meminfo: memFree=1685456/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=3252 CPUtime=0 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 383 0 0 0 0 0 0 0 18 0 1 0 25127950 3330048 301 1992294400 134512640 135752675 4289924368 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 813 301 136 303 0 442 0 [startup+0.101312 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31180 /proc/meminfo: memFree=1685456/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=4528 CPUtime=0.09 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 833 0 0 0 9 0 0 0 20 0 1 0 25127950 4636672 685 1992294400 134512640 135752675 4289924368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 1132 685 144 303 0 827 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4528 [startup+0.200321 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31180 /proc/meminfo: memFree=1685456/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=5040 CPUtime=0.19 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 981 0 0 0 18 1 0 0 20 0 1 0 25127950 5160960 833 1992294400 134512640 135752675 4289924368 18446744073709551615 134638237 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 1260 833 145 303 0 955 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 5040 [startup+0.30033 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31180 /proc/meminfo: memFree=1685456/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=6068 CPUtime=0.29 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 1219 0 0 0 27 2 0 0 20 0 1 0 25127950 6213632 1071 1992294400 134512640 135752675 4289924368 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 1517 1071 145 303 0 1212 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6068 [startup+0.700366 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31180 /proc/meminfo: memFree=1685456/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=9016 CPUtime=0.69 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 1966 0 0 0 67 2 0 0 20 0 1 0 25127950 9232384 1818 1992294400 134512640 135752675 4289924368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 2254 1818 145 303 0 1949 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9016 [startup+1.50044 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31181 /proc/meminfo: memFree=1676024/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=14520 CPUtime=1.49 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 3349 0 0 0 145 4 0 0 23 0 1 0 25127950 14868480 3201 1992294400 134512640 135752675 4289924368 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 3630 3201 145 303 0 3325 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14520 [startup+3.10058 s] /proc/loadavg: 1.00 1.00 1.00 3/107 31181 /proc/meminfo: memFree=1669204/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=22740 CPUtime=3.09 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 5381 0 0 0 303 6 0 0 25 0 1 0 25127950 23285760 5233 1992294400 134512640 135752675 4289924368 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 5685 5233 145 303 0 5380 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 22740 [startup+6.30187 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31181 /proc/meminfo: memFree=1652340/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=40860 CPUtime=6.29 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 9917 0 0 0 618 11 0 0 25 0 1 0 25127950 41840640 9769 1992294400 134512640 135752675 4289924368 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 10215 9769 145 303 0 9910 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 40860 [startup+12.7014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31181 /proc/meminfo: memFree=1622084/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=67592 CPUtime=12.68 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 16602 0 0 0 1251 17 0 0 25 0 1 0 25127950 69214208 16454 1992294400 134512640 135752675 4289924368 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 16898 16454 145 303 0 16593 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67592 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31181 /proc/meminfo: memFree=1580544/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=107608 CPUtime=25.49 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 26598 0 0 0 2521 28 0 0 25 0 1 0 25127950 110190592 26450 1992294400 134512640 135752675 4289924368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 26902 26450 145 303 0 26597 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 107608 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31181 /proc/meminfo: memFree=1515196/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=173720 CPUtime=51.08 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 43114 0 0 0 5059 49 0 0 25 0 1 0 25127950 177889280 42966 1992294400 134512640 135752675 4289924368 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 43430 42967 145 303 0 43125 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 173720 [startup+102.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31183 /proc/meminfo: memFree=1301544/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=385532 CPUtime=102.27 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 96040 0 0 0 10125 102 0 0 25 0 1 0 25127950 394784768 95892 1992294400 134512640 135752675 4289924368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 96383 95892 145 303 0 96078 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 385532 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31185 /proc/meminfo: memFree=1093224/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=594660 CPUtime=162.25 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 148294 0 0 0 16071 154 0 0 25 0 1 0 25127950 608931840 148146 1992294400 134512640 135752675 4289924368 18446744073709551615 134638032 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 148665 148146 145 303 0 148360 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 594660 [startup+222.308 s] /proc/loadavg: 1.00 1.00 1.00 3/107 31187 /proc/meminfo: memFree=1012872/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=673088 CPUtime=222.25 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 167990 0 0 0 22035 190 0 0 25 0 1 0 25127950 689242112 167842 1992294400 134512640 135752675 4289924368 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 168272 167842 146 303 0 167967 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 673088 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31187 /proc/meminfo: memFree=998984/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=687248 CPUtime=282.22 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 171539 0 0 0 28009 213 0 0 25 0 1 0 25127950 703741952 171391 1992294400 134512640 135752675 4289924368 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 171812 171391 146 303 0 171507 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 687248 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31189 /proc/meminfo: memFree=980508/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=705448 CPUtime=342.21 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 176086 0 0 0 33979 242 0 0 25 0 1 0 25127950 722378752 175938 1992294400 134512640 135752675 4289924368 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 176362 175938 146 303 0 176057 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 705448 [startup+402.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31191 /proc/meminfo: memFree=960296/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=725880 CPUtime=402.19 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 181154 0 0 0 39957 262 0 0 25 0 1 0 25127950 743301120 181006 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 181470 181006 146 303 0 181165 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 725880 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31193 /proc/meminfo: memFree=941944/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=743768 CPUtime=462.18 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 185679 0 0 0 45936 282 0 0 25 0 1 0 25127950 761618432 185463 1992294400 134512640 135752675 4289924368 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 185942 185463 146 303 0 185637 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 743768 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31195 /proc/meminfo: memFree=932892/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=752948 CPUtime=522.17 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 188027 0 0 0 51910 307 0 0 25 0 1 0 25127950 771018752 187811 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 188237 187811 146 303 0 187932 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 752948 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31195 /proc/meminfo: memFree=909332/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=776644 CPUtime=582.15 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 193935 0 0 0 57881 334 0 0 25 0 1 0 25127950 795283456 193684 1992294400 134512640 135752675 4289924368 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 194161 193684 146 303 0 193856 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 776644 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31197 /proc/meminfo: memFree=877340/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=808540 CPUtime=642.14 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 201910 0 0 0 63851 363 0 0 25 0 1 0 25127950 827944960 201659 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 202135 201659 146 303 0 201830 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 808540 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31206 /proc/meminfo: memFree=763756/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=921464 CPUtime=882.08 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 230048 0 0 0 87750 458 0 0 25 0 1 0 25127950 943579136 229797 1992294400 134512640 135752675 4289924368 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 230366 229797 146 303 0 230061 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 921464 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31208 /proc/meminfo: memFree=736228/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=949348 CPUtime=942.07 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 236977 0 0 0 93719 488 0 0 25 0 1 0 25127950 972132352 236726 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 237337 236726 146 303 0 237032 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 949348 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31210 /proc/meminfo: memFree=703244/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=982120 CPUtime=1002.05 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 245183 0 0 0 99690 515 0 0 25 0 1 0 25127950 1005690880 244932 1992294400 134512640 135752675 4289924368 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 245530 244932 146 303 0 245225 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 982120 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31212 /proc/meminfo: memFree=672616/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1012964 CPUtime=1062.04 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 252879 0 0 0 105665 539 0 0 25 0 1 0 25127950 1037275136 252628 1992294400 134512640 135752675 4289924368 18446744073709551615 134518849 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 253241 252628 146 303 0 252936 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1012964 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31214 /proc/meminfo: memFree=640500/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1045244 CPUtime=1122.02 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 260901 0 0 0 111633 569 0 0 25 0 1 0 25127950 1070329856 260650 1992294400 134512640 135752675 4289924368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 261311 260650 146 303 0 261006 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1045244 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31214 /proc/meminfo: memFree=606524/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1079208 CPUtime=1182.01 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 269419 0 0 0 117605 596 0 0 25 0 1 0 25127950 1105108992 269168 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 269802 269168 146 303 0 269497 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1079208 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31216 /proc/meminfo: memFree=577756/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1107784 CPUtime=1241.99 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 276542 0 0 0 123580 619 0 0 25 0 1 0 25127950 1134370816 276291 1992294400 134512640 135752675 4289924368 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 276946 276291 146 303 0 276641 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1107784 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31218 /proc/meminfo: memFree=546012/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1139612 CPUtime=1301.98 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 284481 0 0 0 129558 640 0 0 25 0 1 0 25127950 1166962688 284230 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 284903 284230 146 303 0 284598 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1139612 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31220 /proc/meminfo: memFree=516996/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1168500 CPUtime=1361.96 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 291676 0 0 0 135538 658 0 0 25 0 1 0 25127950 1196544000 291425 1992294400 134512640 135752675 4289924368 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 292125 291425 146 303 0 291820 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1168500 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31222 /proc/meminfo: memFree=485624/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1199796 CPUtime=1421.95 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 299459 0 0 0 141516 679 0 0 25 0 1 0 25127950 1228591104 299208 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 299949 299208 146 303 0 299644 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1199796 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31222 /proc/meminfo: memFree=454872/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1230932 CPUtime=1481.93 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 307189 0 0 0 147491 702 0 0 25 0 1 0 25127950 1260474368 306938 1992294400 134512640 135752675 4289924368 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 307733 306938 146 303 0 307428 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1230932 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31224 /proc/meminfo: memFree=419780/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1266144 CPUtime=1541.92 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 315916 0 0 0 153467 725 0 0 25 0 1 0 25127950 1296531456 315665 1992294400 134512640 135752675 4289924368 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 316536 315665 146 303 0 316231 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1266144 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31226 /proc/meminfo: memFree=379852/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1306272 CPUtime=1601.91 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 325936 0 0 0 159439 752 0 0 25 0 1 0 25127950 1337622528 325685 1992294400 134512640 135752675 4289924368 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 326568 325685 146 303 0 326263 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 1306272 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31228 /proc/meminfo: memFree=354432/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1331380 CPUtime=1661.89 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 332198 0 0 0 165414 775 0 0 25 0 1 0 25127950 1363333120 331947 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 332845 331947 146 303 0 332540 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1331380 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31230 /proc/meminfo: memFree=328888/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1357100 CPUtime=1721.88 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 338642 0 0 0 171390 798 0 0 25 0 1 0 25127950 1389670400 338391 1992294400 134512640 135752675 4289924368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 339275 338391 146 303 0 338970 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 1357100 [startup+1782.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 31230 /proc/meminfo: memFree=300988/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1384456 CPUtime=1781.86 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 345480 0 0 0 177364 822 0 0 25 0 1 0 25127950 1417682944 345229 1992294400 134512640 135752675 4289924368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 346114 345229 146 303 0 345809 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1384456 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31232 /proc/meminfo: memFree=293300/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=1392016 CPUtime=1800.06 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4202496 347368 0 0 0 179177 829 0 0 25 0 1 0 25127950 1425424384 347117 1992294400 134512640 135752675 4289924368 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31180/statm: 348004 347117 146 303 0 347699 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1392016 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.03 1.01 1.00 2/107 31232 /proc/meminfo: memFree=293300/2059040 swapFree=4138592/4192956 [pid=31180] ppid=31178 vsize=0 CPUtime=1800.16 /proc/31180/stat : 31180 (wbo1.4b) R 31178 31180 30553 0 -1 4203524 347368 0 0 0 179177 839 0 0 25 0 1 0 25127950 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31180/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.2 CPU user time (s): 1791.78 CPU system time (s): 8.42272 CPU usage (%): 99.9759 Max. virtual memory (cumulated for all children) (KiB): 1392016 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.78 system time used= 8.42272 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 347368 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= 32 involuntary context switches= 1055 runsolver used 2.93655 second user time and 8.58269 second system time The end
Begin job on node015 at 2010-07-08 08:05:54 IDJOB=2702519 IDBENCH=48194 IDSOLVER=1190 FILE ID=node015/2702519-1278569154 PBS_JOBID= 11239555 Free space on /tmp= 62584 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702519-1278569154/watcher-2702519-1278569154 -o /tmp/evaluation-result-2702519-1278569154/solver-2702519-1278569154 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702519-1278569154.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df RANDOM SEED=1933939506 node015.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.214 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.42 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.214 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 : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1686604 kB Buffers: 68200 kB Cached: 212308 kB SwapCached: 9892 kB Active: 129044 kB Inactive: 168688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1686604 kB SwapTotal: 4192956 kB SwapFree: 4138592 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 13820 kB Mapped: 12060 kB Slab: 52692 kB PageTables: 4128 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183080 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702519-1278569154.opb Free space on /tmp at the end= 62584 MiB End job on node015 at 2010-07-08 08:35:57