| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.25 | 1800.81 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-2.opb |
| MD5SUM | 5909a36352b34473abff2d7e1fe31c04 |
| 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.29 |
| 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 | 17874 |
| Number of constraints which are clauses | 17874 |
| 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-1875712-1245164053.opb. 0.00/0.00 c Instance file HOME/instance-1875712-1245164053.opb 0.00/0.00 c File size is 424375 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: 18324 | 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.052991 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.06199 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.070989 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #4 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: -446 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.09 c core #5 0.00/0.09 c Core size: 3 Core Weight: 1 Total Weight: -445 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.10 c core #6 0.00/0.10 c Core size: 3 Core Weight: 1 Total Weight: -444 0.00/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.13 c core #9 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: -441 0.10/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.10/0.14 c core #10 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: -440 0.10/0.14 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.147977 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.176973 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.19/0.20 c core #17 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -433 0.19/0.20 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #18 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -432 0.19/0.21 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #19 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: -431 0.19/0.22 c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #20 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -430 0.19/0.23 c Elapsed CPU time: 0.235964 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #21 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -429 0.19/0.24 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #22 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -428 0.19/0.25 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #23 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -427 0.19/0.26 c Elapsed CPU time: 0.264959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #24 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -426 0.19/0.27 c Elapsed CPU time: 0.273958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #25 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -425 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #26 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -424 0.19/0.29 c Elapsed CPU time: 0.293955 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.303953 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.312952 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.32295 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.332949 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.342947 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.352946 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.362944 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.372943 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.382941 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.39294 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.401938 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.411937 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.421935 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.431934 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.441932 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.451931 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.461929 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.471928 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.481926 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.491925 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.502923 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.512922 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.52292 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.532918 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.542917 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.552915 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.562914 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.572912 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.583911 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.594909 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.604908 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.614906 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.624905 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.635903 s Remaining CPU time: 1799.36 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.645901 s Remaining CPU time: 1799.35 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.6559 s Remaining CPU time: 1799.34 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.666898 s Remaining CPU time: 1799.33 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.676897 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.686895 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.697893 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.707892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #68 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -382 0.69/0.72 c Elapsed CPU time: 0.71789 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.727889 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.748886 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.769882 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.779881 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.790879 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.800878 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.811876 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.85287 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.863868 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.88 c core #84 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -366 0.79/0.88 c Elapsed CPU time: 0.884865 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #85 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -365 0.79/0.89 c Elapsed CPU time: 0.895863 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.906862 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.91786 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.927858 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.938857 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.949855 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.960853 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.971852 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.98185 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.992849 s Remaining CPU time: 1799.01 s 0.99/1.00 c core #95 0.99/1.00 c Core size: 3 Core Weight: 1 Total Weight: -355 0.99/1.00 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 0.99/1.01 c core #96 0.99/1.01 c Core size: 3 Core Weight: 1 Total Weight: -354 0.99/1.01 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 0.99/1.03 c core #97 0.99/1.03 c Core size: 3 Core Weight: 1 Total Weight: -353 0.99/1.03 c Elapsed CPU time: 1.02584 s Remaining CPU time: 1798.97 s 0.99/1.04 c core #98 0.99/1.04 c Core size: 3 Core Weight: 1 Total Weight: -352 0.99/1.04 c Elapsed CPU time: 1.03784 s Remaining CPU time: 1798.96 s 0.99/1.05 c core #99 0.99/1.05 c Core size: 3 Core Weight: 1 Total Weight: -351 0.99/1.05 c Elapsed CPU time: 1.04884 s Remaining CPU time: 1798.95 s 0.99/1.06 c core #100 0.99/1.06 c Core size: 3 Core Weight: 1 Total Weight: -350 0.99/1.06 c Elapsed CPU time: 1.05984 s Remaining CPU time: 1798.94 s 0.99/1.07 c core #101 0.99/1.07 c Core size: 3 Core Weight: 1 Total Weight: -349 0.99/1.07 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 0.99/1.08 c core #102 0.99/1.08 c Core size: 3 Core Weight: 1 Total Weight: -348 0.99/1.08 c Elapsed CPU time: 1.08184 s Remaining CPU time: 1798.92 s 0.99/1.09 c core #103 0.99/1.09 c Core size: 3 Core Weight: 1 Total Weight: -347 0.99/1.09 c Elapsed CPU time: 1.09283 s Remaining CPU time: 1798.91 s 1.10/1.10 c core #104 1.10/1.10 c Core size: 3 Core Weight: 1 Total Weight: -346 1.10/1.10 c Elapsed CPU time: 1.10383 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #105 1.10/1.11 c Core size: 3 Core Weight: 1 Total Weight: -345 1.10/1.11 c Elapsed CPU time: 1.11483 s Remaining CPU time: 1798.89 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.12583 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.13683 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.14783 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.15982 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.17082 s Remaining CPU time: 1798.83 s 1.10/1.18 c core #111 1.10/1.18 c Core size: 3 Core Weight: 1 Total Weight: -339 1.10/1.18 c Elapsed CPU time: 1.18282 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #112 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: -338 1.10/1.19 c Elapsed CPU time: 1.19382 s Remaining CPU time: 1798.81 s 1.20/1.21 c core #113 1.20/1.21 c Core size: 3 Core Weight: 1 Total Weight: -337 1.20/1.21 c Elapsed CPU time: 1.20582 s Remaining CPU time: 1798.79 s 1.20/1.22 c core #114 1.20/1.22 c Core size: 3 Core Weight: 1 Total Weight: -336 1.20/1.22 c Elapsed CPU time: 1.21681 s Remaining CPU time: 1798.78 s 1.20/1.23 c core #115 1.20/1.23 c Core size: 3 Core Weight: 1 Total Weight: -335 1.20/1.23 c Elapsed CPU time: 1.22881 s Remaining CPU time: 1798.77 s 1.20/1.24 c core #116 1.20/1.24 c Core size: 3 Core Weight: 1 Total Weight: -334 1.20/1.24 c Elapsed CPU time: 1.23981 s Remaining CPU time: 1798.76 s 1.20/1.25 c core #117 1.20/1.25 c Core size: 3 Core Weight: 1 Total Weight: -333 1.20/1.25 c Elapsed CPU time: 1.25081 s Remaining CPU time: 1798.75 s 1.20/1.26 c core #118 1.20/1.26 c Core size: 3 Core Weight: 1 Total Weight: -332 1.20/1.26 c Elapsed CPU time: 1.26281 s Remaining CPU time: 1798.74 s 1.20/1.27 c core #119 1.20/1.27 c Core size: 3 Core Weight: 1 Total Weight: -331 1.20/1.27 c Elapsed CPU time: 1.27381 s Remaining CPU time: 1798.73 s 1.20/1.29 c core #120 1.20/1.29 c Core size: 3 Core Weight: 1 Total Weight: -330 1.20/1.29 c Elapsed CPU time: 1.2858 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.2968 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.3088 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.3208 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #124 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: -326 1.29/1.33 c Elapsed CPU time: 1.3318 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #125 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -325 1.29/1.34 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 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.35479 s Remaining CPU time: 1798.65 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.36679 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.37879 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.39079 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #130 1.39/1.40 c Core size: 3 Core Weight: 1 Total Weight: -320 1.39/1.40 c Elapsed CPU time: 1.40279 s Remaining CPU time: 1798.6 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.41478 s Remaining CPU time: 1798.59 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.42778 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.44078 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.45278 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.46478 s Remaining CPU time: 1798.54 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.47677 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.48877 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.50177 s Remaining CPU time: 1798.5 s 1.49/1.51 c core #139 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: -311 1.49/1.51 c Elapsed CPU time: 1.51377 s Remaining CPU time: 1798.49 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.52577 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.53777 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.54976 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.56176 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.57376 s Remaining CPU time: 1798.43 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.58676 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.59876 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.61076 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.62375 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.63575 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.64775 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.66075 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.68574 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.69874 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.71074 s Remaining CPU time: 1798.29 s 1.69/1.72 c core #156 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: -294 1.69/1.72 c Elapsed CPU time: 1.72274 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.73474 s Remaining CPU time: 1798.27 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.74773 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.75973 s Remaining CPU time: 1798.24 s 1.69/1.77 c core #160 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: -290 1.69/1.77 c Elapsed CPU time: 1.77273 s Remaining CPU time: 1798.23 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.78573 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.79773 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.81072 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.82372 s Remaining CPU time: 1798.18 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.83572 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.84872 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.86172 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.87472 s Remaining CPU time: 1798.13 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.88771 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.90071 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.91371 s Remaining CPU time: 1798.09 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.92671 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.93971 s Remaining CPU time: 1798.06 s 1.89/1.95 c core #174 1.89/1.95 c Core size: 3 Core Weight: 1 Total Weight: -276 1.89/1.95 c Elapsed CPU time: 1.9527 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.9657 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.9777 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #177 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -273 1.89/1.99 c Elapsed CPU time: 1.9907 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.01769 s Remaining CPU time: 1797.98 s 1.99/2.03 c core #180 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: -270 1.99/2.03 c Elapsed CPU time: 2.03069 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.04469 s Remaining CPU time: 1797.96 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.05769 s Remaining CPU time: 1797.94 s 1.99/2.07 c core #183 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -267 1.99/2.07 c Elapsed CPU time: 2.07069 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.08368 s Remaining CPU time: 1797.92 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.09668 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.11068 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.12468 s Remaining CPU time: 1797.88 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.13867 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.15167 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.16567 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.17867 s Remaining CPU time: 1797.82 s 2.19/2.20 c core #192 2.19/2.20 c Core size: 3 Core Weight: 1 Total Weight: -258 2.19/2.20 c Elapsed CPU time: 2.19267 s Remaining CPU time: 1797.81 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.20666 s Remaining CPU time: 1797.79 s 2.19/2.22 c core #194 2.19/2.22 c Core size: 3 Core Weight: 1 Total Weight: -256 2.19/2.22 c Elapsed CPU time: 2.22066 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.23466 s Remaining CPU time: 1797.77 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.24766 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.26166 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.27565 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.28965 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.30365 s Remaining CPU time: 1797.7 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.31765 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.33164 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.34564 s Remaining CPU time: 1797.65 s 2.29/2.36 c core #204 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -246 2.29/2.36 c Elapsed CPU time: 2.35964 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.37364 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.38764 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.40163 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.41563 s Remaining CPU time: 1797.58 s 2.39/2.43 c core #209 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: -241 2.39/2.43 c Elapsed CPU time: 2.43063 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.44463 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #211 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: -239 2.39/2.46 c Elapsed CPU time: 2.45863 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.47262 s Remaining CPU time: 1797.53 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.48762 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.50162 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.51662 s Remaining CPU time: 1797.48 s 2.49/2.53 c core #216 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -234 2.49/2.53 c Elapsed CPU time: 2.53062 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.54561 s Remaining CPU time: 1797.45 s 2.49/2.56 c core #218 2.49/2.56 c Core size: 3 Core Weight: 1 Total Weight: -232 2.49/2.56 c Elapsed CPU time: 2.55961 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.57461 s Remaining CPU time: 1797.43 s 2.49/2.59 c core #220 2.49/2.59 c Core size: 3 Core Weight: 1 Total Weight: -230 2.49/2.59 c Elapsed CPU time: 2.58861 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.6026 s Remaining CPU time: 1797.4 s 2.59/2.62 c core #222 2.59/2.62 c Core size: 3 Core Weight: 1 Total Weight: -228 2.59/2.62 c Elapsed CPU time: 2.6166 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.6316 s Remaining CPU time: 1797.37 s 2.59/2.65 c core #224 2.59/2.65 c Core size: 3 Core Weight: 1 Total Weight: -226 2.59/2.65 c Elapsed CPU time: 2.6456 s Remaining CPU time: 1797.35 s 2.59/2.67 c core #225 2.59/2.67 c Core size: 10 Core Weight: 1 Total Weight: -225 2.59/2.67 c Elapsed CPU time: 2.65959 s Remaining CPU time: 1797.34 s 2.59/2.68 c core #226 2.59/2.68 c Core size: 10 Core Weight: 1 Total Weight: -224 2.59/2.68 c Elapsed CPU time: 2.67559 s Remaining CPU time: 1797.32 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 | 908 18550 37114 | 6183 0 nan | 0.000 % | 2.59/2.70 c =============================================================================== 2.59/2.70 c core #227 2.59/2.70 c Core size: 13 Core Weight: 1 Total Weight: -223 2.59/2.70 c Elapsed CPU time: 2.69059 s Remaining CPU time: 1797.31 s 2.69/2.71 c ============================[ Search Statistics ]============================== 2.69/2.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.71 c =============================================================================== 2.69/2.71 c | 0 | 914 18551 37126 | 6183 0 nan | 0.000 % | 2.69/2.71 c =============================================================================== 2.69/2.71 c core #228 2.69/2.71 c Core size: 13 Core Weight: 1 Total Weight: -222 2.69/2.71 c Elapsed CPU time: 2.70659 s Remaining CPU time: 1797.29 s 2.69/2.72 c ============================[ Search Statistics ]============================== 2.69/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 920 18552 37138 | 6184 0 nan | 0.000 % | 2.69/2.73 c =============================================================================== 2.69/2.73 c core #229 2.69/2.73 c Core size: 13 Core Weight: 1 Total Weight: -221 2.69/2.73 c Elapsed CPU time: 2.72059 s Remaining CPU time: 1797.28 s 2.69/2.74 c ============================[ Search Statistics ]============================== 2.69/2.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.74 c =============================================================================== 2.69/2.74 c | 0 | 926 18553 37150 | 6184 0 nan | 0.000 % | 2.69/2.74 c =============================================================================== 2.69/2.74 c core #230 2.69/2.74 c Core size: 13 Core Weight: 1 Total Weight: -220 2.69/2.74 c Elapsed CPU time: 2.73558 s Remaining CPU time: 1797.26 s 2.69/2.75 c ============================[ Search Statistics ]============================== 2.69/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.75 c =============================================================================== 2.69/2.75 c | 0 | 932 18554 37162 | 6184 0 nan | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c core #231 2.69/2.76 c Core size: 10 Core Weight: 1 Total Weight: -219 2.69/2.76 c Elapsed CPU time: 2.75058 s Remaining CPU time: 1797.25 s 2.69/2.77 c ============================[ Search Statistics ]============================== 2.69/2.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.77 c =============================================================================== 2.69/2.77 c | 0 | 936 18555 37170 | 6185 0 nan | 0.000 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c core #232 2.69/2.77 c Core size: 10 Core Weight: 1 Total Weight: -218 2.69/2.77 c Elapsed CPU time: 2.76558 s Remaining CPU time: 1797.23 s 2.69/2.78 c ============================[ Search Statistics ]============================== 2.69/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.78 c =============================================================================== 2.69/2.78 c | 0 | 940 18556 37178 | 6185 0 nan | 0.000 % | 2.69/2.79 c =============================================================================== 2.69/2.79 c core #233 2.69/2.79 c Core size: 13 Core Weight: 1 Total Weight: -217 2.69/2.79 c Elapsed CPU time: 2.77958 s Remaining CPU time: 1797.22 s 2.78/2.80 c ============================[ Search Statistics ]============================== 2.78/2.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.80 c =============================================================================== 2.78/2.80 c | 0 | 946 18557 37190 | 6185 0 nan | 0.000 % | 2.78/2.80 c =============================================================================== 2.78/2.80 c core #234 2.78/2.80 c Core size: 10 Core Weight: 1 Total Weight: -216 2.78/2.80 c Elapsed CPU time: 2.79458 s Remaining CPU time: 1797.21 s 2.78/2.82 c ============================[ Search Statistics ]============================== 2.78/2.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.82 c =============================================================================== 2.78/2.82 c | 0 | 950 18558 37198 | 6186 0 nan | 0.000 % | 2.78/2.82 c =============================================================================== 2.78/2.82 c core #235 2.78/2.82 c Core size: 13 Core Weight: 1 Total Weight: -215 2.78/2.82 c Elapsed CPU time: 2.81057 s Remaining CPU time: 1797.19 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 | 956 18559 37210 | 6186 0 nan | 0.000 % | 2.78/2.83 c =============================================================================== 2.78/2.83 c core #236 2.78/2.83 c Core size: 13 Core Weight: 1 Total Weight: -214 2.78/2.83 c Elapsed CPU time: 2.82557 s Remaining CPU time: 1797.17 s 2.78/2.85 c ============================[ Search Statistics ]============================== 2.78/2.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.85 c =============================================================================== 2.78/2.85 c | 0 | 962 18560 37222 | 6186 0 nan | 0.000 % | 2.78/2.85 c =============================================================================== 2.78/2.85 c core #237 2.78/2.85 c Core size: 13 Core Weight: 1 Total Weight: -213 2.78/2.85 c Elapsed CPU time: 2.84057 s Remaining CPU time: 1797.16 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 | 968 18561 37234 | 6187 0 nan | 0.000 % | 2.78/2.86 c =============================================================================== 2.78/2.86 c core #238 2.78/2.86 c Core size: 13 Core Weight: 1 Total Weight: -212 2.78/2.86 c Elapsed CPU time: 2.85556 s Remaining CPU time: 1797.14 s 2.78/2.88 c ============================[ Search Statistics ]============================== 2.78/2.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.88 c =============================================================================== 2.78/2.88 c | 0 | 974 18562 37246 | 6187 0 nan | 0.000 % | 2.78/2.88 c =============================================================================== 2.78/2.88 c core #239 2.78/2.88 c Core size: 10 Core Weight: 1 Total Weight: -211 2.78/2.88 c Elapsed CPU time: 2.87156 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 | 978 18563 37254 | 6187 0 nan | 0.000 % | 2.78/2.89 c =============================================================================== 2.78/2.89 c core #240 2.78/2.89 c Core size: 13 Core Weight: 1 Total Weight: -210 2.78/2.89 c Elapsed CPU time: 2.88756 s Remaining CPU time: 1797.11 s 2.88/2.91 c ============================[ Search Statistics ]============================== 2.88/2.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.91 c =============================================================================== 2.88/2.91 c | 0 | 984 18564 37266 | 6188 0 nan | 0.000 % | 2.88/2.91 c =============================================================================== 2.88/2.91 c core #241 2.88/2.91 c Core size: 13 Core Weight: 1 Total Weight: -209 2.88/2.91 c Elapsed CPU time: 2.90356 s Remaining CPU time: 1797.1 s 2.88/2.93 c ============================[ Search Statistics ]============================== 2.88/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.93 c =============================================================================== 2.88/2.93 c | 0 | 990 18565 37278 | 6188 0 nan | 0.000 % | 2.88/2.93 c =============================================================================== 2.88/2.93 c core #242 2.88/2.93 c Core size: 13 Core Weight: 1 Total Weight: -208 2.88/2.93 c Elapsed CPU time: 2.91856 s Remaining CPU time: 1797.08 s 2.88/2.94 c ============================[ Search Statistics ]============================== 2.88/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.94 c =============================================================================== 2.88/2.94 c | 0 | 996 18566 37290 | 6188 0 nan | 0.000 % | 2.88/2.94 c =============================================================================== 2.88/2.94 c core #243 2.88/2.94 c Core size: 10 Core Weight: 1 Total Weight: -207 2.88/2.94 c Elapsed CPU time: 2.93355 s Remaining CPU time: 1797.07 s 2.88/2.96 c ============================[ Search Statistics ]============================== 2.88/2.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.96 c =============================================================================== 2.88/2.96 c | 0 | 1000 18567 37298 | 6189 0 nan | 0.000 % | 2.88/2.96 c =============================================================================== 2.88/2.96 c core #244 2.88/2.96 c Core size: 13 Core Weight: 1 Total Weight: -206 2.88/2.96 c Elapsed CPU time: 2.94855 s Remaining CPU time: 1797.05 s 2.88/2.97 c ============================[ Search Statistics ]============================== 2.88/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.97 c =============================================================================== 2.88/2.97 c | 0 | 1006 18568 37310 | 6189 0 nan | 0.000 % | 2.88/2.97 c =============================================================================== 2.88/2.97 c core #245 2.88/2.97 c Core size: 13 Core Weight: 1 Total Weight: -205 2.88/2.97 c Elapsed CPU time: 2.96455 s Remaining CPU time: 1797.04 s 2.88/2.99 c ============================[ Search Statistics ]============================== 2.88/2.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.99 c =============================================================================== 2.88/2.99 c | 0 | 1012 18569 37322 | 6189 0 nan | 0.000 % | 2.88/2.99 c =============================================================================== 2.88/2.99 c core #246 2.88/2.99 c Core size: 13 Core Weight: 1 Total Weight: -204 2.88/2.99 c Elapsed CPU time: 2.97955 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 18570 37334 | 6190 0 nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.00 c core #247 2.99/3.00 c Core size: 10 Core Weight: 1 Total Weight: -203 2.99/3.00 c Elapsed CPU time: 2.99554 s Remaining CPU time: 1797 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 | 1022 18571 37342 | 6190 0 nan | 0.000 % | 2.99/3.02 c =============================================================================== 2.99/3.02 c core #248 2.99/3.02 c Core size: 13 Core Weight: 1 Total Weight: -202 2.99/3.02 c Elapsed CPU time: 3.01054 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 | 1028 18572 37354 | 6190 0 nan | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c core #249 2.99/3.03 c Core size: 10 Core Weight: 1 Total Weight: -201 2.99/3.03 c Elapsed CPU time: 3.02654 s Remaining CPU time: 1796.97 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 | 1032 18573 37362 | 6191 0 nan | 0.000 % | 2.99/3.05 c =============================================================================== 2.99/3.05 c core #250 2.99/3.05 c Core size: 13 Core Weight: 1 Total Weight: -200 2.99/3.05 c Elapsed CPU time: 3.04354 s Remaining CPU time: 1796.96 s 2.99/3.07 c ============================[ Search Statistics ]============================== 2.99/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.07 c =============================================================================== 2.99/3.07 c | 0 | 1038 18574 37374 | 6191 0 nan | 0.000 % | 2.99/3.07 c =============================================================================== 2.99/3.07 c core #251 2.99/3.07 c Core size: 10 Core Weight: 1 Total Weight: -199 2.99/3.07 c Elapsed CPU time: 3.05953 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 | 1042 18575 37382 | 6191 0 nan | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c core #252 2.99/3.08 c Core size: 13 Core Weight: 1 Total Weight: -198 2.99/3.08 c Elapsed CPU time: 3.07553 s Remaining CPU time: 1796.92 s 3.09/3.10 c ============================[ Search Statistics ]============================== 3.09/3.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.10 c =============================================================================== 3.09/3.10 c | 0 | 1048 18576 37394 | 6192 0 nan | 0.000 % | 3.09/3.10 c =============================================================================== 3.09/3.10 c core #253 3.09/3.10 c Core size: 13 Core Weight: 1 Total Weight: -197 3.09/3.10 c Elapsed CPU time: 3.09053 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 | 1054 18577 37406 | 6192 0 nan | 0.000 % | 3.09/3.12 c =============================================================================== 3.09/3.12 c core #254 3.09/3.12 c Core size: 24 Core Weight: 1 Total Weight: -196 3.09/3.12 c Elapsed CPU time: 3.10753 s Remaining CPU time: 1796.89 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 | 1064 18578 37426 | 6192 0 nan | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.13 c core #255 3.09/3.13 c Core size: 13 Core Weight: 1 Total Weight: -195 3.09/3.13 c Elapsed CPU time: 3.12453 s Remaining CPU time: 1796.88 s 3.09/3.15 c ============================[ Search Statistics ]============================== 3.09/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.15 c =============================================================================== 3.09/3.15 c | 0 | 1070 18579 37438 | 6193 0 nan | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c core #256 3.09/3.15 c Core size: 13 Core Weight: 1 Total Weight: -194 3.09/3.15 c Elapsed CPU time: 3.14152 s Remaining CPU time: 1796.86 s 3.09/3.17 c ============================[ Search Statistics ]============================== 3.09/3.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.17 c =============================================================================== 3.09/3.17 c | 0 | 1076 18580 37450 | 6193 0 nan | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c core #257 3.09/3.17 c Core size: 13 Core Weight: 1 Total Weight: -193 3.09/3.17 c Elapsed CPU time: 3.15752 s Remaining CPU time: 1796.84 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 | 1082 18581 37462 | 6193 0 nan | 0.000 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c core #258 3.09/3.18 c Core size: 10 Core Weight: 1 Total Weight: -192 3.09/3.18 c Elapsed CPU time: 3.17252 s Remaining CPU time: 1796.83 s 3.19/3.20 c ============================[ Search Statistics ]============================== 3.19/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.20 c =============================================================================== 3.19/3.20 c | 0 | 1086 18582 37470 | 6194 0 nan | 0.000 % | 3.19/3.20 c =============================================================================== 3.19/3.20 c core #259 3.19/3.20 c Core size: 10 Core Weight: 1 Total Weight: -191 3.19/3.20 c Elapsed CPU time: 3.18851 s Remaining CPU time: 1796.81 s 3.19/3.21 c ============================[ Search Statistics ]============================== 3.19/3.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.21 c =============================================================================== 3.19/3.21 c | 0 | 1090 18583 37478 | 6194 0 nan | 0.000 % | 3.19/3.22 c =============================================================================== 3.19/3.22 c core #260 3.19/3.22 c Core size: 13 Core Weight: 1 Total Weight: -190 3.19/3.22 c Elapsed CPU time: 3.20551 s Remaining CPU time: 1796.79 s 3.19/3.23 c ============================[ Search Statistics ]============================== 3.19/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.23 c =============================================================================== 3.19/3.23 c | 0 | 1096 18584 37490 | 6194 0 nan | 0.000 % | 3.19/3.23 c =============================================================================== 3.19/3.23 c core #261 3.19/3.23 c Core size: 10 Core Weight: 1 Total Weight: -189 3.19/3.23 c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s 3.19/3.25 c ============================[ Search Statistics ]============================== 3.19/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.25 c =============================================================================== 3.19/3.25 c | 0 | 1100 18585 37498 | 6195 0 nan | 0.000 % | 3.19/3.25 c =============================================================================== 3.19/3.25 c core #262 3.19/3.25 c Core size: 13 Core Weight: 1 Total Weight: -188 3.19/3.25 c Elapsed CPU time: 3.23751 s Remaining CPU time: 1796.76 s 3.19/3.26 c ============================[ Search Statistics ]============================== 3.19/3.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.26 c =============================================================================== 3.19/3.26 c | 0 | 1106 18586 37510 | 6195 0 nan | 0.000 % | 3.19/3.27 c =============================================================================== 3.19/3.27 c core #263 3.19/3.27 c Core size: 13 Core Weight: 1 Total Weight: -187 3.19/3.27 c Elapsed CPU time: 3.2545 s Remaining CPU time: 1796.75 s 3.19/3.28 c ============================[ Search Statistics ]============================== 3.19/3.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.28 c =============================================================================== 3.19/3.28 c | 0 | 1112 18587 37522 | 6195 0 nan | 0.000 % | 3.19/3.28 c =============================================================================== 3.19/3.28 c core #264 3.19/3.28 c Core size: 13 Core Weight: 1 Total Weight: -186 3.19/3.28 c Elapsed CPU time: 3.2725 s Remaining CPU time: 1796.73 s 3.19/3.30 c ============================[ Search Statistics ]============================== 3.19/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.30 c =============================================================================== 3.19/3.30 c | 0 | 1118 18588 37534 | 6196 0 nan | 0.000 % | 3.29/3.30 c =============================================================================== 3.29/3.30 c core #265 3.29/3.30 c Core size: 13 Core Weight: 1 Total Weight: -185 3.29/3.30 c Elapsed CPU time: 3.2905 s Remaining CPU time: 1796.71 s 3.29/3.32 c ============================[ Search Statistics ]============================== 3.29/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.32 c =============================================================================== 3.29/3.32 c | 0 | 1124 18589 37546 | 6196 0 nan | 0.000 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c core #266 3.29/3.32 c Core size: 13 Core Weight: 1 Total Weight: -184 3.29/3.32 c Elapsed CPU time: 3.3075 s Remaining CPU time: 1796.69 s 3.29/3.34 c ============================[ Search Statistics ]============================== 3.29/3.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.34 c =============================================================================== 3.29/3.34 c | 0 | 1130 18590 37558 | 6196 0 nan | 0.000 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c core #267 3.29/3.34 c Core size: 13 Core Weight: 1 Total Weight: -183 3.29/3.34 c Elapsed CPU time: 3.32449 s Remaining CPU time: 1796.68 s 3.29/3.35 c ============================[ Search Statistics ]============================== 3.29/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.35 c =============================================================================== 3.29/3.35 c | 0 | 1136 18591 37570 | 6197 0 nan | 0.000 % | 3.29/3.36 c =============================================================================== 3.29/3.36 c core #268 3.29/3.36 c Core size: 13 Core Weight: 1 Total Weight: -182 3.29/3.36 c Elapsed CPU time: 3.34149 s Remaining CPU time: 1796.66 s 3.29/3.37 c ============================[ Search Statistics ]============================== 3.29/3.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.37 c =============================================================================== 3.29/3.37 c | 0 | 1142 18592 37582 | 6197 0 nan | 0.000 % | 3.29/3.37 c =============================================================================== 3.29/3.38 c core #269 3.29/3.38 c Core size: 37 Core Weight: 1 Total Weight: -181 3.29/3.38 c Elapsed CPU time: 3.35949 s Remaining CPU time: 1796.64 s 3.29/3.39 c ============================[ Search Statistics ]============================== 3.29/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.39 c =============================================================================== 3.29/3.39 c | 0 | 1152 18593 37602 | 6197 0 nan | 0.000 % | 3.29/3.39 c =============================================================================== 3.29/3.39 c core #270 3.29/3.39 c Core size: 18 Core Weight: 1 Total Weight: -180 3.29/3.39 c Elapsed CPU time: 3.37749 s Remaining CPU time: 1796.62 s 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 1158 18594 37614 | 6198 0 nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c core #271 3.39/3.41 c Core size: 13 Core Weight: 1 Total Weight: -179 3.39/3.41 c Elapsed CPU time: 3.39448 s Remaining CPU time: 1796.61 s 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 1164 18595 37626 | 6198 0 nan | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c core #272 3.39/3.43 c Core size: 13 Core Weight: 1 Total Weight: -178 3.39/3.43 c Elapsed CPU time: 3.41248 s Remaining CPU time: 1796.59 s 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 1170 18596 37638 | 6198 0 nan | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c core #273 3.39/3.45 c Core size: 38 Core Weight: 1 Total Weight: -177 3.39/3.45 c Elapsed CPU time: 3.43048 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 | 1186 18597 37670 | 6199 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #274 3.39/3.47 c Core size: 10 Core Weight: 1 Total Weight: -176 3.39/3.47 c Elapsed CPU time: 3.44747 s Remaining CPU time: 1796.55 s 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 1190 18598 37678 | 6199 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #275 3.39/3.48 c Core size: 13 Core Weight: 1 Total Weight: -175 3.39/3.48 c Elapsed CPU time: 3.46447 s Remaining CPU time: 1796.54 s 3.48/3.50 c ============================[ Search Statistics ]============================== 3.48/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.50 c =============================================================================== 3.48/3.50 c | 0 | 1196 18599 37690 | 6199 0 nan | 0.000 % | 3.48/3.50 c =============================================================================== 3.48/3.50 c core #276 3.48/3.50 c Core size: 13 Core Weight: 1 Total Weight: -174 3.48/3.50 c Elapsed CPU time: 3.48347 s Remaining CPU time: 1796.52 s 3.48/3.52 c ============================[ Search Statistics ]============================== 3.48/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.52 c =============================================================================== 3.48/3.52 c | 0 | 1202 18600 37702 | 6200 0 nan | 0.000 % | 3.48/3.52 c =============================================================================== 3.48/3.52 c core #277 3.48/3.52 c Core size: 13 Core Weight: 1 Total Weight: -173 3.48/3.52 c Elapsed CPU time: 3.50047 s Remaining CPU time: 1796.5 s 3.48/3.54 c ============================[ Search Statistics ]============================== 3.48/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.54 c =============================================================================== 3.48/3.54 c | 0 | 1208 18601 37714 | 6200 0 nan | 0.000 % | 3.48/3.54 c =============================================================================== 3.48/3.54 c core #278 3.48/3.54 c Core size: 13 Core Weight: 1 Total Weight: -172 3.48/3.54 c Elapsed CPU time: 3.51846 s Remaining CPU time: 1796.48 s 3.48/3.56 c ============================[ Search Statistics ]============================== 3.48/3.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.56 c =============================================================================== 3.48/3.56 c | 0 | 1214 18602 37726 | 6200 0 nan | 0.000 % | 3.48/3.56 c =============================================================================== 3.48/3.56 c core #279 3.48/3.56 c Core size: 13 Core Weight: 1 Total Weight: -171 3.48/3.56 c Elapsed CPU time: 3.53546 s Remaining CPU time: 1796.46 s 3.48/3.57 c ============================[ Search Statistics ]============================== 3.48/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.58 c =============================================================================== 3.48/3.58 c | 0 | 1220 18603 37738 | 6201 0 nan | 0.000 % | 3.48/3.58 c =============================================================================== 3.48/3.58 c core #280 3.48/3.58 c Core size: 31 Core Weight: 1 Total Weight: -170 3.48/3.58 c Elapsed CPU time: 3.55246 s Remaining CPU time: 1796.45 s 3.48/3.59 c ============================[ Search Statistics ]============================== 3.48/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.48/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.48/3.59 c =============================================================================== 3.48/3.59 c | 0 | 1234 18604 37766 | 6201 0 nan | 0.000 % | 3.48/3.60 c =============================================================================== 3.48/3.60 c core #281 3.48/3.60 c Core size: 13 Core Weight: 1 Total Weight: -169 3.48/3.60 c Elapsed CPU time: 3.57046 s Remaining CPU time: 1796.43 s 3.59/3.61 c ============================[ Search Statistics ]============================== 3.59/3.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.61 c =============================================================================== 3.59/3.61 c | 0 | 1240 18605 37778 | 6201 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.62 c core #282 3.59/3.62 c Core size: 13 Core Weight: 1 Total Weight: -168 3.59/3.62 c Elapsed CPU time: 3.58845 s Remaining CPU time: 1796.41 s 3.59/3.63 c ============================[ Search Statistics ]============================== 3.59/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.63 c =============================================================================== 3.59/3.63 c | 0 | 1246 18606 37790 | 6202 0 nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c core #283 3.59/3.63 c Core size: 10 Core Weight: 1 Total Weight: -167 3.59/3.63 c Elapsed CPU time: 3.60645 s Remaining CPU time: 1796.39 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 | 1250 18607 37798 | 6202 0 nan | 0.000 % | 3.59/3.65 c =============================================================================== 3.59/3.65 c core #284 3.59/3.65 c Core size: 13 Core Weight: 1 Total Weight: -166 3.59/3.65 c Elapsed CPU time: 3.62645 s Remaining CPU time: 1796.37 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 | 1256 18608 37810 | 6202 0 nan | 0.000 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c core #285 3.59/3.67 c Core size: 21 Core Weight: 1 Total Weight: -165 3.59/3.67 c Elapsed CPU time: 3.64345 s Remaining CPU time: 1796.36 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 | 1264 18609 37826 | 6203 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #286 3.59/3.69 c Core size: 10 Core Weight: 1 Total Weight: -164 3.59/3.69 c Elapsed CPU time: 3.66044 s Remaining CPU time: 1796.34 s 3.68/3.71 c ============================[ Search Statistics ]============================== 3.68/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.71 c =============================================================================== 3.68/3.71 c | 0 | 1268 18610 37834 | 6203 0 nan | 0.000 % | 3.68/3.71 c =============================================================================== 3.68/3.71 c core #287 3.68/3.71 c Core size: 13 Core Weight: 1 Total Weight: -163 3.68/3.71 c Elapsed CPU time: 3.67744 s Remaining CPU time: 1796.32 s 3.68/3.73 c ============================[ Search Statistics ]============================== 3.68/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.73 c =============================================================================== 3.68/3.73 c | 0 | 1274 18611 37846 | 6203 0 nan | 0.000 % | 3.68/3.73 c =============================================================================== 3.68/3.73 c core #288 3.68/3.73 c Core size: 10 Core Weight: 1 Total Weight: -162 3.68/3.73 c Elapsed CPU time: 3.69444 s Remaining CPU time: 1796.31 s 3.68/3.74 c ============================[ Search Statistics ]============================== 3.68/3.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.74 c =============================================================================== 3.68/3.74 c | 0 | 1278 18612 37854 | 6204 0 nan | 0.000 % | 3.68/3.75 c =============================================================================== 3.68/3.75 c core #289 3.68/3.75 c Core size: 13 Core Weight: 1 Total Weight: -161 3.68/3.75 c Elapsed CPU time: 3.71244 s Remaining CPU time: 1796.29 s 3.68/3.76 c ============================[ Search Statistics ]============================== 3.68/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.76 c =============================================================================== 3.68/3.76 c | 0 | 1284 18613 37866 | 6204 0 nan | 0.000 % | 3.68/3.76 c =============================================================================== 3.68/3.76 c core #290 3.68/3.76 c Core size: 13 Core Weight: 1 Total Weight: -160 3.68/3.76 c Elapsed CPU time: 3.72843 s Remaining CPU time: 1796.27 s 3.68/3.78 c ============================[ Search Statistics ]============================== 3.68/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.78 c =============================================================================== 3.68/3.78 c | 0 | 1290 18614 37878 | 6204 0 nan | 0.000 % | 3.68/3.78 c =============================================================================== 3.68/3.78 c core #291 3.68/3.78 c Core size: 10 Core Weight: 1 Total Weight: -159 3.68/3.78 c Elapsed CPU time: 3.74543 s Remaining CPU time: 1796.25 s 3.68/3.80 c ============================[ Search Statistics ]============================== 3.68/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.80 c =============================================================================== 3.68/3.80 c | 0 | 1294 18615 37886 | 6205 0 nan | 0.000 % | 3.78/3.80 c =============================================================================== 3.78/3.80 c core #292 3.78/3.80 c Core size: 18 Core Weight: 1 Total Weight: -158 3.78/3.80 c Elapsed CPU time: 3.76243 s Remaining CPU time: 1796.24 s 3.78/3.81 c ============================[ Search Statistics ]============================== 3.78/3.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.81 c =============================================================================== 3.78/3.81 c | 0 | 1300 18616 37898 | 6205 0 nan | 0.000 % | 3.78/3.81 c =============================================================================== 3.78/3.81 c core #293 3.78/3.81 c Core size: 26 Core Weight: 1 Total Weight: -157 3.78/3.81 c Elapsed CPU time: 3.77942 s Remaining CPU time: 1796.22 s 3.78/3.83 c ============================[ Search Statistics ]============================== 3.78/3.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.83 c =============================================================================== 3.78/3.83 c | 0 | 1308 18617 37914 | 6205 0 nan | 0.000 % | 3.78/3.83 c =============================================================================== 3.78/3.83 c core #294 3.78/3.83 c Core size: 13 Core Weight: 1 Total Weight: -156 3.78/3.83 c Elapsed CPU time: 3.79742 s Remaining CPU time: 1796.2 s 3.78/3.85 c ============================[ Search Statistics ]============================== 3.78/3.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.85 c =============================================================================== 3.78/3.85 c | 0 | 1314 18618 37926 | 6206 0 nan | 0.000 % | 3.78/3.85 c =============================================================================== 3.78/3.85 c core #295 3.78/3.85 c Core size: 29 Core Weight: 1 Total Weight: -155 3.78/3.85 c Elapsed CPU time: 3.81542 s Remaining CPU time: 1796.18 s 3.78/3.87 c ============================[ Search Statistics ]============================== 3.78/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.87 c =============================================================================== 3.78/3.87 c | 0 | 1326 18619 37950 | 6206 0 nan | 0.000 % | 3.78/3.87 c =============================================================================== 3.78/3.87 c core #296 3.78/3.87 c Core size: 21 Core Weight: 1 Total Weight: -154 3.78/3.87 c Elapsed CPU time: 3.83342 s Remaining CPU time: 1796.17 s 3.78/3.88 c ============================[ Search Statistics ]============================== 3.78/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.78/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.78/3.88 c =============================================================================== 3.78/3.88 c | 0 | 1336 18620 37970 | 6206 0 nan | 0.000 % | 3.78/3.89 c =============================================================================== 3.78/3.89 c core #297 3.78/3.89 c Core size: 25 Core Weight: 1 Total Weight: -153 3.78/3.89 c Elapsed CPU time: 3.85141 s Remaining CPU time: 1796.15 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 | 1344 18621 37986 | 6207 0 nan | 0.000 % | 3.88/3.90 c =============================================================================== 3.88/3.90 c core #298 3.88/3.90 c Core size: 10 Core Weight: 1 Total Weight: -152 3.88/3.90 c Elapsed CPU time: 3.87041 s Remaining CPU time: 1796.13 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 | 1348 18622 37994 | 6207 0 nan | 0.000 % | 3.88/3.92 c =============================================================================== 3.88/3.92 c core #299 3.88/3.92 c Core size: 13 Core Weight: 1 Total Weight: -151 3.88/3.92 c Elapsed CPU time: 3.88741 s Remaining CPU time: 1796.11 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 | 1354 18623 38006 | 6207 0 nan | 0.000 % | 3.88/3.94 c =============================================================================== 3.88/3.94 c core #300 3.88/3.94 c Core size: 10 Core Weight: 1 Total Weight: -150 3.88/3.94 c Elapsed CPU time: 3.90441 s Remaining CPU time: 1796.1 s 3.88/3.95 c ============================[ Search Statistics ]============================== 3.88/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.95 c =============================================================================== 3.88/3.95 c | 0 | 1358 18624 38014 | 6208 0 nan | 0.000 % | 3.88/3.96 c =============================================================================== 3.88/3.96 c core #301 3.88/3.96 c Core size: 18 Core Weight: 1 Total Weight: -149 3.88/3.96 c Elapsed CPU time: 3.9214 s Remaining CPU time: 1796.08 s 3.88/3.97 c ============================[ Search Statistics ]============================== 3.88/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.97 c =============================================================================== 3.88/3.97 c | 0 | 1364 18625 38026 | 6208 0 nan | 0.000 % | 3.88/3.97 c =============================================================================== 3.88/3.97 c core #302 3.88/3.97 c Core size: 26 Core Weight: 1 Total Weight: -148 3.88/3.97 c Elapsed CPU time: 3.9384 s Remaining CPU time: 1796.06 s 3.88/3.99 c ============================[ Search Statistics ]============================== 3.88/3.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.99 c =============================================================================== 3.88/3.99 c | 0 | 1372 18626 38042 | 6208 0 nan | 0.000 % | 3.88/3.99 c =============================================================================== 3.88/3.99 c core #303 3.88/3.99 c Core size: 10 Core Weight: 1 Total Weight: -147 3.88/3.99 c Elapsed CPU time: 3.9564 s Remaining CPU time: 1796.04 s 3.98/4.01 c ============================[ Search Statistics ]============================== 3.98/4.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.01 c =============================================================================== 3.98/4.01 c | 0 | 1376 18627 38050 | 6209 0 nan | 0.000 % | 3.98/4.01 c =============================================================================== 3.98/4.01 c core #304 3.98/4.01 c Core size: 10 Core Weight: 1 Total Weight: -146 3.98/4.01 c Elapsed CPU time: 3.9764 s Remaining CPU time: 1796.02 s 3.98/4.03 c ============================[ Search Statistics ]============================== 3.98/4.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.03 c =============================================================================== 3.98/4.03 c | 0 | 1380 18628 38058 | 6209 0 nan | 0.000 % | 3.98/4.03 c =============================================================================== 3.98/4.03 c core #305 3.98/4.03 c Core size: 18 Core Weight: 1 Total Weight: -145 3.98/4.03 c Elapsed CPU time: 3.99439 s Remaining CPU time: 1796.01 s 3.98/4.05 c ============================[ Search Statistics ]============================== 3.98/4.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.05 c =============================================================================== 3.98/4.05 c | 0 | 1386 18629 38070 | 6209 0 nan | 0.000 % | 3.98/4.05 c =============================================================================== 3.98/4.05 c core #306 3.98/4.05 c Core size: 10 Core Weight: 1 Total Weight: -144 3.98/4.05 c Elapsed CPU time: 4.01339 s Remaining CPU time: 1795.99 s 3.98/4.07 c ============================[ Search Statistics ]============================== 3.98/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.07 c =============================================================================== 3.98/4.07 c | 0 | 1390 18630 38078 | 6210 0 nan | 0.000 % | 3.98/4.07 c =============================================================================== 3.98/4.07 c core #307 3.98/4.07 c Core size: 13 Core Weight: 1 Total Weight: -143 3.98/4.07 c Elapsed CPU time: 4.03239 s Remaining CPU time: 1795.97 s 3.98/4.08 c ============================[ Search Statistics ]============================== 3.98/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.98/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.98/4.08 c =============================================================================== 3.98/4.08 c | 0 | 1396 18631 38090 | 6210 0 nan | 0.000 % | 3.98/4.09 c =============================================================================== 3.98/4.09 c core #308 3.98/4.09 c Core size: 17 Core Weight: 1 Total Weight: -142 3.98/4.09 c Elapsed CPU time: 4.05038 s Remaining CPU time: 1795.95 s 4.08/4.10 c ============================[ Search Statistics ]============================== 4.08/4.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.10 c =============================================================================== 4.08/4.10 c | 0 | 1404 18632 38106 | 6210 0 nan | 0.000 % | 4.08/4.11 c =============================================================================== 4.08/4.11 c core #309 4.08/4.11 c Core size: 10 Core Weight: 1 Total Weight: -141 4.08/4.11 c Elapsed CPU time: 4.06838 s Remaining CPU time: 1795.93 s 4.08/4.12 c ============================[ Search Statistics ]============================== 4.08/4.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.12 c =============================================================================== 4.08/4.12 c | 0 | 1408 18633 38114 | 6211 0 nan | 0.000 % | 4.08/4.13 c =============================================================================== 4.08/4.13 c core #310 4.08/4.13 c Core size: 41 Core Weight: 1 Total Weight: -140 4.08/4.13 c Elapsed CPU time: 4.08838 s Remaining CPU time: 1795.91 s 4.08/4.14 c ============================[ Search Statistics ]============================== 4.08/4.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.14 c =============================================================================== 4.08/4.14 c | 0 | 1418 18634 38134 | 6211 0 nan | 0.000 % | 4.08/4.15 c =============================================================================== 4.08/4.15 c core #311 4.08/4.15 c Core size: 79 Core Weight: 1 Total Weight: -139 4.08/4.15 c Elapsed CPU time: 4.10938 s Remaining CPU time: 1795.89 s 4.08/4.16 c ============================[ Search Statistics ]============================== 4.08/4.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.16 c =============================================================================== 4.08/4.16 c | 0 | 1442 18635 38182 | 6211 0 nan | 0.000 % | 4.08/4.17 c =============================================================================== 4.08/4.17 c core #312 4.08/4.17 c Core size: 65 Core Weight: 1 Total Weight: -138 4.08/4.17 c Elapsed CPU time: 4.13037 s Remaining CPU time: 1795.87 s 4.08/4.19 c ============================[ Search Statistics ]============================== 4.08/4.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.19 c =============================================================================== 4.08/4.19 c | 0 | 1459 18636 38216 | 6212 0 nan | 0.000 % | 4.08/4.19 c | 102 | 1459 18636 38216 | 6833 102 14 | 0.000 % | 4.08/4.19 c =============================================================================== 4.08/4.19 c core #313 4.08/4.19 c Core size: 123 Core Weight: 1 Total Weight: -137 4.08/4.19 c Elapsed CPU time: 4.15637 s Remaining CPU time: 1795.84 s 4.17/4.21 c ============================[ Search Statistics ]============================== 4.17/4.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.17/4.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.17/4.21 c =============================================================================== 4.17/4.21 c | 0 | 1488 18637 38274 | 6212 0 nan | 0.000 % | 4.17/4.22 c =============================================================================== 4.17/4.22 c core #314 4.17/4.22 c Core size: 30 Core Weight: 1 Total Weight: -136 4.17/4.22 c Elapsed CPU time: 4.17436 s Remaining CPU time: 1795.83 s 4.17/4.23 c ============================[ Search Statistics ]============================== 4.17/4.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.17/4.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.17/4.23 c =============================================================================== 4.17/4.23 c | 0 | 1496 18638 38290 | 6212 0 nan | 0.000 % | 4.17/4.24 c =============================================================================== 4.17/4.24 c core #315 4.17/4.24 c Core size: 30 Core Weight: 1 Total Weight: -135 4.17/4.24 c Elapsed CPU time: 4.19436 s Remaining CPU time: 1795.81 s 4.17/4.26 c ============================[ Search Statistics ]============================== 4.17/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.17/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.17/4.26 c =============================================================================== 4.17/4.26 c | 0 | 1504 18639 38306 | 6213 0 nan | 0.000 % | 4.17/4.26 c =============================================================================== 4.17/4.26 c core #316 4.17/4.26 c Core size: 102 Core Weight: 1 Total Weight: -134 4.17/4.26 c Elapsed CPU time: 4.21736 s Remaining CPU time: 1795.78 s 4.17/4.28 c ============================[ Search Statistics ]============================== 4.17/4.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.17/4.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.17/4.28 c =============================================================================== 4.17/4.28 c | 0 | 1523 18640 38344 | 6213 0 nan | 0.000 % | 4.17/4.28 c | 100 | 1523 18640 38344 | 6834 100 13 | 0.000 % | 4.17/4.28 c | 252 | 1523 18640 38344 | 7518 252 16 | 0.000 % | 4.17/4.29 c =============================================================================== 4.17/4.29 c core #317 4.17/4.29 c Core size: 140 Core Weight: 1 Total Weight: -133 4.17/4.29 c Elapsed CPU time: 4.24935 s Remaining CPU time: 1795.75 s 4.28/4.31 c ============================[ Search Statistics ]============================== 4.28/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.28/4.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.28/4.31 c =============================================================================== 4.28/4.31 c | 0 | 1550 18641 38398 | 6213 0 nan | 0.000 % | 4.28/4.32 c =============================================================================== 4.28/4.32 c core #318 4.28/4.32 c Core size: 81 Core Weight: 1 Total Weight: -132 4.28/4.32 c Elapsed CPU time: 4.27235 s Remaining CPU time: 1795.73 s 4.28/4.33 c ============================[ Search Statistics ]============================== 4.28/4.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.28/4.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.28/4.33 c =============================================================================== 4.28/4.33 c | 0 | 1574 18642 38446 | 6214 0 nan | 0.000 % | 4.28/4.34 c | 103 | 1574 18642 38446 | 6835 103 10 | 0.000 % | 4.28/4.34 c =============================================================================== 4.28/4.34 c core #319 4.28/4.34 c Core size: 162 Core Weight: 1 Total Weight: -131 4.28/4.34 c Elapsed CPU time: 4.29635 s Remaining CPU time: 1795.7 s 4.28/4.36 c ============================[ Search Statistics ]============================== 4.28/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.28/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.28/4.36 c =============================================================================== 4.28/4.36 c | 0 | 1615 18643 38528 | 6214 0 nan | 0.000 % | 4.28/4.36 c | 102 | 1615 18643 38528 | 6835 102 18 | 0.000 % | 4.28/4.37 c =============================================================================== 4.28/4.37 c core #320 4.28/4.37 c Core size: 62 Core Weight: 1 Total Weight: -130 4.28/4.37 c Elapsed CPU time: 4.32134 s Remaining CPU time: 1795.68 s 4.28/4.38 c ============================[ Search Statistics ]============================== 4.28/4.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.28/4.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.28/4.38 c =============================================================================== 4.28/4.38 c | 0 | 1635 18644 38568 | 6214 0 nan | 0.000 % | 4.28/4.39 c =============================================================================== 4.28/4.39 c core #321 4.28/4.39 c Core size: 62 Core Weight: 1 Total Weight: -129 4.28/4.39 c Elapsed CPU time: 4.34234 s Remaining CPU time: 1795.66 s 4.38/4.41 c ============================[ Search Statistics ]============================== 4.38/4.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.38/4.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.38/4.41 c =============================================================================== 4.38/4.41 c | 0 | 1653 18645 38604 | 6215 0 nan | 0.000 % | 4.38/4.41 c =============================================================================== 4.38/4.41 c core #322 4.38/4.41 c Core size: 83 Core Weight: 1 Total Weight: -128 4.38/4.41 c Elapsed CPU time: 4.36734 s Remaining CPU time: 1795.63 s 4.38/4.43 c ============================[ Search Statistics ]============================== 4.38/4.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.38/4.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.38/4.43 c =============================================================================== 4.38/4.43 c | 0 | 1679 18646 38656 | 6215 0 nan | 0.000 % | 4.38/4.44 c =============================================================================== 4.38/4.44 c core #323 4.38/4.44 c Core size: 22 Core Weight: 1 Total Weight: -127 4.38/4.44 c Elapsed CPU time: 4.38933 s Remaining CPU time: 1795.61 s 4.38/4.45 c ============================[ Search Statistics ]============================== 4.38/4.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.38/4.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.38/4.45 c =============================================================================== 4.38/4.45 c | 0 | 1685 18647 38668 | 6215 0 nan | 0.000 % | 4.38/4.46 c =============================================================================== 4.38/4.46 c core #324 4.38/4.46 c Core size: 49 Core Weight: 1 Total Weight: -126 4.38/4.46 c Elapsed CPU time: 4.41033 s Remaining CPU time: 1795.59 s 4.38/4.48 c ============================[ Search Statistics ]============================== 4.38/4.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.38/4.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.38/4.48 c =============================================================================== 4.38/4.48 c | 0 | 1703 18648 38704 | 6216 0 nan | 0.000 % | 4.38/4.48 c | 101 | 1703 18648 38704 | 6837 101 12 | 0.005 % | 4.38/4.49 c =============================================================================== 4.38/4.49 c core #325 4.38/4.49 c Core size: 79 Core Weight: 1 Total Weight: -125 4.38/4.49 c Elapsed CPU time: 4.43532 s Remaining CPU time: 1795.56 s 4.47/4.51 c ============================[ Search Statistics ]============================== 4.47/4.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.51 c =============================================================================== 4.47/4.51 c | 0 | 1727 18649 38752 | 6216 0 nan | 0.000 % | 4.47/4.51 c =============================================================================== 4.47/4.51 c core #326 4.47/4.51 c Core size: 107 Core Weight: 1 Total Weight: -124 4.47/4.51 c Elapsed CPU time: 4.45832 s Remaining CPU time: 1795.54 s 4.47/4.53 c ============================[ Search Statistics ]============================== 4.47/4.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.53 c =============================================================================== 4.47/4.53 c | 0 | 1757 18650 38812 | 6216 0 nan | 0.000 % | 4.47/4.54 c | 100 | 1757 18650 38812 | 6838 100 7 | 0.000 % | 4.47/4.54 c =============================================================================== 4.47/4.54 c core #327 4.47/4.54 c Core size: 106 Core Weight: 1 Total Weight: -123 4.47/4.54 c Elapsed CPU time: 4.48732 s Remaining CPU time: 1795.51 s 4.47/4.56 c ============================[ Search Statistics ]============================== 4.47/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.56 c =============================================================================== 4.47/4.56 c | 0 | 1789 18651 38876 | 6217 0 nan | 0.000 % | 4.47/4.57 c | 103 | 1788 18651 38876 | 6838 103 8 | 0.056 % | 4.47/4.57 c =============================================================================== 4.47/4.57 c core #328 4.47/4.57 c Core size: 195 Core Weight: 1 Total Weight: -122 4.47/4.57 c Elapsed CPU time: 4.51831 s Remaining CPU time: 1795.48 s 4.47/4.59 c ============================[ Search Statistics ]============================== 4.47/4.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.47/4.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.47/4.59 c =============================================================================== 4.47/4.59 c | 0 | 1825 18652 38948 | 6217 0 nan | 0.000 % | 4.57/4.60 c | 101 | 1825 18652 38948 | 6839 101 9 | 0.000 % | 4.57/4.61 c | 252 | 1824 18652 38948 | 7522 252 9 | 0.055 % | 4.57/4.61 c =============================================================================== 4.57/4.61 c core #329 4.57/4.61 c Core size: 265 Core Weight: 1 Total Weight: -121 4.57/4.61 c Elapsed CPU time: 4.55531 s Remaining CPU time: 1795.44 s 4.57/4.63 c ============================[ Search Statistics ]============================== 4.57/4.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.57/4.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.57/4.63 c =============================================================================== 4.57/4.63 c | 0 | 1878 18653 39054 | 6217 0 nan | 0.000 % | 4.57/4.64 c | 100 | 1878 18653 39054 | 6839 100 11 | 0.053 % | 4.57/4.64 c =============================================================================== 4.57/4.64 c core #330 4.57/4.64 c Core size: 44 Core Weight: 1 Total Weight: -120 4.57/4.64 c Elapsed CPU time: 4.5853 s Remaining CPU time: 1795.41 s 4.57/4.66 c ============================[ Search Statistics ]============================== 4.57/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.57/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.57/4.66 c =============================================================================== 4.57/4.66 c | 0 | 1894 18654 39086 | 6218 0 nan | 0.000 % | 4.57/4.67 c | 100 | 1894 18654 39086 | 6839 100 13 | 0.000 % | 4.57/4.67 c =============================================================================== 4.57/4.67 c core #331 4.57/4.67 c Core size: 52 Core Weight: 1 Total Weight: -119 4.57/4.67 c Elapsed CPU time: 4.6123 s Remaining CPU time: 1795.39 s 4.57/4.69 c ============================[ Search Statistics ]============================== 4.57/4.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.57/4.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.57/4.69 c =============================================================================== 4.57/4.69 c | 0 | 1910 18655 39118 | 6218 0 nan | 0.000 % | 4.66/4.70 c =============================================================================== 4.66/4.70 c core #332 4.66/4.70 c Core size: 78 Core Weight: 1 Total Weight: -118 4.66/4.70 c Elapsed CPU time: 4.63829 s Remaining CPU time: 1795.36 s 4.66/4.72 c ============================[ Search Statistics ]============================== 4.66/4.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.66/4.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.66/4.72 c =============================================================================== 4.66/4.72 c | 0 | 1932 18656 39162 | 6218 0 nan | 0.000 % | 4.66/4.72 c | 101 | 1931 18656 39162 | 6840 101 13 | 0.055 % | 4.66/4.73 c | 258 | 1907 18656 39162 | 7524 258 20 | 6.315 % | 4.66/4.74 c | 483 | 1907 18656 39162 | 8277 483 25 | 6.315 % | 4.66/4.76 c | 821 | 1903 18656 39162 | 9104 821 28 | 8.592 % | 4.66/4.79 c | 1328 | 1898 18656 39162 | 10015 1328 31 | 8.644 % | 4.77/4.83 c =============================================================================== 4.77/4.84 c core #333 4.77/4.84 c Core size: 161 Core Weight: 1 Total Weight: -117 4.77/4.84 c Elapsed CPU time: 4.77327 s Remaining CPU time: 1795.23 s 4.77/4.86 c ============================[ Search Statistics ]============================== 4.77/4.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.77/4.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.77/4.86 c =============================================================================== 4.77/4.86 c | 0 | 1973 18657 39244 | 6219 0 nan | 0.000 % | 4.77/4.87 c | 102 | 1973 18657 39244 | 6840 102 26 | 0.000 % | 4.77/4.88 c | 252 | 1972 18657 39244 | 7524 252 24 | 0.051 % | 4.77/4.89 c | 479 | 1972 18657 39244 | 8277 479 22 | 0.051 % | 4.77/4.89 c =============================================================================== 4.77/4.89 c core #334 4.77/4.89 c Core size: 186 Core Weight: 1 Total Weight: -116 4.77/4.89 c Elapsed CPU time: 4.82627 s Remaining CPU time: 1795.17 s 4.86/4.91 c ============================[ Search Statistics ]============================== 4.86/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.86/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.86/4.91 c =============================================================================== 4.86/4.91 c | 0 | 2023 18658 39344 | 6219 0 nan | 0.000 % | 4.86/4.92 c | 104 | 2023 18658 39344 | 6841 104 15 | 0.000 % | 4.86/4.93 c | 254 | 2023 18658 39344 | 7525 254 15 | 0.000 % | 4.86/4.94 c | 479 | 2023 18658 39344 | 8277 479 16 | 0.000 % | 4.86/4.95 c =============================================================================== 4.86/4.96 c core #335 4.86/4.96 c Core size: 379 Core Weight: 1 Total Weight: -115 4.86/4.96 c Elapsed CPU time: 4.88826 s Remaining CPU time: 1795.11 s 4.86/4.98 c ============================[ Search Statistics ]============================== 4.86/4.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.86/4.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.86/4.98 c =============================================================================== 4.86/4.98 c | 0 | 2081 18659 39460 | 6219 0 nan | 0.000 % | 4.86/4.99 c =============================================================================== 4.86/4.99 c core #336 4.86/4.99 c Core size: 35 Core Weight: 1 Total Weight: -114 4.86/4.99 c Elapsed CPU time: 4.91425 s Remaining CPU time: 1795.09 s 4.96/5.00 c ============================[ Search Statistics ]============================== 4.96/5.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.96/5.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.96/5.01 c =============================================================================== 4.96/5.01 c | 0 | 2091 18660 39480 | 6220 0 nan | 0.000 % | 4.96/5.01 c | 101 | 2091 18660 39480 | 6842 101 15 | 0.000 % | 4.96/5.02 c | 251 | 2091 18660 39480 | 7526 251 14 | 0.000 % | 4.96/5.03 c | 477 | 2088 18660 39480 | 8278 473 19 | 0.143 % | 4.96/5.05 c | 814 | 2088 18660 39480 | 9106 810 21 | 0.143 % | 4.96/5.09 c | 1321 | 2087 18660 39480 | 10017 1313 21 | 0.191 % | 5.06/5.11 c =============================================================================== 5.06/5.12 c core #337 5.06/5.12 c Core size: 634 Core Weight: 1 Total Weight: -113 5.06/5.12 c Elapsed CPU time: 5.04423 s Remaining CPU time: 1794.96 s 5.06/5.15 c ============================[ Search Statistics ]============================== 5.06/5.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.06/5.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.06/5.15 c =============================================================================== 5.06/5.15 c | 0 | 2169 18661 39636 | 6220 0 nan | 0.000 % | 5.06/5.16 c | 100 | 2169 18661 39636 | 6842 100 15 | 0.000 % | 5.06/5.16 c =============================================================================== 5.06/5.16 c core #338 5.06/5.16 c Core size: 42 Core Weight: 1 Total Weight: -112 5.06/5.16 c Elapsed CPU time: 5.07623 s Remaining CPU time: 1794.92 s 5.06/5.18 c ============================[ Search Statistics ]============================== 5.06/5.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.06/5.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.06/5.18 c =============================================================================== 5.06/5.18 c | 0 | 2179 18662 39656 | 6220 0 nan | 0.000 % | 5.06/5.18 c | 101 | 2179 18662 39656 | 6842 101 19 | 0.000 % | 5.06/5.19 c | 253 | 2179 18662 39656 | 7527 253 16 | 0.000 % | 5.16/5.20 c | 478 | 2179 18662 39656 | 8279 478 25 | 0.000 % | 5.16/5.23 c | 816 | 2179 18662 39656 | 9107 816 32 | 0.000 % | 5.16/5.27 c | 1327 | 2179 18662 39656 | 10018 1327 36 | 0.000 % | 5.26/5.35 c | 2092 | 2179 18662 39656 | 11020 2092 36 | 0.000 % | 5.36/5.48 c | 3234 | 2179 18662 39656 | 12122 3234 37 | 0.000 % | 5.67/5.74 c | 4942 | 2176 18662 39656 | 13334 4934 38 | 0.138 % | 6.06/6.18 c =============================================================================== 6.16/6.23 c core #339 6.16/6.23 c Core size: 917 Core Weight: 1 Total Weight: -111 6.16/6.23 c Elapsed CPU time: 6.13107 s Remaining CPU time: 1793.87 s 6.16/6.26 c ============================[ Search Statistics ]============================== 6.16/6.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.16/6.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.16/6.26 c =============================================================================== 6.16/6.26 c | 0 | 2271 18663 39840 | 6221 0 nan | 0.000 % | 6.16/6.27 c | 101 | 2271 18663 39840 | 6843 101 11 | 0.000 % | 6.16/6.28 c | 252 | 2241 18663 39840 | 7527 252 18 | 6.561 % | 6.16/6.29 c | 478 | 2233 18663 39840 | 8280 478 21 | 6.737 % | 6.26/6.31 c | 815 | 2109 18663 39840 | 9108 770 24 | 7.136 % | 6.26/6.33 c =============================================================================== 6.26/6.33 c core #340 6.26/6.33 c Core size: 274 Core Weight: 1 Total Weight: -110 6.26/6.33 c Elapsed CPU time: 6.22605 s Remaining CPU time: 1793.77 s 6.26/6.35 c ============================[ Search Statistics ]============================== 6.26/6.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.26/6.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.26/6.35 c =============================================================================== 6.26/6.35 c | 0 | 2345 18664 39988 | 6221 0 nan | 0.000 % | 6.26/6.36 c | 103 | 2345 18664 39988 | 6843 103 14 | 0.000 % | 6.26/6.36 c | 253 | 2345 18664 39988 | 7527 253 14 | 0.000 % | 6.26/6.38 c | 478 | 2341 18664 39988 | 8280 471 15 | 0.171 % | 6.26/6.40 c | 815 | 2340 18664 39988 | 9108 808 22 | 0.213 % | 6.36/6.43 c | 1325 | 2339 18664 39988 | 10019 1314 27 | 0.256 % | 6.36/6.48 c | 2084 | 2338 18664 39988 | 11021 2073 32 | 0.299 % | 6.45/6.54 c =============================================================================== 6.45/6.55 c core #341 6.45/6.55 c Core size: 170 Core Weight: 1 Total Weight: -109 6.45/6.55 c Elapsed CPU time: 6.42802 s Remaining CPU time: 1793.57 s 6.45/6.57 c ============================[ Search Statistics ]============================== 6.45/6.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.45/6.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.45/6.57 c =============================================================================== 6.45/6.57 c | 0 | 2383 18665 40064 | 6221 0 nan | 0.000 % | 6.45/6.58 c | 103 | 2383 18665 40064 | 6843 103 17 | 0.000 % | 6.45/6.59 c | 254 | 2383 18665 40064 | 7528 254 15 | 0.000 % | 6.45/6.60 c | 480 | 2383 18665 40064 | 8281 480 19 | 0.000 % | 6.56/6.61 c | 817 | 2383 18665 40064 | 9109 817 20 | 0.000 % | 6.56/6.64 c | 1325 | 2383 18665 40064 | 10020 1325 21 | 0.000 % | 6.66/6.71 c | 2085 | 2382 18665 40064 | 11022 2079 26 | 0.042 % | 6.76/6.84 c | 3228 | 2382 18665 40064 | 12124 3222 30 | 0.042 % | 6.96/7.02 c | 4938 | 2382 18665 40064 | 13336 4932 30 | 0.042 % | 7.26/7.38 c =============================================================================== 7.36/7.45 c core #342 7.36/7.45 c Core size: 827 Core Weight: 1 Total Weight: -108 7.36/7.45 c Elapsed CPU time: 7.31389 s Remaining CPU time: 1792.69 s 7.36/7.47 c ============================[ Search Statistics ]============================== 7.36/7.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.36/7.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.36/7.47 c =============================================================================== 7.36/7.47 c | 0 | 2480 18666 40258 | 6222 0 nan | 0.000 % | 7.36/7.48 c | 102 | 2480 18666 40258 | 6844 102 19 | 0.000 % | 7.36/7.49 c | 253 | 2480 18666 40258 | 7528 253 18 | 0.000 % | 7.45/7.50 c | 480 | 2480 18666 40258 | 8281 480 20 | 0.000 % | 7.45/7.52 c | 818 | 2480 18666 40258 | 9109 818 22 | 0.000 % | 7.45/7.56 c | 1324 | 2479 18666 40258 | 10020 1322 30 | 0.040 % | 7.56/7.64 c | 2084 | 2474 18666 40258 | 11022 2082 35 | 0.242 % | 7.66/7.79 c | 3224 | 2474 18666 40258 | 12124 3204 42 | 0.242 % | 7.96/8.09 c | 4932 | 2474 18666 40258 | 13337 4912 47 | 0.242 % | 8.56/8.64 c | 7496 | 2474 18666 40258 | 14671 7476 52 | 0.242 % | 9.56/9.69 c =============================================================================== 9.66/9.80 c core #343 9.66/9.80 c Core size: 878 Core Weight: 1 Total Weight: -107 9.66/9.80 c Elapsed CPU time: 9.62254 s Remaining CPU time: 1790.38 s 9.76/9.83 c ============================[ Search Statistics ]============================== 9.76/9.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.76/9.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.76/9.83 c =============================================================================== 9.76/9.83 c | 0 | 2577 18667 40452 | 6222 0 nan | 0.000 % | 9.76/9.84 c | 100 | 2577 18667 40452 | 6844 100 22 | 0.000 % | 9.76/9.85 c | 250 | 2577 18667 40452 | 7529 250 25 | 0.000 % | 9.76/9.86 c | 476 | 2577 18667 40452 | 8281 476 28 | 0.000 % | 9.76/9.88 c | 814 | 2577 18667 40452 | 9110 814 34 | 0.000 % | 9.86/9.90 c | 1322 | 2577 18667 40452 | 10021 1322 35 | 0.000 % | 9.86/9.95 c | 2082 | 2577 18667 40452 | 11023 2082 37 | 0.000 % | 9.96/10.05 c | 3222 | 2577 18667 40452 | 12125 3222 41 | 0.000 % | 10.15/10.22 c | 4930 | 2577 18667 40452 | 13338 4930 47 | 0.000 % | 10.45/10.56 c | 7493 | 2577 18667 40452 | 14671 7493 48 | 0.000 % | 11.26/11.33 c | 11337 | 2577 18667 40452 | 16139 11337 59 | 0.000 % | 12.75/12.88 c | 17103 | 2577 18667 40452 | 17753 8923 65 | 0.000 % | 15.05/15.16 c | 25757 | 2576 18667 40452 | 19528 17576 73 | 0.039 % | 18.55/18.67 c | 38732 | 2576 18667 40452 | 21481 10705 54 | 0.039 % | 27.25/27.38 c | 58193 | 2576 18667 40452 | 23629 19324 64 | 0.039 % | 43.15/43.23 c | 87390 | 2570 18667 40452 | 25992 12696 51 | 0.272 % | 47.25/47.31 c =============================================================================== 48.44/48.59 c core #344 48.44/48.59 c Core size: 1194 Core Weight: 1 Total Weight: -106 48.44/48.59 c Elapsed CPU time: 48.0967 s Remaining CPU time: 1751.9 s 48.65/48.71 c ============================[ Search Statistics ]============================== 48.65/48.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.65/48.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.65/48.71 c =============================================================================== 48.65/48.71 c | 0 | 2683 18668 40664 | 6222 0 nan | 0.000 % | 48.65/48.73 c | 103 | 2683 18668 40664 | 6844 103 27 | 0.000 % | 48.65/48.74 c | 254 | 2683 18668 40664 | 7529 254 25 | 0.000 % | 48.65/48.75 c | 479 | 2683 18668 40664 | 8282 479 26 | 0.000 % | 48.65/48.77 c | 817 | 2683 18668 40664 | 9110 817 30 | 0.000 % | 48.74/48.80 c | 1324 | 2683 18668 40664 | 10021 1324 32 | 0.000 % | 48.74/48.85 c | 2084 | 2683 18668 40664 | 11023 2084 36 | 0.000 % | 48.84/48.96 c | 3223 | 2683 18668 40664 | 12126 3223 47 | 0.000 % | 49.04/49.17 c | 4931 | 2683 18668 40664 | 13338 4931 54 | 0.000 % | 49.34/49.47 c | 7493 | 2683 18668 40664 | 14672 7493 58 | 0.000 % | 50.24/50.38 c | 11340 | 2683 18668 40664 | 16139 11340 61 | 0.000 % | 51.54/51.66 c | 17110 | 2683 18668 40664 | 17753 8917 65 | 0.000 % | 54.84/54.99 c | 25759 | 2683 18668 40664 | 19529 17566 72 | 0.000 % | 60.73/60.88 c | 38733 | 2683 18668 40664 | 21482 10770 69 | 0.000 % | 61.93/62.01 c =============================================================================== 62.53/62.60 c core #345 62.53/62.60 c Core size: 1376 Core Weight: 1 Total Weight: -105 62.53/62.60 c Elapsed CPU time: 61.9776 s Remaining CPU time: 1738.02 s 62.53/62.68 c ============================[ Search Statistics ]============================== 62.53/62.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.53/62.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.53/62.68 c =============================================================================== 62.53/62.68 c | 0 | 2794 18669 40886 | 6223 0 nan | 0.000 % | 62.53/62.70 c | 102 | 2794 18669 40886 | 6845 102 17 | 0.000 % | 62.64/62.70 c | 253 | 2794 18669 40886 | 7529 253 18 | 0.000 % | 62.64/62.72 c | 478 | 2794 18669 40886 | 8282 478 22 | 0.000 % | 62.64/62.73 c | 815 | 2794 18669 40886 | 9111 815 20 | 0.000 % | 62.64/62.77 c | 1323 | 2794 18669 40886 | 10022 1323 35 | 0.000 % | 62.74/62.85 c | 2084 | 2794 18669 40886 | 11024 2084 42 | 0.000 % | 62.84/62.98 c | 3223 | 2794 18669 40886 | 12126 3223 48 | 0.000 % | 63.23/63.30 c | 4932 | 2794 18669 40886 | 13339 4932 52 | 0.000 % | 63.74/63.89 c | 7495 | 2794 18669 40886 | 14673 7495 63 | 0.000 % | 65.03/65.15 c | 11340 | 2794 18669 40886 | 16140 11340 67 | 0.000 % | 68.24/68.31 c | 17106 | 2794 18669 40886 | 17754 8937 68 | 0.000 % | 72.03/72.13 c | 25755 | 2794 18669 40886 | 19530 17586 69 | 0.000 % | 78.74/78.83 c | 38729 | 2794 18669 40886 | 21483 10939 59 | 0.000 % | 89.23/89.33 c | 58190 | 2794 18669 40886 | 23631 19548 57 | 0.000 % | 95.12/95.21 c =============================================================================== 96.33/96.41 c core #346 96.33/96.41 c Core size: 1536 Core Weight: 1 Total Weight: -104 96.33/96.41 c Elapsed CPU time: 95.5285 s Remaining CPU time: 1704.47 s 96.43/96.51 c ============================[ Search Statistics ]============================== 96.43/96.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.43/96.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.43/96.51 c =============================================================================== 96.43/96.51 c | 0 | 2904 18670 41106 | 6223 0 nan | 0.000 % | 96.43/96.54 c | 102 | 2904 18670 41106 | 6845 102 36 | 0.000 % | 96.43/96.54 c | 255 | 2904 18670 41106 | 7530 255 25 | 0.000 % | 96.43/96.56 c | 482 | 2904 18670 41106 | 8283 482 37 | 0.000 % | 96.43/96.57 c | 820 | 2904 18670 41106 | 9111 820 33 | 0.000 % | 96.52/96.61 c | 1326 | 2904 18670 41106 | 10022 1326 39 | 0.000 % | 96.52/96.65 c | 2086 | 2904 18670 41106 | 11025 2086 35 | 0.000 % | 96.63/96.75 c | 3227 | 2904 18670 41106 | 12127 3227 41 | 0.000 % | 96.83/96.96 c | 4935 | 2904 18670 41106 | 13340 4935 52 | 0.000 % | 97.22/97.37 c | 7497 | 2904 18670 41106 | 14674 7497 56 | 0.000 % | 98.02/98.11 c | 11341 | 2904 18670 41106 | 16141 11341 65 | 0.000 % | 99.22/99.33 c | 17108 | 2904 18670 41106 | 17755 8898 67 | 0.000 % | 101.63/101.78 c | 25759 | 2904 18670 41106 | 19531 17549 69 | 0.000 % | 107.32/107.41 c | 38734 | 2904 18670 41106 | 21484 10855 62 | 0.000 % | 113.61/113.77 c | 58195 | 2904 18670 41106 | 23633 19484 57 | 0.000 % | 128.82/128.98 c =============================================================================== 130.11/130.29 c core #347 130.11/130.29 c Core size: 1351 Core Weight: 1 Total Weight: -103 130.11/130.29 c Elapsed CPU time: 129.154 s Remaining CPU time: 1670.85 s 130.31/130.41 c ============================[ Search Statistics ]============================== 130.31/130.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 130.31/130.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 130.31/130.41 c =============================================================================== 130.31/130.41 c | 0 | 3027 18671 41352 | 6223 0 nan | 0.000 % | 130.31/130.43 c | 102 | 3027 18671 41352 | 6846 102 18 | 0.000 % | 130.31/130.44 c | 255 | 3027 18671 41352 | 7530 255 34 | 0.000 % | 130.31/130.46 c | 480 | 3027 18671 41352 | 8283 480 31 | 0.000 % | 130.31/130.47 c | 819 | 3027 18671 41352 | 9112 819 34 | 0.000 % | 130.41/130.51 c | 1326 | 3027 18671 41352 | 10023 1326 43 | 0.000 % | 130.41/130.57 c | 2086 | 3027 18671 41352 | 11025 2086 47 | 0.000 % | 130.51/130.68 c | 3226 | 3027 18671 41352 | 12128 3226 50 | 0.000 % | 130.82/130.90 c | 4934 | 3027 18671 41352 | 13340 4934 61 | 0.000 % | 131.12/131.24 c | 7500 | 3027 18671 41352 | 14675 7500 67 | 0.000 % | 132.02/132.18 c | 11344 | 3027 18671 41352 | 16142 11344 83 | 0.000 % | 133.41/133.53 c | 17112 | 3027 18671 41352 | 17756 8831 90 | 0.000 % | 135.52/135.68 c | 25761 | 3027 18671 41352 | 19532 17480 90 | 0.000 % | 142.01/142.11 c | 38737 | 3027 18671 41352 | 21485 10646 108 | 0.000 % | 151.81/151.96 c | 58198 | 3027 18671 41352 | 23634 19203 121 | 0.000 % | 168.11/168.22 c | 87406 | 3027 18671 41352 | 25997 12495 136 | 0.000 % | 210.39/210.58 c | 131195 | 3027 18671 41352 | 28597 17013 133 | 0.000 % | 274.57/274.72 c | 196882 | 3027 18671 41352 | 31457 18184 164 | 0.000 % | 356.05/356.25 c | 295408 | 3027 18671 41352 | 34603 28045 137 | 0.000 % | 503.40/503.66 c | 443198 | 3027 18671 41352 | 38063 28923 136 | 0.000 % | 725.24/725.57 c | 664882 | 3027 18671 41352 | 41869 17715 113 | 0.000 % | 1114.73/1115.12 c | 997408 | 3027 18671 41352 | 46056 38793 98 | 0.000 % | 1603.10/1603.64 c | 1496196 | 3027 18671 41352 | 50662 33078 120 | 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-1875712-1245164053/watcher-1875712-1245164053 -o /tmp/evaluation-result-1875712-1245164053/solver-1875712-1245164053 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875712-1245164053.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 5450 /proc/meminfo: memFree=1908136/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=2952 CPUtime=0 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 184002332 3022848 188 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 738 188 129 292 0 339 0 [startup+0.103826 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5450 /proc/meminfo: memFree=1908136/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=4244 CPUtime=0.1 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 712 0 0 0 10 0 0 0 18 0 1 0 184002332 4345856 579 1992294400 134512640 135709839 4294956240 18446744073709551615 135164462 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 1061 579 133 292 0 766 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4244 [startup+0.201836 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5450 /proc/meminfo: memFree=1908136/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=4080 CPUtime=0.19 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 719 0 0 0 19 0 0 0 18 0 1 0 184002332 4177920 585 1992294400 134512640 135709839 4294956240 18446744073709551615 135182911 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 1020 585 133 292 0 725 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4080 [startup+0.301846 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5450 /proc/meminfo: memFree=1908136/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=4080 CPUtime=0.29 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 719 0 0 0 29 0 0 0 19 0 1 0 184002332 4177920 585 1992294400 134512640 135709839 4294956240 18446744073709551615 134605170 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 1020 585 133 292 0 725 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4080 [startup+0.701886 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5450 /proc/meminfo: memFree=1908136/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=4184 CPUtime=0.69 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 745 0 0 0 69 0 0 0 22 0 1 0 184002332 4284416 598 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 1046 598 133 292 0 751 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4184 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1906272/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=4424 CPUtime=1.49 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 806 0 0 0 149 0 0 0 25 0 1 0 184002332 4530176 659 1992294400 134512640 135709839 4294956240 18446744073709551615 134530691 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 1106 659 133 292 0 811 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4424 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1905568/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=5524 CPUtime=3.09 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 1091 0 0 0 308 1 0 0 20 0 1 0 184002332 5656576 903 1992294400 134512640 135709839 4294956240 18446744073709551615 135182867 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 1381 903 135 292 0 1086 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5524 [startup+6.30146 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1902112/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=10268 CPUtime=6.26 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 2336 0 0 0 619 7 0 0 25 0 1 0 184002332 10514432 2089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 2567 2089 136 292 0 2272 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 10268 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1896624/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=14220 CPUtime=12.65 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 3333 0 0 0 1245 20 0 0 25 0 1 0 184002332 14561280 3086 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 3555 3086 136 292 0 3260 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 14220 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1877936/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=32184 CPUtime=25.45 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 7836 0 0 0 2514 31 0 0 25 0 1 0 184002332 32956416 7589 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 8046 7589 136 292 0 7751 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 32184 [startup+51.102 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1856816/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=53184 CPUtime=51.04 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 13078 0 0 0 5055 49 0 0 25 0 1 0 184002332 54460416 12831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 13296 12831 136 292 0 13001 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 53184 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5451 /proc/meminfo: memFree=1837168/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=72824 CPUtime=102.23 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 17964 0 0 0 10133 90 0 0 25 0 1 0 184002332 74571776 17717 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 18206 17717 136 292 0 17911 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 72824 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/65 5451 /proc/meminfo: memFree=1787504/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=123192 CPUtime=162.2 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 30578 0 0 0 16083 137 0 0 25 0 1 0 184002332 126148608 30331 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 30798 30331 136 292 0 30503 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 123192 [startup+222.305 s] /proc/loadavg: 1.12 1.04 1.01 2/65 5451 /proc/meminfo: memFree=1731568/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=178284 CPUtime=222.19 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 44322 0 0 0 22053 166 0 0 25 0 1 0 184002332 182562816 44075 1992294400 134512640 135709839 4294956240 18446744073709551615 134574216 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 44571 44075 136 292 0 44276 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 178284 [startup+282.302 s] /proc/loadavg: 1.18 1.06 1.01 2/65 5451 /proc/meminfo: memFree=1672240/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=238104 CPUtime=282.17 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 59231 0 0 0 28022 195 0 0 25 0 1 0 184002332 243818496 58984 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 59526 58984 136 292 0 59231 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 238104 [startup+342.302 s] /proc/loadavg: 1.13 1.06 1.01 2/65 5451 /proc/meminfo: memFree=1613232/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=296568 CPUtime=342.15 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 73833 0 0 0 33993 222 0 0 25 0 1 0 184002332 303685632 73586 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 74142 73586 136 292 0 73847 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 296568 [startup+402.302 s] /proc/loadavg: 1.05 1.05 1.00 2/65 5451 /proc/meminfo: memFree=1563056/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=347052 CPUtime=402.14 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 86435 0 0 0 39963 251 0 0 25 0 1 0 184002332 355381248 86188 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 86763 86188 136 292 0 86468 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 347052 [startup+462.302 s] /proc/loadavg: 1.02 1.04 1.00 2/65 5457 /proc/meminfo: memFree=1507696/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=401796 CPUtime=462.12 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 100090 0 0 0 45933 279 0 0 25 0 1 0 184002332 411439104 99843 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 100449 99843 136 292 0 100154 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 401796 [startup+522.302 s] /proc/loadavg: 1.00 1.03 1.00 2/65 5457 /proc/meminfo: memFree=1468336/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=441612 CPUtime=522.1 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 110057 0 0 0 51908 302 0 0 25 0 1 0 184002332 452210688 109810 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 110403 109810 136 292 0 110108 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 441612 [startup+582.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5457 /proc/meminfo: memFree=1416112/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=493468 CPUtime=582.08 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 122996 0 0 0 57875 333 0 0 25 0 1 0 184002332 505311232 122749 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 123367 122749 136 292 0 123072 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 493468 [startup+642.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5457 /proc/meminfo: memFree=1376304/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=533896 CPUtime=642.06 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 133100 0 0 0 63847 359 0 0 25 0 1 0 184002332 546709504 132853 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 133474 132853 136 292 0 133179 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 533896 [startup+702.301 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=1181936/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=727536 CPUtime=941.99 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 181471 0 0 0 93718 481 0 0 25 0 1 0 184002332 744996864 181224 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 181884 181224 136 292 0 181589 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 727536 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=1148336/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=760492 CPUtime=1001.97 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 189694 0 0 0 99695 502 0 0 25 0 1 0 184002332 778743808 189447 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 190123 189447 136 292 0 189828 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 760492 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=1116208/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=792760 CPUtime=1061.95 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 197765 0 0 0 105674 521 0 0 25 0 1 0 184002332 811786240 197518 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 198190 197518 136 292 0 197895 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 792760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=1078384/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=830860 CPUtime=1121.94 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 207281 0 0 0 111647 547 0 0 25 0 1 0 184002332 850800640 207034 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 207715 207034 136 292 0 207420 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 830860 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=1030832/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=878304 CPUtime=1181.91 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 219140 0 0 0 117615 576 0 0 25 0 1 0 184002332 899383296 218893 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 219576 218893 136 292 0 219281 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 878304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=987440/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=921228 CPUtime=1241.89 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 229837 0 0 0 123589 600 0 0 25 0 1 0 184002332 943337472 229590 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 230307 229590 136 292 0 230012 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 921228 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=941872/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=967268 CPUtime=1301.88 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 241333 0 0 0 129557 631 0 0 25 0 1 0 184002332 990482432 241086 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 241817 241086 136 292 0 241522 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 967268 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=893872/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1014712 CPUtime=1361.87 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 253205 0 0 0 135529 658 0 0 25 0 1 0 184002332 1039065088 252958 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 253678 252958 136 292 0 253383 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1014712 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=865712/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1042516 CPUtime=1421.85 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 260141 0 0 0 141510 675 0 0 25 0 1 0 184002332 1067536384 259894 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 260629 259894 136 292 0 260334 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1042516 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=823024/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1085144 CPUtime=1481.83 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 270818 0 0 0 147483 700 0 0 25 0 1 0 184002332 1111187456 270571 1992294400 134512640 135709839 4294956240 18446744073709551615 134573742 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 271286 270571 136 292 0 270991 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1085144 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=778160/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1129888 CPUtime=1541.82 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 281978 0 0 0 153458 724 0 0 25 0 1 0 184002332 1157005312 281731 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 282472 281731 136 292 0 282177 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1129888 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=718704/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1190096 CPUtime=1601.8 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 296992 0 0 0 159420 760 0 0 25 0 1 0 184002332 1218658304 296745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 297524 296745 136 292 0 297229 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1190096 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=669424/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1238496 CPUtime=1661.77 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 309096 0 0 0 165386 791 0 0 25 0 1 0 184002332 1268219904 308849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 309624 308849 136 292 0 309329 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1238496 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=636528/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1271572 CPUtime=1721.76 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 317355 0 0 0 171364 812 0 0 25 0 1 0 184002332 1302089728 317108 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 317893 317108 136 292 0 317598 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1271572 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=605104/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1302700 CPUtime=1781.74 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 325134 0 0 0 177339 835 0 0 25 0 1 0 184002332 1333964800 324887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 325675 324887 136 292 0 325380 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 1302700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5457 /proc/meminfo: memFree=599088/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=1308684 CPUtime=1800.04 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4194304 326594 0 0 0 179165 839 0 0 25 0 1 0 184002332 1340092416 326347 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 327171 326347 136 292 0 326876 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1308684 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5458 /proc/meminfo: memFree=1240808/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=0 CPUtime=1800.15 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4195332 326594 0 0 0 179165 850 0 0 25 0 1 0 184002332 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 0 [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5458 /proc/meminfo: memFree=1240808/2055920 swapFree=4192812/4192956 [pid=5450] ppid=5448 vsize=0 CPUtime=1800.24 /proc/5450/stat : 5450 (wbo) R 5448 5450 5255 0 -1 4195332 326594 0 0 0 179165 859 0 0 25 0 1 0 184002332 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5450/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.81 CPU time (s): 1800.25 CPU user time (s): 1791.65 CPU system time (s): 8.59969 CPU usage (%): 99.9694 Max. virtual memory (cumulated for all children) (KiB): 1308684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.65 system time used= 8.59969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 326594 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 3795 runsolver used 1.08283 second user time and 4.02439 second system time The end
Begin job on node45 at 2009-06-16 16:54:13 IDJOB=1875712 IDBENCH=2237 IDSOLVER=698 FILE ID=node45/1875712-1245164053 PBS_JOBID= 9363819 Free space on /tmp= 66172 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-2.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875712-1245164053/watcher-1875712-1245164053 -o /tmp/evaluation-result-1875712-1245164053/solver-1875712-1245164053 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875712-1245164053.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5909a36352b34473abff2d7e1fe31c04 RANDOM SEED=1300317437 node45.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.240 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.240 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: 1908624 kB Buffers: 24708 kB Cached: 60152 kB SwapCached: 140 kB Active: 57284 kB Inactive: 41704 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1908624 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2788 kB Writeback: 0 kB Mapped: 23740 kB Slab: 34300 kB Committed_AS: 155260 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875712-1245164053.opb Free space on /tmp at the end= 66168 MiB End job on node45 at 2009-06-16 17:24:16