| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1372.58 | 1373 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_1.opb |
| MD5SUM | 6a7c5d2366cf8704587c2ca2c97e69d0 |
| 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 | -120 |
| Best CPU time to get the best result obtained on this benchmark | 1800.29 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -111 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 22 |
| 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) | 6318 |
| Sum of products size (including duplicates) | 12636 |
| Number of different products | 3159 |
| Sum of products size | 6318 |
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-1875336-1245199316.opb. 0.00/0.00 c Instance file HOME/instance-1875336-1245199316.opb 0.00/0.00 c File size is 270672 bytes. 0.03/0.04 c Highest Coefficient sum: 22 0.03/0.04 c ============================[ Problem Statistics ]============================= 0.03/0.04 c | | 0.03/0.04 c | Parsing time: 0.04 s | 0.03/0.04 c | Number Variables: 3659 | 0.03/0.04 c | Number Clauses: 3659 | 0.03/0.04 c | Number Cardinality: 1000 | 0.03/0.04 c | Number PB Constraints: 3159 | 0.03/0.04 c core #1 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -499 0.03/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.03/0.05 c core #2 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -498 0.03/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.03/0.06 c core #3 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -497 0.03/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #4 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -496 0.03/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #5 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -495 0.03/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #6 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -494 0.03/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #7 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -493 0.09/0.10 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #8 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -492 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #9 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -491 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #10 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -490 0.09/0.14 c Elapsed CPU time: 0.137979 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #11 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -489 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #12 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -488 0.09/0.16 c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #13 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -487 0.09/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #14 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -486 0.09/0.18 c Elapsed CPU time: 0.184971 s Remaining CPU time: 1799.82 s 0.09/0.20 c core #15 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: -485 0.09/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #16 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -484 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #17 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -483 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #18 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -482 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #19 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -481 0.19/0.24 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #20 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -480 0.19/0.25 c Elapsed CPU time: 0.252961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #21 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -479 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #22 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -478 0.19/0.28 c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #23 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -477 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #24 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -476 0.29/0.30 c Elapsed CPU time: 0.297954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #25 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -475 0.29/0.31 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #26 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -474 0.29/0.32 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #27 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -473 0.29/0.33 c Elapsed CPU time: 0.329949 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #28 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -472 0.29/0.35 c Elapsed CPU time: 0.340948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #29 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -471 0.29/0.36 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #30 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -470 0.29/0.37 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #31 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -469 0.29/0.38 c Elapsed CPU time: 0.373943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #32 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -468 0.29/0.39 c Elapsed CPU time: 0.385941 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #33 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -467 0.39/0.40 c Elapsed CPU time: 0.396939 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #34 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: -466 0.39/0.42 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #35 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -465 0.39/0.43 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #36 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -464 0.39/0.44 c Elapsed CPU time: 0.431934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #37 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: -463 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #38 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: -462 0.39/0.46 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #39 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: -461 0.39/0.47 c Elapsed CPU time: 0.465929 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #40 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: -460 0.39/0.49 c Elapsed CPU time: 0.477927 s Remaining CPU time: 1799.52 s 0.49/0.50 c core #41 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -459 0.49/0.50 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #42 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: -458 0.49/0.51 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #43 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: -457 0.49/0.52 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #44 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: -456 0.49/0.53 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.49/0.55 c core #45 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: -455 0.49/0.55 c Elapsed CPU time: 0.536918 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #46 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -454 0.49/0.56 c Elapsed CPU time: 0.548916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #47 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: -453 0.49/0.57 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #48 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: -452 0.49/0.58 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #49 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -451 0.49/0.59 c Elapsed CPU time: 0.584911 s Remaining CPU time: 1799.42 s 0.59/0.61 c core #50 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: -450 0.59/0.61 c Elapsed CPU time: 0.595909 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #51 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -449 0.59/0.62 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #52 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -448 0.59/0.63 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #53 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: -447 0.59/0.64 c Elapsed CPU time: 0.631903 s Remaining CPU time: 1799.37 s 0.59/0.66 c core #54 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -446 0.59/0.66 c Elapsed CPU time: 0.642902 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #55 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: -445 0.59/0.67 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.68 c core #56 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -444 0.59/0.68 c Elapsed CPU time: 0.663899 s Remaining CPU time: 1799.34 s 0.59/0.69 c core #57 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: -443 0.59/0.69 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #58 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: -442 0.69/0.70 c Elapsed CPU time: 0.687895 s Remaining CPU time: 1799.31 s 0.69/0.72 c core #59 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: -441 0.69/0.72 c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s 0.69/0.73 c core #60 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: -440 0.69/0.73 c Elapsed CPU time: 0.712891 s Remaining CPU time: 1799.29 s 0.69/0.74 c core #61 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -439 0.69/0.74 c Elapsed CPU time: 0.725889 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #62 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: -438 0.69/0.75 c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 s 0.69/0.77 c core #63 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -437 0.69/0.77 c Elapsed CPU time: 0.749886 s Remaining CPU time: 1799.25 s 0.69/0.78 c core #64 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -436 0.69/0.78 c Elapsed CPU time: 0.762884 s Remaining CPU time: 1799.24 s 0.69/0.79 c core #65 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -435 0.69/0.79 c Elapsed CPU time: 0.774882 s Remaining CPU time: 1799.23 s 0.79/0.80 c core #66 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: -434 0.79/0.80 c Elapsed CPU time: 0.78688 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #67 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -433 0.79/0.81 c Elapsed CPU time: 0.798878 s Remaining CPU time: 1799.2 s 0.79/0.83 c core #68 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: -432 0.79/0.83 c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #69 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -431 0.79/0.84 c Elapsed CPU time: 0.822874 s Remaining CPU time: 1799.18 s 0.79/0.85 c core #70 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: -430 0.79/0.85 c Elapsed CPU time: 0.834873 s Remaining CPU time: 1799.17 s 0.79/0.86 c core #71 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -429 0.79/0.86 c Elapsed CPU time: 0.846871 s Remaining CPU time: 1799.15 s 0.79/0.88 c core #72 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: -428 0.79/0.88 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.79/0.89 c core #73 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: -427 0.79/0.89 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.89/0.90 c core #74 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: -426 0.89/0.90 c Elapsed CPU time: 0.881865 s Remaining CPU time: 1799.12 s 0.89/0.91 c core #75 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: -425 0.89/0.91 c Elapsed CPU time: 0.894863 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #76 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -424 0.89/0.92 c Elapsed CPU time: 0.906862 s Remaining CPU time: 1799.09 s 0.89/0.94 c core #77 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: -423 0.89/0.94 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #78 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: -422 0.89/0.95 c Elapsed CPU time: 0.930858 s Remaining CPU time: 1799.07 s 0.89/0.96 c core #79 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: -421 0.89/0.96 c Elapsed CPU time: 0.942856 s Remaining CPU time: 1799.06 s 0.89/0.97 c core #80 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: -420 0.89/0.97 c Elapsed CPU time: 0.954854 s Remaining CPU time: 1799.05 s 0.89/0.99 c core #81 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -419 0.89/0.99 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 0.89/1.00 c core #82 0.89/1.00 c Core size: 4 Core Weight: 1 Total Weight: -418 0.89/1.00 c Elapsed CPU time: 0.978851 s Remaining CPU time: 1799.02 s 1.00/1.01 c core #83 1.00/1.01 c Core size: 4 Core Weight: 1 Total Weight: -417 1.00/1.01 c Elapsed CPU time: 0.991849 s Remaining CPU time: 1799.01 s 1.00/1.02 c core #84 1.00/1.02 c Core size: 4 Core Weight: 1 Total Weight: -416 1.00/1.02 c Elapsed CPU time: 1.00485 s Remaining CPU time: 1799 s 1.00/1.04 c core #85 1.00/1.04 c Core size: 4 Core Weight: 1 Total Weight: -415 1.00/1.04 c Elapsed CPU time: 1.01684 s Remaining CPU time: 1798.98 s 1.00/1.05 c core #86 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -414 1.00/1.05 c Elapsed CPU time: 1.02984 s Remaining CPU time: 1798.97 s 1.00/1.06 c core #87 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: -413 1.00/1.06 c Elapsed CPU time: 1.04184 s Remaining CPU time: 1798.96 s 1.00/1.07 c core #88 1.00/1.07 c Core size: 4 Core Weight: 1 Total Weight: -412 1.00/1.07 c Elapsed CPU time: 1.05284 s Remaining CPU time: 1798.95 s 1.00/1.09 c core #89 1.00/1.09 c Core size: 4 Core Weight: 1 Total Weight: -411 1.00/1.09 c Elapsed CPU time: 1.06584 s Remaining CPU time: 1798.93 s 1.00/1.10 c core #90 1.00/1.10 c Core size: 4 Core Weight: 1 Total Weight: -410 1.00/1.10 c Elapsed CPU time: 1.07684 s Remaining CPU time: 1798.92 s 1.09/1.11 c core #91 1.09/1.11 c Core size: 4 Core Weight: 1 Total Weight: -409 1.09/1.11 c Elapsed CPU time: 1.08883 s Remaining CPU time: 1798.91 s 1.09/1.13 c core #92 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: -408 1.09/1.13 c Elapsed CPU time: 1.10183 s Remaining CPU time: 1798.9 s 1.09/1.14 c core #93 1.09/1.14 c Core size: 4 Core Weight: 1 Total Weight: -407 1.09/1.14 c Elapsed CPU time: 1.11483 s Remaining CPU time: 1798.89 s 1.09/1.15 c core #94 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: -406 1.09/1.15 c Elapsed CPU time: 1.12683 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #95 1.09/1.16 c Core size: 4 Core Weight: 1 Total Weight: -405 1.09/1.16 c Elapsed CPU time: 1.13983 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #96 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -404 1.09/1.18 c Elapsed CPU time: 1.15282 s Remaining CPU time: 1798.85 s 1.09/1.19 c core #97 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: -403 1.09/1.19 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s 1.19/1.20 c core #98 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: -402 1.19/1.20 c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #99 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -401 1.19/1.21 c Elapsed CPU time: 1.18882 s Remaining CPU time: 1798.81 s 1.19/1.23 c core #100 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: -400 1.19/1.23 c Elapsed CPU time: 1.20082 s Remaining CPU time: 1798.8 s 1.19/1.24 c core #101 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -399 1.19/1.24 c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s 1.19/1.25 c core #102 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: -398 1.19/1.25 c Elapsed CPU time: 1.22481 s Remaining CPU time: 1798.78 s 1.19/1.26 c core #103 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: -397 1.19/1.26 c Elapsed CPU time: 1.23781 s Remaining CPU time: 1798.76 s 1.19/1.28 c core #104 1.19/1.28 c Core size: 4 Core Weight: 1 Total Weight: -396 1.19/1.28 c Elapsed CPU time: 1.24981 s Remaining CPU time: 1798.75 s 1.19/1.29 c core #105 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -395 1.19/1.29 c Elapsed CPU time: 1.26181 s Remaining CPU time: 1798.74 s 1.28/1.30 c core #106 1.28/1.30 c Core size: 4 Core Weight: 1 Total Weight: -394 1.28/1.30 c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s 1.28/1.31 c core #107 1.28/1.31 c Core size: 4 Core Weight: 1 Total Weight: -393 1.28/1.31 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.28/1.33 c core #108 1.28/1.33 c Core size: 4 Core Weight: 1 Total Weight: -392 1.28/1.33 c Elapsed CPU time: 1.2988 s Remaining CPU time: 1798.7 s 1.28/1.34 c core #109 1.28/1.34 c Core size: 4 Core Weight: 1 Total Weight: -391 1.28/1.34 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.28/1.35 c core #110 1.28/1.35 c Core size: 4 Core Weight: 1 Total Weight: -390 1.28/1.35 c Elapsed CPU time: 1.3248 s Remaining CPU time: 1798.68 s 1.28/1.37 c core #111 1.28/1.37 c Core size: 4 Core Weight: 1 Total Weight: -389 1.28/1.37 c Elapsed CPU time: 1.3378 s Remaining CPU time: 1798.66 s 1.28/1.38 c core #112 1.28/1.38 c Core size: 4 Core Weight: 1 Total Weight: -388 1.28/1.38 c Elapsed CPU time: 1.34979 s Remaining CPU time: 1798.65 s 1.28/1.39 c core #113 1.28/1.39 c Core size: 4 Core Weight: 1 Total Weight: -387 1.28/1.39 c Elapsed CPU time: 1.36279 s Remaining CPU time: 1798.64 s 1.38/1.40 c core #114 1.38/1.40 c Core size: 4 Core Weight: 1 Total Weight: -386 1.38/1.40 c Elapsed CPU time: 1.37479 s Remaining CPU time: 1798.63 s 1.38/1.42 c core #115 1.38/1.42 c Core size: 4 Core Weight: 1 Total Weight: -385 1.38/1.42 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.38/1.43 c core #116 1.38/1.43 c Core size: 4 Core Weight: 1 Total Weight: -384 1.38/1.43 c Elapsed CPU time: 1.39779 s Remaining CPU time: 1798.6 s 1.38/1.44 c core #117 1.38/1.44 c Core size: 4 Core Weight: 1 Total Weight: -383 1.38/1.44 c Elapsed CPU time: 1.41078 s Remaining CPU time: 1798.59 s 1.38/1.46 c core #118 1.38/1.46 c Core size: 4 Core Weight: 1 Total Weight: -382 1.38/1.46 c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s 1.38/1.47 c core #119 1.38/1.47 c Core size: 4 Core Weight: 1 Total Weight: -381 1.38/1.47 c Elapsed CPU time: 1.43678 s Remaining CPU time: 1798.56 s 1.38/1.48 c core #120 1.38/1.48 c Core size: 4 Core Weight: 1 Total Weight: -380 1.38/1.48 c Elapsed CPU time: 1.44978 s Remaining CPU time: 1798.55 s 1.38/1.49 c core #121 1.38/1.49 c Core size: 4 Core Weight: 1 Total Weight: -379 1.38/1.49 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.49/1.51 c core #122 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -378 1.49/1.51 c Elapsed CPU time: 1.47477 s Remaining CPU time: 1798.53 s 1.49/1.52 c core #123 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -377 1.49/1.52 c Elapsed CPU time: 1.48677 s Remaining CPU time: 1798.51 s 1.49/1.53 c core #124 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: -376 1.49/1.53 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.49/1.55 c core #125 1.49/1.55 c Core size: 4 Core Weight: 1 Total Weight: -375 1.49/1.55 c Elapsed CPU time: 1.51177 s Remaining CPU time: 1798.49 s 1.49/1.56 c core #126 1.49/1.56 c Core size: 4 Core Weight: 1 Total Weight: -374 1.49/1.56 c Elapsed CPU time: 1.52477 s Remaining CPU time: 1798.48 s 1.49/1.57 c core #127 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -373 1.49/1.57 c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s 1.49/1.58 c core #128 1.49/1.58 c Core size: 4 Core Weight: 1 Total Weight: -372 1.49/1.58 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.59/1.60 c core #129 1.59/1.60 c Core size: 4 Core Weight: 1 Total Weight: -371 1.59/1.60 c Elapsed CPU time: 1.56276 s Remaining CPU time: 1798.44 s 1.59/1.61 c core #130 1.59/1.61 c Core size: 4 Core Weight: 1 Total Weight: -370 1.59/1.61 c Elapsed CPU time: 1.57476 s Remaining CPU time: 1798.43 s 1.59/1.62 c core #131 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -369 1.59/1.62 c Elapsed CPU time: 1.58676 s Remaining CPU time: 1798.41 s 1.59/1.64 c core #132 1.59/1.64 c Core size: 4 Core Weight: 1 Total Weight: -368 1.59/1.64 c Elapsed CPU time: 1.59976 s Remaining CPU time: 1798.4 s 1.59/1.65 c core #133 1.59/1.65 c Core size: 4 Core Weight: 1 Total Weight: -367 1.59/1.65 c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s 1.59/1.66 c core #134 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -366 1.59/1.66 c Elapsed CPU time: 1.62575 s Remaining CPU time: 1798.37 s 1.59/1.67 c core #135 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -365 1.59/1.67 c Elapsed CPU time: 1.63775 s Remaining CPU time: 1798.36 s 1.59/1.69 c core #136 1.59/1.69 c Core size: 4 Core Weight: 1 Total Weight: -364 1.59/1.69 c Elapsed CPU time: 1.65075 s Remaining CPU time: 1798.35 s 1.68/1.70 c core #137 1.68/1.70 c Core size: 4 Core Weight: 1 Total Weight: -363 1.68/1.70 c Elapsed CPU time: 1.66375 s Remaining CPU time: 1798.34 s 1.68/1.71 c core #138 1.68/1.71 c Core size: 4 Core Weight: 1 Total Weight: -362 1.68/1.71 c Elapsed CPU time: 1.67674 s Remaining CPU time: 1798.32 s 1.68/1.73 c core #139 1.68/1.73 c Core size: 4 Core Weight: 1 Total Weight: -361 1.68/1.73 c Elapsed CPU time: 1.68974 s Remaining CPU time: 1798.31 s 1.68/1.74 c core #140 1.68/1.74 c Core size: 4 Core Weight: 1 Total Weight: -360 1.68/1.74 c Elapsed CPU time: 1.70274 s Remaining CPU time: 1798.3 s 1.68/1.75 c core #141 1.68/1.75 c Core size: 4 Core Weight: 1 Total Weight: -359 1.68/1.75 c Elapsed CPU time: 1.71574 s Remaining CPU time: 1798.28 s 1.68/1.77 c core #142 1.68/1.77 c Core size: 4 Core Weight: 1 Total Weight: -358 1.68/1.77 c Elapsed CPU time: 1.72874 s Remaining CPU time: 1798.27 s 1.68/1.78 c core #143 1.68/1.78 c Core size: 4 Core Weight: 1 Total Weight: -357 1.68/1.78 c Elapsed CPU time: 1.74073 s Remaining CPU time: 1798.26 s 1.68/1.79 c core #144 1.68/1.79 c Core size: 4 Core Weight: 1 Total Weight: -356 1.68/1.79 c Elapsed CPU time: 1.75273 s Remaining CPU time: 1798.25 s 1.78/1.81 c core #145 1.78/1.81 c Core size: 4 Core Weight: 1 Total Weight: -355 1.78/1.81 c Elapsed CPU time: 1.76573 s Remaining CPU time: 1798.23 s 1.78/1.82 c core #146 1.78/1.82 c Core size: 4 Core Weight: 1 Total Weight: -354 1.78/1.82 c Elapsed CPU time: 1.77773 s Remaining CPU time: 1798.22 s 1.78/1.83 c core #147 1.78/1.83 c Core size: 4 Core Weight: 1 Total Weight: -353 1.78/1.83 c Elapsed CPU time: 1.78973 s Remaining CPU time: 1798.21 s 1.78/1.85 c core #148 1.78/1.85 c Core size: 4 Core Weight: 1 Total Weight: -352 1.78/1.85 c Elapsed CPU time: 1.80273 s Remaining CPU time: 1798.2 s 1.78/1.86 c core #149 1.78/1.86 c Core size: 4 Core Weight: 1 Total Weight: -351 1.78/1.86 c Elapsed CPU time: 1.81572 s Remaining CPU time: 1798.18 s 1.78/1.87 c core #150 1.78/1.87 c Core size: 4 Core Weight: 1 Total Weight: -350 1.78/1.87 c Elapsed CPU time: 1.82772 s Remaining CPU time: 1798.17 s 1.78/1.89 c core #151 1.78/1.89 c Core size: 4 Core Weight: 1 Total Weight: -349 1.78/1.89 c Elapsed CPU time: 1.84172 s Remaining CPU time: 1798.16 s 1.88/1.90 c core #152 1.88/1.90 c Core size: 4 Core Weight: 1 Total Weight: -348 1.88/1.90 c Elapsed CPU time: 1.85472 s Remaining CPU time: 1798.15 s 1.88/1.91 c core #153 1.88/1.91 c Core size: 4 Core Weight: 1 Total Weight: -347 1.88/1.91 c Elapsed CPU time: 1.86672 s Remaining CPU time: 1798.13 s 1.88/1.92 c core #154 1.88/1.92 c Core size: 4 Core Weight: 1 Total Weight: -346 1.88/1.92 c Elapsed CPU time: 1.87871 s Remaining CPU time: 1798.12 s 1.88/1.94 c core #155 1.88/1.94 c Core size: 4 Core Weight: 1 Total Weight: -345 1.88/1.94 c Elapsed CPU time: 1.89171 s Remaining CPU time: 1798.11 s 1.88/1.95 c core #156 1.88/1.95 c Core size: 4 Core Weight: 1 Total Weight: -344 1.88/1.95 c Elapsed CPU time: 1.90371 s Remaining CPU time: 1798.1 s 1.88/1.96 c core #157 1.88/1.96 c Core size: 4 Core Weight: 1 Total Weight: -343 1.88/1.96 c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s 1.88/1.98 c core #158 1.88/1.98 c Core size: 4 Core Weight: 1 Total Weight: -342 1.88/1.98 c Elapsed CPU time: 1.92671 s Remaining CPU time: 1798.07 s 1.88/1.99 c core #159 1.88/1.99 c Core size: 4 Core Weight: 1 Total Weight: -341 1.88/1.99 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.98/2.00 c core #160 1.98/2.00 c Core size: 4 Core Weight: 1 Total Weight: -340 1.98/2.00 c Elapsed CPU time: 1.9497 s Remaining CPU time: 1798.05 s 1.98/2.02 c core #161 1.98/2.02 c Core size: 4 Core Weight: 1 Total Weight: -339 1.98/2.02 c Elapsed CPU time: 1.9617 s Remaining CPU time: 1798.04 s 1.98/2.03 c core #162 1.98/2.03 c Core size: 4 Core Weight: 1 Total Weight: -338 1.98/2.03 c Elapsed CPU time: 1.9747 s Remaining CPU time: 1798.03 s 1.98/2.04 c core #163 1.98/2.04 c Core size: 4 Core Weight: 1 Total Weight: -337 1.98/2.04 c Elapsed CPU time: 1.9877 s Remaining CPU time: 1798.01 s 1.98/2.06 c core #164 1.98/2.06 c Core size: 4 Core Weight: 1 Total Weight: -336 1.98/2.06 c Elapsed CPU time: 2.00169 s Remaining CPU time: 1798 s 1.98/2.07 c core #165 1.98/2.07 c Core size: 4 Core Weight: 1 Total Weight: -335 1.98/2.07 c Elapsed CPU time: 2.01469 s Remaining CPU time: 1797.99 s 1.98/2.08 c core #166 1.98/2.08 c Core size: 4 Core Weight: 1 Total Weight: -334 1.98/2.08 c Elapsed CPU time: 2.02769 s Remaining CPU time: 1797.97 s 1.98/2.10 c core #167 1.98/2.10 c Core size: 4 Core Weight: 1 Total Weight: -333 1.98/2.10 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 2.08/2.11 c core #168 2.08/2.11 c Core size: 4 Core Weight: 1 Total Weight: -332 2.08/2.11 c Elapsed CPU time: 2.05369 s Remaining CPU time: 1797.95 s 2.08/2.12 c core #169 2.08/2.12 c Core size: 4 Core Weight: 1 Total Weight: -331 2.08/2.12 c Elapsed CPU time: 2.06569 s Remaining CPU time: 1797.93 s 2.08/2.14 c core #170 2.08/2.14 c Core size: 4 Core Weight: 1 Total Weight: -330 2.08/2.14 c Elapsed CPU time: 2.07868 s Remaining CPU time: 1797.92 s 2.08/2.15 c core #171 2.08/2.15 c Core size: 4 Core Weight: 1 Total Weight: -329 2.08/2.15 c Elapsed CPU time: 2.09268 s Remaining CPU time: 1797.91 s 2.08/2.16 c core #172 2.08/2.16 c Core size: 4 Core Weight: 1 Total Weight: -328 2.08/2.16 c Elapsed CPU time: 2.10568 s Remaining CPU time: 1797.89 s 2.08/2.18 c core #173 2.08/2.18 c Core size: 4 Core Weight: 1 Total Weight: -327 2.08/2.18 c Elapsed CPU time: 2.11968 s Remaining CPU time: 1797.88 s 2.08/2.19 c core #174 2.08/2.19 c Core size: 4 Core Weight: 1 Total Weight: -326 2.08/2.19 c Elapsed CPU time: 2.13267 s Remaining CPU time: 1797.87 s 2.18/2.20 c core #175 2.18/2.20 c Core size: 4 Core Weight: 1 Total Weight: -325 2.18/2.20 c Elapsed CPU time: 2.14567 s Remaining CPU time: 1797.85 s 2.18/2.22 c core #176 2.18/2.22 c Core size: 4 Core Weight: 1 Total Weight: -324 2.18/2.22 c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s 2.18/2.23 c core #177 2.18/2.23 c Core size: 4 Core Weight: 1 Total Weight: -323 2.18/2.23 c Elapsed CPU time: 2.17067 s Remaining CPU time: 1797.83 s 2.18/2.24 c core #178 2.18/2.24 c Core size: 4 Core Weight: 1 Total Weight: -322 2.18/2.24 c Elapsed CPU time: 2.18367 s Remaining CPU time: 1797.82 s 2.18/2.26 c core #179 2.18/2.26 c Core size: 4 Core Weight: 1 Total Weight: -321 2.18/2.26 c Elapsed CPU time: 2.19767 s Remaining CPU time: 1797.8 s 2.18/2.27 c core #180 2.18/2.27 c Core size: 4 Core Weight: 1 Total Weight: -320 2.18/2.27 c Elapsed CPU time: 2.21066 s Remaining CPU time: 1797.79 s 2.18/2.28 c core #181 2.18/2.28 c Core size: 4 Core Weight: 1 Total Weight: -319 2.18/2.28 c Elapsed CPU time: 2.22466 s Remaining CPU time: 1797.78 s 2.28/2.30 c core #182 2.28/2.30 c Core size: 4 Core Weight: 1 Total Weight: -318 2.28/2.30 c Elapsed CPU time: 2.23766 s Remaining CPU time: 1797.76 s 2.28/2.31 c core #183 2.28/2.31 c Core size: 4 Core Weight: 1 Total Weight: -317 2.28/2.31 c Elapsed CPU time: 2.24966 s Remaining CPU time: 1797.75 s 2.28/2.32 c core #184 2.28/2.32 c Core size: 4 Core Weight: 1 Total Weight: -316 2.28/2.32 c Elapsed CPU time: 2.26266 s Remaining CPU time: 1797.74 s 2.28/2.34 c core #185 2.28/2.34 c Core size: 4 Core Weight: 1 Total Weight: -315 2.28/2.34 c Elapsed CPU time: 2.27565 s Remaining CPU time: 1797.72 s 2.28/2.35 c core #186 2.28/2.35 c Core size: 4 Core Weight: 1 Total Weight: -314 2.28/2.35 c Elapsed CPU time: 2.28865 s Remaining CPU time: 1797.71 s 2.28/2.37 c core #187 2.28/2.37 c Core size: 4 Core Weight: 1 Total Weight: -313 2.28/2.37 c Elapsed CPU time: 2.30265 s Remaining CPU time: 1797.7 s 2.28/2.38 c core #188 2.28/2.38 c Core size: 4 Core Weight: 1 Total Weight: -312 2.28/2.38 c Elapsed CPU time: 2.31565 s Remaining CPU time: 1797.68 s 2.28/2.39 c core #189 2.28/2.39 c Core size: 4 Core Weight: 1 Total Weight: -311 2.28/2.39 c Elapsed CPU time: 2.32864 s Remaining CPU time: 1797.67 s 2.38/2.41 c core #190 2.38/2.41 c Core size: 4 Core Weight: 1 Total Weight: -310 2.38/2.41 c Elapsed CPU time: 2.34064 s Remaining CPU time: 1797.66 s 2.38/2.42 c core #191 2.38/2.42 c Core size: 4 Core Weight: 1 Total Weight: -309 2.38/2.42 c Elapsed CPU time: 2.35364 s Remaining CPU time: 1797.65 s 2.38/2.43 c core #192 2.38/2.43 c Core size: 4 Core Weight: 1 Total Weight: -308 2.38/2.43 c Elapsed CPU time: 2.36664 s Remaining CPU time: 1797.63 s 2.38/2.45 c core #193 2.38/2.45 c Core size: 4 Core Weight: 1 Total Weight: -307 2.38/2.45 c Elapsed CPU time: 2.38064 s Remaining CPU time: 1797.62 s 2.38/2.46 c core #194 2.38/2.46 c Core size: 4 Core Weight: 1 Total Weight: -306 2.38/2.46 c Elapsed CPU time: 2.39464 s Remaining CPU time: 1797.61 s 2.38/2.48 c core #195 2.38/2.48 c Core size: 4 Core Weight: 1 Total Weight: -305 2.38/2.48 c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s 2.38/2.49 c core #196 2.38/2.49 c Core size: 4 Core Weight: 1 Total Weight: -304 2.38/2.49 c Elapsed CPU time: 2.42163 s Remaining CPU time: 1797.58 s 2.47/2.50 c core #197 2.47/2.50 c Core size: 4 Core Weight: 1 Total Weight: -303 2.47/2.50 c Elapsed CPU time: 2.43363 s Remaining CPU time: 1797.57 s 2.47/2.52 c core #198 2.47/2.52 c Core size: 4 Core Weight: 1 Total Weight: -302 2.47/2.52 c Elapsed CPU time: 2.44763 s Remaining CPU time: 1797.55 s 2.47/2.53 c core #199 2.47/2.53 c Core size: 4 Core Weight: 1 Total Weight: -301 2.47/2.53 c Elapsed CPU time: 2.46163 s Remaining CPU time: 1797.54 s 2.47/2.54 c core #200 2.47/2.54 c Core size: 4 Core Weight: 1 Total Weight: -300 2.47/2.54 c Elapsed CPU time: 2.47362 s Remaining CPU time: 1797.53 s 2.47/2.56 c core #201 2.47/2.56 c Core size: 4 Core Weight: 1 Total Weight: -299 2.47/2.56 c Elapsed CPU time: 2.48662 s Remaining CPU time: 1797.51 s 2.47/2.57 c core #202 2.47/2.57 c Core size: 4 Core Weight: 1 Total Weight: -298 2.47/2.57 c Elapsed CPU time: 2.50062 s Remaining CPU time: 1797.5 s 2.47/2.59 c core #203 2.47/2.59 c Core size: 4 Core Weight: 1 Total Weight: -297 2.47/2.59 c Elapsed CPU time: 2.51462 s Remaining CPU time: 1797.49 s 2.57/2.60 c core #204 2.57/2.60 c Core size: 4 Core Weight: 1 Total Weight: -296 2.57/2.60 c Elapsed CPU time: 2.52761 s Remaining CPU time: 1797.47 s 2.57/2.61 c core #205 2.57/2.61 c Core size: 4 Core Weight: 1 Total Weight: -295 2.57/2.61 c Elapsed CPU time: 2.54161 s Remaining CPU time: 1797.46 s 2.57/2.63 c core #206 2.57/2.63 c Core size: 4 Core Weight: 1 Total Weight: -294 2.57/2.63 c Elapsed CPU time: 2.55461 s Remaining CPU time: 1797.45 s 2.57/2.64 c core #207 2.57/2.64 c Core size: 4 Core Weight: 1 Total Weight: -293 2.57/2.64 c Elapsed CPU time: 2.56761 s Remaining CPU time: 1797.43 s 2.57/2.66 c core #208 2.57/2.66 c Core size: 4 Core Weight: 1 Total Weight: -292 2.57/2.66 c Elapsed CPU time: 2.58161 s Remaining CPU time: 1797.42 s 2.57/2.67 c core #209 2.57/2.67 c Core size: 4 Core Weight: 1 Total Weight: -291 2.57/2.67 c Elapsed CPU time: 2.5956 s Remaining CPU time: 1797.4 s 2.57/2.68 c core #210 2.57/2.68 c Core size: 4 Core Weight: 1 Total Weight: -290 2.57/2.68 c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s 2.67/2.70 c core #211 2.67/2.70 c Core size: 4 Core Weight: 1 Total Weight: -289 2.67/2.70 c Elapsed CPU time: 2.6206 s Remaining CPU time: 1797.38 s 2.67/2.71 c core #212 2.67/2.71 c Core size: 4 Core Weight: 1 Total Weight: -288 2.67/2.71 c Elapsed CPU time: 2.6326 s Remaining CPU time: 1797.37 s 2.67/2.73 c core #213 2.67/2.73 c Core size: 4 Core Weight: 1 Total Weight: -287 2.67/2.73 c Elapsed CPU time: 2.6456 s Remaining CPU time: 1797.35 s 2.67/2.74 c core #214 2.67/2.74 c Core size: 4 Core Weight: 1 Total Weight: -286 2.67/2.74 c Elapsed CPU time: 2.6586 s Remaining CPU time: 1797.34 s 2.67/2.75 c core #215 2.67/2.75 c Core size: 4 Core Weight: 1 Total Weight: -285 2.67/2.75 c Elapsed CPU time: 2.67159 s Remaining CPU time: 1797.33 s 2.67/2.77 c core #216 2.67/2.77 c Core size: 4 Core Weight: 1 Total Weight: -284 2.67/2.77 c Elapsed CPU time: 2.68459 s Remaining CPU time: 1797.32 s 2.67/2.78 c core #217 2.67/2.78 c Core size: 4 Core Weight: 1 Total Weight: -283 2.67/2.78 c Elapsed CPU time: 2.69859 s Remaining CPU time: 1797.3 s 2.67/2.79 c core #218 2.67/2.79 c Core size: 4 Core Weight: 1 Total Weight: -282 2.67/2.79 c Elapsed CPU time: 2.71159 s Remaining CPU time: 1797.29 s 2.77/2.81 c core #219 2.77/2.81 c Core size: 4 Core Weight: 1 Total Weight: -281 2.77/2.81 c Elapsed CPU time: 2.72559 s Remaining CPU time: 1797.27 s 2.77/2.82 c core #220 2.77/2.82 c Core size: 4 Core Weight: 1 Total Weight: -280 2.77/2.82 c Elapsed CPU time: 2.73858 s Remaining CPU time: 1797.26 s 2.77/2.84 c core #221 2.77/2.84 c Core size: 4 Core Weight: 1 Total Weight: -279 2.77/2.84 c Elapsed CPU time: 2.75158 s Remaining CPU time: 1797.25 s 2.77/2.85 c core #222 2.77/2.85 c Core size: 4 Core Weight: 1 Total Weight: -278 2.77/2.85 c Elapsed CPU time: 2.76458 s Remaining CPU time: 1797.24 s 2.77/2.86 c core #223 2.77/2.86 c Core size: 4 Core Weight: 1 Total Weight: -277 2.77/2.86 c Elapsed CPU time: 2.77858 s Remaining CPU time: 1797.22 s 2.77/2.88 c core #224 2.77/2.88 c Core size: 4 Core Weight: 1 Total Weight: -276 2.77/2.88 c Elapsed CPU time: 2.79157 s Remaining CPU time: 1797.21 s 2.77/2.89 c core #225 2.77/2.89 c Core size: 4 Core Weight: 1 Total Weight: -275 2.77/2.89 c Elapsed CPU time: 2.80457 s Remaining CPU time: 1797.2 s 2.86/2.91 c core #226 2.86/2.91 c Core size: 4 Core Weight: 1 Total Weight: -274 2.86/2.91 c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s 2.86/2.92 c core #227 2.86/2.92 c Core size: 4 Core Weight: 1 Total Weight: -273 2.86/2.92 c Elapsed CPU time: 2.83157 s Remaining CPU time: 1797.17 s 2.86/2.93 c core #228 2.86/2.93 c Core size: 4 Core Weight: 1 Total Weight: -272 2.86/2.93 c Elapsed CPU time: 2.84457 s Remaining CPU time: 1797.16 s 2.86/2.95 c core #229 2.86/2.95 c Core size: 4 Core Weight: 1 Total Weight: -271 2.86/2.95 c Elapsed CPU time: 2.85956 s Remaining CPU time: 1797.14 s 2.86/2.96 c core #230 2.86/2.96 c Core size: 4 Core Weight: 1 Total Weight: -270 2.86/2.96 c Elapsed CPU time: 2.87356 s Remaining CPU time: 1797.13 s 2.86/2.98 c core #231 2.86/2.98 c Core size: 4 Core Weight: 1 Total Weight: -269 2.86/2.98 c Elapsed CPU time: 2.88756 s Remaining CPU time: 1797.11 s 2.86/2.99 c core #232 2.86/2.99 c Core size: 4 Core Weight: 1 Total Weight: -268 2.86/2.99 c Elapsed CPU time: 2.90056 s Remaining CPU time: 1797.1 s 2.96/3.00 c core #233 2.96/3.00 c Core size: 4 Core Weight: 1 Total Weight: -267 2.96/3.00 c Elapsed CPU time: 2.91356 s Remaining CPU time: 1797.09 s 2.96/3.02 c core #234 2.96/3.02 c Core size: 9 Core Weight: 1 Total Weight: -266 2.96/3.02 c Elapsed CPU time: 2.92755 s Remaining CPU time: 1797.07 s 2.96/3.03 c core #235 2.96/3.03 c Core size: 9 Core Weight: 1 Total Weight: -265 2.96/3.03 c Elapsed CPU time: 2.94155 s Remaining CPU time: 1797.06 s 2.96/3.05 c core #236 2.96/3.05 c Core size: 14 Core Weight: 1 Total Weight: -264 2.96/3.05 c Elapsed CPU time: 2.95555 s Remaining CPU time: 1797.04 s 2.96/3.06 c core #237 2.96/3.06 c Core size: 9 Core Weight: 1 Total Weight: -263 2.96/3.06 c Elapsed CPU time: 2.96955 s Remaining CPU time: 1797.03 s 2.96/3.08 c core #238 2.96/3.08 c Core size: 9 Core Weight: 1 Total Weight: -262 2.96/3.08 c Elapsed CPU time: 2.98355 s Remaining CPU time: 1797.02 s 2.96/3.09 c core #239 2.96/3.09 c Core size: 9 Core Weight: 1 Total Weight: -261 2.96/3.09 c Elapsed CPU time: 2.99754 s Remaining CPU time: 1797 s 3.07/3.10 c core #240 3.07/3.10 c Core size: 9 Core Weight: 1 Total Weight: -260 3.07/3.10 c Elapsed CPU time: 3.00954 s Remaining CPU time: 1796.99 s 3.07/3.12 c core #241 3.07/3.12 c Core size: 9 Core Weight: 1 Total Weight: -259 3.07/3.12 c Elapsed CPU time: 3.02354 s Remaining CPU time: 1796.98 s 3.07/3.13 c core #242 3.07/3.13 c Core size: 14 Core Weight: 1 Total Weight: -258 3.07/3.13 c Elapsed CPU time: 3.03754 s Remaining CPU time: 1796.96 s 3.07/3.15 c core #243 3.07/3.15 c Core size: 9 Core Weight: 1 Total Weight: -257 3.07/3.15 c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s 3.07/3.16 c core #244 3.07/3.16 c Core size: 9 Core Weight: 1 Total Weight: -256 3.07/3.16 c Elapsed CPU time: 3.06353 s Remaining CPU time: 1796.94 s 3.07/3.17 c core #245 3.07/3.17 c Core size: 14 Core Weight: 1 Total Weight: -255 3.07/3.17 c Elapsed CPU time: 3.07753 s Remaining CPU time: 1796.92 s 3.07/3.19 c core #246 3.07/3.19 c Core size: 14 Core Weight: 1 Total Weight: -254 3.07/3.19 c Elapsed CPU time: 3.09053 s Remaining CPU time: 1796.91 s 3.17/3.20 c core #247 3.17/3.20 c Core size: 18 Core Weight: 1 Total Weight: -253 3.17/3.20 c Elapsed CPU time: 3.10353 s Remaining CPU time: 1796.9 s 3.17/3.22 c core #248 3.17/3.22 c Core size: 13 Core Weight: 1 Total Weight: -252 3.17/3.22 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.17/3.23 c core #249 3.17/3.23 c Core size: 24 Core Weight: 1 Total Weight: -251 3.17/3.23 c Elapsed CPU time: 3.13152 s Remaining CPU time: 1796.87 s 3.17/3.24 c core #250 3.17/3.24 c Core size: 19 Core Weight: 1 Total Weight: -250 3.17/3.24 c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 s 3.17/3.26 c core #251 3.17/3.26 c Core size: 28 Core Weight: 1 Total Weight: -249 3.17/3.26 c Elapsed CPU time: 3.15852 s Remaining CPU time: 1796.84 s 3.17/3.27 c core #252 3.17/3.27 c Core size: 23 Core Weight: 1 Total Weight: -248 3.17/3.27 c Elapsed CPU time: 3.17152 s Remaining CPU time: 1796.83 s 3.17/3.29 c ============================[ Search Statistics ]============================== 3.17/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.29 c =============================================================================== 3.17/3.29 c | 0 | 1076 8070 16858 | 5000 0 nan | 0.000 % | 3.17/3.29 c =============================================================================== 3.17/3.29 c core #253 3.17/3.29 c Core size: 16 Core Weight: 1 Total Weight: -247 3.17/3.29 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.17/3.30 c ============================[ Search Statistics ]============================== 3.17/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.17/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.17/3.30 c =============================================================================== 3.17/3.30 c | 0 | 1082 8071 16870 | 5000 0 nan | 0.000 % | 3.27/3.30 c =============================================================================== 3.27/3.30 c core #254 3.27/3.30 c Core size: 62 Core Weight: 1 Total Weight: -246 3.27/3.30 c Elapsed CPU time: 3.20151 s Remaining CPU time: 1796.8 s 3.27/3.32 c ============================[ Search Statistics ]============================== 3.27/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.32 c =============================================================================== 3.27/3.32 c | 0 | 1106 8072 16918 | 5000 0 nan | 0.000 % | 3.27/3.32 c =============================================================================== 3.27/3.32 c core #255 3.27/3.32 c Core size: 25 Core Weight: 1 Total Weight: -245 3.27/3.32 c Elapsed CPU time: 3.21651 s Remaining CPU time: 1796.78 s 3.27/3.33 c ============================[ Search Statistics ]============================== 3.27/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.33 c =============================================================================== 3.27/3.33 c | 0 | 1116 8073 16938 | 5000 0 nan | 0.000 % | 3.27/3.33 c =============================================================================== 3.27/3.33 c core #256 3.27/3.33 c Core size: 27 Core Weight: 1 Total Weight: -244 3.27/3.33 c Elapsed CPU time: 3.23051 s Remaining CPU time: 1796.77 s 3.27/3.35 c ============================[ Search Statistics ]============================== 3.27/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.35 c =============================================================================== 3.27/3.35 c | 0 | 1126 8074 16958 | 5000 0 nan | 0.000 % | 3.27/3.35 c =============================================================================== 3.27/3.35 c core #257 3.27/3.35 c Core size: 27 Core Weight: 1 Total Weight: -243 3.27/3.35 c Elapsed CPU time: 3.24551 s Remaining CPU time: 1796.75 s 3.27/3.36 c ============================[ Search Statistics ]============================== 3.27/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.36 c =============================================================================== 3.27/3.36 c | 0 | 1136 8075 16978 | 5000 0 nan | 0.000 % | 3.27/3.36 c =============================================================================== 3.27/3.36 c core #258 3.27/3.36 c Core size: 42 Core Weight: 1 Total Weight: -242 3.27/3.36 c Elapsed CPU time: 3.2585 s Remaining CPU time: 1796.74 s 3.27/3.38 c ============================[ Search Statistics ]============================== 3.27/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.38 c =============================================================================== 3.27/3.38 c | 0 | 1152 8076 17010 | 5000 0 nan | 0.000 % | 3.27/3.38 c =============================================================================== 3.27/3.38 c core #259 3.27/3.38 c Core size: 20 Core Weight: 1 Total Weight: -241 3.27/3.38 c Elapsed CPU time: 3.2735 s Remaining CPU time: 1796.73 s 3.27/3.39 c ============================[ Search Statistics ]============================== 3.27/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.27/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.27/3.39 c =============================================================================== 3.27/3.39 c | 0 | 1160 8077 17026 | 5000 0 nan | 0.000 % | 3.27/3.39 c =============================================================================== 3.27/3.39 c core #260 3.27/3.39 c Core size: 30 Core Weight: 1 Total Weight: -240 3.27/3.39 c Elapsed CPU time: 3.2875 s Remaining CPU time: 1796.71 s 3.36/3.41 c ============================[ Search Statistics ]============================== 3.36/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.41 c =============================================================================== 3.36/3.41 c | 0 | 1172 8078 17050 | 5000 0 nan | 0.000 % | 3.36/3.41 c =============================================================================== 3.36/3.41 c core #261 3.36/3.41 c Core size: 42 Core Weight: 1 Total Weight: -239 3.36/3.41 c Elapsed CPU time: 3.3025 s Remaining CPU time: 1796.7 s 3.36/3.42 c ============================[ Search Statistics ]============================== 3.36/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.42 c =============================================================================== 3.36/3.42 c | 0 | 1188 8079 17082 | 5000 0 nan | 0.000 % | 3.36/3.42 c =============================================================================== 3.36/3.42 c core #262 3.36/3.42 c Core size: 32 Core Weight: 1 Total Weight: -238 3.36/3.42 c Elapsed CPU time: 3.3175 s Remaining CPU time: 1796.68 s 3.36/3.44 c ============================[ Search Statistics ]============================== 3.36/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.44 c =============================================================================== 3.36/3.44 c | 0 | 1200 8080 17106 | 5000 0 nan | 0.000 % | 3.36/3.44 c =============================================================================== 3.36/3.44 c core #263 3.36/3.44 c Core size: 37 Core Weight: 1 Total Weight: -237 3.36/3.44 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.36/3.45 c ============================[ Search Statistics ]============================== 3.36/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.45 c =============================================================================== 3.36/3.45 c | 0 | 1214 8081 17134 | 5000 0 nan | 0.000 % | 3.36/3.45 c =============================================================================== 3.36/3.45 c core #264 3.36/3.45 c Core size: 37 Core Weight: 1 Total Weight: -236 3.36/3.46 c Elapsed CPU time: 3.34749 s Remaining CPU time: 1796.65 s 3.36/3.47 c ============================[ Search Statistics ]============================== 3.36/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.47 c =============================================================================== 3.36/3.47 c | 0 | 1228 8082 17162 | 5000 0 nan | 0.000 % | 3.36/3.47 c =============================================================================== 3.36/3.47 c core #265 3.36/3.47 c Core size: 31 Core Weight: 1 Total Weight: -235 3.36/3.47 c Elapsed CPU time: 3.36249 s Remaining CPU time: 1796.64 s 3.36/3.48 c ============================[ Search Statistics ]============================== 3.36/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.36/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.36/3.48 c =============================================================================== 3.36/3.48 c | 0 | 1240 8083 17186 | 5000 0 nan | 0.000 % | 3.36/3.48 c =============================================================================== 3.36/3.48 c core #266 3.36/3.48 c Core size: 32 Core Weight: 1 Total Weight: -234 3.36/3.48 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.45/3.50 c ============================[ Search Statistics ]============================== 3.45/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.50 c =============================================================================== 3.45/3.50 c | 0 | 1252 8084 17210 | 5000 0 nan | 0.000 % | 3.45/3.50 c =============================================================================== 3.45/3.50 c core #267 3.45/3.50 c Core size: 22 Core Weight: 1 Total Weight: -233 3.45/3.50 c Elapsed CPU time: 3.39248 s Remaining CPU time: 1796.61 s 3.45/3.51 c ============================[ Search Statistics ]============================== 3.45/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.51 c =============================================================================== 3.45/3.51 c | 0 | 1260 8085 17226 | 5000 0 nan | 0.000 % | 3.45/3.51 c =============================================================================== 3.45/3.51 c core #268 3.45/3.51 c Core size: 27 Core Weight: 1 Total Weight: -232 3.45/3.51 c Elapsed CPU time: 3.40748 s Remaining CPU time: 1796.59 s 3.45/3.53 c ============================[ Search Statistics ]============================== 3.45/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.53 c =============================================================================== 3.45/3.53 c | 0 | 1270 8086 17246 | 5000 0 nan | 0.000 % | 3.45/3.53 c =============================================================================== 3.45/3.53 c core #269 3.45/3.53 c Core size: 27 Core Weight: 1 Total Weight: -231 3.45/3.53 c Elapsed CPU time: 3.42248 s Remaining CPU time: 1796.58 s 3.45/3.54 c ============================[ Search Statistics ]============================== 3.45/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.54 c =============================================================================== 3.45/3.54 c | 0 | 1280 8087 17266 | 5000 0 nan | 0.000 % | 3.45/3.55 c =============================================================================== 3.45/3.55 c core #270 3.45/3.55 c Core size: 31 Core Weight: 1 Total Weight: -230 3.45/3.55 c Elapsed CPU time: 3.43648 s Remaining CPU time: 1796.56 s 3.45/3.56 c ============================[ Search Statistics ]============================== 3.45/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.56 c =============================================================================== 3.45/3.56 c | 0 | 1292 8088 17290 | 5000 0 nan | 0.000 % | 3.45/3.56 c =============================================================================== 3.45/3.56 c core #271 3.45/3.56 c Core size: 41 Core Weight: 1 Total Weight: -229 3.45/3.56 c Elapsed CPU time: 3.44948 s Remaining CPU time: 1796.55 s 3.45/3.57 c ============================[ Search Statistics ]============================== 3.45/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.57 c =============================================================================== 3.45/3.57 c | 0 | 1307 8089 17320 | 5000 0 nan | 0.000 % | 3.45/3.58 c =============================================================================== 3.45/3.58 c core #272 3.45/3.58 c Core size: 36 Core Weight: 1 Total Weight: -228 3.45/3.58 c Elapsed CPU time: 3.46247 s Remaining CPU time: 1796.54 s 3.45/3.59 c ============================[ Search Statistics ]============================== 3.45/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.45/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.45/3.59 c =============================================================================== 3.45/3.59 c | 0 | 1321 8090 17348 | 5000 0 nan | 0.000 % | 3.45/3.59 c =============================================================================== 3.45/3.59 c core #273 3.45/3.59 c Core size: 34 Core Weight: 1 Total Weight: -227 3.45/3.59 c Elapsed CPU time: 3.47647 s Remaining CPU time: 1796.52 s 3.56/3.60 c ============================[ Search Statistics ]============================== 3.56/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.61 c =============================================================================== 3.56/3.61 c | 0 | 1333 8091 17372 | 5000 0 nan | 0.000 % | 3.56/3.61 c =============================================================================== 3.56/3.61 c core #274 3.56/3.61 c Core size: 35 Core Weight: 1 Total Weight: -226 3.56/3.61 c Elapsed CPU time: 3.49047 s Remaining CPU time: 1796.51 s 3.56/3.62 c ============================[ Search Statistics ]============================== 3.56/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.62 c =============================================================================== 3.56/3.62 c | 0 | 1347 8092 17400 | 5000 0 nan | 0.000 % | 3.56/3.62 c =============================================================================== 3.56/3.62 c core #275 3.56/3.62 c Core size: 42 Core Weight: 1 Total Weight: -225 3.56/3.62 c Elapsed CPU time: 3.50447 s Remaining CPU time: 1796.5 s 3.56/3.64 c ============================[ Search Statistics ]============================== 3.56/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.64 c =============================================================================== 3.56/3.64 c | 0 | 1363 8093 17432 | 5000 0 nan | 0.000 % | 3.56/3.64 c =============================================================================== 3.56/3.64 c core #276 3.56/3.64 c Core size: 42 Core Weight: 1 Total Weight: -224 3.56/3.64 c Elapsed CPU time: 3.51946 s Remaining CPU time: 1796.48 s 3.56/3.65 c ============================[ Search Statistics ]============================== 3.56/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.65 c =============================================================================== 3.56/3.65 c | 0 | 1379 8094 17464 | 5000 0 nan | 0.000 % | 3.56/3.65 c =============================================================================== 3.56/3.65 c core #277 3.56/3.65 c Core size: 31 Core Weight: 1 Total Weight: -223 3.56/3.65 c Elapsed CPU time: 3.53446 s Remaining CPU time: 1796.47 s 3.56/3.67 c ============================[ Search Statistics ]============================== 3.56/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.67 c =============================================================================== 3.56/3.67 c | 0 | 1391 8095 17488 | 5000 0 nan | 0.000 % | 3.56/3.67 c =============================================================================== 3.56/3.67 c core #278 3.56/3.67 c Core size: 46 Core Weight: 1 Total Weight: -222 3.56/3.67 c Elapsed CPU time: 3.54946 s Remaining CPU time: 1796.45 s 3.56/3.68 c ============================[ Search Statistics ]============================== 3.56/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.56/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.56/3.68 c =============================================================================== 3.56/3.68 c | 0 | 1409 8096 17524 | 5000 0 nan | 0.000 % | 3.56/3.68 c =============================================================================== 3.56/3.68 c core #279 3.56/3.68 c Core size: 41 Core Weight: 1 Total Weight: -221 3.56/3.68 c Elapsed CPU time: 3.56346 s Remaining CPU time: 1796.44 s 3.65/3.70 c ============================[ Search Statistics ]============================== 3.65/3.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.70 c =============================================================================== 3.65/3.70 c | 0 | 1425 8097 17556 | 5000 0 nan | 0.000 % | 3.65/3.70 c =============================================================================== 3.65/3.70 c core #280 3.65/3.70 c Core size: 55 Core Weight: 1 Total Weight: -220 3.65/3.70 c Elapsed CPU time: 3.57746 s Remaining CPU time: 1796.42 s 3.65/3.71 c ============================[ Search Statistics ]============================== 3.65/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.71 c =============================================================================== 3.65/3.71 c | 0 | 1447 8098 17600 | 5000 0 nan | 0.000 % | 3.65/3.72 c =============================================================================== 3.65/3.72 c core #281 3.65/3.72 c Core size: 84 Core Weight: 1 Total Weight: -219 3.65/3.72 c Elapsed CPU time: 3.59345 s Remaining CPU time: 1796.41 s 3.65/3.73 c ============================[ Search Statistics ]============================== 3.65/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.73 c =============================================================================== 3.65/3.73 c | 0 | 1478 8099 17662 | 5000 0 nan | 0.000 % | 3.65/3.74 c | 101 | 1478 8099 17662 | 5500 101 47 | 68.126 % | 3.65/3.74 c =============================================================================== 3.65/3.74 c core #282 3.65/3.74 c Core size: 273 Core Weight: 1 Total Weight: -218 3.65/3.74 c Elapsed CPU time: 3.61645 s Remaining CPU time: 1796.38 s 3.65/3.75 c ============================[ Search Statistics ]============================== 3.65/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.65/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.65/3.75 c =============================================================================== 3.65/3.75 c | 0 | 1567 8100 17840 | 5000 0 nan | 0.000 % | 3.65/3.76 c | 103 | 1567 8100 17840 | 5500 103 58 | 66.843 % | 3.65/3.77 c | 253 | 1566 8100 17840 | 6050 251 50 | 66.864 % | 3.75/3.80 c | 479 | 1566 8100 17840 | 6655 477 68 | 66.864 % | 3.75/3.84 c | 822 | 1566 8100 17840 | 7320 820 96 | 66.864 % | 3.75/3.85 c =============================================================================== 3.75/3.85 c core #283 3.75/3.85 c Core size: 550 Core Weight: 1 Total Weight: -217 3.75/3.85 c Elapsed CPU time: 3.72843 s Remaining CPU time: 1796.27 s 3.75/3.87 c ============================[ Search Statistics ]============================== 3.75/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.75/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.75/3.87 c =============================================================================== 3.75/3.87 c | 0 | 1729 8101 18164 | 5000 0 nan | 0.000 % | 3.75/3.88 c | 104 | 1728 8101 18164 | 5500 104 25 | 64.648 % | 3.75/3.89 c | 254 | 1728 8101 18164 | 6050 254 25 | 64.648 % | 3.84/3.91 c | 480 | 1728 8101 18164 | 6655 479 29 | 64.648 % | 3.84/3.94 c | 817 | 1728 8101 18164 | 7320 816 33 | 64.648 % | 3.84/3.99 c =============================================================================== 3.84/4.00 c core #284 3.84/4.00 c Core size: 465 Core Weight: 1 Total Weight: -216 3.84/4.00 c Elapsed CPU time: 3.86441 s Remaining CPU time: 1796.14 s 3.95/4.01 c ============================[ Search Statistics ]============================== 3.95/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.95/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.95/4.01 c =============================================================================== 3.95/4.01 c | 0 | 1864 8102 18434 | 5000 0 nan | 0.000 % | 3.95/4.02 c | 103 | 1864 8102 18434 | 5500 103 18 | 62.891 % | 3.95/4.03 c | 253 | 1864 8102 18434 | 6050 253 22 | 62.891 % | 3.95/4.04 c | 479 | 1864 8102 18434 | 6655 479 25 | 62.891 % | 3.95/4.08 c | 816 | 1864 8102 18434 | 7320 816 36 | 62.891 % | 4.05/4.14 c | 1324 | 1864 8102 18434 | 8052 1324 53 | 62.891 % | 4.14/4.26 c | 2086 | 1864 8102 18434 | 8857 2086 74 | 62.891 % | 4.35/4.48 c | 3225 | 1864 8102 18434 | 9743 3225 92 | 62.891 % | 4.54/4.69 c =============================================================================== 4.64/4.73 c core #285 4.64/4.73 c Core size: 685 Core Weight: 1 Total Weight: -215 4.64/4.73 c Elapsed CPU time: 4.5843 s Remaining CPU time: 1795.42 s 4.64/4.75 c ============================[ Search Statistics ]============================== 4.64/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.64/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.64/4.75 c =============================================================================== 4.64/4.75 c | 0 | 2038 8103 18782 | 5000 0 nan | 0.000 % | 4.64/4.76 c | 102 | 2038 8103 18782 | 5500 102 105 | 60.785 % | 4.64/4.78 c | 252 | 2038 8103 18782 | 6050 252 103 | 60.785 % | 4.74/4.81 c | 477 | 2038 8103 18782 | 6655 477 93 | 60.785 % | 4.74/4.84 c | 815 | 2038 8103 18782 | 7320 815 69 | 60.785 % | 4.85/4.90 c | 1323 | 2038 8103 18782 | 8052 1323 68 | 60.785 % | 4.85/4.98 c | 2083 | 2038 8103 18782 | 8857 2083 73 | 60.785 % | 5.04/5.14 c | 3226 | 2038 8103 18782 | 9743 3226 81 | 60.785 % | 5.35/5.44 c | 4935 | 2038 8103 18782 | 10717 4935 84 | 60.785 % | 5.95/6.04 c | 7497 | 2038 8103 18782 | 11789 7497 102 | 60.785 % | 7.04/7.16 c | 11341 | 2038 8103 18782 | 12968 11341 111 | 60.785 % | 9.94/10.08 c | 17107 | 2038 8103 18782 | 14265 9011 204 | 60.785 % | 14.54/14.68 c =============================================================================== 14.94/15.01 c core #286 14.94/15.01 c Core size: 1051 Core Weight: 1 Total Weight: -214 14.94/15.01 c Elapsed CPU time: 14.7638 s Remaining CPU time: 1785.24 s 14.94/15.05 c ============================[ Search Statistics ]============================== 14.94/15.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.94/15.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.94/15.05 c =============================================================================== 14.94/15.05 c | 0 | 2268 8104 19242 | 5000 0 nan | 0.000 % | 14.94/15.07 c | 101 | 2268 8104 19242 | 5500 101 76 | 58.209 % | 14.94/15.08 c | 251 | 2268 8104 19242 | 6050 251 53 | 58.209 % | 15.04/15.10 c | 477 | 2268 8104 19242 | 6655 477 53 | 58.209 % | 15.04/15.15 c | 815 | 2268 8104 19242 | 7320 815 85 | 58.209 % | 15.14/15.24 c | 1322 | 2268 8104 19242 | 8052 1322 105 | 58.209 % | 15.24/15.36 c | 2081 | 2268 8104 19242 | 8857 2081 103 | 58.209 % | 15.44/15.57 c | 3223 | 2268 8104 19242 | 9743 3223 112 | 58.209 % | 16.04/16.12 c | 4934 | 2268 8104 19242 | 10717 4934 143 | 58.209 % | 17.14/17.23 c | 7500 | 2268 8104 19242 | 11789 7500 164 | 58.209 % | 19.34/19.48 c | 11348 | 2268 8104 19242 | 12968 11348 179 | 58.209 % | 22.54/22.69 c | 17115 | 2268 8104 19242 | 14265 8824 173 | 58.209 % | 26.84/26.92 c | 25764 | 2268 8104 19242 | 15692 17473 181 | 58.209 % | 34.14/34.29 c | 38738 | 2268 8104 19242 | 17261 11272 174 | 58.209 % | 45.43/45.53 c | 58201 | 2268 8104 19242 | 18987 20384 185 | 58.209 % | 54.73/54.82 c =============================================================================== 55.72/55.88 c core #287 55.72/55.88 c Core size: 1444 Core Weight: 1 Total Weight: -213 55.72/55.88 c Elapsed CPU time: 55.3556 s Remaining CPU time: 1744.64 s 55.82/55.98 c ============================[ Search Statistics ]============================== 55.82/55.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.82/55.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.82/55.98 c =============================================================================== 55.82/55.98 c | 0 | 2581 8105 19868 | 5000 0 nan | 0.000 % | 55.82/56.00 c | 100 | 2581 8105 19868 | 5500 100 48 | 55.035 % | 55.94/56.01 c | 250 | 2581 8105 19868 | 6050 250 35 | 55.035 % | 55.94/56.03 c | 477 | 2581 8105 19868 | 6655 477 43 | 55.035 % | 55.94/56.06 c | 816 | 2581 8105 19868 | 7320 816 38 | 55.035 % | 56.03/56.12 c | 1324 | 2581 8105 19868 | 8052 1324 44 | 55.035 % | 56.12/56.24 c | 2086 | 2581 8105 19868 | 8857 2086 68 | 55.035 % | 56.33/56.44 c | 3227 | 2581 8105 19868 | 9743 3227 82 | 55.035 % | 56.62/56.75 c | 4936 | 2581 8105 19868 | 10717 4936 96 | 55.035 % | 57.33/57.48 c | 7500 | 2581 8105 19868 | 11789 7500 120 | 55.035 % | 58.83/58.93 c | 11344 | 2581 8105 19868 | 12968 11344 144 | 55.035 % | 61.52/61.64 c | 17110 | 2581 8105 19868 | 14265 8887 178 | 55.035 % | 66.13/66.29 c | 25759 | 2581 8105 19868 | 15692 17536 222 | 55.035 % | 76.82/76.97 c | 38734 | 2581 8105 19868 | 17261 11339 281 | 55.035 % | 95.62/95.78 c | 58196 | 2580 8105 19868 | 18987 20468 291 | 55.052 % | 122.21/122.33 c | 87395 | 2580 8105 19868 | 20886 16221 347 | 55.052 % | 167.11/167.24 c | 131189 | 2580 8105 19868 | 22974 23557 297 | 55.052 % | 240.98/241.19 c | 196874 | 2580 8105 19868 | 25272 22726 339 | 55.052 % | 346.75/346.90 c | 295402 | 2580 8105 19868 | 27799 17718 356 | 55.052 % | 464.92/465.17 c =============================================================================== 473.22/473.43 c core #288 473.22/473.43 c Core size: 1422 Core Weight: 1 Total Weight: -212 473.22/473.43 c Elapsed CPU time: 470.676 s Remaining CPU time: 1329.32 s 473.62/473.86 c ============================[ Search Statistics ]============================== 473.62/473.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 473.62/473.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 473.62/473.86 c =============================================================================== 473.62/473.86 c | 0 | 2856 8106 20418 | 5000 0 nan | 0.000 % | 473.72/473.94 c | 103 | 2856 8106 20418 | 5500 103 57 | 52.519 % | 473.72/473.96 c | 255 | 2856 8106 20418 | 6050 255 55 | 52.519 % | 473.72/473.98 c | 480 | 2856 8106 20418 | 6655 480 52 | 52.519 % | 473.83/474.03 c | 817 | 2856 8106 20418 | 7320 817 63 | 52.519 % | 473.83/474.10 c | 1323 | 2856 8106 20418 | 8052 1323 84 | 52.519 % | 474.02/474.22 c | 2082 | 2856 8106 20418 | 8857 2082 91 | 52.519 % | 474.22/474.40 c | 3224 | 2856 8106 20418 | 9743 3224 80 | 52.519 % | 474.52/474.72 c | 4932 | 2856 8106 20418 | 10717 4932 90 | 52.519 % | 475.02/475.27 c | 7495 | 2856 8106 20418 | 11789 7495 102 | 52.519 % | 476.12/476.38 c | 11339 | 2856 8106 20418 | 12968 11339 122 | 52.519 % | 479.52/479.73 c | 17105 | 2856 8106 20418 | 14265 8986 190 | 52.519 % | 485.91/486.11 c | 25758 | 2856 8106 20418 | 15692 17639 244 | 52.519 % | 499.61/499.89 c | 38733 | 2856 8106 20418 | 17261 11553 316 | 52.519 % | 524.70/525.00 c | 58197 | 2856 8106 20418 | 18987 20703 345 | 52.519 % | 547.39/547.67 c | 87391 | 2856 8106 20418 | 20886 16584 235 | 52.519 % | 587.49/587.73 c | 131180 | 2856 8106 20418 | 22974 23871 309 | 52.519 % | 659.36/659.64 c | 196875 | 2856 8106 20418 | 25272 22962 256 | 52.519 % | 795.23/795.58 c | 295403 | 2856 8106 20418 | 27799 14966 298 | 52.519 % | 1031.17/1031.50 c | 443192 | 2856 8106 20418 | 30579 21502 349 | 52.519 % | 1281.80/1282.28 c | 664875 | 2856 8106 20418 | 33637 24318 310 | 52.519 % |
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-1875336-1245199316/watcher-1875336-1245199316 -o /tmp/evaluation-result-1875336-1245199316/solver-1875336-1245199316 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875336-1245199316.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6117 /proc/meminfo: memFree=1831568/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=3076 CPUtime=0 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 187531654 3149824 242 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 769 242 125 292 0 407 0 [startup+0.034521 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6117 /proc/meminfo: memFree=1831568/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=3780 CPUtime=0.03 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 494 0 0 0 3 0 0 0 18 0 1 0 187531654 3870720 478 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 945 478 174 292 0 583 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3780 [startup+0.101527 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6117 /proc/meminfo: memFree=1831568/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=5780 CPUtime=0.09 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 1095 0 0 0 9 0 0 0 18 0 1 0 187531654 5918720 1012 1992294400 134512640 135709839 4294956240 18446744073709551615 134574968 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 1445 1012 134 292 0 1150 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5780 [startup+0.30155 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6117 /proc/meminfo: memFree=1831568/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=9224 CPUtime=0.29 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 1952 0 0 0 29 0 0 0 19 0 1 0 187531654 9445376 1869 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 2306 1870 134 292 0 2011 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9224 [startup+0.701592 s] /proc/loadavg: 1.00 1.01 1.00 3/64 6117 /proc/meminfo: memFree=1831568/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=16200 CPUtime=0.69 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 3688 0 0 0 68 1 0 0 22 0 1 0 187531654 16588800 3605 1992294400 134512640 135709839 4294956240 18446744073709551615 134517585 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 4050 3605 134 292 0 3755 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16200 [startup+1.50168 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6118 /proc/meminfo: memFree=1812488/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=29356 CPUtime=1.49 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 6998 0 0 0 146 3 0 0 25 0 1 0 187531654 30060544 6915 1992294400 134512640 135709839 4294956240 18446744073709551615 134574912 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 7339 6915 134 292 0 7044 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29356 [startup+3.10185 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6118 /proc/meminfo: memFree=1794632/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=54528 CPUtime=3.07 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 13282 0 0 0 300 7 0 0 25 0 1 0 187531654 55836672 13151 1992294400 134512640 135709839 4294956240 18446744073709551615 135182825 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 13632 13151 134 292 0 13337 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 54528 [startup+6.3022 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6118 /proc/meminfo: memFree=1765008/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=70936 CPUtime=6.24 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 17417 0 0 0 611 13 0 0 25 0 1 0 187531654 72638464 17286 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 17734 17286 136 292 0 17439 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 70936 [startup+12.7019 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6118 /proc/meminfo: memFree=1748120/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=86860 CPUtime=12.65 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 21411 0 0 0 1246 19 0 0 25 0 1 0 187531654 88944640 21280 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 21715 21280 136 292 0 21420 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 86860 [startup+25.5013 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6118 /proc/meminfo: memFree=1728536/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=105364 CPUtime=25.43 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 26037 0 0 0 2515 28 0 0 25 0 1 0 187531654 107892736 25906 1992294400 134512640 135709839 4294956240 18446744073709551615 134574146 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 26341 25906 136 292 0 26046 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 105364 [startup+51.101 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6118 /proc/meminfo: memFree=1680280/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=154628 CPUtime=51.03 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 38327 0 0 0 5059 44 0 0 25 0 1 0 187531654 158339072 38196 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 38657 38196 136 292 0 38362 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 154628 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1620248/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=213168 CPUtime=102.22 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 52956 0 0 0 10147 75 0 0 25 0 1 0 187531654 218284032 52825 1992294400 134512640 135709839 4294956240 18446744073709551615 134573786 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 53292 52825 136 292 0 52997 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 213168 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1520600/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=313412 CPUtime=162.2 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 77996 0 0 0 16114 106 0 0 25 0 1 0 187531654 320933888 77865 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 78353 77865 136 292 0 78058 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 313412 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1429464/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=403932 CPUtime=222.19 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 100597 0 0 0 22082 137 0 0 25 0 1 0 187531654 413626368 100466 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 100983 100466 136 292 0 100688 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 403932 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1337752/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=497072 CPUtime=282.17 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 123860 0 0 0 28053 164 0 0 25 0 1 0 187531654 509001728 123729 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 124268 123729 136 292 0 123973 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 497072 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1233368/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=599916 CPUtime=342.15 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 149530 0 0 0 34019 196 0 0 25 0 1 0 187531654 614313984 149399 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 149979 149399 136 292 0 149684 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 599916 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1115928/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=718284 CPUtime=402.14 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 179106 0 0 0 39985 229 0 0 25 0 1 0 187531654 735522816 178975 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 179571 178975 136 292 0 179276 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 718284 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=1010520/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=823780 CPUtime=462.13 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 205437 0 0 0 45958 255 0 0 25 0 1 0 187531654 843550720 205306 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 205945 205306 136 292 0 205650 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 823780 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=978072/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=854632 CPUtime=522.11 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 213366 0 0 0 51930 281 0 0 25 0 1 0 187531654 875143168 213204 1992294400 134512640 135709839 4294956240 18446744073709551615 134573653 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 213658 213204 136 292 0 213363 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 854632 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6118 /proc/meminfo: memFree=905432/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=926956 CPUtime=582.09 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 231432 0 0 0 57897 312 0 0 25 0 1 0 187531654 949202944 231270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 231739 231270 136 292 0 231444 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 926956 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=843096/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=988312 CPUtime=642.07 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 246791 0 0 0 63871 336 0 0 25 0 1 0 187531654 1012031488 246629 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 247078 246629 136 292 0 246783 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 988312 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=785880/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1046024 CPUtime=702.05 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 261175 0 0 0 69845 360 0 0 25 0 1 0 187531654 1071128576 261013 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 261506 261013 136 292 0 261211 0 Current children cumulated CPU time (s) 702.05 Current children cumulated vsize (KiB) 1046024 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=727064/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1104420 CPUtime=762.04 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 275764 0 0 0 75822 382 0 0 25 0 1 0 187531654 1130926080 275602 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 276105 275602 136 292 0 275810 0 Current children cumulated CPU time (s) 762.04 Current children cumulated vsize (KiB) 1104420 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=664344/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1168284 CPUtime=822.03 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 291726 0 0 0 81798 405 0 0 25 0 1 0 187531654 1196322816 291564 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 292071 291564 136 292 0 291776 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 1168284 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=579288/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1252172 CPUtime=882 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 312655 0 0 0 87771 429 0 0 25 0 1 0 187531654 1282224128 312493 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 313043 312493 136 292 0 312748 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1252172 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=525848/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1305864 CPUtime=941.99 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 326025 0 0 0 93751 448 0 0 25 0 1 0 187531654 1337204736 325863 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 326466 325863 136 292 0 326171 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1305864 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=476376/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1355468 CPUtime=1001.97 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 338414 0 0 0 99733 464 0 0 25 0 1 0 187531654 1387999232 338252 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 338867 338252 136 292 0 338572 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 1355468 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=399256/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1432864 CPUtime=1061.97 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 357762 0 0 0 105707 490 0 0 25 0 1 0 187531654 1467252736 357600 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 358216 357600 136 292 0 357921 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1432864 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6120 /proc/meminfo: memFree=328856/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1502568 CPUtime=1121.95 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 375168 0 0 0 111677 518 0 0 25 0 1 0 187531654 1538629632 375006 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 375642 375006 136 292 0 375347 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1502568 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6126 /proc/meminfo: memFree=255192/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1576424 CPUtime=1181.93 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 393629 0 0 0 117649 544 0 0 25 0 1 0 187531654 1614258176 393467 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 394106 393467 136 292 0 393811 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1576424 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6126 /proc/meminfo: memFree=184216/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1647608 CPUtime=1241.91 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 411424 0 0 0 123623 568 0 0 25 0 1 0 187531654 1687150592 411262 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 411902 411262 136 292 0 411607 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1647608 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6126 /proc/meminfo: memFree=104920/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1725552 CPUtime=1301.9 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 430916 0 0 0 129591 599 0 0 25 0 1 0 187531654 1766965248 430754 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 431388 430754 136 292 0 431093 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1725552 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6126 /proc/meminfo: memFree=15000/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1828456 CPUtime=1361.88 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 456622 0 0 0 135560 628 0 0 25 0 1 0 187531654 1872338944 456460 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 457114 456460 136 292 0 456819 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1828456 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1372.7 s] /proc/loadavg: 1.08 1.02 1.01 2/65 6126 /proc/meminfo: memFree=15512/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=1843240 CPUtime=1372.28 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4194304 460329 0 0 0 136596 632 0 0 25 0 1 0 187531654 1887477760 460167 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 460810 460167 136 292 0 460515 0 Current children cumulated CPU time (s) 1372.28 Current children cumulated vsize (KiB) 1843240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1372.81 s] /proc/loadavg: 1.08 1.02 1.01 2/65 6126 /proc/meminfo: memFree=15512/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=0 CPUtime=1372.38 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4195332 460329 0 0 0 136596 642 0 0 25 0 1 0 187531654 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1372.38 Current children cumulated vsize (KiB) 0 [startup+1372.9 s] /proc/loadavg: 1.08 1.02 1.01 2/65 6126 /proc/meminfo: memFree=15512/2055920 swapFree=4182492/4192956 [pid=6117] ppid=6115 vsize=0 CPUtime=1372.48 /proc/6117/stat : 6117 (wbo) R 6115 6117 5734 0 -1 4195332 460329 0 0 0 136596 652 0 0 25 0 1 0 187531654 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6117/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1372.48 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1373 CPU time (s): 1372.58 CPU user time (s): 1365.97 CPU system time (s): 6.61399 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1843240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1365.97 system time used= 6.61399 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460329 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2651 runsolver used 1.23281 second user time and 3.09553 second system time The end
Begin job on node21 at 2009-06-17 02:41:56 IDJOB=1875336 IDBENCH=48176 IDSOLVER=698 FILE ID=node21/1875336-1245199316 PBS_JOBID= 9368340 Free space on /tmp= 66092 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_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-1875336-1245199316/watcher-1875336-1245199316 -o /tmp/evaluation-result-1875336-1245199316/solver-1875336-1245199316 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875336-1245199316.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6a7c5d2366cf8704587c2ca2c97e69d0 RANDOM SEED=1201444346 node21.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.239 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.239 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: 1832176 kB Buffers: 55460 kB Cached: 93012 kB SwapCached: 4256 kB Active: 54744 kB Inactive: 101080 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832176 kB SwapTotal: 4192956 kB SwapFree: 4182492 kB Dirty: 2456 kB Writeback: 0 kB Mapped: 13420 kB Slab: 53956 kB Committed_AS: 181316 kB PageTables: 1380 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-1875336-1245199316.opb Free space on /tmp at the end= 66088 MiB End job on node21 at 2009-06-17 03:04:51