| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1508.5 | 1509.08 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_2.opb |
| MD5SUM | 8d62286ae12c02f1d9e42b05c51333f2 |
| 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 | -113 |
| Best CPU time to get the best result obtained on this benchmark | 1800.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -131 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6328 |
| Sum of products size (including duplicates) | 12656 |
| Number of different products | 3164 |
| Sum of products size | 6328 |
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-1875380-1245204461.opb. 0.00/0.00 c Instance file HOME/instance-1875380-1245204461.opb 0.00/0.00 c File size is 271087 bytes. 0.00/0.04 c Highest Coefficient sum: 21 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 3664 | 0.00/0.04 c | Number Clauses: 3664 | 0.00/0.04 c | Number Cardinality: 1000 | 0.00/0.04 c | Number PB Constraints: 3164 | 0.00/0.04 c core #1 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -499 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.05 c core #2 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -498 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #3 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -497 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.06/0.07 c core #4 0.06/0.07 c Core size: 4 Core Weight: 1 Total Weight: -496 0.06/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.06/0.08 c core #5 0.06/0.08 c Core size: 4 Core Weight: 1 Total Weight: -495 0.06/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.06/0.09 c core #6 0.06/0.09 c Core size: 4 Core Weight: 1 Total Weight: -494 0.06/0.09 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #7 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -493 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #8 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -492 0.09/0.12 c Elapsed CPU time: 0.119981 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.13098 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.140978 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.151976 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.163975 s Remaining CPU time: 1799.84 s 0.09/0.18 c core #13 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -487 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #14 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -486 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #15 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -485 0.19/0.20 c Elapsed CPU time: 0.198969 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.209968 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.220966 s Remaining CPU time: 1799.78 s 0.19/0.24 c core #18 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -482 0.19/0.24 c Elapsed CPU time: 0.232964 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #19 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -481 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.26 c core #20 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -480 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #21 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -479 0.19/0.27 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 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.277957 s Remaining CPU time: 1799.72 s 0.19/0.30 c core #23 0.19/0.30 c Core size: 4 Core Weight: 1 Total Weight: -477 0.19/0.30 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #24 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -476 0.29/0.31 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #25 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -475 0.29/0.32 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #26 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -474 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.34 c core #27 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -473 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #28 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -472 0.29/0.36 c Elapsed CPU time: 0.347947 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #29 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -471 0.29/0.37 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #30 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -470 0.29/0.38 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #31 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -469 0.29/0.39 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #32 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -468 0.39/0.40 c Elapsed CPU time: 0.395939 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #33 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: -467 0.39/0.42 c Elapsed CPU time: 0.407937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #34 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -466 0.39/0.43 c Elapsed CPU time: 0.418936 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #35 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -465 0.39/0.44 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #36 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: -464 0.39/0.45 c Elapsed CPU time: 0.441932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #37 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: -463 0.39/0.46 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.48 c core #38 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: -462 0.39/0.48 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #39 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: -461 0.39/0.49 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.49/0.50 c core #40 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -460 0.49/0.50 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #41 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: -459 0.49/0.51 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #42 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: -458 0.49/0.52 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.54 c core #43 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: -457 0.49/0.54 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #44 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: -456 0.49/0.55 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #45 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -455 0.49/0.56 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #46 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: -454 0.49/0.57 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #47 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: -453 0.49/0.58 c Elapsed CPU time: 0.574912 s Remaining CPU time: 1799.43 s 0.59/0.60 c core #48 0.59/0.60 c Core size: 4 Core Weight: 1 Total Weight: -452 0.59/0.60 c Elapsed CPU time: 0.58691 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #49 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: -451 0.59/0.61 c Elapsed CPU time: 0.598908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #50 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -450 0.59/0.62 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #51 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -449 0.59/0.63 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.59/0.65 c core #52 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -448 0.59/0.65 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.66 c core #53 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -447 0.59/0.66 c Elapsed CPU time: 0.645901 s Remaining CPU time: 1799.35 s 0.59/0.67 c core #54 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: -446 0.59/0.67 c Elapsed CPU time: 0.657899 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #55 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -445 0.59/0.68 c Elapsed CPU time: 0.669898 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #56 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: -444 0.59/0.69 c Elapsed CPU time: 0.681896 s Remaining CPU time: 1799.32 s 0.69/0.71 c core #57 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: -443 0.69/0.71 c Elapsed CPU time: 0.692894 s Remaining CPU time: 1799.31 s 0.69/0.72 c core #58 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: -442 0.69/0.72 c Elapsed CPU time: 0.704892 s Remaining CPU time: 1799.3 s 0.69/0.73 c core #59 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: -441 0.69/0.73 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #60 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -440 0.69/0.74 c Elapsed CPU time: 0.729889 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #61 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: -439 0.69/0.76 c Elapsed CPU time: 0.742887 s Remaining CPU time: 1799.26 s 0.69/0.77 c core #62 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -438 0.69/0.77 c Elapsed CPU time: 0.754885 s Remaining CPU time: 1799.25 s 0.69/0.78 c core #63 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -437 0.69/0.78 c Elapsed CPU time: 0.766883 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #64 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -436 0.69/0.79 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 s 0.79/0.81 c core #65 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -435 0.79/0.81 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #66 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: -434 0.79/0.82 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.79/0.83 c core #67 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: -433 0.79/0.83 c Elapsed CPU time: 0.813876 s Remaining CPU time: 1799.19 s 0.79/0.84 c core #68 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -432 0.79/0.84 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 0.79/0.85 c core #69 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: -431 0.79/0.85 c Elapsed CPU time: 0.837872 s Remaining CPU time: 1799.16 s 0.79/0.87 c core #70 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -430 0.79/0.87 c Elapsed CPU time: 0.84987 s Remaining CPU time: 1799.15 s 0.79/0.88 c core #71 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: -429 0.79/0.88 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.79/0.89 c core #72 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: -428 0.79/0.89 c Elapsed CPU time: 0.873867 s Remaining CPU time: 1799.13 s 0.89/0.90 c core #73 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: -427 0.89/0.90 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #74 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -426 0.89/0.92 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #75 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -425 0.89/0.93 c Elapsed CPU time: 0.909861 s Remaining CPU time: 1799.09 s 0.89/0.94 c core #76 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: -424 0.89/0.94 c Elapsed CPU time: 0.921859 s Remaining CPU time: 1799.08 s 0.89/0.95 c core #77 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: -423 0.89/0.95 c Elapsed CPU time: 0.932858 s Remaining CPU time: 1799.07 s 0.89/0.96 c core #78 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: -422 0.89/0.96 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.89/0.98 c core #79 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: -421 0.89/0.98 c Elapsed CPU time: 0.957854 s Remaining CPU time: 1799.04 s 0.89/0.99 c core #80 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -420 0.89/0.99 c Elapsed CPU time: 0.969852 s Remaining CPU time: 1799.03 s 1.00/1.00 c core #81 1.00/1.00 c Core size: 4 Core Weight: 1 Total Weight: -419 1.00/1.00 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 1.00/1.01 c core #82 1.00/1.01 c Core size: 4 Core Weight: 1 Total Weight: -418 1.00/1.01 c Elapsed CPU time: 0.994848 s Remaining CPU time: 1799.01 s 1.00/1.03 c core #83 1.00/1.03 c Core size: 4 Core Weight: 1 Total Weight: -417 1.00/1.03 c Elapsed CPU time: 1.00785 s Remaining CPU time: 1798.99 s 1.00/1.04 c core #84 1.00/1.04 c Core size: 4 Core Weight: 1 Total Weight: -416 1.00/1.04 c Elapsed CPU time: 1.01984 s Remaining CPU time: 1798.98 s 1.00/1.05 c core #85 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -415 1.00/1.05 c Elapsed CPU time: 1.03184 s Remaining CPU time: 1798.97 s 1.00/1.06 c core #86 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: -414 1.00/1.06 c Elapsed CPU time: 1.04384 s Remaining CPU time: 1798.96 s 1.00/1.08 c core #87 1.00/1.08 c Core size: 4 Core Weight: 1 Total Weight: -413 1.00/1.08 c Elapsed CPU time: 1.05384 s Remaining CPU time: 1798.95 s 1.00/1.09 c core #88 1.00/1.09 c Core size: 4 Core Weight: 1 Total Weight: -412 1.00/1.09 c Elapsed CPU time: 1.06684 s Remaining CPU time: 1798.93 s 1.09/1.10 c core #89 1.09/1.10 c Core size: 4 Core Weight: 1 Total Weight: -411 1.09/1.10 c Elapsed CPU time: 1.07784 s Remaining CPU time: 1798.92 s 1.09/1.11 c core #90 1.09/1.11 c Core size: 4 Core Weight: 1 Total Weight: -410 1.09/1.11 c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s 1.09/1.13 c core #91 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: -409 1.09/1.13 c Elapsed CPU time: 1.10283 s Remaining CPU time: 1798.9 s 1.09/1.14 c core #92 1.09/1.14 c Core size: 4 Core Weight: 1 Total Weight: -408 1.09/1.14 c Elapsed CPU time: 1.11483 s Remaining CPU time: 1798.89 s 1.09/1.15 c core #93 1.09/1.15 c Core size: 4 Core Weight: 1 Total Weight: -407 1.09/1.15 c Elapsed CPU time: 1.12783 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #94 1.09/1.16 c Core size: 4 Core Weight: 1 Total Weight: -406 1.09/1.16 c Elapsed CPU time: 1.13883 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #95 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -405 1.09/1.18 c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s 1.09/1.19 c core #96 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: -404 1.09/1.19 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.19/1.20 c core #97 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: -403 1.19/1.20 c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #98 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -402 1.19/1.21 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.19/1.23 c core #99 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: -401 1.19/1.23 c Elapsed CPU time: 1.20082 s Remaining CPU time: 1798.8 s 1.19/1.24 c core #100 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -400 1.19/1.24 c Elapsed CPU time: 1.21382 s Remaining CPU time: 1798.79 s 1.19/1.25 c core #101 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: -399 1.19/1.25 c Elapsed CPU time: 1.22581 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #102 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: -398 1.19/1.26 c Elapsed CPU time: 1.23881 s Remaining CPU time: 1798.76 s 1.19/1.28 c core #103 1.19/1.28 c Core size: 4 Core Weight: 1 Total Weight: -397 1.19/1.28 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.29 c core #104 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -396 1.19/1.29 c Elapsed CPU time: 1.26381 s Remaining CPU time: 1798.74 s 1.29/1.30 c core #105 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: -395 1.29/1.30 c Elapsed CPU time: 1.2768 s Remaining CPU time: 1798.72 s 1.29/1.32 c core #106 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: -394 1.29/1.32 c Elapsed CPU time: 1.2898 s Remaining CPU time: 1798.71 s 1.29/1.33 c core #107 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: -393 1.29/1.33 c Elapsed CPU time: 1.3018 s Remaining CPU time: 1798.7 s 1.29/1.34 c core #108 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: -392 1.29/1.34 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.35 c core #109 1.29/1.35 c Core size: 4 Core Weight: 1 Total Weight: -391 1.29/1.35 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.29/1.37 c core #110 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: -390 1.29/1.37 c Elapsed CPU time: 1.3388 s Remaining CPU time: 1798.66 s 1.29/1.38 c core #111 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: -389 1.29/1.38 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.29/1.39 c core #112 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: -388 1.29/1.39 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.39/1.40 c core #113 1.39/1.40 c Core size: 4 Core Weight: 1 Total Weight: -387 1.39/1.40 c Elapsed CPU time: 1.37779 s Remaining CPU time: 1798.62 s 1.39/1.42 c core #114 1.39/1.42 c Core size: 4 Core Weight: 1 Total Weight: -386 1.39/1.42 c Elapsed CPU time: 1.38979 s Remaining CPU time: 1798.61 s 1.39/1.43 c core #115 1.39/1.43 c Core size: 4 Core Weight: 1 Total Weight: -385 1.39/1.43 c Elapsed CPU time: 1.40279 s Remaining CPU time: 1798.6 s 1.39/1.44 c core #116 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -384 1.39/1.44 c Elapsed CPU time: 1.41578 s Remaining CPU time: 1798.58 s 1.39/1.46 c core #117 1.39/1.46 c Core size: 4 Core Weight: 1 Total Weight: -383 1.39/1.46 c Elapsed CPU time: 1.42878 s Remaining CPU time: 1798.57 s 1.39/1.47 c core #118 1.39/1.47 c Core size: 4 Core Weight: 1 Total Weight: -382 1.39/1.47 c Elapsed CPU time: 1.44078 s Remaining CPU time: 1798.56 s 1.39/1.48 c core #119 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -381 1.39/1.48 c Elapsed CPU time: 1.45278 s Remaining CPU time: 1798.55 s 1.39/1.49 c core #120 1.39/1.49 c Core size: 4 Core Weight: 1 Total Weight: -380 1.39/1.49 c Elapsed CPU time: 1.46578 s Remaining CPU time: 1798.53 s 1.49/1.51 c core #121 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -379 1.49/1.51 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.49/1.52 c core #122 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -378 1.49/1.52 c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s 1.49/1.53 c core #123 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: -377 1.49/1.53 c Elapsed CPU time: 1.50177 s Remaining CPU time: 1798.5 s 1.49/1.54 c core #124 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -376 1.49/1.54 c Elapsed CPU time: 1.51377 s Remaining CPU time: 1798.49 s 1.49/1.56 c core #125 1.49/1.56 c Core size: 4 Core Weight: 1 Total Weight: -375 1.49/1.56 c Elapsed CPU time: 1.52677 s Remaining CPU time: 1798.47 s 1.49/1.57 c core #126 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -374 1.49/1.57 c Elapsed CPU time: 1.53977 s Remaining CPU time: 1798.46 s 1.49/1.58 c core #127 1.49/1.58 c Core size: 4 Core Weight: 1 Total Weight: -373 1.49/1.58 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.49/1.60 c core #128 1.49/1.60 c Core size: 4 Core Weight: 1 Total Weight: -372 1.49/1.60 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.59/1.61 c core #129 1.59/1.61 c Core size: 4 Core Weight: 1 Total Weight: -371 1.59/1.61 c Elapsed CPU time: 1.57676 s Remaining CPU time: 1798.42 s 1.59/1.62 c core #130 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -370 1.59/1.62 c Elapsed CPU time: 1.58976 s Remaining CPU time: 1798.41 s 1.59/1.63 c core #131 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -369 1.59/1.63 c Elapsed CPU time: 1.60176 s Remaining CPU time: 1798.4 s 1.59/1.65 c core #132 1.59/1.65 c Core size: 4 Core Weight: 1 Total Weight: -368 1.59/1.65 c Elapsed CPU time: 1.61375 s Remaining CPU time: 1798.39 s 1.59/1.66 c core #133 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -367 1.59/1.66 c Elapsed CPU time: 1.62675 s Remaining CPU time: 1798.37 s 1.59/1.67 c core #134 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -366 1.59/1.67 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.59/1.69 c core #135 1.59/1.69 c Core size: 4 Core Weight: 1 Total Weight: -365 1.59/1.69 c Elapsed CPU time: 1.65175 s Remaining CPU time: 1798.35 s 1.69/1.70 c core #136 1.69/1.70 c Core size: 4 Core Weight: 1 Total Weight: -364 1.69/1.70 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.69/1.71 c core #137 1.69/1.71 c Core size: 4 Core Weight: 1 Total Weight: -363 1.69/1.71 c Elapsed CPU time: 1.67674 s Remaining CPU time: 1798.32 s 1.69/1.72 c core #138 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: -362 1.69/1.72 c Elapsed CPU time: 1.68974 s Remaining CPU time: 1798.31 s 1.69/1.74 c core #139 1.69/1.74 c Core size: 4 Core Weight: 1 Total Weight: -361 1.69/1.74 c Elapsed CPU time: 1.70274 s Remaining CPU time: 1798.3 s 1.69/1.75 c core #140 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: -360 1.69/1.75 c Elapsed CPU time: 1.71574 s Remaining CPU time: 1798.28 s 1.69/1.76 c core #141 1.69/1.76 c Core size: 4 Core Weight: 1 Total Weight: -359 1.69/1.76 c Elapsed CPU time: 1.72774 s Remaining CPU time: 1798.27 s 1.69/1.78 c core #142 1.69/1.78 c Core size: 4 Core Weight: 1 Total Weight: -358 1.69/1.78 c Elapsed CPU time: 1.74073 s Remaining CPU time: 1798.26 s 1.69/1.79 c core #143 1.69/1.79 c Core size: 4 Core Weight: 1 Total Weight: -357 1.69/1.79 c Elapsed CPU time: 1.75373 s Remaining CPU time: 1798.25 s 1.79/1.80 c core #144 1.79/1.80 c Core size: 4 Core Weight: 1 Total Weight: -356 1.79/1.80 c Elapsed CPU time: 1.76673 s Remaining CPU time: 1798.23 s 1.79/1.81 c core #145 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: -355 1.79/1.81 c Elapsed CPU time: 1.77973 s Remaining CPU time: 1798.22 s 1.79/1.83 c core #146 1.79/1.83 c Core size: 4 Core Weight: 1 Total Weight: -354 1.79/1.83 c Elapsed CPU time: 1.79173 s Remaining CPU time: 1798.21 s 1.79/1.84 c core #147 1.79/1.84 c Core size: 4 Core Weight: 1 Total Weight: -353 1.79/1.84 c Elapsed CPU time: 1.80472 s Remaining CPU time: 1798.2 s 1.79/1.85 c core #148 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: -352 1.79/1.85 c Elapsed CPU time: 1.81672 s Remaining CPU time: 1798.18 s 1.79/1.87 c core #149 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: -351 1.79/1.87 c Elapsed CPU time: 1.82972 s Remaining CPU time: 1798.17 s 1.79/1.88 c core #150 1.79/1.88 c Core size: 4 Core Weight: 1 Total Weight: -350 1.79/1.88 c Elapsed CPU time: 1.84272 s Remaining CPU time: 1798.16 s 1.79/1.89 c core #151 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -349 1.79/1.89 c Elapsed CPU time: 1.85572 s Remaining CPU time: 1798.14 s 1.89/1.91 c core #152 1.89/1.91 c Core size: 4 Core Weight: 1 Total Weight: -348 1.89/1.91 c Elapsed CPU time: 1.86871 s Remaining CPU time: 1798.13 s 1.89/1.92 c core #153 1.89/1.92 c Core size: 4 Core Weight: 1 Total Weight: -347 1.89/1.92 c Elapsed CPU time: 1.88171 s Remaining CPU time: 1798.12 s 1.89/1.93 c core #154 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: -346 1.89/1.93 c Elapsed CPU time: 1.89271 s Remaining CPU time: 1798.11 s 1.89/1.95 c core #155 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -345 1.89/1.95 c Elapsed CPU time: 1.90571 s Remaining CPU time: 1798.09 s 1.89/1.96 c core #156 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: -344 1.89/1.96 c Elapsed CPU time: 1.91871 s Remaining CPU time: 1798.08 s 1.89/1.97 c core #157 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -343 1.89/1.97 c Elapsed CPU time: 1.93071 s Remaining CPU time: 1798.07 s 1.89/1.98 c core #158 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: -342 1.89/1.98 c Elapsed CPU time: 1.9437 s Remaining CPU time: 1798.06 s 1.99/2.00 c core #159 1.99/2.00 c Core size: 4 Core Weight: 1 Total Weight: -341 1.99/2.00 c Elapsed CPU time: 1.9567 s Remaining CPU time: 1798.04 s 1.99/2.01 c core #160 1.99/2.01 c Core size: 4 Core Weight: 1 Total Weight: -340 1.99/2.01 c Elapsed CPU time: 1.9687 s Remaining CPU time: 1798.03 s 1.99/2.02 c core #161 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -339 1.99/2.02 c Elapsed CPU time: 1.9807 s Remaining CPU time: 1798.02 s 1.99/2.04 c core #162 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: -338 1.99/2.04 c Elapsed CPU time: 1.9937 s Remaining CPU time: 1798.01 s 1.99/2.05 c core #163 1.99/2.05 c Core size: 4 Core Weight: 1 Total Weight: -337 1.99/2.05 c Elapsed CPU time: 2.00669 s Remaining CPU time: 1797.99 s 1.99/2.06 c core #164 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: -336 1.99/2.06 c Elapsed CPU time: 2.01969 s Remaining CPU time: 1797.98 s 1.99/2.08 c core #165 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -335 1.99/2.08 c Elapsed CPU time: 2.03269 s Remaining CPU time: 1797.97 s 1.99/2.09 c core #166 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -334 1.99/2.09 c Elapsed CPU time: 2.04569 s Remaining CPU time: 1797.95 s 2.09/2.10 c core #167 2.09/2.10 c Core size: 4 Core Weight: 1 Total Weight: -333 2.09/2.10 c Elapsed CPU time: 2.05869 s Remaining CPU time: 1797.94 s 2.09/2.11 c core #168 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: -332 2.09/2.11 c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s 2.09/2.13 c core #169 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: -331 2.09/2.13 c Elapsed CPU time: 2.08568 s Remaining CPU time: 1797.91 s 2.09/2.14 c core #170 2.09/2.14 c Core size: 4 Core Weight: 1 Total Weight: -330 2.09/2.14 c Elapsed CPU time: 2.09868 s Remaining CPU time: 1797.9 s 2.09/2.15 c core #171 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: -329 2.09/2.15 c Elapsed CPU time: 2.11168 s Remaining CPU time: 1797.89 s 2.09/2.17 c core #172 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: -328 2.09/2.17 c Elapsed CPU time: 2.12468 s Remaining CPU time: 1797.88 s 2.09/2.18 c core #173 2.09/2.18 c Core size: 4 Core Weight: 1 Total Weight: -327 2.09/2.18 c Elapsed CPU time: 2.13767 s Remaining CPU time: 1797.86 s 2.09/2.19 c core #174 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: -326 2.09/2.19 c Elapsed CPU time: 2.15067 s Remaining CPU time: 1797.85 s 2.19/2.21 c core #175 2.19/2.21 c Core size: 4 Core Weight: 1 Total Weight: -325 2.19/2.21 c Elapsed CPU time: 2.16367 s Remaining CPU time: 1797.84 s 2.19/2.22 c core #176 2.19/2.22 c Core size: 4 Core Weight: 1 Total Weight: -324 2.19/2.22 c Elapsed CPU time: 2.17667 s Remaining CPU time: 1797.82 s 2.19/2.23 c core #177 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: -323 2.19/2.23 c Elapsed CPU time: 2.18967 s Remaining CPU time: 1797.81 s 2.19/2.25 c core #178 2.19/2.25 c Core size: 4 Core Weight: 1 Total Weight: -322 2.19/2.25 c Elapsed CPU time: 2.20267 s Remaining CPU time: 1797.8 s 2.19/2.26 c core #179 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -321 2.19/2.26 c Elapsed CPU time: 2.21566 s Remaining CPU time: 1797.78 s 2.19/2.27 c core #180 2.19/2.27 c Core size: 4 Core Weight: 1 Total Weight: -320 2.19/2.27 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.28 c core #181 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: -319 2.19/2.28 c Elapsed CPU time: 2.24066 s Remaining CPU time: 1797.76 s 2.29/2.30 c core #182 2.29/2.30 c Core size: 4 Core Weight: 1 Total Weight: -318 2.29/2.30 c Elapsed CPU time: 2.25466 s Remaining CPU time: 1797.75 s 2.29/2.31 c core #183 2.29/2.31 c Core size: 4 Core Weight: 1 Total Weight: -317 2.29/2.31 c Elapsed CPU time: 2.26666 s Remaining CPU time: 1797.73 s 2.29/2.32 c core #184 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: -316 2.29/2.32 c Elapsed CPU time: 2.28065 s Remaining CPU time: 1797.72 s 2.29/2.34 c core #185 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -315 2.29/2.34 c Elapsed CPU time: 2.29365 s Remaining CPU time: 1797.71 s 2.29/2.35 c core #186 2.29/2.35 c Core size: 4 Core Weight: 1 Total Weight: -314 2.29/2.35 c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s 2.29/2.36 c core #187 2.29/2.36 c Core size: 4 Core Weight: 1 Total Weight: -313 2.29/2.36 c Elapsed CPU time: 2.31865 s Remaining CPU time: 1797.68 s 2.29/2.38 c core #188 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: -312 2.29/2.38 c Elapsed CPU time: 2.33164 s Remaining CPU time: 1797.67 s 2.29/2.39 c core #189 2.29/2.39 c Core size: 4 Core Weight: 1 Total Weight: -311 2.29/2.39 c Elapsed CPU time: 2.34564 s Remaining CPU time: 1797.65 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.35864 s Remaining CPU time: 1797.64 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.37264 s Remaining CPU time: 1797.63 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.38564 s Remaining CPU time: 1797.61 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.39764 s Remaining CPU time: 1797.6 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.40963 s Remaining CPU time: 1797.59 s 2.38/2.47 c core #195 2.38/2.47 c Core size: 4 Core Weight: 1 Total Weight: -305 2.38/2.47 c Elapsed CPU time: 2.42363 s Remaining CPU time: 1797.58 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.43663 s Remaining CPU time: 1797.56 s 2.49/2.50 c core #197 2.49/2.50 c Core size: 4 Core Weight: 1 Total Weight: -303 2.49/2.50 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.49/2.51 c core #198 2.49/2.51 c Core size: 4 Core Weight: 1 Total Weight: -302 2.49/2.51 c Elapsed CPU time: 2.46362 s Remaining CPU time: 1797.54 s 2.49/2.53 c core #199 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -301 2.49/2.53 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.49/2.54 c core #200 2.49/2.54 c Core size: 4 Core Weight: 1 Total Weight: -300 2.49/2.54 c Elapsed CPU time: 2.49062 s Remaining CPU time: 1797.51 s 2.49/2.55 c core #201 2.49/2.55 c Core size: 4 Core Weight: 1 Total Weight: -299 2.49/2.55 c Elapsed CPU time: 2.50262 s Remaining CPU time: 1797.5 s 2.49/2.57 c core #202 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -298 2.49/2.57 c Elapsed CPU time: 2.51462 s Remaining CPU time: 1797.49 s 2.49/2.58 c core #203 2.49/2.58 c Core size: 4 Core Weight: 1 Total Weight: -297 2.49/2.58 c Elapsed CPU time: 2.52861 s Remaining CPU time: 1797.47 s 2.49/2.59 c core #204 2.49/2.59 c Core size: 4 Core Weight: 1 Total Weight: -296 2.49/2.59 c Elapsed CPU time: 2.54061 s Remaining CPU time: 1797.46 s 2.59/2.61 c core #205 2.59/2.61 c Core size: 4 Core Weight: 1 Total Weight: -295 2.59/2.61 c Elapsed CPU time: 2.55361 s Remaining CPU time: 1797.45 s 2.59/2.62 c core #206 2.59/2.62 c Core size: 4 Core Weight: 1 Total Weight: -294 2.59/2.62 c Elapsed CPU time: 2.56561 s Remaining CPU time: 1797.43 s 2.59/2.63 c core #207 2.59/2.63 c Core size: 4 Core Weight: 1 Total Weight: -293 2.59/2.63 c Elapsed CPU time: 2.57861 s Remaining CPU time: 1797.42 s 2.59/2.65 c core #208 2.59/2.65 c Core size: 4 Core Weight: 1 Total Weight: -292 2.59/2.65 c Elapsed CPU time: 2.59161 s Remaining CPU time: 1797.41 s 2.59/2.66 c core #209 2.59/2.66 c Core size: 4 Core Weight: 1 Total Weight: -291 2.59/2.66 c Elapsed CPU time: 2.6046 s Remaining CPU time: 1797.4 s 2.59/2.67 c core #210 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: -290 2.59/2.67 c Elapsed CPU time: 2.6176 s Remaining CPU time: 1797.38 s 2.59/2.69 c core #211 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: -289 2.59/2.69 c Elapsed CPU time: 2.6306 s Remaining CPU time: 1797.37 s 2.69/2.70 c core #212 2.69/2.70 c Core size: 4 Core Weight: 1 Total Weight: -288 2.69/2.70 c Elapsed CPU time: 2.6446 s Remaining CPU time: 1797.36 s 2.69/2.71 c core #213 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: -287 2.69/2.71 c Elapsed CPU time: 2.6576 s Remaining CPU time: 1797.34 s 2.69/2.73 c core #214 2.69/2.73 c Core size: 4 Core Weight: 1 Total Weight: -286 2.69/2.73 c Elapsed CPU time: 2.67059 s Remaining CPU time: 1797.33 s 2.69/2.74 c core #215 2.69/2.74 c Core size: 4 Core Weight: 1 Total Weight: -285 2.69/2.74 c Elapsed CPU time: 2.68359 s Remaining CPU time: 1797.32 s 2.69/2.75 c core #216 2.69/2.75 c Core size: 4 Core Weight: 1 Total Weight: -284 2.69/2.75 c Elapsed CPU time: 2.69659 s Remaining CPU time: 1797.3 s 2.69/2.77 c core #217 2.69/2.77 c Core size: 4 Core Weight: 1 Total Weight: -283 2.69/2.77 c Elapsed CPU time: 2.71059 s Remaining CPU time: 1797.29 s 2.69/2.78 c core #218 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -282 2.69/2.78 c Elapsed CPU time: 2.72358 s Remaining CPU time: 1797.28 s 2.69/2.80 c core #219 2.69/2.80 c Core size: 4 Core Weight: 1 Total Weight: -281 2.69/2.80 c Elapsed CPU time: 2.73658 s Remaining CPU time: 1797.26 s 2.79/2.81 c core #220 2.79/2.81 c Core size: 4 Core Weight: 1 Total Weight: -280 2.79/2.81 c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s 2.79/2.82 c core #221 2.79/2.82 c Core size: 4 Core Weight: 1 Total Weight: -279 2.79/2.82 c Elapsed CPU time: 2.76458 s Remaining CPU time: 1797.24 s 2.79/2.84 c core #222 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: -278 2.79/2.84 c Elapsed CPU time: 2.77758 s Remaining CPU time: 1797.22 s 2.79/2.85 c core #223 2.79/2.85 c Core size: 4 Core Weight: 1 Total Weight: -277 2.79/2.85 c Elapsed CPU time: 2.79058 s Remaining CPU time: 1797.21 s 2.79/2.86 c core #224 2.79/2.86 c Core size: 4 Core Weight: 1 Total Weight: -276 2.79/2.86 c Elapsed CPU time: 2.80457 s Remaining CPU time: 1797.2 s 2.79/2.88 c core #225 2.79/2.88 c Core size: 4 Core Weight: 1 Total Weight: -275 2.79/2.88 c Elapsed CPU time: 2.81757 s Remaining CPU time: 1797.18 s 2.79/2.89 c core #226 2.79/2.89 c Core size: 4 Core Weight: 1 Total Weight: -274 2.79/2.89 c Elapsed CPU time: 2.82957 s Remaining CPU time: 1797.17 s 2.89/2.90 c core #227 2.89/2.90 c Core size: 4 Core Weight: 1 Total Weight: -273 2.89/2.90 c Elapsed CPU time: 2.84357 s Remaining CPU time: 1797.16 s 2.89/2.92 c core #228 2.89/2.92 c Core size: 9 Core Weight: 1 Total Weight: -272 2.89/2.92 c Elapsed CPU time: 2.85656 s Remaining CPU time: 1797.14 s 2.89/2.93 c core #229 2.89/2.93 c Core size: 9 Core Weight: 1 Total Weight: -271 2.89/2.93 c Elapsed CPU time: 2.87056 s Remaining CPU time: 1797.13 s 2.89/2.94 c core #230 2.89/2.94 c Core size: 9 Core Weight: 1 Total Weight: -270 2.89/2.94 c Elapsed CPU time: 2.88356 s Remaining CPU time: 1797.12 s 2.89/2.96 c core #231 2.89/2.96 c Core size: 9 Core Weight: 1 Total Weight: -269 2.89/2.96 c Elapsed CPU time: 2.89756 s Remaining CPU time: 1797.1 s 2.89/2.97 c core #232 2.89/2.97 c Core size: 14 Core Weight: 1 Total Weight: -268 2.89/2.97 c Elapsed CPU time: 2.91056 s Remaining CPU time: 1797.09 s 2.89/2.99 c core #233 2.89/2.99 c Core size: 14 Core Weight: 1 Total Weight: -267 2.89/2.99 c Elapsed CPU time: 2.92455 s Remaining CPU time: 1797.08 s 2.99/3.00 c core #234 2.99/3.00 c Core size: 9 Core Weight: 1 Total Weight: -266 2.99/3.00 c Elapsed CPU time: 2.93855 s Remaining CPU time: 1797.06 s 2.99/3.01 c core #235 2.99/3.01 c Core size: 14 Core Weight: 1 Total Weight: -265 2.99/3.01 c Elapsed CPU time: 2.95055 s Remaining CPU time: 1797.05 s 2.99/3.03 c core #236 2.99/3.03 c Core size: 14 Core Weight: 1 Total Weight: -264 2.99/3.03 c Elapsed CPU time: 2.96355 s Remaining CPU time: 1797.04 s 2.99/3.04 c core #237 2.99/3.04 c Core size: 14 Core Weight: 1 Total Weight: -263 2.99/3.04 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.99/3.05 c core #238 2.99/3.05 c Core size: 9 Core Weight: 1 Total Weight: -262 2.99/3.05 c Elapsed CPU time: 2.98955 s Remaining CPU time: 1797.01 s 2.99/3.07 c core #239 2.99/3.07 c Core size: 9 Core Weight: 1 Total Weight: -261 2.99/3.07 c Elapsed CPU time: 3.00354 s Remaining CPU time: 1797 s 2.99/3.08 c core #240 2.99/3.08 c Core size: 14 Core Weight: 1 Total Weight: -260 2.99/3.08 c Elapsed CPU time: 3.01654 s Remaining CPU time: 1796.98 s 2.99/3.09 c core #241 2.99/3.09 c Core size: 14 Core Weight: 1 Total Weight: -259 2.99/3.09 c Elapsed CPU time: 3.02954 s Remaining CPU time: 1796.97 s 3.09/3.11 c core #242 3.09/3.11 c Core size: 9 Core Weight: 1 Total Weight: -258 3.09/3.11 c Elapsed CPU time: 3.04354 s Remaining CPU time: 1796.96 s 3.09/3.12 c core #243 3.09/3.12 c Core size: 14 Core Weight: 1 Total Weight: -257 3.09/3.12 c Elapsed CPU time: 3.05553 s Remaining CPU time: 1796.94 s 3.09/3.13 c core #244 3.09/3.13 c Core size: 19 Core Weight: 1 Total Weight: -256 3.09/3.13 c Elapsed CPU time: 3.06853 s Remaining CPU time: 1796.93 s 3.09/3.15 c core #245 3.09/3.15 c Core size: 8 Core Weight: 1 Total Weight: -255 3.09/3.15 c Elapsed CPU time: 3.08253 s Remaining CPU time: 1796.92 s 3.09/3.16 c core #246 3.09/3.16 c Core size: 9 Core Weight: 1 Total Weight: -254 3.09/3.16 c Elapsed CPU time: 3.09453 s Remaining CPU time: 1796.91 s 3.09/3.18 c core #247 3.09/3.18 c Core size: 14 Core Weight: 1 Total Weight: -253 3.09/3.18 c Elapsed CPU time: 3.10853 s Remaining CPU time: 1796.89 s 3.09/3.19 c core #248 3.09/3.19 c Core size: 19 Core Weight: 1 Total Weight: -252 3.09/3.19 c Elapsed CPU time: 3.12252 s Remaining CPU time: 1796.88 s 3.20/3.20 c core #249 3.20/3.20 c Core size: 13 Core Weight: 1 Total Weight: -251 3.20/3.20 c Elapsed CPU time: 3.13552 s Remaining CPU time: 1796.86 s 3.20/3.22 c core #250 3.20/3.22 c Core size: 38 Core Weight: 1 Total Weight: -250 3.20/3.22 c Elapsed CPU time: 3.14952 s Remaining CPU time: 1796.85 s 3.20/3.23 c core #251 3.20/3.23 c Core size: 33 Core Weight: 1 Total Weight: -249 3.20/3.23 c Elapsed CPU time: 3.16252 s Remaining CPU time: 1796.84 s 3.20/3.24 c core #252 3.20/3.24 c Core size: 38 Core Weight: 1 Total Weight: -248 3.20/3.24 c Elapsed CPU time: 3.17652 s Remaining CPU time: 1796.82 s 3.20/3.26 c core #253 3.20/3.26 c Core size: 23 Core Weight: 1 Total Weight: -247 3.20/3.26 c Elapsed CPU time: 3.19051 s Remaining CPU time: 1796.81 s 3.20/3.27 c ============================[ Search Statistics ]============================== 3.20/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.27 c =============================================================================== 3.20/3.27 c | 0 | 1120 8081 16916 | 5000 0 nan | 0.000 % | 3.20/3.27 c =============================================================================== 3.20/3.27 c core #254 3.20/3.27 c Core size: 26 Core Weight: 1 Total Weight: -246 3.20/3.27 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.20/3.29 c ============================[ Search Statistics ]============================== 3.20/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.29 c =============================================================================== 3.20/3.29 c | 0 | 1130 8082 16936 | 5000 0 nan | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c core #255 3.20/3.29 c Core size: 32 Core Weight: 1 Total Weight: -245 3.20/3.29 c Elapsed CPU time: 3.21851 s Remaining CPU time: 1796.78 s 3.20/3.30 c ============================[ Search Statistics ]============================== 3.20/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.30 c =============================================================================== 3.20/3.30 c | 0 | 1142 8083 16960 | 5000 0 nan | 0.000 % | 3.30/3.30 c =============================================================================== 3.30/3.30 c core #256 3.30/3.30 c Core size: 37 Core Weight: 1 Total Weight: -244 3.30/3.30 c Elapsed CPU time: 3.23251 s Remaining CPU time: 1796.77 s 3.30/3.31 c ============================[ Search Statistics ]============================== 3.30/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.31 c =============================================================================== 3.30/3.31 c | 0 | 1156 8084 16988 | 5000 0 nan | 0.000 % | 3.30/3.32 c =============================================================================== 3.30/3.32 c core #257 3.30/3.32 c Core size: 27 Core Weight: 1 Total Weight: -243 3.30/3.32 c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s 3.30/3.33 c ============================[ Search Statistics ]============================== 3.30/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.33 c =============================================================================== 3.30/3.33 c | 0 | 1166 8085 17008 | 5000 0 nan | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c core #258 3.30/3.33 c Core size: 31 Core Weight: 1 Total Weight: -242 3.30/3.33 c Elapsed CPU time: 3.2615 s Remaining CPU time: 1796.74 s 3.30/3.34 c ============================[ Search Statistics ]============================== 3.30/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.34 c =============================================================================== 3.30/3.34 c | 0 | 1178 8086 17032 | 5000 0 nan | 0.000 % | 3.30/3.35 c =============================================================================== 3.30/3.35 c core #259 3.30/3.35 c Core size: 31 Core Weight: 1 Total Weight: -241 3.30/3.35 c Elapsed CPU time: 3.2765 s Remaining CPU time: 1796.72 s 3.30/3.36 c ============================[ Search Statistics ]============================== 3.30/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.36 c =============================================================================== 3.30/3.36 c | 0 | 1190 8087 17056 | 5000 0 nan | 0.000 % | 3.30/3.36 c =============================================================================== 3.30/3.36 c core #260 3.30/3.36 c Core size: 32 Core Weight: 1 Total Weight: -240 3.30/3.36 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.30/3.37 c ============================[ Search Statistics ]============================== 3.30/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.37 c =============================================================================== 3.30/3.37 c | 0 | 1202 8088 17080 | 5000 0 nan | 0.000 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c core #261 3.30/3.38 c Core size: 30 Core Weight: 1 Total Weight: -239 3.30/3.38 c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s 3.30/3.39 c ============================[ Search Statistics ]============================== 3.30/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.39 c =============================================================================== 3.30/3.39 c | 0 | 1214 8089 17104 | 5000 0 nan | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c core #262 3.30/3.39 c Core size: 30 Core Weight: 1 Total Weight: -238 3.30/3.39 c Elapsed CPU time: 3.31949 s Remaining CPU time: 1796.68 s 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 1226 8090 17128 | 5000 0 nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c core #263 3.39/3.41 c Core size: 27 Core Weight: 1 Total Weight: -237 3.39/3.41 c Elapsed CPU time: 3.33549 s Remaining CPU time: 1796.66 s 3.39/3.42 c ============================[ Search Statistics ]============================== 3.39/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.42 c =============================================================================== 3.39/3.42 c | 0 | 1236 8091 17148 | 5000 0 nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c core #264 3.39/3.42 c Core size: 37 Core Weight: 1 Total Weight: -236 3.39/3.42 c Elapsed CPU time: 3.35049 s Remaining CPU time: 1796.65 s 3.39/3.44 c ============================[ Search Statistics ]============================== 3.39/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.44 c =============================================================================== 3.39/3.44 c | 0 | 1250 8092 17176 | 5000 0 nan | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c core #265 3.39/3.44 c Core size: 37 Core Weight: 1 Total Weight: -235 3.39/3.44 c Elapsed CPU time: 3.36549 s Remaining CPU time: 1796.63 s 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 1264 8093 17204 | 5000 0 nan | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c core #266 3.39/3.45 c Core size: 32 Core Weight: 1 Total Weight: -234 3.39/3.45 c Elapsed CPU time: 3.37949 s Remaining CPU time: 1796.62 s 3.39/3.46 c ============================[ Search Statistics ]============================== 3.39/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.46 c =============================================================================== 3.39/3.46 c | 0 | 1276 8094 17228 | 5000 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #267 3.39/3.47 c Core size: 39 Core Weight: 1 Total Weight: -233 3.39/3.47 c Elapsed CPU time: 3.39348 s Remaining CPU time: 1796.61 s 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 1291 8095 17258 | 5000 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #268 3.39/3.48 c Core size: 36 Core Weight: 1 Total Weight: -232 3.39/3.48 c Elapsed CPU time: 3.40748 s Remaining CPU time: 1796.59 s 3.39/3.49 c ============================[ Search Statistics ]============================== 3.39/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.49 c =============================================================================== 3.39/3.49 c | 0 | 1305 8096 17286 | 5000 0 nan | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c core #269 3.39/3.49 c Core size: 32 Core Weight: 1 Total Weight: -231 3.39/3.49 c Elapsed CPU time: 3.42248 s Remaining CPU time: 1796.58 s 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 1317 8097 17310 | 5000 0 nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c core #270 3.49/3.51 c Core size: 30 Core Weight: 1 Total Weight: -230 3.49/3.51 c Elapsed CPU time: 3.43648 s Remaining CPU time: 1796.56 s 3.49/3.52 c ============================[ Search Statistics ]============================== 3.49/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.52 c =============================================================================== 3.49/3.52 c | 0 | 1329 8098 17334 | 5000 0 nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.52 c core #271 3.49/3.52 c Core size: 21 Core Weight: 1 Total Weight: -229 3.49/3.52 c Elapsed CPU time: 3.45047 s Remaining CPU time: 1796.55 s 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 1337 8099 17350 | 5000 0 nan | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c core #272 3.49/3.54 c Core size: 40 Core Weight: 1 Total Weight: -228 3.49/3.54 c Elapsed CPU time: 3.46447 s Remaining CPU time: 1796.54 s 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 1352 8100 17380 | 5000 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #273 3.49/3.55 c Core size: 26 Core Weight: 1 Total Weight: -227 3.49/3.55 c Elapsed CPU time: 3.47847 s Remaining CPU time: 1796.52 s 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 1362 8101 17400 | 5000 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #274 3.49/3.57 c Core size: 40 Core Weight: 1 Total Weight: -226 3.49/3.57 c Elapsed CPU time: 3.49447 s Remaining CPU time: 1796.51 s 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 1377 8102 17430 | 5000 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #275 3.49/3.58 c Core size: 42 Core Weight: 1 Total Weight: -225 3.49/3.58 c Elapsed CPU time: 3.50847 s Remaining CPU time: 1796.49 s 3.59/3.60 c ============================[ Search Statistics ]============================== 3.59/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.60 c =============================================================================== 3.59/3.60 c | 0 | 1393 8103 17462 | 5000 0 nan | 0.000 % | 3.59/3.60 c =============================================================================== 3.59/3.60 c core #276 3.59/3.60 c Core size: 55 Core Weight: 1 Total Weight: -224 3.59/3.60 c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s 3.59/3.61 c ============================[ Search Statistics ]============================== 3.59/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.61 c =============================================================================== 3.59/3.61 c | 0 | 1414 8104 17504 | 5000 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #277 3.59/3.61 c Core size: 74 Core Weight: 1 Total Weight: -223 3.59/3.61 c Elapsed CPU time: 3.53746 s Remaining CPU time: 1796.46 s 3.59/3.63 c ============================[ Search Statistics ]============================== 3.59/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.63 c =============================================================================== 3.59/3.63 c | 0 | 1442 8105 17560 | 5000 0 nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c core #278 3.59/3.63 c Core size: 72 Core Weight: 1 Total Weight: -222 3.59/3.63 c Elapsed CPU time: 3.55446 s Remaining CPU time: 1796.45 s 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 1469 8106 17614 | 5000 0 nan | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.65 c core #279 3.59/3.65 c Core size: 280 Core Weight: 1 Total Weight: -221 3.59/3.65 c Elapsed CPU time: 3.57246 s Remaining CPU time: 1796.43 s 3.59/3.66 c ============================[ Search Statistics ]============================== 3.59/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.66 c =============================================================================== 3.59/3.66 c | 0 | 1561 8107 17798 | 5000 0 nan | 0.000 % | 3.59/3.67 c | 102 | 1561 8107 17798 | 5500 102 73 | 66.963 % | 3.59/3.69 c | 252 | 1561 8107 17798 | 6050 252 64 | 66.963 % | 3.69/3.71 c | 479 | 1561 8107 17798 | 6655 479 69 | 66.963 % | 3.69/3.74 c =============================================================================== 3.69/3.74 c core #280 3.69/3.74 c Core size: 343 Core Weight: 1 Total Weight: -220 3.69/3.74 c Elapsed CPU time: 3.66244 s Remaining CPU time: 1796.34 s 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 1665 8108 18006 | 5000 0 nan | 0.000 % | 3.69/3.77 c | 102 | 1665 8108 18006 | 5500 102 106 | 65.521 % | 3.69/3.78 c | 252 | 1665 8108 18006 | 6050 252 98 | 65.521 % | 3.79/3.81 c | 479 | 1665 8108 18006 | 6655 479 111 | 65.521 % | 3.79/3.85 c | 816 | 1665 8108 18006 | 7320 816 94 | 65.521 % | 3.89/3.90 c | 1325 | 1665 8108 18006 | 8052 1325 78 | 65.521 % | 3.89/3.99 c | 2084 | 1665 8108 18006 | 8857 2084 75 | 65.521 % | 3.99/4.05 c =============================================================================== 3.99/4.06 c core #281 3.99/4.06 c Core size: 739 Core Weight: 1 Total Weight: -219 3.99/4.06 c Elapsed CPU time: 3.9764 s Remaining CPU time: 1796.02 s 3.99/4.08 c ============================[ Search Statistics ]============================== 3.99/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.08 c =============================================================================== 3.99/4.08 c | 0 | 1858 8109 18392 | 5000 0 nan | 0.000 % | 3.99/4.09 c | 101 | 1858 8109 18392 | 5500 101 134 | 63.003 % | 4.08/4.11 c | 251 | 1858 8109 18392 | 6050 251 88 | 63.003 % | 4.08/4.12 c | 477 | 1858 8109 18392 | 6655 477 57 | 63.003 % | 4.08/4.15 c | 816 | 1858 8109 18392 | 7320 816 54 | 63.003 % | 4.19/4.20 c | 1323 | 1858 8109 18392 | 8052 1323 55 | 63.003 % | 4.19/4.30 c | 2083 | 1857 8109 18392 | 8857 2080 66 | 63.023 % | 4.49/4.53 c | 3222 | 1857 8109 18392 | 9743 3219 88 | 63.023 % | 4.89/4.94 c | 4937 | 1857 8109 18392 | 10717 4934 114 | 63.023 % | 5.29/5.40 c =============================================================================== 5.40/5.47 c core #282 5.40/5.47 c Core size: 567 Core Weight: 1 Total Weight: -218 5.40/5.47 c Elapsed CPU time: 5.36118 s Remaining CPU time: 1794.64 s 5.40/5.49 c ============================[ Search Statistics ]============================== 5.40/5.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.40/5.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.40/5.49 c =============================================================================== 5.40/5.49 c | 0 | 2005 8110 18686 | 5000 0 nan | 0.000 % | 5.49/5.50 c | 104 | 2005 8110 18686 | 5500 104 55 | 61.211 % | 5.49/5.52 c | 261 | 2005 8110 18686 | 6050 261 41 | 61.211 % | 5.49/5.54 c | 486 | 2005 8110 18686 | 6655 486 49 | 61.211 % | 5.49/5.58 c | 826 | 2005 8110 18686 | 7320 826 64 | 61.211 % | 5.58/5.65 c | 1332 | 2005 8110 18686 | 8052 1332 82 | 61.211 % | 5.69/5.74 c | 2091 | 2005 8110 18686 | 8857 2091 85 | 61.211 % | 5.89/5.91 c | 3230 | 2005 8110 18686 | 9743 3230 99 | 61.211 % | 6.19/6.23 c | 4939 | 2004 8110 18686 | 10717 4902 109 | 61.230 % | 6.49/6.51 c =============================================================================== 6.49/6.57 c core #283 6.49/6.57 c Core size: 1037 Core Weight: 1 Total Weight: -217 6.49/6.57 c Elapsed CPU time: 6.43702 s Remaining CPU time: 1793.56 s 6.49/6.59 c ============================[ Search Statistics ]============================== 6.49/6.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.49/6.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.49/6.59 c =============================================================================== 6.49/6.59 c | 0 | 2235 8111 19146 | 5000 0 nan | 0.000 % | 6.59/6.61 c | 100 | 2235 8111 19146 | 5500 100 179 | 58.603 % | 6.59/6.62 c | 250 | 2235 8111 19146 | 6050 250 89 | 58.603 % | 6.59/6.64 c | 475 | 2235 8111 19146 | 6655 475 57 | 58.603 % | 6.59/6.66 c | 812 | 2235 8111 19146 | 7320 812 47 | 58.603 % | 6.68/6.71 c | 1318 | 2235 8111 19146 | 8052 1318 52 | 58.603 % | 6.68/6.79 c | 2078 | 2235 8111 19146 | 8857 2078 47 | 58.603 % | 6.88/6.96 c | 3217 | 2235 8111 19146 | 9743 3217 61 | 58.603 % | 7.19/7.27 c | 4926 | 2235 8111 19146 | 10717 4926 70 | 58.603 % | 7.29/7.32 c =============================================================================== 7.29/7.36 c core #284 7.29/7.36 c Core size: 729 Core Weight: 1 Total Weight: -216 7.29/7.36 c Elapsed CPU time: 7.2109 s Remaining CPU time: 1792.79 s 7.29/7.38 c ============================[ Search Statistics ]============================== 7.29/7.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.29/7.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.29/7.38 c =============================================================================== 7.29/7.38 c | 0 | 2410 8112 19496 | 5000 0 nan | 0.000 % | 7.29/7.39 c | 101 | 2410 8112 19496 | 5500 101 109 | 56.764 % | 7.38/7.41 c | 251 | 2410 8112 19496 | 6050 251 67 | 56.764 % | 7.38/7.43 c | 479 | 2410 8112 19496 | 6655 479 66 | 56.764 % | 7.38/7.47 c | 817 | 2410 8112 19496 | 7320 817 68 | 56.764 % | 7.48/7.52 c | 1324 | 2410 8112 19496 | 8052 1324 64 | 56.764 % | 7.58/7.61 c | 2083 | 2410 8112 19496 | 8857 2083 78 | 56.764 % | 7.69/7.75 c | 3223 | 2410 8112 19496 | 9743 3223 85 | 56.764 % | 7.88/7.98 c | 4932 | 2410 8112 19496 | 10717 4932 79 | 56.764 % | 8.28/8.38 c | 7494 | 2410 8112 19496 | 11789 7494 75 | 56.764 % | 9.28/9.33 c | 11339 | 2410 8112 19496 | 12968 11339 86 | 56.764 % | 11.38/11.40 c | 17105 | 2410 8112 19496 | 14265 8982 107 | 56.764 % | 13.68/13.77 c | 25755 | 2410 8112 19496 | 15692 8916 109 | 56.764 % | 20.47/20.54 c | 38731 | 2410 8112 19496 | 17261 12359 185 | 56.764 % | 35.98/36.00 c | 58194 | 2393 8112 19496 | 18987 3449 109 | 57.069 % | 39.88/39.94 c =============================================================================== 40.87/40.92 c core #285 40.87/40.92 c Core size: 1238 Core Weight: 1 Total Weight: -215 40.87/40.92 c Elapsed CPU time: 40.4968 s Remaining CPU time: 1759.5 s 40.97/41.01 c ============================[ Search Statistics ]============================== 40.97/41.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.97/41.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.97/41.01 c =============================================================================== 40.97/41.01 c | 0 | 2652 8113 19980 | 5000 0 nan | 0.000 % | 40.97/41.03 c | 100 | 2652 8113 19980 | 5500 100 120 | 54.402 % | 40.97/41.05 c | 251 | 2652 8113 19980 | 6050 251 119 | 54.402 % | 40.97/41.07 c | 477 | 2652 8113 19980 | 6655 477 96 | 54.402 % | 41.07/41.10 c | 814 | 2652 8113 19980 | 7320 814 76 | 54.402 % | 41.07/41.15 c | 1323 | 2652 8113 19980 | 8052 1323 69 | 54.402 % | 41.18/41.22 c | 2083 | 2652 8113 19980 | 8857 2083 58 | 54.402 % | 41.27/41.37 c | 3225 | 2652 8113 19980 | 9743 3225 71 | 54.402 % | 41.57/41.62 c | 4934 | 2652 8113 19980 | 10717 4934 77 | 54.402 % | 42.07/42.13 c | 7496 | 2652 8113 19980 | 11789 7496 91 | 54.402 % | 42.88/42.91 c | 11340 | 2652 8113 19980 | 12968 11340 96 | 54.402 % | 44.67/44.79 c | 17107 | 2652 8113 19980 | 14265 9012 132 | 54.402 % | 48.37/48.44 c | 25759 | 2652 8113 19980 | 15692 8860 155 | 54.402 % | 55.37/55.42 c | 38733 | 2652 8113 19980 | 17261 12232 220 | 54.402 % | 71.56/71.69 c | 58194 | 2652 8113 19980 | 18987 11091 287 | 54.402 % | 89.86/89.97 c | 87386 | 2652 8113 19980 | 20886 17973 285 | 54.402 % | 139.04/139.16 c | 131177 | 2652 8113 19980 | 22974 13185 311 | 54.402 % | 202.33/202.43 c | 196873 | 2652 8113 19980 | 25272 25236 392 | 54.402 % | 344.59/344.72 c | 295400 | 2652 8113 19980 | 27799 18429 293 | 54.402 % | 410.77/410.95 c =============================================================================== 421.76/421.99 c core #286 421.76/421.99 c Core size: 1016 Core Weight: 1 Total Weight: -214 421.76/421.99 c Elapsed CPU time: 419.713 s Remaining CPU time: 1380.29 s 422.16/422.38 c ============================[ Search Statistics ]============================== 422.16/422.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 422.16/422.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 422.16/422.38 c =============================================================================== 422.16/422.38 c | 0 | 2855 8114 20386 | 5000 0 nan | 0.000 % | 422.27/422.46 c | 100 | 2855 8114 20386 | 5500 100 100 | 52.567 % | 422.27/422.47 c | 251 | 2855 8114 20386 | 6050 251 62 | 52.567 % | 422.27/422.49 c | 476 | 2855 8114 20386 | 6655 476 51 | 52.567 % | 422.37/422.53 c | 814 | 2855 8114 20386 | 7320 814 61 | 52.567 % | 422.37/422.59 c | 1320 | 2855 8114 20386 | 8052 1320 52 | 52.567 % | 422.46/422.67 c | 2079 | 2855 8114 20386 | 8857 2079 51 | 52.567 % | 422.67/422.83 c | 3218 | 2855 8114 20386 | 9743 3218 64 | 52.567 % | 422.86/423.09 c | 4926 | 2855 8114 20386 | 10717 4926 69 | 52.567 % | 423.56/423.72 c | 7488 | 2855 8114 20386 | 11789 7488 88 | 52.567 % | 425.07/425.26 c | 11332 | 2855 8114 20386 | 12968 11332 115 | 52.567 % | 427.17/427.32 c | 17103 | 2855 8114 20386 | 14265 8726 137 | 52.567 % | 430.27/430.45 c | 25752 | 2855 8114 20386 | 15692 17375 144 | 52.567 % | 436.66/436.81 c | 38726 | 2855 8114 20386 | 17261 11364 137 | 52.567 % | 448.46/448.70 c | 58187 | 2855 8114 20386 | 18987 20457 153 | 52.567 % | 468.25/468.41 c | 87381 | 2855 8114 20386 | 20886 16156 192 | 52.567 % | 496.54/496.76 c | 131170 | 2855 8114 20386 | 22974 23552 139 | 52.567 % | 549.03/549.23 c | 196855 | 2855 8114 20386 | 25272 23076 169 | 52.567 % | 621.51/621.70 c | 295381 | 2855 8114 20386 | 27799 19255 153 | 52.567 % | 726.48/726.77 c | 443170 | 2855 8114 20386 | 30579 28603 166 | 52.567 % | 948.22/948.55 c | 664854 | 2855 8114 20386 | 33637 27388 250 | 52.567 % | 1450.22/1450.86 c | 997382 | 2855 8114 20386 | 37001 26441 440 | 52.567 % |
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-1875380-1245204461/watcher-1875380-1245204461 -o /tmp/evaluation-result-1875380-1245204461/solver-1875380-1245204461 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875380-1245204461.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 15694 /proc/meminfo: memFree=1775480/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=3076 CPUtime=0 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 188046441 3149824 240 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 769 242 125 292 0 407 0 [startup+0.0718509 s] /proc/loadavg: 1.00 1.01 1.00 3/64 15694 /proc/meminfo: memFree=1775480/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=5168 CPUtime=0.06 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 919 0 0 0 6 0 0 0 18 0 1 0 188046441 5292032 836 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 1292 836 134 292 0 997 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5168 [startup+0.101854 s] /proc/loadavg: 1.00 1.01 1.00 3/64 15694 /proc/meminfo: memFree=1775480/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=5776 CPUtime=0.09 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 1095 0 0 0 9 0 0 0 18 0 1 0 188046441 5914624 1012 1992294400 134512640 135709839 4294956240 18446744073709551615 134530447 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 1444 1012 134 292 0 1149 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5776 [startup+0.301874 s] /proc/loadavg: 1.00 1.01 1.00 3/64 15694 /proc/meminfo: memFree=1775480/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=9140 CPUtime=0.29 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 1940 0 0 0 29 0 0 0 19 0 1 0 188046441 9359360 1857 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 2285 1857 134 292 0 1990 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9140 [startup+0.701916 s] /proc/loadavg: 1.00 1.01 1.00 3/64 15694 /proc/meminfo: memFree=1775480/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=15960 CPUtime=0.69 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 3629 0 0 0 68 1 0 0 22 0 1 0 188046441 16343040 3546 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 3990 3546 134 292 0 3695 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15960 [startup+1.502 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=1756784/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=29152 CPUtime=1.49 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 6928 0 0 0 146 3 0 0 25 0 1 0 188046441 29851648 6845 1992294400 134512640 135709839 4294956240 18446744073709551615 135182769 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 7288 6845 134 292 0 6993 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29152 [startup+3.10116 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=1738800/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=54856 CPUtime=3.09 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 13355 0 0 0 303 6 0 0 25 0 1 0 188046441 56172544 13224 1992294400 134512640 135709839 4294956240 18446744073709551615 135166068 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 13714 13224 134 292 0 13419 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54856 [startup+6.30149 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=1709424/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=69900 CPUtime=6.29 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 17162 0 0 0 616 13 0 0 25 0 1 0 188046441 71577600 17031 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 17475 17031 136 292 0 17180 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 69900 [startup+12.7012 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=1697976/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=81204 CPUtime=12.68 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 19983 0 0 0 1247 21 0 0 25 0 1 0 188046441 83152896 19852 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 20301 19852 136 292 0 20006 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81204 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1669432/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=108336 CPUtime=25.48 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 26788 0 0 0 2518 30 0 0 25 0 1 0 188046441 110936064 26657 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 27084 26657 136 292 0 26789 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 108336 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1625784/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=152400 CPUtime=51.07 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 37799 0 0 0 5056 51 0 0 25 0 1 0 188046441 156057600 37668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 38100 37668 136 292 0 37805 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 152400 [startup+102.304 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1522552/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=254552 CPUtime=102.26 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 63331 0 0 0 10139 87 0 0 25 0 1 0 188046441 260661248 63200 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 63638 63200 136 292 0 63343 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 254552 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1428856/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=349416 CPUtime=162.24 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 87021 0 0 0 16108 116 0 0 25 0 1 0 188046441 357801984 86890 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 87354 86890 136 292 0 87059 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 349416 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1334776/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=442216 CPUtime=222.22 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 110190 0 0 0 22080 142 0 0 25 0 1 0 188046441 452829184 110059 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 110554 110059 136 292 0 110259 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 442216 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1248952/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=528740 CPUtime=282.2 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 131802 0 0 0 28052 168 0 0 25 0 1 0 188046441 541429760 131671 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 132185 131671 136 292 0 131890 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 528740 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1182584/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=594440 CPUtime=342.18 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 148179 0 0 0 34027 191 0 0 25 0 1 0 188046441 608706560 148048 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 148610 148048 136 292 0 148315 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 594440 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1128120/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=649508 CPUtime=402.17 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 161874 0 0 0 40006 211 0 0 25 0 1 0 188046441 665096192 161743 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 162377 161743 136 292 0 162082 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 649508 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1108024/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=668048 CPUtime=462.16 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 166710 0 0 0 45977 239 0 0 25 0 1 0 188046441 684081152 166548 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 167012 166548 136 292 0 166717 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 668048 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1078136/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=698680 CPUtime=522.14 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 174382 0 0 0 51947 267 0 0 25 0 1 0 188046441 715448320 174220 1992294400 134512640 135709839 4294956240 18446744073709551615 134574321 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 174670 174220 136 292 0 174375 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 698680 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=1004856/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=771548 CPUtime=582.12 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 192575 0 0 0 57913 299 0 0 25 0 1 0 188046441 790065152 192413 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 192887 192413 136 292 0 192592 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 771548 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=921528/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=854224 CPUtime=642.11 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 213243 0 0 0 63876 335 0 0 25 0 1 0 188046441 874725376 213081 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 213556 213081 136 292 0 213261 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 854224 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=838008/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=938328 CPUtime=702.09 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 234263 0 0 0 69838 371 0 0 25 0 1 0 188046441 960847872 234101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 234582 234101 136 292 0 234287 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 938328 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=761272/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1014348 CPUtime=762.07 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 253248 0 0 0 75805 402 0 0 25 0 1 0 188046441 1038692352 253086 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 253587 253086 136 292 0 253292 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1014348 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=681336/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1094952 CPUtime=822.05 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 273365 0 0 0 81771 434 0 0 25 0 1 0 188046441 1121230848 273203 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 273738 273203 136 292 0 273443 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1094952 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15695 /proc/meminfo: memFree=598008/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1177524 CPUtime=882.03 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 294013 0 0 0 87742 461 0 0 25 0 1 0 188046441 1205784576 293851 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 294381 293851 136 292 0 294086 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1177524 [startup+942.302 s] /proc/loadavg: 1.05 1.01 1.00 2/65 15695 /proc/meminfo: memFree=510904/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1265524 CPUtime=942.02 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 315969 0 0 0 93716 486 0 0 25 0 1 0 188046441 1295896576 315807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 316381 315807 136 292 0 316086 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1265524 [startup+1002.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 15695 /proc/meminfo: memFree=442168/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1333420 CPUtime=1002 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 332919 0 0 0 99690 510 0 0 25 0 1 0 188046441 1365422080 332757 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 333355 332757 136 292 0 333060 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1333420 [startup+1062.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 15695 /proc/meminfo: memFree=372024/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1403896 CPUtime=1061.98 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 350514 0 0 0 105661 537 0 0 25 0 1 0 188046441 1437589504 350352 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 350974 350352 136 292 0 350679 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1403896 [startup+1122.3 s] /proc/loadavg: 1.12 1.05 1.01 2/65 15695 /proc/meminfo: memFree=298552/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1477156 CPUtime=1121.97 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 368822 0 0 0 111631 566 0 0 25 0 1 0 188046441 1512607744 368660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 369289 368660 136 292 0 368994 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1477156 [startup+1182.3 s] /proc/loadavg: 1.08 1.05 1.01 2/65 15695 /proc/meminfo: memFree=237944/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1539256 CPUtime=1181.95 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 384293 0 0 0 117604 591 0 0 25 0 1 0 188046441 1576198144 384131 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 384814 384131 136 292 0 384519 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 1539256 [startup+1242.3 s] /proc/loadavg: 1.03 1.04 1.00 2/65 15695 /proc/meminfo: memFree=181368/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1594100 CPUtime=1241.93 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 398000 0 0 0 123582 611 0 0 25 0 1 0 188046441 1632358400 397838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 398525 397838 136 292 0 398230 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1594100 [startup+1302.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 15695 /proc/meminfo: memFree=124088/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1650784 CPUtime=1301.92 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 412182 0 0 0 129562 630 0 0 25 0 1 0 188046441 1690402816 412020 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 412696 412020 136 292 0 412401 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1650784 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15695 /proc/meminfo: memFree=57144/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1718008 CPUtime=1361.9 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 428953 0 0 0 135541 649 0 0 25 0 1 0 188046441 1759240192 428791 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 429502 428791 136 292 0 429207 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1718008 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 15695 /proc/meminfo: memFree=16312/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1777268 CPUtime=1421.83 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 443748 0 0 0 141517 666 0 0 25 0 1 0 188046441 1819922432 443586 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 444317 443586 136 292 0 444022 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1777268 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=15416/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1827600 CPUtime=1481.71 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 456307 0 0 0 147489 682 0 0 25 0 1 0 188046441 1871462400 456145 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 456900 456145 136 292 0 456605 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 1827600 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1508.8 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=14840/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=1843224 CPUtime=1508.2 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4194304 460199 0 0 0 150132 688 0 0 25 0 1 0 188046441 1887461376 460037 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 460806 460037 136 292 0 460511 0 Current children cumulated CPU time (s) 1508.2 Current children cumulated vsize (KiB) 1843224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1509 s] /proc/loadavg: 1.00 1.01 1.00 2/65 15695 /proc/meminfo: memFree=14840/2055920 swapFree=4181840/4192956 [pid=15694] ppid=15692 vsize=0 CPUtime=1508.4 /proc/15694/stat : 15694 (wbo) R 15692 15694 15125 0 -1 4195332 460199 0 0 0 150132 708 0 0 25 0 1 0 188046441 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/15694/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1508.4 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1509.08 CPU time (s): 1508.5 CPU user time (s): 1501.33 CPU system time (s): 7.16691 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 1843224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1501.33 system time used= 7.16691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460199 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= 4 involuntary context switches= 2289 runsolver used 1.2908 second user time and 2.96755 second system time The end
Begin job on node24 at 2009-06-17 04:07:41 IDJOB=1875380 IDBENCH=48220 IDSOLVER=698 FILE ID=node24/1875380-1245204461 PBS_JOBID= 9368355 Free space on /tmp= 66364 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_2.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-1875380-1245204461/watcher-1875380-1245204461 -o /tmp/evaluation-result-1875380-1245204461/solver-1875380-1245204461 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875380-1245204461.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d62286ae12c02f1d9e42b05c51333f2 RANDOM SEED=775826250 node24.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.231 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.231 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: 1776216 kB Buffers: 59232 kB Cached: 147392 kB SwapCached: 5332 kB Active: 91888 kB Inactive: 122524 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1776216 kB SwapTotal: 4192956 kB SwapFree: 4181840 kB Dirty: 2464 kB Writeback: 0 kB Mapped: 13000 kB Slab: 51244 kB Committed_AS: 214236 kB PageTables: 1444 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-1875380-1245204461.opb Free space on /tmp at the end= 66360 MiB End job on node24 at 2009-06-17 04:32:52