Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1563.47 | 1563.89 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_2.opb |
MD5SUM | 597624b9879736416e28e0a242fe0005 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 10.3274 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
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 | 20 |
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) | 1260 |
Sum of products size (including duplicates) | 2520 |
Number of different products | 630 |
Sum of products size | 1260 |
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-1875329-1245198671.opb. 0.00/0.00 c Instance file HOME/instance-1875329-1245198671.opb 0.00/0.00 c File size is 49758 bytes. 0.00/0.00 c Highest Coefficient sum: 20 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: 730 | 0.00/0.00 c | Number Clauses: 730 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 630 | 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.009998 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.011998 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.013997 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.015997 s Remaining CPU time: 1799.98 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.017997 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.019996 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.021996 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.023996 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.025996 s Remaining CPU time: 1799.97 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.027995 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.030995 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #13 0.03/0.03 c Core size: 4 Core Weight: 1 Total Weight: -87 0.03/0.03 c Elapsed CPU time: 0.032994 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.034994 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.036994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #16 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -84 0.03/0.04 c Elapsed CPU time: 0.038994 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.040993 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.042993 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.044993 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.046992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #21 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -79 0.03/0.05 c Elapsed CPU time: 0.048992 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.050992 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.052991 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.054991 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.056991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #26 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -74 0.03/0.06 c Elapsed CPU time: 0.058991 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.06099 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.06299 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.06499 s Remaining CPU time: 1799.94 s 0.03/0.07 c core #30 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -70 0.03/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.03/0.07 c core #31 0.03/0.07 c Core size: 4 Core Weight: 1 Total Weight: -69 0.03/0.07 c Elapsed CPU time: 0.068989 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.071989 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.073988 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.074988 s Remaining CPU time: 1799.93 s 0.03/0.08 c core #35 0.03/0.08 c Core size: 4 Core Weight: 1 Total Weight: -65 0.03/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 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.077988 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.080987 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.082987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #39 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -61 0.03/0.09 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.03/0.09 c core #40 0.03/0.09 c Core size: 4 Core Weight: 1 Total Weight: -60 0.03/0.09 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.088986 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.090986 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.10 c core #44 0.03/0.10 c Core size: 4 Core Weight: 1 Total Weight: -56 0.03/0.10 c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #45 0.09/0.10 c Core size: 4 Core Weight: 1 Total Weight: -55 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #46 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: -54 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #47 0.09/0.10 c Core size: 9 Core Weight: 1 Total Weight: -53 0.09/0.10 c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #48 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: -52 0.09/0.11 c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s 0.09/0.11 c core #49 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: -51 0.09/0.11 c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #50 0.09/0.11 c Core size: 9 Core Weight: 1 Total Weight: -50 0.09/0.11 c Elapsed CPU time: 0.108983 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 | 210 1610 3348 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #51 0.09/0.11 c Core size: 27 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.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 | 220 1611 3368 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #52 0.09/0.12 c Core size: 22 Core Weight: 1 Total Weight: -48 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 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 | 228 1612 3384 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #53 0.09/0.12 c Core size: 16 Core Weight: 1 Total Weight: -47 0.09/0.12 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 | 234 1613 3396 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #54 0.09/0.12 c Core size: 27 Core Weight: 1 Total Weight: -46 0.09/0.12 c Elapsed CPU time: 0.118981 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 | 244 1614 3416 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #55 0.09/0.12 c Core size: 17 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.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 | 250 1615 3428 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #56 0.09/0.13 c Core size: 25 Core Weight: 1 Total Weight: -44 0.09/0.13 c Elapsed CPU time: 0.123981 s Remaining CPU time: 1799.88 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 | 260 1616 3448 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #57 0.09/0.13 c Core size: 32 Core Weight: 1 Total Weight: -43 0.09/0.13 c Elapsed CPU time: 0.12698 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 | 272 1617 3472 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #58 0.09/0.13 c Core size: 68 Core Weight: 1 Total Weight: -42 0.09/0.13 c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 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 | 296 1618 3520 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #59 0.09/0.14 c Core size: 43 Core Weight: 1 Total Weight: -41 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 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 | 312 1619 3552 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #60 0.09/0.14 c Core size: 93 Core Weight: 1 Total Weight: -40 0.09/0.14 c Elapsed CPU time: 0.136979 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 | 340 1620 3608 | 5000 0 nan | 0.000 % | 0.09/0.15 c | 100 | 340 1620 3608 | 5500 100 22 | 64.949 % | 0.09/0.15 c | 250 | 340 1620 3608 | 6050 250 33 | 64.949 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #61 0.09/0.16 c Core size: 138 Core Weight: 1 Total Weight: -39 0.09/0.16 c Elapsed CPU time: 0.155976 s Remaining CPU time: 1799.84 s 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 374 1621 3676 | 5000 0 nan | 0.000 % | 0.09/0.17 c | 100 | 374 1621 3676 | 5500 100 35 | 62.749 % | 0.09/0.17 c | 253 | 374 1621 3676 | 6050 253 39 | 62.749 % | 0.09/0.19 c | 481 | 374 1621 3676 | 6655 481 48 | 62.749 % | 0.19/0.22 c | 819 | 374 1621 3676 | 7320 819 61 | 62.749 % | 0.19/0.27 c | 1325 | 374 1621 3676 | 8052 1325 64 | 62.749 % | 0.29/0.34 c =============================================================================== 0.29/0.35 c core #62 0.29/0.35 c Core size: 334 Core Weight: 1 Total Weight: -38 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 440 1622 3808 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 101 | 440 1622 3808 | 5500 101 47 | 58.879 % | 0.29/0.37 c | 254 | 440 1622 3808 | 6050 254 38 | 58.879 % | 0.29/0.38 c | 479 | 440 1622 3808 | 6655 479 48 | 58.879 % | 0.39/0.41 c | 818 | 440 1622 3808 | 7320 818 58 | 58.879 % | 0.39/0.45 c | 1324 | 440 1622 3808 | 8052 1324 58 | 58.879 % | 0.49/0.53 c | 2083 | 440 1622 3808 | 8857 2083 68 | 58.879 % | 0.59/0.66 c | 3223 | 440 1622 3808 | 9743 3223 66 | 58.879 % | 0.79/0.88 c | 4931 | 439 1622 3808 | 10717 4906 77 | 58.972 % | 0.89/0.94 c =============================================================================== 0.89/0.98 c core #63 0.89/0.98 c Core size: 446 Core Weight: 1 Total Weight: -37 0.89/0.98 c Elapsed CPU time: 0.953854 s Remaining CPU time: 1799.05 s 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 516 1623 3960 | 5000 0 nan | 0.000 % | 0.89/0.99 c | 100 | 516 1623 3960 | 5500 100 21 | 54.974 % | 0.89/0.99 c | 252 | 516 1623 3960 | 6050 252 39 | 54.974 % | 0.99/1.01 c | 477 | 516 1623 3960 | 6655 477 56 | 54.974 % | 0.99/1.04 c | 817 | 516 1623 3960 | 7320 817 66 | 54.974 % | 0.99/1.08 c | 1324 | 516 1623 3960 | 8052 1324 72 | 54.974 % | 1.10/1.17 c | 2083 | 516 1623 3960 | 8857 2083 73 | 54.974 % | 1.29/1.34 c | 3222 | 516 1623 3960 | 9743 3222 85 | 54.974 % | 1.69/1.72 c | 4930 | 515 1623 3960 | 10717 4929 108 | 55.061 % | 1.99/2.08 c =============================================================================== 2.09/2.13 c core #64 2.09/2.13 c Core size: 434 Core Weight: 1 Total Weight: -36 2.09/2.13 c Elapsed CPU time: 2.09568 s Remaining CPU time: 1797.9 s 2.09/2.14 c ============================[ Search Statistics ]============================== 2.09/2.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.14 c =============================================================================== 2.09/2.14 c | 0 | 588 1624 4104 | 5000 0 nan | 0.000 % | 2.09/2.14 c | 100 | 588 1624 4104 | 5500 100 28 | 51.724 % | 2.09/2.15 c | 252 | 588 1624 4104 | 6050 252 28 | 51.724 % | 2.09/2.17 c | 478 | 588 1624 4104 | 6655 478 42 | 51.724 % | 2.09/2.19 c | 815 | 588 1624 4104 | 7320 815 47 | 51.724 % | 2.19/2.24 c | 1321 | 588 1624 4104 | 8052 1321 61 | 51.724 % | 2.29/2.34 c | 2082 | 588 1624 4104 | 8857 2082 72 | 51.724 % | 2.49/2.52 c | 3222 | 588 1624 4104 | 9743 3222 80 | 51.724 % | 2.79/2.84 c | 4934 | 588 1624 4104 | 10717 4934 93 | 51.724 % | 3.59/3.67 c | 7496 | 588 1624 4104 | 11789 7496 106 | 51.724 % | 5.40/5.42 c | 11344 | 588 1624 4104 | 12968 11344 109 | 51.724 % | 7.79/7.88 c | 17111 | 588 1624 4104 | 14265 10245 135 | 51.724 % | 11.59/11.66 c | 25763 | 588 1624 4104 | 15692 11371 164 | 51.724 % | 13.58/13.64 c =============================================================================== 13.98/14.06 c core #65 13.98/14.06 c Core size: 406 Core Weight: 1 Total Weight: -35 13.98/14.06 c Elapsed CPU time: 13.9329 s Remaining CPU time: 1786.07 s 14.08/14.10 c ============================[ Search Statistics ]============================== 14.08/14.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.08/14.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.08/14.10 c =============================================================================== 14.08/14.10 c | 0 | 652 1625 4232 | 5000 0 nan | 0.000 % | 14.08/14.11 c | 104 | 652 1625 4232 | 5500 104 99 | 49.142 % | 14.08/14.12 c | 254 | 652 1625 4232 | 6050 254 58 | 49.142 % | 14.08/14.13 c | 481 | 652 1625 4232 | 6655 481 59 | 49.142 % | 14.08/14.15 c | 818 | 652 1625 4232 | 7320 818 60 | 49.142 % | 14.08/14.19 c | 1325 | 652 1625 4232 | 8052 1325 69 | 49.142 % | 14.19/14.28 c | 2085 | 652 1625 4232 | 8857 2085 77 | 49.142 % | 14.38/14.41 c | 3226 | 652 1625 4232 | 9743 3226 82 | 49.142 % | 14.69/14.72 c | 4934 | 652 1625 4232 | 10717 4934 102 | 49.142 % | 14.98/15.04 c | 7498 | 652 1625 4232 | 11789 7498 90 | 49.142 % | 15.69/15.78 c | 11342 | 652 1625 4232 | 12968 11342 97 | 49.142 % | 17.29/17.33 c | 17108 | 652 1625 4232 | 14265 10252 114 | 49.142 % | 20.58/20.65 c | 25757 | 652 1625 4232 | 15692 11391 167 | 49.142 % | 26.78/26.89 c | 38731 | 652 1625 4232 | 17261 16112 150 | 49.142 % | 39.38/39.44 c | 58192 | 652 1625 4232 | 18987 17517 234 | 49.142 % | 59.38/59.41 c | 87388 | 652 1625 4232 | 20886 17105 277 | 49.142 % | 89.86/89.92 c | 131177 | 652 1625 4232 | 22974 17587 226 | 49.142 % | 135.66/135.78 c | 196864 | 652 1625 4232 | 25272 11989 123 | 49.142 % | 202.94/203.08 c | 295396 | 652 1625 4232 | 27799 18485 296 | 49.142 % | 363.39/363.54 c | 443186 | 652 1625 4232 | 30579 14433 296 | 49.142 % | 646.02/646.28 c | 664869 | 652 1625 4232 | 33637 21979 461 | 49.143 % | 1056.91/1057.29 c =============================================================================== 1082.01/1082.40 c core #66 1082.01/1082.40 c Core size: 825 Core Weight: 1 Total Weight: -34 1082.01/1082.40 c Elapsed CPU time: 1077.75 s Remaining CPU time: 722.251 s 1083.00/1083.32 c ============================[ Search Statistics ]============================== 1083.00/1083.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 1083.00/1083.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1083.00/1083.32 c =============================================================================== 1083.00/1083.32 c | 0 | 752 1626 4432 | 5000 0 nan | 0.000 % | 1083.11/1083.43 c | 103 | 752 1626 4432 | 5500 103 99 | 45.586 % | 1083.11/1083.50 c | 254 | 752 1626 4432 | 6050 254 67 | 45.586 % | 1083.21/1083.52 c | 480 | 752 1626 4432 | 6655 480 65 | 45.586 % | 1083.21/1083.55 c | 817 | 752 1626 4432 | 7320 817 65 | 45.586 % | 1083.30/1083.60 c | 1324 | 752 1626 4432 | 8052 1324 81 | 45.586 % | 1083.40/1083.71 c | 2083 | 752 1626 4432 | 8857 2083 106 | 45.586 % | 1083.50/1083.86 c | 3222 | 752 1626 4432 | 9743 3222 119 | 45.586 % | 1084.00/1084.37 c | 4930 | 752 1626 4432 | 10717 4930 135 | 45.586 % | 1085.20/1085.52 c | 7493 | 752 1626 4432 | 11789 7493 152 | 45.586 % | 1087.51/1087.81 c | 11337 | 752 1626 4432 | 12968 11337 169 | 45.586 % | 1091.80/1092.20 c | 17104 | 752 1626 4432 | 14265 10262 194 | 45.586 % | 1096.30/1096.69 c | 25754 | 752 1626 4432 | 15692 11364 170 | 45.586 % | 1104.60/1104.90 c | 38730 | 752 1626 4432 | 17261 16109 218 | 45.586 % | 1119.99/1120.36 c | 58199 | 752 1626 4432 | 18987 17571 246 | 45.586 % | 1151.29/1151.66 c | 87397 | 752 1626 4432 | 20886 17159 245 | 45.586 % | 1198.47/1198.86 c | 131193 | 752 1626 4432 | 22974 17676 291 | 45.586 % | 1274.46/1274.82 c | 196877 | 752 1626 4432 | 25272 12101 263 | 45.586 % | 1396.72/1397.15 c | 295403 | 752 1626 4432 | 27799 17490 352 | 45.586 % |
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-1875329-1245198671/watcher-1875329-1245198671 -o /tmp/evaluation-result-1875329-1245198671/solver-1875329-1245198671 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875329-1245198671.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.93 0.97 0.99 3/65 9714 /proc/meminfo: memFree=1811384/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=2576 CPUtime=0 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 222 0 0 0 0 0 0 0 18 0 1 0 187466499 2637824 206 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 644 206 129 292 0 336 0 [startup+0.033789 s] /proc/loadavg: 0.93 0.97 0.99 3/65 9714 /proc/meminfo: memFree=1811384/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=3336 CPUtime=0.03 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 424 0 0 0 3 0 0 0 18 0 1 0 187466499 3416064 395 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 834 395 134 292 0 539 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3336 [startup+0.102797 s] /proc/loadavg: 0.93 0.97 0.99 3/65 9714 /proc/meminfo: memFree=1811384/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=4688 CPUtime=0.09 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 767 0 0 0 9 0 0 0 18 0 1 0 187466499 4800512 738 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 1172 738 134 292 0 877 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4688 [startup+0.302819 s] /proc/loadavg: 0.93 0.97 0.99 3/65 9714 /proc/meminfo: memFree=1811384/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=6036 CPUtime=0.29 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 1118 0 0 0 29 0 0 0 19 0 1 0 187466499 6180864 1089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 1509 1089 136 292 0 1214 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6036 [startup+0.701865 s] /proc/loadavg: 0.93 0.97 0.99 3/65 9714 /proc/meminfo: memFree=1811384/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=7096 CPUtime=0.69 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 1374 0 0 0 67 2 0 0 22 0 1 0 187466499 7266304 1345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 1774 1345 136 292 0 1479 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7096 [startup+1.50196 s] /proc/loadavg: 0.93 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1805040/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=8548 CPUtime=1.49 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 1748 0 0 0 146 3 0 0 25 0 1 0 187466499 8753152 1719 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 2137 1719 136 292 0 1842 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8548 [startup+3.10114 s] /proc/loadavg: 0.93 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1803312/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=10552 CPUtime=3.09 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 2217 0 0 0 305 4 0 0 25 0 1 0 187466499 10805248 2188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 2638 2188 136 292 0 2343 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10552 [startup+6.3015 s] /proc/loadavg: 0.93 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1800368/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=14712 CPUtime=6.29 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 3257 0 0 0 623 6 0 0 25 0 1 0 187466499 15065088 3228 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 3678 3228 136 292 0 3383 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14712 [startup+12.7012 s] /proc/loadavg: 0.94 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1786352/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=28868 CPUtime=12.69 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 6784 0 0 0 1258 11 0 0 25 0 1 0 187466499 29560832 6755 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 7217 6755 136 292 0 6922 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28868 [startup+25.5017 s] /proc/loadavg: 0.95 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1771888/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=42088 CPUtime=25.48 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 10096 0 0 0 2526 22 0 0 25 0 1 0 187466499 43098112 10067 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 10522 10067 136 292 0 10227 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 42088 [startup+51.1016 s] /proc/loadavg: 0.97 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1726768/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=87476 CPUtime=51.08 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 21445 0 0 0 5069 39 0 0 25 0 1 0 187466499 89575424 21416 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 21869 21416 136 292 0 21574 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 87476 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1642480/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=170936 CPUtime=102.27 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 42301 0 0 0 10159 68 0 0 25 0 1 0 187466499 175038464 42272 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 42734 42272 136 292 0 42439 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 170936 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1540848/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=273128 CPUtime=162.24 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 67836 0 0 0 16120 104 0 0 25 0 1 0 187466499 279683072 67807 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 68282 67807 136 292 0 67987 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 273128 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1427120/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=386396 CPUtime=222.23 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 96123 0 0 0 22082 141 0 0 25 0 1 0 187466499 395669504 96094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 96599 96094 136 292 0 96304 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 386396 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1328496/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=485364 CPUtime=282.21 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 120815 0 0 0 28052 169 0 0 25 0 1 0 187466499 497012736 120786 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 121341 120786 136 292 0 121046 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 485364 [startup+342.303 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1229360/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=583732 CPUtime=342.2 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 145414 0 0 0 34024 196 0 0 25 0 1 0 187466499 597741568 145385 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 145933 145385 136 292 0 145638 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 583732 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1127216/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=687168 CPUtime=402.18 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 171266 0 0 0 39990 228 0 0 25 0 1 0 187466499 703660032 171237 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 171792 171237 136 292 0 171497 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 687168 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=1039984/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=773120 CPUtime=462.17 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 192730 0 0 0 45967 250 0 0 25 0 1 0 187466499 791674880 192701 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 193280 192701 136 292 0 192985 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 773120 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=933680/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=880028 CPUtime=522.16 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 219448 0 0 0 51937 279 0 0 25 0 1 0 187466499 901148672 219419 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 220007 219419 136 292 0 219712 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 880028 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=848176/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=964896 CPUtime=582.13 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 240633 0 0 0 57908 305 0 0 25 0 1 0 187466499 988053504 240604 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 241224 240604 136 292 0 240929 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 964896 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=778672/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1033492 CPUtime=642.12 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 257776 0 0 0 63888 324 0 0 25 0 1 0 187466499 1058295808 257747 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 258373 257747 136 292 0 258078 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1033492 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=720880/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1091976 CPUtime=702.11 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 272356 0 0 0 69870 341 0 0 25 0 1 0 187466499 1118183424 272327 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 272994 272327 136 292 0 272699 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1091976 [startup+762.305 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=654384/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1157728 CPUtime=762.09 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 288811 0 0 0 75850 359 0 0 25 0 1 0 187466499 1185513472 288782 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 289432 288782 136 292 0 289137 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1157728 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=577712/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1234656 CPUtime=822.07 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 308028 0 0 0 81829 378 0 0 25 0 1 0 187466499 1264287744 307999 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 308664 307999 136 292 0 308369 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1234656 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=533808/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1278248 CPUtime=882.06 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 318928 0 0 0 87814 392 0 0 25 0 1 0 187466499 1308925952 318899 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 319562 318899 136 292 0 319267 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1278248 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=483312/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1329712 CPUtime=942.04 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 331764 0 0 0 93798 406 0 0 25 0 1 0 187466499 1361625088 331735 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 332428 331735 136 292 0 332133 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1329712 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=454128/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1357740 CPUtime=1002.03 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 338785 0 0 0 99788 415 0 0 25 0 1 0 187466499 1390325760 338756 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 339435 338756 136 292 0 339140 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1357740 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=384752/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1428884 CPUtime=1062.01 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 356546 0 0 0 105767 434 0 0 25 0 1 0 187466499 1463177216 356517 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 357221 356517 136 292 0 356926 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1428884 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=370288/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1440348 CPUtime=1121.99 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 359708 0 0 0 111750 449 0 0 25 0 1 0 187466499 1474916352 359645 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 360087 359645 136 292 0 359792 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1440348 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=346160/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1465520 CPUtime=1181.98 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 366008 0 0 0 117729 469 0 0 25 0 1 0 187466499 1500692480 365945 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 366380 365945 136 292 0 366085 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1465520 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9715 /proc/meminfo: memFree=280560/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1530500 CPUtime=1241.96 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 382233 0 0 0 123703 493 0 0 25 0 1 0 187466499 1567232000 382170 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 382625 382170 136 292 0 382330 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1530500 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9717 /proc/meminfo: memFree=215856/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1594376 CPUtime=1301.94 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 398187 0 0 0 129679 515 0 0 25 0 1 0 187466499 1632641024 398124 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 398594 398124 136 292 0 398299 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1594376 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9717 /proc/meminfo: memFree=149424/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1661476 CPUtime=1361.93 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 414921 0 0 0 135649 544 0 0 25 0 1 0 187466499 1701351424 414858 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 415369 414858 136 292 0 415074 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1661476 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9717 /proc/meminfo: memFree=101360/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1708896 CPUtime=1421.91 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 426750 0 0 0 141629 562 0 0 25 0 1 0 187466499 1749909504 426687 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 427224 426687 136 292 0 426929 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1708896 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/66 9717 /proc/meminfo: memFree=51056/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1759468 CPUtime=1481.9 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 439408 0 0 0 147609 581 0 0 25 0 1 0 187466499 1801695232 439345 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 439867 439345 136 292 0 439572 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1759468 [startup+1542.3 s] /proc/loadavg: 1.06 0.99 0.99 2/66 9717 /proc/meminfo: memFree=15536/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1815720 CPUtime=1541.88 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 453453 0 0 0 153587 601 0 0 25 0 1 0 187466499 1859297280 453390 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 453930 453390 136 292 0 453635 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1815720 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1563.6 s] /proc/loadavg: 1.10 1.00 1.00 2/66 9717 /proc/meminfo: memFree=16112/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=1843224 CPUtime=1563.17 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4194304 460319 0 0 0 155707 610 0 0 25 0 1 0 187466499 1887461376 460256 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 460806 460256 136 292 0 460511 0 Current children cumulated CPU time (s) 1563.17 Current children cumulated vsize (KiB) 1843224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1563.8 s] /proc/loadavg: 1.10 1.00 1.00 2/66 9717 /proc/meminfo: memFree=16112/2055920 swapFree=4191900/4192956 [pid=9714] ppid=9712 vsize=0 CPUtime=1563.37 /proc/9714/stat : 9714 (wbo) R 9712 9714 8618 0 -1 4195332 460319 0 0 0 155707 630 0 0 25 0 1 0 187466499 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9714/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1563.37 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1563.89 CPU time (s): 1563.47 CPU user time (s): 1557.08 CPU system time (s): 6.39303 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 1843224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1557.08 system time used= 6.39303 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460319 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= 2 involuntary context switches= 1987 runsolver used 1.71674 second user time and 3.35349 second system time The end
Begin job on node32 at 2009-06-17 02:31:11 IDJOB=1875329 IDBENCH=48169 IDSOLVER=698 FILE ID=node32/1875329-1245198671 PBS_JOBID= 9368321 Free space on /tmp= 66344 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875329-1245198671/watcher-1875329-1245198671 -o /tmp/evaluation-result-1875329-1245198671/solver-1875329-1245198671 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875329-1245198671.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 597624b9879736416e28e0a242fe0005 RANDOM SEED=647926256 node32.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: 1811928 kB Buffers: 56948 kB Cached: 111160 kB SwapCached: 260 kB Active: 73128 kB Inactive: 109312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811928 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2628 kB Writeback: 0 kB Mapped: 23780 kB Slab: 47316 kB Committed_AS: 198860 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875329-1245198671.opb Free space on /tmp at the end= 66340 MiB End job on node32 at 2009-06-17 02:57:16