Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1184.46 | 1184.97 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_2.opb |
MD5SUM | b479d3e6e7c019e1b676c88c15e75cf5 |
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 | -6 |
Best CPU time to get the best result obtained on this benchmark | 0.041993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -6 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
Total number of constraints | 50 |
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 | 50 |
Minimum length of a constraint | 25 |
Maximum length of a constraint | 39 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 1480 |
Sum of products size (including duplicates) | 2960 |
Number of different products | 740 |
Sum of products size | 1480 |
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-1875363-1245202319.opb. 0.00/0.00 c Instance file HOME/instance-1875363-1245202319.opb 0.00/0.00 c File size is 56981 bytes. 0.00/0.00 c Highest Coefficient sum: 39 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: 790 | 0.00/0.00 c | Number Clauses: 790 | 0.00/0.00 c | Number Cardinality: 100 | 0.00/0.00 c | Number PB Constraints: 740 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 4 Core Weight: 1 Total Weight: -49 0.00/0.00 c Elapsed CPU time: 0.007998 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: -48 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: -47 0.00/0.01 c Elapsed CPU time: 0.012998 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: -46 0.00/0.01 c Elapsed CPU time: 0.014997 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: -45 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #6 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -44 0.00/0.02 c Elapsed CPU time: 0.018997 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: -43 0.00/0.02 c Elapsed CPU time: 0.021996 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: -42 0.00/0.02 c Elapsed CPU time: 0.023996 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: -41 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #10 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -40 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #11 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -39 0.00/0.03 c Elapsed CPU time: 0.030995 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: -38 0.00/0.03 c Elapsed CPU time: 0.032994 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: -37 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #14 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -36 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #15 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -35 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #16 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -34 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #17 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -33 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #18 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -32 0.00/0.04 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #19 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -31 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #20 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -30 0.00/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #21 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -29 0.00/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #22 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -28 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #23 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -27 0.00/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #24 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -26 0.00/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #25 0.00/0.06 c Core size: 9 Core Weight: 1 Total Weight: -25 0.00/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 102 1655 3777 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c core #26 0.00/0.06 c Core size: 12 Core Weight: 1 Total Weight: -24 0.00/0.06 c Elapsed CPU time: 0.065989 s Remaining CPU time: 1799.93 s 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 106 1656 3785 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #27 0.00/0.07 c Core size: 16 Core Weight: 1 Total Weight: -23 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.00/0.07 c ============================[ Search Statistics ]============================== 0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.07 c =============================================================================== 0.00/0.07 c | 0 | 112 1657 3797 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #28 0.00/0.07 c Core size: 15 Core Weight: 1 Total Weight: -22 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.07/0.07 c ============================[ Search Statistics ]============================== 0.07/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.07 c =============================================================================== 0.07/0.07 c | 0 | 118 1658 3809 | 5000 0 nan | 0.000 % | 0.07/0.07 c =============================================================================== 0.07/0.07 c core #29 0.07/0.07 c Core size: 16 Core Weight: 1 Total Weight: -21 0.07/0.07 c Elapsed CPU time: 0.073988 s Remaining CPU time: 1799.93 s 0.07/0.07 c ============================[ Search Statistics ]============================== 0.07/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.07 c =============================================================================== 0.07/0.07 c | 0 | 124 1659 3821 | 5000 0 nan | 0.000 % | 0.07/0.07 c =============================================================================== 0.07/0.07 c core #30 0.07/0.07 c Core size: 16 Core Weight: 1 Total Weight: -20 0.07/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 130 1660 3833 | 5000 0 nan | 0.000 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c core #31 0.07/0.08 c Core size: 16 Core Weight: 1 Total Weight: -19 0.07/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 136 1661 3845 | 5000 0 nan | 0.000 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c core #32 0.07/0.08 c Core size: 16 Core Weight: 1 Total Weight: -18 0.07/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 142 1662 3857 | 5000 0 nan | 0.000 % | 0.07/0.08 c =============================================================================== 0.07/0.08 c core #33 0.07/0.08 c Core size: 12 Core Weight: 1 Total Weight: -17 0.07/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.07/0.08 c ============================[ Search Statistics ]============================== 0.07/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.08 c =============================================================================== 0.07/0.08 c | 0 | 146 1663 3865 | 5000 0 nan | 0.000 % | 0.07/0.08 c =============================================================================== 0.07/0.09 c core #34 0.07/0.09 c Core size: 19 Core Weight: 1 Total Weight: -16 0.07/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.07/0.09 c ============================[ Search Statistics ]============================== 0.07/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 152 1664 3877 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c core #35 0.07/0.09 c Core size: 65 Core Weight: 1 Total Weight: -15 0.07/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.07/0.09 c ============================[ Search Statistics ]============================== 0.07/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.09 c =============================================================================== 0.07/0.09 c | 0 | 168 1665 3909 | 5000 0 nan | 0.000 % | 0.07/0.09 c =============================================================================== 0.07/0.09 c core #36 0.07/0.09 c Core size: 114 Core Weight: 1 Total Weight: -14 0.07/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.07/0.10 c ============================[ Search Statistics ]============================== 0.07/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.07/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.07/0.10 c =============================================================================== 0.07/0.10 c | 0 | 190 1666 3953 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 189 1666 3953 | 5500 100 15 | 79.678 % | 0.09/0.10 c | 250 | 185 1666 3953 | 6050 237 22 | 80.108 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #37 0.09/0.11 c Core size: 176 Core Weight: 1 Total Weight: -13 0.09/0.11 c Elapsed CPU time: 0.111982 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 | 218 1667 4009 | 5000 0 nan | 0.000 % | 0.09/0.12 c | 101 | 218 1667 4009 | 5500 101 20 | 77.244 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #38 0.09/0.12 c Core size: 85 Core Weight: 1 Total Weight: -12 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 | 236 1668 4045 | 5000 0 nan | 0.000 % | 0.09/0.12 c | 100 | 236 1668 4045 | 5500 100 28 | 75.820 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #39 0.09/0.12 c Core size: 45 Core Weight: 1 Total Weight: -11 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 | 246 1669 4065 | 5000 0 nan | 0.000 % | 0.09/0.13 c | 104 | 246 1669 4065 | 5500 104 21 | 75.051 % | 0.09/0.13 c | 254 | 246 1669 4065 | 6050 254 22 | 75.051 % | 0.09/0.14 c | 481 | 246 1669 4065 | 6655 481 26 | 75.051 % | 0.09/0.16 c | 818 | 246 1669 4065 | 7320 818 30 | 75.051 % | 0.09/0.18 c | 1325 | 246 1669 4065 | 8052 1325 37 | 75.051 % | 0.19/0.25 c | 2084 | 246 1669 4065 | 8857 2084 60 | 75.051 % | 0.19/0.29 c =============================================================================== 0.29/0.30 c core #40 0.29/0.30 c Core size: 380 Core Weight: 1 Total Weight: -10 0.29/0.30 c Elapsed CPU time: 0.300954 s Remaining CPU time: 1799.7 s 0.29/0.31 c ============================[ Search Statistics ]============================== 0.29/0.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.31 c =============================================================================== 0.29/0.31 c | 0 | 280 1670 4133 | 5000 0 nan | 0.000 % | 0.29/0.31 c | 101 | 280 1670 4133 | 5500 101 24 | 72.549 % | 0.29/0.31 c | 252 | 280 1670 4133 | 6050 252 30 | 72.549 % | 0.29/0.32 c | 477 | 280 1670 4133 | 6655 477 35 | 72.549 % | 0.29/0.34 c | 815 | 280 1670 4133 | 7320 815 46 | 72.549 % | 0.29/0.37 c | 1324 | 280 1670 4133 | 8052 1324 50 | 72.549 % | 0.39/0.45 c | 2083 | 280 1670 4133 | 8857 2083 63 | 72.549 % | 0.59/0.63 c | 3223 | 280 1670 4133 | 9743 3223 83 | 72.549 % | 0.89/1.00 c | 4937 | 280 1670 4133 | 10717 4937 109 | 72.549 % | 1.39/1.49 c =============================================================================== 1.49/1.53 c core #41 1.49/1.53 c Core size: 402 Core Weight: 1 Total Weight: -9 1.49/1.53 c Elapsed CPU time: 1.51377 s Remaining CPU time: 1798.49 s 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 314 1671 4201 | 5000 0 nan | 0.000 % | 1.49/1.54 c | 100 | 314 1671 4201 | 5500 100 29 | 70.209 % | 1.49/1.55 c | 250 | 314 1671 4201 | 6050 250 35 | 70.209 % | 1.49/1.56 c | 476 | 314 1671 4201 | 6655 476 57 | 70.209 % | 1.49/1.59 c | 814 | 314 1671 4201 | 7320 814 72 | 70.209 % | 1.59/1.65 c | 1323 | 314 1671 4201 | 8052 1323 102 | 70.209 % | 1.69/1.76 c | 2083 | 314 1671 4201 | 8857 2083 118 | 70.209 % | 1.89/1.90 c | 3225 | 314 1671 4201 | 9743 3225 102 | 70.209 % | 2.09/2.17 c | 4935 | 314 1671 4201 | 10717 4935 104 | 70.209 % | 2.79/2.85 c | 7503 | 314 1671 4201 | 11789 7503 138 | 70.209 % | 4.39/4.44 c | 11347 | 314 1671 4201 | 12968 11347 160 | 70.209 % | 7.19/7.25 c | 17116 | 314 1671 4201 | 14265 10220 218 | 70.209 % | 12.09/12.19 c | 25765 | 314 1671 4201 | 15692 11324 279 | 70.209 % | 22.78/22.81 c | 38739 | 314 1671 4201 | 17261 16037 255 | 70.209 % | 33.08/33.18 c =============================================================================== 33.78/33.85 c core #42 33.78/33.85 c Core size: 547 Core Weight: 1 Total Weight: -8 33.78/33.85 c Elapsed CPU time: 33.6279 s Remaining CPU time: 1766.37 s 33.88/33.91 c ============================[ Search Statistics ]============================== 33.88/33.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 33.88/33.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 33.88/33.91 c =============================================================================== 33.88/33.91 c | 0 | 354 1672 4281 | 5000 0 nan | 0.000 % | 33.88/33.92 c | 102 | 354 1672 4281 | 5500 102 30 | 67.642 % | 33.88/33.93 c | 252 | 353 1672 4281 | 6050 251 29 | 67.733 % | 33.88/33.94 c | 478 | 351 1672 4281 | 6655 477 40 | 67.916 % | 33.88/33.96 c | 816 | 343 1672 4281 | 7320 813 68 | 68.647 % | 33.98/34.01 c | 1324 | 343 1672 4281 | 8052 1321 79 | 68.647 % | 34.08/34.14 c | 2083 | 339 1672 4281 | 8857 2050 118 | 69.013 % | 34.27/34.33 c | 3224 | 339 1672 4281 | 9743 3191 141 | 69.013 % | 34.58/34.64 c | 4933 | 337 1672 4281 | 10717 4900 137 | 69.196 % | 35.37/35.45 c | 7495 | 337 1672 4281 | 11789 7451 144 | 69.196 % | 36.87/36.95 c | 11340 | 336 1672 4281 | 12968 11296 153 | 69.287 % | 40.06/40.16 c | 17110 | 336 1672 4281 | 14265 10157 203 | 69.287 % | 43.67/43.77 c | 25760 | 336 1672 4281 | 15692 11251 178 | 69.287 % | 49.67/49.77 c =============================================================================== 50.16/50.23 c core #43 50.16/50.23 c Core size: 429 Core Weight: 1 Total Weight: -7 50.16/50.23 c Elapsed CPU time: 49.8984 s Remaining CPU time: 1750.1 s 50.16/50.27 c ============================[ Search Statistics ]============================== 50.16/50.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.16/50.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.16/50.27 c =============================================================================== 50.16/50.27 c | 0 | 398 1673 4369 | 5000 0 nan | 0.000 % | 50.16/50.28 c | 101 | 398 1673 4369 | 5500 101 42 | 65.026 % | 50.16/50.29 c | 252 | 398 1673 4369 | 6050 252 40 | 65.026 % | 50.16/50.30 c | 477 | 398 1673 4369 | 6655 477 40 | 65.026 % | 50.27/50.32 c | 814 | 398 1673 4369 | 7320 814 65 | 65.026 % | 50.27/50.37 c | 1320 | 398 1673 4369 | 8052 1320 77 | 65.026 % | 50.37/50.45 c | 2079 | 398 1673 4369 | 8857 2079 97 | 65.026 % | 50.57/50.61 c | 3218 | 398 1673 4369 | 9743 3218 114 | 65.026 % | 50.96/51.02 c | 4928 | 398 1673 4369 | 10717 4928 160 | 65.026 % | 51.67/51.71 c | 7491 | 398 1673 4369 | 11789 7491 181 | 65.026 % | 52.67/52.71 c | 11336 | 398 1673 4369 | 12968 11336 172 | 65.026 % | 55.47/55.51 c | 17102 | 398 1673 4369 | 14265 10208 225 | 65.026 % | 58.76/58.81 c | 25753 | 398 1673 4369 | 15692 11309 218 | 65.026 % | 65.36/65.41 c | 38727 | 398 1673 4369 | 17261 16024 203 | 65.026 % | 75.45/75.54 c | 58189 | 398 1673 4369 | 18987 17367 207 | 65.026 % | 101.44/101.50 c | 87386 | 398 1673 4369 | 20886 16748 431 | 65.026 % | 163.41/163.56 c | 131177 | 398 1673 4369 | 22974 17021 688 | 65.026 % | 221.80/221.96 c | 196861 | 398 1673 4369 | 25272 23080 143 | 65.026 % | 304.86/305.00 c | 295387 | 398 1673 4369 | 27799 16722 161 | 65.026 % | 430.01/430.28 c | 443178 | 398 1673 4369 | 30579 14481 150 | 65.026 % | 729.59/729.98 c | 664868 | 398 1673 4369 | 33637 23194 471 | 65.026 % |
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-1875363-1245202319/watcher-1875363-1245202319 -o /tmp/evaluation-result-1875363-1245202319/solver-1875363-1245202319 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875363-1245202319.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.99 0.98 0.99 3/64 954 /proc/meminfo: memFree=1596880/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=2580 CPUtime=0 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 222 0 0 0 0 0 0 0 18 0 1 0 187826179 2641920 206 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 645 207 129 292 0 336 0 [startup+0.075969 s] /proc/loadavg: 0.99 0.98 0.99 3/64 954 /proc/meminfo: memFree=1596880/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=4328 CPUtime=0.07 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 671 0 0 0 7 0 0 0 18 0 1 0 187826179 4431872 641 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 1082 641 135 292 0 787 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4328 [startup+0.101971 s] /proc/loadavg: 0.99 0.98 0.99 3/64 954 /proc/meminfo: memFree=1596880/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=4736 CPUtime=0.09 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 783 0 0 0 9 0 0 0 18 0 1 0 187826179 4849664 753 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 1184 753 135 292 0 889 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4736 [startup+0.301994 s] /proc/loadavg: 0.99 0.98 0.99 3/64 954 /proc/meminfo: memFree=1596880/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=5952 CPUtime=0.29 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 1075 0 0 0 29 0 0 0 18 0 1 0 187826179 6094848 1045 1992294400 134512640 135709839 4294956240 18446744073709551615 134584062 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 1488 1045 136 292 0 1193 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5952 [startup+0.701039 s] /proc/loadavg: 0.99 0.98 0.99 3/64 954 /proc/meminfo: memFree=1596880/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=7288 CPUtime=0.69 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 1424 0 0 0 68 1 0 0 21 0 1 0 187826179 7462912 1394 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 1822 1394 136 292 0 1527 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7288 [startup+1.50113 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1590664/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=10076 CPUtime=1.49 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 2109 0 0 0 147 2 0 0 25 0 1 0 187826179 10317824 2079 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 2519 2080 136 292 0 2224 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10076 [startup+3.10131 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1588616/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=11540 CPUtime=3.09 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 2486 0 0 0 306 3 0 0 25 0 1 0 187826179 11816960 2456 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 2885 2456 136 292 0 2590 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11540 [startup+6.30167 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1582088/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=18708 CPUtime=6.28 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 4255 0 0 0 622 6 0 0 25 0 1 0 187826179 19156992 4225 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 4677 4225 136 292 0 4382 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18708 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1565968/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=34156 CPUtime=12.68 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 8121 0 0 0 1257 11 0 0 25 0 1 0 187826179 34975744 8091 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 8539 8091 136 292 0 8244 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34156 [startup+25.5018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1545680/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=54048 CPUtime=25.48 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 13112 0 0 0 2531 17 0 0 25 0 1 0 187826179 55345152 13082 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 13512 13082 136 292 0 13217 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 54048 [startup+51.1017 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1508304/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=90776 CPUtime=51.07 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 22282 0 0 0 5075 32 0 0 25 0 1 0 187826179 92954624 22252 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 22694 22252 136 292 0 22399 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90776 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1398160/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=200720 CPUtime=102.25 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 49758 0 0 0 10159 66 0 0 25 0 1 0 187826179 205537280 49728 1992294400 134512640 135709839 4294956240 18446744073709551615 134574267 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 50180 49728 136 292 0 49885 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 200720 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1283728/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=315536 CPUtime=162.21 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 78440 0 0 0 16131 90 0 0 25 0 1 0 187826179 323108864 78410 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 78884 78410 136 292 0 78589 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 315536 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1189456/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=409344 CPUtime=222.19 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 101838 0 0 0 22099 120 0 0 25 0 1 0 187826179 419168256 101808 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 102336 101808 136 292 0 102041 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 409344 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1100048/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=499692 CPUtime=282.18 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 124414 0 0 0 28068 150 0 0 25 0 1 0 187826179 511684608 124384 1992294400 134512640 135709839 4294956240 18446744073709551615 134573748 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 124923 124384 136 292 0 124628 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 499692 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=1019920/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=578684 CPUtime=342.15 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 144153 0 0 0 34034 181 0 0 25 0 1 0 187826179 592572416 144123 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 144671 144123 136 292 0 144376 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 578684 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=949264/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=650036 CPUtime=402.12 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 161950 0 0 0 40006 206 0 0 25 0 1 0 187826179 665636864 161920 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 162509 161920 136 292 0 162214 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 650036 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=859728/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=739396 CPUtime=462.09 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 184273 0 0 0 45975 234 0 0 25 0 1 0 187826179 757141504 184243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 184849 184243 136 292 0 184554 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 739396 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=749328/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=850284 CPUtime=522.08 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 211970 0 0 0 51945 263 0 0 25 0 1 0 187826179 870690816 211940 1992294400 134512640 135709839 4294956240 18446744073709551615 134573929 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 212571 211940 136 292 0 212276 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 850284 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=655248/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=943388 CPUtime=582.05 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 235245 0 0 0 57922 283 0 0 25 0 1 0 187826179 966029312 235215 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 235847 235215 136 292 0 235552 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 943388 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=561104/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1036816 CPUtime=642.03 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 258578 0 0 0 63898 305 0 0 25 0 1 0 187826179 1061699584 258548 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 259204 258548 136 292 0 258909 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 1036816 [startup+702.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 955 /proc/meminfo: memFree=461840/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1138172 CPUtime=702 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 283910 0 0 0 69871 329 0 0 25 0 1 0 187826179 1165488128 283880 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 284543 283880 136 292 0 284248 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 1138172 [startup+762.305 s] /proc/loadavg: 1.06 1.00 1.00 2/65 955 /proc/meminfo: memFree=378256/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1219500 CPUtime=761.98 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 304207 0 0 0 75849 349 0 0 25 0 1 0 187826179 1248768000 304177 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 304875 304177 136 292 0 304580 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 1219500 [startup+822.302 s] /proc/loadavg: 1.02 1.00 1.00 2/65 955 /proc/meminfo: memFree=290576/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1307492 CPUtime=821.95 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 326188 0 0 0 81822 373 0 0 25 0 1 0 187826179 1338871808 326158 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 326873 326158 136 292 0 326578 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 1307492 [startup+882.302 s] /proc/loadavg: 1.06 1.01 1.00 2/65 955 /proc/meminfo: memFree=213904/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1383620 CPUtime=881.93 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 345234 0 0 0 87800 393 0 0 25 0 1 0 187826179 1416826880 345204 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 345905 345204 136 292 0 345610 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 1383620 [startup+942.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 955 /proc/meminfo: memFree=118480/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1480396 CPUtime=941.91 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 369437 0 0 0 93773 418 0 0 25 0 1 0 187826179 1515925504 369407 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 370099 369407 136 292 0 369804 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1480396 [startup+1002.3 s] /proc/loadavg: 1.07 1.03 1.00 2/65 955 /proc/meminfo: memFree=26384/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1571104 CPUtime=1001.88 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 392100 0 0 0 99747 441 0 0 25 0 1 0 187826179 1608810496 392070 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 392776 392070 136 292 0 392481 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1571104 [startup+1062.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 955 /proc/meminfo: memFree=14992/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1650920 CPUtime=1061.83 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 412046 0 0 0 105717 466 0 0 25 0 1 0 187826179 1690542080 412016 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 412730 412016 136 292 0 412435 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 1650920 [startup+1122.3 s] /proc/loadavg: 1.06 1.04 1.00 2/65 955 /proc/meminfo: memFree=16208/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1752264 CPUtime=1121.81 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 437354 0 0 0 111684 497 0 0 25 0 1 0 187826179 1794318336 437324 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 438066 437324 136 292 0 437771 0 Current children cumulated CPU time (s) 1121.81 Current children cumulated vsize (KiB) 1752264 [startup+1182.3 s] /proc/loadavg: 1.06 1.05 1.00 2/65 955 /proc/meminfo: memFree=14864/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1839104 CPUtime=1181.78 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 459074 0 0 0 117654 524 0 0 25 0 1 0 187826179 1883242496 459044 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 459776 459044 136 292 0 459481 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 1839104 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1184.71 s] /proc/loadavg: 1.13 1.06 1.01 2/65 955 /proc/meminfo: memFree=15312/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=1843460 CPUtime=1184.19 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4194304 460136 0 0 0 117894 525 0 0 25 0 1 0 187826179 1887703040 460106 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 460865 460106 136 292 0 460570 0 Current children cumulated CPU time (s) 1184.19 Current children cumulated vsize (KiB) 1843460 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1184.81 s] /proc/loadavg: 1.13 1.06 1.01 2/65 955 /proc/meminfo: memFree=15312/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=0 CPUtime=1184.28 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4195332 460136 0 0 0 117894 534 0 0 25 0 1 0 187826179 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1184.28 Current children cumulated vsize (KiB) 0 [startup+1184.9 s] /proc/loadavg: 1.13 1.06 1.01 2/65 955 /proc/meminfo: memFree=15312/2055920 swapFree=4181640/4192956 [pid=954] ppid=952 vsize=0 CPUtime=1184.38 /proc/954/stat : 954 (wbo) R 952 954 342 0 -1 4195332 460136 0 0 0 117894 544 0 0 25 0 1 0 187826179 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1184.38 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1184.97 CPU time (s): 1184.46 CPU user time (s): 1178.94 CPU system time (s): 5.51716 CPU usage (%): 99.9566 Max. virtual memory (cumulated for all children) (KiB): 1843460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1178.94 system time used= 5.51716 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460136 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3 involuntary context switches= 4456 runsolver used 0.890864 second user time and 2.57661 second system time The end
Begin job on node63 at 2009-06-17 03:31:59 IDJOB=1875363 IDBENCH=48203 IDSOLVER=698 FILE ID=node63/1875363-1245202319 PBS_JOBID= 9368324 Free space on /tmp= 66468 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_25_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-1875363-1245202319/watcher-1875363-1245202319 -o /tmp/evaluation-result-1875363-1245202319/solver-1875363-1245202319 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875363-1245202319.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b479d3e6e7c019e1b676c88c15e75cf5 RANDOM SEED=55186371 node63.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.240 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.240 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1597424 kB Buffers: 57356 kB Cached: 319588 kB SwapCached: 5692 kB Active: 75952 kB Inactive: 309996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1597424 kB SwapTotal: 4192956 kB SwapFree: 4181640 kB Dirty: 2600 kB Writeback: 0 kB Mapped: 13708 kB Slab: 58332 kB Committed_AS: 90792 kB PageTables: 1460 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-1875363-1245202319.opb Free space on /tmp at the end= 66464 MiB End job on node63 at 2009-06-17 03:51:46