| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1675.93 | 1676.39 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_25_1.opb |
| MD5SUM | 7980660368cd371c40e33d6668082e41 |
| 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 | -62 |
| Best CPU time to get the best result obtained on this benchmark | 1800.36 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -64 |
| 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 | 25 |
| Maximum length of a constraint | 48 |
| 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) | 15716 |
| Sum of products size (including duplicates) | 31432 |
| Number of different products | 7858 |
| Sum of products size | 15716 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875351-1245201082.opb. 0.00/0.00 c Instance file HOME/instance-1875351-1245201082.opb 0.00/0.00 c File size is 665196 bytes. 0.09/0.10 c Highest Coefficient sum: 48 0.09/0.10 c ============================[ Problem Statistics ]============================= 0.09/0.10 c | | 0.09/0.10 c | Parsing time: 0.10 s | 0.09/0.10 c | Number Variables: 8358 | 0.09/0.10 c | Number Clauses: 8358 | 0.09/0.10 c | Number Cardinality: 1000 | 0.09/0.10 c | Number PB Constraints: 7858 | 0.09/0.10 c core #1 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -499 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.13 c core #2 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -498 0.09/0.13 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.15 c core #3 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -497 0.09/0.15 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.09/0.18 c core #4 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -496 0.09/0.18 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.19/0.20 c core #5 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -495 0.19/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.23 c core #6 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -494 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.26 c core #7 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -493 0.19/0.26 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.29 c core #8 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -492 0.19/0.29 c Elapsed CPU time: 0.280957 s Remaining CPU time: 1799.72 s 0.29/0.32 c core #9 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -491 0.29/0.32 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.35 c core #10 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -490 0.29/0.35 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.38 c core #11 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -489 0.29/0.38 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.39/0.41 c core #12 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -488 0.39/0.41 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.44 c core #13 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -487 0.39/0.44 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.47 c core #14 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: -486 0.39/0.47 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.49/0.50 c core #15 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -485 0.49/0.50 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.49/0.53 c core #16 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: -484 0.49/0.53 c Elapsed CPU time: 0.517921 s Remaining CPU time: 1799.48 s 0.49/0.56 c core #17 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -483 0.49/0.56 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 0.49/0.59 c core #18 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -482 0.49/0.59 c Elapsed CPU time: 0.576912 s Remaining CPU time: 1799.42 s 0.59/0.62 c core #19 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -481 0.59/0.62 c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s 0.59/0.65 c core #20 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -480 0.59/0.65 c Elapsed CPU time: 0.638902 s Remaining CPU time: 1799.36 s 0.59/0.68 c core #21 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -479 0.59/0.68 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.68/0.72 c core #22 0.68/0.72 c Core size: 4 Core Weight: 1 Total Weight: -478 0.68/0.72 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.68/0.75 c core #23 0.68/0.75 c Core size: 4 Core Weight: 1 Total Weight: -477 0.68/0.75 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.68/0.78 c core #24 0.68/0.78 c Core size: 4 Core Weight: 1 Total Weight: -476 0.68/0.78 c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s 0.79/0.81 c core #25 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -475 0.79/0.81 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.79/0.84 c core #26 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -474 0.79/0.84 c Elapsed CPU time: 0.818875 s Remaining CPU time: 1799.18 s 0.79/0.87 c core #27 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -473 0.79/0.87 c Elapsed CPU time: 0.84887 s Remaining CPU time: 1799.15 s 0.89/0.90 c core #28 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: -472 0.89/0.90 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.89/0.93 c core #29 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -471 0.89/0.93 c Elapsed CPU time: 0.905862 s Remaining CPU time: 1799.09 s 0.89/0.96 c core #30 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: -470 0.89/0.96 c Elapsed CPU time: 0.935857 s Remaining CPU time: 1799.06 s 0.89/0.99 c core #31 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -469 0.89/0.99 c Elapsed CPU time: 0.964853 s Remaining CPU time: 1799.04 s 0.99/1.02 c core #32 0.99/1.02 c Core size: 4 Core Weight: 1 Total Weight: -468 0.99/1.02 c Elapsed CPU time: 0.995848 s Remaining CPU time: 1799 s 0.99/1.06 c core #33 0.99/1.06 c Core size: 4 Core Weight: 1 Total Weight: -467 0.99/1.06 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 0.99/1.09 c core #34 0.99/1.09 c Core size: 4 Core Weight: 1 Total Weight: -466 0.99/1.09 c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s 1.10/1.12 c core #35 1.10/1.12 c Core size: 4 Core Weight: 1 Total Weight: -465 1.10/1.12 c Elapsed CPU time: 1.08683 s Remaining CPU time: 1798.91 s 1.10/1.15 c core #36 1.10/1.15 c Core size: 4 Core Weight: 1 Total Weight: -464 1.10/1.15 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.10/1.18 c core #37 1.10/1.18 c Core size: 4 Core Weight: 1 Total Weight: -463 1.10/1.18 c Elapsed CPU time: 1.14882 s Remaining CPU time: 1798.85 s 1.19/1.21 c core #38 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -462 1.19/1.21 c Elapsed CPU time: 1.17882 s Remaining CPU time: 1798.82 s 1.19/1.24 c core #39 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -461 1.19/1.24 c Elapsed CPU time: 1.20782 s Remaining CPU time: 1798.79 s 1.19/1.27 c core #40 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -460 1.19/1.27 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.29/1.30 c core #41 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: -459 1.29/1.30 c Elapsed CPU time: 1.26881 s Remaining CPU time: 1798.73 s 1.29/1.33 c core #42 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: -458 1.29/1.33 c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s 1.29/1.36 c core #43 1.29/1.36 c Core size: 4 Core Weight: 1 Total Weight: -457 1.29/1.36 c Elapsed CPU time: 1.3288 s Remaining CPU time: 1798.67 s 1.29/1.39 c core #44 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: -456 1.29/1.39 c Elapsed CPU time: 1.35779 s Remaining CPU time: 1798.64 s 1.39/1.42 c core #45 1.39/1.42 c Core size: 4 Core Weight: 1 Total Weight: -455 1.39/1.42 c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s 1.39/1.45 c core #46 1.39/1.45 c Core size: 4 Core Weight: 1 Total Weight: -454 1.39/1.45 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.39/1.48 c core #47 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -453 1.39/1.48 c Elapsed CPU time: 1.44778 s Remaining CPU time: 1798.55 s 1.49/1.51 c core #48 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -452 1.49/1.51 c Elapsed CPU time: 1.47778 s Remaining CPU time: 1798.52 s 1.49/1.54 c core #49 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -451 1.49/1.54 c Elapsed CPU time: 1.50877 s Remaining CPU time: 1798.49 s 1.49/1.57 c core #50 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -450 1.49/1.57 c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s 1.59/1.60 c core #51 1.59/1.60 c Core size: 4 Core Weight: 1 Total Weight: -449 1.59/1.60 c Elapsed CPU time: 1.56776 s Remaining CPU time: 1798.43 s 1.59/1.63 c core #52 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -448 1.59/1.63 c Elapsed CPU time: 1.59676 s Remaining CPU time: 1798.4 s 1.59/1.67 c core #53 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -447 1.59/1.67 c Elapsed CPU time: 1.62775 s Remaining CPU time: 1798.37 s 1.59/1.70 c core #54 1.59/1.70 c Core size: 4 Core Weight: 1 Total Weight: -446 1.59/1.70 c Elapsed CPU time: 1.65675 s Remaining CPU time: 1798.34 s 1.68/1.73 c core #55 1.68/1.73 c Core size: 4 Core Weight: 1 Total Weight: -445 1.68/1.73 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.68/1.76 c core #56 1.68/1.76 c Core size: 4 Core Weight: 1 Total Weight: -444 1.68/1.76 c Elapsed CPU time: 1.71674 s Remaining CPU time: 1798.28 s 1.68/1.79 c core #57 1.68/1.79 c Core size: 4 Core Weight: 1 Total Weight: -443 1.68/1.79 c Elapsed CPU time: 1.74773 s Remaining CPU time: 1798.25 s 1.79/1.82 c core #58 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -442 1.79/1.82 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.79/1.86 c core #59 1.79/1.86 c Core size: 4 Core Weight: 1 Total Weight: -441 1.79/1.86 c Elapsed CPU time: 1.81172 s Remaining CPU time: 1798.19 s 1.79/1.89 c core #60 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -440 1.79/1.89 c Elapsed CPU time: 1.84072 s Remaining CPU time: 1798.16 s 1.89/1.92 c core #61 1.89/1.92 c Core size: 4 Core Weight: 1 Total Weight: -439 1.89/1.92 c Elapsed CPU time: 1.87172 s Remaining CPU time: 1798.13 s 1.89/1.95 c core #62 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -438 1.89/1.95 c Elapsed CPU time: 1.90171 s Remaining CPU time: 1798.1 s 1.89/1.98 c core #63 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: -437 1.89/1.98 c Elapsed CPU time: 1.93171 s Remaining CPU time: 1798.07 s 1.98/2.01 c core #64 1.98/2.01 c Core size: 4 Core Weight: 1 Total Weight: -436 1.98/2.01 c Elapsed CPU time: 1.9627 s Remaining CPU time: 1798.04 s 1.98/2.04 c core #65 1.98/2.04 c Core size: 4 Core Weight: 1 Total Weight: -435 1.98/2.04 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.98/2.07 c core #66 1.98/2.07 c Core size: 4 Core Weight: 1 Total Weight: -434 1.98/2.07 c Elapsed CPU time: 2.02469 s Remaining CPU time: 1797.98 s 2.10/2.11 c core #67 2.10/2.11 c Core size: 4 Core Weight: 1 Total Weight: -433 2.10/2.11 c Elapsed CPU time: 2.05669 s Remaining CPU time: 1797.94 s 2.10/2.14 c core #68 2.10/2.14 c Core size: 4 Core Weight: 1 Total Weight: -432 2.10/2.14 c Elapsed CPU time: 2.08868 s Remaining CPU time: 1797.91 s 2.10/2.17 c core #69 2.10/2.17 c Core size: 4 Core Weight: 1 Total Weight: -431 2.10/2.17 c Elapsed CPU time: 2.11968 s Remaining CPU time: 1797.88 s 2.19/2.20 c core #70 2.19/2.20 c Core size: 4 Core Weight: 1 Total Weight: -430 2.19/2.20 c Elapsed CPU time: 2.15067 s Remaining CPU time: 1797.85 s 2.19/2.23 c core #71 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: -429 2.19/2.23 c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s 2.19/2.26 c core #72 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -428 2.19/2.26 c Elapsed CPU time: 2.21166 s Remaining CPU time: 1797.79 s 2.19/2.30 c core #73 2.19/2.30 c Core size: 4 Core Weight: 1 Total Weight: -427 2.19/2.30 c Elapsed CPU time: 2.24366 s Remaining CPU time: 1797.76 s 2.29/2.33 c core #74 2.29/2.33 c Core size: 4 Core Weight: 1 Total Weight: -426 2.29/2.33 c Elapsed CPU time: 2.27465 s Remaining CPU time: 1797.73 s 2.29/2.36 c core #75 2.29/2.36 c Core size: 4 Core Weight: 1 Total Weight: -425 2.29/2.36 c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s 2.29/2.39 c core #76 2.29/2.39 c Core size: 4 Core Weight: 1 Total Weight: -424 2.29/2.39 c Elapsed CPU time: 2.33764 s Remaining CPU time: 1797.66 s 2.39/2.42 c core #77 2.39/2.42 c Core size: 4 Core Weight: 1 Total Weight: -423 2.39/2.42 c Elapsed CPU time: 2.36864 s Remaining CPU time: 1797.63 s 2.39/2.45 c core #78 2.39/2.45 c Core size: 4 Core Weight: 1 Total Weight: -422 2.39/2.45 c Elapsed CPU time: 2.39764 s Remaining CPU time: 1797.6 s 2.39/2.49 c core #79 2.39/2.49 c Core size: 4 Core Weight: 1 Total Weight: -421 2.39/2.49 c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s 2.48/2.52 c core #80 2.48/2.52 c Core size: 4 Core Weight: 1 Total Weight: -420 2.48/2.52 c Elapsed CPU time: 2.46062 s Remaining CPU time: 1797.54 s 2.48/2.55 c core #81 2.48/2.55 c Core size: 4 Core Weight: 1 Total Weight: -419 2.48/2.55 c Elapsed CPU time: 2.49262 s Remaining CPU time: 1797.51 s 2.48/2.58 c core #82 2.48/2.58 c Core size: 4 Core Weight: 1 Total Weight: -418 2.48/2.58 c Elapsed CPU time: 2.52462 s Remaining CPU time: 1797.48 s 2.58/2.61 c core #83 2.58/2.61 c Core size: 4 Core Weight: 1 Total Weight: -417 2.58/2.61 c Elapsed CPU time: 2.55561 s Remaining CPU time: 1797.44 s 2.58/2.64 c core #84 2.58/2.64 c Core size: 4 Core Weight: 1 Total Weight: -416 2.58/2.64 c Elapsed CPU time: 2.58661 s Remaining CPU time: 1797.41 s 2.58/2.68 c core #85 2.58/2.68 c Core size: 4 Core Weight: 1 Total Weight: -415 2.58/2.68 c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s 2.68/2.71 c core #86 2.68/2.71 c Core size: 4 Core Weight: 1 Total Weight: -414 2.68/2.71 c Elapsed CPU time: 2.6466 s Remaining CPU time: 1797.35 s 2.68/2.74 c core #87 2.68/2.74 c Core size: 4 Core Weight: 1 Total Weight: -413 2.68/2.74 c Elapsed CPU time: 2.67859 s Remaining CPU time: 1797.32 s 2.68/2.77 c core #88 2.68/2.77 c Core size: 4 Core Weight: 1 Total Weight: -412 2.68/2.77 c Elapsed CPU time: 2.70959 s Remaining CPU time: 1797.29 s 2.79/2.80 c core #89 2.79/2.80 c Core size: 4 Core Weight: 1 Total Weight: -411 2.79/2.80 c Elapsed CPU time: 2.73958 s Remaining CPU time: 1797.26 s 2.79/2.83 c core #90 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -410 2.79/2.83 c Elapsed CPU time: 2.76958 s Remaining CPU time: 1797.23 s 2.79/2.86 c core #91 2.79/2.86 c Core size: 4 Core Weight: 1 Total Weight: -409 2.79/2.86 c Elapsed CPU time: 2.80057 s Remaining CPU time: 1797.2 s 2.79/2.89 c core #92 2.79/2.89 c Core size: 4 Core Weight: 1 Total Weight: -408 2.79/2.89 c Elapsed CPU time: 2.83057 s Remaining CPU time: 1797.17 s 2.89/2.93 c core #93 2.89/2.93 c Core size: 4 Core Weight: 1 Total Weight: -407 2.89/2.93 c Elapsed CPU time: 2.86356 s Remaining CPU time: 1797.14 s 2.89/2.96 c core #94 2.89/2.96 c Core size: 4 Core Weight: 1 Total Weight: -406 2.89/2.96 c Elapsed CPU time: 2.89356 s Remaining CPU time: 1797.11 s 2.89/2.99 c core #95 2.89/2.99 c Core size: 4 Core Weight: 1 Total Weight: -405 2.89/2.99 c Elapsed CPU time: 2.92355 s Remaining CPU time: 1797.08 s 2.99/3.02 c core #96 2.99/3.02 c Core size: 4 Core Weight: 1 Total Weight: -404 2.99/3.02 c Elapsed CPU time: 2.95355 s Remaining CPU time: 1797.05 s 2.99/3.05 c core #97 2.99/3.05 c Core size: 4 Core Weight: 1 Total Weight: -403 2.99/3.05 c Elapsed CPU time: 2.98455 s Remaining CPU time: 1797.02 s 2.99/3.08 c core #98 2.99/3.08 c Core size: 4 Core Weight: 1 Total Weight: -402 2.99/3.08 c Elapsed CPU time: 3.01554 s Remaining CPU time: 1796.98 s 3.09/3.11 c core #99 3.09/3.11 c Core size: 4 Core Weight: 1 Total Weight: -401 3.09/3.11 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 3.09/3.14 c core #100 3.09/3.14 c Core size: 4 Core Weight: 1 Total Weight: -400 3.09/3.14 c Elapsed CPU time: 3.07653 s Remaining CPU time: 1796.92 s 3.09/3.17 c core #101 3.09/3.17 c Core size: 4 Core Weight: 1 Total Weight: -399 3.09/3.17 c Elapsed CPU time: 3.10753 s Remaining CPU time: 1796.89 s 3.19/3.20 c core #102 3.19/3.20 c Core size: 4 Core Weight: 1 Total Weight: -398 3.19/3.20 c Elapsed CPU time: 3.13752 s Remaining CPU time: 1796.86 s 3.19/3.24 c core #103 3.19/3.24 c Core size: 4 Core Weight: 1 Total Weight: -397 3.19/3.24 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.19/3.27 c core #104 3.19/3.27 c Core size: 4 Core Weight: 1 Total Weight: -396 3.19/3.27 c Elapsed CPU time: 3.20151 s Remaining CPU time: 1796.8 s 3.19/3.30 c core #105 3.19/3.30 c Core size: 4 Core Weight: 1 Total Weight: -395 3.19/3.30 c Elapsed CPU time: 3.23351 s Remaining CPU time: 1796.77 s 3.29/3.33 c core #106 3.29/3.33 c Core size: 4 Core Weight: 1 Total Weight: -394 3.29/3.33 c Elapsed CPU time: 3.2645 s Remaining CPU time: 1796.74 s 3.29/3.36 c core #107 3.29/3.36 c Core size: 4 Core Weight: 1 Total Weight: -393 3.29/3.36 c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s 3.29/3.39 c core #108 3.29/3.39 c Core size: 4 Core Weight: 1 Total Weight: -392 3.29/3.39 c Elapsed CPU time: 3.32649 s Remaining CPU time: 1796.67 s 3.38/3.43 c core #109 3.38/3.43 c Core size: 4 Core Weight: 1 Total Weight: -391 3.38/3.43 c Elapsed CPU time: 3.35849 s Remaining CPU time: 1796.64 s 3.38/3.46 c core #110 3.38/3.46 c Core size: 4 Core Weight: 1 Total Weight: -390 3.38/3.46 c Elapsed CPU time: 3.38948 s Remaining CPU time: 1796.61 s 3.38/3.49 c core #111 3.38/3.49 c Core size: 4 Core Weight: 1 Total Weight: -389 3.38/3.49 c Elapsed CPU time: 3.42148 s Remaining CPU time: 1796.58 s 3.48/3.52 c core #112 3.48/3.52 c Core size: 4 Core Weight: 1 Total Weight: -388 3.48/3.52 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.48/3.55 c core #113 3.48/3.55 c Core size: 4 Core Weight: 1 Total Weight: -387 3.48/3.55 c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s 3.48/3.59 c core #114 3.48/3.59 c Core size: 4 Core Weight: 1 Total Weight: -386 3.48/3.59 c Elapsed CPU time: 3.51546 s Remaining CPU time: 1796.48 s 3.59/3.62 c core #115 3.59/3.62 c Core size: 4 Core Weight: 1 Total Weight: -385 3.59/3.62 c Elapsed CPU time: 3.54646 s Remaining CPU time: 1796.45 s 3.59/3.65 c core #116 3.59/3.65 c Core size: 4 Core Weight: 1 Total Weight: -384 3.59/3.65 c Elapsed CPU time: 3.57746 s Remaining CPU time: 1796.42 s 3.59/3.68 c core #117 3.59/3.68 c Core size: 4 Core Weight: 1 Total Weight: -383 3.59/3.68 c Elapsed CPU time: 3.60745 s Remaining CPU time: 1796.39 s 3.69/3.71 c core #118 3.69/3.71 c Core size: 4 Core Weight: 1 Total Weight: -382 3.69/3.71 c Elapsed CPU time: 3.64045 s Remaining CPU time: 1796.36 s 3.69/3.75 c core #119 3.69/3.75 c Core size: 4 Core Weight: 1 Total Weight: -381 3.69/3.75 c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s 3.69/3.78 c core #120 3.69/3.78 c Core size: 4 Core Weight: 1 Total Weight: -380 3.69/3.78 c Elapsed CPU time: 3.70544 s Remaining CPU time: 1796.29 s 3.79/3.81 c core #121 3.79/3.81 c Core size: 4 Core Weight: 1 Total Weight: -379 3.79/3.81 c Elapsed CPU time: 3.73743 s Remaining CPU time: 1796.26 s 3.79/3.84 c core #122 3.79/3.84 c Core size: 4 Core Weight: 1 Total Weight: -378 3.79/3.84 c Elapsed CPU time: 3.76843 s Remaining CPU time: 1796.23 s 3.79/3.88 c core #123 3.79/3.88 c Core size: 4 Core Weight: 1 Total Weight: -377 3.79/3.88 c Elapsed CPU time: 3.80042 s Remaining CPU time: 1796.2 s 3.89/3.91 c core #124 3.89/3.91 c Core size: 4 Core Weight: 1 Total Weight: -376 3.89/3.91 c Elapsed CPU time: 3.83242 s Remaining CPU time: 1796.17 s 3.89/3.94 c core #125 3.89/3.94 c Core size: 4 Core Weight: 1 Total Weight: -375 3.89/3.94 c Elapsed CPU time: 3.86541 s Remaining CPU time: 1796.13 s 3.89/3.97 c core #126 3.89/3.97 c Core size: 4 Core Weight: 1 Total Weight: -374 3.89/3.97 c Elapsed CPU time: 3.89741 s Remaining CPU time: 1796.1 s 3.99/4.01 c core #127 3.99/4.01 c Core size: 4 Core Weight: 1 Total Weight: -373 3.99/4.01 c Elapsed CPU time: 3.9294 s Remaining CPU time: 1796.07 s 3.99/4.04 c core #128 3.99/4.04 c Core size: 4 Core Weight: 1 Total Weight: -372 3.99/4.04 c Elapsed CPU time: 3.9604 s Remaining CPU time: 1796.04 s 3.99/4.07 c core #129 3.99/4.07 c Core size: 4 Core Weight: 1 Total Weight: -371 3.99/4.07 c Elapsed CPU time: 3.99139 s Remaining CPU time: 1796.01 s 4.08/4.10 c core #130 4.08/4.10 c Core size: 4 Core Weight: 1 Total Weight: -370 4.08/4.10 c Elapsed CPU time: 4.02239 s Remaining CPU time: 1795.98 s 4.08/4.13 c core #131 4.08/4.13 c Core size: 4 Core Weight: 1 Total Weight: -369 4.08/4.13 c Elapsed CPU time: 4.05338 s Remaining CPU time: 1795.95 s 4.08/4.16 c core #132 4.08/4.16 c Core size: 4 Core Weight: 1 Total Weight: -368 4.08/4.16 c Elapsed CPU time: 4.08638 s Remaining CPU time: 1795.91 s 4.18/4.20 c core #133 4.18/4.20 c Core size: 4 Core Weight: 1 Total Weight: -367 4.18/4.20 c Elapsed CPU time: 4.11637 s Remaining CPU time: 1795.88 s 4.18/4.23 c core #134 4.18/4.23 c Core size: 4 Core Weight: 1 Total Weight: -366 4.18/4.23 c Elapsed CPU time: 4.14637 s Remaining CPU time: 1795.85 s 4.18/4.26 c core #135 4.18/4.26 c Core size: 4 Core Weight: 1 Total Weight: -365 4.18/4.26 c Elapsed CPU time: 4.17736 s Remaining CPU time: 1795.82 s 4.18/4.29 c core #136 4.18/4.29 c Core size: 4 Core Weight: 1 Total Weight: -364 4.18/4.29 c Elapsed CPU time: 4.20936 s Remaining CPU time: 1795.79 s 4.29/4.33 c core #137 4.29/4.33 c Core size: 4 Core Weight: 1 Total Weight: -363 4.29/4.33 c Elapsed CPU time: 4.24235 s Remaining CPU time: 1795.76 s 4.29/4.36 c core #138 4.29/4.36 c Core size: 4 Core Weight: 1 Total Weight: -362 4.29/4.36 c Elapsed CPU time: 4.27235 s Remaining CPU time: 1795.73 s 4.29/4.39 c core #139 4.29/4.39 c Core size: 4 Core Weight: 1 Total Weight: -361 4.29/4.39 c Elapsed CPU time: 4.30135 s Remaining CPU time: 1795.7 s 4.39/4.42 c core #140 4.39/4.42 c Core size: 4 Core Weight: 1 Total Weight: -360 4.39/4.42 c Elapsed CPU time: 4.33134 s Remaining CPU time: 1795.67 s 4.39/4.45 c core #141 4.39/4.45 c Core size: 4 Core Weight: 1 Total Weight: -359 4.39/4.45 c Elapsed CPU time: 4.36334 s Remaining CPU time: 1795.64 s 4.39/4.49 c core #142 4.39/4.49 c Core size: 4 Core Weight: 1 Total Weight: -358 4.39/4.49 c Elapsed CPU time: 4.39533 s Remaining CPU time: 1795.6 s 4.48/4.52 c core #143 4.48/4.52 c Core size: 4 Core Weight: 1 Total Weight: -357 4.48/4.52 c Elapsed CPU time: 4.42733 s Remaining CPU time: 1795.57 s 4.48/4.55 c core #144 4.48/4.55 c Core size: 4 Core Weight: 1 Total Weight: -356 4.48/4.55 c Elapsed CPU time: 4.45932 s Remaining CPU time: 1795.54 s 4.48/4.58 c core #145 4.48/4.58 c Core size: 4 Core Weight: 1 Total Weight: -355 4.48/4.58 c Elapsed CPU time: 4.49232 s Remaining CPU time: 1795.51 s 4.58/4.61 c core #146 4.58/4.61 c Core size: 4 Core Weight: 1 Total Weight: -354 4.58/4.61 c Elapsed CPU time: 4.52431 s Remaining CPU time: 1795.48 s 4.58/4.64 c core #147 4.58/4.64 c Core size: 4 Core Weight: 1 Total Weight: -353 4.58/4.64 c Elapsed CPU time: 4.55531 s Remaining CPU time: 1795.44 s 4.58/4.68 c core #148 4.58/4.68 c Core size: 4 Core Weight: 1 Total Weight: -352 4.58/4.68 c Elapsed CPU time: 4.5873 s Remaining CPU time: 1795.41 s 4.68/4.71 c core #149 4.68/4.71 c Core size: 4 Core Weight: 1 Total Weight: -351 4.68/4.71 c Elapsed CPU time: 4.6193 s Remaining CPU time: 1795.38 s 4.68/4.74 c core #150 4.68/4.74 c Core size: 4 Core Weight: 1 Total Weight: -350 4.68/4.74 c Elapsed CPU time: 4.65029 s Remaining CPU time: 1795.35 s 4.68/4.77 c core #151 4.68/4.77 c Core size: 4 Core Weight: 1 Total Weight: -349 4.68/4.77 c Elapsed CPU time: 4.68129 s Remaining CPU time: 1795.32 s 4.79/4.81 c core #152 4.79/4.81 c Core size: 4 Core Weight: 1 Total Weight: -348 4.79/4.81 c Elapsed CPU time: 4.71328 s Remaining CPU time: 1795.29 s 4.79/4.84 c core #153 4.79/4.84 c Core size: 4 Core Weight: 1 Total Weight: -347 4.79/4.84 c Elapsed CPU time: 4.74428 s Remaining CPU time: 1795.26 s 4.79/4.87 c core #154 4.79/4.87 c Core size: 4 Core Weight: 1 Total Weight: -346 4.79/4.87 c Elapsed CPU time: 4.77627 s Remaining CPU time: 1795.22 s 4.89/4.90 c core #155 4.89/4.90 c Core size: 4 Core Weight: 1 Total Weight: -345 4.89/4.90 c Elapsed CPU time: 4.80727 s Remaining CPU time: 1795.19 s 4.89/4.94 c core #156 4.89/4.94 c Core size: 4 Core Weight: 1 Total Weight: -344 4.89/4.94 c Elapsed CPU time: 4.83826 s Remaining CPU time: 1795.16 s 4.89/4.97 c core #157 4.89/4.97 c Core size: 4 Core Weight: 1 Total Weight: -343 4.89/4.97 c Elapsed CPU time: 4.87226 s Remaining CPU time: 1795.13 s 4.98/5.00 c core #158 4.98/5.00 c Core size: 4 Core Weight: 1 Total Weight: -342 4.98/5.00 c Elapsed CPU time: 4.90425 s Remaining CPU time: 1795.1 s 4.98/5.04 c core #159 4.98/5.04 c Core size: 4 Core Weight: 1 Total Weight: -341 4.98/5.04 c Elapsed CPU time: 4.93625 s Remaining CPU time: 1795.06 s 4.98/5.07 c core #160 4.98/5.07 c Core size: 4 Core Weight: 1 Total Weight: -340 4.98/5.07 c Elapsed CPU time: 4.96924 s Remaining CPU time: 1795.03 s 5.08/5.10 c core #161 5.08/5.10 c Core size: 4 Core Weight: 1 Total Weight: -339 5.08/5.10 c Elapsed CPU time: 5.00224 s Remaining CPU time: 1795 s 5.08/5.13 c core #162 5.08/5.13 c Core size: 4 Core Weight: 1 Total Weight: -338 5.08/5.13 c Elapsed CPU time: 5.03523 s Remaining CPU time: 1794.96 s 5.08/5.17 c core #163 5.08/5.17 c Core size: 4 Core Weight: 1 Total Weight: -337 5.08/5.17 c Elapsed CPU time: 5.06723 s Remaining CPU time: 1794.93 s 5.19/5.20 c core #164 5.19/5.20 c Core size: 4 Core Weight: 1 Total Weight: -336 5.19/5.20 c Elapsed CPU time: 5.09822 s Remaining CPU time: 1794.9 s 5.19/5.23 c core #165 5.19/5.23 c Core size: 4 Core Weight: 1 Total Weight: -335 5.19/5.23 c Elapsed CPU time: 5.13022 s Remaining CPU time: 1794.87 s 5.19/5.26 c core #166 5.19/5.26 c Core size: 4 Core Weight: 1 Total Weight: -334 5.19/5.26 c Elapsed CPU time: 5.16021 s Remaining CPU time: 1794.84 s 5.29/5.30 c core #167 5.29/5.30 c Core size: 4 Core Weight: 1 Total Weight: -333 5.29/5.30 c Elapsed CPU time: 5.19221 s Remaining CPU time: 1794.81 s 5.29/5.33 c core #168 5.29/5.33 c Core size: 4 Core Weight: 1 Total Weight: -332 5.29/5.33 c Elapsed CPU time: 5.2242 s Remaining CPU time: 1794.78 s 5.29/5.36 c core #169 5.29/5.36 c Core size: 4 Core Weight: 1 Total Weight: -331 5.29/5.36 c Elapsed CPU time: 5.2572 s Remaining CPU time: 1794.74 s 5.29/5.39 c core #170 5.29/5.39 c Core size: 4 Core Weight: 1 Total Weight: -330 5.29/5.39 c Elapsed CPU time: 5.2862 s Remaining CPU time: 1794.71 s 5.39/5.43 c core #171 5.39/5.43 c Core size: 4 Core Weight: 1 Total Weight: -329 5.39/5.43 c Elapsed CPU time: 5.31919 s Remaining CPU time: 1794.68 s 5.39/5.46 c core #172 5.39/5.46 c Core size: 4 Core Weight: 1 Total Weight: -328 5.39/5.46 c Elapsed CPU time: 5.35119 s Remaining CPU time: 1794.65 s 5.39/5.49 c core #173 5.39/5.49 c Core size: 4 Core Weight: 1 Total Weight: -327 5.39/5.49 c Elapsed CPU time: 5.38418 s Remaining CPU time: 1794.62 s 5.49/5.53 c core #174 5.49/5.53 c Core size: 4 Core Weight: 1 Total Weight: -326 5.49/5.53 c Elapsed CPU time: 5.41618 s Remaining CPU time: 1794.58 s 5.49/5.56 c core #175 5.49/5.56 c Core size: 4 Core Weight: 1 Total Weight: -325 5.49/5.56 c Elapsed CPU time: 5.44817 s Remaining CPU time: 1794.55 s 5.49/5.59 c core #176 5.49/5.59 c Core size: 4 Core Weight: 1 Total Weight: -324 5.49/5.59 c Elapsed CPU time: 5.47917 s Remaining CPU time: 1794.52 s 5.59/5.62 c core #177 5.59/5.62 c Core size: 4 Core Weight: 1 Total Weight: -323 5.59/5.62 c Elapsed CPU time: 5.51116 s Remaining CPU time: 1794.49 s 5.59/5.66 c core #178 5.59/5.66 c Core size: 4 Core Weight: 1 Total Weight: -322 5.59/5.66 c Elapsed CPU time: 5.54016 s Remaining CPU time: 1794.46 s 5.59/5.69 c core #179 5.59/5.69 c Core size: 4 Core Weight: 1 Total Weight: -321 5.59/5.69 c Elapsed CPU time: 5.57115 s Remaining CPU time: 1794.43 s 5.68/5.72 c core #180 5.68/5.72 c Core size: 4 Core Weight: 1 Total Weight: -320 5.68/5.72 c Elapsed CPU time: 5.60215 s Remaining CPU time: 1794.4 s 5.68/5.75 c core #181 5.68/5.75 c Core size: 4 Core Weight: 1 Total Weight: -319 5.68/5.75 c Elapsed CPU time: 5.63414 s Remaining CPU time: 1794.37 s 5.68/5.79 c core #182 5.68/5.79 c Core size: 4 Core Weight: 1 Total Weight: -318 5.68/5.79 c Elapsed CPU time: 5.66514 s Remaining CPU time: 1794.33 s 5.79/5.82 c core #183 5.79/5.82 c Core size: 4 Core Weight: 1 Total Weight: -317 5.79/5.82 c Elapsed CPU time: 5.69613 s Remaining CPU time: 1794.3 s 5.79/5.85 c core #184 5.79/5.85 c Core size: 4 Core Weight: 1 Total Weight: -316 5.79/5.85 c Elapsed CPU time: 5.73013 s Remaining CPU time: 1794.27 s 5.79/5.89 c core #185 5.79/5.89 c Core size: 4 Core Weight: 1 Total Weight: -315 5.79/5.89 c Elapsed CPU time: 5.76312 s Remaining CPU time: 1794.24 s 5.89/5.92 c core #186 5.89/5.92 c Core size: 4 Core Weight: 1 Total Weight: -314 5.89/5.92 c Elapsed CPU time: 5.79712 s Remaining CPU time: 1794.2 s 5.89/5.95 c core #187 5.89/5.95 c Core size: 4 Core Weight: 1 Total Weight: -313 5.89/5.95 c Elapsed CPU time: 5.83011 s Remaining CPU time: 1794.17 s 5.89/5.99 c core #188 5.89/5.99 c Core size: 4 Core Weight: 1 Total Weight: -312 5.89/5.99 c Elapsed CPU time: 5.86311 s Remaining CPU time: 1794.14 s 5.99/6.02 c core #189 5.99/6.02 c Core size: 4 Core Weight: 1 Total Weight: -311 5.99/6.02 c Elapsed CPU time: 5.8951 s Remaining CPU time: 1794.1 s 5.99/6.05 c core #190 5.99/6.05 c Core size: 4 Core Weight: 1 Total Weight: -310 5.99/6.05 c Elapsed CPU time: 5.9281 s Remaining CPU time: 1794.07 s 5.99/6.09 c core #191 5.99/6.09 c Core size: 4 Core Weight: 1 Total Weight: -309 5.99/6.09 c Elapsed CPU time: 5.96209 s Remaining CPU time: 1794.04 s 6.08/6.12 c core #192 6.08/6.12 c Core size: 4 Core Weight: 1 Total Weight: -308 6.08/6.12 c Elapsed CPU time: 5.99409 s Remaining CPU time: 1794.01 s 6.08/6.15 c core #193 6.08/6.15 c Core size: 4 Core Weight: 1 Total Weight: -307 6.08/6.15 c Elapsed CPU time: 6.02708 s Remaining CPU time: 1793.97 s 6.08/6.19 c core #194 6.08/6.19 c Core size: 4 Core Weight: 1 Total Weight: -306 6.08/6.19 c Elapsed CPU time: 6.06108 s Remaining CPU time: 1793.94 s 6.18/6.22 c core #195 6.18/6.22 c Core size: 4 Core Weight: 1 Total Weight: -305 6.18/6.22 c Elapsed CPU time: 6.09307 s Remaining CPU time: 1793.91 s 6.18/6.25 c core #196 6.18/6.25 c Core size: 4 Core Weight: 1 Total Weight: -304 6.18/6.25 c Elapsed CPU time: 6.12607 s Remaining CPU time: 1793.87 s 6.18/6.29 c core #197 6.18/6.29 c Core size: 4 Core Weight: 1 Total Weight: -303 6.18/6.29 c Elapsed CPU time: 6.15706 s Remaining CPU time: 1793.84 s 6.28/6.32 c core #198 6.28/6.32 c Core size: 4 Core Weight: 1 Total Weight: -302 6.28/6.32 c Elapsed CPU time: 6.19106 s Remaining CPU time: 1793.81 s 6.28/6.35 c core #199 6.28/6.35 c Core size: 4 Core Weight: 1 Total Weight: -301 6.28/6.35 c Elapsed CPU time: 6.22305 s Remaining CPU time: 1793.78 s 6.28/6.39 c core #200 6.28/6.39 c Core size: 4 Core Weight: 1 Total Weight: -300 6.28/6.39 c Elapsed CPU time: 6.25505 s Remaining CPU time: 1793.74 s 6.39/6.42 c core #201 6.39/6.42 c Core size: 4 Core Weight: 1 Total Weight: -299 6.39/6.42 c Elapsed CPU time: 6.28704 s Remaining CPU time: 1793.71 s 6.39/6.45 c core #202 6.39/6.45 c Core size: 4 Core Weight: 1 Total Weight: -298 6.39/6.45 c Elapsed CPU time: 6.32004 s Remaining CPU time: 1793.68 s 6.39/6.49 c core #203 6.39/6.49 c Core size: 4 Core Weight: 1 Total Weight: -297 6.39/6.49 c Elapsed CPU time: 6.35303 s Remaining CPU time: 1793.65 s 6.49/6.52 c core #204 6.49/6.52 c Core size: 4 Core Weight: 1 Total Weight: -296 6.49/6.52 c Elapsed CPU time: 6.38503 s Remaining CPU time: 1793.61 s 6.49/6.55 c core #205 6.49/6.55 c Core size: 4 Core Weight: 1 Total Weight: -295 6.49/6.55 c Elapsed CPU time: 6.42002 s Remaining CPU time: 1793.58 s 6.49/6.59 c core #206 6.49/6.59 c Core size: 4 Core Weight: 1 Total Weight: -294 6.49/6.59 c Elapsed CPU time: 6.45302 s Remaining CPU time: 1793.55 s 6.59/6.62 c core #207 6.59/6.62 c Core size: 4 Core Weight: 1 Total Weight: -293 6.59/6.62 c Elapsed CPU time: 6.48601 s Remaining CPU time: 1793.51 s 6.59/6.66 c core #208 6.59/6.66 c Core size: 4 Core Weight: 1 Total Weight: -292 6.59/6.66 c Elapsed CPU time: 6.52001 s Remaining CPU time: 1793.48 s 6.59/6.69 c core #209 6.59/6.69 c Core size: 4 Core Weight: 1 Total Weight: -291 6.59/6.69 c Elapsed CPU time: 6.553 s Remaining CPU time: 1793.45 s 6.69/6.72 c core #210 6.69/6.72 c Core size: 4 Core Weight: 1 Total Weight: -290 6.69/6.72 c Elapsed CPU time: 6.587 s Remaining CPU time: 1793.41 s 6.69/6.76 c core #211 6.69/6.76 c Core size: 4 Core Weight: 1 Total Weight: -289 6.69/6.76 c Elapsed CPU time: 6.61999 s Remaining CPU time: 1793.38 s 6.69/6.79 c core #212 6.69/6.79 c Core size: 4 Core Weight: 1 Total Weight: -288 6.69/6.79 c Elapsed CPU time: 6.65299 s Remaining CPU time: 1793.35 s 6.78/6.82 c core #213 6.78/6.82 c Core size: 4 Core Weight: 1 Total Weight: -287 6.78/6.82 c Elapsed CPU time: 6.68598 s Remaining CPU time: 1793.31 s 6.78/6.86 c core #214 6.78/6.86 c Core size: 4 Core Weight: 1 Total Weight: -286 6.78/6.86 c Elapsed CPU time: 6.71698 s Remaining CPU time: 1793.28 s 6.78/6.89 c core #215 6.78/6.89 c Core size: 4 Core Weight: 1 Total Weight: -285 6.78/6.89 c Elapsed CPU time: 6.74897 s Remaining CPU time: 1793.25 s 6.88/6.92 c core #216 6.88/6.92 c Core size: 4 Core Weight: 1 Total Weight: -284 6.88/6.92 c Elapsed CPU time: 6.78197 s Remaining CPU time: 1793.22 s 6.88/6.95 c core #217 6.88/6.95 c Core size: 4 Core Weight: 1 Total Weight: -283 6.88/6.95 c Elapsed CPU time: 6.81396 s Remaining CPU time: 1793.19 s 6.88/6.99 c core #218 6.88/6.99 c Core size: 4 Core Weight: 1 Total Weight: -282 6.88/6.99 c Elapsed CPU time: 6.84596 s Remaining CPU time: 1793.15 s 6.99/7.02 c core #219 6.99/7.02 c Core size: 4 Core Weight: 1 Total Weight: -281 6.99/7.02 c Elapsed CPU time: 6.87895 s Remaining CPU time: 1793.12 s 6.99/7.05 c core #220 6.99/7.05 c Core size: 4 Core Weight: 1 Total Weight: -280 6.99/7.05 c Elapsed CPU time: 6.91195 s Remaining CPU time: 1793.09 s 6.99/7.09 c core #221 6.99/7.09 c Core size: 4 Core Weight: 1 Total Weight: -279 6.99/7.09 c Elapsed CPU time: 6.94494 s Remaining CPU time: 1793.06 s 7.09/7.12 c core #222 7.09/7.12 c Core size: 4 Core Weight: 1 Total Weight: -278 7.09/7.12 c Elapsed CPU time: 6.97694 s Remaining CPU time: 1793.02 s 7.09/7.16 c core #223 7.09/7.16 c Core size: 4 Core Weight: 1 Total Weight: -277 7.09/7.16 c Elapsed CPU time: 7.00993 s Remaining CPU time: 1792.99 s 7.09/7.19 c core #224 7.09/7.19 c Core size: 4 Core Weight: 1 Total Weight: -276 7.09/7.19 c Elapsed CPU time: 7.04193 s Remaining CPU time: 1792.96 s 7.18/7.22 c core #225 7.18/7.22 c Core size: 4 Core Weight: 1 Total Weight: -275 7.18/7.22 c Elapsed CPU time: 7.07292 s Remaining CPU time: 1792.93 s 7.18/7.26 c core #226 7.18/7.26 c Core size: 4 Core Weight: 1 Total Weight: -274 7.18/7.26 c Elapsed CPU time: 7.10592 s Remaining CPU time: 1792.89 s 7.18/7.29 c core #227 7.18/7.29 c Core size: 4 Core Weight: 1 Total Weight: -273 7.18/7.29 c Elapsed CPU time: 7.14191 s Remaining CPU time: 1792.86 s 7.28/7.32 c core #228 7.28/7.32 c Core size: 4 Core Weight: 1 Total Weight: -272 7.28/7.32 c Elapsed CPU time: 7.17391 s Remaining CPU time: 1792.83 s 7.28/7.36 c core #229 7.28/7.36 c Core size: 4 Core Weight: 1 Total Weight: -271 7.28/7.36 c Elapsed CPU time: 7.2069 s Remaining CPU time: 1792.79 s 7.28/7.39 c core #230 7.28/7.39 c Core size: 4 Core Weight: 1 Total Weight: -270 7.28/7.39 c Elapsed CPU time: 7.2389 s Remaining CPU time: 1792.76 s 7.39/7.42 c core #231 7.39/7.42 c Core size: 4 Core Weight: 1 Total Weight: -269 7.39/7.42 c Elapsed CPU time: 7.27189 s Remaining CPU time: 1792.73 s 7.39/7.46 c core #232 7.39/7.46 c Core size: 4 Core Weight: 1 Total Weight: -268 7.39/7.46 c Elapsed CPU time: 7.30589 s Remaining CPU time: 1792.69 s 7.39/7.49 c core #233 7.39/7.49 c Core size: 4 Core Weight: 1 Total Weight: -267 7.39/7.49 c Elapsed CPU time: 7.33988 s Remaining CPU time: 1792.66 s 7.49/7.53 c core #234 7.49/7.53 c Core size: 4 Core Weight: 1 Total Weight: -266 7.49/7.53 c Elapsed CPU time: 7.37388 s Remaining CPU time: 1792.63 s 7.49/7.56 c core #235 7.49/7.56 c Core size: 4 Core Weight: 1 Total Weight: -265 7.49/7.56 c Elapsed CPU time: 7.40687 s Remaining CPU time: 1792.59 s 7.49/7.59 c core #236 7.49/7.59 c Core size: 4 Core Weight: 1 Total Weight: -264 7.49/7.59 c Elapsed CPU time: 7.43987 s Remaining CPU time: 1792.56 s 7.59/7.63 c core #237 7.59/7.63 c Core size: 4 Core Weight: 1 Total Weight: -263 7.59/7.63 c Elapsed CPU time: 7.47286 s Remaining CPU time: 1792.53 s 7.59/7.66 c core #238 7.59/7.66 c Core size: 4 Core Weight: 1 Total Weight: -262 7.59/7.66 c Elapsed CPU time: 7.50286 s Remaining CPU time: 1792.5 s 7.59/7.69 c core #239 7.59/7.69 c Core size: 4 Core Weight: 1 Total Weight: -261 7.59/7.69 c Elapsed CPU time: 7.53585 s Remaining CPU time: 1792.46 s 7.69/7.73 c core #240 7.69/7.73 c Core size: 8 Core Weight: 1 Total Weight: -260 7.69/7.73 c Elapsed CPU time: 7.56985 s Remaining CPU time: 1792.43 s 7.69/7.76 c core #241 7.69/7.76 c Core size: 9 Core Weight: 1 Total Weight: -259 7.69/7.76 c Elapsed CPU time: 7.60184 s Remaining CPU time: 1792.4 s 7.69/7.80 c core #242 7.69/7.80 c Core size: 9 Core Weight: 1 Total Weight: -258 7.69/7.80 c Elapsed CPU time: 7.63484 s Remaining CPU time: 1792.37 s 7.78/7.83 c core #243 7.78/7.83 c Core size: 9 Core Weight: 1 Total Weight: -257 7.78/7.83 c Elapsed CPU time: 7.66783 s Remaining CPU time: 1792.33 s 7.78/7.86 c core #244 7.78/7.86 c Core size: 9 Core Weight: 1 Total Weight: -256 7.78/7.86 c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s 7.78/7.90 c core #245 7.78/7.90 c Core size: 9 Core Weight: 1 Total Weight: -255 7.78/7.90 c Elapsed CPU time: 7.73182 s Remaining CPU time: 1792.27 s 7.89/7.93 c core #246 7.89/7.93 c Core size: 8 Core Weight: 1 Total Weight: -254 7.89/7.93 c Elapsed CPU time: 7.76582 s Remaining CPU time: 1792.23 s 7.89/7.97 c core #247 7.89/7.97 c Core size: 19 Core Weight: 1 Total Weight: -253 7.89/7.97 c Elapsed CPU time: 7.79981 s Remaining CPU time: 1792.2 s 7.98/8.00 c core #248 7.98/8.00 c Core size: 9 Core Weight: 1 Total Weight: -252 7.98/8.00 c Elapsed CPU time: 7.83281 s Remaining CPU time: 1792.17 s 7.98/8.03 c core #249 7.98/8.03 c Core size: 9 Core Weight: 1 Total Weight: -251 7.98/8.03 c Elapsed CPU time: 7.8648 s Remaining CPU time: 1792.14 s 7.98/8.07 c core #250 7.98/8.07 c Core size: 9 Core Weight: 1 Total Weight: -250 7.98/8.07 c Elapsed CPU time: 7.8978 s Remaining CPU time: 1792.1 s 8.08/8.10 c core #251 8.08/8.10 c Core size: 18 Core Weight: 1 Total Weight: -249 8.08/8.10 c Elapsed CPU time: 7.92979 s Remaining CPU time: 1792.07 s 8.08/8.13 c core #252 8.08/8.13 c Core size: 28 Core Weight: 1 Total Weight: -248 8.08/8.13 c Elapsed CPU time: 7.95979 s Remaining CPU time: 1792.04 s 8.08/8.16 c ============================[ Search Statistics ]============================== 8.08/8.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.08/8.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.08/8.16 c =============================================================================== 8.08/8.16 c | 0 | 1042 17468 40145 | 5822 0 nan | 0.000 % | 8.08/8.17 c =============================================================================== 8.08/8.17 c core #253 8.08/8.17 c Core size: 22 Core Weight: 1 Total Weight: -247 8.08/8.17 c Elapsed CPU time: 7.99378 s Remaining CPU time: 1792.01 s 8.19/8.20 c ============================[ Search Statistics ]============================== 8.19/8.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.20 c =============================================================================== 8.19/8.20 c | 0 | 1050 17469 40161 | 5823 0 nan | 0.000 % | 8.19/8.20 c =============================================================================== 8.19/8.20 c core #254 8.19/8.20 c Core size: 21 Core Weight: 1 Total Weight: -246 8.19/8.20 c Elapsed CPU time: 8.02478 s Remaining CPU time: 1791.98 s 8.19/8.23 c ============================[ Search Statistics ]============================== 8.19/8.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.23 c =============================================================================== 8.19/8.23 c | 0 | 1058 17470 40177 | 5823 0 nan | 0.000 % | 8.19/8.23 c =============================================================================== 8.19/8.24 c core #255 8.19/8.24 c Core size: 15 Core Weight: 1 Total Weight: -245 8.19/8.24 c Elapsed CPU time: 8.05877 s Remaining CPU time: 1791.94 s 8.19/8.27 c ============================[ Search Statistics ]============================== 8.19/8.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.19/8.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.19/8.27 c =============================================================================== 8.19/8.27 c | 0 | 1064 17471 40189 | 5823 0 nan | 0.000 % | 8.19/8.27 c =============================================================================== 8.19/8.27 c core #256 8.19/8.27 c Core size: 27 Core Weight: 1 Total Weight: -244 8.19/8.27 c Elapsed CPU time: 8.09277 s Remaining CPU time: 1791.91 s 8.28/8.30 c ============================[ Search Statistics ]============================== 8.28/8.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.30 c =============================================================================== 8.28/8.30 c | 0 | 1074 17472 40209 | 5824 0 nan | 0.000 % | 8.28/8.30 c =============================================================================== 8.28/8.30 c core #257 8.28/8.30 c Core size: 16 Core Weight: 1 Total Weight: -243 8.28/8.30 c Elapsed CPU time: 8.12676 s Remaining CPU time: 1791.87 s 8.28/8.34 c ============================[ Search Statistics ]============================== 8.28/8.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.34 c =============================================================================== 8.28/8.34 c | 0 | 1080 17473 40221 | 5824 0 nan | 0.000 % | 8.28/8.34 c =============================================================================== 8.28/8.34 c core #258 8.28/8.34 c Core size: 21 Core Weight: 1 Total Weight: -242 8.28/8.34 c Elapsed CPU time: 8.16076 s Remaining CPU time: 1791.84 s 8.28/8.37 c ============================[ Search Statistics ]============================== 8.28/8.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.28/8.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.28/8.37 c =============================================================================== 8.28/8.37 c | 0 | 1088 17474 40237 | 5824 0 nan | 0.000 % | 8.28/8.37 c =============================================================================== 8.28/8.38 c core #259 8.28/8.38 c Core size: 15 Core Weight: 1 Total Weight: -241 8.28/8.38 c Elapsed CPU time: 8.19475 s Remaining CPU time: 1791.81 s 8.38/8.41 c ============================[ Search Statistics ]============================== 8.38/8.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.41 c =============================================================================== 8.38/8.41 c | 0 | 1094 17475 40249 | 5825 0 nan | 0.000 % | 8.38/8.41 c =============================================================================== 8.38/8.41 c core #260 8.38/8.41 c Core size: 27 Core Weight: 1 Total Weight: -240 8.38/8.41 c Elapsed CPU time: 8.22975 s Remaining CPU time: 1791.77 s 8.38/8.44 c ============================[ Search Statistics ]============================== 8.38/8.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.44 c =============================================================================== 8.38/8.44 c | 0 | 1104 17476 40269 | 5825 0 nan | 0.000 % | 8.38/8.44 c =============================================================================== 8.38/8.44 c core #261 8.38/8.44 c Core size: 16 Core Weight: 1 Total Weight: -239 8.38/8.44 c Elapsed CPU time: 8.26274 s Remaining CPU time: 1791.74 s 8.38/8.48 c ============================[ Search Statistics ]============================== 8.38/8.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.48 c =============================================================================== 8.38/8.48 c | 0 | 1110 17477 40281 | 5825 0 nan | 0.000 % | 8.38/8.48 c =============================================================================== 8.38/8.48 c core #262 8.38/8.48 c Core size: 15 Core Weight: 1 Total Weight: -238 8.38/8.48 c Elapsed CPU time: 8.29774 s Remaining CPU time: 1791.7 s 8.48/8.51 c ============================[ Search Statistics ]============================== 8.48/8.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.51 c =============================================================================== 8.48/8.51 c | 0 | 1116 17478 40293 | 5826 0 nan | 0.000 % | 8.48/8.51 c =============================================================================== 8.48/8.52 c core #263 8.48/8.52 c Core size: 43 Core Weight: 1 Total Weight: -237 8.48/8.52 c Elapsed CPU time: 8.33373 s Remaining CPU time: 1791.67 s 8.48/8.55 c ============================[ Search Statistics ]============================== 8.48/8.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.55 c =============================================================================== 8.48/8.55 c | 0 | 1132 17479 40325 | 5826 0 nan | 0.000 % | 8.48/8.55 c =============================================================================== 8.48/8.55 c core #264 8.48/8.55 c Core size: 21 Core Weight: 1 Total Weight: -236 8.48/8.55 c Elapsed CPU time: 8.36773 s Remaining CPU time: 1791.63 s 8.48/8.58 c ============================[ Search Statistics ]============================== 8.48/8.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.48/8.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.48/8.58 c =============================================================================== 8.48/8.58 c | 0 | 1140 17480 40341 | 5826 0 nan | 0.000 % | 8.48/8.58 c =============================================================================== 8.48/8.58 c core #265 8.48/8.58 c Core size: 21 Core Weight: 1 Total Weight: -235 8.48/8.58 c Elapsed CPU time: 8.40272 s Remaining CPU time: 1791.6 s 8.58/8.62 c ============================[ Search Statistics ]============================== 8.58/8.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.62 c =============================================================================== 8.58/8.62 c | 0 | 1148 17481 40357 | 5827 0 nan | 0.000 % | 8.58/8.62 c =============================================================================== 8.58/8.62 c core #266 8.58/8.62 c Core size: 20 Core Weight: 1 Total Weight: -234 8.58/8.62 c Elapsed CPU time: 8.43772 s Remaining CPU time: 1791.56 s 8.58/8.65 c ============================[ Search Statistics ]============================== 8.58/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.65 c =============================================================================== 8.58/8.65 c | 0 | 1156 17482 40373 | 5827 0 nan | 0.000 % | 8.58/8.65 c =============================================================================== 8.58/8.65 c core #267 8.58/8.65 c Core size: 22 Core Weight: 1 Total Weight: -233 8.58/8.65 c Elapsed CPU time: 8.47271 s Remaining CPU time: 1791.53 s 8.58/8.69 c ============================[ Search Statistics ]============================== 8.58/8.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.69 c =============================================================================== 8.58/8.69 c | 0 | 1164 17483 40389 | 5827 0 nan | 0.000 % | 8.58/8.69 c =============================================================================== 8.58/8.69 c core #268 8.58/8.69 c Core size: 21 Core Weight: 1 Total Weight: -232 8.58/8.69 c Elapsed CPU time: 8.50571 s Remaining CPU time: 1791.49 s 8.69/8.72 c ============================[ Search Statistics ]============================== 8.69/8.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.72 c =============================================================================== 8.69/8.72 c | 0 | 1172 17484 40405 | 5828 0 nan | 0.000 % | 8.69/8.72 c =============================================================================== 8.69/8.72 c core #269 8.69/8.72 c Core size: 25 Core Weight: 1 Total Weight: -231 8.69/8.72 c Elapsed CPU time: 8.5407 s Remaining CPU time: 1791.46 s 8.69/8.75 c ============================[ Search Statistics ]============================== 8.69/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.75 c =============================================================================== 8.69/8.75 c | 0 | 1182 17485 40425 | 5828 0 nan | 0.000 % | 8.69/8.76 c =============================================================================== 8.69/8.76 c core #270 8.69/8.76 c Core size: 16 Core Weight: 1 Total Weight: -230 8.69/8.76 c Elapsed CPU time: 8.5727 s Remaining CPU time: 1791.43 s 8.69/8.79 c ============================[ Search Statistics ]============================== 8.69/8.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.69/8.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.69/8.79 c =============================================================================== 8.69/8.79 c | 0 | 1188 17486 40437 | 5828 0 nan | 0.000 % | 8.69/8.79 c =============================================================================== 8.69/8.79 c core #271 8.69/8.79 c Core size: 32 Core Weight: 1 Total Weight: -229 8.69/8.79 c Elapsed CPU time: 8.60769 s Remaining CPU time: 1791.39 s 8.79/8.82 c ============================[ Search Statistics ]============================== 8.79/8.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.82 c =============================================================================== 8.79/8.82 c | 0 | 1200 17487 40461 | 5829 0 nan | 0.000 % | 8.79/8.83 c =============================================================================== 8.79/8.83 c core #272 8.79/8.83 c Core size: 25 Core Weight: 1 Total Weight: -228 8.79/8.83 c Elapsed CPU time: 8.64269 s Remaining CPU time: 1791.36 s 8.79/8.86 c ============================[ Search Statistics ]============================== 8.79/8.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.86 c =============================================================================== 8.79/8.86 c | 0 | 1210 17488 40481 | 5829 0 nan | 0.000 % | 8.79/8.86 c =============================================================================== 8.79/8.86 c core #273 8.79/8.86 c Core size: 15 Core Weight: 1 Total Weight: -227 8.79/8.86 c Elapsed CPU time: 8.67568 s Remaining CPU time: 1791.32 s 8.79/8.89 c ============================[ Search Statistics ]============================== 8.79/8.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.89 c =============================================================================== 8.79/8.89 c | 0 | 1216 17489 40493 | 5829 0 nan | 0.000 % | 8.79/8.90 c =============================================================================== 8.79/8.90 c core #274 8.79/8.90 c Core size: 21 Core Weight: 1 Total Weight: -226 8.79/8.90 c Elapsed CPU time: 8.71068 s Remaining CPU time: 1791.29 s 8.89/8.93 c ============================[ Search Statistics ]============================== 8.89/8.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.93 c =============================================================================== 8.89/8.93 c | 0 | 1224 17490 40509 | 5830 0 nan | 0.000 % | 8.89/8.93 c =============================================================================== 8.89/8.93 c core #275 8.89/8.93 c Core size: 25 Core Weight: 1 Total Weight: -225 8.89/8.93 c Elapsed CPU time: 8.74267 s Remaining CPU time: 1791.26 s 8.89/8.96 c ============================[ Search Statistics ]============================== 8.89/8.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/8.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/8.96 c =============================================================================== 8.89/8.96 c | 0 | 1234 17491 40529 | 5830 0 nan | 0.000 % | 8.89/8.96 c =============================================================================== 8.89/8.96 c core #276 8.89/8.96 c Core size: 20 Core Weight: 1 Total Weight: -224 8.89/8.96 c Elapsed CPU time: 8.77666 s Remaining CPU time: 1791.22 s 8.89/9.00 c ============================[ Search Statistics ]============================== 8.89/9.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.89/9.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.89/9.00 c =============================================================================== 8.89/9.00 c | 0 | 1242 17492 40545 | 5830 0 nan | 0.000 % | 8.98/9.00 c =============================================================================== 8.98/9.00 c core #277 8.98/9.00 c Core size: 21 Core Weight: 1 Total Weight: -223 8.98/9.00 c Elapsed CPU time: 8.81166 s Remaining CPU time: 1791.19 s 8.98/9.03 c ============================[ Search Statistics ]============================== 8.98/9.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.03 c =============================================================================== 8.98/9.03 c | 0 | 1250 17493 40561 | 5831 0 nan | 0.000 % | 8.98/9.03 c =============================================================================== 8.98/9.03 c core #278 8.98/9.03 c Core size: 20 Core Weight: 1 Total Weight: -222 8.98/9.03 c Elapsed CPU time: 8.84566 s Remaining CPU time: 1791.15 s 8.98/9.06 c ============================[ Search Statistics ]============================== 8.98/9.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.98/9.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.98/9.06 c =============================================================================== 8.98/9.06 c | 0 | 1258 17494 40577 | 5831 0 nan | 0.000 % | 8.98/9.07 c =============================================================================== 8.98/9.07 c core #279 8.98/9.07 c Core size: 27 Core Weight: 1 Total Weight: -221 8.98/9.07 c Elapsed CPU time: 8.88065 s Remaining CPU time: 1791.12 s 9.08/9.10 c ============================[ Search Statistics ]============================== 9.08/9.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.08/9.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.08/9.10 c =============================================================================== 9.08/9.10 c | 0 | 1268 17495 40597 | 5831 0 nan | 0.000 % | 9.08/9.10 c =============================================================================== 9.08/9.10 c core #280 9.08/9.10 c Core size: 27 Core Weight: 1 Total Weight: -220 9.08/9.10 c Elapsed CPU time: 8.91664 s Remaining CPU time: 1791.08 s 9.08/9.14 c ============================[ Search Statistics ]============================== 9.08/9.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.08/9.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.08/9.14 c =============================================================================== 9.08/9.14 c | 0 | 1278 17496 40617 | 5832 0 nan | 0.000 % | 9.08/9.14 c =============================================================================== 9.08/9.14 c core #281 9.08/9.14 c Core size: 20 Core Weight: 1 Total Weight: -219 9.08/9.14 c Elapsed CPU time: 8.95164 s Remaining CPU time: 1791.05 s 9.08/9.17 c ============================[ Search Statistics ]============================== 9.08/9.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.08/9.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.08/9.17 c =============================================================================== 9.08/9.17 c | 0 | 1286 17497 40633 | 5832 0 nan | 0.000 % | 9.08/9.17 c =============================================================================== 9.08/9.17 c core #282 9.08/9.17 c Core size: 20 Core Weight: 1 Total Weight: -218 9.08/9.17 c Elapsed CPU time: 8.98463 s Remaining CPU time: 1791.02 s 9.18/9.21 c ============================[ Search Statistics ]============================== 9.18/9.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.21 c =============================================================================== 9.18/9.21 c | 0 | 1294 17498 40649 | 5832 0 nan | 0.000 % | 9.18/9.21 c =============================================================================== 9.18/9.21 c core #283 9.18/9.21 c Core size: 25 Core Weight: 1 Total Weight: -217 9.18/9.21 c Elapsed CPU time: 9.01863 s Remaining CPU time: 1790.98 s 9.18/9.24 c ============================[ Search Statistics ]============================== 9.18/9.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.24 c =============================================================================== 9.18/9.24 c | 0 | 1304 17499 40669 | 5833 0 nan | 0.000 % | 9.18/9.24 c =============================================================================== 9.18/9.24 c core #284 9.18/9.24 c Core size: 20 Core Weight: 1 Total Weight: -216 9.18/9.24 c Elapsed CPU time: 9.05262 s Remaining CPU time: 1790.95 s 9.18/9.27 c ============================[ Search Statistics ]============================== 9.18/9.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.18/9.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.18/9.27 c =============================================================================== 9.18/9.27 c | 0 | 1312 17500 40685 | 5833 0 nan | 0.000 % | 9.18/9.28 c =============================================================================== 9.18/9.28 c core #285 9.18/9.28 c Core size: 36 Core Weight: 1 Total Weight: -215 9.18/9.28 c Elapsed CPU time: 9.08562 s Remaining CPU time: 1790.91 s 9.28/9.31 c ============================[ Search Statistics ]============================== 9.28/9.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.31 c =============================================================================== 9.28/9.31 c | 0 | 1325 17501 40711 | 5833 0 nan | 0.000 % | 9.28/9.31 c =============================================================================== 9.28/9.31 c core #286 9.28/9.31 c Core size: 26 Core Weight: 1 Total Weight: -214 9.28/9.31 c Elapsed CPU time: 9.12161 s Remaining CPU time: 1790.88 s 9.28/9.34 c ============================[ Search Statistics ]============================== 9.28/9.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.34 c =============================================================================== 9.28/9.34 c | 0 | 1335 17502 40731 | 5834 0 nan | 0.000 % | 9.28/9.35 c =============================================================================== 9.28/9.35 c core #287 9.28/9.35 c Core size: 26 Core Weight: 1 Total Weight: -213 9.28/9.35 c Elapsed CPU time: 9.15561 s Remaining CPU time: 1790.84 s 9.28/9.38 c ============================[ Search Statistics ]============================== 9.28/9.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.28/9.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.28/9.38 c =============================================================================== 9.28/9.38 c | 0 | 1345 17503 40751 | 5834 0 nan | 0.000 % | 9.28/9.38 c =============================================================================== 9.28/9.38 c core #288 9.28/9.38 c Core size: 20 Core Weight: 1 Total Weight: -212 9.28/9.38 c Elapsed CPU time: 9.1886 s Remaining CPU time: 1790.81 s 9.38/9.41 c ============================[ Search Statistics ]============================== 9.38/9.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.41 c =============================================================================== 9.38/9.41 c | 0 | 1353 17504 40767 | 5834 0 nan | 0.000 % | 9.38/9.41 c =============================================================================== 9.38/9.41 c core #289 9.38/9.41 c Core size: 22 Core Weight: 1 Total Weight: -211 9.38/9.41 c Elapsed CPU time: 9.2226 s Remaining CPU time: 1790.78 s 9.38/9.45 c ============================[ Search Statistics ]============================== 9.38/9.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.45 c =============================================================================== 9.38/9.45 c | 0 | 1361 17505 40783 | 5835 0 nan | 0.000 % | 9.38/9.45 c =============================================================================== 9.38/9.45 c core #290 9.38/9.45 c Core size: 21 Core Weight: 1 Total Weight: -210 9.38/9.45 c Elapsed CPU time: 9.25559 s Remaining CPU time: 1790.74 s 9.38/9.48 c ============================[ Search Statistics ]============================== 9.38/9.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.38/9.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.38/9.48 c =============================================================================== 9.38/9.48 c | 0 | 1369 17506 40799 | 5835 0 nan | 0.000 % | 9.38/9.48 c =============================================================================== 9.38/9.48 c core #291 9.38/9.48 c Core size: 31 Core Weight: 1 Total Weight: -209 9.38/9.48 c Elapsed CPU time: 9.29059 s Remaining CPU time: 1790.71 s 9.48/9.52 c ============================[ Search Statistics ]============================== 9.48/9.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.52 c =============================================================================== 9.48/9.52 c | 0 | 1380 17507 40821 | 5835 0 nan | 0.000 % | 9.48/9.52 c =============================================================================== 9.48/9.52 c core #292 9.48/9.52 c Core size: 33 Core Weight: 1 Total Weight: -208 9.48/9.52 c Elapsed CPU time: 9.32558 s Remaining CPU time: 1790.67 s 9.48/9.55 c ============================[ Search Statistics ]============================== 9.48/9.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.55 c =============================================================================== 9.48/9.55 c | 0 | 1392 17508 40845 | 5836 0 nan | 0.000 % | 9.48/9.55 c =============================================================================== 9.48/9.55 c core #293 9.48/9.55 c Core size: 31 Core Weight: 1 Total Weight: -207 9.48/9.55 c Elapsed CPU time: 9.36058 s Remaining CPU time: 1790.64 s 9.48/9.59 c ============================[ Search Statistics ]============================== 9.48/9.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.48/9.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.48/9.59 c =============================================================================== 9.48/9.59 c | 0 | 1404 17509 40869 | 5836 0 nan | 0.000 % | 9.48/9.59 c =============================================================================== 9.48/9.59 c core #294 9.48/9.59 c Core size: 25 Core Weight: 1 Total Weight: -206 9.48/9.59 c Elapsed CPU time: 9.39457 s Remaining CPU time: 1790.61 s 9.59/9.62 c ============================[ Search Statistics ]============================== 9.59/9.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.62 c =============================================================================== 9.59/9.62 c | 0 | 1413 17510 40887 | 5836 0 nan | 0.000 % | 9.59/9.62 c =============================================================================== 9.59/9.62 c core #295 9.59/9.62 c Core size: 32 Core Weight: 1 Total Weight: -205 9.59/9.62 c Elapsed CPU time: 9.42757 s Remaining CPU time: 1790.57 s 9.59/9.66 c ============================[ Search Statistics ]============================== 9.59/9.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.66 c =============================================================================== 9.59/9.66 c | 0 | 1425 17511 40911 | 5837 0 nan | 0.000 % | 9.59/9.66 c =============================================================================== 9.59/9.66 c core #296 9.59/9.66 c Core size: 17 Core Weight: 1 Total Weight: -204 9.59/9.66 c Elapsed CPU time: 9.46356 s Remaining CPU time: 1790.54 s 9.59/9.69 c ============================[ Search Statistics ]============================== 9.59/9.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.69 c =============================================================================== 9.59/9.69 c | 0 | 1431 17512 40923 | 5837 0 nan | 0.000 % | 9.59/9.69 c =============================================================================== 9.59/9.69 c core #297 9.59/9.69 c Core size: 22 Core Weight: 1 Total Weight: -203 9.59/9.69 c Elapsed CPU time: 9.49656 s Remaining CPU time: 1790.5 s 9.68/9.73 c ============================[ Search Statistics ]============================== 9.68/9.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.73 c =============================================================================== 9.68/9.73 c | 0 | 1439 17513 40939 | 5837 0 nan | 0.000 % | 9.68/9.73 c =============================================================================== 9.68/9.73 c core #298 9.68/9.73 c Core size: 40 Core Weight: 1 Total Weight: -202 9.68/9.73 c Elapsed CPU time: 9.53055 s Remaining CPU time: 1790.47 s 9.68/9.76 c ============================[ Search Statistics ]============================== 9.68/9.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.76 c =============================================================================== 9.68/9.76 c | 0 | 1455 17514 40971 | 5838 0 nan | 0.000 % | 9.68/9.76 c =============================================================================== 9.68/9.76 c core #299 9.68/9.76 c Core size: 36 Core Weight: 1 Total Weight: -201 9.68/9.76 c Elapsed CPU time: 9.56555 s Remaining CPU time: 1790.43 s 9.68/9.80 c ============================[ Search Statistics ]============================== 9.68/9.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.68/9.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.68/9.80 c =============================================================================== 9.68/9.80 c | 0 | 1469 17515 40999 | 5838 0 nan | 0.000 % | 9.79/9.80 c =============================================================================== 9.79/9.80 c core #300 9.79/9.80 c Core size: 46 Core Weight: 1 Total Weight: -200 9.79/9.80 c Elapsed CPU time: 9.60154 s Remaining CPU time: 1790.4 s 9.79/9.83 c ============================[ Search Statistics ]============================== 9.79/9.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.83 c =============================================================================== 9.79/9.83 c | 0 | 1486 17516 41033 | 5838 0 nan | 0.000 % | 9.79/9.84 c =============================================================================== 9.79/9.84 c core #301 9.79/9.84 c Core size: 103 Core Weight: 1 Total Weight: -199 9.79/9.84 c Elapsed CPU time: 9.63753 s Remaining CPU time: 1790.36 s 9.79/9.87 c ============================[ Search Statistics ]============================== 9.79/9.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.79/9.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.79/9.87 c =============================================================================== 9.79/9.87 c | 0 | 1522 17517 41105 | 5839 0 nan | 0.000 % | 9.79/9.88 c | 102 | 1522 17517 41105 | 6422 102 33 | 83.774 % | 9.79/9.88 c =============================================================================== 9.79/9.88 c core #302 9.79/9.88 c Core size: 159 Core Weight: 1 Total Weight: -198 9.79/9.88 c Elapsed CPU time: 9.67953 s Remaining CPU time: 1790.32 s 9.89/9.91 c ============================[ Search Statistics ]============================== 9.89/9.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.91 c =============================================================================== 9.89/9.91 c | 0 | 1568 17518 41197 | 5839 0 nan | 0.000 % | 9.89/9.92 c | 100 | 1568 17518 41197 | 6423 100 16 | 83.365 % | 9.89/9.93 c | 251 | 1562 17518 41197 | 7065 251 35 | 84.490 % | 9.89/9.94 c =============================================================================== 9.89/9.94 c core #303 9.89/9.94 c Core size: 287 Core Weight: 1 Total Weight: -197 9.89/9.94 c Elapsed CPU time: 9.74052 s Remaining CPU time: 1790.26 s 9.89/9.98 c ============================[ Search Statistics ]============================== 9.89/9.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.89/9.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.89/9.98 c =============================================================================== 9.89/9.98 c | 0 | 1647 17519 41355 | 5839 0 nan | 0.000 % | 9.89/9.98 c | 100 | 1647 17519 41355 | 6423 100 22 | 82.672 % | 9.89/9.99 c | 252 | 1647 17519 41355 | 7065 252 31 | 82.672 % | 9.98/10.01 c | 477 | 1647 17519 41355 | 7772 477 43 | 82.672 % | 9.98/10.05 c | 816 | 1606 17519 41355 | 8549 331 23 | 83.104 % | 9.98/10.06 c =============================================================================== 9.98/10.07 c core #304 9.98/10.07 c Core size: 366 Core Weight: 1 Total Weight: -196 9.98/10.07 c Elapsed CPU time: 9.8625 s Remaining CPU time: 1790.14 s 10.09/10.10 c ============================[ Search Statistics ]============================== 10.09/10.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.10 c =============================================================================== 10.09/10.10 c | 0 | 1732 17520 41525 | 5840 0 nan | 0.000 % | 10.09/10.11 c | 100 | 1732 17520 41525 | 6424 100 33 | 81.940 % | 10.09/10.12 c | 250 | 1732 17520 41525 | 7066 250 28 | 81.940 % | 10.09/10.13 c | 477 | 1731 17520 41525 | 7773 477 30 | 81.950 % | 10.09/10.16 c | 814 | 1731 17520 41525 | 8550 813 41 | 81.950 % | 10.18/10.20 c | 1321 | 1731 17520 41525 | 9405 1320 46 | 81.950 % | 10.18/10.29 c =============================================================================== 10.18/10.30 c core #305 10.18/10.30 c Core size: 450 Core Weight: 1 Total Weight: -195 10.18/10.30 c Elapsed CPU time: 10.0885 s Remaining CPU time: 1789.91 s 10.28/10.33 c ============================[ Search Statistics ]============================== 10.28/10.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.33 c =============================================================================== 10.28/10.33 c | 0 | 1835 17521 41731 | 5840 0 nan | 0.000 % | 10.28/10.34 c | 105 | 1835 17521 41731 | 6424 105 82 | 81.069 % | 10.28/10.36 c | 255 | 1835 17521 41731 | 7066 255 62 | 81.069 % | 10.28/10.36 c =============================================================================== 10.28/10.36 c core #306 10.28/10.36 c Core size: 147 Core Weight: 1 Total Weight: -194 10.28/10.36 c Elapsed CPU time: 10.1495 s Remaining CPU time: 1789.85 s 10.28/10.39 c ============================[ Search Statistics ]============================== 10.28/10.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.28/10.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.28/10.39 c =============================================================================== 10.28/10.39 c | 0 | 1878 17522 41817 | 5840 0 nan | 0.000 % | 10.38/10.40 c | 100 | 1878 17522 41817 | 6424 100 14 | 80.711 % | 10.38/10.41 c | 250 | 1877 17522 41817 | 7067 250 21 | 80.721 % | 10.38/10.42 c =============================================================================== 10.38/10.42 c core #307 10.38/10.42 c Core size: 216 Core Weight: 1 Total Weight: -193 10.38/10.42 c Elapsed CPU time: 10.2064 s Remaining CPU time: 1789.79 s 10.38/10.45 c ============================[ Search Statistics ]============================== 10.38/10.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.38/10.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.38/10.45 c =============================================================================== 10.38/10.45 c | 0 | 1932 17523 41925 | 5841 0 nan | 0.000 % | 10.38/10.46 c | 100 | 1932 17523 41925 | 6425 100 36 | 80.266 % | 10.38/10.47 c | 250 | 1932 17523 41925 | 7067 250 22 | 80.266 % | 10.38/10.48 c | 477 | 1932 17523 41925 | 7774 477 22 | 80.266 % | 10.49/10.50 c | 814 | 1931 17523 41925 | 8551 813 22 | 80.276 % | 10.49/10.52 c =============================================================================== 10.49/10.52 c core #308 10.49/10.52 c Core size: 318 Core Weight: 1 Total Weight: -192 10.49/10.52 c Elapsed CPU time: 10.3074 s Remaining CPU time: 1789.69 s 10.49/10.56 c ============================[ Search Statistics ]============================== 10.49/10.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.49/10.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.49/10.56 c =============================================================================== 10.49/10.56 c | 0 | 2006 17524 42073 | 5841 0 nan | 0.000 % | 10.49/10.57 c | 101 | 2006 17524 42073 | 6425 101 41 | 79.663 % | 10.49/10.57 c | 251 | 2006 17524 42073 | 7068 251 25 | 79.663 % | 10.49/10.59 c | 478 | 2006 17524 42073 | 7774 478 27 | 79.663 % | 10.58/10.61 c | 815 | 2006 17524 42073 | 8552 815 30 | 79.663 % | 10.58/10.64 c | 1323 | 2006 17524 42073 | 9407 1323 29 | 79.663 % | 10.58/10.67 c =============================================================================== 10.58/10.68 c core #309 10.58/10.68 c Core size: 497 Core Weight: 1 Total Weight: -191 10.58/10.68 c Elapsed CPU time: 10.4604 s Remaining CPU time: 1789.54 s 10.68/10.72 c ============================[ Search Statistics ]============================== 10.68/10.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.68/10.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.68/10.72 c =============================================================================== 10.68/10.72 c | 0 | 2110 17525 42281 | 5841 0 nan | 0.000 % | 10.68/10.73 c | 101 | 2110 17525 42281 | 6425 101 40 | 78.832 % | 10.68/10.74 c | 254 | 2110 17525 42281 | 7068 254 37 | 78.832 % | 10.68/10.75 c | 483 | 2110 17525 42281 | 7775 483 31 | 78.832 % | 10.68/10.78 c | 820 | 2110 17525 42281 | 8552 820 34 | 78.832 % | 10.78/10.82 c | 1328 | 2109 17525 42281 | 9408 1325 33 | 78.842 % | 10.78/10.90 c | 2088 | 2109 17525 42281 | 10348 2085 40 | 78.842 % | 10.88/10.98 c =============================================================================== 10.88/11.00 c core #310 10.88/11.00 c Core size: 563 Core Weight: 1 Total Weight: -190 10.88/11.00 c Elapsed CPU time: 10.7754 s Remaining CPU time: 1789.22 s 10.99/11.04 c ============================[ Search Statistics ]============================== 10.99/11.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.04 c =============================================================================== 10.99/11.04 c | 0 | 2208 17526 42477 | 5842 0 nan | 0.000 % | 10.99/11.05 c | 101 | 2208 17526 42477 | 6426 101 36 | 78.065 % | 10.99/11.06 c | 251 | 2208 17526 42477 | 7068 251 27 | 78.065 % | 10.99/11.07 c | 478 | 2208 17526 42477 | 7775 478 24 | 78.065 % | 10.99/11.09 c | 816 | 2208 17526 42477 | 8553 816 26 | 78.065 % | 11.08/11.13 c | 1324 | 2208 17526 42477 | 9408 1324 27 | 78.065 % | 11.08/11.19 c | 2083 | 2208 17526 42477 | 10349 2083 32 | 78.065 % | 11.28/11.35 c | 3223 | 2208 17526 42477 | 11384 3223 53 | 78.065 % | 11.59/11.69 c | 4931 | 2208 17526 42477 | 12522 4931 85 | 78.065 % | 12.28/12.36 c | 7493 | 2208 17526 42477 | 13775 7493 101 | 78.065 % | 13.68/13.75 c | 11338 | 2208 17526 42477 | 15152 11338 114 | 78.065 % | 17.18/17.28 c | 17104 | 2208 17526 42477 | 16667 17104 136 | 78.065 % | 19.38/19.46 c =============================================================================== 19.68/19.74 c core #311 19.68/19.74 c Core size: 723 Core Weight: 1 Total Weight: -189 19.68/19.74 c Elapsed CPU time: 19.441 s Remaining CPU time: 1780.56 s 19.68/19.79 c ============================[ Search Statistics ]============================== 19.68/19.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.68/19.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.68/19.79 c =============================================================================== 19.68/19.79 c | 0 | 2336 17527 42733 | 5842 0 nan | 0.000 % | 19.79/19.81 c | 104 | 2336 17527 42733 | 6426 104 55 | 77.085 % | 19.79/19.82 c | 256 | 2336 17527 42733 | 7069 256 36 | 77.085 % | 19.79/19.83 c | 483 | 2336 17527 42733 | 7776 483 30 | 77.085 % | 19.79/19.86 c | 820 | 2336 17527 42733 | 8553 820 37 | 77.085 % | 19.88/19.91 c | 1326 | 2336 17527 42733 | 9409 1326 47 | 77.085 % | 19.88/19.98 c | 2085 | 2336 17527 42733 | 10350 2085 52 | 77.085 % | 20.08/20.13 c | 3227 | 2336 17527 42733 | 11385 3227 68 | 77.085 % | 20.28/20.38 c | 4938 | 2336 17527 42733 | 12523 4938 77 | 77.085 % | 20.79/20.88 c | 7500 | 2336 17527 42733 | 13775 7500 84 | 77.085 % | 21.48/21.55 c | 11345 | 2336 17527 42733 | 15153 11345 78 | 77.085 % | 23.88/23.97 c | 17111 | 2336 17527 42733 | 16668 17111 99 | 77.085 % | 28.88/28.92 c | 25761 | 2336 17527 42733 | 18335 13454 124 | 77.085 % | 37.07/37.18 c | 38736 | 2336 17527 42733 | 20169 13252 193 | 77.085 % | 43.77/43.87 c =============================================================================== 44.47/44.56 c core #312 44.47/44.56 c Core size: 963 Core Weight: 1 Total Weight: -188 44.47/44.56 c Elapsed CPU time: 44.0503 s Remaining CPU time: 1755.95 s 44.57/44.65 c ============================[ Search Statistics ]============================== 44.57/44.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.57/44.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.57/44.65 c =============================================================================== 44.57/44.65 c | 0 | 2478 17528 43017 | 5842 0 nan | 0.000 % | 44.57/44.67 c | 102 | 2478 17528 43017 | 6426 102 133 | 76.026 % | 44.57/44.68 c | 252 | 2478 17528 43017 | 7069 252 93 | 76.026 % | 44.57/44.69 c | 477 | 2478 17528 43017 | 7776 477 60 | 76.026 % | 44.67/44.71 c | 814 | 2478 17528 43017 | 8554 814 43 | 76.026 % | 44.67/44.74 c | 1320 | 2478 17528 43017 | 9409 1320 37 | 76.026 % | 44.76/44.80 c | 2082 | 2478 17528 43017 | 10350 2082 37 | 76.026 % | 44.87/44.93 c | 3221 | 2478 17528 43017 | 11385 3221 46 | 76.026 % | 45.07/45.14 c | 4930 | 2478 17528 43017 | 12524 4930 51 | 76.026 % | 45.47/45.58 c | 7492 | 2478 17528 43017 | 13776 7492 61 | 76.026 % | 46.26/46.34 c | 11336 | 2478 17528 43017 | 15154 11336 64 | 76.026 % | 47.87/47.98 c | 17108 | 2478 17528 43017 | 16669 17108 77 | 76.026 % | 48.96/49.07 c =============================================================================== 49.27/49.31 c core #313 49.27/49.31 c Core size: 765 Core Weight: 1 Total Weight: -187 49.27/49.31 c Elapsed CPU time: 48.7576 s Remaining CPU time: 1751.24 s 49.27/49.37 c ============================[ Search Statistics ]============================== 49.27/49.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.27/49.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.27/49.37 c =============================================================================== 49.27/49.37 c | 0 | 2602 17529 43265 | 5843 0 nan | 0.000 % | 49.27/49.39 c | 101 | 2602 17529 43265 | 6427 101 112 | 75.124 % | 49.37/49.40 c | 252 | 2602 17529 43265 | 7070 252 60 | 75.124 % | 49.37/49.42 c | 480 | 2602 17529 43265 | 7777 480 45 | 75.124 % | 49.37/49.45 c | 817 | 2602 17529 43265 | 8554 817 39 | 75.124 % | 49.37/49.49 c | 1325 | 2602 17529 43265 | 9410 1325 41 | 75.124 % | 49.47/49.57 c | 2084 | 2602 17529 43265 | 10351 2084 50 | 75.124 % | 49.67/49.73 c | 3224 | 2602 17529 43265 | 11386 3224 64 | 75.124 % | 49.96/50.03 c | 4934 | 2602 17529 43265 | 12524 4934 76 | 75.124 % | 50.57/50.62 c | 7497 | 2602 17529 43265 | 13777 7497 91 | 75.124 % | 51.76/51.83 c | 11343 | 2602 17529 43265 | 15155 11343 110 | 75.124 % | 54.76/54.85 c | 17111 | 2602 17529 43265 | 16670 17111 138 | 75.124 % | 60.26/60.36 c | 25764 | 2602 17529 43265 | 18337 13352 154 | 75.124 % | 71.06/71.12 c | 38738 | 2602 17529 43265 | 20171 13187 147 | 75.124 % | 77.65/77.79 c =============================================================================== 78.66/78.78 c core #314 78.66/78.78 c Core size: 916 Core Weight: 1 Total Weight: -186 78.66/78.78 c Elapsed CPU time: 78.0521 s Remaining CPU time: 1721.95 s 78.76/78.88 c ============================[ Search Statistics ]============================== 78.76/78.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 78.76/78.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 78.76/78.88 c =============================================================================== 78.76/78.88 c | 0 | 2728 17530 43517 | 5843 0 nan | 0.000 % | 78.86/78.90 c | 103 | 2728 17530 43517 | 6427 103 54 | 74.230 % | 78.86/78.90 c | 256 | 2728 17530 43517 | 7070 256 30 | 74.230 % | 78.86/78.92 c | 482 | 2728 17530 43517 | 7777 482 35 | 74.230 % | 78.86/78.94 c | 820 | 2728 17530 43517 | 8555 820 34 | 74.230 % | 78.86/78.99 c | 1326 | 2728 17530 43517 | 9410 1326 42 | 74.230 % | 78.95/79.07 c | 2086 | 2728 17530 43517 | 10351 2086 49 | 74.230 % | 79.15/79.20 c | 3225 | 2728 17530 43517 | 11387 3225 59 | 74.230 % | 79.36/79.46 c | 4934 | 2728 17530 43517 | 12525 4934 74 | 74.230 % | 79.95/80.01 c | 7499 | 2728 17530 43517 | 13778 7499 87 | 74.230 % | 81.15/81.24 c | 11347 | 2728 17530 43517 | 15156 11347 99 | 74.230 % | 83.36/83.48 c | 17115 | 2728 17530 43517 | 16671 17115 125 | 74.230 % | 91.16/91.21 c | 25766 | 2728 17530 43517 | 18338 12888 290 | 74.230 % | 97.45/97.55 c | 38742 | 2728 17530 43517 | 20172 25864 221 | 74.230 % | 113.34/113.47 c | 58206 | 2728 17530 43517 | 22190 15231 196 | 74.230 % | 135.25/135.36 c | 87398 | 2728 17530 43517 | 24409 27704 169 | 74.230 % | 170.03/170.19 c | 131187 | 2728 17530 43517 | 26849 17135 169 | 74.230 % | 254.01/254.15 c | 196871 | 2728 17530 43517 | 29534 22550 207 | 74.230 % | 448.06/448.22 c | 295397 | 2728 17530 43517 | 32488 31194 231 | 74.230 % | 668.10/668.34 c | 443187 | 2728 17530 43517 | 35737 29132 163 | 74.230 % | 1074.79/1075.15 c | 664871 | 2728 17530 43517 | 39311 25938 702 | 74.230 % | 1351.43/1351.83 c =============================================================================== 1385.82/1386.22 c core #315 1385.82/1386.22 c Core size: 1400 Core Weight: 1 Total Weight: -185 1385.82/1386.22 c Elapsed CPU time: 1380.46 s Remaining CPU time: 419.542 s 1386.72/1387.13 c ============================[ Search Statistics ]============================== 1386.72/1387.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1386.72/1387.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1386.72/1387.13 c =============================================================================== 1386.72/1387.13 c | 0 | 2894 17531 43849 | 5843 0 nan | 0.000 % | 1386.81/1387.29 c | 100 | 2894 17531 43849 | 6428 100 82 | 73.084 % | 1386.91/1387.30 c | 250 | 2894 17531 43849 | 7070 250 43 | 73.084 % | 1386.91/1387.32 c | 475 | 2894 17531 43849 | 7777 475 40 | 73.084 % | 1386.91/1387.35 c | 812 | 2894 17531 43849 | 8555 812 37 | 73.084 % | 1387.02/1387.40 c | 1319 | 2894 17531 43849 | 9411 1319 35 | 73.084 % | 1387.02/1387.48 c | 2081 | 2894 17531 43849 | 10352 2081 37 | 73.084 % | 1387.22/1387.61 c | 3221 | 2894 17531 43849 | 11387 3221 40 | 73.084 % | 1387.41/1387.87 c | 4929 | 2894 17531 43849 | 12526 4929 51 | 73.084 % | 1387.92/1388.31 c | 7491 | 2894 17531 43849 | 13779 7491 51 | 73.084 % | 1388.72/1389.15 c | 11338 | 2894 17531 43849 | 15156 11338 58 | 73.084 % | 1390.21/1390.64 c | 17107 | 2894 17531 43849 | 16672 17107 62 | 73.084 % | 1396.21/1396.67 c | 25756 | 2894 17531 43849 | 18339 13041 141 | 73.084 % | 1406.01/1406.45 c | 38731 | 2894 17531 43849 | 20173 26016 148 | 73.084 % | 1418.20/1418.62 c | 58193 | 2894 17531 43849 | 22191 14615 152 | 73.084 % | 1447.90/1448.35 c | 87387 | 2894 17531 43849 | 24410 28002 260 | 73.084 % | 1487.48/1487.97 c | 131183 | 2894 17531 43849 | 26851 19269 235 | 73.084 % | 1566.07/1566.55 c | 196867 | 2894 17531 43849 | 29536 25887 165 | 73.084 % |
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-1875351-1245201082/watcher-1875351-1245201082 -o /tmp/evaluation-result-1875351-1245201082/solver-1875351-1245201082 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875351-1245201082.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.11 1.04 1.00 3/64 10201 /proc/meminfo: memFree=1835512/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=3456 CPUtime=0 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 187705408 3538944 240 1992294400 134512640 135709839 4294956240 18446744073709551615 134553895 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 864 247 125 292 0 406 0 [startup+0.0327511 s] /proc/loadavg: 1.11 1.04 1.00 3/64 10201 /proc/meminfo: memFree=1835512/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=5008 CPUtime=0.03 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 665 0 0 0 3 0 0 0 18 0 1 0 187705408 5128192 649 1992294400 134512640 135709839 4294956240 18446744073709551615 134674640 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 1252 649 160 292 0 794 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 5008 [startup+0.101757 s] /proc/loadavg: 1.11 1.04 1.00 3/64 10201 /proc/meminfo: memFree=1835512/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=5932 CPUtime=0.09 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 1011 0 0 0 9 0 0 0 18 0 1 0 187705408 6074368 995 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 1483 997 283 292 0 1025 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5932 [startup+0.301779 s] /proc/loadavg: 1.11 1.04 1.00 3/64 10201 /proc/meminfo: memFree=1835512/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=11632 CPUtime=0.29 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 2794 0 0 0 28 1 0 0 19 0 1 0 187705408 11911168 2419 1992294400 134512640 135709839 4294956240 18446744073709551615 134606977 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 2908 2419 134 292 0 2613 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11632 [startup+0.701822 s] /proc/loadavg: 1.11 1.04 1.00 3/64 10201 /proc/meminfo: memFree=1835512/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=18264 CPUtime=0.68 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 4460 0 0 0 67 1 0 0 22 0 1 0 187705408 18702336 4085 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 4566 4085 134 292 0 4271 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 18264 [startup+1.50191 s] /proc/loadavg: 1.11 1.04 1.00 2/65 10202 /proc/meminfo: memFree=1814384/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=31972 CPUtime=1.49 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 7897 0 0 0 146 3 0 0 25 0 1 0 187705408 32739328 7522 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 7993 7522 134 292 0 7698 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31972 [startup+3.10108 s] /proc/loadavg: 1.11 1.04 1.00 2/65 10202 /proc/meminfo: memFree=1795696/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=58884 CPUtime=3.09 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 14627 0 0 0 303 6 0 0 25 0 1 0 187705408 60297216 14252 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 14721 14252 134 292 0 14426 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58884 [startup+6.30143 s] /proc/loadavg: 1.10 1.04 1.00 2/65 10202 /proc/meminfo: memFree=1740656/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=111120 CPUtime=6.28 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 27681 0 0 0 616 12 0 0 25 0 1 0 187705408 113786880 27306 1992294400 134512640 135709839 4294956240 18446744073709551615 134530582 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 27780 27306 134 292 0 27485 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 111120 [startup+12.7011 s] /proc/loadavg: 1.09 1.04 1.00 2/65 10202 /proc/meminfo: memFree=1662656/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=176084 CPUtime=12.68 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 44014 0 0 0 1244 24 0 0 25 0 1 0 187705408 180310016 43531 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 44021 43531 136 292 0 43726 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 176084 [startup+25.5015 s] /proc/loadavg: 1.07 1.03 1.00 2/65 10202 /proc/meminfo: memFree=1642880/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=194800 CPUtime=25.48 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 48671 0 0 0 2513 35 0 0 25 0 1 0 187705408 199475200 48188 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 48700 48188 136 292 0 48405 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 194800 [startup+51.1013 s] /proc/loadavg: 1.05 1.03 1.00 2/65 10202 /proc/meminfo: memFree=1606272/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=230972 CPUtime=51.07 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 57708 0 0 0 5051 56 0 0 25 0 1 0 187705408 236515328 57225 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 57743 57225 136 292 0 57448 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 230972 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/65 10202 /proc/meminfo: memFree=1559232/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=277952 CPUtime=102.25 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 69470 0 0 0 10141 84 0 0 25 0 1 0 187705408 284622848 68987 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 69488 68987 136 292 0 69193 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 277952 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 10202 /proc/meminfo: memFree=1474944/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=362828 CPUtime=162.23 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 90675 0 0 0 16106 117 0 0 25 0 1 0 187705408 371535872 90192 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 90707 90192 136 292 0 90412 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 362828 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10202 /proc/meminfo: memFree=1373760/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=463280 CPUtime=222.22 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 115783 0 0 0 22075 147 0 0 25 0 1 0 187705408 474398720 115300 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 115820 115300 136 292 0 115525 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 463280 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/65 10202 /proc/meminfo: memFree=1308992/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=528392 CPUtime=282.2 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 132028 0 0 0 28052 168 0 0 25 0 1 0 187705408 541073408 131545 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 132098 131545 136 292 0 131803 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 528392 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=1249472/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=587616 CPUtime=342.18 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 146816 0 0 0 34036 182 0 0 25 0 1 0 187705408 601718784 146333 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 146904 146333 136 292 0 146609 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 587616 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=1165056/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=672084 CPUtime=402.17 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 167925 0 0 0 40011 206 0 0 25 0 1 0 187705408 688214016 167442 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 168021 167442 136 292 0 167726 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 672084 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=1107328/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=729524 CPUtime=462.16 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 182255 0 0 0 45988 228 0 0 25 0 1 0 187705408 747032576 181772 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 182381 181772 136 292 0 182086 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 729524 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=1034432/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=802788 CPUtime=522.14 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 200597 0 0 0 51964 250 0 0 25 0 1 0 187705408 822054912 200114 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 200697 200114 136 292 0 200402 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 802788 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=969600/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=867124 CPUtime=582.13 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 216644 0 0 0 57941 272 0 0 25 0 1 0 187705408 887934976 216161 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 216781 216161 136 292 0 216486 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 867124 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=916160/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=919976 CPUtime=642.11 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 229869 0 0 0 63915 296 0 0 25 0 1 0 187705408 942055424 229386 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 229994 229386 136 292 0 229699 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 919976 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=769280/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1066996 CPUtime=822.06 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 266581 0 0 0 81849 357 0 0 25 0 1 0 187705408 1092603904 266098 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 266749 266098 136 292 0 266454 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 1066996 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=705152/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1130848 CPUtime=882.05 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 282542 0 0 0 87821 384 0 0 25 0 1 0 187705408 1157988352 282059 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 282712 282059 136 292 0 282417 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1130848 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=625984/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1210436 CPUtime=942.03 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 302412 0 0 0 93796 407 0 0 25 0 1 0 187705408 1239486464 301929 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 302609 301929 136 292 0 302314 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1210436 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=548608/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1287020 CPUtime=1002.01 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 321591 0 0 0 99777 424 0 0 25 0 1 0 187705408 1317908480 321108 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 321755 321108 136 292 0 321460 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1287020 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=497920/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1338164 CPUtime=1061.99 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 334366 0 0 0 105760 439 0 0 25 0 1 0 187705408 1370279936 333883 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 334541 333883 136 292 0 334246 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1338164 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=427584/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1408240 CPUtime=1121.99 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 351876 0 0 0 111740 459 0 0 25 0 1 0 187705408 1442037760 351393 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 352060 351393 136 292 0 351765 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1408240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=356736/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1479116 CPUtime=1181.96 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 369610 0 0 0 117719 477 0 0 25 0 1 0 187705408 1514614784 369127 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 369779 369127 136 292 0 369484 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1479116 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=297792/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1537600 CPUtime=1241.95 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 384204 0 0 0 123696 499 0 0 25 0 1 0 187705408 1574502400 383721 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 384400 383721 136 292 0 384105 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1537600 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=216576/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1618280 CPUtime=1301.94 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 404366 0 0 0 129674 520 0 0 25 0 1 0 187705408 1657118720 403883 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 404570 403883 136 292 0 404275 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1618280 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=131840/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1703644 CPUtime=1361.92 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 425707 0 0 0 135654 538 0 0 25 0 1 0 187705408 1744531456 425224 1992294400 134512640 135709839 4294956240 18446744073709551615 134516532 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 425911 425224 136 292 0 425616 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1703644 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=120704/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1713236 CPUtime=1421.9 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 428279 0 0 0 141636 554 0 0 25 0 1 0 187705408 1754353664 427796 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 428309 427796 136 292 0 428014 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1713236 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=120704/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1713236 CPUtime=1481.88 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 428285 0 0 0 147619 569 0 0 25 0 1 0 187705408 1754353664 427802 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 428309 427802 136 292 0 428014 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1713236 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=120640/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1713236 CPUtime=1541.87 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 428289 0 0 0 153601 586 0 0 25 0 1 0 187705408 1754353664 427806 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 428309 427806 136 292 0 428014 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1713236 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=80320/2055920 swapFree=4191900/4192956 [pid=10201] ppid=10199 vsize=1754228 CPUtime=1601.85 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 438532 0 0 0 159580 605 0 0 25 0 1 0 187705408 1796329472 438049 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 438557 438049 136 292 0 438262 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1754228 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=16128/2055920 swapFree=4190924/4192956 [pid=10201] ppid=10199 vsize=1822652 CPUtime=1661.84 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 455606 0 0 0 165557 627 0 0 25 0 1 0 187705408 1866395648 455123 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 455663 455123 136 292 0 455368 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1822652 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1676.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=16320/2055920 swapFree=4183048/4192956 [pid=10201] ppid=10199 vsize=1843252 CPUtime=1675.64 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4194304 460763 0 0 0 166931 633 0 0 25 0 1 0 187705408 1887490048 460280 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 460813 460280 136 292 0 460518 0 Current children cumulated CPU time (s) 1675.64 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1676.21 s] /proc/loadavg: 1.00 1.00 1.00 2/65 10202 /proc/meminfo: memFree=16320/2055920 swapFree=4183048/4192956 [pid=10201] ppid=10199 vsize=0 CPUtime=1675.74 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4195332 460763 0 0 0 166931 643 0 0 25 0 1 0 187705408 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1675.74 Current children cumulated vsize (KiB) 0 [startup+1676.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10203 /proc/meminfo: memFree=1279096/2055920 swapFree=4183048/4192956 [pid=10201] ppid=10199 vsize=0 CPUtime=1675.84 /proc/10201/stat : 10201 (wbo) R 10199 10201 9902 0 -1 4195332 460763 0 0 0 166931 653 0 0 25 0 1 0 187705408 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/10201/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1675.84 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1676.39 CPU time (s): 1675.93 CPU user time (s): 1669.31 CPU system time (s): 6.61999 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1843252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1669.31 system time used= 6.61999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460763 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= 6 involuntary context switches= 2223 runsolver used 1.17882 second user time and 3.72143 second system time The end
Begin job on node37 at 2009-06-17 03:11:22 IDJOB=1875351 IDBENCH=48191 IDSOLVER=698 FILE ID=node37/1875351-1245201082 PBS_JOBID= 9368331 Free space on /tmp= 66168 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_25_1.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875351-1245201082/watcher-1875351-1245201082 -o /tmp/evaluation-result-1875351-1245201082/solver-1875351-1245201082 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875351-1245201082.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7980660368cd371c40e33d6668082e41 RANDOM SEED=1444556518 node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1836440 kB Buffers: 48172 kB Cached: 94232 kB SwapCached: 260 kB Active: 56004 kB Inactive: 99764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1836440 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2572 kB Writeback: 0 kB Mapped: 21812 kB Slab: 49796 kB Committed_AS: 174664 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875351-1245201082.opb Free space on /tmp at the end= 66164 MiB End job on node37 at 2009-06-17 03:39:20