| Solver Name | Answer | obj | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.0 | ? (MO) | 1467.72 | 1468.08 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_500_10_5.opb |
| MD5SUM | 2b02b42135ec6f53aa7a47afb99951df |
| 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 | -117 |
| Best CPU time to get the best result obtained on this benchmark | 1800.28 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -110 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 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) | 6270 |
| Sum of products size (including duplicates) | 12540 |
| Number of different products | 3135 |
| Sum of products size | 6270 |
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-1875354-1245201384.opb. 0.00/0.00 c Instance file HOME/instance-1875354-1245201384.opb 0.00/0.00 c File size is 268724 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: 3635 | 0.03/0.04 c | Number Clauses: 3635 | 0.03/0.04 c | Number Cardinality: 1000 | 0.03/0.04 c | Number PB Constraints: 3135 | 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.042993 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.052991 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.083987 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.094985 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.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #8 0.09/0.11 c Core size: 4 Core Weight: 1 Total Weight: -492 0.09/0.11 c Elapsed CPU time: 0.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.158975 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.170974 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.181972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #15 0.09/0.19 c Core size: 4 Core Weight: 1 Total Weight: -485 0.09/0.19 c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #16 0.19/0.20 c Core size: 4 Core Weight: 1 Total Weight: -484 0.19/0.20 c Elapsed CPU time: 0.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.226965 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.26096 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #22 0.19/0.27 c Core size: 4 Core Weight: 1 Total Weight: -478 0.19/0.27 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #23 0.19/0.28 c Core size: 4 Core Weight: 1 Total Weight: -477 0.19/0.28 c Elapsed CPU time: 0.283956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #24 0.19/0.29 c Core size: 4 Core Weight: 1 Total Weight: -476 0.19/0.30 c Elapsed CPU time: 0.294955 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.306953 s Remaining CPU time: 1799.69 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.318951 s Remaining CPU time: 1799.68 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.330949 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.342947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #29 0.29/0.35 c Core size: 4 Core Weight: 1 Total Weight: -471 0.29/0.35 c Elapsed CPU time: 0.354946 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.365944 s Remaining CPU time: 1799.63 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.377942 s Remaining CPU time: 1799.62 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.387941 s Remaining CPU time: 1799.61 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.400939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #34 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -466 0.39/0.41 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #35 0.39/0.43 c Core size: 4 Core Weight: 1 Total Weight: -465 0.39/0.43 c Elapsed CPU time: 0.423935 s Remaining CPU time: 1799.58 s 0.39/0.44 c core #36 0.39/0.44 c Core size: 4 Core Weight: 1 Total Weight: -464 0.39/0.44 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 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.446932 s Remaining CPU time: 1799.55 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.45893 s Remaining CPU time: 1799.54 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.470928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #40 0.39/0.48 c Core size: 4 Core Weight: 1 Total Weight: -460 0.39/0.48 c Elapsed CPU time: 0.482926 s Remaining CPU time: 1799.52 s 0.39/0.50 c core #41 0.39/0.50 c Core size: 4 Core Weight: 1 Total Weight: -459 0.39/0.50 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #42 0.49/0.51 c Core size: 4 Core Weight: 1 Total Weight: -458 0.49/0.51 c Elapsed CPU time: 0.505923 s Remaining CPU time: 1799.49 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.517921 s Remaining CPU time: 1799.48 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.529919 s Remaining CPU time: 1799.47 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.541917 s Remaining CPU time: 1799.46 s 0.49/0.56 c core #46 0.49/0.56 c Core size: 4 Core Weight: 1 Total Weight: -454 0.49/0.56 c Elapsed CPU time: 0.553915 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #47 0.49/0.57 c Core size: 4 Core Weight: 1 Total Weight: -453 0.49/0.57 c Elapsed CPU time: 0.565913 s Remaining CPU time: 1799.43 s 0.49/0.58 c core #48 0.49/0.58 c Core size: 4 Core Weight: 1 Total Weight: -452 0.49/0.58 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.49/0.59 c core #49 0.49/0.59 c Core size: 4 Core Weight: 1 Total Weight: -451 0.49/0.59 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 0.59/0.60 c core #50 0.59/0.60 c Core size: 4 Core Weight: 1 Total Weight: -450 0.59/0.60 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 0.59/0.62 c core #51 0.59/0.62 c Core size: 4 Core Weight: 1 Total Weight: -449 0.59/0.62 c Elapsed CPU time: 0.611906 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #52 0.59/0.63 c Core size: 4 Core Weight: 1 Total Weight: -448 0.59/0.63 c Elapsed CPU time: 0.623905 s Remaining CPU time: 1799.38 s 0.59/0.64 c core #53 0.59/0.64 c Core size: 4 Core Weight: 1 Total Weight: -447 0.59/0.64 c Elapsed CPU time: 0.635903 s Remaining CPU time: 1799.36 s 0.59/0.65 c core #54 0.59/0.65 c Core size: 4 Core Weight: 1 Total Weight: -446 0.59/0.65 c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s 0.59/0.66 c core #55 0.59/0.66 c Core size: 4 Core Weight: 1 Total Weight: -445 0.59/0.66 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.59/0.68 c core #56 0.59/0.68 c Core size: 4 Core Weight: 1 Total Weight: -444 0.59/0.68 c Elapsed CPU time: 0.671897 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #57 0.59/0.69 c Core size: 4 Core Weight: 1 Total Weight: -443 0.59/0.69 c Elapsed CPU time: 0.683896 s Remaining CPU time: 1799.32 s 0.69/0.70 c core #58 0.69/0.70 c Core size: 4 Core Weight: 1 Total Weight: -442 0.69/0.70 c Elapsed CPU time: 0.695894 s Remaining CPU time: 1799.3 s 0.69/0.71 c core #59 0.69/0.71 c Core size: 4 Core Weight: 1 Total Weight: -441 0.69/0.71 c Elapsed CPU time: 0.708892 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #60 0.69/0.73 c Core size: 4 Core Weight: 1 Total Weight: -440 0.69/0.73 c Elapsed CPU time: 0.72089 s Remaining CPU time: 1799.28 s 0.69/0.74 c core #61 0.69/0.74 c Core size: 4 Core Weight: 1 Total Weight: -439 0.69/0.74 c Elapsed CPU time: 0.732888 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #62 0.69/0.75 c Core size: 4 Core Weight: 1 Total Weight: -438 0.69/0.75 c Elapsed CPU time: 0.744886 s Remaining CPU time: 1799.26 s 0.69/0.76 c core #63 0.69/0.76 c Core size: 4 Core Weight: 1 Total Weight: -437 0.69/0.76 c Elapsed CPU time: 0.756884 s Remaining CPU time: 1799.24 s 0.69/0.77 c core #64 0.69/0.77 c Core size: 4 Core Weight: 1 Total Weight: -436 0.69/0.77 c Elapsed CPU time: 0.769882 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #65 0.69/0.79 c Core size: 4 Core Weight: 1 Total Weight: -435 0.69/0.79 c Elapsed CPU time: 0.781881 s Remaining CPU time: 1799.22 s 0.79/0.80 c core #66 0.79/0.80 c Core size: 4 Core Weight: 1 Total Weight: -434 0.79/0.80 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.79/0.81 c core #67 0.79/0.81 c Core size: 4 Core Weight: 1 Total Weight: -433 0.79/0.81 c Elapsed CPU time: 0.805877 s Remaining CPU time: 1799.19 s 0.79/0.82 c core #68 0.79/0.82 c Core size: 4 Core Weight: 1 Total Weight: -432 0.79/0.82 c Elapsed CPU time: 0.817875 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #69 0.79/0.84 c Core size: 4 Core Weight: 1 Total Weight: -431 0.79/0.84 c Elapsed CPU time: 0.830873 s Remaining CPU time: 1799.17 s 0.79/0.85 c core #70 0.79/0.85 c Core size: 4 Core Weight: 1 Total Weight: -430 0.79/0.85 c Elapsed CPU time: 0.842871 s Remaining CPU time: 1799.16 s 0.79/0.86 c core #71 0.79/0.86 c Core size: 4 Core Weight: 1 Total Weight: -429 0.79/0.86 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 0.79/0.87 c core #72 0.79/0.87 c Core size: 4 Core Weight: 1 Total Weight: -428 0.79/0.87 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.88 c core #73 0.79/0.88 c Core size: 4 Core Weight: 1 Total Weight: -427 0.79/0.88 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.79/0.90 c core #74 0.79/0.90 c Core size: 4 Core Weight: 1 Total Weight: -426 0.79/0.90 c Elapsed CPU time: 0.889864 s Remaining CPU time: 1799.11 s 0.89/0.91 c core #75 0.89/0.91 c Core size: 4 Core Weight: 1 Total Weight: -425 0.89/0.91 c Elapsed CPU time: 0.900863 s Remaining CPU time: 1799.1 s 0.89/0.92 c core #76 0.89/0.92 c Core size: 4 Core Weight: 1 Total Weight: -424 0.89/0.92 c Elapsed CPU time: 0.913861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #77 0.89/0.93 c Core size: 4 Core Weight: 1 Total Weight: -423 0.89/0.93 c Elapsed CPU time: 0.925859 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #78 0.89/0.95 c Core size: 4 Core Weight: 1 Total Weight: -422 0.89/0.95 c Elapsed CPU time: 0.937857 s Remaining CPU time: 1799.06 s 0.89/0.96 c core #79 0.89/0.96 c Core size: 4 Core Weight: 1 Total Weight: -421 0.89/0.96 c Elapsed CPU time: 0.949855 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #80 0.89/0.97 c Core size: 4 Core Weight: 1 Total Weight: -420 0.89/0.97 c Elapsed CPU time: 0.961853 s Remaining CPU time: 1799.04 s 0.89/0.98 c core #81 0.89/0.98 c Core size: 4 Core Weight: 1 Total Weight: -419 0.89/0.98 c Elapsed CPU time: 0.973851 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #82 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: -418 0.89/0.99 c Elapsed CPU time: 0.98585 s Remaining CPU time: 1799.01 s 1.00/1.01 c core #83 1.00/1.01 c Core size: 4 Core Weight: 1 Total Weight: -417 1.00/1.01 c Elapsed CPU time: 0.998848 s Remaining CPU time: 1799 s 1.00/1.02 c core #84 1.00/1.02 c Core size: 4 Core Weight: 1 Total Weight: -416 1.00/1.02 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 1.00/1.03 c core #85 1.00/1.03 c Core size: 4 Core Weight: 1 Total Weight: -415 1.00/1.03 c Elapsed CPU time: 1.02184 s Remaining CPU time: 1798.98 s 1.00/1.04 c core #86 1.00/1.04 c Core size: 4 Core Weight: 1 Total Weight: -414 1.00/1.04 c Elapsed CPU time: 1.03384 s Remaining CPU time: 1798.97 s 1.00/1.06 c core #87 1.00/1.06 c Core size: 4 Core Weight: 1 Total Weight: -413 1.00/1.06 c Elapsed CPU time: 1.04584 s Remaining CPU time: 1798.95 s 1.00/1.07 c core #88 1.00/1.07 c Core size: 4 Core Weight: 1 Total Weight: -412 1.00/1.07 c Elapsed CPU time: 1.05784 s Remaining CPU time: 1798.94 s 1.00/1.08 c core #89 1.00/1.08 c Core size: 4 Core Weight: 1 Total Weight: -411 1.00/1.08 c Elapsed CPU time: 1.07084 s Remaining CPU time: 1798.93 s 1.00/1.09 c core #90 1.00/1.09 c Core size: 4 Core Weight: 1 Total Weight: -410 1.00/1.09 c Elapsed CPU time: 1.08283 s Remaining CPU time: 1798.92 s 1.09/1.11 c core #91 1.09/1.11 c Core size: 4 Core Weight: 1 Total Weight: -409 1.09/1.11 c Elapsed CPU time: 1.09483 s Remaining CPU time: 1798.91 s 1.09/1.12 c core #92 1.09/1.12 c Core size: 4 Core Weight: 1 Total Weight: -408 1.09/1.12 c Elapsed CPU time: 1.10583 s Remaining CPU time: 1798.89 s 1.09/1.13 c core #93 1.09/1.13 c Core size: 4 Core Weight: 1 Total Weight: -407 1.09/1.13 c Elapsed CPU time: 1.11783 s Remaining CPU time: 1798.88 s 1.09/1.14 c core #94 1.09/1.14 c Core size: 4 Core Weight: 1 Total Weight: -406 1.09/1.14 c Elapsed CPU time: 1.13083 s Remaining CPU time: 1798.87 s 1.09/1.16 c core #95 1.09/1.16 c Core size: 4 Core Weight: 1 Total Weight: -405 1.09/1.16 c Elapsed CPU time: 1.14283 s Remaining CPU time: 1798.86 s 1.09/1.17 c core #96 1.09/1.17 c Core size: 4 Core Weight: 1 Total Weight: -404 1.09/1.17 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.09/1.18 c core #97 1.09/1.18 c Core size: 4 Core Weight: 1 Total Weight: -403 1.09/1.18 c Elapsed CPU time: 1.16782 s Remaining CPU time: 1798.83 s 1.09/1.19 c core #98 1.09/1.19 c Core size: 4 Core Weight: 1 Total Weight: -402 1.09/1.19 c Elapsed CPU time: 1.17982 s Remaining CPU time: 1798.82 s 1.19/1.21 c core #99 1.19/1.21 c Core size: 4 Core Weight: 1 Total Weight: -401 1.19/1.21 c Elapsed CPU time: 1.19282 s Remaining CPU time: 1798.81 s 1.19/1.22 c core #100 1.19/1.22 c Core size: 4 Core Weight: 1 Total Weight: -400 1.19/1.22 c Elapsed CPU time: 1.20482 s Remaining CPU time: 1798.8 s 1.19/1.23 c core #101 1.19/1.23 c Core size: 4 Core Weight: 1 Total Weight: -399 1.19/1.23 c Elapsed CPU time: 1.21781 s Remaining CPU time: 1798.78 s 1.19/1.24 c core #102 1.19/1.24 c Core size: 4 Core Weight: 1 Total Weight: -398 1.19/1.24 c Elapsed CPU time: 1.22981 s Remaining CPU time: 1798.77 s 1.19/1.26 c core #103 1.19/1.26 c Core size: 4 Core Weight: 1 Total Weight: -397 1.19/1.26 c Elapsed CPU time: 1.24281 s Remaining CPU time: 1798.76 s 1.19/1.27 c core #104 1.19/1.27 c Core size: 4 Core Weight: 1 Total Weight: -396 1.19/1.27 c Elapsed CPU time: 1.25481 s Remaining CPU time: 1798.75 s 1.19/1.28 c core #105 1.19/1.28 c Core size: 4 Core Weight: 1 Total Weight: -395 1.19/1.28 c Elapsed CPU time: 1.26781 s Remaining CPU time: 1798.73 s 1.19/1.29 c core #106 1.19/1.29 c Core size: 4 Core Weight: 1 Total Weight: -394 1.19/1.29 c Elapsed CPU time: 1.27981 s Remaining CPU time: 1798.72 s 1.29/1.31 c core #107 1.29/1.31 c Core size: 4 Core Weight: 1 Total Weight: -393 1.29/1.31 c Elapsed CPU time: 1.2928 s Remaining CPU time: 1798.71 s 1.29/1.32 c core #108 1.29/1.32 c Core size: 4 Core Weight: 1 Total Weight: -392 1.29/1.32 c Elapsed CPU time: 1.3048 s Remaining CPU time: 1798.7 s 1.29/1.33 c core #109 1.29/1.33 c Core size: 4 Core Weight: 1 Total Weight: -391 1.29/1.33 c Elapsed CPU time: 1.3178 s Remaining CPU time: 1798.68 s 1.29/1.34 c core #110 1.29/1.34 c Core size: 4 Core Weight: 1 Total Weight: -390 1.29/1.34 c Elapsed CPU time: 1.3298 s Remaining CPU time: 1798.67 s 1.29/1.36 c core #111 1.29/1.36 c Core size: 4 Core Weight: 1 Total Weight: -389 1.29/1.36 c Elapsed CPU time: 1.34279 s Remaining CPU time: 1798.66 s 1.29/1.37 c core #112 1.29/1.37 c Core size: 4 Core Weight: 1 Total Weight: -388 1.29/1.37 c Elapsed CPU time: 1.35379 s Remaining CPU time: 1798.65 s 1.29/1.38 c core #113 1.29/1.38 c Core size: 4 Core Weight: 1 Total Weight: -387 1.29/1.38 c Elapsed CPU time: 1.36679 s Remaining CPU time: 1798.63 s 1.29/1.39 c core #114 1.29/1.39 c Core size: 4 Core Weight: 1 Total Weight: -386 1.29/1.39 c Elapsed CPU time: 1.37879 s Remaining CPU time: 1798.62 s 1.39/1.41 c core #115 1.39/1.41 c Core size: 4 Core Weight: 1 Total Weight: -385 1.39/1.41 c Elapsed CPU time: 1.39179 s Remaining CPU time: 1798.61 s 1.39/1.42 c core #116 1.39/1.42 c Core size: 4 Core Weight: 1 Total Weight: -384 1.39/1.42 c Elapsed CPU time: 1.40379 s Remaining CPU time: 1798.6 s 1.39/1.43 c core #117 1.39/1.43 c Core size: 4 Core Weight: 1 Total Weight: -383 1.39/1.43 c Elapsed CPU time: 1.41678 s Remaining CPU time: 1798.58 s 1.39/1.44 c core #118 1.39/1.44 c Core size: 4 Core Weight: 1 Total Weight: -382 1.39/1.44 c Elapsed CPU time: 1.42978 s Remaining CPU time: 1798.57 s 1.39/1.46 c core #119 1.39/1.46 c Core size: 4 Core Weight: 1 Total Weight: -381 1.39/1.46 c Elapsed CPU time: 1.44178 s Remaining CPU time: 1798.56 s 1.39/1.47 c core #120 1.39/1.47 c Core size: 4 Core Weight: 1 Total Weight: -380 1.39/1.47 c Elapsed CPU time: 1.45478 s Remaining CPU time: 1798.55 s 1.39/1.48 c core #121 1.39/1.48 c Core size: 4 Core Weight: 1 Total Weight: -379 1.39/1.48 c Elapsed CPU time: 1.46778 s Remaining CPU time: 1798.53 s 1.39/1.49 c core #122 1.39/1.49 c Core size: 4 Core Weight: 1 Total Weight: -378 1.39/1.49 c Elapsed CPU time: 1.47978 s Remaining CPU time: 1798.52 s 1.49/1.51 c core #123 1.49/1.51 c Core size: 4 Core Weight: 1 Total Weight: -377 1.49/1.51 c Elapsed CPU time: 1.49277 s Remaining CPU time: 1798.51 s 1.49/1.52 c core #124 1.49/1.52 c Core size: 4 Core Weight: 1 Total Weight: -376 1.49/1.52 c Elapsed CPU time: 1.50577 s Remaining CPU time: 1798.49 s 1.49/1.53 c core #125 1.49/1.53 c Core size: 4 Core Weight: 1 Total Weight: -375 1.49/1.53 c Elapsed CPU time: 1.51677 s Remaining CPU time: 1798.48 s 1.49/1.54 c core #126 1.49/1.54 c Core size: 4 Core Weight: 1 Total Weight: -374 1.49/1.54 c Elapsed CPU time: 1.52977 s Remaining CPU time: 1798.47 s 1.49/1.56 c core #127 1.49/1.56 c Core size: 4 Core Weight: 1 Total Weight: -373 1.49/1.56 c Elapsed CPU time: 1.54177 s Remaining CPU time: 1798.46 s 1.49/1.57 c core #128 1.49/1.57 c Core size: 4 Core Weight: 1 Total Weight: -372 1.49/1.57 c Elapsed CPU time: 1.55276 s Remaining CPU time: 1798.45 s 1.49/1.58 c core #129 1.49/1.58 c Core size: 4 Core Weight: 1 Total Weight: -371 1.49/1.58 c Elapsed CPU time: 1.56576 s Remaining CPU time: 1798.43 s 1.49/1.60 c core #130 1.49/1.60 c Core size: 4 Core Weight: 1 Total Weight: -370 1.49/1.60 c Elapsed CPU time: 1.57776 s Remaining CPU time: 1798.42 s 1.59/1.61 c core #131 1.59/1.61 c Core size: 4 Core Weight: 1 Total Weight: -369 1.59/1.61 c Elapsed CPU time: 1.59076 s Remaining CPU time: 1798.41 s 1.59/1.62 c core #132 1.59/1.62 c Core size: 4 Core Weight: 1 Total Weight: -368 1.59/1.62 c Elapsed CPU time: 1.60376 s Remaining CPU time: 1798.4 s 1.59/1.63 c core #133 1.59/1.63 c Core size: 4 Core Weight: 1 Total Weight: -367 1.59/1.63 c Elapsed CPU time: 1.61675 s Remaining CPU time: 1798.38 s 1.59/1.65 c core #134 1.59/1.65 c Core size: 4 Core Weight: 1 Total Weight: -366 1.59/1.65 c Elapsed CPU time: 1.62975 s Remaining CPU time: 1798.37 s 1.59/1.66 c core #135 1.59/1.66 c Core size: 4 Core Weight: 1 Total Weight: -365 1.59/1.66 c Elapsed CPU time: 1.64275 s Remaining CPU time: 1798.36 s 1.59/1.67 c core #136 1.59/1.67 c Core size: 4 Core Weight: 1 Total Weight: -364 1.59/1.67 c Elapsed CPU time: 1.65475 s Remaining CPU time: 1798.35 s 1.59/1.68 c core #137 1.59/1.68 c Core size: 4 Core Weight: 1 Total Weight: -363 1.59/1.68 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.59/1.70 c core #138 1.59/1.70 c Core size: 4 Core Weight: 1 Total Weight: -362 1.59/1.70 c Elapsed CPU time: 1.67674 s Remaining CPU time: 1798.32 s 1.69/1.71 c core #139 1.69/1.71 c Core size: 4 Core Weight: 1 Total Weight: -361 1.69/1.71 c Elapsed CPU time: 1.68774 s Remaining CPU time: 1798.31 s 1.69/1.72 c core #140 1.69/1.72 c Core size: 4 Core Weight: 1 Total Weight: -360 1.69/1.72 c Elapsed CPU time: 1.70074 s Remaining CPU time: 1798.3 s 1.69/1.73 c core #141 1.69/1.73 c Core size: 4 Core Weight: 1 Total Weight: -359 1.69/1.73 c Elapsed CPU time: 1.71274 s Remaining CPU time: 1798.29 s 1.69/1.75 c core #142 1.69/1.75 c Core size: 4 Core Weight: 1 Total Weight: -358 1.69/1.75 c Elapsed CPU time: 1.72474 s Remaining CPU time: 1798.28 s 1.69/1.76 c core #143 1.69/1.76 c Core size: 4 Core Weight: 1 Total Weight: -357 1.69/1.76 c Elapsed CPU time: 1.73673 s Remaining CPU time: 1798.26 s 1.69/1.77 c core #144 1.69/1.77 c Core size: 4 Core Weight: 1 Total Weight: -356 1.69/1.77 c Elapsed CPU time: 1.74873 s Remaining CPU time: 1798.25 s 1.69/1.79 c core #145 1.69/1.79 c Core size: 4 Core Weight: 1 Total Weight: -355 1.69/1.79 c Elapsed CPU time: 1.76173 s Remaining CPU time: 1798.24 s 1.79/1.80 c core #146 1.79/1.80 c Core size: 4 Core Weight: 1 Total Weight: -354 1.79/1.80 c Elapsed CPU time: 1.77373 s Remaining CPU time: 1798.23 s 1.79/1.81 c core #147 1.79/1.81 c Core size: 4 Core Weight: 1 Total Weight: -353 1.79/1.81 c Elapsed CPU time: 1.78673 s Remaining CPU time: 1798.21 s 1.79/1.82 c core #148 1.79/1.82 c Core size: 4 Core Weight: 1 Total Weight: -352 1.79/1.82 c Elapsed CPU time: 1.79973 s Remaining CPU time: 1798.2 s 1.79/1.84 c core #149 1.79/1.84 c Core size: 4 Core Weight: 1 Total Weight: -351 1.79/1.84 c Elapsed CPU time: 1.81172 s Remaining CPU time: 1798.19 s 1.79/1.85 c core #150 1.79/1.85 c Core size: 4 Core Weight: 1 Total Weight: -350 1.79/1.85 c Elapsed CPU time: 1.82472 s Remaining CPU time: 1798.18 s 1.79/1.86 c core #151 1.79/1.86 c Core size: 4 Core Weight: 1 Total Weight: -349 1.79/1.86 c Elapsed CPU time: 1.83772 s Remaining CPU time: 1798.16 s 1.79/1.87 c core #152 1.79/1.87 c Core size: 4 Core Weight: 1 Total Weight: -348 1.79/1.87 c Elapsed CPU time: 1.84972 s Remaining CPU time: 1798.15 s 1.79/1.89 c core #153 1.79/1.89 c Core size: 4 Core Weight: 1 Total Weight: -347 1.79/1.89 c Elapsed CPU time: 1.86272 s Remaining CPU time: 1798.14 s 1.89/1.90 c core #154 1.89/1.90 c Core size: 4 Core Weight: 1 Total Weight: -346 1.89/1.90 c Elapsed CPU time: 1.87472 s Remaining CPU time: 1798.13 s 1.89/1.91 c core #155 1.89/1.91 c Core size: 4 Core Weight: 1 Total Weight: -345 1.89/1.91 c Elapsed CPU time: 1.88771 s Remaining CPU time: 1798.11 s 1.89/1.93 c core #156 1.89/1.93 c Core size: 4 Core Weight: 1 Total Weight: -344 1.89/1.93 c Elapsed CPU time: 1.90071 s Remaining CPU time: 1798.1 s 1.89/1.94 c core #157 1.89/1.94 c Core size: 4 Core Weight: 1 Total Weight: -343 1.89/1.94 c Elapsed CPU time: 1.91371 s Remaining CPU time: 1798.09 s 1.89/1.95 c core #158 1.89/1.95 c Core size: 4 Core Weight: 1 Total Weight: -342 1.89/1.95 c Elapsed CPU time: 1.92571 s Remaining CPU time: 1798.07 s 1.89/1.96 c core #159 1.89/1.96 c Core size: 4 Core Weight: 1 Total Weight: -341 1.89/1.96 c Elapsed CPU time: 1.93871 s Remaining CPU time: 1798.06 s 1.89/1.98 c core #160 1.89/1.98 c Core size: 4 Core Weight: 1 Total Weight: -340 1.89/1.98 c Elapsed CPU time: 1.9517 s Remaining CPU time: 1798.05 s 1.89/1.99 c core #161 1.89/1.99 c Core size: 4 Core Weight: 1 Total Weight: -339 1.89/1.99 c Elapsed CPU time: 1.9647 s Remaining CPU time: 1798.04 s 1.99/2.00 c core #162 1.99/2.00 c Core size: 4 Core Weight: 1 Total Weight: -338 1.99/2.00 c Elapsed CPU time: 1.9777 s Remaining CPU time: 1798.02 s 1.99/2.02 c core #163 1.99/2.02 c Core size: 4 Core Weight: 1 Total Weight: -337 1.99/2.02 c Elapsed CPU time: 1.9907 s Remaining CPU time: 1798.01 s 1.99/2.03 c core #164 1.99/2.03 c Core size: 4 Core Weight: 1 Total Weight: -336 1.99/2.03 c Elapsed CPU time: 2.0027 s Remaining CPU time: 1798 s 1.99/2.04 c core #165 1.99/2.04 c Core size: 4 Core Weight: 1 Total Weight: -335 1.99/2.04 c Elapsed CPU time: 2.01569 s Remaining CPU time: 1797.98 s 1.99/2.06 c core #166 1.99/2.06 c Core size: 4 Core Weight: 1 Total Weight: -334 1.99/2.06 c Elapsed CPU time: 2.02869 s Remaining CPU time: 1797.97 s 1.99/2.07 c core #167 1.99/2.07 c Core size: 4 Core Weight: 1 Total Weight: -333 1.99/2.07 c Elapsed CPU time: 2.04169 s Remaining CPU time: 1797.96 s 1.99/2.08 c core #168 1.99/2.08 c Core size: 4 Core Weight: 1 Total Weight: -332 1.99/2.08 c Elapsed CPU time: 2.05469 s Remaining CPU time: 1797.95 s 1.99/2.09 c core #169 1.99/2.09 c Core size: 4 Core Weight: 1 Total Weight: -331 1.99/2.09 c Elapsed CPU time: 2.06768 s Remaining CPU time: 1797.93 s 2.09/2.11 c core #170 2.09/2.11 c Core size: 4 Core Weight: 1 Total Weight: -330 2.09/2.11 c Elapsed CPU time: 2.07968 s Remaining CPU time: 1797.92 s 2.09/2.12 c core #171 2.09/2.12 c Core size: 4 Core Weight: 1 Total Weight: -329 2.09/2.12 c Elapsed CPU time: 2.09268 s Remaining CPU time: 1797.91 s 2.09/2.13 c core #172 2.09/2.13 c Core size: 4 Core Weight: 1 Total Weight: -328 2.09/2.13 c Elapsed CPU time: 2.10468 s Remaining CPU time: 1797.9 s 2.09/2.15 c core #173 2.09/2.15 c Core size: 4 Core Weight: 1 Total Weight: -327 2.09/2.15 c Elapsed CPU time: 2.11768 s Remaining CPU time: 1797.88 s 2.09/2.16 c core #174 2.09/2.16 c Core size: 4 Core Weight: 1 Total Weight: -326 2.09/2.16 c Elapsed CPU time: 2.13068 s Remaining CPU time: 1797.87 s 2.09/2.17 c core #175 2.09/2.17 c Core size: 4 Core Weight: 1 Total Weight: -325 2.09/2.17 c Elapsed CPU time: 2.14267 s Remaining CPU time: 1797.86 s 2.09/2.19 c core #176 2.09/2.19 c Core size: 4 Core Weight: 1 Total Weight: -324 2.09/2.19 c Elapsed CPU time: 2.15467 s Remaining CPU time: 1797.85 s 2.09/2.20 c core #177 2.09/2.20 c Core size: 4 Core Weight: 1 Total Weight: -323 2.09/2.20 c Elapsed CPU time: 2.16767 s Remaining CPU time: 1797.83 s 2.19/2.21 c core #178 2.19/2.21 c Core size: 4 Core Weight: 1 Total Weight: -322 2.19/2.21 c Elapsed CPU time: 2.17967 s Remaining CPU time: 1797.82 s 2.19/2.22 c core #179 2.19/2.22 c Core size: 4 Core Weight: 1 Total Weight: -321 2.19/2.22 c Elapsed CPU time: 2.19267 s Remaining CPU time: 1797.81 s 2.19/2.24 c core #180 2.19/2.24 c Core size: 4 Core Weight: 1 Total Weight: -320 2.19/2.24 c Elapsed CPU time: 2.20666 s Remaining CPU time: 1797.79 s 2.19/2.25 c core #181 2.19/2.25 c Core size: 4 Core Weight: 1 Total Weight: -319 2.19/2.25 c Elapsed CPU time: 2.21866 s Remaining CPU time: 1797.78 s 2.19/2.26 c core #182 2.19/2.26 c Core size: 4 Core Weight: 1 Total Weight: -318 2.19/2.26 c Elapsed CPU time: 2.23166 s Remaining CPU time: 1797.77 s 2.19/2.28 c core #183 2.19/2.28 c Core size: 4 Core Weight: 1 Total Weight: -317 2.19/2.28 c Elapsed CPU time: 2.24566 s Remaining CPU time: 1797.75 s 2.19/2.29 c core #184 2.19/2.29 c Core size: 4 Core Weight: 1 Total Weight: -316 2.19/2.29 c Elapsed CPU time: 2.25766 s Remaining CPU time: 1797.74 s 2.29/2.30 c core #185 2.29/2.30 c Core size: 4 Core Weight: 1 Total Weight: -315 2.29/2.30 c Elapsed CPU time: 2.26965 s Remaining CPU time: 1797.73 s 2.29/2.32 c core #186 2.29/2.32 c Core size: 4 Core Weight: 1 Total Weight: -314 2.29/2.32 c Elapsed CPU time: 2.28365 s Remaining CPU time: 1797.72 s 2.29/2.33 c core #187 2.29/2.33 c Core size: 4 Core Weight: 1 Total Weight: -313 2.29/2.33 c Elapsed CPU time: 2.29665 s Remaining CPU time: 1797.7 s 2.29/2.34 c core #188 2.29/2.34 c Core size: 4 Core Weight: 1 Total Weight: -312 2.29/2.34 c Elapsed CPU time: 2.30965 s Remaining CPU time: 1797.69 s 2.29/2.36 c core #189 2.29/2.36 c Core size: 4 Core Weight: 1 Total Weight: -311 2.29/2.36 c Elapsed CPU time: 2.32265 s Remaining CPU time: 1797.68 s 2.29/2.37 c core #190 2.29/2.37 c Core size: 4 Core Weight: 1 Total Weight: -310 2.29/2.37 c Elapsed CPU time: 2.33664 s Remaining CPU time: 1797.66 s 2.29/2.38 c core #191 2.29/2.38 c Core size: 4 Core Weight: 1 Total Weight: -309 2.29/2.38 c Elapsed CPU time: 2.34964 s Remaining CPU time: 1797.65 s 2.39/2.40 c core #192 2.39/2.40 c Core size: 4 Core Weight: 1 Total Weight: -308 2.39/2.40 c Elapsed CPU time: 2.36264 s Remaining CPU time: 1797.64 s 2.39/2.41 c core #193 2.39/2.41 c Core size: 4 Core Weight: 1 Total Weight: -307 2.39/2.41 c Elapsed CPU time: 2.37664 s Remaining CPU time: 1797.62 s 2.39/2.42 c core #194 2.39/2.42 c Core size: 4 Core Weight: 1 Total Weight: -306 2.39/2.42 c Elapsed CPU time: 2.38864 s Remaining CPU time: 1797.61 s 2.39/2.44 c core #195 2.39/2.44 c Core size: 4 Core Weight: 1 Total Weight: -305 2.39/2.44 c Elapsed CPU time: 2.40263 s Remaining CPU time: 1797.6 s 2.39/2.45 c core #196 2.39/2.45 c Core size: 4 Core Weight: 1 Total Weight: -304 2.39/2.45 c Elapsed CPU time: 2.41563 s Remaining CPU time: 1797.58 s 2.39/2.47 c core #197 2.39/2.47 c Core size: 4 Core Weight: 1 Total Weight: -303 2.39/2.47 c Elapsed CPU time: 2.42963 s Remaining CPU time: 1797.57 s 2.39/2.48 c core #198 2.39/2.48 c Core size: 4 Core Weight: 1 Total Weight: -302 2.39/2.48 c Elapsed CPU time: 2.44263 s Remaining CPU time: 1797.56 s 2.39/2.49 c core #199 2.39/2.49 c Core size: 4 Core Weight: 1 Total Weight: -301 2.39/2.49 c Elapsed CPU time: 2.45463 s Remaining CPU time: 1797.55 s 2.49/2.51 c core #200 2.49/2.51 c Core size: 4 Core Weight: 1 Total Weight: -300 2.49/2.51 c Elapsed CPU time: 2.46862 s Remaining CPU time: 1797.53 s 2.49/2.52 c core #201 2.49/2.52 c Core size: 4 Core Weight: 1 Total Weight: -299 2.49/2.52 c Elapsed CPU time: 2.48162 s Remaining CPU time: 1797.52 s 2.49/2.53 c core #202 2.49/2.53 c Core size: 4 Core Weight: 1 Total Weight: -298 2.49/2.53 c Elapsed CPU time: 2.49462 s Remaining CPU time: 1797.51 s 2.49/2.55 c core #203 2.49/2.55 c Core size: 4 Core Weight: 1 Total Weight: -297 2.49/2.55 c Elapsed CPU time: 2.50762 s Remaining CPU time: 1797.49 s 2.49/2.56 c core #204 2.49/2.56 c Core size: 4 Core Weight: 1 Total Weight: -296 2.49/2.56 c Elapsed CPU time: 2.52062 s Remaining CPU time: 1797.48 s 2.49/2.57 c core #205 2.49/2.57 c Core size: 4 Core Weight: 1 Total Weight: -295 2.49/2.57 c Elapsed CPU time: 2.53461 s Remaining CPU time: 1797.47 s 2.49/2.59 c core #206 2.49/2.59 c Core size: 4 Core Weight: 1 Total Weight: -294 2.49/2.59 c Elapsed CPU time: 2.54761 s Remaining CPU time: 1797.45 s 2.59/2.60 c core #207 2.59/2.60 c Core size: 4 Core Weight: 1 Total Weight: -293 2.59/2.60 c Elapsed CPU time: 2.56061 s Remaining CPU time: 1797.44 s 2.59/2.61 c core #208 2.59/2.61 c Core size: 4 Core Weight: 1 Total Weight: -292 2.59/2.61 c Elapsed CPU time: 2.57361 s Remaining CPU time: 1797.43 s 2.59/2.63 c core #209 2.59/2.63 c Core size: 4 Core Weight: 1 Total Weight: -291 2.59/2.63 c Elapsed CPU time: 2.58661 s Remaining CPU time: 1797.41 s 2.59/2.64 c core #210 2.59/2.64 c Core size: 4 Core Weight: 1 Total Weight: -290 2.59/2.64 c Elapsed CPU time: 2.6006 s Remaining CPU time: 1797.4 s 2.59/2.65 c core #211 2.59/2.65 c Core size: 4 Core Weight: 1 Total Weight: -289 2.59/2.65 c Elapsed CPU time: 2.6146 s Remaining CPU time: 1797.39 s 2.59/2.67 c core #212 2.59/2.67 c Core size: 4 Core Weight: 1 Total Weight: -288 2.59/2.67 c Elapsed CPU time: 2.6276 s Remaining CPU time: 1797.37 s 2.59/2.68 c core #213 2.59/2.68 c Core size: 4 Core Weight: 1 Total Weight: -287 2.59/2.68 c Elapsed CPU time: 2.6416 s Remaining CPU time: 1797.36 s 2.59/2.69 c core #214 2.59/2.69 c Core size: 4 Core Weight: 1 Total Weight: -286 2.59/2.69 c Elapsed CPU time: 2.6546 s Remaining CPU time: 1797.35 s 2.69/2.71 c core #215 2.69/2.71 c Core size: 4 Core Weight: 1 Total Weight: -285 2.69/2.71 c Elapsed CPU time: 2.66759 s Remaining CPU time: 1797.33 s 2.69/2.72 c core #216 2.69/2.72 c Core size: 4 Core Weight: 1 Total Weight: -284 2.69/2.72 c Elapsed CPU time: 2.68159 s Remaining CPU time: 1797.32 s 2.69/2.74 c core #217 2.69/2.74 c Core size: 4 Core Weight: 1 Total Weight: -283 2.69/2.74 c Elapsed CPU time: 2.69359 s Remaining CPU time: 1797.31 s 2.69/2.75 c core #218 2.69/2.75 c Core size: 4 Core Weight: 1 Total Weight: -282 2.69/2.75 c Elapsed CPU time: 2.70759 s Remaining CPU time: 1797.29 s 2.69/2.76 c core #219 2.69/2.76 c Core size: 4 Core Weight: 1 Total Weight: -281 2.69/2.76 c Elapsed CPU time: 2.72059 s Remaining CPU time: 1797.28 s 2.69/2.78 c core #220 2.69/2.78 c Core size: 4 Core Weight: 1 Total Weight: -280 2.69/2.78 c Elapsed CPU time: 2.73358 s Remaining CPU time: 1797.27 s 2.69/2.79 c core #221 2.69/2.79 c Core size: 4 Core Weight: 1 Total Weight: -279 2.69/2.79 c Elapsed CPU time: 2.74658 s Remaining CPU time: 1797.25 s 2.79/2.80 c core #222 2.79/2.80 c Core size: 4 Core Weight: 1 Total Weight: -278 2.79/2.80 c Elapsed CPU time: 2.76058 s Remaining CPU time: 1797.24 s 2.79/2.82 c core #223 2.79/2.82 c Core size: 4 Core Weight: 1 Total Weight: -277 2.79/2.82 c Elapsed CPU time: 2.77358 s Remaining CPU time: 1797.23 s 2.79/2.83 c core #224 2.79/2.83 c Core size: 4 Core Weight: 1 Total Weight: -276 2.79/2.83 c Elapsed CPU time: 2.78758 s Remaining CPU time: 1797.21 s 2.79/2.84 c core #225 2.79/2.84 c Core size: 4 Core Weight: 1 Total Weight: -275 2.79/2.84 c Elapsed CPU time: 2.80057 s Remaining CPU time: 1797.2 s 2.79/2.86 c core #226 2.79/2.86 c Core size: 4 Core Weight: 1 Total Weight: -274 2.79/2.86 c Elapsed CPU time: 2.81457 s Remaining CPU time: 1797.19 s 2.79/2.87 c core #227 2.79/2.87 c Core size: 4 Core Weight: 1 Total Weight: -273 2.79/2.87 c Elapsed CPU time: 2.82857 s Remaining CPU time: 1797.17 s 2.79/2.88 c core #228 2.79/2.88 c Core size: 4 Core Weight: 1 Total Weight: -272 2.79/2.88 c Elapsed CPU time: 2.84257 s Remaining CPU time: 1797.16 s 2.89/2.90 c core #229 2.89/2.90 c Core size: 4 Core Weight: 1 Total Weight: -271 2.89/2.90 c Elapsed CPU time: 2.85556 s Remaining CPU time: 1797.14 s 2.89/2.91 c core #230 2.89/2.91 c Core size: 4 Core Weight: 1 Total Weight: -270 2.89/2.91 c Elapsed CPU time: 2.86956 s Remaining CPU time: 1797.13 s 2.89/2.93 c core #231 2.89/2.93 c Core size: 4 Core Weight: 1 Total Weight: -269 2.89/2.93 c Elapsed CPU time: 2.88356 s Remaining CPU time: 1797.12 s 2.89/2.94 c core #232 2.89/2.94 c Core size: 4 Core Weight: 1 Total Weight: -268 2.89/2.94 c Elapsed CPU time: 2.89656 s Remaining CPU time: 1797.1 s 2.89/2.95 c core #233 2.89/2.95 c Core size: 9 Core Weight: 1 Total Weight: -267 2.89/2.95 c Elapsed CPU time: 2.91056 s Remaining CPU time: 1797.09 s 2.89/2.97 c core #234 2.89/2.97 c Core size: 9 Core Weight: 1 Total Weight: -266 2.89/2.97 c Elapsed CPU time: 2.92455 s Remaining CPU time: 1797.08 s 2.89/2.98 c core #235 2.89/2.98 c Core size: 9 Core Weight: 1 Total Weight: -265 2.89/2.98 c Elapsed CPU time: 2.93855 s Remaining CPU time: 1797.06 s 2.89/2.99 c core #236 2.89/2.99 c Core size: 9 Core Weight: 1 Total Weight: -264 2.89/2.99 c Elapsed CPU time: 2.95155 s Remaining CPU time: 1797.05 s 2.99/3.01 c core #237 2.99/3.01 c Core size: 9 Core Weight: 1 Total Weight: -263 2.99/3.01 c Elapsed CPU time: 2.96555 s Remaining CPU time: 1797.03 s 2.99/3.02 c core #238 2.99/3.02 c Core size: 9 Core Weight: 1 Total Weight: -262 2.99/3.02 c Elapsed CPU time: 2.97955 s Remaining CPU time: 1797.02 s 2.99/3.04 c core #239 2.99/3.04 c Core size: 14 Core Weight: 1 Total Weight: -261 2.99/3.04 c Elapsed CPU time: 2.99254 s Remaining CPU time: 1797.01 s 2.99/3.05 c core #240 2.99/3.05 c Core size: 9 Core Weight: 1 Total Weight: -260 2.99/3.05 c Elapsed CPU time: 3.00654 s Remaining CPU time: 1796.99 s 2.99/3.07 c core #241 2.99/3.07 c Core size: 9 Core Weight: 1 Total Weight: -259 2.99/3.07 c Elapsed CPU time: 3.02054 s Remaining CPU time: 1796.98 s 2.99/3.08 c core #242 2.99/3.08 c Core size: 9 Core Weight: 1 Total Weight: -258 2.99/3.08 c Elapsed CPU time: 3.03254 s Remaining CPU time: 1796.97 s 2.99/3.09 c core #243 2.99/3.09 c Core size: 9 Core Weight: 1 Total Weight: -257 2.99/3.09 c Elapsed CPU time: 3.04554 s Remaining CPU time: 1796.95 s 3.09/3.11 c core #244 3.09/3.11 c Core size: 14 Core Weight: 1 Total Weight: -256 3.09/3.11 c Elapsed CPU time: 3.05953 s Remaining CPU time: 1796.94 s 3.09/3.12 c core #245 3.09/3.12 c Core size: 24 Core Weight: 1 Total Weight: -255 3.09/3.12 c Elapsed CPU time: 3.07153 s Remaining CPU time: 1796.93 s 3.09/3.13 c core #246 3.09/3.13 c Core size: 9 Core Weight: 1 Total Weight: -254 3.09/3.13 c Elapsed CPU time: 3.08553 s Remaining CPU time: 1796.91 s 3.09/3.15 c core #247 3.09/3.15 c Core size: 19 Core Weight: 1 Total Weight: -253 3.09/3.15 c Elapsed CPU time: 3.09853 s Remaining CPU time: 1796.9 s 3.09/3.16 c core #248 3.09/3.16 c Core size: 19 Core Weight: 1 Total Weight: -252 3.09/3.16 c Elapsed CPU time: 3.11253 s Remaining CPU time: 1796.89 s 3.09/3.17 c core #249 3.09/3.17 c Core size: 19 Core Weight: 1 Total Weight: -251 3.09/3.17 c Elapsed CPU time: 3.12652 s Remaining CPU time: 1796.87 s 3.09/3.19 c core #250 3.09/3.19 c Core size: 24 Core Weight: 1 Total Weight: -250 3.09/3.19 c Elapsed CPU time: 3.13952 s Remaining CPU time: 1796.86 s 3.20/3.20 c ============================[ Search Statistics ]============================== 3.20/3.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.20 c =============================================================================== 3.20/3.20 c | 0 | 1064 8020 16713 | 5000 0 nan | 0.000 % | 3.20/3.20 c =============================================================================== 3.20/3.20 c core #251 3.20/3.20 c Core size: 27 Core Weight: 1 Total Weight: -249 3.20/3.20 c Elapsed CPU time: 3.15352 s Remaining CPU time: 1796.85 s 3.20/3.22 c ============================[ Search Statistics ]============================== 3.20/3.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.22 c =============================================================================== 3.20/3.22 c | 0 | 1074 8021 16733 | 5000 0 nan | 0.000 % | 3.20/3.22 c =============================================================================== 3.20/3.22 c core #252 3.20/3.22 c Core size: 27 Core Weight: 1 Total Weight: -248 3.20/3.22 c Elapsed CPU time: 3.16752 s Remaining CPU time: 1796.83 s 3.20/3.23 c ============================[ Search Statistics ]============================== 3.20/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.23 c =============================================================================== 3.20/3.23 c | 0 | 1084 8022 16753 | 5000 0 nan | 0.000 % | 3.20/3.23 c =============================================================================== 3.20/3.23 c core #253 3.20/3.23 c Core size: 89 Core Weight: 1 Total Weight: -247 3.20/3.23 c Elapsed CPU time: 3.18252 s Remaining CPU time: 1796.82 s 3.20/3.24 c ============================[ Search Statistics ]============================== 3.20/3.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.24 c =============================================================================== 3.20/3.24 c | 0 | 1116 8023 16817 | 5000 0 nan | 0.000 % | 3.20/3.25 c =============================================================================== 3.20/3.25 c core #254 3.20/3.25 c Core size: 27 Core Weight: 1 Total Weight: -246 3.20/3.25 c Elapsed CPU time: 3.19851 s Remaining CPU time: 1796.8 s 3.20/3.26 c ============================[ Search Statistics ]============================== 3.20/3.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.26 c =============================================================================== 3.20/3.26 c | 0 | 1126 8024 16837 | 5000 0 nan | 0.000 % | 3.20/3.26 c =============================================================================== 3.20/3.26 c core #255 3.20/3.26 c Core size: 16 Core Weight: 1 Total Weight: -245 3.20/3.26 c Elapsed CPU time: 3.21251 s Remaining CPU time: 1796.79 s 3.20/3.27 c ============================[ Search Statistics ]============================== 3.20/3.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.27 c =============================================================================== 3.20/3.27 c | 0 | 1132 8025 16849 | 5000 0 nan | 0.000 % | 3.20/3.28 c =============================================================================== 3.20/3.28 c core #256 3.20/3.28 c Core size: 32 Core Weight: 1 Total Weight: -244 3.20/3.28 c Elapsed CPU time: 3.22751 s Remaining CPU time: 1796.77 s 3.20/3.29 c ============================[ Search Statistics ]============================== 3.20/3.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.29 c =============================================================================== 3.20/3.29 c | 0 | 1144 8026 16873 | 5000 0 nan | 0.000 % | 3.20/3.29 c =============================================================================== 3.20/3.29 c core #257 3.20/3.29 c Core size: 26 Core Weight: 1 Total Weight: -243 3.20/3.29 c Elapsed CPU time: 3.24251 s Remaining CPU time: 1796.76 s 3.30/3.30 c ============================[ Search Statistics ]============================== 3.30/3.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.30 c =============================================================================== 3.30/3.30 c | 0 | 1154 8027 16893 | 5000 0 nan | 0.000 % | 3.30/3.31 c =============================================================================== 3.30/3.31 c core #258 3.30/3.31 c Core size: 37 Core Weight: 1 Total Weight: -242 3.30/3.31 c Elapsed CPU time: 3.2575 s Remaining CPU time: 1796.74 s 3.30/3.32 c ============================[ Search Statistics ]============================== 3.30/3.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.32 c =============================================================================== 3.30/3.32 c | 0 | 1168 8028 16921 | 5000 0 nan | 0.000 % | 3.30/3.32 c =============================================================================== 3.30/3.32 c core #259 3.30/3.32 c Core size: 31 Core Weight: 1 Total Weight: -241 3.30/3.32 c Elapsed CPU time: 3.2725 s Remaining CPU time: 1796.73 s 3.30/3.33 c ============================[ Search Statistics ]============================== 3.30/3.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.33 c =============================================================================== 3.30/3.33 c | 0 | 1180 8029 16945 | 5000 0 nan | 0.000 % | 3.30/3.33 c =============================================================================== 3.30/3.33 c core #260 3.30/3.33 c Core size: 26 Core Weight: 1 Total Weight: -240 3.30/3.33 c Elapsed CPU time: 3.2855 s Remaining CPU time: 1796.71 s 3.30/3.35 c ============================[ Search Statistics ]============================== 3.30/3.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.35 c =============================================================================== 3.30/3.35 c | 0 | 1190 8030 16965 | 5000 0 nan | 0.000 % | 3.30/3.35 c =============================================================================== 3.30/3.35 c core #261 3.30/3.35 c Core size: 31 Core Weight: 1 Total Weight: -239 3.30/3.35 c Elapsed CPU time: 3.2995 s Remaining CPU time: 1796.7 s 3.30/3.36 c ============================[ Search Statistics ]============================== 3.30/3.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.36 c =============================================================================== 3.30/3.36 c | 0 | 1202 8031 16989 | 5000 0 nan | 0.000 % | 3.30/3.36 c =============================================================================== 3.30/3.36 c core #262 3.30/3.36 c Core size: 25 Core Weight: 1 Total Weight: -238 3.30/3.36 c Elapsed CPU time: 3.3145 s Remaining CPU time: 1796.69 s 3.30/3.38 c ============================[ Search Statistics ]============================== 3.30/3.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.38 c =============================================================================== 3.30/3.38 c | 0 | 1212 8032 17009 | 5000 0 nan | 0.000 % | 3.30/3.38 c =============================================================================== 3.30/3.38 c core #263 3.30/3.38 c Core size: 20 Core Weight: 1 Total Weight: -237 3.30/3.38 c Elapsed CPU time: 3.32849 s Remaining CPU time: 1796.67 s 3.30/3.39 c ============================[ Search Statistics ]============================== 3.30/3.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.30/3.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.30/3.39 c =============================================================================== 3.30/3.39 c | 0 | 1220 8033 17025 | 5000 0 nan | 0.000 % | 3.30/3.39 c =============================================================================== 3.30/3.39 c core #264 3.30/3.39 c Core size: 42 Core Weight: 1 Total Weight: -236 3.30/3.39 c Elapsed CPU time: 3.34249 s Remaining CPU time: 1796.66 s 3.39/3.41 c ============================[ Search Statistics ]============================== 3.39/3.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.41 c =============================================================================== 3.39/3.41 c | 0 | 1236 8034 17057 | 5000 0 nan | 0.000 % | 3.39/3.41 c =============================================================================== 3.39/3.41 c core #265 3.39/3.41 c Core size: 37 Core Weight: 1 Total Weight: -235 3.39/3.41 c Elapsed CPU time: 3.35749 s Remaining CPU time: 1796.64 s 3.39/3.42 c ============================[ Search Statistics ]============================== 3.39/3.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.42 c =============================================================================== 3.39/3.42 c | 0 | 1250 8035 17085 | 5000 0 nan | 0.000 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c core #266 3.39/3.42 c Core size: 31 Core Weight: 1 Total Weight: -234 3.39/3.42 c Elapsed CPU time: 3.37249 s Remaining CPU time: 1796.63 s 3.39/3.43 c ============================[ Search Statistics ]============================== 3.39/3.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.43 c =============================================================================== 3.39/3.43 c | 0 | 1262 8036 17109 | 5000 0 nan | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c core #267 3.39/3.44 c Core size: 26 Core Weight: 1 Total Weight: -233 3.39/3.44 c Elapsed CPU time: 3.38648 s Remaining CPU time: 1796.61 s 3.39/3.45 c ============================[ Search Statistics ]============================== 3.39/3.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.45 c =============================================================================== 3.39/3.45 c | 0 | 1272 8037 17129 | 5000 0 nan | 0.000 % | 3.39/3.45 c =============================================================================== 3.39/3.45 c core #268 3.39/3.45 c Core size: 21 Core Weight: 1 Total Weight: -232 3.39/3.45 c Elapsed CPU time: 3.39948 s Remaining CPU time: 1796.6 s 3.39/3.46 c ============================[ Search Statistics ]============================== 3.39/3.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.46 c =============================================================================== 3.39/3.46 c | 0 | 1280 8038 17145 | 5000 0 nan | 0.000 % | 3.39/3.46 c =============================================================================== 3.39/3.46 c core #269 3.39/3.46 c Core size: 26 Core Weight: 1 Total Weight: -231 3.39/3.46 c Elapsed CPU time: 3.41448 s Remaining CPU time: 1796.59 s 3.39/3.48 c ============================[ Search Statistics ]============================== 3.39/3.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.48 c =============================================================================== 3.39/3.48 c | 0 | 1290 8039 17165 | 5000 0 nan | 0.000 % | 3.39/3.48 c =============================================================================== 3.39/3.48 c core #270 3.39/3.48 c Core size: 26 Core Weight: 1 Total Weight: -230 3.39/3.48 c Elapsed CPU time: 3.42848 s Remaining CPU time: 1796.57 s 3.39/3.49 c ============================[ Search Statistics ]============================== 3.39/3.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.39/3.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.39/3.49 c =============================================================================== 3.39/3.49 c | 0 | 1300 8040 17185 | 5000 0 nan | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c core #271 3.39/3.49 c Core size: 30 Core Weight: 1 Total Weight: -229 3.39/3.49 c Elapsed CPU time: 3.44348 s Remaining CPU time: 1796.56 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 | 1312 8041 17209 | 5000 0 nan | 0.000 % | 3.49/3.51 c =============================================================================== 3.49/3.51 c core #272 3.49/3.51 c Core size: 37 Core Weight: 1 Total Weight: -228 3.49/3.51 c Elapsed CPU time: 3.45747 s Remaining CPU time: 1796.54 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 | 1326 8042 17237 | 5000 0 nan | 0.000 % | 3.49/3.52 c =============================================================================== 3.49/3.52 c core #273 3.49/3.52 c Core size: 32 Core Weight: 1 Total Weight: -227 3.49/3.52 c Elapsed CPU time: 3.47147 s Remaining CPU time: 1796.53 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 | 1338 8043 17261 | 5000 0 nan | 0.000 % | 3.49/3.54 c =============================================================================== 3.49/3.54 c core #274 3.49/3.54 c Core size: 36 Core Weight: 1 Total Weight: -226 3.49/3.54 c Elapsed CPU time: 3.48547 s Remaining CPU time: 1796.51 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 | 1352 8044 17289 | 5000 0 nan | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c core #275 3.49/3.55 c Core size: 37 Core Weight: 1 Total Weight: -225 3.49/3.55 c Elapsed CPU time: 3.50047 s Remaining CPU time: 1796.5 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 | 1366 8045 17317 | 5000 0 nan | 0.000 % | 3.49/3.57 c =============================================================================== 3.49/3.57 c core #276 3.49/3.57 c Core size: 35 Core Weight: 1 Total Weight: -224 3.49/3.57 c Elapsed CPU time: 3.51546 s Remaining CPU time: 1796.48 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 | 1380 8046 17345 | 5000 0 nan | 0.000 % | 3.49/3.58 c =============================================================================== 3.49/3.58 c core #277 3.49/3.58 c Core size: 49 Core Weight: 1 Total Weight: -223 3.49/3.58 c Elapsed CPU time: 3.52846 s Remaining CPU time: 1796.47 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 | 1399 8047 17383 | 5000 0 nan | 0.000 % | 3.49/3.60 c =============================================================================== 3.59/3.60 c core #278 3.59/3.60 c Core size: 42 Core Weight: 1 Total Weight: -222 3.59/3.60 c Elapsed CPU time: 3.54346 s Remaining CPU time: 1796.46 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 | 1415 8048 17415 | 5000 0 nan | 0.000 % | 3.59/3.61 c =============================================================================== 3.59/3.61 c core #279 3.59/3.61 c Core size: 48 Core Weight: 1 Total Weight: -221 3.59/3.61 c Elapsed CPU time: 3.55846 s Remaining CPU time: 1796.44 s 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 1433 8049 17451 | 5000 0 nan | 0.000 % | 3.59/3.63 c =============================================================================== 3.59/3.63 c core #280 3.59/3.63 c Core size: 47 Core Weight: 1 Total Weight: -220 3.59/3.63 c Elapsed CPU time: 3.57346 s Remaining CPU time: 1796.43 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 | 1451 8050 17487 | 5000 0 nan | 0.000 % | 3.59/3.64 c =============================================================================== 3.59/3.64 c core #281 3.59/3.64 c Core size: 144 Core Weight: 1 Total Weight: -219 3.59/3.64 c Elapsed CPU time: 3.58945 s Remaining CPU time: 1796.41 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 | 1503 8051 17591 | 5000 0 nan | 0.000 % | 3.59/3.66 c | 100 | 1503 8051 17591 | 5500 100 22 | 67.594 % | 3.59/3.67 c =============================================================================== 3.59/3.67 c core #282 3.59/3.67 c Core size: 264 Core Weight: 1 Total Weight: -218 3.59/3.67 c Elapsed CPU time: 3.61245 s Remaining CPU time: 1796.39 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 | 1585 8052 17755 | 5000 0 nan | 0.000 % | 3.59/3.69 c | 101 | 1584 8052 17755 | 5500 101 50 | 66.441 % | 3.68/3.70 c | 252 | 1582 8052 17755 | 6050 245 52 | 66.483 % | 3.68/3.72 c =============================================================================== 3.68/3.72 c core #283 3.68/3.72 c Core size: 327 Core Weight: 1 Total Weight: -217 3.68/3.72 c Elapsed CPU time: 3.66444 s Remaining CPU time: 1796.34 s 3.68/3.74 c ============================[ Search Statistics ]============================== 3.68/3.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.74 c =============================================================================== 3.68/3.74 c | 0 | 1685 8053 17955 | 5000 0 nan | 0.000 % | 3.68/3.74 c | 103 | 1685 8053 17955 | 5500 103 14 | 65.041 % | 3.68/3.75 c | 255 | 1685 8053 17955 | 6050 255 26 | 65.041 % | 3.68/3.77 c | 480 | 1685 8053 17955 | 6655 480 37 | 65.041 % | 3.79/3.80 c | 818 | 1685 8053 17955 | 7320 818 57 | 65.041 % | 3.79/3.85 c | 1324 | 1685 8053 17955 | 8052 1324 59 | 65.041 % | 3.89/3.95 c | 2085 | 1685 8053 17955 | 8857 2085 81 | 65.041 % | 3.99/4.04 c =============================================================================== 3.99/4.06 c core #284 3.99/4.06 c Core size: 631 Core Weight: 1 Total Weight: -216 3.99/4.06 c Elapsed CPU time: 3.99739 s Remaining CPU time: 1796 s 3.99/4.08 c ============================[ Search Statistics ]============================== 3.99/4.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.08 c =============================================================================== 3.99/4.08 c | 0 | 1859 8054 18303 | 5000 0 nan | 0.000 % | 3.99/4.09 c | 106 | 1859 8054 18303 | 5500 106 64 | 62.775 % | 4.09/4.10 c | 257 | 1859 8054 18303 | 6050 257 56 | 62.775 % | 4.09/4.11 c | 482 | 1859 8054 18303 | 6655 482 53 | 62.775 % | 4.09/4.14 c | 822 | 1859 8054 18303 | 7320 822 50 | 62.775 % | 4.09/4.19 c | 1332 | 1859 8054 18303 | 8052 1332 51 | 62.775 % | 4.19/4.26 c | 2091 | 1859 8054 18303 | 8857 2091 54 | 62.775 % | 4.29/4.40 c | 3231 | 1859 8054 18303 | 9743 3231 60 | 62.775 % | 4.69/4.71 c | 4940 | 1859 8054 18303 | 10717 4940 79 | 62.775 % | 4.79/4.87 c =============================================================================== 4.89/4.92 c core #285 4.89/4.92 c Core size: 521 Core Weight: 1 Total Weight: -215 4.89/4.92 c Elapsed CPU time: 4.83826 s Remaining CPU time: 1795.16 s 4.89/4.94 c ============================[ Search Statistics ]============================== 4.89/4.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.94 c =============================================================================== 4.89/4.94 c | 0 | 1993 8055 18571 | 5000 0 nan | 0.000 % | 4.89/4.95 c | 101 | 1993 8055 18571 | 5500 101 47 | 61.135 % | 4.89/4.96 c | 251 | 1993 8055 18571 | 6050 251 32 | 61.135 % | 4.89/4.98 c | 477 | 1993 8055 18571 | 6655 477 63 | 61.135 % | 4.99/5.02 c | 818 | 1993 8055 18571 | 7320 818 78 | 61.135 % | 5.09/5.10 c | 1324 | 1993 8055 18571 | 8052 1324 88 | 61.135 % | 5.09/5.19 c | 2085 | 1993 8055 18571 | 8857 2085 85 | 61.135 % | 5.29/5.36 c | 3225 | 1993 8055 18571 | 9743 3225 96 | 61.135 % | 5.69/5.70 c | 4934 | 1993 8055 18571 | 10717 4934 108 | 61.135 % | 6.39/6.46 c | 7496 | 1993 8055 18571 | 11789 7496 127 | 61.135 % | 8.19/8.22 c | 11340 | 1993 8055 18571 | 12968 11340 144 | 61.135 % | 9.99/10.09 c =============================================================================== 10.09/10.13 c core #286 10.09/10.13 c Core size: 718 Core Weight: 1 Total Weight: -214 10.09/10.13 c Elapsed CPU time: 10.0015 s Remaining CPU time: 1790 s 10.09/10.16 c ============================[ Search Statistics ]============================== 10.09/10.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.09/10.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.09/10.16 c =============================================================================== 10.09/10.16 c | 0 | 2171 8056 18927 | 5000 0 nan | 0.000 % | 10.09/10.17 c | 101 | 2171 8056 18927 | 5500 101 38 | 59.084 % | 10.09/10.18 c | 251 | 2171 8056 18927 | 6050 251 43 | 59.084 % | 10.09/10.20 c | 478 | 2171 8056 18927 | 6655 478 42 | 59.084 % | 10.18/10.22 c | 818 | 2171 8056 18927 | 7320 818 39 | 59.084 % | 10.18/10.26 c | 1326 | 2171 8056 18927 | 8052 1326 37 | 59.084 % | 10.29/10.33 c | 2085 | 2171 8056 18927 | 8857 2085 46 | 59.084 % | 10.39/10.46 c | 3224 | 2171 8056 18927 | 9743 3224 57 | 59.084 % | 10.68/10.73 c | 4934 | 2171 8056 18927 | 10717 4934 74 | 59.084 % | 11.19/11.27 c | 7499 | 2171 8056 18927 | 11789 7499 88 | 59.084 % | 12.19/12.25 c | 11345 | 2171 8056 18927 | 12968 11345 107 | 59.084 % | 12.98/13.06 c =============================================================================== 13.20/13.20 c core #287 13.20/13.20 c Core size: 728 Core Weight: 1 Total Weight: -213 13.20/13.20 c Elapsed CPU time: 13.045 s Remaining CPU time: 1786.95 s 13.20/13.23 c ============================[ Search Statistics ]============================== 13.20/13.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.20/13.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.20/13.23 c =============================================================================== 13.20/13.23 c | 0 | 2341 8057 19267 | 5000 0 nan | 0.000 % | 13.20/13.25 c | 100 | 2341 8057 19267 | 5500 100 50 | 57.250 % | 13.20/13.26 c | 250 | 2341 8057 19267 | 6050 250 33 | 57.250 % | 13.20/13.28 c | 475 | 2341 8057 19267 | 6655 475 36 | 57.250 % | 13.29/13.31 c | 812 | 2341 8057 19267 | 7320 812 45 | 57.250 % | 13.29/13.36 c | 1318 | 2341 8057 19267 | 8052 1318 50 | 57.250 % | 13.39/13.44 c | 2080 | 2341 8057 19267 | 8857 2080 61 | 57.250 % | 13.58/13.62 c | 3220 | 2341 8057 19267 | 9743 3220 81 | 57.250 % | 13.99/14.02 c | 4929 | 2341 8057 19267 | 10717 4929 111 | 57.250 % | 14.59/14.61 c | 7494 | 2341 8057 19267 | 11789 7494 114 | 57.250 % | 15.59/15.61 c | 11341 | 2341 8057 19267 | 12968 11341 117 | 57.250 % | 16.99/17.05 c | 17112 | 2341 8057 19267 | 14265 8946 105 | 57.250 % | 19.48/19.51 c | 25761 | 2341 8057 19267 | 15692 8834 124 | 57.250 % | 27.09/27.11 c | 38739 | 2341 8057 19267 | 17261 12327 247 | 57.250 % | 29.79/29.86 c =============================================================================== 30.28/30.30 c core #288 30.28/30.30 c Core size: 855 Core Weight: 1 Total Weight: -212 30.28/30.30 c Elapsed CPU time: 30.0174 s Remaining CPU time: 1769.98 s 30.28/30.37 c ============================[ Search Statistics ]============================== 30.28/30.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.28/30.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.28/30.37 c =============================================================================== 30.28/30.37 c | 0 | 2519 8058 19623 | 5000 0 nan | 0.000 % | 30.28/30.38 c | 101 | 2519 8058 19623 | 5500 101 29 | 55.447 % | 30.28/30.39 c | 251 | 2519 8058 19623 | 6050 251 22 | 55.447 % | 30.38/30.41 c | 477 | 2519 8058 19623 | 6655 477 25 | 55.447 % | 30.38/30.43 c | 816 | 2519 8058 19623 | 7320 816 35 | 55.447 % | 30.38/30.49 c | 1322 | 2519 8058 19623 | 8052 1322 44 | 55.447 % | 30.48/30.59 c | 2082 | 2519 8058 19623 | 8857 2082 65 | 55.447 % | 30.68/30.75 c | 3221 | 2519 8058 19623 | 9743 3221 69 | 55.447 % | 30.98/31.03 c | 4930 | 2519 8058 19623 | 10717 4930 80 | 55.447 % | 31.48/31.52 c | 7495 | 2519 8058 19623 | 11789 7495 84 | 55.447 % | 32.48/32.59 c | 11339 | 2519 8058 19623 | 12968 11339 101 | 55.447 % | 35.18/35.21 c | 17109 | 2519 8058 19623 | 14265 8998 172 | 55.447 % | 40.48/40.54 c | 25758 | 2519 8058 19623 | 15692 8826 255 | 55.447 % | 49.58/49.60 c | 38734 | 2519 8058 19623 | 17261 12269 246 | 55.447 % | 70.38/70.46 c | 58197 | 2519 8058 19623 | 18987 11068 339 | 55.447 % | 96.86/96.99 c | 87389 | 2519 8058 19623 | 20886 17966 337 | 55.447 % | 113.56/113.63 c =============================================================================== 115.56/115.68 c core #289 115.56/115.68 c Core size: 796 Core Weight: 1 Total Weight: -211 115.56/115.68 c Elapsed CPU time: 114.907 s Remaining CPU time: 1685.09 s 115.76/115.80 c ============================[ Search Statistics ]============================== 115.76/115.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 115.76/115.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 115.76/115.80 c =============================================================================== 115.76/115.80 c | 0 | 2691 8059 19967 | 5000 0 nan | 0.000 % | 115.76/115.83 c | 100 | 2691 8059 19967 | 5500 100 49 | 53.811 % | 115.76/115.85 c | 251 | 2691 8059 19967 | 6050 251 43 | 53.811 % | 115.76/115.86 c | 476 | 2691 8059 19967 | 6655 476 45 | 53.811 % | 115.76/115.89 c | 813 | 2691 8059 19967 | 7320 813 58 | 53.811 % | 115.86/115.94 c | 1319 | 2691 8059 19967 | 8052 1319 54 | 53.811 % | 115.96/116.01 c | 2078 | 2691 8059 19967 | 8857 2078 50 | 53.811 % | 116.06/116.15 c | 3218 | 2691 8059 19967 | 9743 3218 57 | 53.811 % | 116.26/116.39 c | 4926 | 2691 8059 19967 | 10717 4926 74 | 53.811 % | 116.76/116.88 c | 7491 | 2691 8059 19967 | 11789 7491 93 | 53.811 % | 117.76/117.84 c | 11336 | 2691 8059 19967 | 12968 11336 100 | 53.811 % | 119.77/119.84 c | 17103 | 2691 8059 19967 | 14265 8992 116 | 53.811 % | 123.86/123.98 c | 25757 | 2691 8059 19967 | 15692 8843 193 | 53.811 % | 131.75/131.87 c | 38731 | 2691 8059 19967 | 17261 12327 245 | 53.811 % | 147.65/147.70 c | 58193 | 2691 8059 19967 | 18987 11174 201 | 53.811 % | 151.85/151.97 c =============================================================================== 153.15/153.28 c core #290 153.15/153.28 c Core size: 809 Core Weight: 1 Total Weight: -210 153.15/153.28 c Elapsed CPU time: 152.271 s Remaining CPU time: 1647.73 s 153.25/153.38 c ============================[ Search Statistics ]============================== 153.25/153.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.25/153.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.25/153.38 c =============================================================================== 153.25/153.38 c | 0 | 2855 8060 20295 | 5000 0 nan | 0.000 % | 153.35/153.41 c | 100 | 2855 8060 20295 | 5500 100 31 | 52.337 % | 153.35/153.42 c | 250 | 2855 8060 20295 | 6050 250 26 | 52.337 % | 153.35/153.44 c | 475 | 2855 8060 20295 | 6655 475 27 | 52.337 % | 153.35/153.48 c | 813 | 2855 8060 20295 | 7320 813 62 | 52.337 % | 153.45/153.53 c | 1319 | 2855 8060 20295 | 8052 1319 57 | 52.337 % | 153.55/153.63 c | 2078 | 2855 8060 20295 | 8857 2078 72 | 52.337 % | 153.75/153.81 c | 3217 | 2855 8060 20295 | 9743 3217 86 | 52.337 % | 154.15/154.25 c | 4926 | 2855 8060 20295 | 10717 4926 123 | 52.337 % | 155.05/155.11 c | 7488 | 2855 8060 20295 | 11789 7488 143 | 52.337 % | 156.75/156.90 c | 11332 | 2855 8060 20295 | 12968 11332 172 | 52.337 % | 159.94/160.06 c | 17099 | 2855 8060 20295 | 14265 8891 146 | 52.337 % | 162.85/162.91 c | 25748 | 2855 8060 20295 | 15692 17540 128 | 52.337 % | 168.44/168.53 c | 38722 | 2855 8060 20295 | 17261 11238 122 | 52.337 % | 176.74/176.89 c | 58185 | 2855 8060 20295 | 18987 20442 147 | 52.337 % | 191.45/191.51 c | 87377 | 2855 8060 20295 | 20886 16203 161 | 52.337 % | 219.63/219.71 c | 131166 | 2855 8060 20295 | 22974 23672 165 | 52.337 % | 268.22/268.36 c | 196854 | 2855 8060 20295 | 25272 23383 202 | 52.337 % | 382.90/383.08 c | 295381 | 2855 8060 20295 | 27799 20807 291 | 52.337 % | 577.35/577.59 c | 443170 | 2855 8060 20295 | 30579 14047 246 | 52.337 % | 890.97/891.22 c | 664856 | 2855 8060 20295 | 33637 33076 480 | 52.337 % | 1440.13/1440.54 c | 997383 | 2855 8060 20295 | 37001 21230 276 | 52.337 % |
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-1875354-1245201384/watcher-1875354-1245201384 -o /tmp/evaluation-result-1875354-1245201384/solver-1875354-1245201384 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875354-1245201384.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7333 /proc/meminfo: memFree=1862640/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=3076 CPUtime=0 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 187739374 3149824 242 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 769 244 125 292 0 408 0 [startup+0.0407511 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7333 /proc/meminfo: memFree=1862640/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=3920 CPUtime=0.03 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 522 0 0 0 3 0 0 0 18 0 1 0 187739374 4014080 506 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 980 506 185 292 0 619 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3920 [startup+0.101756 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7333 /proc/meminfo: memFree=1862640/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=5764 CPUtime=0.09 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 1088 0 0 0 9 0 0 0 18 0 1 0 187739374 5902336 1006 1992294400 134512640 135709839 4294956240 18446744073709551615 135164462 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 1441 1006 134 292 0 1146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5764 [startup+0.301775 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7333 /proc/meminfo: memFree=1862640/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=9380 CPUtime=0.29 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 1979 0 0 0 29 0 0 0 19 0 1 0 187739374 9605120 1897 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 2345 1897 134 292 0 2050 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9380 [startup+0.701811 s] /proc/loadavg: 1.00 1.00 1.00 3/64 7333 /proc/meminfo: memFree=1862640/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=16024 CPUtime=0.69 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 3659 0 0 0 69 0 0 0 22 0 1 0 187739374 16408576 3577 1992294400 134512640 135709839 4294956240 18446744073709551615 134517345 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 4006 3577 134 292 0 3711 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16024 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1843688/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=29428 CPUtime=1.49 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 6996 0 0 0 148 1 0 0 25 0 1 0 187739374 30134272 6914 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 7357 6914 134 292 0 7062 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29428 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1825512/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=54964 CPUtime=3.09 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 13399 0 0 0 304 5 0 0 25 0 1 0 187739374 56283136 13269 1992294400 134512640 135709839 4294956240 18446744073709551615 135168133 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 13741 13269 134 292 0 13446 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54964 [startup+6.30133 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1795696/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=71208 CPUtime=6.29 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 17505 0 0 0 619 10 0 0 25 0 1 0 187739374 72916992 17375 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 17802 17375 136 292 0 17507 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 71208 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1784432/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=80024 CPUtime=12.68 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 19678 0 0 0 1253 15 0 0 25 0 1 0 187739374 81944576 19548 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 20006 19548 136 292 0 19711 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 80024 [startup+25.5021 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1762736/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=102032 CPUtime=25.49 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 25191 0 0 0 2524 25 0 0 25 0 1 0 187739374 104480768 25061 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 25508 25061 136 292 0 25213 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102032 [startup+51.1025 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1723504/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=141980 CPUtime=51.07 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 35178 0 0 0 5064 43 0 0 25 0 1 0 187739374 145387520 35048 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 35495 35048 136 292 0 35200 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 141980 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1634736/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=229780 CPUtime=102.27 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 57077 0 0 0 10158 69 0 0 25 0 1 0 187739374 235294720 56947 1992294400 134512640 135709839 4294956240 18446744073709551615 134574287 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 57445 56947 136 292 0 57150 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 229780 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1566832/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=298056 CPUtime=162.25 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 74199 0 0 0 16120 105 0 0 25 0 1 0 187739374 305209344 74069 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 74514 74069 136 292 0 74219 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 298056 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1473136/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=391108 CPUtime=222.24 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 97457 0 0 0 22077 147 0 0 25 0 1 0 187739374 400494592 97327 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 97777 97327 136 292 0 97482 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 391108 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1396336/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=468544 CPUtime=282.22 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 116786 0 0 0 28045 177 0 0 25 0 1 0 187739374 479789056 116656 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 117136 116656 136 292 0 116841 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 468544 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1322480/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=541776 CPUtime=342.21 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 135047 0 0 0 34017 204 0 0 25 0 1 0 187739374 554778624 134917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 135444 134917 136 292 0 135149 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 541776 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1239344/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=625508 CPUtime=402.19 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 155984 0 0 0 39988 231 0 0 25 0 1 0 187739374 640520192 155854 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 156377 155854 136 292 0 156082 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 625508 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1170416/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=693448 CPUtime=462.17 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 172945 0 0 0 45962 255 0 0 25 0 1 0 187739374 710090752 172815 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 173362 172815 136 292 0 173067 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 693448 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1078064/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=787340 CPUtime=522.16 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 196415 0 0 0 51934 282 0 0 25 0 1 0 187739374 806236160 196285 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 196835 196285 136 292 0 196540 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 787340 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=1009520/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=854428 CPUtime=582.14 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 213142 0 0 0 57909 305 0 0 25 0 1 0 187739374 874934272 213012 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 213607 213012 136 292 0 213312 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 854428 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=942128/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=921276 CPUtime=642.14 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 229822 0 0 0 63884 330 0 0 25 0 1 0 187739374 943386624 229692 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 230319 229692 136 292 0 230024 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 921276 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=874160/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=990456 CPUtime=702.12 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 247074 0 0 0 69858 354 0 0 25 0 1 0 187739374 1014226944 246944 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 247614 246944 136 292 0 247319 0 Current children cumulated CPU time (s) 702.12 Current children cumulated vsize (KiB) 990456 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=788592/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1075084 CPUtime=762.1 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 268198 0 0 0 75831 379 0 0 25 0 1 0 187739374 1100886016 268068 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 268771 268068 136 292 0 268476 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1075084 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=701296/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1162972 CPUtime=822.08 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 290174 0 0 0 81802 406 0 0 25 0 1 0 187739374 1190883328 290044 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 290743 290044 136 292 0 290448 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1162972 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=624304/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1239076 CPUtime=882.08 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 309186 0 0 0 87778 430 0 0 25 0 1 0 187739374 1268813824 309056 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 309769 309056 136 292 0 309474 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 1239076 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=577520/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1286360 CPUtime=942.06 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 320991 0 0 0 93763 443 0 0 25 0 1 0 187739374 1317232640 320861 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 321590 320861 136 292 0 321295 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 1286360 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=506032/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1357140 CPUtime=1002.04 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 338681 0 0 0 99741 463 0 0 25 0 1 0 187739374 1389711360 338551 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 339285 338551 136 292 0 338990 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1357140 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=440304/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1423588 CPUtime=1062.03 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 355286 0 0 0 105719 484 0 0 25 0 1 0 187739374 1457754112 355156 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 355897 355156 136 292 0 355602 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 1423588 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=356912/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1506504 CPUtime=1122.02 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 375982 0 0 0 111691 511 0 0 25 0 1 0 187739374 1542660096 375852 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 376626 375852 136 292 0 376331 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 1506504 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=285104/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1578372 CPUtime=1182 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 393924 0 0 0 117665 535 0 0 25 0 1 0 187739374 1616252928 393794 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 394593 393794 136 292 0 394298 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1578372 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=223024/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1639936 CPUtime=1241.98 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 409306 0 0 0 123643 555 0 0 25 0 1 0 187739374 1679294464 409176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 409984 409176 136 292 0 409689 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1639936 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=164400/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1697972 CPUtime=1301.98 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 423831 0 0 0 129624 574 0 0 25 0 1 0 187739374 1738723328 423701 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 424493 423701 136 292 0 424198 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1697972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=109808/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1753376 CPUtime=1361.95 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 437666 0 0 0 135601 594 0 0 25 0 1 0 187739374 1795457024 437536 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 438344 437536 136 292 0 438049 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1753376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=55600/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1806664 CPUtime=1421.94 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 450983 0 0 0 141580 614 0 0 25 0 1 0 187739374 1850023936 450853 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 451666 450853 136 292 0 451371 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 1806664 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1467.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=18992/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=1843248 CPUtime=1467.44 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4194304 460118 0 0 0 146118 626 0 0 25 0 1 0 187739374 1887485952 459988 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 460812 459988 136 292 0 460517 0 Current children cumulated CPU time (s) 1467.44 Current children cumulated vsize (KiB) 1843248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1468 s] /proc/loadavg: 1.00 1.00 1.00 2/65 7334 /proc/meminfo: memFree=18992/2055920 swapFree=4191900/4192956 [pid=7333] ppid=7331 vsize=0 CPUtime=1467.63 /proc/7333/stat : 7333 (wbo) R 7331 7333 6591 0 -1 4195332 460118 0 0 0 146118 645 0 0 25 0 1 0 187739374 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7333/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1467.63 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1468.08 CPU time (s): 1467.72 CPU user time (s): 1461.18 CPU system time (s): 6.54 CPU usage (%): 99.9753 Max. virtual memory (cumulated for all children) (KiB): 1843248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1461.18 system time used= 6.54 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460118 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= 1125 runsolver used 1.03984 second user time and 3.22451 second system time The end
Begin job on node14 at 2009-06-17 03:16:24 IDJOB=1875354 IDBENCH=48194 IDSOLVER=698 FILE ID=node14/1875354-1245201384 PBS_JOBID= 9368307 Free space on /tmp= 66376 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_5.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875354-1245201384/watcher-1875354-1245201384 -o /tmp/evaluation-result-1875354-1245201384/solver-1875354-1245201384 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875354-1245201384.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2b02b42135ec6f53aa7a47afb99951df RANDOM SEED=909171877 node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1863312 kB Buffers: 49848 kB Cached: 87668 kB SwapCached: 388 kB Active: 72384 kB Inactive: 78540 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1863312 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2456 kB Writeback: 0 kB Mapped: 21800 kB Slab: 27688 kB Committed_AS: 192568 kB PageTables: 1452 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875354-1245201384.opb Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-17 03:40:54