| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (TO) | 1800.29 | 1801.19 |
| Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-1.opb |
| MD5SUM | 65bafde3eb06761afc4fe90b6aa8c264 |
| 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.4 |
| 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 | 17827 |
| Number of constraints which are clauses | 17827 |
| 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-1875609-1245163839.opb. 0.00/0.00 c Instance file HOME/instance-1875609-1245163839.opb 0.00/0.00 c File size is 422137 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: 18277 | 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.048992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #2 0.00/0.05 c Core size: 3 Core Weight: 1 Total Weight: -448 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #3 0.00/0.06 c Core size: 3 Core Weight: 1 Total Weight: -447 0.00/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.00/0.07 c core #4 0.00/0.07 c Core size: 3 Core Weight: 1 Total Weight: -446 0.00/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.00/0.08 c core #5 0.00/0.08 c Core size: 3 Core Weight: 1 Total Weight: -445 0.00/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.08/0.09 c core #6 0.08/0.09 c Core size: 3 Core Weight: 1 Total Weight: -444 0.08/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.10/0.10 c core #7 0.10/0.10 c Core size: 3 Core Weight: 1 Total Weight: -443 0.10/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.10/0.11 c core #8 0.10/0.11 c Core size: 3 Core Weight: 1 Total Weight: -442 0.10/0.11 c Elapsed CPU time: 0.109983 s Remaining CPU time: 1799.89 s 0.10/0.12 c core #9 0.10/0.12 c Core size: 3 Core Weight: 1 Total Weight: -441 0.10/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s 0.10/0.13 c core #10 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: -440 0.10/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s 0.10/0.13 c core #11 0.10/0.13 c Core size: 3 Core Weight: 1 Total Weight: -439 0.10/0.13 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.10/0.14 c core #12 0.10/0.14 c Core size: 3 Core Weight: 1 Total Weight: -438 0.10/0.14 c Elapsed CPU time: 0.145977 s Remaining CPU time: 1799.85 s 0.10/0.15 c core #13 0.10/0.15 c Core size: 3 Core Weight: 1 Total Weight: -437 0.10/0.15 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.10/0.16 c core #14 0.10/0.16 c Core size: 3 Core Weight: 1 Total Weight: -436 0.10/0.16 c Elapsed CPU time: 0.163975 s Remaining CPU time: 1799.84 s 0.10/0.17 c core #15 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: -435 0.10/0.17 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #16 0.10/0.18 c Core size: 3 Core Weight: 1 Total Weight: -434 0.10/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.10/0.19 c core #17 0.10/0.19 c Core size: 3 Core Weight: 1 Total Weight: -433 0.10/0.19 c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #18 0.19/0.20 c Core size: 3 Core Weight: 1 Total Weight: -432 0.19/0.20 c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #19 0.19/0.21 c Core size: 3 Core Weight: 1 Total Weight: -431 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #20 0.19/0.22 c Core size: 3 Core Weight: 1 Total Weight: -430 0.19/0.22 c Elapsed CPU time: 0.218966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #21 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -429 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #22 0.19/0.23 c Core size: 3 Core Weight: 1 Total Weight: -428 0.19/0.23 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #23 0.19/0.24 c Core size: 3 Core Weight: 1 Total Weight: -427 0.19/0.24 c Elapsed CPU time: 0.245962 s Remaining CPU time: 1799.75 s 0.19/0.25 c core #24 0.19/0.25 c Core size: 3 Core Weight: 1 Total Weight: -426 0.19/0.25 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #25 0.19/0.26 c Core size: 3 Core Weight: 1 Total Weight: -425 0.19/0.26 c Elapsed CPU time: 0.263959 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #26 0.19/0.27 c Core size: 3 Core Weight: 1 Total Weight: -424 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #27 0.19/0.28 c Core size: 3 Core Weight: 1 Total Weight: -423 0.19/0.28 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #28 0.19/0.29 c Core size: 3 Core Weight: 1 Total Weight: -422 0.19/0.29 c Elapsed CPU time: 0.291955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #29 0.29/0.30 c Core size: 3 Core Weight: 1 Total Weight: -421 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #30 0.29/0.31 c Core size: 3 Core Weight: 1 Total Weight: -420 0.29/0.31 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #31 0.29/0.32 c Core size: 3 Core Weight: 1 Total Weight: -419 0.29/0.32 c Elapsed CPU time: 0.318951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #32 0.29/0.33 c Core size: 3 Core Weight: 1 Total Weight: -418 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #33 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -417 0.29/0.34 c Elapsed CPU time: 0.337948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #34 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -416 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.35 c core #35 0.29/0.35 c Core size: 3 Core Weight: 1 Total Weight: -415 0.29/0.35 c Elapsed CPU time: 0.355945 s Remaining CPU time: 1799.64 s 0.29/0.36 c core #36 0.29/0.36 c Core size: 3 Core Weight: 1 Total Weight: -414 0.29/0.36 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #37 0.29/0.37 c Core size: 3 Core Weight: 1 Total Weight: -413 0.29/0.37 c Elapsed CPU time: 0.374943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #38 0.29/0.38 c Core size: 3 Core Weight: 1 Total Weight: -412 0.29/0.38 c Elapsed CPU time: 0.383941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #39 0.29/0.39 c Core size: 3 Core Weight: 1 Total Weight: -411 0.29/0.39 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #40 0.39/0.40 c Core size: 3 Core Weight: 1 Total Weight: -410 0.39/0.40 c Elapsed CPU time: 0.402938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #41 0.39/0.41 c Core size: 3 Core Weight: 1 Total Weight: -409 0.39/0.41 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #42 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -408 0.39/0.42 c Elapsed CPU time: 0.420936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #43 0.39/0.43 c Core size: 3 Core Weight: 1 Total Weight: -407 0.39/0.43 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #44 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: -406 0.39/0.44 c Elapsed CPU time: 0.438933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #45 0.39/0.45 c Core size: 3 Core Weight: 1 Total Weight: -405 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #46 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -404 0.39/0.46 c Elapsed CPU time: 0.45793 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #47 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -403 0.39/0.47 c Elapsed CPU time: 0.466929 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #48 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -402 0.39/0.48 c Elapsed CPU time: 0.476927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #49 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -401 0.39/0.49 c Elapsed CPU time: 0.485926 s Remaining CPU time: 1799.51 s 0.39/0.50 c core #50 0.39/0.50 c Core size: 3 Core Weight: 1 Total Weight: -400 0.39/0.50 c Elapsed CPU time: 0.495924 s Remaining CPU time: 1799.5 s 0.49/0.50 c core #51 0.49/0.50 c Core size: 3 Core Weight: 1 Total Weight: -399 0.49/0.50 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 s 0.49/0.51 c core #52 0.49/0.51 c Core size: 3 Core Weight: 1 Total Weight: -398 0.49/0.51 c Elapsed CPU time: 0.514921 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #53 0.49/0.52 c Core size: 3 Core Weight: 1 Total Weight: -397 0.49/0.52 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 0.49/0.53 c core #54 0.49/0.53 c Core size: 3 Core Weight: 1 Total Weight: -396 0.49/0.53 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 0.49/0.54 c core #55 0.49/0.54 c Core size: 3 Core Weight: 1 Total Weight: -395 0.49/0.54 c Elapsed CPU time: 0.543917 s Remaining CPU time: 1799.46 s 0.49/0.55 c core #56 0.49/0.55 c Core size: 3 Core Weight: 1 Total Weight: -394 0.49/0.55 c Elapsed CPU time: 0.552915 s Remaining CPU time: 1799.45 s 0.49/0.56 c core #57 0.49/0.56 c Core size: 3 Core Weight: 1 Total Weight: -393 0.49/0.56 c Elapsed CPU time: 0.561914 s Remaining CPU time: 1799.44 s 0.49/0.57 c core #58 0.49/0.57 c Core size: 3 Core Weight: 1 Total Weight: -392 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #59 0.49/0.58 c Core size: 3 Core Weight: 1 Total Weight: -391 0.49/0.58 c Elapsed CPU time: 0.581911 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #60 0.49/0.59 c Core size: 3 Core Weight: 1 Total Weight: -390 0.49/0.59 c Elapsed CPU time: 0.59091 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #61 0.59/0.60 c Core size: 3 Core Weight: 1 Total Weight: -389 0.59/0.60 c Elapsed CPU time: 0.600908 s Remaining CPU time: 1799.4 s 0.59/0.61 c core #62 0.59/0.61 c Core size: 3 Core Weight: 1 Total Weight: -388 0.59/0.61 c Elapsed CPU time: 0.610907 s Remaining CPU time: 1799.39 s 0.59/0.62 c core #63 0.59/0.62 c Core size: 3 Core Weight: 1 Total Weight: -387 0.59/0.62 c Elapsed CPU time: 0.619905 s Remaining CPU time: 1799.38 s 0.59/0.63 c core #64 0.59/0.63 c Core size: 3 Core Weight: 1 Total Weight: -386 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.64 c core #65 0.59/0.64 c Core size: 3 Core Weight: 1 Total Weight: -385 0.59/0.64 c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #66 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: -384 0.59/0.65 c Elapsed CPU time: 0.649901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #67 0.59/0.66 c Core size: 3 Core Weight: 1 Total Weight: -383 0.59/0.66 c Elapsed CPU time: 0.658899 s Remaining CPU time: 1799.34 s 0.59/0.67 c core #68 0.59/0.67 c Core size: 3 Core Weight: 1 Total Weight: -382 0.59/0.67 c Elapsed CPU time: 0.668898 s Remaining CPU time: 1799.33 s 0.59/0.68 c core #69 0.59/0.68 c Core size: 3 Core Weight: 1 Total Weight: -381 0.59/0.68 c Elapsed CPU time: 0.678896 s Remaining CPU time: 1799.32 s 0.59/0.69 c core #70 0.59/0.69 c Core size: 3 Core Weight: 1 Total Weight: -380 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.70 c core #71 0.69/0.70 c Core size: 3 Core Weight: 1 Total Weight: -379 0.69/0.70 c Elapsed CPU time: 0.698893 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #72 0.69/0.71 c Core size: 3 Core Weight: 1 Total Weight: -378 0.69/0.71 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.69/0.72 c core #73 0.69/0.72 c Core size: 3 Core Weight: 1 Total Weight: -377 0.69/0.72 c Elapsed CPU time: 0.71789 s Remaining CPU time: 1799.28 s 0.69/0.73 c core #74 0.69/0.73 c Core size: 3 Core Weight: 1 Total Weight: -376 0.69/0.73 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.69/0.74 c core #75 0.69/0.74 c Core size: 3 Core Weight: 1 Total Weight: -375 0.69/0.74 c Elapsed CPU time: 0.737887 s Remaining CPU time: 1799.26 s 0.69/0.75 c core #76 0.69/0.75 c Core size: 3 Core Weight: 1 Total Weight: -374 0.69/0.75 c Elapsed CPU time: 0.747886 s Remaining CPU time: 1799.25 s 0.69/0.76 c core #77 0.69/0.76 c Core size: 3 Core Weight: 1 Total Weight: -373 0.69/0.76 c Elapsed CPU time: 0.757884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #78 0.69/0.77 c Core size: 3 Core Weight: 1 Total Weight: -372 0.69/0.77 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.69/0.78 c core #79 0.69/0.78 c Core size: 3 Core Weight: 1 Total Weight: -371 0.69/0.78 c Elapsed CPU time: 0.777881 s Remaining CPU time: 1799.22 s 0.69/0.79 c core #80 0.69/0.79 c Core size: 3 Core Weight: 1 Total Weight: -370 0.69/0.79 c Elapsed CPU time: 0.78788 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #81 0.79/0.80 c Core size: 3 Core Weight: 1 Total Weight: -369 0.79/0.80 c Elapsed CPU time: 0.797878 s Remaining CPU time: 1799.2 s 0.79/0.81 c core #82 0.79/0.81 c Core size: 3 Core Weight: 1 Total Weight: -368 0.79/0.81 c Elapsed CPU time: 0.808877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #83 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: -367 0.79/0.82 c Elapsed CPU time: 0.818875 s Remaining CPU time: 1799.18 s 0.79/0.83 c core #84 0.79/0.83 c Core size: 3 Core Weight: 1 Total Weight: -366 0.79/0.83 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.84 c core #85 0.79/0.84 c Core size: 3 Core Weight: 1 Total Weight: -365 0.79/0.84 c Elapsed CPU time: 0.838872 s Remaining CPU time: 1799.16 s 0.79/0.85 c core #86 0.79/0.85 c Core size: 3 Core Weight: 1 Total Weight: -364 0.79/0.85 c Elapsed CPU time: 0.84887 s Remaining CPU time: 1799.15 s 0.79/0.86 c core #87 0.79/0.86 c Core size: 3 Core Weight: 1 Total Weight: -363 0.79/0.86 c Elapsed CPU time: 0.858869 s Remaining CPU time: 1799.14 s 0.79/0.87 c core #88 0.79/0.87 c Core size: 3 Core Weight: 1 Total Weight: -362 0.79/0.87 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #89 0.79/0.88 c Core size: 3 Core Weight: 1 Total Weight: -361 0.79/0.88 c Elapsed CPU time: 0.879866 s Remaining CPU time: 1799.12 s 0.79/0.89 c core #90 0.79/0.89 c Core size: 3 Core Weight: 1 Total Weight: -360 0.79/0.89 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.90 c core #91 0.89/0.90 c Core size: 3 Core Weight: 1 Total Weight: -359 0.89/0.90 c Elapsed CPU time: 0.899863 s Remaining CPU time: 1799.1 s 0.89/0.91 c core #92 0.89/0.91 c Core size: 3 Core Weight: 1 Total Weight: -358 0.89/0.91 c Elapsed CPU time: 0.910861 s Remaining CPU time: 1799.09 s 0.89/0.92 c core #93 0.89/0.92 c Core size: 3 Core Weight: 1 Total Weight: -357 0.89/0.92 c Elapsed CPU time: 0.92086 s Remaining CPU time: 1799.08 s 0.89/0.93 c core #94 0.89/0.93 c Core size: 3 Core Weight: 1 Total Weight: -356 0.89/0.93 c Elapsed CPU time: 0.930858 s Remaining CPU time: 1799.07 s 0.89/0.94 c core #95 0.89/0.94 c Core size: 3 Core Weight: 1 Total Weight: -355 0.89/0.94 c Elapsed CPU time: 0.941856 s Remaining CPU time: 1799.06 s 0.89/0.95 c core #96 0.89/0.95 c Core size: 3 Core Weight: 1 Total Weight: -354 0.89/0.95 c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s 0.89/0.96 c core #97 0.89/0.96 c Core size: 3 Core Weight: 1 Total Weight: -353 0.89/0.96 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.89/0.97 c core #98 0.89/0.97 c Core size: 3 Core Weight: 1 Total Weight: -352 0.89/0.97 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 0.89/0.98 c core #99 0.89/0.98 c Core size: 3 Core Weight: 1 Total Weight: -351 0.89/0.98 c Elapsed CPU time: 0.98285 s Remaining CPU time: 1799.02 s 0.89/0.99 c core #100 0.89/0.99 c Core size: 3 Core Weight: 1 Total Weight: -350 0.89/0.99 c Elapsed CPU time: 0.993848 s Remaining CPU time: 1799.01 s 1.00/1.00 c core #101 1.00/1.00 c Core size: 3 Core Weight: 1 Total Weight: -349 1.00/1.00 c Elapsed CPU time: 1.00385 s Remaining CPU time: 1799 s 1.00/1.02 c core #102 1.00/1.02 c Core size: 3 Core Weight: 1 Total Weight: -348 1.00/1.02 c Elapsed CPU time: 1.01484 s Remaining CPU time: 1798.99 s 1.00/1.03 c core #103 1.00/1.03 c Core size: 3 Core Weight: 1 Total Weight: -347 1.00/1.03 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 1.00/1.04 c core #104 1.00/1.04 c Core size: 3 Core Weight: 1 Total Weight: -346 1.00/1.04 c Elapsed CPU time: 1.03584 s Remaining CPU time: 1798.96 s 1.00/1.05 c core #105 1.00/1.05 c Core size: 3 Core Weight: 1 Total Weight: -345 1.00/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 1.00/1.06 c core #106 1.00/1.06 c Core size: 3 Core Weight: 1 Total Weight: -344 1.00/1.06 c Elapsed CPU time: 1.05684 s Remaining CPU time: 1798.94 s 1.00/1.07 c core #107 1.00/1.07 c Core size: 3 Core Weight: 1 Total Weight: -343 1.00/1.07 c Elapsed CPU time: 1.06784 s Remaining CPU time: 1798.93 s 1.00/1.08 c core #108 1.00/1.08 c Core size: 3 Core Weight: 1 Total Weight: -342 1.00/1.08 c Elapsed CPU time: 1.07883 s Remaining CPU time: 1798.92 s 1.00/1.09 c core #109 1.00/1.09 c Core size: 3 Core Weight: 1 Total Weight: -341 1.00/1.09 c Elapsed CPU time: 1.08983 s Remaining CPU time: 1798.91 s 1.00/1.10 c core #110 1.00/1.10 c Core size: 3 Core Weight: 1 Total Weight: -340 1.00/1.10 c Elapsed CPU time: 1.09983 s Remaining CPU time: 1798.9 s 1.10/1.11 c core #111 1.10/1.11 c Core size: 3 Core Weight: 1 Total Weight: -339 1.10/1.11 c Elapsed CPU time: 1.11083 s Remaining CPU time: 1798.89 s 1.10/1.12 c core #112 1.10/1.12 c Core size: 3 Core Weight: 1 Total Weight: -338 1.10/1.12 c Elapsed CPU time: 1.12183 s Remaining CPU time: 1798.88 s 1.10/1.13 c core #113 1.10/1.13 c Core size: 3 Core Weight: 1 Total Weight: -337 1.10/1.13 c Elapsed CPU time: 1.13183 s Remaining CPU time: 1798.87 s 1.10/1.14 c core #114 1.10/1.14 c Core size: 3 Core Weight: 1 Total Weight: -336 1.10/1.14 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.10/1.15 c core #115 1.10/1.15 c Core size: 3 Core Weight: 1 Total Weight: -335 1.10/1.15 c Elapsed CPU time: 1.15382 s Remaining CPU time: 1798.85 s 1.10/1.17 c core #116 1.10/1.17 c Core size: 3 Core Weight: 1 Total Weight: -334 1.10/1.17 c Elapsed CPU time: 1.16482 s Remaining CPU time: 1798.84 s 1.10/1.18 c core #117 1.10/1.18 c Core size: 3 Core Weight: 1 Total Weight: -333 1.10/1.18 c Elapsed CPU time: 1.17682 s Remaining CPU time: 1798.82 s 1.10/1.19 c core #118 1.10/1.19 c Core size: 3 Core Weight: 1 Total Weight: -332 1.10/1.19 c Elapsed CPU time: 1.18782 s Remaining CPU time: 1798.81 s 1.19/1.20 c core #119 1.19/1.20 c Core size: 3 Core Weight: 1 Total Weight: -331 1.19/1.20 c Elapsed CPU time: 1.19882 s Remaining CPU time: 1798.8 s 1.19/1.21 c core #120 1.19/1.21 c Core size: 3 Core Weight: 1 Total Weight: -330 1.19/1.21 c Elapsed CPU time: 1.20982 s Remaining CPU time: 1798.79 s 1.19/1.22 c core #121 1.19/1.22 c Core size: 3 Core Weight: 1 Total Weight: -329 1.19/1.22 c Elapsed CPU time: 1.22081 s Remaining CPU time: 1798.78 s 1.19/1.23 c core #122 1.19/1.23 c Core size: 3 Core Weight: 1 Total Weight: -328 1.19/1.23 c Elapsed CPU time: 1.23181 s Remaining CPU time: 1798.77 s 1.19/1.24 c core #123 1.19/1.24 c Core size: 3 Core Weight: 1 Total Weight: -327 1.19/1.24 c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s 1.19/1.25 c core #124 1.19/1.25 c Core size: 3 Core Weight: 1 Total Weight: -326 1.19/1.25 c Elapsed CPU time: 1.25381 s Remaining CPU time: 1798.75 s 1.19/1.27 c core #125 1.19/1.27 c Core size: 3 Core Weight: 1 Total Weight: -325 1.19/1.27 c Elapsed CPU time: 1.26481 s Remaining CPU time: 1798.74 s 1.19/1.28 c core #126 1.19/1.28 c Core size: 3 Core Weight: 1 Total Weight: -324 1.19/1.28 c Elapsed CPU time: 1.27581 s Remaining CPU time: 1798.72 s 1.19/1.29 c core #127 1.19/1.29 c Core size: 3 Core Weight: 1 Total Weight: -323 1.19/1.29 c Elapsed CPU time: 1.2868 s Remaining CPU time: 1798.71 s 1.29/1.30 c core #128 1.29/1.30 c Core size: 3 Core Weight: 1 Total Weight: -322 1.29/1.30 c Elapsed CPU time: 1.2978 s Remaining CPU time: 1798.7 s 1.29/1.31 c core #129 1.29/1.31 c Core size: 3 Core Weight: 1 Total Weight: -321 1.29/1.31 c Elapsed CPU time: 1.3088 s Remaining CPU time: 1798.69 s 1.29/1.32 c core #130 1.29/1.32 c Core size: 3 Core Weight: 1 Total Weight: -320 1.29/1.32 c Elapsed CPU time: 1.3198 s Remaining CPU time: 1798.68 s 1.29/1.33 c core #131 1.29/1.33 c Core size: 3 Core Weight: 1 Total Weight: -319 1.29/1.33 c Elapsed CPU time: 1.3308 s Remaining CPU time: 1798.67 s 1.29/1.34 c core #132 1.29/1.34 c Core size: 3 Core Weight: 1 Total Weight: -318 1.29/1.34 c Elapsed CPU time: 1.3418 s Remaining CPU time: 1798.66 s 1.29/1.36 c core #133 1.29/1.36 c Core size: 3 Core Weight: 1 Total Weight: -317 1.29/1.36 c Elapsed CPU time: 1.35279 s Remaining CPU time: 1798.65 s 1.29/1.37 c core #134 1.29/1.37 c Core size: 3 Core Weight: 1 Total Weight: -316 1.29/1.37 c Elapsed CPU time: 1.36379 s Remaining CPU time: 1798.64 s 1.29/1.38 c core #135 1.29/1.38 c Core size: 3 Core Weight: 1 Total Weight: -315 1.29/1.38 c Elapsed CPU time: 1.37579 s Remaining CPU time: 1798.62 s 1.29/1.39 c core #136 1.29/1.39 c Core size: 3 Core Weight: 1 Total Weight: -314 1.29/1.39 c Elapsed CPU time: 1.38679 s Remaining CPU time: 1798.61 s 1.39/1.40 c core #137 1.39/1.40 c Core size: 3 Core Weight: 1 Total Weight: -313 1.39/1.40 c Elapsed CPU time: 1.39879 s Remaining CPU time: 1798.6 s 1.39/1.41 c core #138 1.39/1.41 c Core size: 3 Core Weight: 1 Total Weight: -312 1.39/1.41 c Elapsed CPU time: 1.40979 s Remaining CPU time: 1798.59 s 1.39/1.42 c core #139 1.39/1.42 c Core size: 3 Core Weight: 1 Total Weight: -311 1.39/1.42 c Elapsed CPU time: 1.42178 s Remaining CPU time: 1798.58 s 1.39/1.44 c core #140 1.39/1.44 c Core size: 3 Core Weight: 1 Total Weight: -310 1.39/1.44 c Elapsed CPU time: 1.43378 s Remaining CPU time: 1798.57 s 1.39/1.45 c core #141 1.39/1.45 c Core size: 3 Core Weight: 1 Total Weight: -309 1.39/1.45 c Elapsed CPU time: 1.44478 s Remaining CPU time: 1798.56 s 1.39/1.46 c core #142 1.39/1.46 c Core size: 3 Core Weight: 1 Total Weight: -308 1.39/1.46 c Elapsed CPU time: 1.45678 s Remaining CPU time: 1798.54 s 1.39/1.47 c core #143 1.39/1.47 c Core size: 3 Core Weight: 1 Total Weight: -307 1.39/1.47 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.39/1.48 c core #144 1.39/1.48 c Core size: 3 Core Weight: 1 Total Weight: -306 1.39/1.48 c Elapsed CPU time: 1.47978 s Remaining CPU time: 1798.52 s 1.39/1.49 c core #145 1.39/1.49 c Core size: 3 Core Weight: 1 Total Weight: -305 1.39/1.49 c Elapsed CPU time: 1.49077 s Remaining CPU time: 1798.51 s 1.49/1.51 c core #146 1.49/1.51 c Core size: 3 Core Weight: 1 Total Weight: -304 1.49/1.51 c Elapsed CPU time: 1.50277 s Remaining CPU time: 1798.5 s 1.49/1.52 c core #147 1.49/1.52 c Core size: 3 Core Weight: 1 Total Weight: -303 1.49/1.52 c Elapsed CPU time: 1.51477 s Remaining CPU time: 1798.49 s 1.49/1.53 c core #148 1.49/1.53 c Core size: 3 Core Weight: 1 Total Weight: -302 1.49/1.53 c Elapsed CPU time: 1.52677 s Remaining CPU time: 1798.47 s 1.49/1.54 c core #149 1.49/1.54 c Core size: 3 Core Weight: 1 Total Weight: -301 1.49/1.54 c Elapsed CPU time: 1.53777 s Remaining CPU time: 1798.46 s 1.49/1.55 c core #150 1.49/1.55 c Core size: 3 Core Weight: 1 Total Weight: -300 1.49/1.55 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.49/1.56 c core #151 1.49/1.56 c Core size: 3 Core Weight: 1 Total Weight: -299 1.49/1.56 c Elapsed CPU time: 1.56176 s Remaining CPU time: 1798.44 s 1.49/1.58 c core #152 1.49/1.58 c Core size: 3 Core Weight: 1 Total Weight: -298 1.49/1.58 c Elapsed CPU time: 1.57276 s Remaining CPU time: 1798.43 s 1.49/1.59 c core #153 1.49/1.59 c Core size: 3 Core Weight: 1 Total Weight: -297 1.49/1.59 c Elapsed CPU time: 1.58476 s Remaining CPU time: 1798.42 s 1.59/1.60 c core #154 1.59/1.60 c Core size: 3 Core Weight: 1 Total Weight: -296 1.59/1.60 c Elapsed CPU time: 1.59676 s Remaining CPU time: 1798.4 s 1.59/1.61 c core #155 1.59/1.61 c Core size: 3 Core Weight: 1 Total Weight: -295 1.59/1.61 c Elapsed CPU time: 1.60875 s Remaining CPU time: 1798.39 s 1.59/1.62 c core #156 1.59/1.62 c Core size: 3 Core Weight: 1 Total Weight: -294 1.59/1.62 c Elapsed CPU time: 1.61975 s Remaining CPU time: 1798.38 s 1.59/1.63 c core #157 1.59/1.63 c Core size: 3 Core Weight: 1 Total Weight: -293 1.59/1.63 c Elapsed CPU time: 1.63175 s Remaining CPU time: 1798.37 s 1.59/1.65 c core #158 1.59/1.65 c Core size: 3 Core Weight: 1 Total Weight: -292 1.59/1.65 c Elapsed CPU time: 1.64275 s Remaining CPU time: 1798.36 s 1.59/1.66 c core #159 1.59/1.66 c Core size: 3 Core Weight: 1 Total Weight: -291 1.59/1.66 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.59/1.67 c core #160 1.59/1.67 c Core size: 3 Core Weight: 1 Total Weight: -290 1.59/1.67 c Elapsed CPU time: 1.66675 s Remaining CPU time: 1798.33 s 1.59/1.68 c core #161 1.59/1.68 c Core size: 3 Core Weight: 1 Total Weight: -289 1.59/1.68 c Elapsed CPU time: 1.67874 s Remaining CPU time: 1798.32 s 1.59/1.69 c core #162 1.59/1.69 c Core size: 3 Core Weight: 1 Total Weight: -288 1.59/1.69 c Elapsed CPU time: 1.69074 s Remaining CPU time: 1798.31 s 1.69/1.71 c core #163 1.69/1.71 c Core size: 3 Core Weight: 1 Total Weight: -287 1.69/1.71 c Elapsed CPU time: 1.70274 s Remaining CPU time: 1798.3 s 1.69/1.72 c core #164 1.69/1.72 c Core size: 3 Core Weight: 1 Total Weight: -286 1.69/1.72 c Elapsed CPU time: 1.71474 s Remaining CPU time: 1798.29 s 1.69/1.73 c core #165 1.69/1.73 c Core size: 3 Core Weight: 1 Total Weight: -285 1.69/1.73 c Elapsed CPU time: 1.72674 s Remaining CPU time: 1798.27 s 1.69/1.74 c core #166 1.69/1.74 c Core size: 3 Core Weight: 1 Total Weight: -284 1.69/1.74 c Elapsed CPU time: 1.73874 s Remaining CPU time: 1798.26 s 1.69/1.75 c core #167 1.69/1.75 c Core size: 3 Core Weight: 1 Total Weight: -283 1.69/1.75 c Elapsed CPU time: 1.75173 s Remaining CPU time: 1798.25 s 1.69/1.77 c core #168 1.69/1.77 c Core size: 3 Core Weight: 1 Total Weight: -282 1.69/1.77 c Elapsed CPU time: 1.76373 s Remaining CPU time: 1798.24 s 1.69/1.78 c core #169 1.69/1.78 c Core size: 3 Core Weight: 1 Total Weight: -281 1.69/1.78 c Elapsed CPU time: 1.77673 s Remaining CPU time: 1798.22 s 1.69/1.79 c core #170 1.69/1.79 c Core size: 3 Core Weight: 1 Total Weight: -280 1.69/1.79 c Elapsed CPU time: 1.78873 s Remaining CPU time: 1798.21 s 1.79/1.80 c core #171 1.79/1.80 c Core size: 3 Core Weight: 1 Total Weight: -279 1.79/1.80 c Elapsed CPU time: 1.80073 s Remaining CPU time: 1798.2 s 1.79/1.82 c core #172 1.79/1.82 c Core size: 3 Core Weight: 1 Total Weight: -278 1.79/1.82 c Elapsed CPU time: 1.81372 s Remaining CPU time: 1798.19 s 1.79/1.83 c core #173 1.79/1.83 c Core size: 3 Core Weight: 1 Total Weight: -277 1.79/1.83 c Elapsed CPU time: 1.82572 s Remaining CPU time: 1798.17 s 1.79/1.84 c core #174 1.79/1.84 c Core size: 3 Core Weight: 1 Total Weight: -276 1.79/1.84 c Elapsed CPU time: 1.83872 s Remaining CPU time: 1798.16 s 1.79/1.85 c core #175 1.79/1.85 c Core size: 3 Core Weight: 1 Total Weight: -275 1.79/1.85 c Elapsed CPU time: 1.85072 s Remaining CPU time: 1798.15 s 1.79/1.87 c core #176 1.79/1.87 c Core size: 3 Core Weight: 1 Total Weight: -274 1.79/1.87 c Elapsed CPU time: 1.86372 s Remaining CPU time: 1798.14 s 1.79/1.88 c core #177 1.79/1.88 c Core size: 3 Core Weight: 1 Total Weight: -273 1.79/1.88 c Elapsed CPU time: 1.87671 s Remaining CPU time: 1798.12 s 1.79/1.89 c core #178 1.79/1.89 c Core size: 3 Core Weight: 1 Total Weight: -272 1.79/1.89 c Elapsed CPU time: 1.88971 s Remaining CPU time: 1798.11 s 1.89/1.91 c core #179 1.89/1.91 c Core size: 3 Core Weight: 1 Total Weight: -271 1.89/1.91 c Elapsed CPU time: 1.90171 s Remaining CPU time: 1798.1 s 1.89/1.92 c core #180 1.89/1.92 c Core size: 3 Core Weight: 1 Total Weight: -270 1.89/1.92 c Elapsed CPU time: 1.91471 s Remaining CPU time: 1798.09 s 1.89/1.93 c core #181 1.89/1.93 c Core size: 3 Core Weight: 1 Total Weight: -269 1.89/1.93 c Elapsed CPU time: 1.92771 s Remaining CPU time: 1798.07 s 1.89/1.94 c core #182 1.89/1.94 c Core size: 3 Core Weight: 1 Total Weight: -268 1.89/1.94 c Elapsed CPU time: 1.93971 s Remaining CPU time: 1798.06 s 1.89/1.96 c core #183 1.89/1.96 c Core size: 3 Core Weight: 1 Total Weight: -267 1.89/1.96 c Elapsed CPU time: 1.9527 s Remaining CPU time: 1798.05 s 1.89/1.97 c core #184 1.89/1.97 c Core size: 3 Core Weight: 1 Total Weight: -266 1.89/1.97 c Elapsed CPU time: 1.9657 s Remaining CPU time: 1798.03 s 1.89/1.98 c core #185 1.89/1.98 c Core size: 3 Core Weight: 1 Total Weight: -265 1.89/1.98 c Elapsed CPU time: 1.9777 s Remaining CPU time: 1798.02 s 1.89/1.99 c core #186 1.89/1.99 c Core size: 3 Core Weight: 1 Total Weight: -264 1.89/1.99 c Elapsed CPU time: 1.9907 s Remaining CPU time: 1798.01 s 1.99/2.01 c core #187 1.99/2.01 c Core size: 3 Core Weight: 1 Total Weight: -263 1.99/2.01 c Elapsed CPU time: 2.0037 s Remaining CPU time: 1798 s 1.99/2.02 c core #188 1.99/2.02 c Core size: 3 Core Weight: 1 Total Weight: -262 1.99/2.02 c Elapsed CPU time: 2.01669 s Remaining CPU time: 1797.98 s 1.99/2.03 c core #189 1.99/2.03 c Core size: 3 Core Weight: 1 Total Weight: -261 1.99/2.03 c Elapsed CPU time: 2.02969 s Remaining CPU time: 1797.97 s 1.99/2.05 c core #190 1.99/2.05 c Core size: 3 Core Weight: 1 Total Weight: -260 1.99/2.05 c Elapsed CPU time: 2.04269 s Remaining CPU time: 1797.96 s 1.99/2.06 c core #191 1.99/2.06 c Core size: 3 Core Weight: 1 Total Weight: -259 1.99/2.06 c Elapsed CPU time: 2.05569 s Remaining CPU time: 1797.94 s 1.99/2.07 c core #192 1.99/2.07 c Core size: 3 Core Weight: 1 Total Weight: -258 1.99/2.07 c Elapsed CPU time: 2.06868 s Remaining CPU time: 1797.93 s 1.99/2.09 c core #193 1.99/2.09 c Core size: 3 Core Weight: 1 Total Weight: -257 1.99/2.09 c Elapsed CPU time: 2.08168 s Remaining CPU time: 1797.92 s 1.99/2.10 c core #194 1.99/2.10 c Core size: 3 Core Weight: 1 Total Weight: -256 1.99/2.10 c Elapsed CPU time: 2.09468 s Remaining CPU time: 1797.91 s 2.09/2.11 c core #195 2.09/2.11 c Core size: 3 Core Weight: 1 Total Weight: -255 2.09/2.11 c Elapsed CPU time: 2.10868 s Remaining CPU time: 1797.89 s 2.09/2.13 c core #196 2.09/2.13 c Core size: 3 Core Weight: 1 Total Weight: -254 2.09/2.13 c Elapsed CPU time: 2.12168 s Remaining CPU time: 1797.88 s 2.09/2.14 c core #197 2.09/2.14 c Core size: 3 Core Weight: 1 Total Weight: -253 2.09/2.14 c Elapsed CPU time: 2.13468 s Remaining CPU time: 1797.87 s 2.09/2.15 c core #198 2.09/2.15 c Core size: 3 Core Weight: 1 Total Weight: -252 2.09/2.15 c Elapsed CPU time: 2.14767 s Remaining CPU time: 1797.85 s 2.09/2.17 c core #199 2.09/2.17 c Core size: 3 Core Weight: 1 Total Weight: -251 2.09/2.17 c Elapsed CPU time: 2.16067 s Remaining CPU time: 1797.84 s 2.09/2.18 c core #200 2.09/2.18 c Core size: 3 Core Weight: 1 Total Weight: -250 2.09/2.18 c Elapsed CPU time: 2.17467 s Remaining CPU time: 1797.83 s 2.09/2.19 c core #201 2.09/2.19 c Core size: 3 Core Weight: 1 Total Weight: -249 2.09/2.19 c Elapsed CPU time: 2.18767 s Remaining CPU time: 1797.81 s 2.19/2.21 c core #202 2.19/2.21 c Core size: 3 Core Weight: 1 Total Weight: -248 2.19/2.21 c Elapsed CPU time: 2.20167 s Remaining CPU time: 1797.8 s 2.19/2.22 c core #203 2.19/2.22 c Core size: 3 Core Weight: 1 Total Weight: -247 2.19/2.22 c Elapsed CPU time: 2.21466 s Remaining CPU time: 1797.79 s 2.19/2.23 c core #204 2.19/2.23 c Core size: 3 Core Weight: 1 Total Weight: -246 2.19/2.23 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.25 c core #205 2.19/2.25 c Core size: 3 Core Weight: 1 Total Weight: -245 2.19/2.25 c Elapsed CPU time: 2.24166 s Remaining CPU time: 1797.76 s 2.19/2.26 c core #206 2.19/2.26 c Core size: 3 Core Weight: 1 Total Weight: -244 2.19/2.26 c Elapsed CPU time: 2.25566 s Remaining CPU time: 1797.74 s 2.19/2.27 c core #207 2.19/2.27 c Core size: 3 Core Weight: 1 Total Weight: -243 2.19/2.27 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.19/2.29 c core #208 2.19/2.29 c Core size: 3 Core Weight: 1 Total Weight: -242 2.19/2.29 c Elapsed CPU time: 2.28365 s Remaining CPU time: 1797.72 s 2.29/2.30 c core #209 2.29/2.30 c Core size: 3 Core Weight: 1 Total Weight: -241 2.29/2.30 c Elapsed CPU time: 2.29665 s Remaining CPU time: 1797.7 s 2.29/2.32 c core #210 2.29/2.32 c Core size: 3 Core Weight: 1 Total Weight: -240 2.29/2.32 c Elapsed CPU time: 2.31065 s Remaining CPU time: 1797.69 s 2.29/2.33 c core #211 2.29/2.33 c Core size: 3 Core Weight: 1 Total Weight: -239 2.29/2.33 c Elapsed CPU time: 2.32465 s Remaining CPU time: 1797.68 s 2.29/2.34 c core #212 2.29/2.34 c Core size: 3 Core Weight: 1 Total Weight: -238 2.29/2.34 c Elapsed CPU time: 2.33864 s Remaining CPU time: 1797.66 s 2.29/2.36 c core #213 2.29/2.36 c Core size: 3 Core Weight: 1 Total Weight: -237 2.29/2.36 c Elapsed CPU time: 2.35264 s Remaining CPU time: 1797.65 s 2.29/2.37 c core #214 2.29/2.37 c Core size: 3 Core Weight: 1 Total Weight: -236 2.29/2.37 c Elapsed CPU time: 2.36664 s Remaining CPU time: 1797.63 s 2.29/2.39 c core #215 2.29/2.39 c Core size: 3 Core Weight: 1 Total Weight: -235 2.29/2.39 c Elapsed CPU time: 2.38064 s Remaining CPU time: 1797.62 s 2.39/2.40 c core #216 2.39/2.40 c Core size: 3 Core Weight: 1 Total Weight: -234 2.39/2.40 c Elapsed CPU time: 2.39464 s Remaining CPU time: 1797.61 s 2.39/2.41 c core #217 2.39/2.41 c Core size: 3 Core Weight: 1 Total Weight: -233 2.39/2.41 c Elapsed CPU time: 2.40863 s Remaining CPU time: 1797.59 s 2.39/2.43 c core #218 2.39/2.43 c Core size: 3 Core Weight: 1 Total Weight: -232 2.39/2.43 c Elapsed CPU time: 2.42263 s Remaining CPU time: 1797.58 s 2.39/2.44 c core #219 2.39/2.44 c Core size: 3 Core Weight: 1 Total Weight: -231 2.39/2.44 c Elapsed CPU time: 2.43663 s Remaining CPU time: 1797.56 s 2.39/2.46 c core #220 2.39/2.46 c Core size: 3 Core Weight: 1 Total Weight: -230 2.39/2.46 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.39/2.47 c core #221 2.39/2.47 c Core size: 3 Core Weight: 1 Total Weight: -229 2.39/2.47 c Elapsed CPU time: 2.46462 s Remaining CPU time: 1797.54 s 2.39/2.48 c core #222 2.39/2.48 c Core size: 3 Core Weight: 1 Total Weight: -228 2.39/2.48 c Elapsed CPU time: 2.47862 s Remaining CPU time: 1797.52 s 2.49/2.50 c core #223 2.49/2.50 c Core size: 3 Core Weight: 1 Total Weight: -227 2.49/2.50 c Elapsed CPU time: 2.49262 s Remaining CPU time: 1797.51 s 2.49/2.51 c core #224 2.49/2.51 c Core size: 3 Core Weight: 1 Total Weight: -226 2.49/2.51 c Elapsed CPU time: 2.50662 s Remaining CPU time: 1797.49 s 2.49/2.53 c core #225 2.49/2.53 c Core size: 3 Core Weight: 1 Total Weight: -225 2.49/2.53 c Elapsed CPU time: 2.52062 s Remaining CPU time: 1797.48 s 2.49/2.54 c ============================[ Search Statistics ]============================== 2.49/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.54 c =============================================================================== 2.49/2.54 c | 0 | 900 18502 37004 | 6167 0 nan | 0.000 % | 2.49/2.54 c =============================================================================== 2.49/2.54 c core #226 2.49/2.54 c Core size: 13 Core Weight: 1 Total Weight: -224 2.49/2.54 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.49/2.56 c ============================[ Search Statistics ]============================== 2.49/2.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.56 c =============================================================================== 2.49/2.56 c | 0 | 906 18503 37016 | 6167 0 nan | 0.000 % | 2.49/2.56 c =============================================================================== 2.49/2.56 c core #227 2.49/2.56 c Core size: 13 Core Weight: 1 Total Weight: -223 2.49/2.56 c Elapsed CPU time: 2.54961 s Remaining CPU time: 1797.45 s 2.49/2.57 c ============================[ Search Statistics ]============================== 2.49/2.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.57 c =============================================================================== 2.49/2.57 c | 0 | 912 18504 37028 | 6168 0 nan | 0.000 % | 2.49/2.57 c =============================================================================== 2.58/2.63 c core #228 2.58/2.63 c Core size: 10 Core Weight: 1 Total Weight: -222 2.58/2.63 c Elapsed CPU time: 2.56361 s Remaining CPU time: 1797.44 s 2.58/2.63 c ============================[ Search Statistics ]============================== 2.58/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.63 c =============================================================================== 2.58/2.63 c | 0 | 916 18505 37036 | 6168 0 nan | 0.000 % | 2.58/2.63 c =============================================================================== 2.58/2.63 c core #229 2.58/2.63 c Core size: 10 Core Weight: 1 Total Weight: -221 2.58/2.63 c Elapsed CPU time: 2.57961 s Remaining CPU time: 1797.42 s 2.58/2.63 c ============================[ Search Statistics ]============================== 2.58/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.63 c =============================================================================== 2.58/2.63 c | 0 | 920 18506 37044 | 6168 0 nan | 0.000 % | 2.58/2.63 c =============================================================================== 2.58/2.63 c core #230 2.58/2.63 c Core size: 10 Core Weight: 1 Total Weight: -220 2.58/2.63 c Elapsed CPU time: 2.59361 s Remaining CPU time: 1797.41 s 2.58/2.63 c ============================[ Search Statistics ]============================== 2.58/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.63 c =============================================================================== 2.58/2.63 c | 0 | 924 18507 37052 | 6169 0 nan | 0.000 % | 2.58/2.63 c =============================================================================== 2.58/2.63 c core #231 2.58/2.63 c Core size: 13 Core Weight: 1 Total Weight: -219 2.58/2.63 c Elapsed CPU time: 2.6076 s Remaining CPU time: 1797.39 s 2.58/2.63 c ============================[ Search Statistics ]============================== 2.58/2.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.63 c =============================================================================== 2.58/2.63 c | 0 | 930 18508 37064 | 6169 0 nan | 0.000 % | 2.58/2.63 c =============================================================================== 2.58/2.63 c core #232 2.58/2.63 c Core size: 13 Core Weight: 1 Total Weight: -218 2.58/2.63 c Elapsed CPU time: 2.6226 s Remaining CPU time: 1797.38 s 2.58/2.64 c ============================[ Search Statistics ]============================== 2.58/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.64 c =============================================================================== 2.58/2.64 c | 0 | 936 18509 37076 | 6169 0 nan | 0.000 % | 2.58/2.65 c =============================================================================== 2.58/2.65 c core #233 2.58/2.65 c Core size: 10 Core Weight: 1 Total Weight: -217 2.58/2.65 c Elapsed CPU time: 2.6366 s Remaining CPU time: 1797.36 s 2.58/2.66 c ============================[ Search Statistics ]============================== 2.58/2.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.66 c =============================================================================== 2.58/2.66 c | 0 | 940 18510 37084 | 6170 0 nan | 0.000 % | 2.58/2.66 c =============================================================================== 2.58/2.66 c core #234 2.58/2.66 c Core size: 13 Core Weight: 1 Total Weight: -216 2.58/2.66 c Elapsed CPU time: 2.6516 s Remaining CPU time: 1797.35 s 2.58/2.67 c ============================[ Search Statistics ]============================== 2.58/2.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.67 c =============================================================================== 2.58/2.67 c | 0 | 946 18511 37096 | 6170 0 nan | 0.000 % | 2.58/2.68 c =============================================================================== 2.58/2.68 c core #235 2.58/2.68 c Core size: 13 Core Weight: 1 Total Weight: -215 2.58/2.68 c Elapsed CPU time: 2.66659 s Remaining CPU time: 1797.33 s 2.58/2.69 c ============================[ Search Statistics ]============================== 2.58/2.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.58/2.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.58/2.69 c =============================================================================== 2.58/2.69 c | 0 | 952 18512 37108 | 6170 0 nan | 0.000 % | 2.58/2.69 c =============================================================================== 2.58/2.69 c core #236 2.58/2.69 c Core size: 10 Core Weight: 1 Total Weight: -214 2.58/2.69 c Elapsed CPU time: 2.68059 s Remaining CPU time: 1797.32 s 2.68/2.70 c ============================[ Search Statistics ]============================== 2.68/2.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.70 c =============================================================================== 2.68/2.70 c | 0 | 956 18513 37116 | 6171 0 nan | 0.000 % | 2.68/2.71 c =============================================================================== 2.68/2.71 c core #237 2.68/2.71 c Core size: 13 Core Weight: 1 Total Weight: -213 2.68/2.71 c Elapsed CPU time: 2.69559 s Remaining CPU time: 1797.3 s 2.68/2.72 c ============================[ Search Statistics ]============================== 2.68/2.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.72 c =============================================================================== 2.68/2.72 c | 0 | 962 18514 37128 | 6171 0 nan | 0.000 % | 2.68/2.72 c =============================================================================== 2.68/2.72 c core #238 2.68/2.72 c Core size: 24 Core Weight: 1 Total Weight: -212 2.68/2.72 c Elapsed CPU time: 2.71059 s Remaining CPU time: 1797.29 s 2.68/2.73 c ============================[ Search Statistics ]============================== 2.68/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.73 c =============================================================================== 2.68/2.73 c | 0 | 972 18515 37148 | 6171 0 nan | 0.000 % | 2.68/2.74 c =============================================================================== 2.68/2.74 c core #239 2.68/2.74 c Core size: 10 Core Weight: 1 Total Weight: -211 2.68/2.74 c Elapsed CPU time: 2.72659 s Remaining CPU time: 1797.27 s 2.68/2.75 c ============================[ Search Statistics ]============================== 2.68/2.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.75 c =============================================================================== 2.68/2.75 c | 0 | 976 18516 37156 | 6172 0 nan | 0.000 % | 2.68/2.75 c =============================================================================== 2.68/2.75 c core #240 2.68/2.75 c Core size: 13 Core Weight: 1 Total Weight: -210 2.68/2.75 c Elapsed CPU time: 2.74058 s Remaining CPU time: 1797.26 s 2.68/2.76 c ============================[ Search Statistics ]============================== 2.68/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.76 c =============================================================================== 2.68/2.76 c | 0 | 982 18517 37168 | 6172 0 nan | 0.000 % | 2.68/2.77 c =============================================================================== 2.68/2.77 c core #241 2.68/2.77 c Core size: 13 Core Weight: 1 Total Weight: -209 2.68/2.77 c Elapsed CPU time: 2.75658 s Remaining CPU time: 1797.24 s 2.68/2.78 c ============================[ Search Statistics ]============================== 2.68/2.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.78 c =============================================================================== 2.68/2.78 c | 0 | 988 18518 37180 | 6172 0 nan | 0.000 % | 2.68/2.78 c =============================================================================== 2.68/2.78 c core #242 2.68/2.78 c Core size: 10 Core Weight: 1 Total Weight: -208 2.68/2.78 c Elapsed CPU time: 2.77158 s Remaining CPU time: 1797.23 s 2.68/2.79 c ============================[ Search Statistics ]============================== 2.68/2.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.79 c =============================================================================== 2.68/2.79 c | 0 | 992 18519 37188 | 6173 0 nan | 0.000 % | 2.68/2.79 c =============================================================================== 2.68/2.79 c core #243 2.68/2.79 c Core size: 10 Core Weight: 1 Total Weight: -207 2.68/2.79 c Elapsed CPU time: 2.78558 s Remaining CPU time: 1797.21 s 2.78/2.81 c ============================[ Search Statistics ]============================== 2.78/2.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.81 c =============================================================================== 2.78/2.81 c | 0 | 996 18520 37196 | 6173 0 nan | 0.000 % | 2.78/2.81 c =============================================================================== 2.78/2.81 c core #244 2.78/2.81 c Core size: 13 Core Weight: 1 Total Weight: -206 2.78/2.81 c Elapsed CPU time: 2.80157 s Remaining CPU time: 1797.2 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 | 1002 18521 37208 | 6173 0 nan | 0.000 % | 2.78/2.83 c =============================================================================== 2.78/2.83 c core #245 2.78/2.83 c Core size: 10 Core Weight: 1 Total Weight: -205 2.78/2.83 c Elapsed CPU time: 2.81557 s Remaining CPU time: 1797.18 s 2.78/2.84 c ============================[ Search Statistics ]============================== 2.78/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.84 c =============================================================================== 2.78/2.84 c | 0 | 1006 18522 37216 | 6174 0 nan | 0.000 % | 2.78/2.84 c =============================================================================== 2.78/2.84 c core #246 2.78/2.84 c Core size: 24 Core Weight: 1 Total Weight: -204 2.78/2.84 c Elapsed CPU time: 2.83057 s Remaining CPU time: 1797.17 s 2.78/2.86 c ============================[ Search Statistics ]============================== 2.78/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.86 c =============================================================================== 2.78/2.86 c | 0 | 1016 18523 37236 | 6174 0 nan | 0.000 % | 2.78/2.86 c =============================================================================== 2.78/2.86 c core #247 2.78/2.86 c Core size: 10 Core Weight: 1 Total Weight: -203 2.78/2.86 c Elapsed CPU time: 2.84657 s Remaining CPU time: 1797.15 s 2.78/2.87 c ============================[ Search Statistics ]============================== 2.78/2.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.78/2.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.78/2.87 c =============================================================================== 2.78/2.87 c | 0 | 1020 18524 37244 | 6174 0 nan | 0.000 % | 2.78/2.87 c =============================================================================== 2.78/2.87 c core #248 2.78/2.87 c Core size: 13 Core Weight: 1 Total Weight: -202 2.78/2.87 c Elapsed CPU time: 2.86356 s Remaining CPU time: 1797.14 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 | 1026 18525 37256 | 6175 0 nan | 0.000 % | 2.78/2.89 c =============================================================================== 2.78/2.89 c core #249 2.78/2.89 c Core size: 24 Core Weight: 1 Total Weight: -201 2.78/2.89 c Elapsed CPU time: 2.87956 s Remaining CPU time: 1797.12 s 2.89/2.90 c ============================[ Search Statistics ]============================== 2.89/2.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.90 c =============================================================================== 2.89/2.90 c | 0 | 1036 18526 37276 | 6175 0 nan | 0.000 % | 2.89/2.91 c =============================================================================== 2.89/2.91 c core #250 2.89/2.91 c Core size: 24 Core Weight: 1 Total Weight: -200 2.89/2.91 c Elapsed CPU time: 2.89556 s Remaining CPU time: 1797.1 s 2.89/2.92 c ============================[ Search Statistics ]============================== 2.89/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.92 c =============================================================================== 2.89/2.92 c | 0 | 1046 18527 37296 | 6175 0 nan | 0.000 % | 2.89/2.92 c =============================================================================== 2.89/2.92 c core #251 2.89/2.92 c Core size: 13 Core Weight: 1 Total Weight: -199 2.89/2.92 c Elapsed CPU time: 2.91156 s Remaining CPU time: 1797.09 s 2.89/2.94 c ============================[ Search Statistics ]============================== 2.89/2.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.94 c =============================================================================== 2.89/2.94 c | 0 | 1052 18528 37308 | 6176 0 nan | 0.000 % | 2.89/2.94 c =============================================================================== 2.89/2.94 c core #252 2.89/2.94 c Core size: 13 Core Weight: 1 Total Weight: -198 2.89/2.94 c Elapsed CPU time: 2.92755 s Remaining CPU time: 1797.07 s 2.89/2.95 c ============================[ Search Statistics ]============================== 2.89/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.95 c =============================================================================== 2.89/2.95 c | 0 | 1058 18529 37320 | 6176 0 nan | 0.000 % | 2.89/2.95 c =============================================================================== 2.89/2.95 c core #253 2.89/2.95 c Core size: 13 Core Weight: 1 Total Weight: -197 2.89/2.95 c Elapsed CPU time: 2.94255 s Remaining CPU time: 1797.06 s 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 1064 18530 37332 | 6176 0 nan | 0.000 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c core #254 2.89/2.97 c Core size: 10 Core Weight: 1 Total Weight: -196 2.89/2.97 c Elapsed CPU time: 2.95655 s Remaining CPU time: 1797.04 s 2.89/2.98 c ============================[ Search Statistics ]============================== 2.89/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.98 c =============================================================================== 2.89/2.98 c | 0 | 1068 18531 37340 | 6177 0 nan | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c core #255 2.89/2.98 c Core size: 13 Core Weight: 1 Total Weight: -195 2.89/2.98 c Elapsed CPU time: 2.97155 s Remaining CPU time: 1797.03 s 2.89/3.00 c ============================[ Search Statistics ]============================== 2.89/3.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/3.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/3.00 c =============================================================================== 2.89/3.00 c | 0 | 1074 18532 37352 | 6177 0 nan | 0.000 % | 2.99/3.00 c =============================================================================== 2.99/3.00 c core #256 2.99/3.00 c Core size: 13 Core Weight: 1 Total Weight: -194 2.99/3.00 c Elapsed CPU time: 2.98655 s Remaining CPU time: 1797.01 s 2.99/3.01 c ============================[ Search Statistics ]============================== 2.99/3.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.01 c =============================================================================== 2.99/3.01 c | 0 | 1080 18533 37364 | 6177 0 nan | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c core #257 2.99/3.01 c Core size: 13 Core Weight: 1 Total Weight: -193 2.99/3.01 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 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 | 1086 18534 37376 | 6178 0 nan | 0.000 % | 2.99/3.03 c =============================================================================== 2.99/3.03 c core #258 2.99/3.03 c Core size: 27 Core Weight: 1 Total Weight: -192 2.99/3.03 c Elapsed CPU time: 3.01754 s Remaining CPU time: 1796.98 s 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 1098 18535 37400 | 6178 0 nan | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c core #259 2.99/3.04 c Core size: 10 Core Weight: 1 Total Weight: -191 2.99/3.04 c Elapsed CPU time: 3.03454 s Remaining CPU time: 1796.97 s 2.99/3.06 c ============================[ Search Statistics ]============================== 2.99/3.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.06 c =============================================================================== 2.99/3.06 c | 0 | 1102 18536 37408 | 6178 0 nan | 0.000 % | 2.99/3.06 c =============================================================================== 2.99/3.06 c core #260 2.99/3.06 c Core size: 24 Core Weight: 1 Total Weight: -190 2.99/3.06 c Elapsed CPU time: 3.05054 s Remaining CPU time: 1796.95 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 | 1112 18537 37428 | 6179 0 nan | 0.000 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c core #261 2.99/3.08 c Core size: 27 Core Weight: 1 Total Weight: -189 2.99/3.08 c Elapsed CPU time: 3.06653 s Remaining CPU time: 1796.93 s 2.99/3.09 c ============================[ Search Statistics ]============================== 2.99/3.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.09 c =============================================================================== 2.99/3.09 c | 0 | 1124 18538 37452 | 6179 0 nan | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c core #262 2.99/3.09 c Core size: 13 Core Weight: 1 Total Weight: -188 2.99/3.09 c Elapsed CPU time: 3.08253 s Remaining CPU time: 1796.92 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 | 1130 18539 37464 | 6179 0 nan | 0.000 % | 3.09/3.11 c =============================================================================== 3.09/3.11 c core #263 3.09/3.11 c Core size: 13 Core Weight: 1 Total Weight: -187 3.09/3.11 c Elapsed CPU time: 3.09853 s Remaining CPU time: 1796.9 s 3.09/3.13 c ============================[ Search Statistics ]============================== 3.09/3.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.13 c =============================================================================== 3.09/3.13 c | 0 | 1136 18540 37476 | 6180 0 nan | 0.000 % | 3.09/3.13 c =============================================================================== 3.09/3.13 c core #264 3.09/3.13 c Core size: 13 Core Weight: 1 Total Weight: -186 3.09/3.13 c Elapsed CPU time: 3.11453 s Remaining CPU time: 1796.89 s 3.09/3.14 c ============================[ Search Statistics ]============================== 3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.14 c =============================================================================== 3.09/3.14 c | 0 | 1142 18541 37488 | 6180 0 nan | 0.000 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c core #265 3.09/3.14 c Core size: 10 Core Weight: 1 Total Weight: -185 3.09/3.14 c Elapsed CPU time: 3.12952 s Remaining CPU time: 1796.87 s 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 1146 18542 37496 | 6180 0 nan | 0.000 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c core #266 3.09/3.16 c Core size: 27 Core Weight: 1 Total Weight: -184 3.09/3.16 c Elapsed CPU time: 3.14552 s Remaining CPU time: 1796.85 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 | 1158 18543 37520 | 6181 0 nan | 0.000 % | 3.09/3.17 c =============================================================================== 3.09/3.17 c core #267 3.09/3.17 c Core size: 10 Core Weight: 1 Total Weight: -183 3.09/3.17 c Elapsed CPU time: 3.16152 s Remaining CPU time: 1796.84 s 3.09/3.19 c ============================[ Search Statistics ]============================== 3.09/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.19 c =============================================================================== 3.09/3.19 c | 0 | 1162 18544 37528 | 6181 0 nan | 0.000 % | 3.09/3.19 c =============================================================================== 3.09/3.19 c core #268 3.09/3.19 c Core size: 13 Core Weight: 1 Total Weight: -182 3.09/3.19 c Elapsed CPU time: 3.17852 s Remaining CPU time: 1796.82 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 | 1168 18545 37540 | 6181 0 nan | 0.000 % | 3.19/3.21 c =============================================================================== 3.19/3.21 c core #269 3.19/3.21 c Core size: 10 Core Weight: 1 Total Weight: -181 3.19/3.21 c Elapsed CPU time: 3.19551 s Remaining CPU time: 1796.8 s 3.19/3.22 c ============================[ Search Statistics ]============================== 3.19/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.22 c =============================================================================== 3.19/3.22 c | 0 | 1172 18546 37548 | 6182 0 nan | 0.000 % | 3.19/3.23 c =============================================================================== 3.19/3.23 c core #270 3.19/3.23 c Core size: 13 Core Weight: 1 Total Weight: -180 3.19/3.23 c Elapsed CPU time: 3.21351 s Remaining CPU time: 1796.79 s 3.19/3.24 c ============================[ Search Statistics ]============================== 3.19/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.24 c =============================================================================== 3.19/3.24 c | 0 | 1178 18547 37560 | 6182 0 nan | 0.000 % | 3.19/3.24 c =============================================================================== 3.19/3.24 c core #271 3.19/3.24 c Core size: 13 Core Weight: 1 Total Weight: -179 3.19/3.24 c Elapsed CPU time: 3.22951 s Remaining CPU time: 1796.77 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 | 1184 18548 37572 | 6182 0 nan | 0.000 % | 3.19/3.26 c =============================================================================== 3.19/3.26 c core #272 3.19/3.26 c Core size: 10 Core Weight: 1 Total Weight: -178 3.19/3.26 c Elapsed CPU time: 3.24651 s Remaining CPU time: 1796.75 s 3.19/3.27 c ============================[ Search Statistics ]============================== 3.19/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.27 c =============================================================================== 3.19/3.27 c | 0 | 1188 18549 37580 | 6183 0 nan | 0.000 % | 3.19/3.28 c =============================================================================== 3.19/3.28 c core #273 3.19/3.28 c Core size: 10 Core Weight: 1 Total Weight: -177 3.19/3.28 c Elapsed CPU time: 3.2635 s Remaining CPU time: 1796.74 s 3.19/3.29 c ============================[ Search Statistics ]============================== 3.19/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.29 c =============================================================================== 3.19/3.29 c | 0 | 1192 18550 37588 | 6183 0 nan | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c core #274 3.19/3.29 c Core size: 27 Core Weight: 1 Total Weight: -176 3.19/3.29 c Elapsed CPU time: 3.2795 s Remaining CPU time: 1796.72 s 3.29/3.31 c ============================[ Search Statistics ]============================== 3.29/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.31 c =============================================================================== 3.29/3.31 c | 0 | 1204 18551 37612 | 6183 0 nan | 0.000 % | 3.29/3.31 c =============================================================================== 3.29/3.31 c core #275 3.29/3.31 c Core size: 10 Core Weight: 1 Total Weight: -175 3.29/3.31 c Elapsed CPU time: 3.2965 s Remaining CPU time: 1796.7 s 3.29/3.33 c ============================[ Search Statistics ]============================== 3.29/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.33 c =============================================================================== 3.29/3.33 c | 0 | 1208 18552 37620 | 6184 0 nan | 0.000 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c core #276 3.29/3.33 c Core size: 10 Core Weight: 1 Total Weight: -174 3.29/3.33 c Elapsed CPU time: 3.3145 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 | 1212 18553 37628 | 6184 0 nan | 0.000 % | 3.29/3.34 c =============================================================================== 3.29/3.34 c core #277 3.29/3.34 c Core size: 13 Core Weight: 1 Total Weight: -173 3.29/3.34 c Elapsed CPU time: 3.33249 s Remaining CPU time: 1796.67 s 3.29/3.36 c ============================[ Search Statistics ]============================== 3.29/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.36 c =============================================================================== 3.29/3.36 c | 0 | 1218 18554 37640 | 6184 0 nan | 0.000 % | 3.29/3.36 c =============================================================================== 3.29/3.36 c core #278 3.29/3.36 c Core size: 13 Core Weight: 1 Total Weight: -172 3.29/3.36 c Elapsed CPU time: 3.34949 s Remaining CPU time: 1796.65 s 3.29/3.38 c ============================[ Search Statistics ]============================== 3.29/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.38 c =============================================================================== 3.29/3.38 c | 0 | 1224 18555 37652 | 6185 0 nan | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.38 c core #279 3.29/3.38 c Core size: 13 Core Weight: 1 Total Weight: -171 3.29/3.38 c Elapsed CPU time: 3.36549 s Remaining CPU time: 1796.63 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 | 1230 18556 37664 | 6185 0 nan | 0.000 % | 3.29/3.40 c =============================================================================== 3.29/3.40 c core #280 3.29/3.40 c Core size: 10 Core Weight: 1 Total Weight: -170 3.29/3.40 c Elapsed CPU time: 3.38348 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 | 1234 18557 37672 | 6185 0 nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c core #281 3.39/3.41 c Core size: 24 Core Weight: 1 Total Weight: -169 3.39/3.41 c Elapsed CPU time: 3.40048 s Remaining CPU time: 1796.6 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 | 1244 18558 37692 | 6186 0 nan | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c core #282 3.39/3.43 c Core size: 14 Core Weight: 1 Total Weight: -168 3.39/3.43 c Elapsed CPU time: 3.41748 s Remaining CPU time: 1796.58 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 | 1250 18559 37704 | 6186 0 nan | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c core #283 3.39/3.45 c Core size: 10 Core Weight: 1 Total Weight: -167 3.39/3.45 c Elapsed CPU time: 3.43348 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 | 1254 18560 37712 | 6186 0 nan | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c core #284 3.39/3.47 c Core size: 10 Core Weight: 1 Total Weight: -166 3.39/3.47 c Elapsed CPU time: 3.45147 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 | 1258 18561 37720 | 6187 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #285 3.39/3.48 c Core size: 13 Core Weight: 1 Total Weight: -165 3.39/3.48 c Elapsed CPU time: 3.46847 s Remaining CPU time: 1796.53 s 3.49/3.50 c ============================[ Search Statistics ]============================== 3.49/3.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.50 c =============================================================================== 3.49/3.50 c | 0 | 1264 18562 37732 | 6187 0 nan | 0.000 % | 3.49/3.50 c =============================================================================== 3.49/3.50 c core #286 3.49/3.50 c Core size: 28 Core Weight: 1 Total Weight: -164 3.49/3.50 c Elapsed CPU time: 3.48747 s Remaining CPU time: 1796.51 s 3.49/3.52 c ============================[ Search Statistics ]============================== 3.49/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.52 c =============================================================================== 3.49/3.52 c | 0 | 1276 18563 37756 | 6187 0 nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.52 c core #287 3.49/3.52 c Core size: 23 Core Weight: 1 Total Weight: -163 3.49/3.52 c Elapsed CPU time: 3.50547 s Remaining CPU time: 1796.49 s 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 1284 18564 37772 | 6188 0 nan | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c core #288 3.49/3.54 c Core size: 13 Core Weight: 1 Total Weight: -162 3.49/3.54 c Elapsed CPU time: 3.52346 s Remaining CPU time: 1796.48 s 3.49/3.55 c ============================[ Search Statistics ]============================== 3.49/3.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.55 c =============================================================================== 3.49/3.55 c | 0 | 1290 18565 37784 | 6188 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #289 3.49/3.55 c Core size: 31 Core Weight: 1 Total Weight: -161 3.49/3.55 c Elapsed CPU time: 3.54046 s Remaining CPU time: 1796.46 s 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 1304 18566 37812 | 6188 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #290 3.49/3.57 c Core size: 13 Core Weight: 1 Total Weight: -160 3.49/3.57 c Elapsed CPU time: 3.55746 s Remaining CPU time: 1796.44 s 3.49/3.59 c ============================[ Search Statistics ]============================== 3.49/3.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.59 c =============================================================================== 3.49/3.59 c | 0 | 1310 18567 37824 | 6189 0 nan | 0.000 % | 3.49/3.59 c =============================================================================== 3.49/3.59 c core #291 3.49/3.59 c Core size: 13 Core Weight: 1 Total Weight: -159 3.49/3.59 c Elapsed CPU time: 3.57546 s Remaining CPU time: 1796.42 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 | 1316 18568 37836 | 6189 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #292 3.59/3.61 c Core size: 21 Core Weight: 1 Total Weight: -158 3.59/3.61 c Elapsed CPU time: 3.59245 s Remaining CPU time: 1796.41 s 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 1324 18569 37852 | 6189 0 nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c core #293 3.59/3.63 c Core size: 13 Core Weight: 1 Total Weight: -157 3.59/3.63 c Elapsed CPU time: 3.61145 s Remaining CPU time: 1796.39 s 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 1330 18570 37864 | 6190 0 nan | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c core #294 3.59/3.64 c Core size: 13 Core Weight: 1 Total Weight: -156 3.59/3.64 c Elapsed CPU time: 3.62845 s Remaining CPU time: 1796.37 s 3.59/3.66 c ============================[ Search Statistics ]============================== 3.59/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.66 c =============================================================================== 3.59/3.66 c | 0 | 1336 18571 37876 | 6190 0 nan | 0.000 % | 3.59/3.66 c =============================================================================== 3.59/3.66 c core #295 3.59/3.66 c Core size: 13 Core Weight: 1 Total Weight: -155 3.59/3.66 c Elapsed CPU time: 3.64445 s Remaining CPU time: 1796.36 s 3.59/3.67 c ============================[ Search Statistics ]============================== 3.59/3.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.67 c =============================================================================== 3.59/3.67 c | 0 | 1342 18572 37888 | 6190 0 nan | 0.000 % | 3.59/3.68 c =============================================================================== 3.59/3.68 c core #296 3.59/3.68 c Core size: 13 Core Weight: 1 Total Weight: -154 3.59/3.68 c Elapsed CPU time: 3.66144 s Remaining CPU time: 1796.34 s 3.59/3.69 c ============================[ Search Statistics ]============================== 3.59/3.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.69 c =============================================================================== 3.59/3.69 c | 0 | 1348 18573 37900 | 6191 0 nan | 0.000 % | 3.59/3.69 c =============================================================================== 3.59/3.69 c core #297 3.59/3.69 c Core size: 10 Core Weight: 1 Total Weight: -153 3.59/3.69 c Elapsed CPU time: 3.67844 s Remaining CPU time: 1796.32 s 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 1352 18574 37908 | 6191 0 nan | 0.000 % | 3.69/3.71 c =============================================================================== 3.69/3.71 c core #298 3.69/3.71 c Core size: 13 Core Weight: 1 Total Weight: -152 3.69/3.71 c Elapsed CPU time: 3.69544 s Remaining CPU time: 1796.3 s 3.69/3.73 c ============================[ Search Statistics ]============================== 3.69/3.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.73 c =============================================================================== 3.69/3.73 c | 0 | 1358 18575 37920 | 6191 0 nan | 0.000 % | 3.69/3.73 c =============================================================================== 3.69/3.73 c core #299 3.69/3.73 c Core size: 13 Core Weight: 1 Total Weight: -151 3.69/3.73 c Elapsed CPU time: 3.71443 s Remaining CPU time: 1796.29 s 3.69/3.75 c ============================[ Search Statistics ]============================== 3.69/3.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.75 c =============================================================================== 3.69/3.75 c | 0 | 1364 18576 37932 | 6192 0 nan | 0.000 % | 3.69/3.75 c =============================================================================== 3.69/3.75 c core #300 3.69/3.75 c Core size: 10 Core Weight: 1 Total Weight: -150 3.69/3.75 c Elapsed CPU time: 3.73343 s Remaining CPU time: 1796.27 s 3.69/3.76 c ============================[ Search Statistics ]============================== 3.69/3.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.76 c =============================================================================== 3.69/3.76 c | 0 | 1368 18577 37940 | 6192 0 nan | 0.000 % | 3.69/3.77 c =============================================================================== 3.69/3.77 c core #301 3.69/3.77 c Core size: 13 Core Weight: 1 Total Weight: -149 3.69/3.77 c Elapsed CPU time: 3.75043 s Remaining CPU time: 1796.25 s 3.69/3.78 c ============================[ Search Statistics ]============================== 3.69/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.78 c =============================================================================== 3.69/3.78 c | 0 | 1374 18578 37952 | 6192 0 nan | 0.000 % | 3.69/3.78 c =============================================================================== 3.69/3.78 c core #302 3.69/3.78 c Core size: 13 Core Weight: 1 Total Weight: -148 3.69/3.78 c Elapsed CPU time: 3.76843 s Remaining CPU time: 1796.23 s 3.79/3.80 c ============================[ Search Statistics ]============================== 3.79/3.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.80 c =============================================================================== 3.79/3.80 c | 0 | 1380 18579 37964 | 6193 0 nan | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c core #303 3.79/3.80 c Core size: 13 Core Weight: 1 Total Weight: -147 3.79/3.80 c Elapsed CPU time: 3.78742 s Remaining CPU time: 1796.21 s 3.79/3.82 c ============================[ Search Statistics ]============================== 3.79/3.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.82 c =============================================================================== 3.79/3.82 c | 0 | 1386 18580 37976 | 6193 0 nan | 0.000 % | 3.79/3.82 c =============================================================================== 3.79/3.82 c core #304 3.79/3.82 c Core size: 17 Core Weight: 1 Total Weight: -146 3.79/3.82 c Elapsed CPU time: 3.80442 s Remaining CPU time: 1796.2 s 3.79/3.84 c ============================[ Search Statistics ]============================== 3.79/3.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.84 c =============================================================================== 3.79/3.84 c | 0 | 1394 18581 37992 | 6193 0 nan | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c core #305 3.79/3.84 c Core size: 13 Core Weight: 1 Total Weight: -145 3.79/3.84 c Elapsed CPU time: 3.82242 s Remaining CPU time: 1796.18 s 3.79/3.86 c ============================[ Search Statistics ]============================== 3.79/3.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.86 c =============================================================================== 3.79/3.86 c | 0 | 1400 18582 38004 | 6194 0 nan | 0.000 % | 3.79/3.86 c =============================================================================== 3.79/3.86 c core #306 3.79/3.86 c Core size: 10 Core Weight: 1 Total Weight: -144 3.79/3.86 c Elapsed CPU time: 3.84241 s Remaining CPU time: 1796.16 s 3.79/3.87 c ============================[ Search Statistics ]============================== 3.79/3.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.87 c =============================================================================== 3.79/3.87 c | 0 | 1404 18583 38012 | 6194 0 nan | 0.000 % | 3.79/3.88 c =============================================================================== 3.79/3.88 c core #307 3.79/3.88 c Core size: 37 Core Weight: 1 Total Weight: -143 3.79/3.88 c Elapsed CPU time: 3.86041 s Remaining CPU time: 1796.14 s 3.79/3.89 c ============================[ Search Statistics ]============================== 3.79/3.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.89 c =============================================================================== 3.79/3.89 c | 0 | 1416 18584 38036 | 6194 0 nan | 0.000 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c core #308 3.79/3.89 c Core size: 10 Core Weight: 1 Total Weight: -142 3.79/3.89 c Elapsed CPU time: 3.87841 s Remaining CPU time: 1796.12 s 3.89/3.91 c ============================[ Search Statistics ]============================== 3.89/3.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.91 c =============================================================================== 3.89/3.91 c | 0 | 1420 18585 38044 | 6195 0 nan | 0.000 % | 3.89/3.91 c =============================================================================== 3.89/3.91 c core #309 3.89/3.91 c Core size: 31 Core Weight: 1 Total Weight: -141 3.89/3.91 c Elapsed CPU time: 3.89641 s Remaining CPU time: 1796.1 s 3.89/3.93 c ============================[ Search Statistics ]============================== 3.89/3.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.93 c =============================================================================== 3.89/3.93 c | 0 | 1430 18586 38064 | 6195 0 nan | 0.000 % | 3.89/3.93 c =============================================================================== 3.89/3.93 c core #310 3.89/3.93 c Core size: 51 Core Weight: 1 Total Weight: -140 3.89/3.93 c Elapsed CPU time: 3.9154 s Remaining CPU time: 1796.08 s 3.89/3.95 c ============================[ Search Statistics ]============================== 3.89/3.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.95 c =============================================================================== 3.89/3.95 c | 0 | 1444 18587 38092 | 6195 0 nan | 0.000 % | 3.89/3.95 c | 102 | 1442 18587 38092 | 6815 102 12 | 0.139 % | 3.89/3.96 c =============================================================================== 3.89/3.96 c core #311 3.89/3.96 c Core size: 85 Core Weight: 1 Total Weight: -139 3.89/3.96 c Elapsed CPU time: 3.9384 s Remaining CPU time: 1796.06 s 3.89/3.97 c ============================[ Search Statistics ]============================== 3.89/3.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.97 c =============================================================================== 3.89/3.97 c | 0 | 1470 18588 38144 | 6196 0 nan | 0.000 % | 3.89/3.98 c =============================================================================== 3.89/3.98 c core #312 3.89/3.98 c Core size: 61 Core Weight: 1 Total Weight: -138 3.89/3.98 c Elapsed CPU time: 3.9574 s Remaining CPU time: 1796.04 s 3.89/3.99 c ============================[ Search Statistics ]============================== 3.89/3.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.99 c =============================================================================== 3.89/3.99 c | 0 | 1488 18589 38180 | 6196 0 nan | 0.000 % | 3.99/4.00 c | 100 | 1484 18589 38180 | 6815 100 8 | 0.269 % | 3.99/4.00 c =============================================================================== 3.99/4.00 c core #313 3.99/4.00 c Core size: 121 Core Weight: 1 Total Weight: -137 3.99/4.00 c Elapsed CPU time: 3.98039 s Remaining CPU time: 1796.02 s 3.99/4.02 c ============================[ Search Statistics ]============================== 3.99/4.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.02 c =============================================================================== 3.99/4.02 c | 0 | 1526 18590 38256 | 6196 0 nan | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.02 c core #314 3.99/4.02 c Core size: 35 Core Weight: 1 Total Weight: -136 3.99/4.02 c Elapsed CPU time: 4.00139 s Remaining CPU time: 1796 s 3.99/4.04 c ============================[ Search Statistics ]============================== 3.99/4.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.04 c =============================================================================== 3.99/4.04 c | 0 | 1536 18591 38276 | 6197 0 nan | 0.000 % | 3.99/4.04 c | 100 | 1536 18591 38276 | 6816 100 14 | 0.000 % | 3.99/4.05 c | 250 | 1535 18591 38276 | 7498 250 15 | 0.065 % | 3.99/4.05 c =============================================================================== 3.99/4.05 c core #315 3.99/4.05 c Core size: 48 Core Weight: 1 Total Weight: -135 3.99/4.05 c Elapsed CPU time: 4.02939 s Remaining CPU time: 1795.97 s 3.99/4.07 c ============================[ Search Statistics ]============================== 3.99/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.07 c =============================================================================== 3.99/4.07 c | 0 | 1554 18592 38312 | 6197 0 nan | 0.000 % | 3.99/4.07 c =============================================================================== 3.99/4.07 c core #316 3.99/4.07 c Core size: 87 Core Weight: 1 Total Weight: -134 3.99/4.07 c Elapsed CPU time: 4.05238 s Remaining CPU time: 1795.95 s 3.99/4.09 c ============================[ Search Statistics ]============================== 3.99/4.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.09 c =============================================================================== 3.99/4.09 c | 0 | 1582 18593 38368 | 6197 0 nan | 0.000 % | 4.09/4.10 c | 100 | 1581 18593 38368 | 6817 100 19 | 0.063 % | 4.09/4.10 c | 251 | 1570 18593 38368 | 7499 251 19 | 0.759 % | 4.09/4.11 c | 478 | 1568 18593 38368 | 8249 478 21 | 0.885 % | 4.09/4.13 c =============================================================================== 4.09/4.13 c core #317 4.09/4.13 c Core size: 316 Core Weight: 1 Total Weight: -133 4.09/4.13 c Elapsed CPU time: 4.11038 s Remaining CPU time: 1795.89 s 4.09/4.15 c ============================[ Search Statistics ]============================== 4.09/4.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.15 c =============================================================================== 4.09/4.15 c | 0 | 1640 18594 38484 | 6198 0 nan | 0.000 % | 4.09/4.16 c =============================================================================== 4.09/4.16 c core #318 4.09/4.16 c Core size: 46 Core Weight: 1 Total Weight: -132 4.09/4.16 c Elapsed CPU time: 4.13337 s Remaining CPU time: 1795.87 s 4.09/4.18 c ============================[ Search Statistics ]============================== 4.09/4.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.09/4.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.09/4.18 c =============================================================================== 4.09/4.18 c | 0 | 1652 18595 38508 | 6198 0 nan | 0.000 % | 4.09/4.18 c =============================================================================== 4.09/4.18 c core #319 4.09/4.18 c Core size: 34 Core Weight: 1 Total Weight: -131 4.09/4.18 c Elapsed CPU time: 4.15337 s Remaining CPU time: 1795.85 s 4.19/4.20 c ============================[ Search Statistics ]============================== 4.19/4.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.20 c =============================================================================== 4.19/4.20 c | 0 | 1662 18596 38528 | 6198 0 nan | 0.000 % | 4.19/4.20 c | 100 | 1661 18596 38528 | 6818 100 6 | 0.060 % | 4.19/4.20 c =============================================================================== 4.19/4.20 c core #320 4.19/4.20 c Core size: 97 Core Weight: 1 Total Weight: -130 4.19/4.20 c Elapsed CPU time: 4.17736 s Remaining CPU time: 1795.82 s 4.19/4.22 c ============================[ Search Statistics ]============================== 4.19/4.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.22 c =============================================================================== 4.19/4.22 c | 0 | 1686 18597 38576 | 6199 0 nan | 0.000 % | 4.19/4.23 c | 103 | 1686 18597 38576 | 6818 103 16 | 0.000 % | 4.19/4.23 c | 254 | 1686 18597 38576 | 7500 254 19 | 0.000 % | 4.19/4.24 c | 481 | 1686 18597 38576 | 8250 481 24 | 0.000 % | 4.19/4.26 c | 818 | 1676 18597 38576 | 9075 815 24 | 0.593 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c core #321 4.19/4.27 c Core size: 318 Core Weight: 1 Total Weight: -129 4.19/4.27 c Elapsed CPU time: 4.23836 s Remaining CPU time: 1795.76 s 4.19/4.29 c ============================[ Search Statistics ]============================== 4.19/4.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.29 c =============================================================================== 4.19/4.29 c | 0 | 1744 18598 38692 | 6199 0 nan | 0.000 % | 4.19/4.29 c | 102 | 1744 18598 38692 | 6819 102 9 | 0.000 % | 4.19/4.30 c =============================================================================== 4.19/4.30 c core #322 4.19/4.30 c Core size: 68 Core Weight: 1 Total Weight: -128 4.19/4.30 c Elapsed CPU time: 4.26535 s Remaining CPU time: 1795.73 s 4.29/4.31 c ============================[ Search Statistics ]============================== 4.29/4.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.31 c =============================================================================== 4.29/4.31 c | 0 | 1766 18599 38736 | 6199 0 nan | 0.000 % | 4.29/4.32 c | 100 | 1766 18599 38736 | 6819 100 11 | 0.000 % | 4.29/4.32 c =============================================================================== 4.29/4.32 c core #323 4.29/4.32 c Core size: 109 Core Weight: 1 Total Weight: -127 4.29/4.32 c Elapsed CPU time: 4.29235 s Remaining CPU time: 1795.71 s 4.29/4.34 c ============================[ Search Statistics ]============================== 4.29/4.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.34 c =============================================================================== 4.29/4.34 c | 0 | 1798 18600 38800 | 6200 0 nan | 0.000 % | 4.29/4.35 c | 104 | 1798 18600 38800 | 6820 104 23 | 0.000 % | 4.29/4.35 c | 255 | 1798 18600 38800 | 7502 255 19 | 0.000 % | 4.29/4.36 c =============================================================================== 4.29/4.36 c core #324 4.29/4.36 c Core size: 111 Core Weight: 1 Total Weight: -126 4.29/4.36 c Elapsed CPU time: 4.32434 s Remaining CPU time: 1795.68 s 4.29/4.37 c ============================[ Search Statistics ]============================== 4.29/4.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.37 c =============================================================================== 4.29/4.37 c | 0 | 1828 18601 38860 | 6200 0 nan | 0.000 % | 4.29/4.38 c | 101 | 1827 18601 38860 | 6820 101 11 | 0.060 % | 4.29/4.39 c | 253 | 1810 18601 38860 | 7502 253 20 | 6.127 % | 4.29/4.40 c | 478 | 1790 18601 38860 | 8252 478 23 | 10.175 % | 4.29/4.40 c =============================================================================== 4.29/4.40 c core #325 4.29/4.40 c Core size: 32 Core Weight: 1 Total Weight: -125 4.29/4.40 c Elapsed CPU time: 4.36834 s Remaining CPU time: 1795.63 s 4.40/4.42 c ============================[ Search Statistics ]============================== 4.40/4.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.42 c =============================================================================== 4.40/4.42 c | 0 | 1838 18602 38880 | 6200 0 nan | 0.000 % | 4.40/4.43 c | 102 | 1838 18602 38880 | 6820 102 20 | 0.000 % | 4.40/4.43 c | 252 | 1837 18602 38880 | 7502 252 24 | 0.054 % | 4.40/4.44 c | 477 | 1831 18602 38880 | 8253 477 26 | 0.381 % | 4.40/4.46 c | 814 | 1831 18602 38880 | 9078 814 34 | 0.381 % | 4.40/4.47 c =============================================================================== 4.40/4.47 c core #326 4.40/4.47 c Core size: 46 Core Weight: 1 Total Weight: -124 4.40/4.47 c Elapsed CPU time: 4.43532 s Remaining CPU time: 1795.56 s 4.40/4.49 c ============================[ Search Statistics ]============================== 4.40/4.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.40/4.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.40/4.49 c =============================================================================== 4.40/4.49 c | 0 | 1854 18603 38912 | 6201 0 nan | 0.000 % | 4.48/4.50 c | 102 | 1854 18603 38912 | 6821 102 19 | 0.000 % | 4.48/4.50 c | 253 | 1853 18603 38912 | 7503 253 23 | 0.054 % | 4.48/4.51 c | 481 | 1853 18603 38912 | 8253 481 27 | 0.054 % | 4.48/4.53 c | 821 | 1853 18603 38912 | 9078 820 34 | 0.054 % | 4.48/4.56 c | 1327 | 1851 18603 38912 | 9986 1326 34 | 0.216 % | 4.59/4.60 c =============================================================================== 4.59/4.61 c core #327 4.59/4.61 c Core size: 294 Core Weight: 1 Total Weight: -123 4.59/4.61 c Elapsed CPU time: 4.55931 s Remaining CPU time: 1795.44 s 4.59/4.63 c ============================[ Search Statistics ]============================== 4.59/4.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.63 c =============================================================================== 4.59/4.63 c | 0 | 1926 18604 39056 | 6201 0 nan | 0.000 % | 4.59/4.64 c | 100 | 1926 18604 39056 | 6821 100 13 | 0.000 % | 4.59/4.64 c | 250 | 1924 18604 39056 | 7503 250 9 | 0.158 % | 4.59/4.64 c =============================================================================== 4.59/4.65 c core #328 4.59/4.65 c Core size: 258 Core Weight: 1 Total Weight: -122 4.59/4.65 c Elapsed CPU time: 4.5943 s Remaining CPU time: 1795.41 s 4.59/4.66 c ============================[ Search Statistics ]============================== 4.59/4.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.66 c =============================================================================== 4.59/4.66 c | 0 | 1986 18605 39176 | 6201 0 nan | 0.000 % | 4.59/4.67 c =============================================================================== 4.59/4.67 c core #329 4.59/4.67 c Core size: 38 Core Weight: 1 Total Weight: -121 4.59/4.67 c Elapsed CPU time: 4.6153 s Remaining CPU time: 1795.38 s 4.59/4.69 c ============================[ Search Statistics ]============================== 4.59/4.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.59/4.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.59/4.69 c =============================================================================== 4.59/4.69 c | 0 | 1994 18606 39192 | 6202 0 nan | 0.000 % | 4.59/4.69 c | 100 | 1994 18606 39192 | 6822 100 17 | 0.000 % | 4.69/4.70 c | 252 | 1994 18606 39192 | 7504 252 15 | 0.000 % | 4.69/4.71 c =============================================================================== 4.69/4.71 c core #330 4.69/4.71 c Core size: 297 Core Weight: 1 Total Weight: -120 4.69/4.71 c Elapsed CPU time: 4.65829 s Remaining CPU time: 1795.34 s 4.69/4.73 c ============================[ Search Statistics ]============================== 4.69/4.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.73 c =============================================================================== 4.69/4.73 c | 0 | 2042 18607 39288 | 6202 0 nan | 0.000 % | 4.69/4.74 c | 101 | 2042 18607 39288 | 6822 101 14 | 0.000 % | 4.69/4.74 c | 252 | 2042 18607 39288 | 7504 252 14 | 0.000 % | 4.69/4.75 c | 478 | 2041 18607 39288 | 8255 478 16 | 0.049 % | 4.69/4.77 c | 815 | 2039 18607 39288 | 9080 813 20 | 0.196 % | 4.69/4.80 c =============================================================================== 4.79/4.80 c core #331 4.79/4.80 c Core size: 465 Core Weight: 1 Total Weight: -119 4.79/4.80 c Elapsed CPU time: 4.74428 s Remaining CPU time: 1795.26 s 4.79/4.82 c ============================[ Search Statistics ]============================== 4.79/4.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.82 c =============================================================================== 4.79/4.82 c | 0 | 2122 18608 39448 | 6202 0 nan | 0.000 % | 4.79/4.83 c | 101 | 2122 18608 39448 | 6822 101 18 | 0.000 % | 4.79/4.84 c | 254 | 2122 18608 39448 | 7505 254 24 | 0.000 % | 4.79/4.85 c | 479 | 2120 18608 39448 | 8255 477 25 | 0.094 % | 4.79/4.86 c =============================================================================== 4.79/4.86 c core #332 4.79/4.86 c Core size: 166 Core Weight: 1 Total Weight: -118 4.79/4.86 c Elapsed CPU time: 4.80427 s Remaining CPU time: 1795.2 s 4.79/4.88 c ============================[ Search Statistics ]============================== 4.79/4.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.79/4.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.79/4.88 c =============================================================================== 4.79/4.88 c | 0 | 2170 18609 39544 | 6203 0 nan | 0.000 % | 4.79/4.89 c | 101 | 2170 18609 39544 | 6823 101 17 | 0.000 % | 4.79/4.89 c =============================================================================== 4.79/4.89 c core #333 4.79/4.89 c Core size: 30 Core Weight: 1 Total Weight: -117 4.79/4.89 c Elapsed CPU time: 4.83026 s Remaining CPU time: 1795.17 s 4.89/4.91 c ============================[ Search Statistics ]============================== 4.89/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.91 c =============================================================================== 4.89/4.91 c | 0 | 2178 18610 39560 | 6203 0 nan | 0.000 % | 4.89/4.91 c | 101 | 2178 18610 39560 | 6823 101 13 | 0.000 % | 4.89/4.92 c | 252 | 2178 18610 39560 | 7506 252 16 | 0.000 % | 4.89/4.93 c | 477 | 2178 18610 39560 | 8256 477 19 | 0.000 % | 4.89/4.95 c | 818 | 2175 18610 39560 | 9082 817 30 | 0.138 % | 4.89/4.99 c | 1324 | 2175 18610 39560 | 9990 1323 40 | 0.138 % | 4.99/5.04 c | 2088 | 2153 18610 39560 | 10989 2083 43 | 5.280 % | 5.09/5.15 c | 3227 | 2041 18610 39560 | 12088 3118 45 | 6.290 % | 5.29/5.35 c =============================================================================== 5.29/5.38 c core #334 5.29/5.38 c Core size: 587 Core Weight: 1 Total Weight: -116 5.29/5.38 c Elapsed CPU time: 5.30719 s Remaining CPU time: 1794.69 s 5.39/5.40 c ============================[ Search Statistics ]============================== 5.39/5.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.39/5.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.39/5.40 c =============================================================================== 5.39/5.40 c | 0 | 2286 18611 39776 | 6203 0 nan | 0.000 % | 5.39/5.41 c | 100 | 2286 18611 39776 | 6824 100 18 | 0.000 % | 5.39/5.42 c | 252 | 2286 18611 39776 | 7506 252 20 | 0.000 % | 5.39/5.43 c | 479 | 2286 18611 39776 | 8257 479 22 | 0.000 % | 5.39/5.45 c | 817 | 2285 18611 39776 | 9082 795 25 | 0.044 % | 5.39/5.48 c | 1324 | 2285 18611 39776 | 9991 1302 28 | 0.044 % | 5.49/5.54 c | 2084 | 2285 18611 39776 | 10990 2062 29 | 0.044 % | 5.49/5.57 c =============================================================================== 5.49/5.58 c core #335 5.49/5.58 c Core size: 798 Core Weight: 1 Total Weight: -115 5.49/5.58 c Elapsed CPU time: 5.50316 s Remaining CPU time: 1794.5 s 5.59/5.61 c ============================[ Search Statistics ]============================== 5.59/5.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.61 c =============================================================================== 5.59/5.61 c | 0 | 2388 18612 39980 | 6204 0 nan | 0.000 % | 5.59/5.61 c | 100 | 2388 18612 39980 | 6824 100 12 | 0.000 % | 5.59/5.62 c =============================================================================== 5.59/5.62 c core #336 5.59/5.62 c Core size: 89 Core Weight: 1 Total Weight: -114 5.59/5.62 c Elapsed CPU time: 5.53516 s Remaining CPU time: 1794.46 s 5.59/5.63 c ============================[ Search Statistics ]============================== 5.59/5.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.63 c =============================================================================== 5.59/5.63 c | 0 | 2410 18613 40024 | 6204 0 nan | 0.000 % | 5.59/5.64 c | 100 | 2410 18613 40024 | 6824 100 16 | 0.000 % | 5.59/5.65 c | 250 | 2410 18613 40024 | 7507 250 19 | 0.000 % | 5.59/5.66 c | 477 | 2410 18613 40024 | 8257 477 21 | 0.000 % | 5.59/5.69 c | 814 | 2410 18613 40024 | 9083 814 31 | 0.000 % | 5.68/5.76 c | 1320 | 2410 18613 40024 | 9992 1320 47 | 0.000 % | 5.79/5.83 c | 2080 | 2410 18613 40024 | 10991 2080 61 | 0.000 % | 5.88/5.96 c | 3221 | 2410 18613 40024 | 12090 3221 66 | 0.000 % | 6.09/6.16 c | 4932 | 2409 18613 40024 | 13299 4929 64 | 0.042 % | 6.49/6.53 c | 7494 | 2409 18613 40024 | 14629 7491 59 | 0.042 % | 7.19/7.26 c | 11339 | 2409 18613 40024 | 16092 11336 55 | 0.042 % | 7.78/7.89 c =============================================================================== 7.88/7.99 c core #337 7.88/7.99 c Core size: 829 Core Weight: 1 Total Weight: -113 7.88/7.99 c Elapsed CPU time: 7.85081 s Remaining CPU time: 1792.15 s 7.99/8.03 c ============================[ Search Statistics ]============================== 7.99/8.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.99/8.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.99/8.03 c =============================================================================== 7.99/8.03 c | 0 | 2506 18614 40216 | 6204 0 nan | 0.000 % | 7.99/8.04 c | 102 | 2506 18614 40216 | 6825 102 14 | 0.000 % | 7.99/8.05 c | 254 | 2506 18614 40216 | 7507 254 13 | 0.000 % | 7.99/8.06 c | 480 | 2506 18614 40216 | 8258 480 14 | 0.000 % | 7.99/8.07 c | 818 | 2506 18614 40216 | 9084 818 17 | 0.000 % | 8.09/8.10 c | 1324 | 2506 18614 40216 | 9992 1324 20 | 0.000 % | 8.09/8.15 c | 2089 | 2506 18614 40216 | 10991 2089 21 | 0.000 % | 8.09/8.16 c =============================================================================== 8.09/8.17 c core #338 8.09/8.17 c Core size: 392 Core Weight: 1 Total Weight: -112 8.09/8.17 c Elapsed CPU time: 8.02878 s Remaining CPU time: 1791.97 s 8.09/8.19 c ============================[ Search Statistics ]============================== 8.09/8.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.09/8.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.09/8.19 c =============================================================================== 8.09/8.19 c | 0 | 2552 18615 40308 | 6205 0 nan | 0.000 % | 8.19/8.20 c | 100 | 2552 18615 40308 | 6825 100 28 | 0.000 % | 8.19/8.21 c | 252 | 2552 18615 40308 | 7508 252 20 | 0.000 % | 8.19/8.22 c | 477 | 2552 18615 40308 | 8258 477 22 | 0.000 % | 8.19/8.23 c | 814 | 2551 18615 40308 | 9084 813 25 | 0.039 % | 8.19/8.26 c | 1320 | 2550 18615 40308 | 9993 1319 26 | 0.078 % | 8.29/8.33 c | 2082 | 2550 18615 40308 | 10992 2080 36 | 0.078 % | 8.39/8.44 c | 3221 | 2550 18615 40308 | 12091 3219 39 | 0.078 % | 8.59/8.65 c | 4929 | 2550 18615 40308 | 13300 4927 41 | 0.078 % | 9.08/9.18 c | 7491 | 2550 18615 40308 | 14631 7489 46 | 0.078 % | 10.38/10.49 c | 11335 | 2550 18615 40308 | 16094 11333 48 | 0.078 % | 12.78/12.83 c | 17103 | 2550 18615 40308 | 17703 8966 50 | 0.078 % | 14.08/14.18 c =============================================================================== 14.39/14.43 c core #339 14.39/14.43 c Core size: 887 Core Weight: 1 Total Weight: -111 14.39/14.43 c Elapsed CPU time: 14.2288 s Remaining CPU time: 1785.77 s 14.39/14.48 c ============================[ Search Statistics ]============================== 14.39/14.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.39/14.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.39/14.48 c =============================================================================== 14.39/14.48 c | 0 | 2636 18616 40476 | 6205 0 nan | 0.000 % | 14.39/14.49 c | 100 | 2636 18616 40476 | 6825 100 34 | 0.000 % | 14.48/14.50 c | 250 | 2636 18616 40476 | 7508 250 27 | 0.000 % | 14.48/14.51 c | 477 | 2636 18616 40476 | 8259 477 28 | 0.000 % | 14.48/14.53 c | 814 | 2636 18616 40476 | 9085 814 27 | 0.000 % | 14.48/14.56 c | 1320 | 2636 18616 40476 | 9993 1320 37 | 0.000 % | 14.58/14.61 c | 2080 | 2636 18616 40476 | 10993 2080 41 | 0.000 % | 14.69/14.72 c | 3220 | 2636 18616 40476 | 12092 3220 43 | 0.000 % | 14.79/14.86 c | 4928 | 2636 18616 40476 | 13301 4928 41 | 0.000 % | 15.09/15.18 c | 7491 | 2636 18616 40476 | 14631 7491 41 | 0.000 % | 15.78/15.85 c | 11335 | 2636 18616 40476 | 16095 11335 52 | 0.000 % | 17.18/17.26 c | 17102 | 2636 18616 40476 | 17704 8889 71 | 0.000 % | 19.58/19.69 c | 25758 | 2636 18616 40476 | 19474 17545 73 | 0.000 % | 25.68/25.75 c | 38733 | 2636 18616 40476 | 21422 10809 66 | 0.000 % | 31.78/31.83 c | 58194 | 2636 18616 40476 | 23564 19336 50 | 0.000 % | 44.37/44.44 c | 87387 | 2636 18616 40476 | 25921 12862 43 | 0.000 % | 47.37/47.40 c =============================================================================== 48.46/48.57 c core #340 48.46/48.57 c Core size: 1338 Core Weight: 1 Total Weight: -110 48.46/48.57 c Elapsed CPU time: 48.0567 s Remaining CPU time: 1751.94 s 48.56/48.69 c ============================[ Search Statistics ]============================== 48.56/48.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.56/48.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.56/48.69 c =============================================================================== 48.56/48.69 c | 0 | 2740 18617 40684 | 6205 0 nan | 0.000 % | 48.66/48.71 c | 102 | 2740 18617 40684 | 6826 102 18 | 0.000 % | 48.66/48.72 c | 254 | 2737 18617 40684 | 7508 254 26 | 0.110 % | 48.66/48.73 c | 479 | 2737 18617 40684 | 8259 479 27 | 0.110 % | 48.66/48.76 c | 816 | 2737 18617 40684 | 9085 812 45 | 0.110 % | 48.66/48.79 c | 1322 | 2737 18617 40684 | 9994 1318 42 | 0.110 % | 48.76/48.86 c | 2084 | 2737 18617 40684 | 10993 2080 46 | 0.110 % | 48.86/48.97 c | 3224 | 2737 18617 40684 | 12093 3220 51 | 0.110 % | 49.16/49.24 c | 4934 | 2736 18617 40684 | 13302 4921 60 | 0.146 % | 49.56/49.68 c | 7496 | 2736 18617 40684 | 14632 7483 70 | 0.146 % | 50.46/50.57 c | 11340 | 2736 18617 40684 | 16095 11327 74 | 0.146 % | 52.06/52.12 c | 17108 | 2735 18617 40684 | 17705 8803 87 | 0.182 % | 55.16/55.24 c | 25757 | 2733 18617 40684 | 19476 17444 94 | 0.255 % | 60.16/60.22 c | 38732 | 2733 18617 40684 | 21423 10696 96 | 0.256 % | 68.36/68.45 c | 58197 | 2733 18617 40684 | 23566 19328 106 | 0.255 % | 82.85/82.91 c | 87392 | 2733 18617 40684 | 25922 12605 89 | 0.255 % | 101.24/101.35 c =============================================================================== 102.44/102.54 c core #341 102.44/102.54 c Core size: 1503 Core Weight: 1 Total Weight: -109 102.44/102.54 c Elapsed CPU time: 101.619 s Remaining CPU time: 1698.38 s 102.55/102.69 c ============================[ Search Statistics ]============================== 102.55/102.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 102.55/102.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 102.55/102.69 c =============================================================================== 102.55/102.69 c | 0 | 2872 18618 40948 | 6206 0 nan | 0.000 % | 102.65/102.72 c | 100 | 2872 18618 40948 | 6826 100 48 | 0.000 % | 102.65/102.74 c | 250 | 2872 18618 40948 | 7509 250 36 | 0.000 % | 102.65/102.75 c | 475 | 2872 18618 40948 | 8260 475 38 | 0.000 % | 102.65/102.77 c | 813 | 2872 18618 40948 | 9086 813 56 | 0.000 % | 102.74/102.81 c | 1319 | 2872 18618 40948 | 9994 1319 56 | 0.000 % | 102.74/102.88 c | 2078 | 2872 18618 40948 | 10994 2078 57 | 0.000 % | 102.94/103.03 c | 3218 | 2872 18618 40948 | 12093 3218 71 | 0.000 % | 103.25/103.36 c | 4928 | 2872 18618 40948 | 13303 4928 84 | 0.000 % | 103.74/103.83 c | 7491 | 2872 18618 40948 | 14633 7491 86 | 0.000 % | 104.94/105.04 c | 11335 | 2872 18618 40948 | 16096 11335 95 | 0.000 % | 107.54/107.64 c | 17102 | 2872 18618 40948 | 17706 9010 97 | 0.000 % | 111.33/111.48 c | 25764 | 2872 18618 40948 | 19477 17672 102 | 0.000 % | 117.33/117.41 c | 38739 | 2872 18618 40948 | 21424 11019 98 | 0.000 % | 129.43/129.57 c | 58202 | 2872 18618 40948 | 23567 19629 141 | 0.000 % | 150.31/150.43 c | 87396 | 2872 18618 40948 | 25924 13032 119 | 0.000 % | 178.99/179.18 c | 131186 | 2872 18618 40948 | 28516 15402 135 | 0.000 % | 218.36/218.57 c | 196870 | 2872 18618 40948 | 31368 19591 97 | 0.000 % | 294.82/295.01 c | 295396 | 2872 18618 40948 | 34504 19467 94 | 0.000 % | 406.07/406.31 c | 443186 | 2872 18618 40948 | 37955 25752 110 | 0.000 % | 616.47/616.86 c | 664871 | 2872 18618 40948 | 41750 31456 133 | 0.000 % | 649.95/650.35 c =============================================================================== 666.14/666.58 c core #342 666.14/666.58 c Core size: 2530 Core Weight: 1 Total Weight: -108 666.14/666.58 c Elapsed CPU time: 662.438 s Remaining CPU time: 1137.56 s 666.94/667.35 c ============================[ Search Statistics ]============================== 666.94/667.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 666.94/667.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 666.94/667.35 c =============================================================================== 666.94/667.35 c | 0 | 3024 18619 41252 | 6206 0 nan | 0.000 % | 667.04/667.46 c | 102 | 3024 18619 41252 | 6826 102 31 | 0.000 % | 667.04/667.48 c | 252 | 3024 18619 41252 | 7509 252 24 | 0.000 % | 667.14/667.51 c | 479 | 3024 18619 41252 | 8260 479 28 | 0.000 % | 667.14/667.54 c | 818 | 3024 18619 41252 | 9086 818 39 | 0.000 % | 667.14/667.58 c | 1325 | 3024 18619 41252 | 9995 1325 45 | 0.000 % | 667.24/667.65 c | 2084 | 3024 18619 41252 | 10994 2084 47 | 0.000 % | 667.44/667.81 c | 3223 | 3024 18619 41252 | 12094 3223 62 | 0.000 % | 667.74/668.13 c | 4931 | 3024 18619 41252 | 13303 4931 87 | 0.000 % | 668.24/668.66 c | 7493 | 3024 18619 41252 | 14634 7493 103 | 0.000 % | 669.34/669.74 c | 11337 | 3024 18619 41252 | 16097 11337 121 | 0.000 % | 671.94/672.33 c | 17103 | 3024 18619 41252 | 17707 8883 125 | 0.000 % | 676.04/676.47 c | 25754 | 3024 18619 41252 | 19478 17534 126 | 0.000 % | 682.73/683.13 c | 38728 | 3024 18619 41252 | 21425 10664 140 | 0.000 % | 696.52/696.99 c | 58191 | 3024 18619 41252 | 23568 19269 169 | 0.000 % | 713.21/713.64 c | 87387 | 3024 18619 41252 | 25925 12721 139 | 0.000 % | 743.69/744.19 c | 131178 | 3024 18619 41252 | 28517 17059 142 | 0.000 % | 798.88/799.38 c | 196862 | 3024 18619 41252 | 31369 20575 120 | 0.000 % | 900.92/901.41 c | 295389 | 3024 18619 41252 | 34506 31026 142 | 0.000 % | 1048.05/1048.67 c | 443178 | 3024 18619 41252 | 37957 34039 117 | 0.000 % | 1234.07/1234.76 c | 664864 | 3024 18619 41252 | 41753 16564 89 | 0.000 % | 1251.26/1251.93 c =============================================================================== 1267.25/1267.96 c core #343 1267.25/1267.96 c Core size: 2291 Core Weight: 1 Total Weight: -107 1267.25/1267.96 c Elapsed CPU time: 1260.85 s Remaining CPU time: 539.147 s 1268.05/1268.78 c ============================[ Search Statistics ]============================== 1268.05/1268.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1268.05/1268.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1268.05/1268.78 c =============================================================================== 1268.05/1268.78 c | 0 | 3192 18620 41588 | 6206 0 nan | 0.000 % | 1268.25/1268.90 c | 100 | 3192 18620 41588 | 6827 100 22 | 0.000 % | 1268.25/1268.93 c | 250 | 3192 18620 41588 | 7510 250 38 | 0.000 % | 1268.25/1268.98 c | 476 | 3192 18620 41588 | 8261 476 39 | 0.000 % | 1268.35/1269.01 c | 814 | 3192 18620 41588 | 9087 814 43 | 0.000 % | 1268.35/1269.06 c | 1321 | 3192 18620 41588 | 9995 1321 54 | 0.000 % | 1268.45/1269.16 c | 2080 | 3192 18620 41588 | 10995 2080 77 | 0.000 % | 1268.65/1269.31 c | 3220 | 3192 18620 41588 | 12095 3220 84 | 0.000 % | 1268.95/1269.68 c | 4928 | 3192 18620 41588 | 13304 4928 90 | 0.000 % | 1269.94/1270.62 c | 7490 | 3192 18620 41588 | 14634 7490 111 | 0.000 % | 1271.74/1272.42 c | 11337 | 3192 18620 41588 | 16098 11337 122 | 0.000 % | 1274.64/1275.35 c | 17103 | 3192 18620 41588 | 17708 8845 130 | 0.000 % | 1281.15/1281.84 c | 25755 | 3192 18620 41588 | 19479 17497 136 | 0.000 % | 1294.13/1294.88 c | 38729 | 3192 18620 41588 | 21427 10873 125 | 0.000 % | 1308.02/1308.79 c | 58194 | 3192 18620 41588 | 23569 19458 175 | 0.000 % | 1327.52/1328.22 c | 87386 | 3192 18620 41588 | 25926 12808 173 | 0.000 % | 1361.70/1362.43 c | 131181 | 3192 18620 41588 | 28519 16509 121 | 0.000 % | 1415.48/1416.20 c | 196865 | 3192 18620 41588 | 31371 19009 121 | 0.000 % | 1501.13/1501.90 c | 295391 | 3192 18620 41588 | 34508 28898 114 | 0.000 % | 1634.47/1635.39 c | 443181 | 3192 18620 41588 | 37959 15818 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-1875609-1245163839/watcher-1875609-1245163839 -o /tmp/evaluation-result-1875609-1245163839/solver-1875609-1245163839 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875609-1245163839.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: 0.99 0.98 0.99 4/64 2741 /proc/meminfo: memFree=1854168/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=2952 CPUtime=0 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 209 0 0 0 0 0 0 0 18 0 1 0 183980327 3022848 193 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 738 193 130 292 0 339 0 [startup+0.088735 s] /proc/loadavg: 0.99 0.98 0.99 4/64 2741 /proc/meminfo: memFree=1854168/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=4028 CPUtime=0.08 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 698 0 0 0 8 0 0 0 18 0 1 0 183980327 4124672 564 1992294400 134512640 135709839 4294956240 18446744073709551615 134530689 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 1007 564 133 292 0 712 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 4028 [startup+0.102738 s] /proc/loadavg: 0.99 0.98 0.99 4/64 2741 /proc/meminfo: memFree=1854168/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=4244 CPUtime=0.1 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 720 0 0 0 10 0 0 0 18 0 1 0 183980327 4345856 586 1992294400 134512640 135709839 4294956240 18446744073709551615 135182899 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 1061 586 133 292 0 766 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4244 [startup+0.301775 s] /proc/loadavg: 0.99 0.98 0.99 4/64 2741 /proc/meminfo: memFree=1854168/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=4144 CPUtime=0.29 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 734 0 0 0 29 0 0 0 19 0 1 0 183980327 4243456 588 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 1036 588 133 292 0 741 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4144 [startup+0.70185 s] /proc/loadavg: 0.99 0.98 0.99 4/64 2741 /proc/meminfo: memFree=1854168/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=4156 CPUtime=0.69 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 756 0 0 0 69 0 0 0 22 0 1 0 183980327 4255744 600 1992294400 134512640 135709839 4294956240 18446744073709551615 134530462 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 1039 600 133 292 0 744 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4156 [startup+1.502 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1852304/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=4420 CPUtime=1.49 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 819 0 0 0 149 0 0 0 25 0 1 0 183980327 4526080 663 1992294400 134512640 135709839 4294956240 18446744073709551615 134530505 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 1105 663 133 292 0 810 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4420 [startup+3.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1851664/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=5548 CPUtime=3.09 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 1115 0 0 0 308 1 0 0 25 0 1 0 183980327 5681152 946 1992294400 134512640 135709839 4294956240 18446744073709551615 135171200 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 1387 946 135 292 0 1092 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5548 [startup+6.3019 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1846800/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=9356 CPUtime=6.28 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 2131 0 0 0 618 10 0 0 25 0 1 0 183980327 9580544 1903 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 2339 1903 136 292 0 2044 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9356 [startup+12.7011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1842448/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=13732 CPUtime=12.68 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 3201 0 0 0 1250 18 0 0 25 0 1 0 183980327 14061568 2973 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 3433 2973 136 292 0 3138 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13732 [startup+25.5025 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1827344/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=29096 CPUtime=25.48 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 7056 0 0 0 2517 31 0 0 25 0 1 0 183980327 29794304 6828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 7274 6828 136 292 0 6979 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29096 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1801744/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=54672 CPUtime=51.06 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 13372 0 0 0 5054 52 0 0 25 0 1 0 183980327 55984128 13144 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 13668 13144 136 292 0 13373 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 54672 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2742 /proc/meminfo: memFree=1748112/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=107876 CPUtime=102.24 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 26717 0 0 0 10137 87 0 0 25 0 1 0 183980327 110465024 26489 1992294400 134512640 135709839 4294956240 18446744073709551615 134584062 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 26969 26489 136 292 0 26674 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 107876 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1700048/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=156996 CPUtime=162.21 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 38971 0 0 0 16091 130 0 0 25 0 1 0 183980327 160763904 38743 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 39249 38744 136 292 0 38954 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 156996 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1630352/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=225848 CPUtime=222.16 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 56158 0 0 0 22048 168 0 0 25 0 1 0 183980327 231268352 55930 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 56462 55930 136 292 0 56167 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 225848 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1580752/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=276636 CPUtime=282.13 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 68850 0 0 0 28011 202 0 0 25 0 1 0 183980327 283275264 68622 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 69159 68623 136 292 0 68864 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 276636 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1520080/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=335880 CPUtime=342.1 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 83653 0 0 0 33974 236 0 0 25 0 1 0 183980327 343941120 83425 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 83970 83425 136 292 0 83675 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 335880 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1471696/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=385424 CPUtime=402.06 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 96006 0 0 0 39940 266 0 0 25 0 1 0 183980327 394674176 95778 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 96356 95778 136 292 0 96061 0 Current children cumulated CPU time (s) 402.06 Current children cumulated vsize (KiB) 385424 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1427216/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=428796 CPUtime=462.04 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 106820 0 0 0 45914 290 0 0 25 0 1 0 183980327 439087104 106592 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 107199 106592 136 292 0 106904 0 Current children cumulated CPU time (s) 462.04 Current children cumulated vsize (KiB) 428796 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1384400/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=471684 CPUtime=522.01 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 117532 0 0 0 51884 317 0 0 25 0 1 0 183980327 483004416 117304 1992294400 134512640 135709839 4294956240 18446744073709551615 134574275 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 117921 117304 136 292 0 117626 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 471684 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2744 /proc/meminfo: memFree=1338256/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=517648 CPUtime=581.98 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 129041 0 0 0 57855 343 0 0 25 0 1 0 183980327 530071552 128813 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 129412 128813 136 292 0 129117 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 517648 [startup+642.301 s] /proc/loadavg: 1.05 1.00 1.00 2/65 2750 /proc/meminfo: memFree=1289736/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=565564 CPUtime=641.95 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 140975 0 0 0 63823 372 0 0 25 0 1 0 183980327 579137536 140747 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 141391 140747 136 292 0 141096 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 565564 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=1156744/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=698128 CPUtime=881.83 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 174264 0 0 0 87699 484 0 0 25 0 1 0 183980327 714883072 173995 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 174532 173995 136 292 0 174237 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 698128 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=1115984/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=739036 CPUtime=941.81 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 184495 0 0 0 93670 511 0 0 25 0 1 0 183980327 756772864 184226 1992294400 134512640 135709839 4294956240 18446744073709551615 134574272 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 184759 184226 136 292 0 184464 0 Current children cumulated CPU time (s) 941.81 Current children cumulated vsize (KiB) 739036 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=1085392/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=769424 CPUtime=1001.78 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 192039 0 0 0 99643 535 0 0 25 0 1 0 183980327 787890176 191770 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 192356 191770 136 292 0 192061 0 Current children cumulated CPU time (s) 1001.78 Current children cumulated vsize (KiB) 769424 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=1054736/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=800680 CPUtime=1061.75 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 199836 0 0 0 105619 556 0 0 25 0 1 0 183980327 819896320 199567 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 200170 199567 136 292 0 199875 0 Current children cumulated CPU time (s) 1061.75 Current children cumulated vsize (KiB) 800680 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=1015888/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=839356 CPUtime=1121.72 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 209470 0 0 0 111587 585 0 0 25 0 1 0 183980327 859500544 209201 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 209839 209201 136 292 0 209544 0 Current children cumulated CPU time (s) 1121.72 Current children cumulated vsize (KiB) 839356 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=979536/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=876092 CPUtime=1181.69 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 218646 0 0 0 117561 608 0 0 25 0 1 0 183980327 897118208 218377 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 219023 218377 136 292 0 218728 0 Current children cumulated CPU time (s) 1181.69 Current children cumulated vsize (KiB) 876092 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=929040/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=925824 CPUtime=1241.66 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 231060 0 0 0 123524 642 0 0 25 0 1 0 183980327 948043776 230791 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 231456 230791 136 292 0 231161 0 Current children cumulated CPU time (s) 1241.66 Current children cumulated vsize (KiB) 925824 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=906960/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=946928 CPUtime=1301.63 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 236480 0 0 0 129499 664 0 0 25 0 1 0 183980327 969654272 236211 1992294400 134512640 135709839 4294956240 18446744073709551615 134579856 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 236732 236211 136 292 0 236437 0 Current children cumulated CPU time (s) 1301.63 Current children cumulated vsize (KiB) 946928 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=900304/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=953704 CPUtime=1361.59 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 238219 0 0 0 135474 685 0 0 25 0 1 0 183980327 976592896 237950 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 238426 237950 136 292 0 238131 0 Current children cumulated CPU time (s) 1361.59 Current children cumulated vsize (KiB) 953704 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=872912/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=980792 CPUtime=1421.58 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 244981 0 0 0 141447 711 0 0 25 0 1 0 183980327 1004331008 244712 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 245198 244712 136 292 0 244903 0 Current children cumulated CPU time (s) 1421.58 Current children cumulated vsize (KiB) 980792 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=837456/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1016672 CPUtime=1481.54 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 253933 0 0 0 147420 734 0 0 25 0 1 0 183980327 1041072128 253664 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 254168 253664 136 292 0 253873 0 Current children cumulated CPU time (s) 1481.54 Current children cumulated vsize (KiB) 1016672 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=801424/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1052172 CPUtime=1541.51 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 262802 0 0 0 153390 761 0 0 25 0 1 0 183980327 1077424128 262533 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 263043 262533 136 292 0 262748 0 Current children cumulated CPU time (s) 1541.51 Current children cumulated vsize (KiB) 1052172 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=768720/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1085248 CPUtime=1601.48 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 271064 0 0 0 159361 787 0 0 25 0 1 0 183980327 1111293952 270795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 271312 270795 136 292 0 271017 0 Current children cumulated CPU time (s) 1601.48 Current children cumulated vsize (KiB) 1085248 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=718800/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1134904 CPUtime=1661.45 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 283441 0 0 0 165328 817 0 0 25 0 1 0 183980327 1162141696 283172 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 283726 283172 136 292 0 283431 0 Current children cumulated CPU time (s) 1661.45 Current children cumulated vsize (KiB) 1134904 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=678480/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1175460 CPUtime=1721.43 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 293550 0 0 0 171305 838 0 0 25 0 1 0 183980327 1203671040 293281 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 293865 293281 136 292 0 293570 0 Current children cumulated CPU time (s) 1721.43 Current children cumulated vsize (KiB) 1175460 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=629648/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1224124 CPUtime=1781.4 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 305694 0 0 0 177275 865 0 0 25 0 1 0 183980327 1253502976 305425 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 306031 305425 136 292 0 305736 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (KiB) 1224124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=614416/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=1238980 CPUtime=1800.09 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4194304 309418 0 0 0 179138 871 0 0 25 0 1 0 183980327 1268715520 309149 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 309745 309149 136 292 0 309450 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1238980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.11 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2750 /proc/meminfo: memFree=614416/2055920 swapFree=4182544/4192956 [pid=2741] ppid=2739 vsize=0 CPUtime=1800.19 /proc/2741/stat : 2741 (wbo) R 2739 2741 2293 0 -1 4195332 309418 0 0 0 179138 881 0 0 25 0 1 0 183980327 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/2741/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.29 CPU user time (s): 1791.39 CPU system time (s): 8.89965 CPU usage (%): 99.9499 Max. virtual memory (cumulated for all children) (KiB): 1238980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.39 system time used= 8.89965 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 309418 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 6870 runsolver used 1.52177 second user time and 5.07423 second system time The end
Begin job on node47 at 2009-06-16 16:50:39 IDJOB=1875609 IDBENCH=2236 IDSOLVER=698 FILE ID=node47/1875609-1245163839 PBS_JOBID= 9363799 Free space on /tmp= 65952 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-1.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875609-1245163839/watcher-1875609-1245163839 -o /tmp/evaluation-result-1875609-1245163839/solver-1875609-1245163839 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875609-1245163839.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 65bafde3eb06761afc4fe90b6aa8c264 RANDOM SEED=107539091 node47.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.261 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.261 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: 1854784 kB Buffers: 35604 kB Cached: 98988 kB SwapCached: 4196 kB Active: 43688 kB Inactive: 98804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1854784 kB SwapTotal: 4192956 kB SwapFree: 4182544 kB Dirty: 2788 kB Writeback: 0 kB Mapped: 13676 kB Slab: 44656 kB Committed_AS: 175808 kB PageTables: 1448 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-1875609-1245163839.opb Free space on /tmp at the end= 65948 MiB End job on node47 at 2009-06-16 17:20:42