| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.25 | 1800.87 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb |
| MD5SUM | 2e8a2f5e2511f10f037e700bd45c84a1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -28 |
| Best CPU time to get the best result obtained on this benchmark | 1796.11 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -30 |
| Optimality of the best value was proved | YES |
| Number of variables | 450 |
| Total number of constraints | 17794 |
| Number of constraints which are clauses | 17794 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 450 |
| 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 | 450 |
| 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 | 450 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
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-1876259-1245163633.opb. 0.00/0.00 c Instance file HOME/instance-1876259-1245163633.opb 0.00/0.00 c File size is 421987 bytes. 0.00/0.05 c Highest Coefficient sum: 3 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 450 | 0.00/0.05 c | Number Clauses: 18244 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 0 | 0.00/0.05 c core #1 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: -449 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.00/0.06 c core #2 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: -448 0.00/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #3 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: -447 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.07/0.08 c core #4 0.07/0.08 c Core size: 3 Core Weight: 1 Total Weight: -446 0.07/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.07/0.09 c core #5 0.07/0.09 c Core size: 3 Core Weight: 1 Total Weight: -445 0.07/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.07/0.10 c core #6 0.07/0.10 c Core size: 3 Core Weight: 1 Total Weight: -444 0.07/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.10/0.11 c core #7 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: -443 0.10/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #8 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: -442 0.10/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.10/0.12 c core #9 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: -441 0.10/0.12 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #10 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: -440 0.10/0.13 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #11 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: -439 0.10/0.14 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #12 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: -438 0.10/0.15 c Elapsed CPU time: 0.157975 s Remaining CPU time: 1799.84 s 0.10/0.16 c core #13 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: -437 0.10/0.16 c Elapsed CPU time: 0.167974 s Remaining CPU time: 1799.83 s 0.10/0.17 c core #14 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: -436 0.10/0.17 c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s 0.10/0.18 c core #15 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: -435 0.10/0.18 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.10/0.19 c core #16 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: -434 0.10/0.19 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.20/0.20 c core #17 0.20/0.20 c Core size: 3 Core Weight: 1 Total Weight: -433 0.20/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.20/0.21 c core #18 0.20/0.21 c Core size: 3 Core Weight: 1 Total Weight: -432 0.20/0.21 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.20/0.22 c core #19 0.20/0.22 c Core size: 3 Core Weight: 1 Total Weight: -431 0.20/0.22 c Elapsed CPU time: 0.224965 s Remaining CPU time: 1799.78 s 0.20/0.23 c core #20 0.20/0.23 c Core size: 3 Core Weight: 1 Total Weight: -430 0.20/0.23 c Elapsed CPU time: 0.234964 s Remaining CPU time: 1799.77 s 0.20/0.24 c core #21 0.20/0.24 c Core size: 3 Core Weight: 1 Total Weight: -429 0.20/0.24 c Elapsed CPU time: 0.243962 s Remaining CPU time: 1799.76 s 0.20/0.25 c core #22 0.20/0.25 c Core size: 3 Core Weight: 1 Total Weight: -428 0.20/0.25 c Elapsed CPU time: 0.253961 s Remaining CPU time: 1799.75 s 0.20/0.26 c core #23 0.20/0.26 c Core size: 3 Core Weight: 1 Total Weight: -427 0.20/0.26 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.20/0.27 c core #24 0.20/0.27 c Core size: 3 Core Weight: 1 Total Weight: -426 0.20/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.20/0.28 c core #25 0.20/0.28 c Core size: 3 Core Weight: 1 Total Weight: -425 0.20/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.20/0.29 c core #26 0.20/0.29 c Core size: 3 Core Weight: 1 Total Weight: -424 0.20/0.29 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #27 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: -423 0.29/0.30 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #28 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -422 0.29/0.31 c Elapsed CPU time: 0.311952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #29 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -421 0.29/0.32 c Elapsed CPU time: 0.321951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #30 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: -420 0.29/0.33 c Elapsed CPU time: 0.331949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #31 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -419 0.29/0.34 c Elapsed CPU time: 0.341948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #32 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -418 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #33 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -417 0.29/0.36 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #34 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: -416 0.29/0.37 c Elapsed CPU time: 0.370943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #35 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -415 0.29/0.38 c Elapsed CPU time: 0.380942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #36 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -414 0.29/0.39 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #37 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -413 0.39/0.40 c Elapsed CPU time: 0.400939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #38 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -412 0.39/0.41 c Elapsed CPU time: 0.410937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #39 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -411 0.39/0.42 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #40 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -410 0.39/0.43 c Elapsed CPU time: 0.430934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #41 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: -409 0.39/0.44 c Elapsed CPU time: 0.440932 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #42 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -408 0.39/0.45 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #43 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -407 0.39/0.46 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #44 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -406 0.39/0.47 c Elapsed CPU time: 0.470928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #45 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -405 0.39/0.48 c Elapsed CPU time: 0.480926 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #46 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -404 0.39/0.49 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #47 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -403 0.49/0.50 c Elapsed CPU time: 0.500923 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #48 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: -402 0.49/0.51 c Elapsed CPU time: 0.510922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #49 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -401 0.49/0.52 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #50 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -400 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #51 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: -399 0.49/0.54 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #52 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: -398 0.49/0.55 c Elapsed CPU time: 0.551916 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #53 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -397 0.49/0.56 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #54 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: -396 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #55 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -395 0.49/0.58 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #56 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -394 0.49/0.59 c Elapsed CPU time: 0.593909 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #57 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -393 0.59/0.60 c Elapsed CPU time: 0.603908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #58 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -392 0.59/0.61 c Elapsed CPU time: 0.613906 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #59 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -391 0.59/0.62 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #60 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -390 0.59/0.63 c Elapsed CPU time: 0.633903 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #61 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -389 0.59/0.64 c Elapsed CPU time: 0.644901 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #62 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: -388 0.59/0.65 c Elapsed CPU time: 0.6549 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #63 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -387 0.59/0.66 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #64 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -386 0.59/0.67 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.59/0.68 c core #65 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -385 0.59/0.68 c Elapsed CPU time: 0.685895 s Remaining CPU time: 1799.31 s 0.59/0.69 c core #66 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -384 0.59/0.69 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.70 c core #67 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -383 0.69/0.70 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.69/0.71 c core #68 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -382 0.69/0.71 c Elapsed CPU time: 0.716891 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #69 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -381 0.69/0.73 c Elapsed CPU time: 0.726889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #70 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -380 0.69/0.74 c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #71 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -379 0.69/0.75 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #72 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -378 0.69/0.76 c Elapsed CPU time: 0.758884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #73 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -377 0.69/0.77 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #74 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -376 0.69/0.78 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #75 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -375 0.69/0.79 c Elapsed CPU time: 0.789879 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #76 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -374 0.79/0.80 c Elapsed CPU time: 0.799878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #77 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -373 0.79/0.81 c Elapsed CPU time: 0.810876 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #78 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -372 0.79/0.82 c Elapsed CPU time: 0.821875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #79 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: -371 0.79/0.83 c Elapsed CPU time: 0.831873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #80 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -370 0.79/0.84 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #81 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -369 0.79/0.85 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #82 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -368 0.79/0.86 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #83 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -367 0.79/0.87 c Elapsed CPU time: 0.874867 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #84 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -366 0.79/0.89 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.79/0.90 c core #85 0.79/0.90 c Core size: 3 Core Weight: 1 Total Weight: -365 0.79/0.90 c Elapsed CPU time: 0.896863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #86 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -364 0.89/0.91 c Elapsed CPU time: 0.907861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #87 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -363 0.89/0.92 c Elapsed CPU time: 0.91886 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #88 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -362 0.89/0.93 c Elapsed CPU time: 0.929858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #89 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -361 0.89/0.94 c Elapsed CPU time: 0.940856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #90 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -360 0.89/0.95 c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #91 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -359 0.89/0.96 c Elapsed CPU time: 0.962853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #92 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -358 0.89/0.97 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #93 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -357 0.89/0.98 c Elapsed CPU time: 0.98485 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #94 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -356 0.89/0.99 c Elapsed CPU time: 0.995848 s Remaining CPU time: 1799 s 1.00/1.01 c core #95 1.00/1.01 c Core size: 3 Core Weight: 1 Total Weight: -355 1.00/1.01 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #96 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -354 1.00/1.02 c Elapsed CPU time: 1.01784 s Remaining CPU time: 1798.98 s 1.00/1.03 c core #97 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: -353 1.00/1.03 c Elapsed CPU time: 1.02884 s Remaining CPU time: 1798.97 s 1.00/1.04 c core #98 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: -352 1.00/1.04 c Elapsed CPU time: 1.03984 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #99 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -351 1.00/1.05 c Elapsed CPU time: 1.05084 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #100 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: -350 1.00/1.06 c Elapsed CPU time: 1.06284 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #101 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: -349 1.00/1.07 c Elapsed CPU time: 1.07384 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #102 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: -348 1.00/1.08 c Elapsed CPU time: 1.08483 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #103 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: -347 1.00/1.09 c Elapsed CPU time: 1.09583 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #104 1.10/1.11 c Core size: 3 Core Weight: 1 Total Weight: -346 1.10/1.11 c Elapsed CPU time: 1.10683 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #105 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: -345 1.10/1.12 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #106 1.10/1.13 c Core size: 3 Core Weight: 1 Total Weight: -344 1.10/1.13 c Elapsed CPU time: 1.12983 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #107 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: -343 1.10/1.14 c Elapsed CPU time: 1.14083 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #108 1.10/1.15 c Core size: 3 Core Weight: 1 Total Weight: -342 1.10/1.15 c Elapsed CPU time: 1.15182 s Remaining CPU time: 1798.85 s 1.10/1.16 c core #109 1.10/1.16 c Core size: 3 Core Weight: 1 Total Weight: -341 1.10/1.16 c Elapsed CPU time: 1.16382 s Remaining CPU time: 1798.84 s 1.10/1.17 c core #110 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: -340 1.10/1.17 c Elapsed CPU time: 1.17482 s Remaining CPU time: 1798.83 s 1.10/1.19 c core #111 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: -339 1.10/1.19 c Elapsed CPU time: 1.18582 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #112 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: -338 1.19/1.20 c Elapsed CPU time: 1.19782 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #113 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -337 1.19/1.21 c Elapsed CPU time: 1.20882 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #114 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -336 1.19/1.22 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #115 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -335 1.19/1.23 c Elapsed CPU time: 1.23281 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #116 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: -334 1.19/1.24 c Elapsed CPU time: 1.24381 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #117 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -333 1.19/1.25 c Elapsed CPU time: 1.25581 s Remaining CPU time: 1798.74 s 1.19/1.27 c core #118 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -332 1.19/1.27 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.19/1.28 c core #119 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: -331 1.19/1.28 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #120 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: -330 1.19/1.29 c Elapsed CPU time: 1.2898 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #121 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -329 1.29/1.30 c Elapsed CPU time: 1.3008 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #122 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: -328 1.29/1.31 c Elapsed CPU time: 1.3128 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #123 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -327 1.29/1.32 c Elapsed CPU time: 1.3238 s Remaining CPU time: 1798.68 s 1.29/1.34 c core #124 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -326 1.29/1.34 c Elapsed CPU time: 1.3358 s Remaining CPU time: 1798.66 s 1.29/1.35 c core #125 1.29/1.35 c Core size: 3 Core Weight: 1 Total Weight: -325 1.29/1.35 c Elapsed CPU time: 1.3478 s Remaining CPU time: 1798.65 s 1.29/1.36 c core #126 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -324 1.29/1.36 c Elapsed CPU time: 1.35879 s Remaining CPU time: 1798.64 s 1.29/1.37 c core #127 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -323 1.29/1.37 c Elapsed CPU time: 1.37079 s Remaining CPU time: 1798.63 s 1.29/1.38 c core #128 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: -322 1.29/1.38 c Elapsed CPU time: 1.38279 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #129 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -321 1.29/1.39 c Elapsed CPU time: 1.39379 s Remaining CPU time: 1798.61 s 1.39/1.41 c core #130 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -320 1.39/1.41 c Elapsed CPU time: 1.40579 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #131 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: -319 1.39/1.42 c Elapsed CPU time: 1.41778 s Remaining CPU time: 1798.58 s 1.39/1.43 c core #132 1.39/1.43 c Core size: 3 Core Weight: 1 Total Weight: -318 1.39/1.43 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.39/1.44 c core #133 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -317 1.39/1.44 c Elapsed CPU time: 1.44278 s Remaining CPU time: 1798.56 s 1.39/1.45 c core #134 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: -316 1.39/1.45 c Elapsed CPU time: 1.45478 s Remaining CPU time: 1798.55 s 1.39/1.47 c core #135 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: -315 1.39/1.47 c Elapsed CPU time: 1.46678 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #136 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -314 1.39/1.48 c Elapsed CPU time: 1.47877 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #137 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: -313 1.39/1.49 c Elapsed CPU time: 1.49177 s Remaining CPU time: 1798.51 s 1.49/1.50 c core #138 1.49/1.50 c Core size: 3 Core Weight: 1 Total Weight: -312 1.49/1.50 c Elapsed CPU time: 1.50377 s Remaining CPU time: 1798.5 s 1.49/1.52 c core #139 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -311 1.49/1.52 c Elapsed CPU time: 1.51577 s Remaining CPU time: 1798.48 s 1.49/1.53 c core #140 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: -310 1.49/1.53 c Elapsed CPU time: 1.52777 s Remaining CPU time: 1798.47 s 1.49/1.54 c core #141 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: -309 1.49/1.54 c Elapsed CPU time: 1.53977 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #142 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -308 1.49/1.55 c Elapsed CPU time: 1.55176 s Remaining CPU time: 1798.45 s 1.49/1.56 c core #143 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: -307 1.49/1.56 c Elapsed CPU time: 1.56376 s Remaining CPU time: 1798.44 s 1.49/1.58 c core #144 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: -306 1.49/1.58 c Elapsed CPU time: 1.57576 s Remaining CPU time: 1798.42 s 1.49/1.59 c core #145 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -305 1.49/1.59 c Elapsed CPU time: 1.58776 s Remaining CPU time: 1798.41 s 1.59/1.60 c core #146 1.59/1.60 c Core size: 3 Core Weight: 1 Total Weight: -304 1.59/1.60 c Elapsed CPU time: 1.60076 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #147 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: -303 1.59/1.61 c Elapsed CPU time: 1.61275 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #148 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -302 1.59/1.62 c Elapsed CPU time: 1.62475 s Remaining CPU time: 1798.38 s 1.59/1.64 c core #149 1.59/1.64 c Core size: 3 Core Weight: 1 Total Weight: -301 1.59/1.64 c Elapsed CPU time: 1.63675 s Remaining CPU time: 1798.36 s 1.59/1.65 c core #150 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: -300 1.59/1.65 c Elapsed CPU time: 1.64975 s Remaining CPU time: 1798.35 s 1.59/1.66 c core #151 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -299 1.59/1.66 c Elapsed CPU time: 1.66175 s Remaining CPU time: 1798.34 s 1.59/1.67 c core #152 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -298 1.59/1.67 c Elapsed CPU time: 1.67375 s Remaining CPU time: 1798.33 s 1.59/1.69 c core #153 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -297 1.59/1.69 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.70 c core #154 1.69/1.70 c Core size: 3 Core Weight: 1 Total Weight: -296 1.69/1.70 c Elapsed CPU time: 1.69974 s Remaining CPU time: 1798.3 s 1.69/1.71 c core #155 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -295 1.69/1.71 c Elapsed CPU time: 1.71274 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #156 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: -294 1.69/1.73 c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s 1.69/1.74 c core #157 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -293 1.69/1.74 c Elapsed CPU time: 1.73774 s Remaining CPU time: 1798.26 s 1.69/1.75 c core #158 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: -292 1.69/1.75 c Elapsed CPU time: 1.74973 s Remaining CPU time: 1798.25 s 1.69/1.76 c core #159 1.69/1.76 c Core size: 3 Core Weight: 1 Total Weight: -291 1.69/1.76 c Elapsed CPU time: 1.76273 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #160 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: -290 1.69/1.78 c Elapsed CPU time: 1.77573 s Remaining CPU time: 1798.22 s 1.69/1.79 c core #161 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -289 1.69/1.79 c Elapsed CPU time: 1.78773 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #162 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: -288 1.79/1.80 c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s 1.79/1.81 c core #163 1.79/1.81 c Core size: 3 Core Weight: 1 Total Weight: -287 1.79/1.81 c Elapsed CPU time: 1.81372 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #164 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -286 1.79/1.83 c Elapsed CPU time: 1.82572 s Remaining CPU time: 1798.17 s 1.79/1.84 c core #165 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: -285 1.79/1.84 c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s 1.79/1.85 c core #166 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -284 1.79/1.85 c Elapsed CPU time: 1.85172 s Remaining CPU time: 1798.15 s 1.79/1.86 c core #167 1.79/1.86 c Core size: 3 Core Weight: 1 Total Weight: -283 1.79/1.86 c Elapsed CPU time: 1.86472 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #168 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -282 1.79/1.88 c Elapsed CPU time: 1.87771 s Remaining CPU time: 1798.12 s 1.79/1.89 c core #169 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: -281 1.79/1.89 c Elapsed CPU time: 1.89071 s Remaining CPU time: 1798.11 s 1.89/1.90 c core #170 1.89/1.90 c Core size: 3 Core Weight: 1 Total Weight: -280 1.89/1.90 c Elapsed CPU time: 1.90371 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #171 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: -279 1.89/1.92 c Elapsed CPU time: 1.91571 s Remaining CPU time: 1798.08 s 1.89/1.93 c core #172 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -278 1.89/1.93 c Elapsed CPU time: 1.92771 s Remaining CPU time: 1798.07 s 1.89/1.94 c core #173 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: -277 1.89/1.94 c Elapsed CPU time: 1.9407 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #174 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -276 1.89/1.96 c Elapsed CPU time: 1.9537 s Remaining CPU time: 1798.05 s 1.89/1.97 c core #175 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: -275 1.89/1.97 c Elapsed CPU time: 1.9667 s Remaining CPU time: 1798.03 s 1.89/1.98 c core #176 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -274 1.89/1.98 c Elapsed CPU time: 1.9787 s Remaining CPU time: 1798.02 s 1.89/2.00 c core #177 1.89/2.00 c Core size: 3 Core Weight: 1 Total Weight: -273 1.89/2.00 c Elapsed CPU time: 1.9917 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #178 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: -272 1.99/2.01 c Elapsed CPU time: 2.00469 s Remaining CPU time: 1798 s 1.99/2.02 c core #179 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -271 1.99/2.02 c Elapsed CPU time: 2.01869 s Remaining CPU time: 1797.98 s 1.99/2.04 c core #180 1.99/2.04 c Core size: 3 Core Weight: 1 Total Weight: -270 1.99/2.04 c Elapsed CPU time: 2.03169 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #181 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -269 1.99/2.05 c Elapsed CPU time: 2.04569 s Remaining CPU time: 1797.95 s 1.99/2.06 c core #182 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -268 1.99/2.06 c Elapsed CPU time: 2.05869 s Remaining CPU time: 1797.94 s 1.99/2.08 c core #183 1.99/2.08 c Core size: 3 Core Weight: 1 Total Weight: -267 1.99/2.08 c Elapsed CPU time: 2.07168 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #184 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: -266 1.99/2.09 c Elapsed CPU time: 2.08568 s Remaining CPU time: 1797.91 s 2.09/2.10 c core #185 2.09/2.10 c Core size: 3 Core Weight: 1 Total Weight: -265 2.09/2.10 c Elapsed CPU time: 2.09868 s Remaining CPU time: 1797.9 s 2.09/2.12 c core #186 2.09/2.12 c Core size: 3 Core Weight: 1 Total Weight: -264 2.09/2.12 c Elapsed CPU time: 2.11368 s Remaining CPU time: 1797.89 s 2.09/2.13 c core #187 2.09/2.13 c Core size: 3 Core Weight: 1 Total Weight: -263 2.09/2.13 c Elapsed CPU time: 2.12668 s Remaining CPU time: 1797.87 s 2.09/2.14 c core #188 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -262 2.09/2.14 c Elapsed CPU time: 2.14067 s Remaining CPU time: 1797.86 s 2.09/2.16 c core #189 2.09/2.16 c Core size: 3 Core Weight: 1 Total Weight: -261 2.09/2.16 c Elapsed CPU time: 2.15467 s Remaining CPU time: 1797.85 s 2.09/2.17 c core #190 2.09/2.17 c Core size: 3 Core Weight: 1 Total Weight: -260 2.09/2.17 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.09/2.18 c core #191 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: -259 2.09/2.18 c Elapsed CPU time: 2.18167 s Remaining CPU time: 1797.82 s 2.09/2.20 c core #192 2.09/2.20 c Core size: 3 Core Weight: 1 Total Weight: -258 2.09/2.20 c Elapsed CPU time: 2.19567 s Remaining CPU time: 1797.8 s 2.19/2.21 c core #193 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: -257 2.19/2.21 c Elapsed CPU time: 2.20866 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #194 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -256 2.19/2.23 c Elapsed CPU time: 2.22266 s Remaining CPU time: 1797.78 s 2.19/2.24 c core #195 2.19/2.24 c Core size: 3 Core Weight: 1 Total Weight: -255 2.19/2.24 c Elapsed CPU time: 2.23566 s Remaining CPU time: 1797.76 s 2.19/2.25 c core #196 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: -254 2.19/2.25 c Elapsed CPU time: 2.25066 s Remaining CPU time: 1797.75 s 2.19/2.27 c core #197 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -253 2.19/2.27 c Elapsed CPU time: 2.26365 s Remaining CPU time: 1797.74 s 2.19/2.28 c core #198 2.19/2.28 c Core size: 3 Core Weight: 1 Total Weight: -252 2.19/2.28 c Elapsed CPU time: 2.27765 s Remaining CPU time: 1797.72 s 2.19/2.29 c core #199 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -251 2.19/2.29 c Elapsed CPU time: 2.29165 s Remaining CPU time: 1797.71 s 2.29/2.31 c core #200 2.29/2.31 c Core size: 3 Core Weight: 1 Total Weight: -250 2.29/2.31 c Elapsed CPU time: 2.30565 s Remaining CPU time: 1797.69 s 2.29/2.32 c core #201 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -249 2.29/2.32 c Elapsed CPU time: 2.31865 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #202 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -248 2.29/2.34 c Elapsed CPU time: 2.33264 s Remaining CPU time: 1797.67 s 2.29/2.35 c core #203 2.29/2.35 c Core size: 3 Core Weight: 1 Total Weight: -247 2.29/2.35 c Elapsed CPU time: 2.34664 s Remaining CPU time: 1797.65 s 2.29/2.37 c core #204 2.29/2.37 c Core size: 3 Core Weight: 1 Total Weight: -246 2.29/2.37 c Elapsed CPU time: 2.36064 s Remaining CPU time: 1797.64 s 2.29/2.38 c core #205 2.29/2.38 c Core size: 3 Core Weight: 1 Total Weight: -245 2.29/2.38 c Elapsed CPU time: 2.37464 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #206 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: -244 2.29/2.39 c Elapsed CPU time: 2.38864 s Remaining CPU time: 1797.61 s 2.39/2.41 c core #207 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: -243 2.39/2.41 c Elapsed CPU time: 2.40263 s Remaining CPU time: 1797.6 s 2.39/2.42 c core #208 2.39/2.42 c Core size: 3 Core Weight: 1 Total Weight: -242 2.39/2.42 c Elapsed CPU time: 2.41763 s Remaining CPU time: 1797.58 s 2.39/2.44 c core #209 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: -241 2.39/2.44 c Elapsed CPU time: 2.43263 s Remaining CPU time: 1797.57 s 2.39/2.45 c core #210 2.39/2.45 c Core size: 3 Core Weight: 1 Total Weight: -240 2.39/2.45 c Elapsed CPU time: 2.44663 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #211 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -239 2.39/2.47 c Elapsed CPU time: 2.46062 s Remaining CPU time: 1797.54 s 2.39/2.48 c core #212 2.39/2.48 c Core size: 3 Core Weight: 1 Total Weight: -238 2.39/2.48 c Elapsed CPU time: 2.47562 s Remaining CPU time: 1797.52 s 2.39/2.49 c core #213 2.39/2.49 c Core size: 3 Core Weight: 1 Total Weight: -237 2.39/2.49 c Elapsed CPU time: 2.48962 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #214 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -236 2.49/2.51 c Elapsed CPU time: 2.50462 s Remaining CPU time: 1797.5 s 2.49/2.52 c core #215 2.49/2.52 c Core size: 3 Core Weight: 1 Total Weight: -235 2.49/2.52 c Elapsed CPU time: 2.51862 s Remaining CPU time: 1797.48 s 2.49/2.54 c core #216 2.49/2.54 c Core size: 3 Core Weight: 1 Total Weight: -234 2.49/2.54 c Elapsed CPU time: 2.53361 s Remaining CPU time: 1797.47 s 2.49/2.55 c core #217 2.49/2.55 c Core size: 3 Core Weight: 1 Total Weight: -233 2.49/2.55 c Elapsed CPU time: 2.54861 s Remaining CPU time: 1797.45 s 2.49/2.57 c core #218 2.49/2.57 c Core size: 3 Core Weight: 1 Total Weight: -232 2.49/2.57 c Elapsed CPU time: 2.56261 s Remaining CPU time: 1797.44 s 2.49/2.58 c core #219 2.49/2.58 c Core size: 3 Core Weight: 1 Total Weight: -231 2.49/2.58 c Elapsed CPU time: 2.57761 s Remaining CPU time: 1797.42 s 2.59/2.60 c core #220 2.59/2.60 c Core size: 3 Core Weight: 1 Total Weight: -230 2.59/2.60 c Elapsed CPU time: 2.5926 s Remaining CPU time: 1797.41 s 2.59/2.61 c core #221 2.59/2.61 c Core size: 3 Core Weight: 1 Total Weight: -229 2.59/2.61 c Elapsed CPU time: 2.6066 s Remaining CPU time: 1797.39 s 2.59/2.63 c core #222 2.59/2.63 c Core size: 3 Core Weight: 1 Total Weight: -228 2.59/2.63 c Elapsed CPU time: 2.6216 s Remaining CPU time: 1797.38 s 2.59/2.64 c core #223 2.59/2.64 c Core size: 3 Core Weight: 1 Total Weight: -227 2.59/2.64 c Elapsed CPU time: 2.6356 s Remaining CPU time: 1797.36 s 2.59/2.66 c core #224 2.59/2.66 c Core size: 3 Core Weight: 1 Total Weight: -226 2.59/2.66 c Elapsed CPU time: 2.6496 s Remaining CPU time: 1797.35 s 2.59/2.67 c core #225 2.59/2.67 c Core size: 3 Core Weight: 1 Total Weight: -225 2.59/2.67 c Elapsed CPU time: 2.66459 s Remaining CPU time: 1797.34 s 2.59/2.69 c ============================[ Search Statistics ]============================== 2.59/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.69 c =============================================================================== 2.59/2.69 c | 0 | 900 18469 36938 | 6156 0 nan | 0.000 % | 2.59/2.69 c =============================================================================== 2.59/2.69 c core #226 2.59/2.69 c Core size: 13 Core Weight: 1 Total Weight: -224 2.59/2.69 c Elapsed CPU time: 2.67959 s Remaining CPU time: 1797.32 s 2.68/2.70 c ============================[ Search Statistics ]============================== 2.68/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.70 c =============================================================================== 2.68/2.70 c | 0 | 906 18470 36950 | 6156 0 nan | 0.000 % | 2.68/2.70 c =============================================================================== 2.68/2.70 c core #227 2.68/2.70 c Core size: 13 Core Weight: 1 Total Weight: -223 2.68/2.70 c Elapsed CPU time: 2.69459 s Remaining CPU time: 1797.31 s 2.68/2.72 c ============================[ Search Statistics ]============================== 2.68/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.72 c =============================================================================== 2.68/2.72 c | 0 | 912 18471 36962 | 6157 0 nan | 0.000 % | 2.68/2.72 c =============================================================================== 2.68/2.72 c core #228 2.68/2.72 c Core size: 10 Core Weight: 1 Total Weight: -222 2.68/2.72 c Elapsed CPU time: 2.71159 s Remaining CPU time: 1797.29 s 2.68/2.73 c ============================[ Search Statistics ]============================== 2.68/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.73 c =============================================================================== 2.68/2.73 c | 0 | 916 18472 36970 | 6157 0 nan | 0.000 % | 2.68/2.73 c =============================================================================== 2.68/2.73 c core #229 2.68/2.73 c Core size: 10 Core Weight: 1 Total Weight: -221 2.68/2.73 c Elapsed CPU time: 2.72659 s Remaining CPU time: 1797.27 s 2.68/2.75 c ============================[ Search Statistics ]============================== 2.68/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.75 c =============================================================================== 2.68/2.75 c | 0 | 920 18473 36978 | 6157 0 nan | 0.000 % | 2.68/2.75 c =============================================================================== 2.68/2.75 c core #230 2.68/2.75 c Core size: 13 Core Weight: 1 Total Weight: -220 2.68/2.75 c Elapsed CPU time: 2.74158 s Remaining CPU time: 1797.26 s 2.68/2.76 c ============================[ Search Statistics ]============================== 2.68/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.76 c =============================================================================== 2.68/2.76 c | 0 | 926 18474 36990 | 6158 0 nan | 0.000 % | 2.68/2.76 c =============================================================================== 2.68/2.76 c core #231 2.68/2.76 c Core size: 13 Core Weight: 1 Total Weight: -219 2.68/2.76 c Elapsed CPU time: 2.75658 s Remaining CPU time: 1797.24 s 2.68/2.78 c ============================[ Search Statistics ]============================== 2.68/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.78 c =============================================================================== 2.68/2.78 c | 0 | 932 18475 37002 | 6158 0 nan | 0.000 % | 2.68/2.78 c =============================================================================== 2.68/2.78 c core #232 2.68/2.78 c Core size: 13 Core Weight: 1 Total Weight: -218 2.68/2.78 c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s 2.68/2.79 c ============================[ Search Statistics ]============================== 2.68/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.79 c =============================================================================== 2.68/2.79 c | 0 | 938 18476 37014 | 6158 0 nan | 0.000 % | 2.68/2.80 c =============================================================================== 2.68/2.80 c core #233 2.68/2.80 c Core size: 13 Core Weight: 1 Total Weight: -217 2.68/2.80 c Elapsed CPU time: 2.78858 s Remaining CPU time: 1797.21 s 2.78/2.81 c ============================[ Search Statistics ]============================== 2.78/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.81 c =============================================================================== 2.78/2.81 c | 0 | 944 18477 37026 | 6159 0 nan | 0.000 % | 2.78/2.81 c =============================================================================== 2.78/2.81 c core #234 2.78/2.81 c Core size: 10 Core Weight: 1 Total Weight: -216 2.78/2.81 c Elapsed CPU time: 2.80357 s Remaining CPU time: 1797.2 s 2.78/2.83 c ============================[ Search Statistics ]============================== 2.78/2.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.83 c =============================================================================== 2.78/2.83 c | 0 | 948 18478 37034 | 6159 0 nan | 0.000 % | 2.78/2.83 c =============================================================================== 2.78/2.83 c core #235 2.78/2.83 c Core size: 13 Core Weight: 1 Total Weight: -215 2.78/2.83 c Elapsed CPU time: 2.81857 s Remaining CPU time: 1797.18 s 2.78/2.84 c ============================[ Search Statistics ]============================== 2.78/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.84 c =============================================================================== 2.78/2.84 c | 0 | 954 18479 37046 | 6159 0 nan | 0.000 % | 2.78/2.84 c =============================================================================== 2.78/2.84 c core #236 2.78/2.84 c Core size: 10 Core Weight: 1 Total Weight: -214 2.78/2.84 c Elapsed CPU time: 2.83357 s Remaining CPU time: 1797.17 s 2.78/2.86 c ============================[ Search Statistics ]============================== 2.78/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.86 c =============================================================================== 2.78/2.86 c | 0 | 958 18480 37054 | 6160 0 nan | 0.000 % | 2.78/2.86 c =============================================================================== 2.78/2.86 c core #237 2.78/2.86 c Core size: 10 Core Weight: 1 Total Weight: -213 2.78/2.86 c Elapsed CPU time: 2.84957 s Remaining CPU time: 1797.15 s 2.78/2.87 c ============================[ Search Statistics ]============================== 2.78/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.87 c =============================================================================== 2.78/2.87 c | 0 | 962 18481 37062 | 6160 0 nan | 0.000 % | 2.78/2.87 c =============================================================================== 2.78/2.87 c core #238 2.78/2.87 c Core size: 13 Core Weight: 1 Total Weight: -212 2.78/2.87 c Elapsed CPU time: 2.86556 s Remaining CPU time: 1797.13 s 2.78/2.89 c ============================[ Search Statistics ]============================== 2.78/2.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.89 c =============================================================================== 2.78/2.89 c | 0 | 968 18482 37074 | 6160 0 nan | 0.000 % | 2.78/2.89 c =============================================================================== 2.78/2.89 c core #239 2.78/2.89 c Core size: 18 Core Weight: 1 Total Weight: -211 2.78/2.89 c Elapsed CPU time: 2.88156 s Remaining CPU time: 1797.12 s 2.89/2.91 c ============================[ Search Statistics ]============================== 2.89/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.91 c =============================================================================== 2.89/2.91 c | 0 | 974 18483 37086 | 6161 0 nan | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c core #240 2.89/2.91 c Core size: 10 Core Weight: 1 Total Weight: -210 2.89/2.91 c Elapsed CPU time: 2.89756 s Remaining CPU time: 1797.1 s 2.89/2.92 c ============================[ Search Statistics ]============================== 2.89/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.92 c =============================================================================== 2.89/2.92 c | 0 | 978 18484 37094 | 6161 0 nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c core #241 2.89/2.92 c Core size: 35 Core Weight: 1 Total Weight: -209 2.89/2.92 c Elapsed CPU time: 2.91356 s Remaining CPU time: 1797.09 s 2.89/2.94 c ============================[ Search Statistics ]============================== 2.89/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.94 c =============================================================================== 2.89/2.94 c | 0 | 992 18485 37122 | 6161 0 nan | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c core #242 2.89/2.94 c Core size: 10 Core Weight: 1 Total Weight: -208 2.89/2.94 c Elapsed CPU time: 2.92955 s Remaining CPU time: 1797.07 s 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 996 18486 37130 | 6162 0 nan | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c core #243 2.89/2.95 c Core size: 27 Core Weight: 1 Total Weight: -207 2.89/2.95 c Elapsed CPU time: 2.94555 s Remaining CPU time: 1797.05 s 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 1008 18487 37154 | 6162 0 nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c core #244 2.89/2.97 c Core size: 10 Core Weight: 1 Total Weight: -206 2.89/2.97 c Elapsed CPU time: 2.96155 s Remaining CPU time: 1797.04 s 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 1012 18488 37162 | 6162 0 nan | 0.000 % | 2.89/2.99 c =============================================================================== 2.89/2.99 c core #245 2.89/2.99 c Core size: 13 Core Weight: 1 Total Weight: -205 2.89/2.99 c Elapsed CPU time: 2.97655 s Remaining CPU time: 1797.02 s 2.99/3.00 c ============================[ Search Statistics ]============================== 2.99/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.00 c =============================================================================== 2.99/3.00 c | 0 | 1018 18489 37174 | 6163 0 nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.00 c core #246 2.99/3.00 c Core size: 13 Core Weight: 1 Total Weight: -204 2.99/3.00 c Elapsed CPU time: 2.99254 s Remaining CPU time: 1797.01 s 2.99/3.02 c ============================[ Search Statistics ]============================== 2.99/3.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.02 c =============================================================================== 2.99/3.02 c | 0 | 1024 18490 37186 | 6163 0 nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c core #247 2.99/3.02 c Core size: 13 Core Weight: 1 Total Weight: -203 2.99/3.02 c Elapsed CPU time: 3.00854 s Remaining CPU time: 1796.99 s 2.99/3.03 c ============================[ Search Statistics ]============================== 2.99/3.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.03 c =============================================================================== 2.99/3.03 c | 0 | 1030 18491 37198 | 6163 0 nan | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c core #248 2.99/3.03 c Core size: 24 Core Weight: 1 Total Weight: -202 2.99/3.03 c Elapsed CPU time: 3.02454 s Remaining CPU time: 1796.98 s 2.99/3.05 c ============================[ Search Statistics ]============================== 2.99/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.05 c =============================================================================== 2.99/3.05 c | 0 | 1040 18492 37218 | 6164 0 nan | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c core #249 2.99/3.05 c Core size: 13 Core Weight: 1 Total Weight: -201 2.99/3.05 c Elapsed CPU time: 3.04054 s Remaining CPU time: 1796.96 s 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 1046 18493 37230 | 6164 0 nan | 0.000 % | 2.99/3.06 c =============================================================================== 2.99/3.06 c core #250 2.99/3.06 c Core size: 13 Core Weight: 1 Total Weight: -200 2.99/3.06 c Elapsed CPU time: 3.05553 s Remaining CPU time: 1796.94 s 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 1052 18494 37242 | 6164 0 nan | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c core #251 2.99/3.08 c Core size: 13 Core Weight: 1 Total Weight: -199 2.99/3.08 c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s 2.99/3.10 c ============================[ Search Statistics ]============================== 2.99/3.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.10 c =============================================================================== 2.99/3.10 c | 0 | 1058 18495 37254 | 6165 0 nan | 0.000 % | 3.09/3.10 c =============================================================================== 3.09/3.10 c core #252 3.09/3.10 c Core size: 10 Core Weight: 1 Total Weight: -198 3.09/3.10 c Elapsed CPU time: 3.08753 s Remaining CPU time: 1796.91 s 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 1062 18496 37262 | 6165 0 nan | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c core #253 3.09/3.11 c Core size: 10 Core Weight: 1 Total Weight: -197 3.09/3.11 c Elapsed CPU time: 3.10353 s Remaining CPU time: 1796.9 s 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 1066 18497 37270 | 6165 0 nan | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.13 c core #254 3.09/3.13 c Core size: 10 Core Weight: 1 Total Weight: -196 3.09/3.13 c Elapsed CPU time: 3.11952 s Remaining CPU time: 1796.88 s 3.09/3.14 c ============================[ Search Statistics ]============================== 3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.14 c =============================================================================== 3.09/3.14 c | 0 | 1070 18498 37278 | 6166 0 nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c core #255 3.09/3.15 c Core size: 10 Core Weight: 1 Total Weight: -195 3.09/3.15 c Elapsed CPU time: 3.13552 s Remaining CPU time: 1796.86 s 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 1074 18499 37286 | 6166 0 nan | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c core #256 3.09/3.16 c Core size: 27 Core Weight: 1 Total Weight: -194 3.09/3.16 c Elapsed CPU time: 3.15152 s Remaining CPU time: 1796.85 s 3.09/3.18 c ============================[ Search Statistics ]============================== 3.09/3.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.18 c =============================================================================== 3.09/3.18 c | 0 | 1086 18500 37310 | 6166 0 nan | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c core #257 3.09/3.18 c Core size: 24 Core Weight: 1 Total Weight: -193 3.09/3.18 c Elapsed CPU time: 3.16952 s Remaining CPU time: 1796.83 s 3.09/3.20 c ============================[ Search Statistics ]============================== 3.09/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.20 c =============================================================================== 3.09/3.20 c | 0 | 1096 18501 37330 | 6167 0 nan | 0.000 % | 3.09/3.20 c =============================================================================== 3.09/3.20 c core #258 3.09/3.20 c Core size: 10 Core Weight: 1 Total Weight: -192 3.09/3.20 c Elapsed CPU time: 3.18651 s Remaining CPU time: 1796.81 s 3.20/3.21 c ============================[ Search Statistics ]============================== 3.20/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.21 c =============================================================================== 3.20/3.21 c | 0 | 1100 18502 37338 | 6167 0 nan | 0.000 % | 3.20/3.21 c =============================================================================== 3.20/3.21 c core #259 3.20/3.21 c Core size: 10 Core Weight: 1 Total Weight: -191 3.20/3.21 c Elapsed CPU time: 3.20351 s Remaining CPU time: 1796.8 s 3.20/3.23 c ============================[ Search Statistics ]============================== 3.20/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.23 c =============================================================================== 3.20/3.23 c | 0 | 1104 18503 37346 | 6167 0 nan | 0.000 % | 3.20/3.23 c =============================================================================== 3.20/3.23 c core #260 3.20/3.23 c Core size: 29 Core Weight: 1 Total Weight: -190 3.20/3.23 c Elapsed CPU time: 3.22051 s Remaining CPU time: 1796.78 s 3.20/3.25 c ============================[ Search Statistics ]============================== 3.20/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.25 c =============================================================================== 3.20/3.25 c | 0 | 1114 18504 37366 | 6168 0 nan | 0.000 % | 3.20/3.25 c =============================================================================== 3.20/3.25 c core #261 3.20/3.25 c Core size: 13 Core Weight: 1 Total Weight: -189 3.20/3.25 c Elapsed CPU time: 3.23851 s Remaining CPU time: 1796.76 s 3.20/3.26 c ============================[ Search Statistics ]============================== 3.20/3.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.26 c =============================================================================== 3.20/3.26 c | 0 | 1120 18505 37378 | 6168 0 nan | 0.000 % | 3.20/3.26 c =============================================================================== 3.20/3.26 c core #262 3.20/3.26 c Core size: 13 Core Weight: 1 Total Weight: -188 3.20/3.26 c Elapsed CPU time: 3.2545 s Remaining CPU time: 1796.75 s 3.20/3.28 c ============================[ Search Statistics ]============================== 3.20/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.28 c =============================================================================== 3.20/3.28 c | 0 | 1126 18506 37390 | 6168 0 nan | 0.000 % | 3.20/3.28 c =============================================================================== 3.20/3.28 c core #263 3.20/3.28 c Core size: 13 Core Weight: 1 Total Weight: -187 3.20/3.28 c Elapsed CPU time: 3.2715 s Remaining CPU time: 1796.73 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 | 1132 18507 37402 | 6169 0 nan | 0.000 % | 3.20/3.30 c =============================================================================== 3.20/3.30 c core #264 3.20/3.30 c Core size: 13 Core Weight: 1 Total Weight: -186 3.20/3.30 c Elapsed CPU time: 3.2895 s Remaining CPU time: 1796.71 s 3.30/3.32 c ============================[ Search Statistics ]============================== 3.30/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.32 c =============================================================================== 3.30/3.32 c | 0 | 1138 18508 37414 | 6169 0 nan | 0.000 % | 3.30/3.32 c =============================================================================== 3.30/3.32 c core #265 3.30/3.32 c Core size: 27 Core Weight: 1 Total Weight: -185 3.30/3.32 c Elapsed CPU time: 3.3075 s Remaining CPU time: 1796.69 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 | 1150 18509 37438 | 6169 0 nan | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c core #266 3.30/3.33 c Core size: 13 Core Weight: 1 Total Weight: -184 3.30/3.33 c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s 3.30/3.35 c ============================[ Search Statistics ]============================== 3.30/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.35 c =============================================================================== 3.30/3.35 c | 0 | 1156 18510 37450 | 6170 0 nan | 0.000 % | 3.30/3.35 c =============================================================================== 3.30/3.35 c core #267 3.30/3.35 c Core size: 27 Core Weight: 1 Total Weight: -183 3.30/3.35 c Elapsed CPU time: 3.34149 s Remaining CPU time: 1796.66 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 | 1168 18511 37474 | 6170 0 nan | 0.000 % | 3.30/3.37 c =============================================================================== 3.30/3.37 c core #268 3.30/3.37 c Core size: 13 Core Weight: 1 Total Weight: -182 3.30/3.37 c Elapsed CPU time: 3.35949 s Remaining CPU time: 1796.64 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 | 1174 18512 37486 | 6170 0 nan | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c core #269 3.30/3.39 c Core size: 13 Core Weight: 1 Total Weight: -181 3.30/3.39 c Elapsed CPU time: 3.37649 s Remaining CPU time: 1796.62 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 | 1180 18513 37498 | 6171 0 nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c core #270 3.39/3.41 c Core size: 13 Core Weight: 1 Total Weight: -180 3.39/3.41 c Elapsed CPU time: 3.39348 s Remaining CPU time: 1796.61 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 | 1186 18514 37510 | 6171 0 nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c core #271 3.39/3.42 c Core size: 13 Core Weight: 1 Total Weight: -179 3.39/3.42 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 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 | 1192 18515 37522 | 6171 0 nan | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c core #272 3.39/3.44 c Core size: 13 Core Weight: 1 Total Weight: -178 3.39/3.44 c Elapsed CPU time: 3.42748 s Remaining CPU time: 1796.57 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 | 1198 18516 37534 | 6172 0 nan | 0.000 % | 3.39/3.46 c =============================================================================== 3.39/3.46 c core #273 3.39/3.46 c Core size: 13 Core Weight: 1 Total Weight: -177 3.39/3.46 c Elapsed CPU time: 3.44448 s Remaining CPU time: 1796.56 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 | 1204 18517 37546 | 6172 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #274 3.39/3.48 c Core size: 10 Core Weight: 1 Total Weight: -176 3.39/3.48 c Elapsed CPU time: 3.46347 s Remaining CPU time: 1796.54 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 | 1208 18518 37554 | 6172 0 nan | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c core #275 3.39/3.49 c Core size: 27 Core Weight: 1 Total Weight: -175 3.39/3.49 c Elapsed CPU time: 3.48147 s Remaining CPU time: 1796.52 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 | 1220 18519 37578 | 6173 0 nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c core #276 3.49/3.51 c Core size: 10 Core Weight: 1 Total Weight: -174 3.49/3.51 c Elapsed CPU time: 3.49947 s Remaining CPU time: 1796.5 s 3.49/3.53 c ============================[ Search Statistics ]============================== 3.49/3.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.53 c =============================================================================== 3.49/3.53 c | 0 | 1224 18520 37586 | 6173 0 nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c core #277 3.49/3.53 c Core size: 13 Core Weight: 1 Total Weight: -173 3.49/3.53 c Elapsed CPU time: 3.51647 s Remaining CPU time: 1796.48 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 | 1230 18521 37598 | 6173 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #278 3.49/3.55 c Core size: 13 Core Weight: 1 Total Weight: -172 3.49/3.55 c Elapsed CPU time: 3.53446 s Remaining CPU time: 1796.47 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 | 1236 18522 37610 | 6174 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #279 3.49/3.57 c Core size: 13 Core Weight: 1 Total Weight: -171 3.49/3.57 c Elapsed CPU time: 3.55246 s Remaining CPU time: 1796.45 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 | 1242 18523 37622 | 6174 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #280 3.49/3.58 c Core size: 13 Core Weight: 1 Total Weight: -170 3.49/3.58 c Elapsed CPU time: 3.57046 s Remaining CPU time: 1796.43 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 | 1248 18524 37634 | 6174 0 nan | 0.000 % | 3.59/3.60 c =============================================================================== 3.59/3.60 c core #281 3.59/3.60 c Core size: 13 Core Weight: 1 Total Weight: -169 3.59/3.60 c Elapsed CPU time: 3.58845 s Remaining CPU time: 1796.41 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 | 1254 18525 37646 | 6175 0 nan | 0.000 % | 3.59/3.62 c =============================================================================== 3.59/3.62 c core #282 3.59/3.62 c Core size: 10 Core Weight: 1 Total Weight: -168 3.59/3.62 c Elapsed CPU time: 3.60545 s Remaining CPU time: 1796.39 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 | 1258 18526 37654 | 6175 0 nan | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c core #283 3.59/3.64 c Core size: 24 Core Weight: 1 Total Weight: -167 3.59/3.64 c Elapsed CPU time: 3.62445 s Remaining CPU time: 1796.38 s 3.59/3.65 c ============================[ Search Statistics ]============================== 3.59/3.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.65 c =============================================================================== 3.59/3.65 c | 0 | 1268 18527 37674 | 6175 0 nan | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c core #284 3.59/3.66 c Core size: 38 Core Weight: 1 Total Weight: -166 3.59/3.66 c Elapsed CPU time: 3.64345 s Remaining CPU time: 1796.36 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 | 1284 18528 37706 | 6176 0 nan | 0.000 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c core #285 3.59/3.67 c Core size: 13 Core Weight: 1 Total Weight: -165 3.59/3.67 c Elapsed CPU time: 3.66144 s Remaining CPU time: 1796.34 s 3.59/3.69 c ============================[ Search Statistics ]============================== 3.59/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.69 c =============================================================================== 3.59/3.69 c | 0 | 1290 18529 37718 | 6176 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #286 3.59/3.69 c Core size: 32 Core Weight: 1 Total Weight: -164 3.59/3.69 c Elapsed CPU time: 3.67944 s Remaining CPU time: 1796.32 s 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 1304 18530 37746 | 6176 0 nan | 0.000 % | 3.69/3.71 c =============================================================================== 3.69/3.71 c core #287 3.69/3.71 c Core size: 13 Core Weight: 1 Total Weight: -163 3.69/3.71 c Elapsed CPU time: 3.69844 s Remaining CPU time: 1796.3 s 3.69/3.73 c ============================[ Search Statistics ]============================== 3.69/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.73 c =============================================================================== 3.69/3.73 c | 0 | 1310 18531 37758 | 6177 0 nan | 0.000 % | 3.69/3.73 c =============================================================================== 3.69/3.73 c core #288 3.69/3.73 c Core size: 13 Core Weight: 1 Total Weight: -162 3.69/3.73 c Elapsed CPU time: 3.71544 s Remaining CPU time: 1796.28 s 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 1316 18532 37770 | 6177 0 nan | 0.000 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c core #289 3.69/3.75 c Core size: 13 Core Weight: 1 Total Weight: -161 3.69/3.75 c Elapsed CPU time: 3.73443 s Remaining CPU time: 1796.27 s 3.69/3.77 c ============================[ Search Statistics ]============================== 3.69/3.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.77 c =============================================================================== 3.69/3.77 c | 0 | 1322 18533 37782 | 6177 0 nan | 0.000 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c core #290 3.69/3.77 c Core size: 10 Core Weight: 1 Total Weight: -160 3.69/3.77 c Elapsed CPU time: 3.75143 s Remaining CPU time: 1796.25 s 3.69/3.78 c ============================[ Search Statistics ]============================== 3.69/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.78 c =============================================================================== 3.69/3.78 c | 0 | 1326 18534 37790 | 6178 0 nan | 0.000 % | 3.69/3.79 c =============================================================================== 3.69/3.79 c core #291 3.69/3.79 c Core size: 10 Core Weight: 1 Total Weight: -159 3.69/3.79 c Elapsed CPU time: 3.76943 s Remaining CPU time: 1796.23 s 3.79/3.80 c ============================[ Search Statistics ]============================== 3.79/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.80 c =============================================================================== 3.79/3.80 c | 0 | 1330 18535 37798 | 6178 0 nan | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c core #292 3.79/3.80 c Core size: 36 Core Weight: 1 Total Weight: -158 3.79/3.80 c Elapsed CPU time: 3.78742 s Remaining CPU time: 1796.21 s 3.79/3.82 c ============================[ Search Statistics ]============================== 3.79/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.82 c =============================================================================== 3.79/3.82 c | 0 | 1346 18536 37830 | 6178 0 nan | 0.000 % | 3.79/3.82 c =============================================================================== 3.79/3.82 c core #293 3.79/3.82 c Core size: 29 Core Weight: 1 Total Weight: -157 3.79/3.82 c Elapsed CPU time: 3.80742 s Remaining CPU time: 1796.19 s 3.79/3.84 c ============================[ Search Statistics ]============================== 3.79/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.84 c =============================================================================== 3.79/3.84 c | 0 | 1358 18537 37854 | 6179 0 nan | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c core #294 3.79/3.84 c Core size: 10 Core Weight: 1 Total Weight: -156 3.79/3.84 c Elapsed CPU time: 3.82542 s Remaining CPU time: 1796.17 s 3.79/3.86 c ============================[ Search Statistics ]============================== 3.79/3.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.86 c =============================================================================== 3.79/3.86 c | 0 | 1362 18538 37862 | 6179 0 nan | 0.000 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c core #295 3.79/3.86 c Core size: 28 Core Weight: 1 Total Weight: -155 3.79/3.86 c Elapsed CPU time: 3.84442 s Remaining CPU time: 1796.16 s 3.79/3.88 c ============================[ Search Statistics ]============================== 3.79/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.88 c =============================================================================== 3.79/3.88 c | 0 | 1374 18539 37886 | 6179 0 nan | 0.000 % | 3.79/3.88 c =============================================================================== 3.79/3.88 c core #296 3.79/3.88 c Core size: 13 Core Weight: 1 Total Weight: -154 3.79/3.88 c Elapsed CPU time: 3.86341 s Remaining CPU time: 1796.14 s 3.88/3.90 c ============================[ Search Statistics ]============================== 3.88/3.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.90 c =============================================================================== 3.88/3.90 c | 0 | 1380 18540 37898 | 6180 0 nan | 0.000 % | 3.88/3.90 c =============================================================================== 3.88/3.90 c core #297 3.88/3.90 c Core size: 13 Core Weight: 1 Total Weight: -153 3.88/3.90 c Elapsed CPU time: 3.88141 s Remaining CPU time: 1796.12 s 3.88/3.92 c ============================[ Search Statistics ]============================== 3.88/3.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.92 c =============================================================================== 3.88/3.92 c | 0 | 1386 18541 37910 | 6180 0 nan | 0.000 % | 3.88/3.92 c =============================================================================== 3.88/3.92 c core #298 3.88/3.92 c Core size: 13 Core Weight: 1 Total Weight: -152 3.88/3.92 c Elapsed CPU time: 3.90041 s Remaining CPU time: 1796.1 s 3.88/3.94 c ============================[ Search Statistics ]============================== 3.88/3.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.94 c =============================================================================== 3.88/3.94 c | 0 | 1392 18542 37922 | 6180 0 nan | 0.000 % | 3.88/3.94 c =============================================================================== 3.88/3.94 c core #299 3.88/3.94 c Core size: 10 Core Weight: 1 Total Weight: -151 3.88/3.94 c Elapsed CPU time: 3.9204 s Remaining CPU time: 1796.08 s 3.88/3.96 c ============================[ Search Statistics ]============================== 3.88/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.96 c =============================================================================== 3.88/3.96 c | 0 | 1396 18543 37930 | 6181 0 nan | 0.000 % | 3.88/3.96 c =============================================================================== 3.88/3.96 c core #300 3.88/3.96 c Core size: 13 Core Weight: 1 Total Weight: -150 3.88/3.96 c Elapsed CPU time: 3.9404 s Remaining CPU time: 1796.06 s 3.88/3.98 c ============================[ Search Statistics ]============================== 3.88/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.98 c =============================================================================== 3.88/3.98 c | 0 | 1402 18544 37942 | 6181 0 nan | 0.000 % | 3.88/3.98 c =============================================================================== 3.88/3.98 c core #301 3.88/3.98 c Core size: 13 Core Weight: 1 Total Weight: -149 3.88/3.98 c Elapsed CPU time: 3.9594 s Remaining CPU time: 1796.04 s 3.99/4.00 c ============================[ Search Statistics ]============================== 3.99/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.00 c =============================================================================== 3.99/4.00 c | 0 | 1408 18545 37954 | 6181 0 nan | 0.000 % | 3.99/4.00 c =============================================================================== 3.99/4.00 c core #302 3.99/4.00 c Core size: 10 Core Weight: 1 Total Weight: -148 3.99/4.00 c Elapsed CPU time: 3.9794 s Remaining CPU time: 1796.02 s 3.99/4.02 c ============================[ Search Statistics ]============================== 3.99/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.02 c =============================================================================== 3.99/4.02 c | 0 | 1412 18546 37962 | 6182 0 nan | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c core #303 3.99/4.02 c Core size: 10 Core Weight: 1 Total Weight: -147 3.99/4.02 c Elapsed CPU time: 3.99939 s Remaining CPU time: 1796 s 3.99/4.04 c ============================[ Search Statistics ]============================== 3.99/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.04 c =============================================================================== 3.99/4.04 c | 0 | 1416 18547 37970 | 6182 0 nan | 0.000 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c core #304 3.99/4.04 c Core size: 10 Core Weight: 1 Total Weight: -146 3.99/4.04 c Elapsed CPU time: 4.01739 s Remaining CPU time: 1795.98 s 3.99/4.06 c ============================[ Search Statistics ]============================== 3.99/4.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.06 c =============================================================================== 3.99/4.06 c | 0 | 1420 18548 37978 | 6182 0 nan | 0.000 % | 3.99/4.06 c =============================================================================== 3.99/4.06 c core #305 3.99/4.06 c Core size: 26 Core Weight: 1 Total Weight: -145 3.99/4.06 c Elapsed CPU time: 4.03739 s Remaining CPU time: 1795.96 s 3.99/4.07 c ============================[ Search Statistics ]============================== 3.99/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.07 c =============================================================================== 3.99/4.07 c | 0 | 1430 18549 37998 | 6183 0 nan | 0.000 % | 3.99/4.08 c =============================================================================== 3.99/4.08 c core #306 3.99/4.08 c Core size: 10 Core Weight: 1 Total Weight: -144 3.99/4.08 c Elapsed CPU time: 4.05638 s Remaining CPU time: 1795.94 s 3.99/4.10 c ============================[ Search Statistics ]============================== 3.99/4.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.10 c =============================================================================== 3.99/4.10 c | 0 | 1434 18550 38006 | 6183 0 nan | 0.000 % | 4.09/4.10 c =============================================================================== 4.09/4.10 c core #307 4.09/4.10 c Core size: 30 Core Weight: 1 Total Weight: -143 4.09/4.10 c Elapsed CPU time: 4.07738 s Remaining CPU time: 1795.92 s 4.09/4.12 c ============================[ Search Statistics ]============================== 4.09/4.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.12 c =============================================================================== 4.09/4.12 c | 0 | 1442 18551 38022 | 6183 0 nan | 0.000 % | 4.09/4.12 c =============================================================================== 4.09/4.12 c core #308 4.09/4.12 c Core size: 49 Core Weight: 1 Total Weight: -142 4.09/4.12 c Elapsed CPU time: 4.09838 s Remaining CPU time: 1795.9 s 4.09/4.14 c ============================[ Search Statistics ]============================== 4.09/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.14 c =============================================================================== 4.09/4.14 c | 0 | 1456 18552 38050 | 6184 0 nan | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c core #309 4.09/4.14 c Core size: 53 Core Weight: 1 Total Weight: -141 4.09/4.14 c Elapsed CPU time: 4.11837 s Remaining CPU time: 1795.88 s 4.09/4.16 c ============================[ Search Statistics ]============================== 4.09/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.16 c =============================================================================== 4.09/4.16 c | 0 | 1470 18553 38078 | 6184 0 nan | 0.000 % | 4.09/4.16 c | 102 | 1469 18553 38078 | 6802 102 9 | 0.069 % | 4.09/4.16 c =============================================================================== 4.09/4.16 c core #310 4.09/4.16 c Core size: 91 Core Weight: 1 Total Weight: -140 4.09/4.16 c Elapsed CPU time: 4.14237 s Remaining CPU time: 1795.86 s 4.09/4.18 c ============================[ Search Statistics ]============================== 4.09/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.18 c =============================================================================== 4.09/4.18 c | 0 | 1490 18554 38118 | 6184 0 nan | 0.000 % | 4.09/4.19 c =============================================================================== 4.09/4.19 c core #311 4.09/4.19 c Core size: 89 Core Weight: 1 Total Weight: -139 4.09/4.19 c Elapsed CPU time: 4.16637 s Remaining CPU time: 1795.83 s 4.19/4.21 c ============================[ Search Statistics ]============================== 4.19/4.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.21 c =============================================================================== 4.19/4.21 c | 0 | 1516 18555 38170 | 6185 0 nan | 0.000 % | 4.19/4.21 c | 100 | 1516 18555 38170 | 6803 100 12 | 0.000 % | 4.19/4.22 c =============================================================================== 4.19/4.22 c core #312 4.19/4.22 c Core size: 153 Core Weight: 1 Total Weight: -138 4.19/4.22 c Elapsed CPU time: 4.19336 s Remaining CPU time: 1795.81 s 4.19/4.24 c ============================[ Search Statistics ]============================== 4.19/4.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.24 c =============================================================================== 4.19/4.24 c | 0 | 1552 18556 38242 | 6185 0 nan | 0.000 % | 4.19/4.24 c =============================================================================== 4.19/4.24 c core #313 4.19/4.24 c Core size: 24 Core Weight: 1 Total Weight: -137 4.19/4.24 c Elapsed CPU time: 4.21636 s Remaining CPU time: 1795.78 s 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 1560 18557 38258 | 6185 0 nan | 0.000 % | 4.19/4.26 c =============================================================================== 4.19/4.26 c core #314 4.19/4.26 c Core size: 42 Core Weight: 1 Total Weight: -136 4.19/4.26 c Elapsed CPU time: 4.23935 s Remaining CPU time: 1795.76 s 4.19/4.28 c ============================[ Search Statistics ]============================== 4.19/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.28 c =============================================================================== 4.19/4.28 c | 0 | 1572 18558 38282 | 6186 0 nan | 0.000 % | 4.19/4.29 c | 101 | 1572 18558 38282 | 6804 101 17 | 0.000 % | 4.19/4.29 c =============================================================================== 4.19/4.29 c core #315 4.19/4.29 c Core size: 22 Core Weight: 1 Total Weight: -135 4.19/4.29 c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s 4.29/4.31 c ============================[ Search Statistics ]============================== 4.29/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.31 c =============================================================================== 4.29/4.31 c | 0 | 1578 18559 38294 | 6186 0 nan | 0.000 % | 4.29/4.31 c | 100 | 1578 18559 38294 | 6804 100 19 | 0.000 % | 4.29/4.32 c | 253 | 1578 18559 38294 | 7485 253 18 | 0.000 % | 4.29/4.32 c =============================================================================== 4.29/4.33 c core #316 4.29/4.33 c Core size: 151 Core Weight: 1 Total Weight: -134 4.29/4.33 c Elapsed CPU time: 4.30135 s Remaining CPU time: 1795.7 s 4.29/4.35 c ============================[ Search Statistics ]============================== 4.29/4.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.35 c =============================================================================== 4.29/4.35 c | 0 | 1616 18560 38370 | 6186 0 nan | 0.000 % | 4.29/4.35 c | 103 | 1616 18560 38370 | 6805 103 15 | 0.000 % | 4.29/4.35 c =============================================================================== 4.29/4.35 c core #317 4.29/4.35 c Core size: 62 Core Weight: 1 Total Weight: -133 4.29/4.35 c Elapsed CPU time: 4.32934 s Remaining CPU time: 1795.67 s 4.29/4.37 c ============================[ Search Statistics ]============================== 4.29/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.37 c =============================================================================== 4.29/4.37 c | 0 | 1634 18561 38406 | 6187 0 nan | 0.000 % | 4.29/4.38 c | 100 | 1634 18561 38406 | 6805 100 8 | 0.000 % | 4.29/4.38 c =============================================================================== 4.29/4.38 c core #318 4.29/4.38 c Core size: 80 Core Weight: 1 Total Weight: -132 4.29/4.38 c Elapsed CPU time: 4.35334 s Remaining CPU time: 1795.65 s 4.29/4.40 c ============================[ Search Statistics ]============================== 4.29/4.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.40 c =============================================================================== 4.29/4.40 c | 0 | 1660 18562 38458 | 6187 0 nan | 0.000 % | 4.39/4.40 c | 101 | 1659 18562 38458 | 6806 101 12 | 0.060 % | 4.39/4.40 c =============================================================================== 4.39/4.41 c core #319 4.39/4.41 c Core size: 56 Core Weight: 1 Total Weight: -131 4.39/4.41 c Elapsed CPU time: 4.38033 s Remaining CPU time: 1795.62 s 4.39/4.42 c ============================[ Search Statistics ]============================== 4.39/4.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.42 c =============================================================================== 4.39/4.42 c | 0 | 1676 18563 38490 | 6187 0 nan | 0.000 % | 4.39/4.43 c =============================================================================== 4.39/4.43 c core #320 4.39/4.43 c Core size: 45 Core Weight: 1 Total Weight: -130 4.39/4.43 c Elapsed CPU time: 4.40333 s Remaining CPU time: 1795.6 s 4.39/4.45 c ============================[ Search Statistics ]============================== 4.39/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.45 c =============================================================================== 4.39/4.45 c | 0 | 1692 18564 38522 | 6188 0 nan | 0.000 % | 4.39/4.45 c =============================================================================== 4.39/4.45 c core #321 4.39/4.45 c Core size: 57 Core Weight: 1 Total Weight: -129 4.39/4.45 c Elapsed CPU time: 4.42833 s Remaining CPU time: 1795.57 s 4.39/4.47 c ============================[ Search Statistics ]============================== 4.39/4.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.47 c =============================================================================== 4.39/4.47 c | 0 | 1708 18565 38554 | 6188 0 nan | 0.000 % | 4.39/4.47 c =============================================================================== 4.39/4.47 c core #322 4.39/4.47 c Core size: 35 Core Weight: 1 Total Weight: -128 4.39/4.47 c Elapsed CPU time: 4.44932 s Remaining CPU time: 1795.55 s 4.39/4.49 c ============================[ Search Statistics ]============================== 4.39/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.49 c =============================================================================== 4.39/4.49 c | 0 | 1718 18566 38574 | 6188 0 nan | 0.000 % | 4.49/4.50 c =============================================================================== 4.49/4.50 c core #323 4.49/4.50 c Core size: 65 Core Weight: 1 Total Weight: -127 4.49/4.50 c Elapsed CPU time: 4.47332 s Remaining CPU time: 1795.53 s 4.49/4.52 c ============================[ Search Statistics ]============================== 4.49/4.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.52 c =============================================================================== 4.49/4.52 c | 0 | 1736 18567 38610 | 6189 0 nan | 0.000 % | 4.49/4.52 c =============================================================================== 4.49/4.52 c core #324 4.49/4.52 c Core size: 61 Core Weight: 1 Total Weight: -126 4.49/4.52 c Elapsed CPU time: 4.49732 s Remaining CPU time: 1795.5 s 4.49/4.54 c ============================[ Search Statistics ]============================== 4.49/4.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.54 c =============================================================================== 4.49/4.54 c | 0 | 1754 18568 38646 | 6189 0 nan | 0.000 % | 4.49/4.55 c =============================================================================== 4.49/4.55 c core #325 4.49/4.55 c Core size: 62 Core Weight: 1 Total Weight: -125 4.49/4.55 c Elapsed CPU time: 4.52031 s Remaining CPU time: 1795.48 s 4.49/4.57 c ============================[ Search Statistics ]============================== 4.49/4.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.57 c =============================================================================== 4.49/4.57 c | 0 | 1774 18569 38686 | 6189 0 nan | 0.000 % | 4.49/4.57 c | 100 | 1774 18569 38686 | 6808 100 17 | 0.000 % | 4.49/4.58 c | 250 | 1774 18569 38686 | 7489 250 11 | 0.064 % | 4.49/4.58 c =============================================================================== 4.49/4.58 c core #326 4.49/4.58 c Core size: 122 Core Weight: 1 Total Weight: -124 4.49/4.58 c Elapsed CPU time: 4.55231 s Remaining CPU time: 1795.45 s 4.59/4.60 c ============================[ Search Statistics ]============================== 4.59/4.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.60 c =============================================================================== 4.59/4.60 c | 0 | 1804 18570 38746 | 6190 0 nan | 0.000 % | 4.59/4.61 c | 102 | 1804 18570 38746 | 6809 102 18 | 0.000 % | 4.59/4.61 c | 253 | 1803 18570 38746 | 7489 253 20 | 0.055 % | 4.59/4.63 c | 479 | 1790 18570 38746 | 8238 479 22 | 0.887 % | 4.59/4.64 c =============================================================================== 4.59/4.64 c core #327 4.59/4.64 c Core size: 173 Core Weight: 1 Total Weight: -123 4.59/4.64 c Elapsed CPU time: 4.6123 s Remaining CPU time: 1795.39 s 4.59/4.66 c ============================[ Search Statistics ]============================== 4.59/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.66 c =============================================================================== 4.59/4.66 c | 0 | 1846 18571 38830 | 6190 0 nan | 0.000 % | 4.59/4.67 c | 100 | 1846 18571 38830 | 6809 100 20 | 0.000 % | 4.59/4.67 c | 252 | 1846 18571 38830 | 7490 252 13 | 0.000 % | 4.59/4.68 c =============================================================================== 4.59/4.68 c core #328 4.59/4.68 c Core size: 137 Core Weight: 1 Total Weight: -122 4.59/4.68 c Elapsed CPU time: 4.64529 s Remaining CPU time: 1795.35 s 4.69/4.70 c ============================[ Search Statistics ]============================== 4.69/4.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.70 c =============================================================================== 4.69/4.70 c | 0 | 1882 18572 38902 | 6190 0 nan | 0.000 % | 4.69/4.71 c | 100 | 1882 18572 38902 | 6809 100 16 | 0.000 % | 4.69/4.71 c | 252 | 1880 18572 38902 | 7490 252 15 | 0.106 % | 4.69/4.73 c | 479 | 1873 18572 38902 | 8239 472 15 | 0.478 % | 4.69/4.73 c =============================================================================== 4.69/4.73 c core #329 4.69/4.73 c Core size: 260 Core Weight: 1 Total Weight: -121 4.69/4.73 c Elapsed CPU time: 4.69429 s Remaining CPU time: 1795.31 s 4.69/4.75 c ============================[ Search Statistics ]============================== 4.69/4.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.75 c =============================================================================== 4.69/4.75 c | 0 | 1940 18573 39018 | 6191 0 nan | 0.000 % | 4.69/4.76 c | 101 | 1940 18573 39018 | 6810 101 15 | 0.000 % | 4.69/4.76 c =============================================================================== 4.69/4.76 c core #330 4.69/4.76 c Core size: 97 Core Weight: 1 Total Weight: -120 4.69/4.76 c Elapsed CPU time: 4.72728 s Remaining CPU time: 1795.27 s 4.69/4.78 c ============================[ Search Statistics ]============================== 4.69/4.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.78 c =============================================================================== 4.69/4.78 c | 0 | 1966 18574 39070 | 6191 0 nan | 0.000 % | 4.69/4.79 c | 101 | 1966 18574 39070 | 6810 101 11 | 0.000 % | 4.69/4.80 c | 253 | 1962 18574 39070 | 7491 253 12 | 0.203 % | 4.79/4.81 c | 478 | 1958 18574 39070 | 8240 478 17 | 0.407 % | 4.79/4.82 c =============================================================================== 4.79/4.82 c core #331 4.79/4.82 c Core size: 277 Core Weight: 1 Total Weight: -119 4.79/4.82 c Elapsed CPU time: 4.78027 s Remaining CPU time: 1795.22 s 4.79/4.84 c ============================[ Search Statistics ]============================== 4.79/4.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.84 c =============================================================================== 4.79/4.84 c | 0 | 2026 18575 39190 | 6191 0 nan | 0.000 % | 4.79/4.85 c | 101 | 2026 18575 39190 | 6810 101 13 | 0.000 % | 4.79/4.85 c | 253 | 2019 18575 39190 | 7491 253 11 | 0.346 % | 4.79/4.85 c =============================================================================== 4.79/4.85 c core #332 4.79/4.85 c Core size: 150 Core Weight: 1 Total Weight: -118 4.79/4.85 c Elapsed CPU time: 4.81427 s Remaining CPU time: 1795.19 s 4.79/4.87 c ============================[ Search Statistics ]============================== 4.79/4.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.87 c =============================================================================== 4.79/4.87 c | 0 | 2068 18576 39274 | 6192 0 nan | 0.000 % | 4.79/4.88 c | 100 | 2068 18576 39274 | 6811 100 13 | 0.000 % | 4.79/4.89 c =============================================================================== 4.79/4.89 c core #333 4.79/4.89 c Core size: 61 Core Weight: 1 Total Weight: -117 4.79/4.89 c Elapsed CPU time: 4.84526 s Remaining CPU time: 1795.15 s 4.89/4.91 c ============================[ Search Statistics ]============================== 4.89/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.91 c =============================================================================== 4.89/4.91 c | 0 | 2086 18577 39310 | 6192 0 nan | 0.000 % | 4.89/4.91 c | 100 | 2086 18577 39310 | 6811 100 14 | 0.000 % | 4.89/4.92 c | 253 | 2084 18577 39310 | 7492 253 14 | 0.096 % | 4.89/4.93 c | 478 | 2083 18577 39310 | 8241 478 14 | 0.144 % | 4.89/4.94 c =============================================================================== 4.89/4.94 c core #334 4.89/4.94 c Core size: 209 Core Weight: 1 Total Weight: -116 4.89/4.94 c Elapsed CPU time: 4.89626 s Remaining CPU time: 1795.1 s 4.89/4.96 c ============================[ Search Statistics ]============================== 4.89/4.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.96 c =============================================================================== 4.89/4.96 c | 0 | 2132 18578 39402 | 6192 0 nan | 0.000 % | 4.89/4.97 c | 101 | 2131 18578 39402 | 6811 101 9 | 0.047 % | 4.89/4.97 c =============================================================================== 4.89/4.97 c core #335 4.89/4.97 c Core size: 127 Core Weight: 1 Total Weight: -115 4.89/4.97 c Elapsed CPU time: 4.93025 s Remaining CPU time: 1795.07 s 4.89/4.99 c ============================[ Search Statistics ]============================== 4.89/4.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.99 c =============================================================================== 4.89/4.99 c | 0 | 2170 18579 39478 | 6193 0 nan | 0.000 % | 4.99/5.00 c | 103 | 2170 18579 39478 | 6812 103 9 | 0.000 % | 4.99/5.01 c | 255 | 2165 18579 39478 | 7493 255 9 | 3.548 % | 4.99/5.01 c =============================================================================== 4.99/5.01 c core #336 4.99/5.01 c Core size: 162 Core Weight: 1 Total Weight: -114 4.99/5.01 c Elapsed CPU time: 4.96225 s Remaining CPU time: 1795.04 s 4.99/5.03 c ============================[ Search Statistics ]============================== 4.99/5.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.03 c =============================================================================== 4.99/5.03 c | 0 | 2208 18580 39554 | 6193 0 nan | 0.000 % | 4.99/5.04 c | 100 | 2208 18580 39554 | 6812 100 20 | 0.000 % | 4.99/5.04 c | 252 | 2208 18580 39554 | 7493 252 16 | 0.000 % | 4.99/5.05 c =============================================================================== 4.99/5.05 c core #337 4.99/5.05 c Core size: 195 Core Weight: 1 Total Weight: -113 4.99/5.05 c Elapsed CPU time: 5.00324 s Remaining CPU time: 1795 s 4.99/5.07 c ============================[ Search Statistics ]============================== 4.99/5.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.07 c =============================================================================== 4.99/5.07 c | 0 | 2252 18581 39642 | 6193 0 nan | 0.000 % | 4.99/5.08 c | 101 | 2252 18581 39642 | 6813 101 12 | 0.000 % | 4.99/5.08 c | 251 | 2252 18581 39642 | 7494 251 12 | 0.000 % | 4.99/5.09 c | 479 | 2252 18581 39642 | 8243 479 15 | 0.000 % | 5.09/5.11 c | 820 | 2252 18581 39642 | 9068 820 18 | 0.000 % | 5.09/5.15 c | 1327 | 2251 18581 39642 | 9974 1319 24 | 0.044 % | 5.19/5.22 c | 2087 | 2249 18581 39642 | 10972 2078 27 | 0.133 % | 5.19/5.24 c =============================================================================== 5.19/5.25 c core #338 5.19/5.25 c Core size: 761 Core Weight: 1 Total Weight: -112 5.19/5.25 c Elapsed CPU time: 5.20321 s Remaining CPU time: 1794.8 s 5.19/5.28 c ============================[ Search Statistics ]============================== 5.19/5.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.19/5.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.19/5.28 c =============================================================================== 5.19/5.28 c | 0 | 2342 18582 39822 | 6194 0 nan | 0.000 % | 5.19/5.29 c | 100 | 2342 18582 39822 | 6813 100 13 | 0.000 % | 5.19/5.29 c | 251 | 2342 18582 39822 | 7494 251 15 | 0.000 % | 5.29/5.30 c | 476 | 2342 18582 39822 | 8244 476 15 | 0.000 % | 5.29/5.32 c | 816 | 2342 18582 39822 | 9068 816 19 | 0.000 % | 5.29/5.35 c | 1327 | 2342 18582 39822 | 9975 1327 22 | 0.000 % | 5.40/5.41 c | 2086 | 2342 18582 39822 | 10973 2086 25 | 0.000 % | 5.49/5.53 c | 3234 | 2342 18582 39822 | 12070 3234 29 | 0.000 % | 5.68/5.77 c | 4946 | 2342 18582 39822 | 13277 4946 32 | 0.000 % | 5.89/5.96 c =============================================================================== 5.99/6.02 c core #339 5.99/6.02 c Core size: 864 Core Weight: 1 Total Weight: -111 5.99/6.02 c Elapsed CPU time: 5.9441 s Remaining CPU time: 1794.06 s 5.99/6.05 c ============================[ Search Statistics ]============================== 5.99/6.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.99/6.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.99/6.05 c =============================================================================== 5.99/6.05 c | 0 | 2440 18583 40018 | 6194 0 nan | 0.000 % | 5.99/6.06 c | 100 | 2440 18583 40018 | 6813 100 13 | 0.000 % | 5.99/6.06 c | 253 | 2440 18583 40018 | 7495 253 16 | 0.000 % | 5.99/6.07 c | 478 | 2440 18583 40018 | 8244 478 17 | 0.000 % | 5.99/6.09 c | 817 | 2440 18583 40018 | 9069 817 20 | 0.000 % | 6.08/6.13 c | 1323 | 2440 18583 40018 | 9976 1323 22 | 0.000 % | 6.08/6.19 c | 2082 | 2440 18583 40018 | 10973 2082 22 | 0.000 % | 6.19/6.25 c =============================================================================== 6.19/6.26 c core #340 6.19/6.26 c Core size: 456 Core Weight: 1 Total Weight: -110 6.19/6.26 c Elapsed CPU time: 6.18506 s Remaining CPU time: 1793.81 s 6.19/6.29 c ============================[ Search Statistics ]============================== 6.19/6.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.29 c =============================================================================== 6.19/6.29 c | 0 | 2508 18584 40154 | 6194 0 nan | 0.000 % | 6.19/6.29 c | 100 | 2508 18584 40154 | 6814 100 13 | 0.000 % | 6.29/6.30 c | 250 | 2508 18584 40154 | 7495 250 12 | 0.000 % | 6.29/6.32 c | 475 | 2508 18584 40154 | 8245 475 15 | 0.000 % | 6.29/6.33 c | 813 | 2508 18584 40154 | 9069 813 18 | 0.000 % | 6.29/6.36 c | 1319 | 2508 18584 40154 | 9976 1319 24 | 0.000 % | 6.39/6.42 c | 2078 | 2508 18584 40154 | 10974 2078 32 | 0.000 % | 6.49/6.52 c | 3217 | 2508 18584 40154 | 12071 3217 36 | 0.000 % | 6.68/6.77 c | 4925 | 2508 18584 40154 | 13278 4925 47 | 0.000 % | 7.19/7.28 c | 7487 | 2508 18584 40154 | 14606 7487 54 | 0.000 % | 8.09/8.12 c | 11333 | 2508 18584 40154 | 16067 11333 51 | 0.000 % | 10.28/10.36 c | 17100 | 2508 18584 40154 | 17674 8979 52 | 0.000 % | 12.49/12.51 c | 25750 | 2508 18584 40154 | 19441 17629 50 | 0.000 % | 17.89/17.95 c | 38724 | 2508 18584 40154 | 21385 11003 45 | 0.000 % | 19.19/19.24 c =============================================================================== 19.69/19.73 c core #341 19.69/19.73 c Core size: 1327 Core Weight: 1 Total Weight: -109 19.69/19.73 c Elapsed CPU time: 19.537 s Remaining CPU time: 1780.46 s 19.79/19.80 c ============================[ Search Statistics ]============================== 19.79/19.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.79/19.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.79/19.80 c =============================================================================== 19.79/19.80 c | 0 | 2618 18585 40374 | 6195 0 nan | 0.000 % | 19.79/19.82 c | 101 | 2618 18585 40374 | 6814 101 19 | 0.000 % | 19.79/19.83 c | 251 | 2618 18585 40374 | 7495 251 22 | 0.000 % | 19.79/19.83 c | 476 | 2618 18585 40374 | 8245 476 25 | 0.000 % | 19.79/19.85 c | 813 | 2618 18585 40374 | 9070 813 25 | 0.000 % | 19.79/19.88 c | 1322 | 2618 18585 40374 | 9977 1322 27 | 0.000 % | 19.88/19.93 c | 2084 | 2618 18585 40374 | 10974 2084 36 | 0.000 % | 19.98/20.03 c | 3224 | 2618 18585 40374 | 12072 3224 40 | 0.000 % | 20.18/20.24 c | 4937 | 2618 18585 40374 | 13279 4937 46 | 0.000 % | 20.48/20.54 c | 7500 | 2618 18585 40374 | 14607 7500 50 | 0.000 % | 21.18/21.24 c | 11344 | 2618 18585 40374 | 16068 11344 57 | 0.000 % | 22.38/22.47 c | 17110 | 2618 18585 40374 | 17675 8975 52 | 0.000 % | 24.68/24.77 c | 25760 | 2618 18585 40374 | 19442 17625 49 | 0.000 % | 30.28/30.38 c | 38737 | 2614 18585 40374 | 21386 11055 46 | 0.153 % | 31.18/31.29 c =============================================================================== 31.68/31.72 c core #342 31.68/31.72 c Core size: 942 Core Weight: 1 Total Weight: -108 31.68/31.72 c Elapsed CPU time: 31.3992 s Remaining CPU time: 1768.6 s 31.68/31.78 c ============================[ Search Statistics ]============================== 31.68/31.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.68/31.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.68/31.78 c =============================================================================== 31.68/31.78 c | 0 | 2734 18586 40606 | 6195 0 nan | 0.000 % | 31.68/31.80 c | 101 | 2734 18586 40606 | 6814 101 31 | 0.000 % | 31.78/31.81 c =============================================================================== 31.78/31.81 c core #343 31.78/31.81 c Core size: 50 Core Weight: 1 Total Weight: -107 31.78/31.81 c Elapsed CPU time: 31.4782 s Remaining CPU time: 1768.52 s 31.78/31.82 c ============================[ Search Statistics ]============================== 31.78/31.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.78/31.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.78/31.82 c =============================================================================== 31.78/31.83 c | 0 | 2744 18587 40626 | 6195 0 nan | 0.000 % | 31.78/31.83 c | 100 | 2744 18587 40626 | 6815 100 14 | 0.000 % | 31.78/31.84 c | 250 | 2744 18587 40626 | 7496 250 18 | 0.000 % | 31.78/31.85 c | 477 | 2744 18587 40626 | 8246 477 27 | 0.000 % | 31.78/31.87 c | 814 | 2744 18587 40626 | 9071 814 30 | 0.000 % | 31.88/31.91 c | 1327 | 2744 18587 40626 | 9978 1327 38 | 0.000 % | 31.88/31.98 c | 2086 | 2744 18587 40626 | 10976 2086 43 | 0.000 % | 31.97/32.08 c | 3226 | 2744 18587 40626 | 12073 3226 47 | 0.000 % | 32.27/32.33 c | 4934 | 2744 18587 40626 | 13280 4934 52 | 0.000 % | 32.67/32.75 c | 7497 | 2744 18587 40626 | 14609 7497 57 | 0.000 % | 33.67/33.78 c | 11342 | 2744 18587 40626 | 16069 11342 63 | 0.000 % | 36.07/36.13 c | 17108 | 2744 18587 40626 | 17676 8962 75 | 0.000 % | 39.47/39.56 c | 25757 | 2744 18587 40626 | 19444 17611 80 | 0.000 % | 46.17/46.28 c | 38733 | 2743 18587 40626 | 21389 10926 74 | 0.036 % | 57.67/57.72 c | 58196 | 2743 18587 40626 | 23528 19573 77 | 0.036 % | 76.97/77.06 c | 87388 | 2743 18587 40626 | 25880 13086 86 | 0.036 % | 100.95/101.08 c | 131177 | 2743 18587 40626 | 28468 17674 70 | 0.036 % | 148.63/148.75 c =============================================================================== 153.03/153.11 c core #344 153.03/153.11 c Core size: 2276 Core Weight: 1 Total Weight: -106 153.03/153.11 c Elapsed CPU time: 152.036 s Remaining CPU time: 1647.96 s 153.23/153.35 c ============================[ Search Statistics ]============================== 153.23/153.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.23/153.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.23/153.35 c =============================================================================== 153.23/153.35 c | 0 | 2892 18588 40922 | 6196 0 nan | 0.000 % | 153.23/153.38 c | 100 | 2892 18588 40922 | 6815 100 23 | 0.000 % | 153.33/153.40 c | 250 | 2892 18588 40922 | 7497 250 32 | 0.000 % | 153.33/153.42 c | 475 | 2892 18588 40922 | 8246 475 35 | 0.000 % | 153.33/153.45 c | 812 | 2892 18588 40922 | 9071 812 47 | 0.000 % | 153.43/153.50 c | 1318 | 2892 18588 40922 | 9978 1318 62 | 0.000 % | 153.53/153.60 c | 2079 | 2892 18588 40922 | 10976 2079 78 | 0.000 % | 153.63/153.76 c | 3223 | 2892 18588 40922 | 12074 3223 83 | 0.000 % | 154.03/154.16 c | 4932 | 2892 18588 40922 | 13281 4932 99 | 0.000 % | 154.83/154.98 c | 7496 | 2892 18588 40922 | 14609 7496 115 | 0.000 % | 156.13/156.23 c | 11341 | 2892 18588 40922 | 16070 11341 117 | 0.000 % | 159.23/159.36 c | 17109 | 2892 18588 40922 | 17677 8995 128 | 0.000 % | 164.73/164.82 c | 25759 | 2892 18588 40922 | 19445 17645 142 | 0.000 % | 173.73/173.84 c | 38737 | 2892 18588 40922 | 21390 10931 132 | 0.000 % | 193.02/193.11 c | 58200 | 2892 18588 40922 | 23529 19606 143 | 0.000 % | 219.60/219.79 c | 87392 | 2892 18588 40922 | 25882 13210 136 | 0.000 % | 257.20/257.31 c | 131183 | 2892 18588 40922 | 28470 17983 105 | 0.000 % | 310.48/310.68 c | 196869 | 2889 18588 40922 | 31317 20910 111 | 0.104 % | 373.16/373.33 c | 295396 | 2889 18588 40922 | 34449 14410 94 | 0.104 % | 546.90/547.19 c | 443185 | 2889 18588 40922 | 37894 21264 112 | 0.104 % | 771.22/771.52 c | 664868 | 2889 18588 40922 | 41683 15431 94 | 0.104 % | 1141.60/1142.06 c | 997394 | 2889 18588 40922 | 45851 28180 121 | 0.104 % | 1418.41/1418.96 c =============================================================================== 1454.70/1455.27 c core #345 1454.70/1455.27 c Core size: 2089 Core Weight: 1 Total Weight: -105 1454.70/1455.27 c Elapsed CPU time: 1448.48 s Remaining CPU time: 351.519 s 1456.10/1456.61 c ============================[ Search Statistics ]============================== 1456.10/1456.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 1456.10/1456.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1456.10/1456.61 c =============================================================================== 1456.10/1456.61 c | 0 | 3032 18589 41202 | 6196 0 nan | 0.000 % | 1456.10/1456.69 c | 100 | 3032 18589 41202 | 6815 100 23 | 0.000 % | 1456.19/1456.80 c | 251 | 3032 18589 41202 | 7497 251 21 | 0.000 % | 1456.29/1456.85 c | 480 | 3032 18589 41202 | 8247 480 24 | 0.000 % | 1456.29/1456.89 c | 817 | 3032 18589 41202 | 9072 817 27 | 0.000 % | 1456.39/1456.94 c | 1323 | 3032 18589 41202 | 9979 1323 32 | 0.000 % | 1456.49/1457.01 c | 2082 | 3032 18589 41202 | 10977 2082 44 | 0.000 % | 1456.59/1457.15 c | 3221 | 3032 18589 41202 | 12074 3221 62 | 0.000 % | 1456.79/1457.36 c | 4933 | 3032 18589 41202 | 13282 4933 67 | 0.000 % | 1457.19/1457.79 c | 7495 | 3032 18589 41202 | 14610 7495 68 | 0.000 % | 1458.19/1458.72 c | 11342 | 3032 18589 41202 | 16071 11342 84 | 0.000 % | 1460.19/1460.70 c | 17109 | 3032 18589 41202 | 17678 8898 110 | 0.000 % | 1463.99/1464.54 c | 25761 | 3032 18589 41202 | 19446 17550 124 | 0.000 % | 1472.48/1473.10 c | 38735 | 3032 18589 41202 | 21391 10919 134 | 0.000 % | 1490.78/1491.36 c | 58199 | 3032 18589 41202 | 23530 19498 142 | 0.000 % | 1515.87/1516.43 c | 87391 | 3032 18589 41202 | 25883 12999 141 | 0.000 % | 1563.86/1564.40 c | 131181 | 3032 18589 41202 | 28471 17562 141 | 0.000 % | 1632.63/1633.28 c | 196865 | 3032 18589 41202 | 31319 21679 103 | 0.000 % | 1736.30/1736.91 c | 295393 | 3032 18589 41202 | 34451 31164 112 | 0.000 % |
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-1876259-1245163633/watcher-1876259-1245163633 -o /tmp/evaluation-result-1876259-1245163633/solver-1876259-1245163633 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876259-1245163633.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 9707 /proc/meminfo: memFree=1847488/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=2952 CPUtime=0 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 183964134 3022848 188 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 738 188 129 292 0 339 0 [startup+0.0808509 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9707 /proc/meminfo: memFree=1847488/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=4132 CPUtime=0.07 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 698 0 0 0 7 0 0 0 18 0 1 0 183964134 4231168 578 1992294400 134512640 135709839 4294956240 18446744073709551615 134584448 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 1033 578 133 292 0 738 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4132 [startup+0.101854 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9707 /proc/meminfo: memFree=1847488/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=4244 CPUtime=0.1 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 712 0 0 0 10 0 0 0 18 0 1 0 183964134 4345856 579 1992294400 134512640 135709839 4294956240 18446744073709551615 134530348 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 1061 579 133 292 0 766 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4244 [startup+0.301891 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9707 /proc/meminfo: memFree=1847488/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=4080 CPUtime=0.29 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 745 0 0 0 29 0 0 0 19 0 1 0 183964134 4177920 585 1992294400 134512640 135709839 4294956240 18446744073709551615 135163520 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 1020 585 133 292 0 725 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4080 [startup+0.701965 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9707 /proc/meminfo: memFree=1847488/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=4204 CPUtime=0.69 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 786 0 0 0 69 0 0 0 23 0 1 0 183964134 4304896 603 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 1051 603 133 292 0 756 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4204 [startup+1.50111 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1845496/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=4412 CPUtime=1.49 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 847 0 0 0 149 0 0 0 25 0 1 0 183964134 4517888 653 1992294400 134512640 135709839 4294956240 18446744073709551615 134605411 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 1103 653 133 292 0 808 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4412 [startup+3.10141 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1844856/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=5304 CPUtime=3.09 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 1121 0 0 0 308 1 0 0 25 0 1 0 183964134 5431296 890 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 1326 890 135 292 0 1031 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5304 [startup+6.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1841080/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=9836 CPUtime=6.29 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 2304 0 0 0 621 8 0 0 25 0 1 0 183964134 10072064 2021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 2459 2021 136 292 0 2164 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9836 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1832120/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=18232 CPUtime=12.68 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 4402 0 0 0 1254 14 0 0 25 0 1 0 183964134 18669568 4119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 4558 4119 136 292 0 4263 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18232 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1822584/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=26760 CPUtime=25.48 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 6504 0 0 0 2521 27 0 0 25 0 1 0 183964134 27402240 6221 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 6690 6221 136 292 0 6395 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 26760 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1801464/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=48328 CPUtime=51.07 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 11907 0 0 0 5059 48 0 0 25 0 1 0 183964134 49487872 11623 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 12082 11623 136 292 0 11787 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 48328 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1752632/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=96600 CPUtime=102.26 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 23969 0 0 0 10146 80 0 0 25 0 1 0 183964134 98918400 23685 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 24150 23685 136 292 0 23855 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 96600 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1716344/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=132688 CPUtime=162.23 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 33029 0 0 0 16115 108 0 0 25 0 1 0 183964134 135872512 32716 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 33172 32716 136 292 0 32877 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 132688 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9708 /proc/meminfo: memFree=1687032/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=162072 CPUtime=222.21 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 40364 0 0 0 22085 136 0 0 25 0 1 0 183964134 165961728 40051 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 40518 40051 136 292 0 40223 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 162072 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1639608/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=210004 CPUtime=282.19 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 52310 0 0 0 28055 164 0 0 25 0 1 0 183964134 215044096 51997 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 52501 51997 136 292 0 52206 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 210004 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1587960/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=261156 CPUtime=342.17 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 65090 0 0 0 34021 196 0 0 25 0 1 0 183964134 267423744 64777 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 65289 64777 136 292 0 64994 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 261156 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1538616/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=311000 CPUtime=402.15 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 77529 0 0 0 39987 228 0 0 25 0 1 0 183964134 318464000 77216 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 77750 77216 136 292 0 77455 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 311000 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1503416/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=345712 CPUtime=462.12 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 86176 0 0 0 45965 247 0 0 25 0 1 0 183964134 354009088 85863 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 86428 85863 136 292 0 86133 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 345712 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1468088/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=381676 CPUtime=522.1 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 95147 0 0 0 51941 269 0 0 25 0 1 0 183964134 390836224 94834 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 95419 94834 136 292 0 95124 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 381676 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1431672/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=417728 CPUtime=582.09 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 104154 0 0 0 57915 294 0 0 25 0 1 0 183964134 427753472 103841 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 104432 103841 136 292 0 104137 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 417728 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9710 /proc/meminfo: memFree=1393528/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=455304 CPUtime=642.07 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 113518 0 0 0 63889 318 0 0 25 0 1 0 183964134 466231296 113205 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 113826 113205 136 292 0 113531 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 455304 [startup+702.302 s] ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1243896/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=604864 CPUtime=881.99 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 150836 0 0 0 87783 416 0 0 25 0 1 0 183964134 619380736 150523 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 151216 150523 136 292 0 150921 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 604864 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1208184/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=640968 CPUtime=941.97 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 159856 0 0 0 93760 437 0 0 25 0 1 0 183964134 656351232 159543 1992294400 134512640 135709839 4294956240 18446744073709551615 134573748 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 160242 159543 136 292 0 159947 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 640968 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1168824/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=679836 CPUtime=1001.94 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 169583 0 0 0 99733 461 0 0 25 0 1 0 183964134 696152064 169270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 169959 169270 136 292 0 169664 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 679836 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1129848/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=719064 CPUtime=1061.92 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 179393 0 0 0 105707 485 0 0 25 0 1 0 183964134 736321536 179080 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 179766 179080 136 292 0 179471 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 719064 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1089784/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=759160 CPUtime=1121.91 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 189364 0 0 0 111682 509 0 0 25 0 1 0 183964134 777379840 189051 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 189790 189051 136 292 0 189495 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 759160 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1052088/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=797060 CPUtime=1181.88 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 198829 0 0 0 117658 530 0 0 25 0 1 0 183964134 816189440 198516 1992294400 134512640 135709839 4294956240 18446744073709551615 134573931 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 199265 198516 136 292 0 198970 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 797060 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=1020920/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=827740 CPUtime=1241.86 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 206484 0 0 0 123635 551 0 0 25 0 1 0 183964134 847605760 206171 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 206935 206171 136 292 0 206640 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 827740 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9716 /proc/meminfo: memFree=985976/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=862440 CPUtime=1301.84 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 215128 0 0 0 129608 576 0 0 25 0 1 0 183964134 883138560 214815 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 215610 214815 136 292 0 215315 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 862440 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 9716 /proc/meminfo: memFree=953592/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=895008 CPUtime=1361.82 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 223246 0 0 0 135582 600 0 0 25 0 1 0 183964134 916488192 222933 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 223752 222933 136 292 0 223457 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 895008 [startup+1422.31 s] /proc/loadavg: 1.06 1.02 1.00 2/65 9716 /proc/meminfo: memFree=914552/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=933884 CPUtime=1421.81 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 232969 0 0 0 141556 625 0 0 25 0 1 0 183964134 956297216 232656 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 233471 232656 136 292 0 233176 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 933884 [startup+1482.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 9716 /proc/meminfo: memFree=892088/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=956052 CPUtime=1481.78 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 238537 0 0 0 147531 647 0 0 25 0 1 0 183964134 978997248 238178 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 239013 238178 136 292 0 238718 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 956052 [startup+1542.3 s] /proc/loadavg: 1.05 1.04 1.00 2/65 9716 /proc/meminfo: memFree=890744/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=956052 CPUtime=1541.77 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 238891 0 0 0 153514 663 0 0 25 0 1 0 183964134 978997248 238532 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 239013 238532 136 292 0 238718 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 956052 [startup+1602.3 s] /proc/loadavg: 1.05 1.04 1.00 2/65 9716 /proc/meminfo: memFree=879352/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=967624 CPUtime=1601.74 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 241785 0 0 0 159493 681 0 0 25 0 1 0 183964134 990846976 241426 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 241906 241426 136 292 0 241611 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 967624 [startup+1662.3 s] /proc/loadavg: 1.05 1.05 1.00 2/65 9716 /proc/meminfo: memFree=863736/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=983040 CPUtime=1661.72 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 245628 0 0 0 165470 702 0 0 25 0 1 0 183964134 1006632960 245269 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 245760 245269 136 292 0 245465 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 983040 [startup+1722.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 9716 /proc/meminfo: memFree=845176/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=1001932 CPUtime=1721.7 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 250314 0 0 0 171448 722 0 0 25 0 1 0 183964134 1025978368 249955 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 250483 249955 136 292 0 250188 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1001932 [startup+1782.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 9716 /proc/meminfo: memFree=819512/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=1027336 CPUtime=1781.68 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 256652 0 0 0 177426 742 0 0 25 0 1 0 183964134 1051992064 256293 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 256834 256293 136 292 0 256539 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1027336 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9716 /proc/meminfo: memFree=810808/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=1035900 CPUtime=1800.08 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4194304 258784 0 0 0 179259 749 0 0 25 0 1 0 183964134 1060761600 258425 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 258975 258425 136 292 0 258680 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1035900 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9716 /proc/meminfo: memFree=810808/2055920 swapFree=4192812/4192956 [pid=9707] ppid=9705 vsize=0 CPUtime=1800.17 /proc/9707/stat : 9707 (wbo) R 9705 9707 9547 0 -1 4195332 258784 0 0 0 179259 758 0 0 25 0 1 0 183964134 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9707/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.87 CPU time (s): 1800.25 CPU user time (s): 1792.6 CPU system time (s): 7.65584 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (KiB): 1035900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.6 system time used= 7.65584 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 258784 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 2433 runsolver used 1.51477 second user time and 3.53546 second system time The end
Begin job on node7 at 2009-06-16 16:47:13 IDJOB=1876259 IDBENCH=2235 IDSOLVER=698 FILE ID=node7/1876259-1245163633 PBS_JOBID= 9363840 Free space on /tmp= 66272 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.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-1876259-1245163633/watcher-1876259-1245163633 -o /tmp/evaluation-result-1876259-1245163633/solver-1876259-1245163633 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876259-1245163633.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1 RANDOM SEED=1546684686 node7.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.274 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.274 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: 1847968 kB Buffers: 42340 kB Cached: 96108 kB SwapCached: 0 kB Active: 41668 kB Inactive: 110772 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1847968 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2784 kB Writeback: 0 kB Mapped: 23764 kB Slab: 41544 kB Committed_AS: 160428 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-1876259-1245163633.opb Free space on /tmp at the end= 66268 MiB End job on node7 at 2009-06-16 17:17:16