| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1559.6 | 1560.09 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_4.opb |
| MD5SUM | 81ea6ef3f58dd056541f0542171b5402 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -111 |
| Best CPU time to get the best result obtained on this benchmark | 1798.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -112 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 500 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 500 |
| Number of bits of the sum of numbers in the objective function | 9 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 500 |
| Number of bits of the biggest sum of numbers | 9 |
| Number of products (including duplicates) | 6326 |
| Sum of products size (including duplicates) | 12652 |
| Number of different products | 3163 |
| Sum of products size | 6326 |
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-1875324-1245198472.opb. 0.00/0.00 c Instance file HOME/instance-1875324-1245198472.opb 0.00/0.00 c File size is 271068 bytes. 0.03/0.04 c Highest Coefficient sum: 21 0.03/0.04 c ============================[ Problem Statistics ]============================= 0.03/0.04 c | | 0.03/0.04 c | Parsing time: 0.04 s | 0.03/0.04 c | Number Variables: 3663 | 0.03/0.04 c | Number Clauses: 3663 | 0.03/0.04 c | Number Cardinality: 1000 | 0.03/0.04 c | Number PB Constraints: 3163 | 0.03/0.04 c core #1 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -499 0.03/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.03/0.05 c core #2 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -498 0.03/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.03/0.06 c core #3 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -497 0.03/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #4 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -496 0.03/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #5 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -495 0.03/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #6 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -494 0.03/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.09/0.10 c core #7 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -493 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.12 c core #8 0.09/0.12 c Core size: 4 Core Weight: 1 Total Weight: -492 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #9 0.09/0.13 c Core size: 4 Core Weight: 1 Total Weight: -491 0.09/0.13 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #10 0.09/0.14 c Core size: 4 Core Weight: 1 Total Weight: -490 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #11 0.09/0.15 c Core size: 4 Core Weight: 1 Total Weight: -489 0.09/0.15 c Elapsed CPU time: 0.147977 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #12 0.09/0.16 c Core size: 4 Core Weight: 1 Total Weight: -488 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #13 0.09/0.17 c Core size: 4 Core Weight: 1 Total Weight: -487 0.09/0.17 c Elapsed CPU time: 0.171973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #14 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -486 0.09/0.18 c Elapsed CPU time: 0.182972 s Remaining CPU time: 1799.82 s 0.09/0.20 c core #15 0.09/0.20 c Core size: 4 Core Weight: 1 Total Weight: -485 0.09/0.20 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.19/0.21 c core #16 0.19/0.21 c Core size: 4 Core Weight: 1 Total Weight: -484 0.19/0.21 c Elapsed CPU time: 0.204968 s Remaining CPU time: 1799.8 s 0.19/0.22 c core #17 0.19/0.22 c Core size: 4 Core Weight: 1 Total Weight: -483 0.19/0.22 c Elapsed CPU time: 0.215967 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #18 0.19/0.23 c Core size: 4 Core Weight: 1 Total Weight: -482 0.19/0.23 c Elapsed CPU time: 0.227965 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #19 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -481 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #20 0.19/0.25 c Core size: 4 Core Weight: 1 Total Weight: -480 0.19/0.25 c Elapsed CPU time: 0.249962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #21 0.19/0.26 c Core size: 4 Core Weight: 1 Total Weight: -479 0.19/0.26 c Elapsed CPU time: 0.26196 s Remaining CPU time: 1799.74 s 0.19/0.28 c core #22 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -478 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #23 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -477 0.19/0.29 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.29/0.30 c core #24 0.29/0.30 c Core size: 4 Core Weight: 1 Total Weight: -476 0.29/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #25 0.29/0.31 c Core size: 4 Core Weight: 1 Total Weight: -475 0.29/0.31 c Elapsed CPU time: 0.303953 s Remaining CPU time: 1799.7 s 0.29/0.32 c core #26 0.29/0.32 c Core size: 4 Core Weight: 1 Total Weight: -474 0.29/0.32 c Elapsed CPU time: 0.314952 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #27 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: -473 0.29/0.33 c Elapsed CPU time: 0.32595 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #28 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -472 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.36 c core #29 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -471 0.29/0.36 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #30 0.29/0.37 c Core size: 4 Core Weight: 1 Total Weight: -470 0.29/0.37 c Elapsed CPU time: 0.359945 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #31 0.29/0.38 c Core size: 4 Core Weight: 1 Total Weight: -469 0.29/0.38 c Elapsed CPU time: 0.369943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #32 0.29/0.39 c Core size: 4 Core Weight: 1 Total Weight: -468 0.29/0.39 c Elapsed CPU time: 0.381941 s Remaining CPU time: 1799.62 s 0.39/0.40 c core #33 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -467 0.39/0.40 c Elapsed CPU time: 0.39294 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #34 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -466 0.39/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #35 0.39/0.42 c Core size: 4 Core Weight: 1 Total Weight: -465 0.39/0.42 c Elapsed CPU time: 0.414936 s Remaining CPU time: 1799.59 s 0.39/0.44 c core #36 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -464 0.39/0.44 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #37 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: -463 0.39/0.45 c Elapsed CPU time: 0.437933 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #38 0.39/0.46 c Core size: 4 Core Weight: 1 Total Weight: -462 0.39/0.46 c Elapsed CPU time: 0.449931 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #39 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: -461 0.39/0.47 c Elapsed CPU time: 0.460929 s Remaining CPU time: 1799.54 s 0.39/0.48 c core #40 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: -460 0.39/0.48 c Elapsed CPU time: 0.471928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #41 0.39/0.49 c Core size: 4 Core Weight: 1 Total Weight: -459 0.39/0.49 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.49/0.50 c core #42 0.49/0.50 c Core size: 4 Core Weight: 1 Total Weight: -458 0.49/0.50 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.49/0.52 c core #43 0.49/0.52 c Core size: 4 Core Weight: 1 Total Weight: -457 0.49/0.52 c Elapsed CPU time: 0.504923 s Remaining CPU time: 1799.5 s 0.49/0.53 c core #44 0.49/0.53 c Core size: 4 Core Weight: 1 Total Weight: -456 0.49/0.53 c Elapsed CPU time: 0.516921 s Remaining CPU time: 1799.48 s 0.49/0.54 c core #45 0.49/0.54 c Core size: 4 Core Weight: 1 Total Weight: -455 0.49/0.54 c Elapsed CPU time: 0.527919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #46 0.49/0.55 c Core size: 4 Core Weight: 1 Total Weight: -454 0.49/0.55 c Elapsed CPU time: 0.539917 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #47 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -453 0.49/0.56 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #48 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: -452 0.49/0.57 c Elapsed CPU time: 0.562914 s Remaining CPU time: 1799.44 s 0.49/0.58 c core #49 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: -451 0.49/0.58 c Elapsed CPU time: 0.573912 s Remaining CPU time: 1799.43 s 0.49/0.60 c core #50 0.49/0.60 c Core size: 4 Core Weight: 1 Total Weight: -450 0.49/0.60 c Elapsed CPU time: 0.58591 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #51 0.59/0.61 c Core size: 4 Core Weight: 1 Total Weight: -449 0.59/0.61 c Elapsed CPU time: 0.596909 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #52 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -448 0.59/0.62 c Elapsed CPU time: 0.607907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #53 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -447 0.59/0.63 c Elapsed CPU time: 0.618905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #54 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: -446 0.59/0.64 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #55 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -445 0.59/0.65 c Elapsed CPU time: 0.640902 s Remaining CPU time: 1799.36 s 0.59/0.67 c core #56 0.59/0.67 c Core size: 4 Core Weight: 1 Total Weight: -444 0.59/0.67 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.68 c core #57 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -443 0.59/0.68 c Elapsed CPU time: 0.664898 s Remaining CPU time: 1799.34 s 0.59/0.69 c core #58 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: -442 0.59/0.69 c Elapsed CPU time: 0.675897 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #59 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: -441 0.69/0.70 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #60 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: -440 0.69/0.71 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.69/0.72 c core #61 0.69/0.72 c Core size: 4 Core Weight: 1 Total Weight: -439 0.69/0.72 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.69/0.74 c core #62 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -438 0.69/0.74 c Elapsed CPU time: 0.72189 s Remaining CPU time: 1799.28 s 0.69/0.75 c core #63 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: -437 0.69/0.75 c Elapsed CPU time: 0.733888 s Remaining CPU time: 1799.27 s 0.69/0.76 c core #64 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: -436 0.69/0.76 c Elapsed CPU time: 0.743886 s Remaining CPU time: 1799.26 s 0.69/0.77 c core #65 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -435 0.69/0.77 c Elapsed CPU time: 0.755885 s Remaining CPU time: 1799.24 s 0.69/0.78 c core #66 0.69/0.78 c Core size: 4 Core Weight: 1 Total Weight: -434 0.69/0.78 c Elapsed CPU time: 0.767883 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #67 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -433 0.69/0.79 c Elapsed CPU time: 0.779881 s Remaining CPU time: 1799.22 s 0.79/0.81 c core #68 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -432 0.79/0.81 c Elapsed CPU time: 0.791879 s Remaining CPU time: 1799.21 s 0.79/0.82 c core #69 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: -431 0.79/0.82 c Elapsed CPU time: 0.803877 s Remaining CPU time: 1799.2 s 0.79/0.83 c core #70 0.79/0.83 c Core size: 4 Core Weight: 1 Total Weight: -430 0.79/0.83 c Elapsed CPU time: 0.815875 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #71 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -429 0.79/0.84 c Elapsed CPU time: 0.828873 s Remaining CPU time: 1799.17 s 0.79/0.86 c core #72 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -428 0.79/0.86 c Elapsed CPU time: 0.840872 s Remaining CPU time: 1799.16 s 0.79/0.87 c core #73 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -427 0.79/0.87 c Elapsed CPU time: 0.85287 s Remaining CPU time: 1799.15 s 0.79/0.88 c core #74 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: -426 0.79/0.88 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.79/0.89 c core #75 0.79/0.89 c Core size: 4 Core Weight: 1 Total Weight: -425 0.79/0.89 c Elapsed CPU time: 0.875866 s Remaining CPU time: 1799.12 s 0.89/0.90 c core #76 0.89/0.90 c Core size: 4 Core Weight: 1 Total Weight: -424 0.89/0.90 c Elapsed CPU time: 0.887865 s Remaining CPU time: 1799.11 s 0.89/0.92 c core #77 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -423 0.89/0.92 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.93 c core #78 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -422 0.89/0.93 c Elapsed CPU time: 0.912861 s Remaining CPU time: 1799.09 s 0.89/0.94 c core #79 0.89/0.94 c Core size: 4 Core Weight: 1 Total Weight: -421 0.89/0.94 c Elapsed CPU time: 0.925859 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #80 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: -420 0.89/0.95 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 s 0.89/0.97 c core #81 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: -419 0.89/0.97 c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s 0.89/0.98 c core #82 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: -418 0.89/0.98 c Elapsed CPU time: 0.960853 s Remaining CPU time: 1799.04 s 0.89/0.99 c core #83 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -417 0.89/0.99 c Elapsed CPU time: 0.972852 s Remaining CPU time: 1799.03 s 1.00/1.00 c core #84 1.00/1.00 c Core size: 4 Core Weight: 1 Total Weight: -416 1.00/1.00 c Elapsed CPU time: 0.98485 s Remaining CPU time: 1799.02 s 1.00/1.01 c core #85 1.00/1.01 c Core size: 4 Core Weight: 1 Total Weight: -415 1.00/1.01 c Elapsed CPU time: 0.996848 s Remaining CPU time: 1799 s 1.00/1.03 c core #86 1.00/1.03 c Core size: 4 Core Weight: 1 Total Weight: -414 1.00/1.03 c Elapsed CPU time: 1.00985 s Remaining CPU time: 1798.99 s 1.00/1.04 c core #87 1.00/1.04 c Core size: 4 Core Weight: 1 Total Weight: -413 1.00/1.04 c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s 1.00/1.05 c core #88 1.00/1.05 c Core size: 4 Core Weight: 1 Total Weight: -412 1.00/1.05 c Elapsed CPU time: 1.03384 s Remaining CPU time: 1798.97 s 1.00/1.06 c core #89 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: -411 1.00/1.06 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 1.00/1.08 c core #90 1.00/1.08 c Core size: 4 Core Weight: 1 Total Weight: -410 1.00/1.08 c Elapsed CPU time: 1.05884 s Remaining CPU time: 1798.94 s 1.00/1.09 c core #91 1.00/1.09 c Core size: 4 Core Weight: 1 Total Weight: -409 1.00/1.09 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.10/1.10 c core #92 1.10/1.10 c Core size: 4 Core Weight: 1 Total Weight: -408 1.10/1.10 c Elapsed CPU time: 1.08384 s Remaining CPU time: 1798.92 s 1.10/1.11 c core #93 1.10/1.11 c Core size: 4 Core Weight: 1 Total Weight: -407 1.10/1.11 c Elapsed CPU time: 1.09483 s Remaining CPU time: 1798.91 s 1.10/1.13 c core #94 1.10/1.13 c Core size: 4 Core Weight: 1 Total Weight: -406 1.10/1.13 c Elapsed CPU time: 1.10783 s Remaining CPU time: 1798.89 s 1.10/1.14 c core #95 1.10/1.14 c Core size: 4 Core Weight: 1 Total Weight: -405 1.10/1.14 c Elapsed CPU time: 1.11983 s Remaining CPU time: 1798.88 s 1.10/1.15 c core #96 1.10/1.15 c Core size: 4 Core Weight: 1 Total Weight: -404 1.10/1.15 c Elapsed CPU time: 1.13183 s Remaining CPU time: 1798.87 s 1.10/1.16 c core #97 1.10/1.16 c Core size: 4 Core Weight: 1 Total Weight: -403 1.10/1.16 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.10/1.17 c core #98 1.10/1.17 c Core size: 4 Core Weight: 1 Total Weight: -402 1.10/1.17 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.10/1.19 c core #99 1.10/1.19 c Core size: 4 Core Weight: 1 Total Weight: -401 1.10/1.19 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.19/1.20 c core #100 1.19/1.20 c Core size: 4 Core Weight: 1 Total Weight: -400 1.19/1.20 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #101 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -399 1.19/1.21 c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s 1.19/1.22 c core #102 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -398 1.19/1.22 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.24 c core #103 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -397 1.19/1.24 c Elapsed CPU time: 1.21481 s Remaining CPU time: 1798.79 s 1.19/1.25 c core #104 1.19/1.25 c Core size: 4 Core Weight: 1 Total Weight: -396 1.19/1.25 c Elapsed CPU time: 1.22681 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #105 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: -395 1.19/1.26 c Elapsed CPU time: 1.23981 s Remaining CPU time: 1798.76 s 1.19/1.27 c core #106 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -394 1.19/1.27 c Elapsed CPU time: 1.25281 s Remaining CPU time: 1798.75 s 1.19/1.29 c core #107 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -393 1.19/1.29 c Elapsed CPU time: 1.26481 s Remaining CPU time: 1798.74 s 1.29/1.30 c core #108 1.29/1.30 c Core size: 4 Core Weight: 1 Total Weight: -392 1.29/1.30 c Elapsed CPU time: 1.27781 s Remaining CPU time: 1798.72 s 1.29/1.31 c core #109 1.29/1.31 c Core size: 4 Core Weight: 1 Total Weight: -391 1.29/1.31 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #110 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: -390 1.29/1.32 c Elapsed CPU time: 1.3028 s Remaining CPU time: 1798.7 s 1.29/1.34 c core #111 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: -389 1.29/1.34 c Elapsed CPU time: 1.3148 s Remaining CPU time: 1798.69 s 1.29/1.35 c core #112 1.29/1.35 c Core size: 4 Core Weight: 1 Total Weight: -388 1.29/1.35 c Elapsed CPU time: 1.3268 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #113 1.29/1.36 c Core size: 4 Core Weight: 1 Total Weight: -387 1.29/1.36 c Elapsed CPU time: 1.3398 s Remaining CPU time: 1798.66 s 1.29/1.38 c core #114 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: -386 1.29/1.38 c Elapsed CPU time: 1.35179 s Remaining CPU time: 1798.65 s 1.29/1.39 c core #115 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: -385 1.29/1.39 c Elapsed CPU time: 1.36479 s Remaining CPU time: 1798.64 s 1.39/1.40 c core #116 1.39/1.40 c Core size: 4 Core Weight: 1 Total Weight: -384 1.39/1.40 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #117 1.39/1.41 c Core size: 4 Core Weight: 1 Total Weight: -383 1.39/1.41 c Elapsed CPU time: 1.38779 s Remaining CPU time: 1798.61 s 1.39/1.43 c core #118 1.39/1.43 c Core size: 4 Core Weight: 1 Total Weight: -382 1.39/1.43 c Elapsed CPU time: 1.40079 s Remaining CPU time: 1798.6 s 1.39/1.44 c core #119 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -381 1.39/1.44 c Elapsed CPU time: 1.41179 s Remaining CPU time: 1798.59 s 1.39/1.45 c core #120 1.39/1.45 c Core size: 4 Core Weight: 1 Total Weight: -380 1.39/1.45 c Elapsed CPU time: 1.42378 s Remaining CPU time: 1798.58 s 1.39/1.47 c core #121 1.39/1.47 c Core size: 4 Core Weight: 1 Total Weight: -379 1.39/1.47 c Elapsed CPU time: 1.43678 s Remaining CPU time: 1798.56 s 1.39/1.48 c core #122 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -378 1.39/1.48 c Elapsed CPU time: 1.44878 s Remaining CPU time: 1798.55 s 1.39/1.49 c core #123 1.39/1.49 c Core size: 4 Core Weight: 1 Total Weight: -377 1.39/1.49 c Elapsed CPU time: 1.46078 s Remaining CPU time: 1798.54 s 1.49/1.50 c core #124 1.49/1.50 c Core size: 4 Core Weight: 1 Total Weight: -376 1.49/1.50 c Elapsed CPU time: 1.47278 s Remaining CPU time: 1798.53 s 1.49/1.52 c core #125 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -375 1.49/1.52 c Elapsed CPU time: 1.48577 s Remaining CPU time: 1798.51 s 1.49/1.53 c core #126 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: -374 1.49/1.53 c Elapsed CPU time: 1.49877 s Remaining CPU time: 1798.5 s 1.49/1.54 c core #127 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -373 1.49/1.54 c Elapsed CPU time: 1.51077 s Remaining CPU time: 1798.49 s 1.49/1.55 c core #128 1.49/1.55 c Core size: 4 Core Weight: 1 Total Weight: -372 1.49/1.55 c Elapsed CPU time: 1.52277 s Remaining CPU time: 1798.48 s 1.49/1.57 c core #129 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -371 1.49/1.57 c Elapsed CPU time: 1.53577 s Remaining CPU time: 1798.46 s 1.49/1.58 c core #130 1.49/1.58 c Core size: 4 Core Weight: 1 Total Weight: -370 1.49/1.58 c Elapsed CPU time: 1.54776 s Remaining CPU time: 1798.45 s 1.49/1.59 c core #131 1.49/1.59 c Core size: 4 Core Weight: 1 Total Weight: -369 1.49/1.59 c Elapsed CPU time: 1.56076 s Remaining CPU time: 1798.44 s 1.59/1.60 c core #132 1.59/1.60 c Core size: 4 Core Weight: 1 Total Weight: -368 1.59/1.60 c Elapsed CPU time: 1.57176 s Remaining CPU time: 1798.43 s 1.59/1.62 c core #133 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -367 1.59/1.62 c Elapsed CPU time: 1.58276 s Remaining CPU time: 1798.42 s 1.59/1.63 c core #134 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -366 1.59/1.63 c Elapsed CPU time: 1.59476 s Remaining CPU time: 1798.41 s 1.59/1.64 c core #135 1.59/1.64 c Core size: 4 Core Weight: 1 Total Weight: -365 1.59/1.64 c Elapsed CPU time: 1.60776 s Remaining CPU time: 1798.39 s 1.59/1.66 c core #136 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -364 1.59/1.66 c Elapsed CPU time: 1.62075 s Remaining CPU time: 1798.38 s 1.59/1.67 c core #137 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -363 1.59/1.67 c Elapsed CPU time: 1.63275 s Remaining CPU time: 1798.37 s 1.59/1.68 c core #138 1.59/1.68 c Core size: 4 Core Weight: 1 Total Weight: -362 1.59/1.68 c Elapsed CPU time: 1.64475 s Remaining CPU time: 1798.36 s 1.59/1.69 c core #139 1.59/1.69 c Core size: 4 Core Weight: 1 Total Weight: -361 1.59/1.69 c Elapsed CPU time: 1.65775 s Remaining CPU time: 1798.34 s 1.68/1.71 c core #140 1.68/1.71 c Core size: 4 Core Weight: 1 Total Weight: -360 1.68/1.71 c Elapsed CPU time: 1.66875 s Remaining CPU time: 1798.33 s 1.68/1.72 c core #141 1.68/1.72 c Core size: 4 Core Weight: 1 Total Weight: -359 1.68/1.72 c Elapsed CPU time: 1.68174 s Remaining CPU time: 1798.32 s 1.68/1.73 c core #142 1.68/1.73 c Core size: 4 Core Weight: 1 Total Weight: -358 1.68/1.73 c Elapsed CPU time: 1.69474 s Remaining CPU time: 1798.31 s 1.68/1.75 c core #143 1.68/1.75 c Core size: 4 Core Weight: 1 Total Weight: -357 1.68/1.75 c Elapsed CPU time: 1.70674 s Remaining CPU time: 1798.29 s 1.68/1.76 c core #144 1.68/1.76 c Core size: 4 Core Weight: 1 Total Weight: -356 1.68/1.76 c Elapsed CPU time: 1.71874 s Remaining CPU time: 1798.28 s 1.68/1.77 c core #145 1.68/1.77 c Core size: 4 Core Weight: 1 Total Weight: -355 1.68/1.77 c Elapsed CPU time: 1.73174 s Remaining CPU time: 1798.27 s 1.68/1.78 c core #146 1.68/1.78 c Core size: 4 Core Weight: 1 Total Weight: -354 1.68/1.78 c Elapsed CPU time: 1.74373 s Remaining CPU time: 1798.26 s 1.68/1.80 c core #147 1.68/1.80 c Core size: 4 Core Weight: 1 Total Weight: -353 1.68/1.80 c Elapsed CPU time: 1.75673 s Remaining CPU time: 1798.24 s 1.79/1.81 c core #148 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: -352 1.79/1.81 c Elapsed CPU time: 1.76873 s Remaining CPU time: 1798.23 s 1.79/1.82 c core #149 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -351 1.79/1.82 c Elapsed CPU time: 1.78073 s Remaining CPU time: 1798.22 s 1.79/1.83 c core #150 1.79/1.83 c Core size: 4 Core Weight: 1 Total Weight: -350 1.79/1.83 c Elapsed CPU time: 1.79273 s Remaining CPU time: 1798.21 s 1.79/1.85 c core #151 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: -349 1.79/1.85 c Elapsed CPU time: 1.80573 s Remaining CPU time: 1798.19 s 1.79/1.86 c core #152 1.79/1.86 c Core size: 4 Core Weight: 1 Total Weight: -348 1.79/1.86 c Elapsed CPU time: 1.81872 s Remaining CPU time: 1798.18 s 1.79/1.87 c core #153 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: -347 1.79/1.87 c Elapsed CPU time: 1.83172 s Remaining CPU time: 1798.17 s 1.79/1.89 c core #154 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -346 1.79/1.89 c Elapsed CPU time: 1.84472 s Remaining CPU time: 1798.16 s 1.89/1.90 c core #155 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: -345 1.89/1.90 c Elapsed CPU time: 1.85772 s Remaining CPU time: 1798.14 s 1.89/1.91 c core #156 1.89/1.91 c Core size: 4 Core Weight: 1 Total Weight: -344 1.89/1.91 c Elapsed CPU time: 1.86972 s Remaining CPU time: 1798.13 s 1.89/1.92 c core #157 1.89/1.92 c Core size: 4 Core Weight: 1 Total Weight: -343 1.89/1.92 c Elapsed CPU time: 1.88271 s Remaining CPU time: 1798.12 s 1.89/1.94 c core #158 1.89/1.94 c Core size: 4 Core Weight: 1 Total Weight: -342 1.89/1.94 c Elapsed CPU time: 1.89571 s Remaining CPU time: 1798.1 s 1.89/1.95 c core #159 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -341 1.89/1.95 c Elapsed CPU time: 1.90871 s Remaining CPU time: 1798.09 s 1.89/1.96 c core #160 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: -340 1.89/1.96 c Elapsed CPU time: 1.92271 s Remaining CPU time: 1798.08 s 1.89/1.98 c core #161 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: -339 1.89/1.98 c Elapsed CPU time: 1.93571 s Remaining CPU time: 1798.06 s 1.89/1.99 c core #162 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: -338 1.89/1.99 c Elapsed CPU time: 1.9477 s Remaining CPU time: 1798.05 s 1.99/2.00 c core #163 1.99/2.00 c Core size: 4 Core Weight: 1 Total Weight: -337 1.99/2.00 c Elapsed CPU time: 1.9597 s Remaining CPU time: 1798.04 s 1.99/2.02 c core #164 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -336 1.99/2.02 c Elapsed CPU time: 1.9727 s Remaining CPU time: 1798.03 s 1.99/2.03 c core #165 1.99/2.03 c Core size: 4 Core Weight: 1 Total Weight: -335 1.99/2.03 c Elapsed CPU time: 1.9847 s Remaining CPU time: 1798.02 s 1.99/2.04 c core #166 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: -334 1.99/2.04 c Elapsed CPU time: 1.9977 s Remaining CPU time: 1798 s 1.99/2.06 c core #167 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: -333 1.99/2.06 c Elapsed CPU time: 2.01069 s Remaining CPU time: 1797.99 s 1.99/2.07 c core #168 1.99/2.07 c Core size: 4 Core Weight: 1 Total Weight: -332 1.99/2.07 c Elapsed CPU time: 2.02269 s Remaining CPU time: 1797.98 s 1.99/2.08 c core #169 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -331 1.99/2.08 c Elapsed CPU time: 2.03569 s Remaining CPU time: 1797.96 s 1.99/2.09 c core #170 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -330 1.99/2.09 c Elapsed CPU time: 2.04869 s Remaining CPU time: 1797.95 s 2.09/2.11 c core #171 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: -329 2.09/2.11 c Elapsed CPU time: 2.06069 s Remaining CPU time: 1797.94 s 2.09/2.12 c core #172 2.09/2.12 c Core size: 4 Core Weight: 1 Total Weight: -328 2.09/2.12 c Elapsed CPU time: 2.07468 s Remaining CPU time: 1797.93 s 2.09/2.13 c core #173 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: -327 2.09/2.13 c Elapsed CPU time: 2.08668 s Remaining CPU time: 1797.91 s 2.09/2.15 c core #174 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: -326 2.09/2.15 c Elapsed CPU time: 2.09968 s Remaining CPU time: 1797.9 s 2.09/2.16 c core #175 2.09/2.16 c Core size: 4 Core Weight: 1 Total Weight: -325 2.09/2.16 c Elapsed CPU time: 2.11268 s Remaining CPU time: 1797.89 s 2.09/2.17 c core #176 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: -324 2.09/2.17 c Elapsed CPU time: 2.12568 s Remaining CPU time: 1797.87 s 2.09/2.19 c core #177 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: -323 2.09/2.19 c Elapsed CPU time: 2.13867 s Remaining CPU time: 1797.86 s 2.09/2.20 c core #178 2.09/2.20 c Core size: 4 Core Weight: 1 Total Weight: -322 2.09/2.20 c Elapsed CPU time: 2.15167 s Remaining CPU time: 1797.85 s 2.19/2.21 c core #179 2.19/2.21 c Core size: 4 Core Weight: 1 Total Weight: -321 2.19/2.21 c Elapsed CPU time: 2.16567 s Remaining CPU time: 1797.83 s 2.19/2.23 c core #180 2.19/2.23 c Core size: 4 Core Weight: 1 Total Weight: -320 2.19/2.23 c Elapsed CPU time: 2.17867 s Remaining CPU time: 1797.82 s 2.19/2.24 c core #181 2.19/2.24 c Core size: 4 Core Weight: 1 Total Weight: -319 2.19/2.24 c Elapsed CPU time: 2.19067 s Remaining CPU time: 1797.81 s 2.19/2.25 c core #182 2.19/2.25 c Core size: 4 Core Weight: 1 Total Weight: -318 2.19/2.25 c Elapsed CPU time: 2.20267 s Remaining CPU time: 1797.8 s 2.19/2.26 c core #183 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -317 2.19/2.26 c Elapsed CPU time: 2.21566 s Remaining CPU time: 1797.78 s 2.19/2.28 c core #184 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: -316 2.19/2.28 c Elapsed CPU time: 2.22866 s Remaining CPU time: 1797.77 s 2.19/2.29 c core #185 2.19/2.29 c Core size: 4 Core Weight: 1 Total Weight: -315 2.19/2.29 c Elapsed CPU time: 2.24266 s Remaining CPU time: 1797.76 s 2.29/2.30 c core #186 2.29/2.30 c Core size: 4 Core Weight: 1 Total Weight: -314 2.29/2.30 c Elapsed CPU time: 2.25566 s Remaining CPU time: 1797.74 s 2.29/2.32 c core #187 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: -313 2.29/2.32 c Elapsed CPU time: 2.26865 s Remaining CPU time: 1797.73 s 2.29/2.33 c core #188 2.29/2.33 c Core size: 4 Core Weight: 1 Total Weight: -312 2.29/2.33 c Elapsed CPU time: 2.28265 s Remaining CPU time: 1797.72 s 2.29/2.34 c core #189 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -311 2.29/2.34 c Elapsed CPU time: 2.29465 s Remaining CPU time: 1797.71 s 2.29/2.36 c core #190 2.29/2.36 c Core size: 4 Core Weight: 1 Total Weight: -310 2.29/2.36 c Elapsed CPU time: 2.30765 s Remaining CPU time: 1797.69 s 2.29/2.37 c core #191 2.29/2.37 c Core size: 4 Core Weight: 1 Total Weight: -309 2.29/2.37 c Elapsed CPU time: 2.32165 s Remaining CPU time: 1797.68 s 2.29/2.38 c core #192 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: -308 2.29/2.38 c Elapsed CPU time: 2.33465 s Remaining CPU time: 1797.67 s 2.39/2.40 c core #193 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -307 2.39/2.40 c Elapsed CPU time: 2.34764 s Remaining CPU time: 1797.65 s 2.39/2.41 c core #194 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -306 2.39/2.41 c Elapsed CPU time: 2.35964 s Remaining CPU time: 1797.64 s 2.39/2.43 c core #195 2.39/2.43 c Core size: 4 Core Weight: 1 Total Weight: -305 2.39/2.43 c Elapsed CPU time: 2.37264 s Remaining CPU time: 1797.63 s 2.39/2.44 c core #196 2.39/2.44 c Core size: 4 Core Weight: 1 Total Weight: -304 2.39/2.44 c Elapsed CPU time: 2.38664 s Remaining CPU time: 1797.61 s 2.39/2.45 c core #197 2.39/2.45 c Core size: 4 Core Weight: 1 Total Weight: -303 2.39/2.45 c Elapsed CPU time: 2.39963 s Remaining CPU time: 1797.6 s 2.39/2.46 c core #198 2.39/2.46 c Core size: 4 Core Weight: 1 Total Weight: -302 2.39/2.46 c Elapsed CPU time: 2.41163 s Remaining CPU time: 1797.59 s 2.39/2.48 c core #199 2.39/2.48 c Core size: 4 Core Weight: 1 Total Weight: -301 2.39/2.48 c Elapsed CPU time: 2.42363 s Remaining CPU time: 1797.58 s 2.39/2.49 c core #200 2.39/2.49 c Core size: 4 Core Weight: 1 Total Weight: -300 2.39/2.49 c Elapsed CPU time: 2.43663 s Remaining CPU time: 1797.56 s 2.49/2.51 c core #201 2.49/2.51 c Core size: 4 Core Weight: 1 Total Weight: -299 2.49/2.51 c Elapsed CPU time: 2.45063 s Remaining CPU time: 1797.55 s 2.49/2.52 c core #202 2.49/2.52 c Core size: 4 Core Weight: 1 Total Weight: -298 2.49/2.52 c Elapsed CPU time: 2.46362 s Remaining CPU time: 1797.54 s 2.49/2.53 c core #203 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -297 2.49/2.53 c Elapsed CPU time: 2.47662 s Remaining CPU time: 1797.52 s 2.49/2.55 c core #204 2.49/2.55 c Core size: 4 Core Weight: 1 Total Weight: -296 2.49/2.55 c Elapsed CPU time: 2.48962 s Remaining CPU time: 1797.51 s 2.49/2.56 c core #205 2.49/2.56 c Core size: 4 Core Weight: 1 Total Weight: -295 2.49/2.56 c Elapsed CPU time: 2.50362 s Remaining CPU time: 1797.5 s 2.49/2.57 c core #206 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -294 2.49/2.57 c Elapsed CPU time: 2.51662 s Remaining CPU time: 1797.48 s 2.49/2.59 c core #207 2.49/2.59 c Core size: 4 Core Weight: 1 Total Weight: -293 2.49/2.59 c Elapsed CPU time: 2.53062 s Remaining CPU time: 1797.47 s 2.58/2.60 c core #208 2.58/2.60 c Core size: 4 Core Weight: 1 Total Weight: -292 2.58/2.60 c Elapsed CPU time: 2.54261 s Remaining CPU time: 1797.46 s 2.58/2.61 c core #209 2.58/2.61 c Core size: 4 Core Weight: 1 Total Weight: -291 2.58/2.61 c Elapsed CPU time: 2.55561 s Remaining CPU time: 1797.44 s 2.58/2.63 c core #210 2.58/2.63 c Core size: 4 Core Weight: 1 Total Weight: -290 2.58/2.63 c Elapsed CPU time: 2.56861 s Remaining CPU time: 1797.43 s 2.58/2.64 c core #211 2.58/2.64 c Core size: 4 Core Weight: 1 Total Weight: -289 2.58/2.64 c Elapsed CPU time: 2.58261 s Remaining CPU time: 1797.42 s 2.58/2.65 c core #212 2.58/2.65 c Core size: 4 Core Weight: 1 Total Weight: -288 2.58/2.65 c Elapsed CPU time: 2.59661 s Remaining CPU time: 1797.4 s 2.58/2.67 c core #213 2.58/2.67 c Core size: 4 Core Weight: 1 Total Weight: -287 2.58/2.67 c Elapsed CPU time: 2.6086 s Remaining CPU time: 1797.39 s 2.58/2.68 c core #214 2.58/2.68 c Core size: 4 Core Weight: 1 Total Weight: -286 2.58/2.68 c Elapsed CPU time: 2.6226 s Remaining CPU time: 1797.38 s 2.58/2.69 c core #215 2.58/2.69 c Core size: 4 Core Weight: 1 Total Weight: -285 2.58/2.69 c Elapsed CPU time: 2.6346 s Remaining CPU time: 1797.37 s 2.69/2.71 c core #216 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: -284 2.69/2.71 c Elapsed CPU time: 2.6486 s Remaining CPU time: 1797.35 s 2.69/2.72 c core #217 2.69/2.72 c Core size: 4 Core Weight: 1 Total Weight: -283 2.69/2.72 c Elapsed CPU time: 2.6626 s Remaining CPU time: 1797.34 s 2.69/2.74 c core #218 2.69/2.74 c Core size: 4 Core Weight: 1 Total Weight: -282 2.69/2.74 c Elapsed CPU time: 2.67559 s Remaining CPU time: 1797.32 s 2.69/2.75 c core #219 2.69/2.75 c Core size: 4 Core Weight: 1 Total Weight: -281 2.69/2.75 c Elapsed CPU time: 2.68959 s Remaining CPU time: 1797.31 s 2.69/2.76 c core #220 2.69/2.76 c Core size: 4 Core Weight: 1 Total Weight: -280 2.69/2.76 c Elapsed CPU time: 2.70359 s Remaining CPU time: 1797.3 s 2.69/2.78 c core #221 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -279 2.69/2.78 c Elapsed CPU time: 2.71759 s Remaining CPU time: 1797.28 s 2.69/2.79 c core #222 2.69/2.79 c Core size: 4 Core Weight: 1 Total Weight: -278 2.69/2.79 c Elapsed CPU time: 2.73058 s Remaining CPU time: 1797.27 s 2.79/2.80 c core #223 2.79/2.80 c Core size: 4 Core Weight: 1 Total Weight: -277 2.79/2.80 c Elapsed CPU time: 2.74458 s Remaining CPU time: 1797.26 s 2.79/2.82 c core #224 2.79/2.82 c Core size: 4 Core Weight: 1 Total Weight: -276 2.79/2.82 c Elapsed CPU time: 2.75658 s Remaining CPU time: 1797.24 s 2.79/2.83 c core #225 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -275 2.79/2.83 c Elapsed CPU time: 2.77058 s Remaining CPU time: 1797.23 s 2.79/2.84 c core #226 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: -274 2.79/2.84 c Elapsed CPU time: 2.78358 s Remaining CPU time: 1797.22 s 2.79/2.86 c core #227 2.79/2.86 c Core size: 4 Core Weight: 1 Total Weight: -273 2.79/2.86 c Elapsed CPU time: 2.79657 s Remaining CPU time: 1797.2 s 2.79/2.87 c core #228 2.79/2.87 c Core size: 4 Core Weight: 1 Total Weight: -272 2.79/2.87 c Elapsed CPU time: 2.81057 s Remaining CPU time: 1797.19 s 2.79/2.89 c core #229 2.79/2.89 c Core size: 4 Core Weight: 1 Total Weight: -271 2.79/2.89 c Elapsed CPU time: 2.82457 s Remaining CPU time: 1797.18 s 2.89/2.90 c core #230 2.89/2.90 c Core size: 4 Core Weight: 1 Total Weight: -270 2.89/2.90 c Elapsed CPU time: 2.83757 s Remaining CPU time: 1797.16 s 2.89/2.91 c core #231 2.89/2.91 c Core size: 4 Core Weight: 1 Total Weight: -269 2.89/2.91 c Elapsed CPU time: 2.85057 s Remaining CPU time: 1797.15 s 2.89/2.93 c core #232 2.89/2.93 c Core size: 9 Core Weight: 1 Total Weight: -268 2.89/2.93 c Elapsed CPU time: 2.86456 s Remaining CPU time: 1797.14 s 2.89/2.94 c core #233 2.89/2.94 c Core size: 9 Core Weight: 1 Total Weight: -267 2.89/2.94 c Elapsed CPU time: 2.87856 s Remaining CPU time: 1797.12 s 2.89/2.95 c core #234 2.89/2.95 c Core size: 9 Core Weight: 1 Total Weight: -266 2.89/2.95 c Elapsed CPU time: 2.89156 s Remaining CPU time: 1797.11 s 2.89/2.97 c core #235 2.89/2.97 c Core size: 9 Core Weight: 1 Total Weight: -265 2.89/2.97 c Elapsed CPU time: 2.90556 s Remaining CPU time: 1797.09 s 2.89/2.98 c core #236 2.89/2.98 c Core size: 9 Core Weight: 1 Total Weight: -264 2.89/2.98 c Elapsed CPU time: 2.91956 s Remaining CPU time: 1797.08 s 2.89/3.00 c core #237 2.89/3.00 c Core size: 9 Core Weight: 1 Total Weight: -263 2.89/3.00 c Elapsed CPU time: 2.93355 s Remaining CPU time: 1797.07 s 2.99/3.01 c core #238 2.99/3.01 c Core size: 14 Core Weight: 1 Total Weight: -262 2.99/3.01 c Elapsed CPU time: 2.94755 s Remaining CPU time: 1797.05 s 2.99/3.02 c core #239 2.99/3.02 c Core size: 9 Core Weight: 1 Total Weight: -261 2.99/3.02 c Elapsed CPU time: 2.96055 s Remaining CPU time: 1797.04 s 2.99/3.04 c core #240 2.99/3.04 c Core size: 9 Core Weight: 1 Total Weight: -260 2.99/3.04 c Elapsed CPU time: 2.97455 s Remaining CPU time: 1797.03 s 2.99/3.05 c core #241 2.99/3.05 c Core size: 9 Core Weight: 1 Total Weight: -259 2.99/3.05 c Elapsed CPU time: 2.98855 s Remaining CPU time: 1797.01 s 2.99/3.06 c core #242 2.99/3.06 c Core size: 23 Core Weight: 1 Total Weight: -258 2.99/3.06 c Elapsed CPU time: 3.00254 s Remaining CPU time: 1797 s 2.99/3.08 c core #243 2.99/3.08 c Core size: 9 Core Weight: 1 Total Weight: -257 2.99/3.08 c Elapsed CPU time: 3.01654 s Remaining CPU time: 1796.98 s 2.99/3.09 c core #244 2.99/3.09 c Core size: 9 Core Weight: 1 Total Weight: -256 2.99/3.09 c Elapsed CPU time: 3.02954 s Remaining CPU time: 1796.97 s 3.09/3.11 c core #245 3.09/3.11 c Core size: 9 Core Weight: 1 Total Weight: -255 3.09/3.11 c Elapsed CPU time: 3.04354 s Remaining CPU time: 1796.96 s 3.09/3.12 c core #246 3.09/3.12 c Core size: 8 Core Weight: 1 Total Weight: -254 3.09/3.12 c Elapsed CPU time: 3.05754 s Remaining CPU time: 1796.94 s 3.09/3.13 c core #247 3.09/3.13 c Core size: 9 Core Weight: 1 Total Weight: -253 3.09/3.13 c Elapsed CPU time: 3.07053 s Remaining CPU time: 1796.93 s 3.09/3.15 c core #248 3.09/3.15 c Core size: 24 Core Weight: 1 Total Weight: -252 3.09/3.15 c Elapsed CPU time: 3.08353 s Remaining CPU time: 1796.92 s 3.09/3.16 c core #249 3.09/3.16 c Core size: 22 Core Weight: 1 Total Weight: -251 3.09/3.16 c Elapsed CPU time: 3.09753 s Remaining CPU time: 1796.9 s 3.09/3.17 c core #250 3.09/3.17 c Core size: 34 Core Weight: 1 Total Weight: -250 3.09/3.17 c Elapsed CPU time: 3.11153 s Remaining CPU time: 1796.89 s 3.09/3.19 c core #251 3.09/3.19 c Core size: 22 Core Weight: 1 Total Weight: -249 3.09/3.19 c Elapsed CPU time: 3.12453 s Remaining CPU time: 1796.88 s 3.19/3.20 c core #252 3.19/3.20 c Core size: 27 Core Weight: 1 Total Weight: -248 3.19/3.20 c Elapsed CPU time: 3.13752 s Remaining CPU time: 1796.86 s 3.19/3.22 c core #253 3.19/3.22 c Core size: 18 Core Weight: 1 Total Weight: -247 3.19/3.22 c Elapsed CPU time: 3.15052 s Remaining CPU time: 1796.85 s 3.19/3.23 c ============================[ Search Statistics ]============================== 3.19/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.23 c =============================================================================== 3.19/3.23 c | 0 | 1092 8079 16791 | 5000 0 nan | 0.000 % | 3.19/3.23 c =============================================================================== 3.19/3.23 c core #254 3.19/3.23 c Core size: 27 Core Weight: 1 Total Weight: -246 3.19/3.23 c Elapsed CPU time: 3.16552 s Remaining CPU time: 1796.83 s 3.19/3.24 c ============================[ Search Statistics ]============================== 3.19/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.24 c =============================================================================== 3.19/3.24 c | 0 | 1102 8080 16811 | 5000 0 nan | 0.000 % | 3.19/3.24 c =============================================================================== 3.19/3.24 c core #255 3.19/3.24 c Core size: 31 Core Weight: 1 Total Weight: -245 3.19/3.24 c Elapsed CPU time: 3.17952 s Remaining CPU time: 1796.82 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 | 1114 8081 16835 | 5000 0 nan | 0.000 % | 3.19/3.26 c =============================================================================== 3.19/3.26 c core #256 3.19/3.26 c Core size: 26 Core Weight: 1 Total Weight: -244 3.19/3.26 c Elapsed CPU time: 3.19351 s Remaining CPU time: 1796.81 s 3.19/3.27 c ============================[ Search Statistics ]============================== 3.19/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.27 c =============================================================================== 3.19/3.27 c | 0 | 1124 8082 16855 | 5000 0 nan | 0.000 % | 3.19/3.27 c =============================================================================== 3.19/3.27 c core #257 3.19/3.27 c Core size: 32 Core Weight: 1 Total Weight: -243 3.19/3.27 c Elapsed CPU time: 3.20751 s Remaining CPU time: 1796.79 s 3.19/3.29 c ============================[ Search Statistics ]============================== 3.19/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.29 c =============================================================================== 3.19/3.29 c | 0 | 1136 8083 16879 | 5000 0 nan | 0.000 % | 3.19/3.29 c =============================================================================== 3.19/3.29 c core #258 3.19/3.29 c Core size: 26 Core Weight: 1 Total Weight: -242 3.19/3.29 c Elapsed CPU time: 3.22151 s Remaining CPU time: 1796.78 s 3.19/3.30 c ============================[ Search Statistics ]============================== 3.19/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.19/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.19/3.30 c =============================================================================== 3.19/3.30 c | 0 | 1146 8084 16899 | 5000 0 nan | 0.000 % | 3.29/3.30 c =============================================================================== 3.29/3.30 c core #259 3.29/3.30 c Core size: 37 Core Weight: 1 Total Weight: -241 3.29/3.30 c Elapsed CPU time: 3.23651 s Remaining CPU time: 1796.76 s 3.29/3.32 c ============================[ Search Statistics ]============================== 3.29/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.32 c =============================================================================== 3.29/3.32 c | 0 | 1160 8085 16927 | 5000 0 nan | 0.000 % | 3.29/3.32 c =============================================================================== 3.29/3.32 c core #260 3.29/3.32 c Core size: 22 Core Weight: 1 Total Weight: -240 3.29/3.32 c Elapsed CPU time: 3.2505 s Remaining CPU time: 1796.75 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 | 1168 8086 16943 | 5000 0 nan | 0.000 % | 3.29/3.33 c =============================================================================== 3.29/3.33 c core #261 3.29/3.33 c Core size: 30 Core Weight: 1 Total Weight: -239 3.29/3.33 c Elapsed CPU time: 3.2655 s Remaining CPU time: 1796.73 s 3.29/3.35 c ============================[ Search Statistics ]============================== 3.29/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.35 c =============================================================================== 3.29/3.35 c | 0 | 1180 8087 16967 | 5000 0 nan | 0.000 % | 3.29/3.35 c =============================================================================== 3.29/3.35 c core #262 3.29/3.35 c Core size: 31 Core Weight: 1 Total Weight: -238 3.29/3.35 c Elapsed CPU time: 3.2805 s Remaining CPU time: 1796.72 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 | 1192 8088 16991 | 5000 0 nan | 0.000 % | 3.29/3.36 c =============================================================================== 3.29/3.36 c core #263 3.29/3.36 c Core size: 23 Core Weight: 1 Total Weight: -237 3.29/3.36 c Elapsed CPU time: 3.2955 s Remaining CPU time: 1796.7 s 3.29/3.38 c ============================[ Search Statistics ]============================== 3.29/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.38 c =============================================================================== 3.29/3.38 c | 0 | 1200 8089 17007 | 5000 0 nan | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.38 c core #264 3.29/3.38 c Core size: 32 Core Weight: 1 Total Weight: -236 3.29/3.38 c Elapsed CPU time: 3.3095 s Remaining CPU time: 1796.69 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 | 1212 8090 17031 | 5000 0 nan | 0.000 % | 3.29/3.39 c =============================================================================== 3.29/3.39 c core #265 3.29/3.39 c Core size: 26 Core Weight: 1 Total Weight: -235 3.29/3.39 c Elapsed CPU time: 3.32349 s Remaining CPU time: 1796.68 s 3.38/3.40 c ============================[ Search Statistics ]============================== 3.38/3.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.40 c =============================================================================== 3.38/3.40 c | 0 | 1222 8091 17051 | 5000 0 nan | 0.000 % | 3.38/3.41 c =============================================================================== 3.38/3.41 c core #266 3.38/3.41 c Core size: 25 Core Weight: 1 Total Weight: -234 3.38/3.41 c Elapsed CPU time: 3.33849 s Remaining CPU time: 1796.66 s 3.38/3.42 c ============================[ Search Statistics ]============================== 3.38/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.42 c =============================================================================== 3.38/3.42 c | 0 | 1232 8092 17071 | 5000 0 nan | 0.000 % | 3.38/3.42 c =============================================================================== 3.38/3.42 c core #267 3.38/3.42 c Core size: 27 Core Weight: 1 Total Weight: -233 3.38/3.42 c Elapsed CPU time: 3.35349 s Remaining CPU time: 1796.65 s 3.38/3.43 c ============================[ Search Statistics ]============================== 3.38/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.43 c =============================================================================== 3.38/3.43 c | 0 | 1242 8093 17091 | 5000 0 nan | 0.000 % | 3.38/3.44 c =============================================================================== 3.38/3.44 c core #268 3.38/3.44 c Core size: 32 Core Weight: 1 Total Weight: -232 3.38/3.44 c Elapsed CPU time: 3.36749 s Remaining CPU time: 1796.63 s 3.38/3.45 c ============================[ Search Statistics ]============================== 3.38/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.45 c =============================================================================== 3.38/3.45 c | 0 | 1254 8094 17115 | 5000 0 nan | 0.000 % | 3.38/3.45 c =============================================================================== 3.38/3.45 c core #269 3.38/3.45 c Core size: 32 Core Weight: 1 Total Weight: -231 3.38/3.45 c Elapsed CPU time: 3.38049 s Remaining CPU time: 1796.62 s 3.38/3.46 c ============================[ Search Statistics ]============================== 3.38/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.46 c =============================================================================== 3.38/3.46 c | 0 | 1266 8095 17139 | 5000 0 nan | 0.000 % | 3.38/3.46 c =============================================================================== 3.38/3.46 c core #270 3.38/3.46 c Core size: 32 Core Weight: 1 Total Weight: -230 3.38/3.46 c Elapsed CPU time: 3.39548 s Remaining CPU time: 1796.6 s 3.38/3.48 c ============================[ Search Statistics ]============================== 3.38/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.48 c =============================================================================== 3.38/3.48 c | 0 | 1278 8096 17163 | 5000 0 nan | 0.000 % | 3.38/3.48 c =============================================================================== 3.38/3.48 c core #271 3.38/3.48 c Core size: 31 Core Weight: 1 Total Weight: -229 3.38/3.48 c Elapsed CPU time: 3.40948 s Remaining CPU time: 1796.59 s 3.38/3.49 c ============================[ Search Statistics ]============================== 3.38/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.38/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.38/3.49 c =============================================================================== 3.38/3.49 c | 0 | 1290 8097 17187 | 5000 0 nan | 0.000 % | 3.38/3.49 c =============================================================================== 3.38/3.49 c core #272 3.38/3.49 c Core size: 36 Core Weight: 1 Total Weight: -228 3.38/3.49 c Elapsed CPU time: 3.42348 s Remaining CPU time: 1796.58 s 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 1304 8098 17215 | 5000 0 nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c core #273 3.49/3.51 c Core size: 31 Core Weight: 1 Total Weight: -227 3.49/3.51 c Elapsed CPU time: 3.43748 s Remaining CPU time: 1796.56 s 3.49/3.52 c ============================[ Search Statistics ]============================== 3.49/3.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.52 c =============================================================================== 3.49/3.52 c | 0 | 1316 8099 17239 | 5000 0 nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.52 c core #274 3.49/3.52 c Core size: 32 Core Weight: 1 Total Weight: -226 3.49/3.52 c Elapsed CPU time: 3.45248 s Remaining CPU time: 1796.55 s 3.49/3.54 c ============================[ Search Statistics ]============================== 3.49/3.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.54 c =============================================================================== 3.49/3.54 c | 0 | 1328 8100 17263 | 5000 0 nan | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c core #275 3.49/3.54 c Core size: 45 Core Weight: 1 Total Weight: -225 3.49/3.54 c Elapsed CPU time: 3.46747 s Remaining CPU time: 1796.53 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 | 1346 8101 17299 | 5000 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #276 3.49/3.55 c Core size: 41 Core Weight: 1 Total Weight: -224 3.49/3.55 c Elapsed CPU time: 3.48147 s Remaining CPU time: 1796.52 s 3.49/3.57 c ============================[ Search Statistics ]============================== 3.49/3.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.57 c =============================================================================== 3.49/3.57 c | 0 | 1362 8102 17331 | 5000 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #277 3.49/3.57 c Core size: 32 Core Weight: 1 Total Weight: -223 3.49/3.57 c Elapsed CPU time: 3.49547 s Remaining CPU time: 1796.5 s 3.49/3.58 c ============================[ Search Statistics ]============================== 3.49/3.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.58 c =============================================================================== 3.49/3.58 c | 0 | 1374 8103 17355 | 5000 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #278 3.49/3.58 c Core size: 40 Core Weight: 1 Total Weight: -222 3.49/3.58 c Elapsed CPU time: 3.51047 s Remaining CPU time: 1796.49 s 3.49/3.60 c ============================[ Search Statistics ]============================== 3.49/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.60 c =============================================================================== 3.49/3.60 c | 0 | 1389 8104 17385 | 5000 0 nan | 0.000 % | 3.49/3.60 c =============================================================================== 3.49/3.60 c core #279 3.49/3.60 c Core size: 21 Core Weight: 1 Total Weight: -221 3.49/3.60 c Elapsed CPU time: 3.52546 s Remaining CPU time: 1796.47 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 | 1397 8105 17401 | 5000 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #280 3.59/3.61 c Core size: 26 Core Weight: 1 Total Weight: -220 3.59/3.61 c Elapsed CPU time: 3.53946 s Remaining CPU time: 1796.46 s 3.59/3.63 c ============================[ Search Statistics ]============================== 3.59/3.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.63 c =============================================================================== 3.59/3.63 c | 0 | 1407 8106 17421 | 5000 0 nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c core #281 3.59/3.63 c Core size: 71 Core Weight: 1 Total Weight: -219 3.59/3.63 c Elapsed CPU time: 3.55446 s Remaining CPU time: 1796.45 s 3.59/3.64 c ============================[ Search Statistics ]============================== 3.59/3.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.64 c =============================================================================== 3.59/3.64 c | 0 | 1435 8107 17477 | 5000 0 nan | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c core #282 3.59/3.64 c Core size: 56 Core Weight: 1 Total Weight: -218 3.59/3.64 c Elapsed CPU time: 3.56846 s Remaining CPU time: 1796.43 s 3.59/3.66 c ============================[ Search Statistics ]============================== 3.59/3.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.66 c =============================================================================== 3.59/3.66 c | 0 | 1455 8108 17517 | 5000 0 nan | 0.000 % | 3.59/3.67 c | 104 | 1455 8108 17517 | 5500 104 52 | 68.536 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c core #283 3.59/3.67 c Core size: 329 Core Weight: 1 Total Weight: -217 3.59/3.67 c Elapsed CPU time: 3.59345 s Remaining CPU time: 1796.41 s 3.59/3.68 c ============================[ Search Statistics ]============================== 3.59/3.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.68 c =============================================================================== 3.59/3.68 c | 0 | 1567 8109 17741 | 5000 0 nan | 0.000 % | 3.59/3.69 c | 103 | 1567 8109 17741 | 5500 103 43 | 66.871 % | 3.59/3.69 c =============================================================================== 3.59/3.70 c core #284 3.59/3.70 c Core size: 239 Core Weight: 1 Total Weight: -216 3.59/3.70 c Elapsed CPU time: 3.62145 s Remaining CPU time: 1796.38 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 | 1645 8110 17897 | 5000 0 nan | 0.000 % | 3.69/3.72 c | 100 | 1645 8110 17897 | 5500 100 79 | 65.786 % | 3.69/3.74 c | 252 | 1645 8110 17897 | 6050 252 97 | 65.786 % | 3.69/3.77 c | 480 | 1645 8110 17897 | 6655 480 101 | 65.786 % | 3.78/3.81 c | 818 | 1645 8110 17897 | 7320 818 111 | 65.786 % | 3.78/3.85 c | 1324 | 1645 8110 17897 | 8052 1324 85 | 65.786 % | 3.89/3.91 c | 2083 | 1645 8110 17897 | 8857 2083 70 | 65.786 % | 3.89/3.98 c =============================================================================== 3.89/3.99 c core #285 3.89/3.99 c Core size: 580 Core Weight: 1 Total Weight: -215 3.89/3.99 c Elapsed CPU time: 3.90641 s Remaining CPU time: 1796.09 s 3.99/4.00 c ============================[ Search Statistics ]============================== 3.99/4.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.00 c =============================================================================== 3.99/4.00 c | 0 | 1806 8111 18219 | 5000 0 nan | 0.000 % | 3.99/4.01 c | 100 | 1806 8111 18219 | 5500 100 54 | 63.655 % | 3.99/4.02 c | 252 | 1806 8111 18219 | 6050 252 47 | 63.655 % | 3.99/4.04 c | 477 | 1806 8111 18219 | 6655 477 46 | 63.655 % | 3.99/4.08 c | 816 | 1806 8111 18219 | 7320 816 74 | 63.655 % | 4.09/4.15 c | 1322 | 1806 8111 18219 | 8052 1322 86 | 63.655 % | 4.19/4.28 c | 2083 | 1806 8111 18219 | 8857 2083 98 | 63.655 % | 4.39/4.46 c | 3222 | 1806 8111 18219 | 9743 3222 99 | 63.655 % | 4.69/4.71 c =============================================================================== 4.69/4.74 c core #286 4.69/4.74 c Core size: 573 Core Weight: 1 Total Weight: -214 4.69/4.74 c Elapsed CPU time: 4.64429 s Remaining CPU time: 1795.36 s 4.69/4.76 c ============================[ Search Statistics ]============================== 4.69/4.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.69/4.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.69/4.76 c =============================================================================== 4.69/4.76 c | 0 | 1949 8112 18505 | 5000 0 nan | 0.000 % | 4.69/4.76 c | 100 | 1949 8112 18505 | 5500 100 27 | 61.874 % | 4.69/4.77 c | 250 | 1949 8112 18505 | 6050 250 22 | 61.874 % | 4.69/4.79 c | 476 | 1949 8112 18505 | 6655 476 40 | 61.874 % | 4.79/4.83 c | 813 | 1949 8112 18505 | 7320 813 57 | 61.874 % | 4.88/4.91 c | 1323 | 1949 8112 18505 | 8052 1323 86 | 61.874 % | 4.98/5.08 c | 2082 | 1949 8112 18505 | 8857 2082 114 | 61.874 % | 5.29/5.36 c | 3221 | 1949 8112 18505 | 9743 3221 129 | 61.874 % | 5.68/5.73 c | 4930 | 1949 8112 18505 | 10717 4930 123 | 61.874 % | 6.39/6.49 c | 7493 | 1949 8112 18505 | 11789 7493 125 | 61.874 % | 7.69/7.79 c | 11337 | 1949 8112 18505 | 12968 11337 130 | 61.874 % | 10.99/11.08 c =============================================================================== 11.19/11.30 c core #287 11.19/11.30 c Core size: 576 Core Weight: 1 Total Weight: -213 11.19/11.30 c Elapsed CPU time: 11.1523 s Remaining CPU time: 1788.85 s 11.29/11.33 c ============================[ Search Statistics ]============================== 11.29/11.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.29/11.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.29/11.33 c =============================================================================== 11.29/11.33 c | 0 | 2083 8113 18773 | 5000 0 nan | 0.000 % | 11.29/11.34 c | 104 | 2083 8113 18773 | 5500 104 93 | 60.294 % | 11.29/11.36 c | 254 | 2083 8113 18773 | 6050 254 76 | 60.294 % | 11.29/11.38 c | 479 | 2083 8113 18773 | 6655 479 83 | 60.294 % | 11.39/11.42 c | 817 | 2083 8113 18773 | 7320 817 101 | 60.294 % | 11.39/11.46 c | 1324 | 2083 8113 18773 | 8052 1324 80 | 60.294 % | 11.49/11.55 c | 2083 | 2083 8113 18773 | 8857 2083 84 | 60.294 % | 11.69/11.70 c | 3224 | 2083 8113 18773 | 9743 3224 85 | 60.294 % | 11.99/12.03 c | 4933 | 2083 8113 18773 | 10717 4933 94 | 60.294 % | 12.79/12.84 c | 7495 | 2083 8113 18773 | 11789 7495 138 | 60.294 % | 14.08/14.12 c | 11340 | 2083 8113 18773 | 12968 11340 157 | 60.294 % | 14.18/14.27 c =============================================================================== 14.28/14.38 c core #288 14.28/14.38 c Core size: 972 Core Weight: 1 Total Weight: -212 14.28/14.38 c Elapsed CPU time: 14.1948 s Remaining CPU time: 1785.81 s 14.38/14.40 c ============================[ Search Statistics ]============================== 14.38/14.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.38/14.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.38/14.40 c =============================================================================== 14.38/14.40 c | 0 | 2298 8114 19203 | 5000 0 nan | 0.000 % | 14.38/14.42 c | 100 | 2298 8114 19203 | 5500 100 39 | 57.920 % | 14.38/14.43 c | 250 | 2298 8114 19203 | 6050 250 38 | 57.920 % | 14.38/14.45 c | 482 | 2298 8114 19203 | 6655 482 52 | 57.920 % | 14.38/14.48 c | 822 | 2298 8114 19203 | 7320 822 51 | 57.920 % | 14.49/14.54 c | 1328 | 2298 8114 19203 | 8052 1328 53 | 57.920 % | 14.58/14.63 c | 2088 | 2298 8114 19203 | 8857 2088 63 | 57.920 % | 14.69/14.76 c | 3227 | 2298 8114 19203 | 9743 3227 61 | 57.920 % | 14.98/15.04 c | 4935 | 2298 8114 19203 | 10717 4935 72 | 57.920 % | 15.48/15.57 c | 7497 | 2298 8114 19203 | 11789 7497 88 | 57.920 % | 16.78/16.80 c | 11341 | 2298 8114 19203 | 12968 11341 112 | 57.920 % | 20.18/20.20 c | 17107 | 2298 8114 19203 | 14265 9010 199 | 57.920 % | 21.38/21.40 c =============================================================================== 21.58/21.62 c core #289 21.58/21.62 c Core size: 770 Core Weight: 1 Total Weight: -211 21.58/21.62 c Elapsed CPU time: 21.3638 s Remaining CPU time: 1778.64 s 21.58/21.65 c ============================[ Search Statistics ]============================== 21.58/21.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.58/21.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.58/21.65 c =============================================================================== 21.58/21.65 c | 0 | 2479 8115 19565 | 5000 0 nan | 0.000 % | 21.58/21.66 c | 100 | 2479 8115 19565 | 5500 100 18 | 56.062 % | 21.58/21.68 c | 250 | 2479 8115 19565 | 6050 250 43 | 56.062 % | 21.69/21.70 c | 475 | 2479 8115 19565 | 6655 475 54 | 56.062 % | 21.69/21.73 c | 814 | 2479 8115 19565 | 7320 814 64 | 56.062 % | 21.69/21.78 c | 1324 | 2479 8115 19565 | 8052 1324 61 | 56.062 % | 21.79/21.87 c | 2083 | 2479 8115 19565 | 8857 2083 62 | 56.062 % | 21.99/22.01 c | 3223 | 2479 8115 19565 | 9743 3223 65 | 56.062 % | 22.28/22.30 c | 4931 | 2479 8115 19565 | 10717 4931 79 | 56.062 % | 22.68/22.72 c | 7494 | 2479 8115 19565 | 11789 7494 84 | 56.062 % | 23.38/23.44 c | 11342 | 2479 8115 19565 | 12968 11342 83 | 56.062 % | 24.99/25.06 c | 17108 | 2479 8115 19565 | 14265 8950 98 | 56.062 % | 26.18/26.22 c =============================================================================== 26.38/26.42 c core #290 26.38/26.42 c Core size: 857 Core Weight: 1 Total Weight: -210 26.38/26.42 c Elapsed CPU time: 26.097 s Remaining CPU time: 1773.9 s 26.38/26.45 c ============================[ Search Statistics ]============================== 26.38/26.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.38/26.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.38/26.45 c =============================================================================== 26.38/26.45 c | 0 | 2663 8116 19933 | 5000 0 nan | 0.000 % | 26.38/26.48 c | 100 | 2663 8116 19933 | 5500 100 145 | 54.291 % | 26.38/26.49 c | 250 | 2663 8116 19933 | 6050 250 76 | 54.291 % | 26.49/26.53 c | 475 | 2663 8116 19933 | 6655 475 56 | 54.291 % | 26.49/26.58 c | 812 | 2663 8116 19933 | 7320 812 63 | 54.291 % | 26.58/26.64 c | 1318 | 2663 8116 19933 | 8052 1318 53 | 54.291 % | 26.68/26.75 c | 2077 | 2663 8116 19933 | 8857 2077 69 | 54.291 % | 26.88/26.92 c | 3218 | 2663 8116 19933 | 9743 3218 85 | 54.291 % | 27.08/27.14 c | 4928 | 2663 8116 19933 | 10717 4928 84 | 54.291 % | 27.49/27.57 c | 7491 | 2663 8116 19933 | 11789 7491 92 | 54.291 % | 28.38/28.45 c | 11336 | 2663 8116 19933 | 12968 11336 119 | 54.291 % | 29.98/30.03 c | 17102 | 2663 8116 19933 | 14265 8914 135 | 54.291 % | 32.98/33.03 c | 25751 | 2663 8116 19933 | 15692 17563 132 | 54.291 % | 40.08/40.16 c | 38726 | 2663 8116 19933 | 17261 11533 215 | 54.291 % | 58.77/58.85 c | 58187 | 2663 8116 19933 | 18987 20643 323 | 54.291 % | 89.26/89.35 c | 87381 | 2663 8116 19933 | 20886 16198 333 | 54.291 % | 115.36/115.43 c =============================================================================== 117.66/117.72 c core #291 117.66/117.72 c Core size: 803 Core Weight: 1 Total Weight: -209 117.66/117.72 c Elapsed CPU time: 116.841 s Remaining CPU time: 1683.16 s 117.75/117.86 c ============================[ Search Statistics ]============================== 117.75/117.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.75/117.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 117.75/117.86 c =============================================================================== 117.75/117.86 c | 0 | 2830 8117 20267 | 5000 0 nan | 0.000 % | 117.75/117.89 c | 100 | 2830 8117 20267 | 5500 100 51 | 52.778 % | 117.85/117.90 c | 250 | 2830 8117 20267 | 6050 250 37 | 52.778 % | 117.85/117.92 c | 475 | 2830 8117 20267 | 6655 475 46 | 52.778 % | 117.85/117.95 c | 812 | 2830 8117 20267 | 7320 812 45 | 52.778 % | 117.96/118.01 c | 1319 | 2830 8117 20267 | 8052 1319 50 | 52.778 % | 118.05/118.11 c | 2078 | 2830 8117 20267 | 8857 2078 63 | 52.778 % | 118.15/118.27 c | 3223 | 2830 8117 20267 | 9743 3223 79 | 52.778 % | 118.46/118.56 c | 4931 | 2830 8117 20267 | 10717 4931 94 | 52.778 % | 118.96/119.01 c | 7493 | 2830 8117 20267 | 11789 7493 97 | 52.778 % | 119.85/119.98 c | 11339 | 2830 8117 20267 | 12968 11339 111 | 52.778 % | 121.96/122.03 c | 17105 | 2830 8117 20267 | 14265 9017 159 | 52.778 % | 129.24/129.32 c | 25755 | 2830 8117 20267 | 15692 8913 343 | 52.778 % | 142.34/142.43 c | 38729 | 2830 8117 20267 | 17261 12337 325 | 52.778 % | 163.44/163.53 c | 58195 | 2830 8117 20267 | 18987 11086 429 | 52.778 % | 196.62/196.80 c | 87388 | 2830 8117 20267 | 20886 17948 446 | 52.778 % | 241.21/241.39 c | 131177 | 2830 8117 20267 | 22974 13030 208 | 52.778 % | 371.07/371.22 c | 196869 | 2830 8117 20267 | 25272 25311 521 | 52.778 % | 529.72/529.91 c =============================================================================== 535.72/535.99 c core #292 535.72/535.99 c Core size: 997 Core Weight: 1 Total Weight: -208 535.72/535.99 c Elapsed CPU time: 533.582 s Remaining CPU time: 1266.42 s 536.02/536.30 c ============================[ Search Statistics ]============================== 536.02/536.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 536.02/536.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 536.02/536.30 c =============================================================================== 536.02/536.30 c | 0 | 3025 8118 20657 | 5000 0 nan | 0.000 % | 536.12/536.37 c | 104 | 3025 8118 20657 | 5500 104 296 | 51.115 % | 536.12/536.38 c | 254 | 3025 8118 20657 | 6050 254 149 | 51.115 % | 536.22/536.41 c | 479 | 3025 8118 20657 | 6655 479 112 | 51.115 % | 536.22/536.44 c | 816 | 3025 8118 20657 | 7320 816 86 | 51.115 % | 536.32/536.50 c | 1324 | 3025 8118 20657 | 8052 1324 77 | 51.115 % | 536.32/536.59 c | 2083 | 3025 8118 20657 | 8857 2083 85 | 51.115 % | 536.53/536.79 c | 3222 | 3025 8118 20657 | 9743 3222 105 | 51.115 % | 536.82/537.07 c | 4930 | 3025 8118 20657 | 10717 4930 110 | 51.115 % | 537.22/537.46 c | 7492 | 3025 8118 20657 | 11789 7492 98 | 51.115 % | 538.22/538.47 c | 11340 | 3025 8118 20657 | 12968 11340 126 | 51.115 % | 540.32/540.52 c | 17107 | 3025 8118 20657 | 14265 8995 152 | 51.115 % | 545.42/545.64 c | 25756 | 3025 8118 20657 | 15692 17644 186 | 51.115 % | 557.62/557.89 c | 38730 | 3025 8118 20657 | 17261 11606 196 | 51.115 % | 573.61/573.86 c | 58192 | 3025 8118 20657 | 18987 20715 256 | 51.115 % | 616.80/617.03 c | 87387 | 3025 8118 20657 | 20886 16503 385 | 51.115 % | 699.97/700.20 c | 131179 | 3025 8118 20657 | 22974 23826 444 | 51.115 % | 823.64/823.94 c | 196863 | 3025 8118 20657 | 25272 23727 455 | 51.115 % | 949.30/949.62 c | 295389 | 3025 8118 20657 | 27799 19682 332 | 51.115 % | 1206.22/1206.68 c | 443182 | 3025 8118 20657 | 30579 28845 510 | 51.115 % |
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-1875324-1245198472/watcher-1875324-1245198472 -o /tmp/evaluation-result-1875324-1245198472/solver-1875324-1245198472 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875324-1245198472.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.10 1.04 1.01 3/66 15274 /proc/meminfo: memFree=1791424/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=3084 CPUtime=0 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 72570658 3158016 246 1992294400 134512640 135709839 4294956240 18446744073709551615 135165952 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 771 246 125 292 0 409 0 [startup+0.0407279 s] /proc/loadavg: 1.10 1.04 1.01 3/66 15274 /proc/meminfo: memFree=1791424/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=3908 CPUtime=0.03 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 527 0 0 0 3 0 0 0 18 0 1 0 72570658 4001792 511 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 977 511 186 292 0 615 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3908 [startup+0.101735 s] /proc/loadavg: 1.10 1.04 1.01 3/66 15274 /proc/meminfo: memFree=1791424/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=5740 CPUtime=0.09 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 1071 0 0 0 9 0 0 0 18 0 1 0 72570658 5877760 988 1992294400 134512640 135709839 4294956240 18446744073709551615 134564899 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 1435 988 134 292 0 1140 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5740 [startup+0.30176 s] /proc/loadavg: 1.10 1.04 1.01 3/66 15274 /proc/meminfo: memFree=1791424/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=9256 CPUtime=0.29 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 1964 0 0 0 29 0 0 0 19 0 1 0 72570658 9478144 1881 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 2314 1881 134 292 0 2019 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9256 [startup+0.701812 s] /proc/loadavg: 1.10 1.04 1.01 3/66 15274 /proc/meminfo: memFree=1791424/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=16332 CPUtime=0.69 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 3723 0 0 0 68 1 0 0 22 0 1 0 72570658 16723968 3640 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 4083 3641 134 292 0 3788 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16332 [startup+1.50191 s] /proc/loadavg: 1.10 1.04 1.01 2/67 15275 /proc/meminfo: memFree=1772216/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=29620 CPUtime=1.49 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 7064 0 0 0 146 3 0 0 25 0 1 0 72570658 30330880 6981 1992294400 134512640 135709839 4294956240 18446744073709551615 134529960 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 7405 6981 134 292 0 7110 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29620 [startup+3.10112 s] /proc/loadavg: 1.09 1.04 1.01 2/67 15275 /proc/meminfo: memFree=1753976/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=55296 CPUtime=3.09 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 13481 0 0 0 303 6 0 0 25 0 1 0 72570658 56623104 13350 1992294400 134512640 135709839 4294956240 18446744073709551615 135166032 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 13824 13350 134 292 0 13529 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 55296 [startup+6.30153 s] /proc/loadavg: 1.09 1.04 1.01 2/67 15275 /proc/meminfo: memFree=1724344/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=71000 CPUtime=6.29 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 17440 0 0 0 618 11 0 0 25 0 1 0 72570658 72704000 17309 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 17750 17309 136 292 0 17455 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71000 [startup+12.7014 s] /proc/loadavg: 1.08 1.04 1.01 2/67 15275 /proc/meminfo: memFree=1710080/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=83176 CPUtime=12.69 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 20470 0 0 0 1253 16 0 0 25 0 1 0 72570658 85172224 20339 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 20794 20339 136 292 0 20499 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 83176 [startup+25.502 s] /proc/loadavg: 1.07 1.03 1.01 2/67 15275 /proc/meminfo: memFree=1691776/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=102212 CPUtime=25.49 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 25247 0 0 0 2518 31 0 0 25 0 1 0 72570658 104665088 25116 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 25553 25116 136 292 0 25258 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102212 [startup+51.1013 s] /proc/loadavg: 1.04 1.03 1.00 2/67 15275 /proc/meminfo: memFree=1640512/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=153648 CPUtime=51.07 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 38104 0 0 0 5055 52 0 0 25 0 1 0 72570658 157335552 37973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 38412 37974 136 292 0 38117 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 153648 [startup+102.306 s] /proc/loadavg: 1.02 1.02 1.00 2/67 15275 /proc/meminfo: memFree=1555648/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=237344 CPUtime=102.26 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 58994 0 0 0 10149 77 0 0 25 0 1 0 72570658 243040256 58863 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 59336 58863 136 292 0 59041 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 237344 [startup+162.302 s] /proc/loadavg: 1.00 1.02 1.00 2/67 15275 /proc/meminfo: memFree=1475968/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=317900 CPUtime=162.24 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 79151 0 0 0 16117 107 0 0 25 0 1 0 72570658 325529600 79020 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 79475 79020 136 292 0 79180 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 317900 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/67 15275 /proc/meminfo: memFree=1376256/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=416792 CPUtime=222.22 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 103831 0 0 0 22089 133 0 0 25 0 1 0 72570658 426795008 103700 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 104198 103700 136 292 0 103903 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 416792 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/67 15275 /proc/meminfo: memFree=1280640/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=512732 CPUtime=282.2 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 127803 0 0 0 28056 164 0 0 25 0 1 0 72570658 525037568 127672 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 128183 127672 136 292 0 127888 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 512732 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=1227136/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=565480 CPUtime=342.18 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 140956 0 0 0 34041 177 0 0 25 0 1 0 72570658 579051520 140825 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 141370 140825 136 292 0 141075 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 565480 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=1168448/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=624276 CPUtime=402.16 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 155619 0 0 0 40023 193 0 0 25 0 1 0 72570658 639258624 155488 1992294400 134512640 135709839 4294956240 18446744073709551615 134573931 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 156069 155489 136 292 0 155774 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 624276 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=1115904/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=676624 CPUtime=462.15 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 168684 0 0 0 46008 207 0 0 25 0 1 0 72570658 692862976 168553 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 169156 168553 136 292 0 168861 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 676624 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=1070464/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=722388 CPUtime=522.13 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 180107 0 0 0 51993 220 0 0 25 0 1 0 72570658 739725312 179976 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 180597 179976 136 292 0 180302 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 722388 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=1051648/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=739928 CPUtime=582.11 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 184682 0 0 0 57968 243 0 0 25 0 1 0 72570658 757686272 184522 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 184982 184522 136 292 0 184687 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 739928 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=1002048/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=789484 CPUtime=642.09 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 197044 0 0 0 63947 262 0 0 25 0 1 0 72570658 808431616 196884 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 197371 196885 136 292 0 197076 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 789484 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=940224/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=851488 CPUtime=702.07 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 212531 0 0 0 69928 279 0 0 25 0 1 0 72570658 871923712 212371 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 212872 212372 136 292 0 212577 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 851488 [startup+762.306 s] /proc/loadavg: 1.04 1.01 1.00 2/67 15275 /proc/meminfo: memFree=885056/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=906452 CPUtime=762.05 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 226263 0 0 0 75911 294 0 0 25 0 1 0 72570658 928206848 226103 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 226613 226103 136 292 0 226318 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 906452 [startup+822.302 s] /proc/loadavg: 1.02 1.01 1.00 2/67 15275 /proc/meminfo: memFree=809984/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=982212 CPUtime=822.04 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 245186 0 0 0 81890 314 0 0 25 0 1 0 72570658 1005785088 245026 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 245553 245026 136 292 0 245258 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 982212 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=735680/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1055844 CPUtime=882.02 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 263569 0 0 0 87862 340 0 0 25 0 1 0 72570658 1081184256 263409 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 263961 263409 136 292 0 263666 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1055844 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=660928/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1131992 CPUtime=941.99 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 282550 0 0 0 93835 364 0 0 25 0 1 0 72570658 1159159808 282390 1992294400 134512640 135709839 4294956240 18446744073709551615 134573731 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 282998 282390 136 292 0 282703 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1131992 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=588288/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1203116 CPUtime=1001.98 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 300299 0 0 0 99811 387 0 0 25 0 1 0 72570658 1231990784 300139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 300779 300139 136 292 0 300484 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1203116 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=503488/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1289036 CPUtime=1061.96 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 321746 0 0 0 105783 413 0 0 25 0 1 0 72570658 1319972864 321586 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 322259 321586 136 292 0 321964 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1289036 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=425600/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1365840 CPUtime=1121.94 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 340916 0 0 0 111759 435 0 0 25 0 1 0 72570658 1398620160 340756 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 341460 340756 136 292 0 341165 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1365840 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=375360/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1417020 CPUtime=1181.92 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 353647 0 0 0 117742 450 0 0 25 0 1 0 72570658 1451028480 353487 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 354255 353487 136 292 0 353960 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1417020 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=313344/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1478120 CPUtime=1241.91 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 368892 0 0 0 123722 469 0 0 25 0 1 0 72570658 1513594880 368732 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 369530 368732 136 292 0 369235 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1478120 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=230080/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1561048 CPUtime=1301.89 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 389595 0 0 0 129697 492 0 0 25 0 1 0 72570658 1598513152 389435 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 390262 389435 136 292 0 389967 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1561048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=163584/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1627900 CPUtime=1361.87 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 406309 0 0 0 135675 512 0 0 25 0 1 0 72570658 1666969600 406149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 406975 406149 136 292 0 406680 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1627900 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=77952/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1712864 CPUtime=1421.86 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 427554 0 0 0 141642 544 0 0 25 0 1 0 72570658 1753972736 427394 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 428216 427394 136 292 0 427921 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1712864 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=15104/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1779728 CPUtime=1481.83 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 444239 0 0 0 147618 565 0 0 25 0 1 0 72570658 1822441472 444079 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 444932 444079 136 292 0 444637 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 1779728 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=14976/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1826536 CPUtime=1541.82 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 455909 0 0 0 153601 581 0 0 25 0 1 0 72570658 1870372864 455749 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 456634 455749 136 292 0 456339 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1826536 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1559.81 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=15168/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=1843204 CPUtime=1559.31 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4194304 460054 0 0 0 155345 586 0 0 25 0 1 0 72570658 1887440896 459894 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 460801 459894 136 292 0 460506 0 Current children cumulated CPU time (s) 1559.31 Current children cumulated vsize (KiB) 1843204 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1560 s] /proc/loadavg: 1.00 1.00 1.00 2/67 15275 /proc/meminfo: memFree=15168/2055920 swapFree=4191988/4192956 [pid=15274] ppid=15272 vsize=0 CPUtime=1559.51 /proc/15274/stat : 15274 (wbo) R 15272 15274 14647 0 -1 4195332 460054 0 0 0 155346 605 0 0 25 0 1 0 72570658 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/15274/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1559.51 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1560.09 CPU time (s): 1559.6 CPU user time (s): 1553.46 CPU system time (s): 6.14307 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 1843204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1553.46 system time used= 6.14307 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460054 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4491 runsolver used 2.15167 second user time and 3.55846 second system time The end
Begin job on node40 at 2009-06-17 02:27:52 IDJOB=1875324 IDBENCH=48164 IDSOLVER=698 FILE ID=node40/1875324-1245198472 PBS_JOBID= 9368327 Free space on /tmp= 66564 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.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-1875324-1245198472/watcher-1875324-1245198472 -o /tmp/evaluation-result-1875324-1245198472/solver-1875324-1245198472 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875324-1245198472.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402 RANDOM SEED=72517212 node40.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.216 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.216 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: 1792096 kB Buffers: 31936 kB Cached: 151144 kB SwapCached: 384 kB Active: 60136 kB Inactive: 137040 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1792096 kB SwapTotal: 4192956 kB SwapFree: 4191988 kB Dirty: 2464 kB Writeback: 0 kB Mapped: 23472 kB Slab: 52480 kB Committed_AS: 67152 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875324-1245198472.opb Free space on /tmp at the end= 66560 MiB End job on node40 at 2009-06-17 02:53:54