Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1610.4 | 1611.17 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_4.opb |
MD5SUM | d0c1e6f66b584092ef8bd8f37f3a4db9 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -25 |
Best CPU time to get the best result obtained on this benchmark | 9.96048 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -25 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1258 |
Sum of products size (including duplicates) | 2516 |
Number of different products | 629 |
Sum of products size | 1258 |
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-1875366-1245202598.opb. 0.00/0.00 c Instance file HOME/instance-1875366-1245202598.opb 0.00/0.00 c File size is 49681 bytes. 0.00/0.00 c Highest Coefficient sum: 18 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 729 | 0.00/0.00 c | Number Clauses: 729 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 629 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -99 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #2 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -98 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #3 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -97 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -96 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -95 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -94 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -93 0.00/0.02 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -92 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -91 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #10 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -90 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -89 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #12 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -88 0.00/0.03 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #13 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -87 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #14 0.03/0.03 c Core size: 4 Core Weight: 1 Total Weight: -86 0.03/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #15 0.03/0.03 c Core size: 4 Core Weight: 1 Total Weight: -85 0.03/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #16 0.03/0.03 c Core size: 4 Core Weight: 1 Total Weight: -84 0.03/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #17 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -83 0.03/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #18 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -82 0.03/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #19 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -81 0.03/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #20 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -80 0.03/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #21 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -79 0.03/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #22 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -78 0.03/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #23 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -77 0.03/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #24 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -76 0.03/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #25 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -75 0.03/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #26 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -74 0.03/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #27 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -73 0.03/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #28 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -72 0.03/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #29 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -71 0.03/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #30 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -70 0.03/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #31 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -69 0.03/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #32 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -68 0.03/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #33 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -67 0.03/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #34 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -66 0.03/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #35 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -65 0.03/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #36 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -64 0.03/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #37 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -63 0.03/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #38 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -62 0.03/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #39 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -61 0.03/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.03/0.08 c core #40 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -60 0.03/0.08 c Elapsed CPU time: 0.085986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #41 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -59 0.03/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #42 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -58 0.03/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #43 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -57 0.03/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #44 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -56 0.03/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.03/0.09 c core #45 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -55 0.03/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #46 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -54 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #47 0.09/0.10 c Core size: 14 Core Weight: 1 Total Weight: -53 0.09/0.10 c Elapsed CPU time: 0.100984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #48 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: -52 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #49 0.09/0.10 c Core size: 14 Core Weight: 1 Total Weight: -51 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #50 0.09/0.11 c Core size: 19 Core Weight: 1 Total Weight: -50 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 216 1608 3357 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #51 0.09/0.11 c Core size: 22 Core Weight: 1 Total Weight: -49 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 224 1609 3373 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #52 0.09/0.11 c Core size: 21 Core Weight: 1 Total Weight: -48 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 232 1610 3389 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #53 0.09/0.11 c Core size: 22 Core Weight: 1 Total Weight: -47 0.09/0.11 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 240 1611 3405 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #54 0.09/0.12 c Core size: 22 Core Weight: 1 Total Weight: -46 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 248 1612 3421 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #55 0.09/0.12 c Core size: 22 Core Weight: 1 Total Weight: -45 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 256 1613 3437 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #56 0.09/0.12 c Core size: 56 Core Weight: 1 Total Weight: -44 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 276 1614 3477 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #57 0.09/0.12 c Core size: 27 Core Weight: 1 Total Weight: -43 0.09/0.12 c Elapsed CPU time: 0.12598 s Remaining CPU time: 1799.87 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 286 1615 3497 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #58 0.09/0.13 c Core size: 44 Core Weight: 1 Total Weight: -42 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 303 1616 3531 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #59 0.09/0.13 c Core size: 91 Core Weight: 1 Total Weight: -41 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 333 1617 3591 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 100 | 333 1617 3591 | 5500 100 39 | 65.385 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #60 0.09/0.14 c Core size: 126 Core Weight: 1 Total Weight: -40 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 369 1618 3663 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 105 | 369 1618 3663 | 5500 105 44 | 63.026 % | 0.09/0.15 c | 256 | 369 1618 3663 | 6050 256 36 | 63.026 % | 0.09/0.16 c | 481 | 369 1618 3663 | 6655 481 45 | 63.026 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c core #61 0.09/0.18 c Core size: 238 Core Weight: 1 Total Weight: -39 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 419 1619 3763 | 5000 0 nan | 0.000 % | 0.09/0.19 c | 101 | 419 1619 3763 | 5500 101 57 | 60.019 % | 0.19/0.20 c | 252 | 419 1619 3763 | 6050 252 50 | 60.019 % | 0.19/0.21 c | 478 | 419 1619 3763 | 6655 478 53 | 60.019 % | 0.19/0.23 c | 817 | 419 1619 3763 | 7320 817 47 | 60.019 % | 0.19/0.27 c | 1324 | 419 1619 3763 | 8052 1324 51 | 60.019 % | 0.29/0.34 c | 2084 | 417 1619 3763 | 8857 2083 58 | 60.305 % | 0.39/0.49 c | 3224 | 417 1619 3763 | 9743 3223 73 | 60.305 % | 0.69/0.74 c =============================================================================== 0.69/0.78 c core #62 0.69/0.78 c Core size: 384 Core Weight: 1 Total Weight: -38 0.69/0.78 c Elapsed CPU time: 0.776881 s Remaining CPU time: 1799.22 s 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 491 1620 3907 | 5000 0 nan | 0.000 % | 0.69/0.79 c | 101 | 491 1620 3907 | 5500 101 20 | 56.161 % | 0.69/0.80 c | 252 | 491 1620 3907 | 6050 252 34 | 56.161 % | 0.79/0.81 c | 477 | 491 1620 3907 | 6655 477 35 | 56.161 % | 0.79/0.83 c | 816 | 491 1620 3907 | 7320 816 49 | 56.161 % | 0.79/0.87 c =============================================================================== 0.79/0.88 c core #63 0.79/0.88 c Core size: 249 Core Weight: 1 Total Weight: -37 0.79/0.88 c Elapsed CPU time: 0.870867 s Remaining CPU time: 1799.13 s 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 537 1621 3999 | 5000 0 nan | 0.000 % | 0.79/0.88 c | 103 | 537 1621 3999 | 5500 103 66 | 53.945 % | 0.79/0.89 c | 256 | 537 1621 3999 | 6050 256 66 | 53.945 % | 0.89/0.90 c | 482 | 537 1621 3999 | 6655 482 59 | 53.945 % | 0.89/0.93 c | 819 | 537 1621 3999 | 7320 819 55 | 53.945 % | 0.89/0.97 c | 1326 | 537 1621 3999 | 8052 1326 71 | 53.945 % | 1.00/1.07 c | 2089 | 537 1621 3999 | 8857 2089 85 | 53.945 % | 1.19/1.26 c | 3229 | 537 1621 3999 | 9743 3229 95 | 53.945 % | 1.60/1.60 c | 4938 | 537 1621 3999 | 10717 4938 104 | 53.945 % | 2.20/2.29 c | 7501 | 537 1621 3999 | 11789 7501 126 | 53.945 % | 3.89/3.99 c | 11345 | 537 1621 3999 | 12968 11345 147 | 53.945 % | 6.19/6.22 c | 17111 | 537 1621 3999 | 14265 10286 148 | 53.945 % | 8.69/8.79 c | 25762 | 537 1621 3999 | 15692 11428 97 | 53.945 % | 13.99/14.08 c | 38739 | 537 1621 3999 | 17261 16185 143 | 53.945 % | 23.28/23.36 c | 58200 | 537 1621 3999 | 18987 17649 181 | 53.945 % | 36.58/36.66 c | 87396 | 519 1621 3999 | 20886 13970 122 | 55.490 % | 36.67/36.78 c =============================================================================== 38.28/38.33 c core #64 38.28/38.33 c Core size: 421 Core Weight: 1 Total Weight: -36 38.28/38.33 c Elapsed CPU time: 38.0242 s Remaining CPU time: 1761.98 s 38.38/38.43 c ============================[ Search Statistics ]============================== 38.38/38.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.38/38.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.38/38.43 c =============================================================================== 38.38/38.43 c | 0 | 601 1622 4127 | 5000 0 nan | 0.000 % | 38.38/38.45 c | 102 | 601 1622 4127 | 5500 102 106 | 51.138 % | 38.38/38.46 c | 252 | 601 1622 4127 | 6050 252 81 | 51.138 % | 38.38/38.47 c | 478 | 601 1622 4127 | 6655 478 70 | 51.138 % | 38.38/38.49 c | 817 | 601 1622 4127 | 7320 817 71 | 51.138 % | 38.48/38.56 c | 1324 | 601 1622 4127 | 8052 1324 88 | 51.138 % | 38.57/38.66 c | 2084 | 601 1622 4127 | 8857 2084 88 | 51.138 % | 38.78/38.83 c | 3224 | 601 1622 4127 | 9743 3224 92 | 51.138 % | 39.07/39.11 c | 4932 | 601 1622 4127 | 10717 4932 92 | 51.138 % | 39.78/39.88 c | 7494 | 601 1622 4127 | 11789 7494 121 | 51.138 % | 41.27/41.30 c | 11339 | 601 1622 4127 | 12968 11339 132 | 51.138 % | 44.18/44.23 c | 17111 | 601 1622 4127 | 14265 10251 168 | 51.138 % | 50.87/50.98 c | 25762 | 601 1622 4127 | 15692 11403 235 | 51.138 % | 60.17/60.23 c | 38738 | 601 1622 4127 | 17261 16174 238 | 51.138 % | 81.46/81.57 c | 58205 | 601 1622 4127 | 18987 17639 263 | 51.138 % | 110.45/110.56 c | 87397 | 601 1622 4127 | 20886 17152 227 | 51.138 % | 135.25/135.31 c | 131187 | 601 1622 4127 | 22974 17502 126 | 51.138 % | 172.21/172.31 c | 196874 | 601 1622 4127 | 25272 11915 131 | 51.138 % | 268.08/268.22 c | 295402 | 601 1622 4127 | 27799 19226 258 | 51.138 % | 416.93/417.18 c | 443192 | 601 1622 4127 | 30579 14111 164 | 51.138 % | 641.65/641.94 c | 664877 | 601 1622 4127 | 33637 24663 355 | 51.138 % | 1213.65/1214.17 c | 997404 | 601 1622 4127 | 37001 16544 425 | 51.138 % | 1265.21/1265.78 c =============================================================================== 1293.40/1293.93 c core #65 1293.40/1293.93 c Core size: 733 Core Weight: 1 Total Weight: -35 1293.40/1293.93 c Elapsed CPU time: 1288.22 s Remaining CPU time: 511.785 s 1294.49/1295.05 c ============================[ Search Statistics ]============================== 1294.49/1295.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1294.49/1295.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1294.49/1295.05 c =============================================================================== 1294.49/1295.05 c | 0 | 693 1623 4311 | 5000 0 nan | 0.000 % | 1294.59/1295.15 c | 100 | 693 1623 4311 | 5500 100 94 | 47.579 % | 1294.69/1295.22 c | 250 | 693 1623 4311 | 6050 250 63 | 47.579 % | 1294.69/1295.27 c | 478 | 693 1623 4311 | 6655 478 63 | 47.579 % | 1294.80/1295.30 c | 815 | 693 1623 4311 | 7320 815 69 | 47.579 % | 1294.80/1295.35 c | 1324 | 693 1623 4311 | 8052 1324 86 | 47.579 % | 1294.90/1295.45 c | 2085 | 693 1623 4311 | 8857 2085 96 | 47.579 % | 1295.10/1295.65 c | 3224 | 693 1623 4311 | 9743 3224 113 | 47.579 % | 1295.39/1295.97 c | 4935 | 693 1623 4311 | 10717 4935 129 | 47.579 % | 1296.30/1296.84 c | 7498 | 693 1623 4311 | 11789 7498 146 | 47.579 % | 1298.60/1299.14 c | 11343 | 693 1623 4311 | 12968 11343 169 | 47.579 % | 1301.99/1302.57 c | 17109 | 693 1623 4311 | 14265 10283 208 | 47.579 % | 1309.09/1309.67 c | 25758 | 693 1623 4311 | 15692 11411 234 | 47.579 % | 1320.50/1321.09 c | 38734 | 693 1623 4311 | 17261 16175 256 | 47.579 % | 1330.58/1331.10 c | 58195 | 693 1623 4311 | 18987 17637 165 | 47.579 % | 1353.88/1354.45 c | 87388 | 693 1623 4311 | 20886 17197 221 | 47.579 % | 1405.76/1406.33 c | 131178 | 693 1623 4311 | 22974 17596 295 | 47.579 % | 1458.05/1458.67 c | 196862 | 693 1623 4311 | 25272 23652 237 | 47.579 % | 1539.15/1540.00 c | 295393 | 693 1623 4311 | 27799 17028 217 | 47.579 % |
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-1875366-1245202598/watcher-1875366-1245202598 -o /tmp/evaluation-result-1875366-1245202598/solver-1875366-1245202598 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875366-1245202598.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 5325 /proc/meminfo: memFree=1869728/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=2708 CPUtime=0 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 225 0 0 0 0 0 0 0 18 0 1 0 187860024 2772992 209 1992294400 134512640 135709839 4294956240 18446744073709551615 135164482 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 677 209 130 292 0 369 0 [startup+0.0334109 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5325 /proc/meminfo: memFree=1869728/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=3344 CPUtime=0.03 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 430 0 0 0 3 0 0 0 18 0 1 0 187860024 3424256 401 1992294400 134512640 135709839 4294956240 18446744073709551615 135163521 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 836 401 134 292 0 541 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3344 [startup+0.101418 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5325 /proc/meminfo: memFree=1869728/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=4704 CPUtime=0.09 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 776 0 0 0 9 0 0 0 18 0 1 0 187860024 4816896 747 1992294400 134512640 135709839 4294956240 18446744073709551615 135173068 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 1176 747 134 292 0 881 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4704 [startup+0.301435 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5325 /proc/meminfo: memFree=1869728/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=6064 CPUtime=0.29 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 1096 0 0 0 29 0 0 0 18 0 1 0 187860024 6209536 1067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 1516 1067 136 292 0 1221 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6064 [startup+0.701474 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5325 /proc/meminfo: memFree=1869728/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=7780 CPUtime=0.69 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 1542 0 0 0 69 0 0 0 21 0 1 0 187860024 7966720 1513 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 1945 1513 136 292 0 1650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7780 [startup+1.50255 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1863640/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=9496 CPUtime=1.49 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 1968 0 0 0 148 1 0 0 25 0 1 0 187860024 9723904 1939 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 2374 1939 136 292 0 2079 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9496 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1860376/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=13720 CPUtime=3.08 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 3025 0 0 0 306 2 0 0 25 0 1 0 187860024 14049280 2996 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 3430 2996 136 292 0 3135 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13720 [startup+6.30201 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1853400/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=20524 CPUtime=6.29 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 4707 0 0 0 624 5 0 0 25 0 1 0 187860024 21016576 4678 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 5131 4678 136 292 0 4836 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20524 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1839192/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=34016 CPUtime=12.69 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 8114 0 0 0 1258 11 0 0 25 0 1 0 187860024 34832384 8085 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 8504 8085 136 292 0 8209 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34016 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1813080/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=59484 CPUtime=25.48 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 14458 0 0 0 2528 20 0 0 25 0 1 0 187860024 60911616 14429 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 14871 14429 136 292 0 14576 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59484 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1785304/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=87464 CPUtime=51.07 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 21471 0 0 0 5072 35 0 0 25 0 1 0 187860024 89563136 21442 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 21866 21442 136 292 0 21571 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 87464 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1722392/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=149340 CPUtime=102.26 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 36901 0 0 0 10169 57 0 0 25 0 1 0 187860024 152924160 36872 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 37335 36872 136 292 0 37040 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 149340 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1631000/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=241220 CPUtime=162.24 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 59850 0 0 0 16132 92 0 0 25 0 1 0 187860024 247009280 59821 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 60305 59821 136 292 0 60010 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 241220 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1557592/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=314192 CPUtime=222.2 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 78052 0 0 0 22097 123 0 0 25 0 1 0 187860024 321732608 78023 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 78548 78023 136 292 0 78253 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 314192 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1497048/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=375072 CPUtime=282.18 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 93247 0 0 0 28073 145 0 0 25 0 1 0 187860024 384073728 93218 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 93768 93218 136 292 0 93473 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 375072 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1429592/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=442044 CPUtime=342.15 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 109949 0 0 0 34045 170 0 0 25 0 1 0 187860024 452653056 109920 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 110511 109920 136 292 0 110216 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 442044 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1375832/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=496740 CPUtime=402.13 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 123593 0 0 0 40020 193 0 0 25 0 1 0 187860024 508661760 123564 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 124185 123564 136 292 0 123890 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 496740 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1264152/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=607792 CPUtime=462.11 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 151361 0 0 0 45984 227 0 0 25 0 1 0 187860024 622379008 151332 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 151948 151332 136 292 0 151653 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 607792 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1164440/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=708976 CPUtime=522.1 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 176641 0 0 0 51951 259 0 0 25 0 1 0 187860024 725991424 176612 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 177244 176612 136 292 0 176949 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 708976 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=1071832/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=799888 CPUtime=582.07 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 199378 0 0 0 57922 285 0 0 25 0 1 0 187860024 819085312 199349 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 199972 199349 136 292 0 199677 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 799888 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=978008/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=892952 CPUtime=642.06 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 222598 0 0 0 63895 311 0 0 25 0 1 0 187860024 914382848 222569 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 223238 222569 136 292 0 222943 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 892952 [startup+702.302 s] ################ # More data... # ################ [startup+762.307 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=836312/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1034400 CPUtime=762.01 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 257969 0 0 0 75846 355 0 0 25 0 1 0 187860024 1059225600 257940 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 258600 257940 136 292 0 258305 0 Current children cumulated CPU time (s) 762.01 Current children cumulated vsize (KiB) 1034400 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=760344/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1110700 CPUtime=821.99 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 277009 0 0 0 81821 378 0 0 25 0 1 0 187860024 1137356800 276980 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 277675 276980 136 292 0 277380 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1110700 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5326 /proc/meminfo: memFree=686872/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1183720 CPUtime=881.96 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 295269 0 0 0 87796 400 0 0 25 0 1 0 187860024 1212129280 295240 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 295930 295240 136 292 0 295635 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 1183720 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5328 /proc/meminfo: memFree=613272/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1258200 CPUtime=941.95 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 313888 0 0 0 93773 422 0 0 25 0 1 0 187860024 1288396800 313859 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 314550 313859 136 292 0 314255 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1258200 [startup+1002.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 5328 /proc/meminfo: memFree=535640/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1334672 CPUtime=1001.93 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 332985 0 0 0 99752 441 0 0 25 0 1 0 187860024 1366704128 332956 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 333668 332956 136 292 0 333373 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1334672 [startup+1062.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 5328 /proc/meminfo: memFree=456728/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1415388 CPUtime=1061.91 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 353147 0 0 0 105727 464 0 0 25 0 1 0 187860024 1449357312 353118 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 353847 353118 136 292 0 353552 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1415388 [startup+1122.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 5328 /proc/meminfo: memFree=385240/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1484932 CPUtime=1121.87 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 370538 0 0 0 111704 483 0 0 25 0 1 0 187860024 1520570368 370509 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 371233 370510 136 292 0 370938 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1484932 [startup+1182.3 s] /proc/loadavg: 1.03 1.03 1.00 2/65 5328 /proc/meminfo: memFree=327832/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1543408 CPUtime=1181.85 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 385154 0 0 0 117688 497 0 0 25 0 1 0 187860024 1580449792 385125 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 385852 385125 136 292 0 385557 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1543408 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 5328 /proc/meminfo: memFree=267800/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1602316 CPUtime=1241.84 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 399877 0 0 0 123672 512 0 0 25 0 1 0 187860024 1640771584 399848 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 400579 399848 136 292 0 400284 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1602316 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5328 /proc/meminfo: memFree=223128/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1646108 CPUtime=1301.8 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 410896 0 0 0 129654 526 0 0 25 0 1 0 187860024 1685614592 410830 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 411527 410830 136 292 0 411232 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 1646108 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5328 /proc/meminfo: memFree=222104/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1646108 CPUtime=1361.78 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 411165 0 0 0 135633 545 0 0 25 0 1 0 187860024 1685614592 411099 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 411527 411099 136 292 0 411232 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1646108 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5328 /proc/meminfo: memFree=208280/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1659988 CPUtime=1421.76 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 414640 0 0 0 141614 562 0 0 25 0 1 0 187860024 1699827712 414574 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 414997 414574 136 292 0 414702 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 1659988 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5334 /proc/meminfo: memFree=147352/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1722044 CPUtime=1481.73 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 430108 0 0 0 147586 587 0 0 25 0 1 0 187860024 1763373056 430042 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 430511 430042 136 292 0 430216 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 1722044 [startup+1542.3 s] /proc/loadavg: 1.28 1.06 1.02 2/65 5822 /proc/meminfo: memFree=15792/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1784752 CPUtime=1541.55 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 445753 0 0 0 153535 620 0 0 25 0 1 0 187860024 1827586048 445687 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 446188 445687 136 292 0 445893 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 1784752 [startup+1602.3 s] /proc/loadavg: 1.10 1.05 1.01 2/65 5822 /proc/meminfo: memFree=15064/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1837124 CPUtime=1601.53 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 458819 0 0 0 159507 646 0 0 25 0 1 0 187860024 1881214976 458753 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 459281 458753 136 292 0 458986 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 1837124 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1610.9 s] /proc/loadavg: 1.08 1.05 1.01 2/65 5822 /proc/meminfo: memFree=16280/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=1843328 CPUtime=1610.12 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4194304 460378 0 0 0 160363 649 0 0 25 0 1 0 187860024 1887567872 460312 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 460832 460312 136 292 0 460537 0 Current children cumulated CPU time (s) 1610.12 Current children cumulated vsize (KiB) 1843328 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1611.01 s] /proc/loadavg: 1.08 1.05 1.01 2/65 5822 /proc/meminfo: memFree=16280/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=0 CPUtime=1610.22 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4195332 460378 0 0 0 160363 659 0 0 25 0 1 0 187860024 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1610.22 Current children cumulated vsize (KiB) 0 [startup+1611.1 s] /proc/loadavg: 1.08 1.05 1.01 2/65 5822 /proc/meminfo: memFree=16280/2055920 swapFree=4181656/4192956 [pid=5325] ppid=5323 vsize=0 CPUtime=1610.32 /proc/5325/stat : 5325 (wbo) R 5323 5325 4769 0 -1 4195332 460378 0 0 0 160363 669 0 0 25 0 1 0 187860024 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5325/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1610.32 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1611.17 CPU time (s): 1610.4 CPU user time (s): 1603.64 CPU system time (s): 6.75997 CPU usage (%): 99.9521 Max. virtual memory (cumulated for all children) (KiB): 1843328 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1603.64 system time used= 6.75997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460378 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 5726 runsolver used 1.26481 second user time and 4.6213 second system time The end
Begin job on node18 at 2009-06-17 03:36:38 IDJOB=1875366 IDBENCH=48206 IDSOLVER=698 FILE ID=node18/1875366-1245202598 PBS_JOBID= 9368325 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_4.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875366-1245202598/watcher-1875366-1245202598 -o /tmp/evaluation-result-1875366-1245202598/solver-1875366-1245202598 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875366-1245202598.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9 RANDOM SEED=1509041093 node18.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.236 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.236 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: 1870272 kB Buffers: 49256 kB Cached: 91536 kB SwapCached: 5544 kB Active: 78780 kB Inactive: 69916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870272 kB SwapTotal: 4192956 kB SwapFree: 4181656 kB Dirty: 2392 kB Writeback: 0 kB Mapped: 12948 kB Slab: 23012 kB Committed_AS: 164752 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875366-1245202598.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-17 04:03:32