| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1574.73 | 1575.19 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_3.opb |
| MD5SUM | 0247ef4de041bbff376811a7e6bf0408 |
| 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 | -111 |
| Best CPU time to get the best result obtained on this benchmark | 1800.3 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -110 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 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) | 6316 |
| Sum of products size (including duplicates) | 12632 |
| Number of different products | 3158 |
| Sum of products size | 6316 |
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-1875347-1245200660.opb. 0.00/0.00 c Instance file HOME/instance-1875347-1245200660.opb 0.00/0.00 c File size is 270643 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: 3658 | 0.03/0.04 c | Number Clauses: 3658 | 0.03/0.04 c | Number Cardinality: 1000 | 0.03/0.04 c | Number PB Constraints: 3158 | 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.039993 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.047992 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.058991 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.068989 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.079987 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.089986 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.099984 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.110983 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #9 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -491 0.09/0.12 c Elapsed CPU time: 0.121981 s Remaining CPU time: 1799.88 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.133979 s Remaining CPU time: 1799.87 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.144977 s Remaining CPU time: 1799.86 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.156976 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.167974 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.178972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #15 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -485 0.09/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #16 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -484 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 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.212967 s Remaining CPU time: 1799.79 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.223965 s Remaining CPU time: 1799.78 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.235964 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.246962 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.25796 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #22 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -478 0.19/0.27 c Elapsed CPU time: 0.268959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #23 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -477 0.19/0.28 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.30 c core #24 0.19/0.30 c Core size: 4 Core Weight: 1 Total Weight: -476 0.19/0.30 c Elapsed CPU time: 0.290955 s Remaining CPU time: 1799.71 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.302953 s Remaining CPU time: 1799.7 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.314952 s Remaining CPU time: 1799.69 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.32595 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #28 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -472 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #29 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -471 0.29/0.35 c Elapsed CPU time: 0.348946 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.360945 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.372943 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.384941 s Remaining CPU time: 1799.62 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.41 c core #34 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -466 0.39/0.41 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.442932 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.45493 s Remaining CPU time: 1799.55 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.466929 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #40 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: -460 0.39/0.48 c Elapsed CPU time: 0.478927 s Remaining CPU time: 1799.52 s 0.39/0.50 c core #41 0.39/0.50 c Core size: 4 Core Weight: 1 Total Weight: -459 0.39/0.50 c Elapsed CPU time: 0.490925 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.502923 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.514921 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.526919 s Remaining CPU time: 1799.47 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.537918 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.549916 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.562914 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.573912 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.60 c core #50 0.59/0.60 c Core size: 4 Core Weight: 1 Total Weight: -450 0.59/0.60 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.607907 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.619905 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.630904 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #54 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -446 0.59/0.65 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.66 c core #55 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -445 0.59/0.66 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.664898 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.676897 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.688895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #59 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: -441 0.69/0.71 c Elapsed CPU time: 0.700893 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #60 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: -440 0.69/0.72 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.723889 s Remaining CPU time: 1799.28 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.734888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #63 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: -437 0.69/0.76 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #64 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -436 0.69/0.77 c Elapsed CPU time: 0.758884 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.770882 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.78388 s Remaining CPU time: 1799.22 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.795879 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #68 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: -432 0.79/0.82 c Elapsed CPU time: 0.806877 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.818875 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.830873 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.842871 s Remaining CPU time: 1799.16 s 0.79/0.87 c core #72 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -428 0.79/0.87 c Elapsed CPU time: 0.85487 s Remaining CPU time: 1799.15 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.867868 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.878866 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.890864 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.903862 s Remaining CPU time: 1799.1 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.91486 s Remaining CPU time: 1799.09 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.926859 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.938857 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.949855 s Remaining CPU time: 1799.05 s 0.89/0.98 c core #81 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: -419 0.89/0.98 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 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.973851 s Remaining CPU time: 1799.03 s 0.99/1.01 c core #83 0.99/1.01 c Core size: 4 Core Weight: 1 Total Weight: -417 0.99/1.01 c Elapsed CPU time: 0.986849 s Remaining CPU time: 1799.01 s 0.99/1.02 c core #84 0.99/1.02 c Core size: 4 Core Weight: 1 Total Weight: -416 0.99/1.02 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 0.99/1.03 c core #85 0.99/1.03 c Core size: 4 Core Weight: 1 Total Weight: -415 0.99/1.03 c Elapsed CPU time: 1.00885 s Remaining CPU time: 1798.99 s 0.99/1.05 c core #86 0.99/1.05 c Core size: 4 Core Weight: 1 Total Weight: -414 0.99/1.05 c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s 0.99/1.06 c core #87 0.99/1.06 c Core size: 4 Core Weight: 1 Total Weight: -413 0.99/1.06 c Elapsed CPU time: 1.03384 s Remaining CPU time: 1798.97 s 0.99/1.07 c core #88 0.99/1.07 c Core size: 4 Core Weight: 1 Total Weight: -412 0.99/1.07 c Elapsed CPU time: 1.04484 s Remaining CPU time: 1798.96 s 0.99/1.08 c core #89 0.99/1.08 c Core size: 4 Core Weight: 1 Total Weight: -411 0.99/1.08 c Elapsed CPU time: 1.05584 s Remaining CPU time: 1798.94 s 0.99/1.09 c core #90 0.99/1.09 c Core size: 4 Core Weight: 1 Total Weight: -410 0.99/1.09 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 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.08083 s Remaining CPU time: 1798.92 s 1.09/1.12 c core #92 1.09/1.12 c Core size: 4 Core Weight: 1 Total Weight: -408 1.09/1.12 c Elapsed CPU time: 1.09383 s Remaining CPU time: 1798.91 s 1.09/1.13 c core #93 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: -407 1.09/1.13 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.09/1.14 c core #94 1.09/1.14 c Core size: 4 Core Weight: 1 Total Weight: -406 1.09/1.14 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 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.12983 s Remaining CPU time: 1798.87 s 1.09/1.17 c core #96 1.09/1.17 c Core size: 4 Core Weight: 1 Total Weight: -404 1.09/1.17 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.09/1.18 c core #97 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -403 1.09/1.18 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.09/1.19 c core #98 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: -402 1.09/1.19 c Elapsed CPU time: 1.16682 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #99 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: -401 1.19/1.20 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.19/1.22 c core #100 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -400 1.19/1.22 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.19/1.23 c core #101 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: -399 1.19/1.23 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.24 c core #102 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -398 1.19/1.24 c Elapsed CPU time: 1.21582 s Remaining CPU time: 1798.78 s 1.19/1.25 c core #103 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: -397 1.19/1.25 c Elapsed CPU time: 1.22681 s Remaining CPU time: 1798.77 s 1.19/1.27 c core #104 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -396 1.19/1.27 c Elapsed CPU time: 1.23981 s Remaining CPU time: 1798.76 s 1.19/1.28 c core #105 1.19/1.28 c Core size: 4 Core Weight: 1 Total Weight: -395 1.19/1.28 c Elapsed CPU time: 1.25181 s Remaining CPU time: 1798.75 s 1.19/1.29 c core #106 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -394 1.19/1.29 c Elapsed CPU time: 1.26381 s Remaining CPU time: 1798.74 s 1.28/1.30 c core #107 1.28/1.30 c Core size: 4 Core Weight: 1 Total Weight: -393 1.28/1.30 c Elapsed CPU time: 1.2768 s Remaining CPU time: 1798.72 s 1.28/1.32 c core #108 1.28/1.32 c Core size: 4 Core Weight: 1 Total Weight: -392 1.28/1.32 c Elapsed CPU time: 1.2888 s Remaining CPU time: 1798.71 s 1.28/1.33 c core #109 1.28/1.33 c Core size: 4 Core Weight: 1 Total Weight: -391 1.28/1.33 c Elapsed CPU time: 1.2998 s Remaining CPU time: 1798.7 s 1.28/1.34 c core #110 1.28/1.34 c Core size: 4 Core Weight: 1 Total Weight: -390 1.28/1.34 c Elapsed CPU time: 1.3118 s Remaining CPU time: 1798.69 s 1.28/1.35 c core #111 1.28/1.35 c Core size: 4 Core Weight: 1 Total Weight: -389 1.28/1.35 c Elapsed CPU time: 1.3228 s Remaining CPU time: 1798.68 s 1.28/1.37 c core #112 1.28/1.37 c Core size: 4 Core Weight: 1 Total Weight: -388 1.28/1.37 c Elapsed CPU time: 1.3348 s Remaining CPU time: 1798.67 s 1.28/1.38 c core #113 1.28/1.38 c Core size: 4 Core Weight: 1 Total Weight: -387 1.28/1.38 c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s 1.28/1.39 c core #114 1.28/1.39 c Core size: 4 Core Weight: 1 Total Weight: -386 1.28/1.39 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.39/1.40 c core #115 1.39/1.40 c Core size: 4 Core Weight: 1 Total Weight: -385 1.39/1.40 c Elapsed CPU time: 1.37179 s Remaining CPU time: 1798.63 s 1.39/1.42 c core #116 1.39/1.42 c Core size: 4 Core Weight: 1 Total Weight: -384 1.39/1.42 c Elapsed CPU time: 1.38279 s Remaining CPU time: 1798.62 s 1.39/1.43 c core #117 1.39/1.43 c Core size: 4 Core Weight: 1 Total Weight: -383 1.39/1.43 c Elapsed CPU time: 1.39579 s Remaining CPU time: 1798.6 s 1.39/1.44 c core #118 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -382 1.39/1.44 c Elapsed CPU time: 1.40779 s Remaining CPU time: 1798.59 s 1.39/1.46 c core #119 1.39/1.46 c Core size: 4 Core Weight: 1 Total Weight: -381 1.39/1.46 c Elapsed CPU time: 1.41978 s Remaining CPU time: 1798.58 s 1.39/1.47 c core #120 1.39/1.47 c Core size: 4 Core Weight: 1 Total Weight: -380 1.39/1.47 c Elapsed CPU time: 1.43278 s Remaining CPU time: 1798.57 s 1.39/1.48 c core #121 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -379 1.39/1.48 c Elapsed CPU time: 1.44378 s Remaining CPU time: 1798.56 s 1.39/1.49 c core #122 1.39/1.49 c Core size: 4 Core Weight: 1 Total Weight: -378 1.39/1.49 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s 1.49/1.51 c core #123 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -377 1.49/1.51 c Elapsed CPU time: 1.46978 s Remaining CPU time: 1798.53 s 1.49/1.52 c core #124 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -376 1.49/1.52 c Elapsed CPU time: 1.47978 s Remaining CPU time: 1798.52 s 1.49/1.53 c core #125 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: -375 1.49/1.53 c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s 1.49/1.54 c core #126 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -374 1.49/1.54 c Elapsed CPU time: 1.50477 s Remaining CPU time: 1798.5 s 1.49/1.56 c core #127 1.49/1.56 c Core size: 4 Core Weight: 1 Total Weight: -373 1.49/1.56 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s 1.49/1.57 c core #128 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -372 1.49/1.57 c Elapsed CPU time: 1.52877 s Remaining CPU time: 1798.47 s 1.49/1.58 c core #129 1.49/1.58 c Core size: 4 Core Weight: 1 Total Weight: -371 1.49/1.58 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.49/1.59 c core #130 1.49/1.59 c Core size: 4 Core Weight: 1 Total Weight: -370 1.49/1.59 c Elapsed CPU time: 1.55476 s Remaining CPU time: 1798.45 s 1.59/1.61 c core #131 1.59/1.61 c Core size: 4 Core Weight: 1 Total Weight: -369 1.59/1.61 c Elapsed CPU time: 1.56676 s Remaining CPU time: 1798.43 s 1.59/1.62 c core #132 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -368 1.59/1.62 c Elapsed CPU time: 1.57976 s Remaining CPU time: 1798.42 s 1.59/1.63 c core #133 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -367 1.59/1.63 c Elapsed CPU time: 1.59176 s Remaining CPU time: 1798.41 s 1.59/1.64 c core #134 1.59/1.64 c Core size: 4 Core Weight: 1 Total Weight: -366 1.59/1.64 c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s 1.59/1.66 c core #135 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -365 1.59/1.66 c Elapsed CPU time: 1.61575 s Remaining CPU time: 1798.38 s 1.59/1.67 c core #136 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -364 1.59/1.67 c Elapsed CPU time: 1.62775 s Remaining CPU time: 1798.37 s 1.59/1.68 c core #137 1.59/1.68 c Core size: 4 Core Weight: 1 Total Weight: -363 1.59/1.68 c Elapsed CPU time: 1.63975 s Remaining CPU time: 1798.36 s 1.59/1.70 c core #138 1.59/1.70 c Core size: 4 Core Weight: 1 Total Weight: -362 1.59/1.70 c Elapsed CPU time: 1.65275 s Remaining CPU time: 1798.35 s 1.69/1.71 c core #139 1.69/1.71 c Core size: 4 Core Weight: 1 Total Weight: -361 1.69/1.71 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.69/1.72 c core #140 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: -360 1.69/1.72 c Elapsed CPU time: 1.67774 s Remaining CPU time: 1798.32 s 1.69/1.73 c core #141 1.69/1.73 c Core size: 4 Core Weight: 1 Total Weight: -359 1.69/1.73 c Elapsed CPU time: 1.69074 s Remaining CPU time: 1798.31 s 1.69/1.75 c core #142 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: -358 1.69/1.75 c Elapsed CPU time: 1.70374 s Remaining CPU time: 1798.3 s 1.69/1.76 c core #143 1.69/1.76 c Core size: 4 Core Weight: 1 Total Weight: -357 1.69/1.76 c Elapsed CPU time: 1.71674 s Remaining CPU time: 1798.28 s 1.69/1.77 c core #144 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: -356 1.69/1.77 c Elapsed CPU time: 1.72974 s Remaining CPU time: 1798.27 s 1.69/1.79 c core #145 1.69/1.79 c Core size: 4 Core Weight: 1 Total Weight: -355 1.69/1.79 c Elapsed CPU time: 1.74174 s Remaining CPU time: 1798.26 s 1.79/1.80 c core #146 1.79/1.80 c Core size: 4 Core Weight: 1 Total Weight: -354 1.79/1.80 c Elapsed CPU time: 1.75473 s Remaining CPU time: 1798.25 s 1.79/1.81 c core #147 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: -353 1.79/1.81 c Elapsed CPU time: 1.76773 s Remaining CPU time: 1798.23 s 1.79/1.82 c core #148 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -352 1.79/1.82 c Elapsed CPU time: 1.78073 s Remaining CPU time: 1798.22 s 1.79/1.84 c core #149 1.79/1.84 c Core size: 4 Core Weight: 1 Total Weight: -351 1.79/1.84 c Elapsed CPU time: 1.79373 s Remaining CPU time: 1798.21 s 1.79/1.85 c core #150 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: -350 1.79/1.85 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.79/1.86 c core #151 1.79/1.86 c Core size: 4 Core Weight: 1 Total Weight: -349 1.79/1.86 c Elapsed CPU time: 1.81972 s Remaining CPU time: 1798.18 s 1.79/1.88 c core #152 1.79/1.88 c Core size: 4 Core Weight: 1 Total Weight: -348 1.79/1.88 c Elapsed CPU time: 1.83272 s Remaining CPU time: 1798.17 s 1.79/1.89 c core #153 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -347 1.79/1.89 c Elapsed CPU time: 1.84572 s Remaining CPU time: 1798.15 s 1.89/1.90 c core #154 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: -346 1.89/1.90 c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s 1.89/1.92 c core #155 1.89/1.92 c Core size: 4 Core Weight: 1 Total Weight: -345 1.89/1.92 c Elapsed CPU time: 1.86972 s Remaining CPU time: 1798.13 s 1.89/1.93 c core #156 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: -344 1.89/1.93 c Elapsed CPU time: 1.88271 s Remaining CPU time: 1798.12 s 1.89/1.94 c core #157 1.89/1.94 c Core size: 4 Core Weight: 1 Total Weight: -343 1.89/1.94 c Elapsed CPU time: 1.89571 s Remaining CPU time: 1798.1 s 1.89/1.95 c core #158 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -342 1.89/1.95 c Elapsed CPU time: 1.90771 s Remaining CPU time: 1798.09 s 1.89/1.97 c core #159 1.89/1.97 c Core size: 4 Core Weight: 1 Total Weight: -341 1.89/1.97 c Elapsed CPU time: 1.92071 s Remaining CPU time: 1798.08 s 1.89/1.98 c core #160 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: -340 1.89/1.98 c Elapsed CPU time: 1.93371 s Remaining CPU time: 1798.07 s 1.89/1.99 c core #161 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: -339 1.89/1.99 c Elapsed CPU time: 1.9457 s Remaining CPU time: 1798.05 s 1.99/2.00 c core #162 1.99/2.00 c Core size: 4 Core Weight: 1 Total Weight: -338 1.99/2.00 c Elapsed CPU time: 1.9587 s Remaining CPU time: 1798.04 s 1.99/2.02 c core #163 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -337 1.99/2.02 c Elapsed CPU time: 1.9727 s Remaining CPU time: 1798.03 s 1.99/2.03 c core #164 1.99/2.03 c Core size: 4 Core Weight: 1 Total Weight: -336 1.99/2.03 c Elapsed CPU time: 1.9857 s Remaining CPU time: 1798.01 s 1.99/2.04 c core #165 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: -335 1.99/2.04 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 1.99/2.06 c core #166 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: -334 1.99/2.06 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 1.99/2.07 c core #167 1.99/2.07 c Core size: 4 Core Weight: 1 Total Weight: -333 1.99/2.07 c Elapsed CPU time: 2.02369 s Remaining CPU time: 1797.98 s 1.99/2.08 c core #168 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -332 1.99/2.08 c Elapsed CPU time: 2.03669 s Remaining CPU time: 1797.96 s 1.99/2.09 c core #169 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -331 1.99/2.09 c Elapsed CPU time: 2.04969 s Remaining CPU time: 1797.95 s 2.09/2.11 c core #170 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: -330 2.09/2.11 c Elapsed CPU time: 2.06269 s Remaining CPU time: 1797.94 s 2.09/2.12 c core #171 2.09/2.12 c Core size: 4 Core Weight: 1 Total Weight: -329 2.09/2.12 c Elapsed CPU time: 2.07568 s Remaining CPU time: 1797.92 s 2.09/2.13 c core #172 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: -328 2.09/2.13 c Elapsed CPU time: 2.08868 s Remaining CPU time: 1797.91 s 2.09/2.15 c core #173 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: -327 2.09/2.15 c Elapsed CPU time: 2.10068 s Remaining CPU time: 1797.9 s 2.09/2.16 c core #174 2.09/2.16 c Core size: 4 Core Weight: 1 Total Weight: -326 2.09/2.16 c Elapsed CPU time: 2.11368 s Remaining CPU time: 1797.89 s 2.09/2.17 c core #175 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: -325 2.09/2.17 c Elapsed CPU time: 2.12768 s Remaining CPU time: 1797.87 s 2.09/2.19 c core #176 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: -324 2.09/2.19 c Elapsed CPU time: 2.14067 s Remaining CPU time: 1797.86 s 2.09/2.20 c core #177 2.09/2.20 c Core size: 4 Core Weight: 1 Total Weight: -323 2.09/2.20 c Elapsed CPU time: 2.15367 s Remaining CPU time: 1797.85 s 2.19/2.21 c core #178 2.19/2.21 c Core size: 4 Core Weight: 1 Total Weight: -322 2.19/2.21 c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s 2.19/2.23 c core #179 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: -321 2.19/2.23 c Elapsed CPU time: 2.17867 s Remaining CPU time: 1797.82 s 2.19/2.24 c core #180 2.19/2.24 c Core size: 4 Core Weight: 1 Total Weight: -320 2.19/2.24 c Elapsed CPU time: 2.19167 s Remaining CPU time: 1797.81 s 2.19/2.25 c core #181 2.19/2.25 c Core size: 4 Core Weight: 1 Total Weight: -319 2.19/2.25 c Elapsed CPU time: 2.20466 s Remaining CPU time: 1797.8 s 2.19/2.26 c core #182 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -318 2.19/2.26 c Elapsed CPU time: 2.21766 s Remaining CPU time: 1797.78 s 2.19/2.28 c core #183 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: -317 2.19/2.28 c Elapsed CPU time: 2.22966 s Remaining CPU time: 1797.77 s 2.19/2.29 c core #184 2.19/2.29 c Core size: 4 Core Weight: 1 Total Weight: -316 2.19/2.29 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.28/2.30 c core #185 2.28/2.30 c Core size: 4 Core Weight: 1 Total Weight: -315 2.28/2.30 c Elapsed CPU time: 2.25666 s Remaining CPU time: 1797.74 s 2.28/2.32 c core #186 2.28/2.32 c Core size: 4 Core Weight: 1 Total Weight: -314 2.28/2.32 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.28/2.33 c core #187 2.28/2.33 c Core size: 4 Core Weight: 1 Total Weight: -313 2.28/2.33 c Elapsed CPU time: 2.28265 s Remaining CPU time: 1797.72 s 2.28/2.34 c core #188 2.28/2.34 c Core size: 4 Core Weight: 1 Total Weight: -312 2.28/2.34 c Elapsed CPU time: 2.29565 s Remaining CPU time: 1797.7 s 2.28/2.36 c core #189 2.28/2.36 c Core size: 4 Core Weight: 1 Total Weight: -311 2.28/2.36 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.28/2.37 c core #190 2.28/2.37 c Core size: 4 Core Weight: 1 Total Weight: -310 2.28/2.37 c Elapsed CPU time: 2.32165 s Remaining CPU time: 1797.68 s 2.28/2.38 c core #191 2.28/2.38 c Core size: 4 Core Weight: 1 Total Weight: -309 2.28/2.38 c Elapsed CPU time: 2.33564 s Remaining CPU time: 1797.66 s 2.39/2.40 c core #192 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -308 2.39/2.40 c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s 2.39/2.41 c core #193 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -307 2.39/2.41 c Elapsed CPU time: 2.36164 s Remaining CPU time: 1797.64 s 2.39/2.42 c core #194 2.39/2.42 c Core size: 4 Core Weight: 1 Total Weight: -306 2.39/2.42 c Elapsed CPU time: 2.37464 s Remaining CPU time: 1797.63 s 2.39/2.44 c core #195 2.39/2.44 c Core size: 4 Core Weight: 1 Total Weight: -305 2.39/2.44 c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s 2.39/2.45 c core #196 2.39/2.45 c Core size: 4 Core Weight: 1 Total Weight: -304 2.39/2.45 c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s 2.39/2.46 c core #197 2.39/2.46 c Core size: 4 Core Weight: 1 Total Weight: -303 2.39/2.46 c Elapsed CPU time: 2.41363 s Remaining CPU time: 1797.59 s 2.39/2.48 c core #198 2.39/2.48 c Core size: 4 Core Weight: 1 Total Weight: -302 2.39/2.48 c Elapsed CPU time: 2.42563 s Remaining CPU time: 1797.57 s 2.39/2.49 c core #199 2.39/2.49 c Core size: 4 Core Weight: 1 Total Weight: -301 2.39/2.49 c Elapsed CPU time: 2.43963 s Remaining CPU time: 1797.56 s 2.49/2.51 c core #200 2.49/2.51 c Core size: 4 Core Weight: 1 Total Weight: -300 2.49/2.51 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.49/2.52 c core #201 2.49/2.52 c Core size: 4 Core Weight: 1 Total Weight: -299 2.49/2.52 c Elapsed CPU time: 2.46462 s Remaining CPU time: 1797.54 s 2.49/2.53 c core #202 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -298 2.49/2.53 c Elapsed CPU time: 2.47762 s Remaining CPU time: 1797.52 s 2.49/2.55 c core #203 2.49/2.55 c Core size: 4 Core Weight: 1 Total Weight: -297 2.49/2.55 c Elapsed CPU time: 2.49162 s Remaining CPU time: 1797.51 s 2.49/2.56 c core #204 2.49/2.56 c Core size: 4 Core Weight: 1 Total Weight: -296 2.49/2.56 c Elapsed CPU time: 2.50462 s Remaining CPU time: 1797.5 s 2.49/2.57 c core #205 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -295 2.49/2.57 c Elapsed CPU time: 2.51862 s Remaining CPU time: 1797.48 s 2.49/2.59 c core #206 2.49/2.59 c Core size: 4 Core Weight: 1 Total Weight: -294 2.49/2.59 c Elapsed CPU time: 2.53261 s Remaining CPU time: 1797.47 s 2.59/2.60 c core #207 2.59/2.60 c Core size: 4 Core Weight: 1 Total Weight: -293 2.59/2.60 c Elapsed CPU time: 2.54561 s Remaining CPU time: 1797.45 s 2.59/2.61 c core #208 2.59/2.61 c Core size: 4 Core Weight: 1 Total Weight: -292 2.59/2.61 c Elapsed CPU time: 2.55961 s Remaining CPU time: 1797.44 s 2.59/2.63 c core #209 2.59/2.63 c Core size: 4 Core Weight: 1 Total Weight: -291 2.59/2.63 c Elapsed CPU time: 2.57261 s Remaining CPU time: 1797.43 s 2.59/2.64 c core #210 2.59/2.64 c Core size: 4 Core Weight: 1 Total Weight: -290 2.59/2.64 c Elapsed CPU time: 2.58561 s Remaining CPU time: 1797.41 s 2.59/2.65 c core #211 2.59/2.65 c Core size: 4 Core Weight: 1 Total Weight: -289 2.59/2.65 c Elapsed CPU time: 2.5996 s Remaining CPU time: 1797.4 s 2.59/2.67 c core #212 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: -288 2.59/2.67 c Elapsed CPU time: 2.6116 s Remaining CPU time: 1797.39 s 2.59/2.68 c core #213 2.59/2.68 c Core size: 4 Core Weight: 1 Total Weight: -287 2.59/2.68 c Elapsed CPU time: 2.6256 s Remaining CPU time: 1797.37 s 2.59/2.69 c core #214 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: -286 2.59/2.69 c Elapsed CPU time: 2.6376 s Remaining CPU time: 1797.36 s 2.68/2.71 c core #215 2.68/2.71 c Core size: 4 Core Weight: 1 Total Weight: -285 2.68/2.71 c Elapsed CPU time: 2.6506 s Remaining CPU time: 1797.35 s 2.68/2.72 c core #216 2.68/2.72 c Core size: 4 Core Weight: 1 Total Weight: -284 2.68/2.72 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.68/2.73 c core #217 2.68/2.73 c Core size: 4 Core Weight: 1 Total Weight: -283 2.68/2.73 c Elapsed CPU time: 2.67659 s Remaining CPU time: 1797.32 s 2.68/2.75 c core #218 2.68/2.75 c Core size: 4 Core Weight: 1 Total Weight: -282 2.68/2.75 c Elapsed CPU time: 2.69059 s Remaining CPU time: 1797.31 s 2.68/2.76 c core #219 2.68/2.76 c Core size: 4 Core Weight: 1 Total Weight: -281 2.68/2.76 c Elapsed CPU time: 2.70259 s Remaining CPU time: 1797.3 s 2.68/2.77 c core #220 2.68/2.77 c Core size: 4 Core Weight: 1 Total Weight: -280 2.68/2.77 c Elapsed CPU time: 2.71659 s Remaining CPU time: 1797.28 s 2.68/2.79 c core #221 2.68/2.79 c Core size: 4 Core Weight: 1 Total Weight: -279 2.68/2.79 c Elapsed CPU time: 2.72959 s Remaining CPU time: 1797.27 s 2.78/2.80 c core #222 2.78/2.80 c Core size: 4 Core Weight: 1 Total Weight: -278 2.78/2.80 c Elapsed CPU time: 2.74358 s Remaining CPU time: 1797.26 s 2.78/2.82 c core #223 2.78/2.82 c Core size: 4 Core Weight: 1 Total Weight: -277 2.78/2.82 c Elapsed CPU time: 2.75658 s Remaining CPU time: 1797.24 s 2.78/2.83 c core #224 2.78/2.83 c Core size: 4 Core Weight: 1 Total Weight: -276 2.78/2.83 c Elapsed CPU time: 2.76958 s Remaining CPU time: 1797.23 s 2.78/2.84 c core #225 2.78/2.84 c Core size: 4 Core Weight: 1 Total Weight: -275 2.78/2.84 c Elapsed CPU time: 2.78258 s Remaining CPU time: 1797.22 s 2.78/2.86 c core #226 2.78/2.86 c Core size: 4 Core Weight: 1 Total Weight: -274 2.78/2.86 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.78/2.87 c core #227 2.78/2.87 c Core size: 9 Core Weight: 1 Total Weight: -273 2.78/2.87 c Elapsed CPU time: 2.81057 s Remaining CPU time: 1797.19 s 2.78/2.88 c core #228 2.78/2.88 c Core size: 9 Core Weight: 1 Total Weight: -272 2.78/2.88 c Elapsed CPU time: 2.82357 s Remaining CPU time: 1797.18 s 2.89/2.90 c core #229 2.89/2.90 c Core size: 9 Core Weight: 1 Total Weight: -271 2.89/2.90 c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s 2.89/2.91 c core #230 2.89/2.91 c Core size: 9 Core Weight: 1 Total Weight: -270 2.89/2.91 c Elapsed CPU time: 2.85057 s Remaining CPU time: 1797.15 s 2.89/2.92 c core #231 2.89/2.92 c Core size: 9 Core Weight: 1 Total Weight: -269 2.89/2.92 c Elapsed CPU time: 2.86456 s Remaining CPU time: 1797.14 s 2.89/2.94 c core #232 2.89/2.94 c Core size: 9 Core Weight: 1 Total Weight: -268 2.89/2.94 c Elapsed CPU time: 2.87756 s Remaining CPU time: 1797.12 s 2.89/2.95 c core #233 2.89/2.95 c Core size: 9 Core Weight: 1 Total Weight: -267 2.89/2.95 c Elapsed CPU time: 2.89156 s Remaining CPU time: 1797.11 s 2.89/2.96 c core #234 2.89/2.96 c Core size: 9 Core Weight: 1 Total Weight: -266 2.89/2.96 c Elapsed CPU time: 2.90456 s Remaining CPU time: 1797.1 s 2.89/2.98 c core #235 2.89/2.98 c Core size: 9 Core Weight: 1 Total Weight: -265 2.89/2.98 c Elapsed CPU time: 2.91856 s Remaining CPU time: 1797.08 s 2.89/2.99 c core #236 2.89/2.99 c Core size: 9 Core Weight: 1 Total Weight: -264 2.89/2.99 c Elapsed CPU time: 2.93155 s Remaining CPU time: 1797.07 s 2.99/3.00 c core #237 2.99/3.00 c Core size: 9 Core Weight: 1 Total Weight: -263 2.99/3.00 c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s 2.99/3.02 c core #238 2.99/3.02 c Core size: 9 Core Weight: 1 Total Weight: -262 2.99/3.02 c Elapsed CPU time: 2.95855 s Remaining CPU time: 1797.04 s 2.99/3.03 c core #239 2.99/3.03 c Core size: 9 Core Weight: 1 Total Weight: -261 2.99/3.03 c Elapsed CPU time: 2.97255 s Remaining CPU time: 1797.03 s 2.99/3.05 c core #240 2.99/3.05 c Core size: 13 Core Weight: 1 Total Weight: -260 2.99/3.05 c Elapsed CPU time: 2.98655 s Remaining CPU time: 1797.01 s 2.99/3.06 c core #241 2.99/3.06 c Core size: 9 Core Weight: 1 Total Weight: -259 2.99/3.06 c Elapsed CPU time: 2.99954 s Remaining CPU time: 1797 s 2.99/3.07 c core #242 2.99/3.07 c Core size: 19 Core Weight: 1 Total Weight: -258 2.99/3.07 c Elapsed CPU time: 3.01254 s Remaining CPU time: 1796.99 s 2.99/3.09 c core #243 2.99/3.09 c Core size: 14 Core Weight: 1 Total Weight: -257 2.99/3.09 c Elapsed CPU time: 3.02554 s Remaining CPU time: 1796.97 s 3.09/3.10 c core #244 3.09/3.10 c Core size: 14 Core Weight: 1 Total Weight: -256 3.09/3.10 c Elapsed CPU time: 3.03854 s Remaining CPU time: 1796.96 s 3.09/3.11 c core #245 3.09/3.11 c Core size: 29 Core Weight: 1 Total Weight: -255 3.09/3.11 c Elapsed CPU time: 3.05154 s Remaining CPU time: 1796.95 s 3.09/3.13 c core #246 3.09/3.13 c Core size: 18 Core Weight: 1 Total Weight: -254 3.09/3.13 c Elapsed CPU time: 3.06553 s Remaining CPU time: 1796.93 s 3.09/3.14 c core #247 3.09/3.14 c Core size: 8 Core Weight: 1 Total Weight: -253 3.09/3.14 c Elapsed CPU time: 3.07853 s Remaining CPU time: 1796.92 s 3.09/3.15 c core #248 3.09/3.15 c Core size: 18 Core Weight: 1 Total Weight: -252 3.09/3.15 c Elapsed CPU time: 3.09153 s Remaining CPU time: 1796.91 s 3.09/3.17 c core #249 3.09/3.17 c Core size: 14 Core Weight: 1 Total Weight: -251 3.09/3.17 c Elapsed CPU time: 3.10453 s Remaining CPU time: 1796.9 s 3.09/3.18 c core #250 3.09/3.18 c Core size: 34 Core Weight: 1 Total Weight: -250 3.09/3.18 c Elapsed CPU time: 3.11753 s Remaining CPU time: 1796.88 s 3.09/3.20 c core #251 3.09/3.20 c Core size: 9 Core Weight: 1 Total Weight: -249 3.09/3.20 c Elapsed CPU time: 3.13052 s Remaining CPU time: 1796.87 s 3.19/3.21 c core #252 3.19/3.21 c Core size: 23 Core Weight: 1 Total Weight: -248 3.19/3.21 c Elapsed CPU time: 3.14452 s Remaining CPU time: 1796.86 s 3.19/3.22 c core #253 3.19/3.22 c Core size: 18 Core Weight: 1 Total Weight: -247 3.19/3.22 c Elapsed CPU time: 3.15652 s Remaining CPU time: 1796.84 s 3.19/3.24 c ============================[ Search Statistics ]============================== 3.19/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.24 c =============================================================================== 3.19/3.24 c | 0 | 1102 8069 16871 | 5000 0 nan | 0.000 % | 3.19/3.24 c =============================================================================== 3.19/3.24 c core #254 3.19/3.24 c Core size: 27 Core Weight: 1 Total Weight: -246 3.19/3.24 c Elapsed CPU time: 3.17052 s Remaining CPU time: 1796.83 s 3.19/3.25 c ============================[ Search Statistics ]============================== 3.19/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.25 c =============================================================================== 3.19/3.25 c | 0 | 1112 8070 16891 | 5000 0 nan | 0.000 % | 3.19/3.25 c =============================================================================== 3.19/3.25 c core #255 3.19/3.25 c Core size: 30 Core Weight: 1 Total Weight: -245 3.19/3.25 c Elapsed CPU time: 3.18352 s Remaining CPU time: 1796.82 s 3.19/3.27 c ============================[ Search Statistics ]============================== 3.19/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.27 c =============================================================================== 3.19/3.27 c | 0 | 1124 8071 16915 | 5000 0 nan | 0.000 % | 3.19/3.27 c =============================================================================== 3.19/3.27 c core #256 3.19/3.27 c Core size: 31 Core Weight: 1 Total Weight: -244 3.19/3.27 c Elapsed CPU time: 3.19651 s Remaining CPU time: 1796.8 s 3.19/3.28 c ============================[ Search Statistics ]============================== 3.19/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.28 c =============================================================================== 3.19/3.28 c | 0 | 1136 8072 16939 | 5000 0 nan | 0.000 % | 3.19/3.28 c =============================================================================== 3.19/3.28 c core #257 3.19/3.28 c Core size: 30 Core Weight: 1 Total Weight: -243 3.19/3.28 c Elapsed CPU time: 3.21051 s Remaining CPU time: 1796.79 s 3.19/3.29 c ============================[ Search Statistics ]============================== 3.19/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.29 c =============================================================================== 3.19/3.29 c | 0 | 1148 8073 16963 | 5000 0 nan | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c core #258 3.19/3.29 c Core size: 42 Core Weight: 1 Total Weight: -242 3.19/3.29 c Elapsed CPU time: 3.22451 s Remaining CPU time: 1796.78 s 3.29/3.31 c ============================[ Search Statistics ]============================== 3.29/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.31 c =============================================================================== 3.29/3.31 c | 0 | 1164 8074 16995 | 5000 0 nan | 0.000 % | 3.29/3.31 c =============================================================================== 3.29/3.31 c core #259 3.29/3.31 c Core size: 30 Core Weight: 1 Total Weight: -241 3.29/3.31 c Elapsed CPU time: 3.23851 s Remaining CPU time: 1796.76 s 3.29/3.32 c ============================[ Search Statistics ]============================== 3.29/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.32 c =============================================================================== 3.29/3.32 c | 0 | 1176 8075 17019 | 5000 0 nan | 0.000 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c core #260 3.29/3.32 c Core size: 29 Core Weight: 1 Total Weight: -240 3.29/3.32 c Elapsed CPU time: 3.25351 s Remaining CPU time: 1796.75 s 3.29/3.34 c ============================[ Search Statistics ]============================== 3.29/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.34 c =============================================================================== 3.29/3.34 c | 0 | 1187 8076 17041 | 5000 0 nan | 0.000 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c core #261 3.29/3.34 c Core size: 37 Core Weight: 1 Total Weight: -239 3.29/3.34 c Elapsed CPU time: 3.2685 s Remaining CPU time: 1796.73 s 3.29/3.35 c ============================[ Search Statistics ]============================== 3.29/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.35 c =============================================================================== 3.29/3.35 c | 0 | 1201 8077 17069 | 5000 0 nan | 0.000 % | 3.29/3.35 c =============================================================================== 3.29/3.35 c core #262 3.29/3.35 c Core size: 25 Core Weight: 1 Total Weight: -238 3.29/3.35 c Elapsed CPU time: 3.2825 s Remaining CPU time: 1796.72 s 3.29/3.37 c ============================[ Search Statistics ]============================== 3.29/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.37 c =============================================================================== 3.29/3.37 c | 0 | 1211 8078 17089 | 5000 0 nan | 0.000 % | 3.29/3.37 c =============================================================================== 3.29/3.37 c core #263 3.29/3.37 c Core size: 76 Core Weight: 1 Total Weight: -237 3.29/3.37 c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s 3.29/3.38 c ============================[ Search Statistics ]============================== 3.29/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.38 c =============================================================================== 3.29/3.38 c | 0 | 1240 8079 17147 | 5000 0 nan | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.38 c core #264 3.29/3.38 c Core size: 21 Core Weight: 1 Total Weight: -236 3.29/3.38 c Elapsed CPU time: 3.3105 s Remaining CPU time: 1796.69 s 3.39/3.40 c ============================[ Search Statistics ]============================== 3.39/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.40 c =============================================================================== 3.39/3.40 c | 0 | 1248 8080 17163 | 5000 0 nan | 0.000 % | 3.39/3.40 c =============================================================================== 3.39/3.40 c core #265 3.39/3.40 c Core size: 31 Core Weight: 1 Total Weight: -235 3.39/3.40 c Elapsed CPU time: 3.32449 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 | 1260 8081 17187 | 5000 0 nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c core #266 3.39/3.41 c Core size: 42 Core Weight: 1 Total Weight: -234 3.39/3.41 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 1276 8082 17219 | 5000 0 nan | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c core #267 3.39/3.43 c Core size: 32 Core Weight: 1 Total Weight: -233 3.39/3.43 c Elapsed CPU time: 3.35349 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 | 1288 8083 17243 | 5000 0 nan | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c core #268 3.39/3.44 c Core size: 31 Core Weight: 1 Total Weight: -232 3.39/3.44 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 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 | 1300 8084 17267 | 5000 0 nan | 0.000 % | 3.39/3.46 c =============================================================================== 3.39/3.46 c core #269 3.39/3.46 c Core size: 35 Core Weight: 1 Total Weight: -231 3.39/3.46 c Elapsed CPU time: 3.38248 s Remaining CPU time: 1796.62 s 3.39/3.47 c ============================[ Search Statistics ]============================== 3.39/3.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.47 c =============================================================================== 3.39/3.47 c | 0 | 1314 8085 17295 | 5000 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #270 3.39/3.47 c Core size: 34 Core Weight: 1 Total Weight: -230 3.39/3.47 c Elapsed CPU time: 3.39748 s Remaining CPU time: 1796.6 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 | 1327 8086 17321 | 5000 0 nan | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c core #271 3.39/3.49 c Core size: 35 Core Weight: 1 Total Weight: -229 3.39/3.49 c Elapsed CPU time: 3.41048 s Remaining CPU time: 1796.59 s 3.48/3.50 c ============================[ Search Statistics ]============================== 3.48/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.50 c =============================================================================== 3.48/3.50 c | 0 | 1341 8087 17349 | 5000 0 nan | 0.000 % | 3.48/3.50 c =============================================================================== 3.48/3.50 c core #272 3.48/3.50 c Core size: 45 Core Weight: 1 Total Weight: -228 3.48/3.50 c Elapsed CPU time: 3.42448 s Remaining CPU time: 1796.58 s 3.48/3.52 c ============================[ Search Statistics ]============================== 3.48/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.52 c =============================================================================== 3.48/3.52 c | 0 | 1358 8088 17383 | 5000 0 nan | 0.000 % | 3.48/3.52 c =============================================================================== 3.48/3.52 c core #273 3.48/3.52 c Core size: 42 Core Weight: 1 Total Weight: -227 3.48/3.52 c Elapsed CPU time: 3.43848 s Remaining CPU time: 1796.56 s 3.48/3.53 c ============================[ Search Statistics ]============================== 3.48/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.53 c =============================================================================== 3.48/3.53 c | 0 | 1374 8089 17415 | 5000 0 nan | 0.000 % | 3.48/3.53 c =============================================================================== 3.48/3.53 c core #274 3.48/3.53 c Core size: 37 Core Weight: 1 Total Weight: -226 3.48/3.53 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.48/3.54 c ============================[ Search Statistics ]============================== 3.48/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.54 c =============================================================================== 3.48/3.54 c | 0 | 1388 8090 17443 | 5000 0 nan | 0.000 % | 3.48/3.55 c =============================================================================== 3.48/3.55 c core #275 3.48/3.55 c Core size: 26 Core Weight: 1 Total Weight: -225 3.48/3.55 c Elapsed CPU time: 3.46547 s Remaining CPU time: 1796.53 s 3.48/3.56 c ============================[ Search Statistics ]============================== 3.48/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.56 c =============================================================================== 3.48/3.56 c | 0 | 1398 8091 17463 | 5000 0 nan | 0.000 % | 3.48/3.56 c =============================================================================== 3.48/3.56 c core #276 3.48/3.56 c Core size: 85 Core Weight: 1 Total Weight: -224 3.48/3.56 c Elapsed CPU time: 3.48147 s Remaining CPU time: 1796.52 s 3.48/3.58 c ============================[ Search Statistics ]============================== 3.48/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.58 c =============================================================================== 3.48/3.58 c | 0 | 1430 8092 17527 | 5000 0 nan | 0.000 % | 3.48/3.58 c =============================================================================== 3.48/3.58 c core #277 3.48/3.58 c Core size: 41 Core Weight: 1 Total Weight: -223 3.48/3.58 c Elapsed CPU time: 3.49647 s Remaining CPU time: 1796.5 s 3.48/3.59 c ============================[ Search Statistics ]============================== 3.48/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.59 c =============================================================================== 3.48/3.59 c | 0 | 1446 8093 17559 | 5000 0 nan | 0.000 % | 3.48/3.59 c =============================================================================== 3.48/3.59 c core #278 3.48/3.59 c Core size: 45 Core Weight: 1 Total Weight: -222 3.48/3.59 c Elapsed CPU time: 3.51147 s Remaining CPU time: 1796.49 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 | 1463 8094 17593 | 5000 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #279 3.59/3.61 c Core size: 109 Core Weight: 1 Total Weight: -221 3.59/3.61 c Elapsed CPU time: 3.52646 s Remaining CPU time: 1796.47 s 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 1502 8095 17671 | 5000 0 nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c core #280 3.59/3.63 c Core size: 242 Core Weight: 1 Total Weight: -220 3.59/3.63 c Elapsed CPU time: 3.54546 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 | 1585 8096 17837 | 5000 0 nan | 0.000 % | 3.59/3.65 c | 100 | 1585 8096 17837 | 5500 100 24 | 66.582 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c core #281 3.59/3.66 c Core size: 265 Core Weight: 1 Total Weight: -219 3.59/3.66 c Elapsed CPU time: 3.57646 s Remaining CPU time: 1796.42 s 3.59/3.67 c ============================[ Search Statistics ]============================== 3.59/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.67 c =============================================================================== 3.59/3.67 c | 0 | 1673 8097 18013 | 5000 0 nan | 0.000 % | 3.59/3.68 c | 101 | 1673 8097 18013 | 5500 101 30 | 65.369 % | 3.59/3.69 c | 251 | 1673 8097 18013 | 6050 251 34 | 65.369 % | 3.69/3.71 c | 482 | 1672 8097 18013 | 6655 481 40 | 65.390 % | 3.69/3.74 c | 822 | 1672 8097 18013 | 7320 821 54 | 65.390 % | 3.79/3.81 c | 1328 | 1672 8097 18013 | 8052 1327 69 | 65.390 % | 3.89/3.94 c | 2088 | 1671 8097 18013 | 8857 1996 84 | 65.411 % | 3.89/3.95 c =============================================================================== 3.89/3.97 c core #282 3.89/3.97 c Core size: 837 Core Weight: 1 Total Weight: -218 3.89/3.97 c Elapsed CPU time: 3.88641 s Remaining CPU time: 1796.11 s 3.89/3.99 c ============================[ Search Statistics ]============================== 3.89/3.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.99 c =============================================================================== 3.89/3.99 c | 0 | 1896 8098 18459 | 5000 0 nan | 0.000 % | 3.89/4.00 c | 103 | 1896 8098 18459 | 5500 103 25 | 62.485 % | 3.98/4.01 c | 253 | 1896 8098 18459 | 6050 253 27 | 62.485 % | 3.98/4.03 c | 478 | 1896 8098 18459 | 6655 478 49 | 62.485 % | 3.98/4.07 c | 816 | 1896 8098 18459 | 7320 816 65 | 62.485 % | 4.09/4.12 c | 1323 | 1896 8098 18459 | 8052 1323 67 | 62.485 % | 4.19/4.21 c | 2084 | 1896 8098 18459 | 8857 2084 62 | 62.485 % | 4.29/4.38 c | 3224 | 1896 8098 18459 | 9743 3224 64 | 62.485 % | 4.59/4.68 c | 4936 | 1896 8098 18459 | 10717 4936 84 | 62.485 % | 5.28/5.36 c | 7498 | 1896 8098 18459 | 11789 7498 106 | 62.485 % | 6.88/6.99 c | 11343 | 1896 8098 18459 | 12968 11343 153 | 62.485 % | 10.99/11.03 c =============================================================================== 11.18/11.25 c core #283 11.18/11.25 c Core size: 1162 Core Weight: 1 Total Weight: -217 11.18/11.25 c Elapsed CPU time: 11.0953 s Remaining CPU time: 1788.9 s 11.18/11.29 c ============================[ Search Statistics ]============================== 11.18/11.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.18/11.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.18/11.29 c =============================================================================== 11.18/11.29 c | 0 | 2161 8099 18989 | 5000 0 nan | 0.000 % | 11.28/11.30 c | 102 | 2161 8099 18989 | 5500 102 43 | 59.372 % | 11.28/11.31 c | 252 | 2161 8099 18989 | 6050 252 44 | 59.372 % | 11.28/11.33 c | 478 | 2161 8099 18989 | 6655 478 42 | 59.372 % | 11.28/11.37 c | 815 | 2161 8099 18989 | 7320 815 47 | 59.372 % | 11.38/11.43 c | 1321 | 2161 8099 18989 | 8052 1321 64 | 59.372 % | 11.49/11.56 c | 2085 | 2161 8099 18989 | 8857 2085 75 | 59.372 % | 11.68/11.78 c | 3225 | 2161 8099 18989 | 9743 3225 87 | 59.372 % | 12.09/12.14 c | 4936 | 2161 8099 18989 | 10717 4936 92 | 59.372 % | 12.78/12.80 c | 7502 | 2161 8099 18989 | 11789 7502 97 | 59.372 % | 14.59/14.60 c | 11348 | 2161 8099 18989 | 12968 11348 127 | 59.372 % | 17.48/17.60 c | 17115 | 2161 8099 18989 | 14265 8901 170 | 59.373 % | 17.69/17.78 c =============================================================================== 17.99/18.01 c core #284 17.99/18.01 c Core size: 1132 Core Weight: 1 Total Weight: -216 17.99/18.01 c Elapsed CPU time: 17.7853 s Remaining CPU time: 1782.21 s 17.99/18.05 c ============================[ Search Statistics ]============================== 17.99/18.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.99/18.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.99/18.05 c =============================================================================== 17.99/18.05 c | 0 | 2421 8100 19509 | 5000 0 nan | 0.000 % | 17.99/18.06 c | 102 | 2421 8100 19509 | 5500 102 42 | 56.605 % | 17.99/18.07 c | 252 | 2421 8100 19509 | 6050 252 35 | 56.605 % | 17.99/18.10 c | 478 | 2421 8100 19509 | 6655 478 41 | 56.605 % | 18.08/18.14 c | 815 | 2421 8100 19509 | 7320 815 59 | 56.605 % | 18.19/18.20 c | 1323 | 2421 8100 19509 | 8052 1323 66 | 56.605 % | 18.29/18.33 c | 2082 | 2421 8100 19509 | 8857 2082 80 | 56.605 % | 18.48/18.54 c | 3224 | 2421 8100 19509 | 9743 3224 88 | 56.605 % | 18.89/18.90 c | 4932 | 2421 8100 19509 | 10717 4932 104 | 56.605 % | 19.69/19.72 c | 7496 | 2421 8100 19509 | 11789 7496 137 | 56.605 % | 20.79/20.84 c | 11340 | 2421 8100 19509 | 12968 11340 147 | 56.605 % | 23.28/23.30 c | 17115 | 2421 8100 19509 | 14265 8903 166 | 56.605 % | 25.88/25.98 c | 25764 | 2421 8100 19509 | 15692 17552 144 | 56.605 % | 34.08/34.17 c | 38741 | 2421 8100 19509 | 17261 11649 179 | 56.605 % | 45.97/46.03 c | 58202 | 2421 8100 19509 | 18987 10415 168 | 56.605 % | 62.36/62.44 c | 87395 | 2421 8100 19509 | 20886 17257 174 | 56.605 % | 96.06/96.16 c | 131185 | 2421 8100 19509 | 22974 24400 306 | 56.605 % | 105.85/105.98 c =============================================================================== 108.06/108.20 c core #285 108.06/108.20 c Core size: 1383 Core Weight: 1 Total Weight: -215 108.06/108.20 c Elapsed CPU time: 107.379 s Remaining CPU time: 1692.62 s 108.25/108.37 c ============================[ Search Statistics ]============================== 108.25/108.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.25/108.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.25/108.37 c =============================================================================== 108.25/108.37 c | 0 | 2692 8101 20051 | 5000 0 nan | 0.000 % | 108.35/108.41 c | 100 | 2692 8101 20051 | 5500 100 48 | 53.983 % | 108.35/108.42 c | 254 | 2692 8101 20051 | 6050 254 65 | 53.983 % | 108.35/108.45 c | 479 | 2692 8101 20051 | 6655 479 63 | 53.983 % | 108.35/108.50 c | 818 | 2692 8101 20051 | 7320 818 71 | 53.983 % | 108.46/108.55 c | 1326 | 2692 8101 20051 | 8052 1326 75 | 53.983 % | 108.55/108.65 c | 2087 | 2692 8101 20051 | 8857 2087 72 | 53.983 % | 108.76/108.84 c | 3227 | 2692 8101 20051 | 9743 3227 79 | 53.983 % | 109.15/109.23 c | 4935 | 2692 8101 20051 | 10717 4935 100 | 53.983 % | 109.75/109.86 c | 7499 | 2692 8101 20051 | 11789 7499 106 | 53.983 % | 111.06/111.18 c | 11343 | 2692 8101 20051 | 12968 11343 122 | 53.983 % | 114.26/114.34 c | 17113 | 2692 8101 20051 | 14265 8915 187 | 53.983 % | 121.55/121.63 c | 25764 | 2692 8101 20051 | 15692 17566 227 | 53.983 % | 132.85/132.90 c | 38739 | 2692 8101 20051 | 17261 11434 224 | 53.983 % | 152.75/152.81 c | 58203 | 2692 8101 20051 | 18987 20576 293 | 53.983 % | 180.63/180.78 c | 87396 | 2692 8101 20051 | 20886 16138 316 | 53.983 % | 210.23/210.34 c | 131188 | 2692 8101 20051 | 22974 23458 188 | 53.983 % | 263.11/263.29 c | 196874 | 2692 8101 20051 | 25272 22329 213 | 53.983 % | 393.88/394.00 c | 295401 | 2692 8101 20051 | 27799 14480 326 | 53.983 % | 578.22/578.49 c | 443190 | 2692 8101 20051 | 30579 20483 464 | 53.983 % | 861.73/862.04 c | 664873 | 2426 8101 20051 | 33637 16352 296 | 58.530 % | 887.22/887.52 c =============================================================================== 901.33/901.66 c core #286 901.33/901.66 c Core size: 1201 Core Weight: 1 Total Weight: -214 901.33/901.66 c Elapsed CPU time: 897.161 s Remaining CPU time: 902.839 s 902.13/902.40 c ============================[ Search Statistics ]============================== 902.13/902.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 902.13/902.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 902.13/902.40 c =============================================================================== 902.13/902.40 c | 0 | 2932 8102 20531 | 5000 0 nan | 0.000 % | 902.23/902.55 c | 101 | 2932 8102 20531 | 5500 101 71 | 51.856 % | 902.23/902.57 c | 251 | 2932 8102 20531 | 6050 251 71 | 51.856 % | 902.32/902.60 c | 477 | 2932 8102 20531 | 6655 477 76 | 51.856 % | 902.32/902.66 c | 814 | 2932 8102 20531 | 7320 814 132 | 51.856 % | 902.42/902.73 c | 1321 | 2932 8102 20531 | 8052 1321 106 | 51.856 % | 902.53/902.83 c | 2080 | 2932 8102 20531 | 8857 2080 104 | 51.856 % | 902.73/903.04 c | 3220 | 2932 8102 20531 | 9743 3220 119 | 51.856 % | 903.02/903.38 c | 4930 | 2932 8102 20531 | 10717 4930 120 | 51.856 % | 903.82/904.17 c | 7492 | 2932 8102 20531 | 11789 7492 135 | 51.856 % | 905.72/906.05 c | 11338 | 2932 8102 20531 | 12968 11338 151 | 51.856 % | 908.72/909.07 c | 17106 | 2932 8102 20531 | 14265 8826 165 | 51.856 % | 915.11/915.48 c | 25755 | 2932 8102 20531 | 15692 17475 187 | 51.856 % | 927.42/927.75 c | 38729 | 2932 8102 20531 | 17261 11547 224 | 51.856 % | 947.81/948.13 c | 58191 | 2932 8102 20531 | 18987 20739 270 | 51.856 % | 978.60/978.95 c | 87385 | 2932 8102 20531 | 20886 16593 308 | 51.856 % | 1013.19/1013.59 c | 131176 | 2932 8102 20531 | 22974 24121 210 | 51.856 % | 1101.37/1101.76 c | 196860 | 2932 8102 20531 | 25272 23183 302 | 51.856 % | 1233.53/1233.95 c | 295386 | 2932 8102 20531 | 27799 16090 303 | 51.856 % | 1459.96/1460.40 c | 443177 | 2932 8102 20531 | 30579 21998 341 | 51.856 % |
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-1875347-1245200660/watcher-1875347-1245200660 -o /tmp/evaluation-result-1875347-1245200660/solver-1875347-1245200660 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875347-1245200660.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13891 /proc/meminfo: memFree=1823584/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=3084 CPUtime=0 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 72768805 3158016 246 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 771 246 125 292 0 409 0 [startup+0.0408051 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13891 /proc/meminfo: memFree=1823584/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=3908 CPUtime=0.03 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 527 0 0 0 3 0 0 0 18 0 1 0 72768805 4001792 511 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 977 511 186 292 0 615 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3908 [startup+0.10181 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13891 /proc/meminfo: memFree=1823584/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=5668 CPUtime=0.09 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 1071 0 0 0 9 0 0 0 18 0 1 0 72768805 5804032 988 1992294400 134512640 135709839 4294956240 18446744073709551615 134606260 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 1417 988 134 292 0 1122 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5668 [startup+0.301834 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13891 /proc/meminfo: memFree=1823584/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=9420 CPUtime=0.29 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 1992 0 0 0 29 0 0 0 19 0 1 0 72768805 9646080 1909 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 2355 1909 134 292 0 2060 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9420 [startup+0.701879 s] /proc/loadavg: 1.00 1.00 1.00 3/64 13891 /proc/meminfo: memFree=1823584/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=16104 CPUtime=0.69 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 3683 0 0 0 68 1 0 0 23 0 1 0 72768805 16490496 3600 1992294400 134512640 135709839 4294956240 18446744073709551615 135166723 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 4026 3600 134 292 0 3731 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16104 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1804440/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=29596 CPUtime=1.49 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 7039 0 0 0 146 3 0 0 25 0 1 0 72768805 30306304 6956 1992294400 134512640 135709839 4294956240 18446744073709551615 135166199 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 7399 6956 134 292 0 7104 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29596 [startup+3.10116 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1786136/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=55332 CPUtime=3.09 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 13530 0 0 0 303 6 0 0 25 0 1 0 72768805 56659968 13351 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 13833 13351 134 292 0 13538 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55332 [startup+6.30152 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1757080/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=71276 CPUtime=6.29 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 17549 0 0 0 618 11 0 0 25 0 1 0 72768805 72986624 17370 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 17819 17370 136 292 0 17524 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71276 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1740120/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=85376 CPUtime=12.68 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 21069 0 0 0 1251 17 0 0 25 0 1 0 72768805 87425024 20890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 21344 20890 136 292 0 21049 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 85376 [startup+25.5017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1722272/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=103804 CPUtime=25.48 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 25703 0 0 0 2519 29 0 0 25 0 1 0 72768805 106295296 25524 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 25951 25524 136 292 0 25656 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 103804 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1677984/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=148392 CPUtime=51.07 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 36840 0 0 0 5062 45 0 0 25 0 1 0 72768805 151953408 36661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 37098 36661 136 292 0 36803 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 148392 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1582368/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=243116 CPUtime=102.26 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 60508 0 0 0 10151 75 0 0 25 0 1 0 72768805 248950784 60329 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 60779 60329 136 292 0 60484 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 243116 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1556000/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=269916 CPUtime=162.24 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 67228 0 0 0 16125 99 0 0 25 0 1 0 72768805 276393984 67049 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 67479 67049 136 292 0 67184 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 269916 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1461216/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=364168 CPUtime=222.22 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 90749 0 0 0 22090 132 0 0 25 0 1 0 72768805 372908032 90570 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 91042 90570 136 292 0 90747 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 364168 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1386080/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=439872 CPUtime=282.2 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 109653 0 0 0 28060 160 0 0 25 0 1 0 72768805 450428928 109474 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 109968 109474 136 292 0 109673 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 439872 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1308256/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=517064 CPUtime=342.19 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 128916 0 0 0 34034 185 0 0 25 0 1 0 72768805 529473536 128737 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 129266 128737 136 292 0 128971 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 517064 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1228000/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=598204 CPUtime=402.17 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 149163 0 0 0 40009 208 0 0 25 0 1 0 72768805 612560896 148984 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 149551 148984 136 292 0 149256 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 598204 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1126240/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=699804 CPUtime=462.15 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 174577 0 0 0 45978 237 0 0 25 0 1 0 72768805 716599296 174398 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 174951 174398 136 292 0 174656 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 699804 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=1016288/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=810160 CPUtime=522.13 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 202128 0 0 0 51944 269 0 0 25 0 1 0 72768805 829603840 201949 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 202540 201949 136 292 0 202245 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 810160 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=938528/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=886468 CPUtime=582.12 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 221184 0 0 0 57920 292 0 0 25 0 1 0 72768805 907743232 221005 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 221617 221005 136 292 0 221322 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 886468 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=867360/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=956956 CPUtime=642.1 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 238799 0 0 0 63891 319 0 0 25 0 1 0 72768805 979922944 238620 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 239239 238620 136 292 0 238944 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 956956 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=802016/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1022852 CPUtime=702.08 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 255265 0 0 0 69864 344 0 0 25 0 1 0 72768805 1047400448 255086 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 255713 255086 136 292 0 255418 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1022852 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=727712/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1096736 CPUtime=762.06 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 273722 0 0 0 75832 374 0 0 25 0 1 0 72768805 1123057664 273543 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 274184 273543 136 292 0 273889 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 1096736 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=638560/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1186296 CPUtime=822.04 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 296059 0 0 0 81804 400 0 0 25 0 1 0 72768805 1214767104 295880 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 296574 295880 136 292 0 296279 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1186296 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=587040/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1237272 CPUtime=882.03 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 308752 0 0 0 87783 420 0 0 25 0 1 0 72768805 1266966528 308573 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 309318 308573 136 292 0 309023 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1237272 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=570400/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1252756 CPUtime=942.01 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 312928 0 0 0 93765 436 0 0 25 0 1 0 72768805 1282822144 312715 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 313189 312715 136 292 0 312894 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1252756 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=543392/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1279852 CPUtime=1002 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 319689 0 0 0 99741 459 0 0 25 0 1 0 72768805 1310568448 319476 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 319963 319476 136 292 0 319668 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1279852 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=495648/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1328168 CPUtime=1061.98 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 331737 0 0 0 105716 482 0 0 25 0 1 0 72768805 1360044032 331524 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 332042 331524 136 292 0 331747 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1328168 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=441888/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1381492 CPUtime=1121.96 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 345049 0 0 0 111691 505 0 0 25 0 1 0 72768805 1414647808 344836 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 345373 344836 136 292 0 345078 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1381492 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=388704/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1435592 CPUtime=1181.94 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 358528 0 0 0 117669 525 0 0 25 0 1 0 72768805 1470046208 358315 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 358898 358315 136 292 0 358603 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1435592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=315680/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1507836 CPUtime=1241.92 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 376579 0 0 0 123639 553 0 0 25 0 1 0 72768805 1544024064 376366 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 376959 376366 136 292 0 376664 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1507836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=245600/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1577220 CPUtime=1301.91 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 393921 0 0 0 129611 580 0 0 25 0 1 0 72768805 1615073280 393708 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 394305 393708 136 292 0 394010 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1577220 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=177760/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1645228 CPUtime=1361.89 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 410910 0 0 0 135588 601 0 0 25 0 1 0 72768805 1684713472 410697 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 411307 410697 136 292 0 411012 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1645228 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=138528/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1684248 CPUtime=1421.87 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 420633 0 0 0 141571 616 0 0 25 0 1 0 72768805 1724669952 420420 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 421062 420420 136 292 0 420767 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1684248 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=84832/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1738220 CPUtime=1481.85 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 434130 0 0 0 147548 637 0 0 25 0 1 0 72768805 1779937280 433917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 434555 433917 136 292 0 434260 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1738220 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 13892 /proc/meminfo: memFree=17312/2055920 swapFree=4192952/4192956 [pid=13891] ppid=13889 vsize=1805464 CPUtime=1541.84 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 450903 0 0 0 153527 657 0 0 25 0 1 0 72768805 1848795136 450690 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 451366 450690 136 292 0 451071 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1805464 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1574.9 s] /proc/loadavg: 1.05 1.01 1.00 2/65 13892 /proc/meminfo: memFree=15584/2055920 swapFree=4191900/4192956 [pid=13891] ppid=13889 vsize=1843444 CPUtime=1574.43 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4194304 460404 0 0 0 156774 669 0 0 25 0 1 0 72768805 1887686656 460191 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 460861 460191 136 292 0 460566 0 Current children cumulated CPU time (s) 1574.43 Current children cumulated vsize (KiB) 1843444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1575.01 s] /proc/loadavg: 1.05 1.01 1.00 2/65 13892 /proc/meminfo: memFree=15584/2055920 swapFree=4191900/4192956 [pid=13891] ppid=13889 vsize=0 CPUtime=1574.53 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4195332 460404 0 0 0 156774 679 0 0 25 0 1 0 72768805 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1574.53 Current children cumulated vsize (KiB) 0 [startup+1575.1 s] /proc/loadavg: 1.05 1.01 1.00 2/66 13893 /proc/meminfo: memFree=1278232/2055920 swapFree=4191900/4192956 [pid=13891] ppid=13889 vsize=0 CPUtime=1574.63 /proc/13891/stat : 13891 (wbo) R 13889 13891 13765 0 -1 4195332 460404 0 0 0 156774 689 0 0 25 0 1 0 72768805 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/13891/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1574.63 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1575.19 CPU time (s): 1574.73 CPU user time (s): 1567.75 CPU system time (s): 6.97894 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 1843444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1567.75 system time used= 6.97894 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460404 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= 3 involuntary context switches= 2023 runsolver used 1.02884 second user time and 3.43348 second system time The end
Begin job on node20 at 2009-06-17 03:04:20 IDJOB=1875347 IDBENCH=48187 IDSOLVER=698 FILE ID=node20/1875347-1245200660 PBS_JOBID= 9368344 Free space on /tmp= 66324 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_3.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-1875347-1245200660/watcher-1875347-1245200660 -o /tmp/evaluation-result-1875347-1245200660/solver-1875347-1245200660 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875347-1245200660.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0247ef4de041bbff376811a7e6bf0408 RANDOM SEED=1141303614 node20.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.234 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.234 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: 1824256 kB Buffers: 47456 kB Cached: 99692 kB SwapCached: 4 kB Active: 64720 kB Inactive: 95876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824256 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 2520 kB Writeback: 0 kB Mapped: 23232 kB Slab: 57100 kB Committed_AS: 147760 kB PageTables: 1400 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-1875347-1245200660.opb Free space on /tmp at the end= 66320 MiB End job on node20 at 2009-06-17 03:30:37