Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1418.25 | 1418.87 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_5.opb |
MD5SUM | a142d6d7b95394ce9dab5e7d7d075ea6 |
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 | 7.82081 |
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) | 1252 |
Sum of products size (including duplicates) | 2504 |
Number of different products | 626 |
Sum of products size | 1252 |
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-1875334-1245199262.opb. 0.00/0.00 c Instance file HOME/instance-1875334-1245199262.opb 0.00/0.00 c File size is 49466 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: 726 | 0.00/0.00 c | Number Clauses: 726 | 0.00/0.00 c | Number Cardinality: 200 | 0.00/0.00 c | Number PB Constraints: 626 | 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.005999 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.006998 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.008998 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.010998 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.012998 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.014997 s Remaining CPU time: 1799.99 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.016997 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.018997 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.020996 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.022996 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.024996 s Remaining CPU time: 1799.98 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.026995 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.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -86 0.00/0.03 c Elapsed CPU time: 0.030995 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.032994 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.039993 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.041993 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.043993 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.045993 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.047992 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.049992 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.050992 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.053991 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.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.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.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.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.10 c core #45 0.03/0.10 c Core size: 9 Core Weight: 1 Total Weight: -55 0.03/0.10 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: 8 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: 9 Core Weight: 1 Total Weight: -53 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #48 0.09/0.10 c Core size: 14 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.11 c core #49 0.09/0.11 c Core size: 14 Core Weight: 1 Total Weight: -51 0.09/0.11 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: 13 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 core #51 0.09/0.11 c Core size: 18 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 core #52 0.09/0.11 c Core size: 28 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 | 234 1604 3378 | 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 | 242 1605 3394 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #54 0.09/0.12 c Core size: 31 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 | 254 1606 3418 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #55 0.09/0.12 c Core size: 16 Core Weight: 1 Total Weight: -45 0.09/0.12 c Elapsed CPU time: 0.119981 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 | 260 1607 3430 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #56 0.09/0.12 c Core size: 26 Core Weight: 1 Total Weight: -44 0.09/0.12 c Elapsed CPU time: 0.121981 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 | 270 1608 3450 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #57 0.09/0.12 c Core size: 37 Core Weight: 1 Total Weight: -43 0.09/0.12 c Elapsed CPU time: 0.124981 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 | 284 1609 3478 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #58 0.09/0.13 c Core size: 36 Core Weight: 1 Total Weight: -42 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 | 297 1610 3504 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #59 0.09/0.13 c Core size: 39 Core Weight: 1 Total Weight: -41 0.09/0.13 c Elapsed CPU time: 0.13098 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 | 310 1611 3530 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #60 0.09/0.14 c Core size: 92 Core Weight: 1 Total Weight: -40 0.09/0.14 c Elapsed CPU time: 0.134979 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 | 335 1612 3580 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 100 | 335 1612 3580 | 5500 100 17 | 65.141 % | 0.09/0.15 c | 250 | 335 1612 3580 | 6050 250 33 | 65.141 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #61 0.09/0.15 c Core size: 212 Core Weight: 1 Total Weight: -39 0.09/0.15 c Elapsed CPU time: 0.150977 s Remaining CPU time: 1799.85 s 0.09/0.15 c ============================[ Search Statistics ]============================== 0.09/0.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 383 1613 3676 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 100 | 383 1613 3676 | 5500 100 24 | 62.042 % | 0.09/0.16 c | 254 | 383 1613 3676 | 6050 254 28 | 62.042 % | 0.09/0.17 c | 486 | 383 1613 3676 | 6655 486 35 | 62.042 % | 0.09/0.19 c | 826 | 383 1613 3676 | 7320 826 41 | 62.042 % | 0.19/0.20 c =============================================================================== 0.19/0.21 c core #62 0.19/0.21 c Core size: 297 Core Weight: 1 Total Weight: -38 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 447 1614 3804 | 5000 0 nan | 0.000 % | 0.19/0.21 c | 101 | 447 1614 3804 | 5500 101 17 | 58.341 % | 0.19/0.22 c | 251 | 447 1614 3804 | 6050 251 26 | 58.347 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c core #63 0.19/0.22 c Core size: 167 Core Weight: 1 Total Weight: -37 0.19/0.22 c Elapsed CPU time: 0.213967 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 488 1615 3886 | 5000 0 nan | 0.000 % | 0.19/0.23 c | 100 | 488 1615 3886 | 5500 100 53 | 56.194 % | 0.19/0.23 c | 254 | 488 1615 3886 | 6050 254 45 | 56.194 % | 0.19/0.24 c | 483 | 488 1615 3886 | 6655 483 43 | 56.194 % | 0.19/0.26 c | 820 | 488 1615 3886 | 7320 820 36 | 56.194 % | 0.19/0.29 c | 1329 | 488 1615 3886 | 8052 1329 38 | 56.194 % | 0.29/0.37 c | 2088 | 488 1615 3886 | 8857 2088 52 | 56.194 % | 0.39/0.43 c =============================================================================== 0.39/0.44 c core #64 0.39/0.44 c Core size: 372 Core Weight: 1 Total Weight: -36 0.39/0.44 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 553 1616 4016 | 5000 0 nan | 0.000 % | 0.39/0.45 c | 104 | 553 1616 4016 | 5500 104 80 | 53.096 % | 0.39/0.46 c | 254 | 553 1616 4016 | 6050 254 72 | 53.096 % | 0.39/0.47 c | 481 | 553 1616 4016 | 6655 481 79 | 53.096 % | 0.49/0.50 c | 818 | 553 1616 4016 | 7320 818 85 | 53.096 % | 0.49/0.58 c | 1330 | 553 1616 4016 | 8052 1330 100 | 53.096 % | 0.69/0.70 c | 2094 | 553 1616 4016 | 8857 2094 98 | 53.096 % | 0.79/0.89 c | 3233 | 553 1616 4016 | 9743 3233 103 | 53.096 % | 1.19/1.27 c | 4941 | 553 1616 4016 | 10717 4941 117 | 53.096 % | 1.69/1.74 c | 7506 | 553 1616 4016 | 11789 7506 114 | 53.096 % | 2.39/2.41 c | 11351 | 553 1616 4016 | 12968 11351 106 | 53.096 % | 3.69/3.72 c | 17117 | 553 1616 4016 | 14265 10271 99 | 53.096 % | 6.99/7.01 c | 25769 | 553 1616 4016 | 15692 11409 151 | 53.096 % | 12.69/12.79 c | 38744 | 553 1616 4016 | 17261 16184 170 | 53.096 % | 27.49/27.57 c =============================================================================== 28.38/28.46 c core #65 28.38/28.46 c Core size: 550 Core Weight: 1 Total Weight: -35 28.38/28.46 c Elapsed CPU time: 28.2337 s Remaining CPU time: 1771.77 s 28.49/28.53 c ============================[ Search Statistics ]============================== 28.49/28.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.49/28.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.49/28.53 c =============================================================================== 28.49/28.53 c | 0 | 631 1617 4172 | 5000 0 nan | 0.000 % | 28.49/28.54 c | 102 | 631 1617 4172 | 5500 102 77 | 49.801 % | 28.49/28.55 c | 253 | 631 1617 4172 | 6050 253 47 | 49.801 % | 28.49/28.56 c | 479 | 631 1617 4172 | 6655 479 45 | 49.801 % | 28.49/28.58 c | 817 | 631 1617 4172 | 7320 817 41 | 49.801 % | 28.59/28.61 c | 1323 | 631 1617 4172 | 8052 1323 47 | 49.801 % | 28.59/28.68 c | 2082 | 631 1617 4172 | 8857 2082 63 | 49.801 % | 28.78/28.85 c | 3222 | 631 1617 4172 | 9743 3222 79 | 49.801 % | 29.08/29.10 c | 4931 | 631 1617 4172 | 10717 4931 82 | 49.801 % | 29.49/29.53 c | 7494 | 631 1617 4172 | 11789 7494 87 | 49.801 % | 30.28/30.39 c | 11338 | 631 1617 4172 | 12968 11338 88 | 49.801 % | 31.58/31.61 c | 17106 | 631 1617 4172 | 14265 10262 71 | 49.801 % | 33.58/33.68 c | 25755 | 631 1617 4172 | 15692 11359 75 | 49.801 % | 38.48/38.55 c | 38730 | 631 1617 4172 | 17261 16104 130 | 49.801 % | 45.87/45.92 c | 58193 | 631 1617 4172 | 18987 17522 113 | 49.801 % | 60.97/61.05 c | 87385 | 631 1617 4172 | 20886 17079 141 | 49.801 % | 82.86/82.96 c | 131174 | 631 1617 4172 | 22974 17640 185 | 49.801 % | 132.13/132.24 c | 196861 | 631 1617 4172 | 25272 12207 256 | 49.801 % | 230.99/231.15 c | 295390 | 631 1617 4172 | 27799 19621 314 | 49.801 % | 304.96/305.16 c =============================================================================== 315.86/316.00 c core #66 315.86/316.00 c Core size: 612 Core Weight: 1 Total Weight: -34 315.86/316.00 c Elapsed CPU time: 314.098 s Remaining CPU time: 1485.9 s 316.26/316.41 c ============================[ Search Statistics ]============================== 316.26/316.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 316.26/316.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 316.26/316.41 c =============================================================================== 316.26/316.41 c | 0 | 712 1618 4334 | 5000 0 nan | 0.000 % | 316.26/316.47 c | 100 | 712 1618 4334 | 5500 100 73 | 46.786 % | 316.26/316.49 c | 252 | 712 1618 4334 | 6050 252 52 | 46.786 % | 316.35/316.50 c | 477 | 712 1618 4334 | 6655 477 51 | 46.786 % | 316.35/316.52 c | 816 | 712 1618 4334 | 7320 816 49 | 46.786 % | 316.35/316.56 c | 1324 | 712 1618 4334 | 8052 1324 55 | 46.786 % | 316.45/316.65 c | 2084 | 712 1618 4334 | 8857 2084 70 | 46.786 % | 316.56/316.79 c | 3224 | 712 1618 4334 | 9743 3224 83 | 46.786 % | 316.85/317.06 c | 4933 | 712 1618 4334 | 10717 4933 104 | 46.786 % | 317.55/317.80 c | 7496 | 712 1618 4334 | 11789 7496 127 | 46.786 % | 319.05/319.24 c | 11341 | 712 1618 4334 | 12968 11341 142 | 46.786 % | 321.85/322.02 c | 17107 | 712 1618 4334 | 14265 10211 183 | 46.786 % | 325.05/325.22 c | 25760 | 712 1618 4334 | 15692 11371 148 | 46.786 % | 333.85/334.01 c | 38735 | 712 1618 4334 | 17261 16109 211 | 46.786 % | 347.14/347.38 c | 58196 | 712 1618 4334 | 18987 17574 243 | 46.786 % | 369.35/369.60 c | 87389 | 712 1618 4334 | 20886 17172 202 | 46.786 % | 401.12/401.33 c | 131179 | 712 1618 4334 | 22974 17750 168 | 46.786 % | 482.79/483.05 c | 196863 | 712 1618 4334 | 25272 12146 180 | 46.786 % | 575.75/576.07 c | 295392 | 712 1618 4334 | 27799 18690 175 | 46.786 % | 734.87/735.20 c | 443182 | 712 1618 4334 | 30579 17292 328 | 46.786 % | 975.07/975.55 c | 664866 | 712 1618 4334 | 33637 28055 380 | 46.786 % | 1335.01/1335.65 c | 997394 | 712 1618 4334 | 37001 23430 294 | 46.786 % |
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-1875334-1245199262/watcher-1875334-1245199262 -o /tmp/evaluation-result-1875334-1245199262/solver-1875334-1245199262 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875334-1245199262.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 8503 /proc/meminfo: memFree=1825848/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=2708 CPUtime=0 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 224 0 0 0 0 0 0 0 18 0 1 0 187523012 2772992 208 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 677 208 129 292 0 369 0 [startup+0.034691 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8503 /proc/meminfo: memFree=1825848/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=3332 CPUtime=0.03 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 439 0 0 0 3 0 0 0 18 0 1 0 187523012 3411968 410 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 833 410 134 292 0 538 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3332 [startup+0.101698 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8503 /proc/meminfo: memFree=1825848/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=4692 CPUtime=0.09 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 774 0 0 0 9 0 0 0 18 0 1 0 187523012 4804608 745 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 1173 745 134 292 0 878 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4692 [startup+0.301719 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8503 /proc/meminfo: memFree=1825848/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=5916 CPUtime=0.29 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 1088 0 0 0 28 1 0 0 18 0 1 0 187523012 6057984 1059 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 1479 1059 136 292 0 1184 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5916 [startup+0.701763 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8503 /proc/meminfo: memFree=1825848/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=7128 CPUtime=0.69 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 1393 0 0 0 67 2 0 0 20 0 1 0 187523012 7299072 1364 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 1782 1364 136 292 0 1487 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7128 [startup+1.50285 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1819888/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=10168 CPUtime=1.49 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 2124 0 0 0 145 4 0 0 25 0 1 0 187523012 10412032 2095 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 2542 2095 136 292 0 2247 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10168 [startup+3.10103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1815864/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=14856 CPUtime=3.09 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 3292 0 0 0 303 6 0 0 25 0 1 0 187523012 15212544 3263 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 3714 3263 136 292 0 3419 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14856 [startup+6.30138 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1807288/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=22776 CPUtime=6.29 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 5283 0 0 0 621 8 0 0 25 0 1 0 187523012 23322624 5254 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 5694 5254 136 292 0 5399 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22776 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1792056/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=36940 CPUtime=12.69 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 8842 0 0 0 1255 14 0 0 25 0 1 0 187523012 37826560 8813 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 9235 8813 136 292 0 8940 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 36940 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1768568/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=59628 CPUtime=25.49 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 14503 0 0 0 2528 21 0 0 25 0 1 0 187523012 61059072 14474 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 14907 14474 136 292 0 14612 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59628 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1733432/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=95400 CPUtime=51.06 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 23420 0 0 0 5064 42 0 0 25 0 1 0 187523012 97689600 23391 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 23850 23391 136 292 0 23555 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 95400 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1636984/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=190764 CPUtime=102.25 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 47255 0 0 0 10146 79 0 0 25 0 1 0 187523012 195342336 47226 1992294400 134512640 135709839 4294956240 18446744073709551615 134574295 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 47691 47226 136 292 0 47396 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 190764 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1546808/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=282184 CPUtime=162.22 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 70097 0 0 0 16115 107 0 0 25 0 1 0 187523012 288956416 70068 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 70546 70068 136 292 0 70251 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 282184 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8504 /proc/meminfo: memFree=1445304/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=382252 CPUtime=222.2 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 95116 0 0 0 22082 138 0 0 25 0 1 0 187523012 391426048 95087 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 95563 95087 136 292 0 95268 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 382252 [startup+282.302 s] /proc/loadavg: 1.04 1.01 1.00 2/65 8504 /proc/meminfo: memFree=1358392/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=470244 CPUtime=282.17 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 117093 0 0 0 28053 164 0 0 25 0 1 0 187523012 481529856 117064 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 117561 117064 136 292 0 117266 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 470244 [startup+342.301 s] /proc/loadavg: 1.05 1.02 1.00 2/65 8504 /proc/meminfo: memFree=1307896/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=518808 CPUtime=342.15 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 129338 0 0 0 34026 189 0 0 25 0 1 0 187523012 531259392 129281 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 129702 129281 136 292 0 129407 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 518808 [startup+402.301 s] /proc/loadavg: 1.13 1.05 1.01 2/65 8504 /proc/meminfo: memFree=1238712/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=588776 CPUtime=402.12 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 146779 0 0 0 39993 219 0 0 25 0 1 0 187523012 602906624 146722 1992294400 134512640 135709839 4294956240 18446744073709551615 134574136 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 147194 146722 136 292 0 146899 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 588776 [startup+462.302 s] /proc/loadavg: 1.12 1.05 1.00 2/65 8504 /proc/meminfo: memFree=1164600/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=662380 CPUtime=462.1 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 165171 0 0 0 45968 242 0 0 25 0 1 0 187523012 678277120 165114 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 165595 165114 136 292 0 165300 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 662380 [startup+522.301 s] /proc/loadavg: 1.11 1.06 1.00 2/65 8504 /proc/meminfo: memFree=1100728/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=726712 CPUtime=522.08 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 181245 0 0 0 51942 266 0 0 25 0 1 0 187523012 744153088 181188 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 181678 181188 136 292 0 181383 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 726712 [startup+582.302 s] /proc/loadavg: 1.10 1.06 1.00 2/65 8504 /proc/meminfo: memFree=1024248/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=802616 CPUtime=582.05 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 200184 0 0 0 57911 294 0 0 25 0 1 0 187523012 821878784 200127 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 200654 200127 136 292 0 200359 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 802616 [startup+642.302 s] /proc/loadavg: 1.08 1.06 1.00 2/65 8504 /proc/meminfo: memFree=942200/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=884296 CPUtime=642.03 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 220568 0 0 0 63886 317 0 0 25 0 1 0 187523012 905519104 220511 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 221074 220511 136 292 0 220779 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 884296 [startup+702.301 s] /proc/loadavg: 1.12 1.08 1.01 2/65 8506 /proc/meminfo: memFree=874808/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=952524 CPUtime=701.99 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 237581 0 0 0 69860 339 0 0 25 0 1 0 187523012 975384576 237524 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 238131 237524 136 292 0 237836 0 Current children cumulated CPU time (s) 701.99 Current children cumulated vsize (KiB) 952524 [startup+762.307 s] /proc/loadavg: 1.08 1.08 1.01 2/65 8506 /proc/meminfo: memFree=795704/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1030664 CPUtime=761.96 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 257124 0 0 0 75832 364 0 0 25 0 1 0 187523012 1055399936 257067 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 257666 257067 136 292 0 257371 0 Current children cumulated CPU time (s) 761.96 Current children cumulated vsize (KiB) 1030664 [startup+822.301 s] /proc/loadavg: 1.08 1.08 1.01 2/65 8506 /proc/meminfo: memFree=713400/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1113740 CPUtime=821.94 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 277864 0 0 0 81803 391 0 0 25 0 1 0 187523012 1140469760 277807 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 278435 277807 136 292 0 278140 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 1113740 [startup+882.301 s] /proc/loadavg: 1.06 1.07 1.01 2/65 8506 /proc/meminfo: memFree=651384/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1175056 CPUtime=881.92 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 293194 0 0 0 87776 416 0 0 25 0 1 0 187523012 1203257344 293137 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 293764 293137 136 292 0 293469 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 1175056 [startup+942.302 s] /proc/loadavg: 1.02 1.06 1.00 2/65 8506 /proc/meminfo: memFree=574200/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1253000 CPUtime=941.88 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 312653 0 0 0 93749 439 0 0 25 0 1 0 187523012 1283072000 312596 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 313250 312596 136 292 0 312955 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 1253000 [startup+1002.3 s] /proc/loadavg: 1.01 1.04 1.00 2/65 8506 /proc/meminfo: memFree=494712/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1331736 CPUtime=1001.87 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 332331 0 0 0 99718 469 0 0 25 0 1 0 187523012 1363697664 332274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 332934 332274 136 292 0 332639 0 Current children cumulated CPU time (s) 1001.87 Current children cumulated vsize (KiB) 1331736 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 8506 /proc/meminfo: memFree=416120/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1410788 CPUtime=1061.84 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 352086 0 0 0 105686 498 0 0 25 0 1 0 187523012 1444646912 352029 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 352697 352029 136 292 0 352402 0 Current children cumulated CPU time (s) 1061.84 Current children cumulated vsize (KiB) 1410788 [startup+1122.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 8506 /proc/meminfo: memFree=348216/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1478376 CPUtime=1121.81 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 368984 0 0 0 111657 524 0 0 25 0 1 0 187523012 1513857024 368927 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 369594 368927 136 292 0 369299 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 1478376 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 8506 /proc/meminfo: memFree=280120/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1546404 CPUtime=1181.79 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 385996 0 0 0 117633 546 0 0 25 0 1 0 187523012 1583517696 385939 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 386601 385939 136 292 0 386306 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 1546404 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8512 /proc/meminfo: memFree=201528/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1624200 CPUtime=1241.76 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 405446 0 0 0 123608 568 0 0 25 0 1 0 187523012 1663180800 405389 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 406050 405389 136 292 0 405755 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 1624200 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 8512 /proc/meminfo: memFree=121144/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1704072 CPUtime=1301.74 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 425383 0 0 0 129583 591 0 0 25 0 1 0 187523012 1744969728 425326 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 426018 425326 136 292 0 425723 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 1704072 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8512 /proc/meminfo: memFree=60408/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1765196 CPUtime=1361.71 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 440634 0 0 0 135560 611 0 0 25 0 1 0 187523012 1807560704 440577 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 441299 440577 136 292 0 441004 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 1765196 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1418.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8512 /proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=1843324 CPUtime=1417.98 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4194304 460170 0 0 0 141164 634 0 0 25 0 1 0 187523012 1887563776 460113 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 460831 460113 136 292 0 460536 0 Current children cumulated CPU time (s) 1417.98 Current children cumulated vsize (KiB) 1843324 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1418.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8512 /proc/meminfo: memFree=15608/2055920 swapFree=4192812/4192956 [pid=8503] ppid=8501 vsize=0 CPUtime=1418.17 /proc/8503/stat : 8503 (wbo) R 8501 8503 8077 0 -1 4195332 460170 0 0 0 141164 653 0 0 25 0 1 0 187523012 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8503/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1418.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1418.87 CPU time (s): 1418.25 CPU user time (s): 1411.64 CPU system time (s): 6.606 CPU usage (%): 99.9563 Max. virtual memory (cumulated for all children) (KiB): 1843324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1411.64 system time used= 6.606 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460170 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= 5410 runsolver used 1.45778 second user time and 3.72343 second system time The end
Begin job on node42 at 2009-06-17 02:41:02 IDJOB=1875334 IDBENCH=48174 IDSOLVER=698 FILE ID=node42/1875334-1245199262 PBS_JOBID= 9368317 Free space on /tmp= 66148 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_5.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875334-1245199262/watcher-1875334-1245199262 -o /tmp/evaluation-result-1875334-1245199262/solver-1875334-1245199262 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875334-1245199262.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6 RANDOM SEED=1026859069 node42.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.214 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.214 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: 1826392 kB Buffers: 44308 kB Cached: 111548 kB SwapCached: 0 kB Active: 50340 kB Inactive: 119512 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1826392 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2392 kB Writeback: 0 kB Mapped: 23760 kB Slab: 45736 kB Committed_AS: 176476 kB PageTables: 1396 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-1875334-1245199262.opb Free space on /tmp at the end= 66144 MiB End job on node42 at 2009-06-17 03:04:43