Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1293.86 | 1294.39 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_1.opb |
MD5SUM | 9b1238456c70f4586134906da9731efc |
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.040993 |
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 | 37 |
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) | 1498 |
Sum of products size (including duplicates) | 2996 |
Number of different products | 749 |
Sum of products size | 1498 |
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-1875370-1245203015.opb. 0.00/0.00 c Instance file HOME/instance-1875370-1245203015.opb 0.00/0.00 c File size is 57696 bytes. 0.00/0.01 c Highest Coefficient sum: 37 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 799 | 0.00/0.01 c | Number Clauses: 799 | 0.00/0.01 c | Number Cardinality: 100 | 0.00/0.01 c | Number PB Constraints: 749 | 0.00/0.01 c core #1 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -49 0.00/0.01 c Elapsed CPU time: 0.009998 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.012998 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.014997 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.016997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #5 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -45 0.00/0.02 c Elapsed CPU time: 0.018997 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.021996 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.023996 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.025996 s Remaining CPU time: 1799.97 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.028995 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.030995 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.033994 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.035994 s Remaining CPU time: 1799.96 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.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #14 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -36 0.00/0.04 c Elapsed CPU time: 0.040993 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.042993 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.045993 s Remaining CPU time: 1799.95 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.047992 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #18 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -32 0.00/0.05 c Elapsed CPU time: 0.050992 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.052991 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.055991 s Remaining CPU time: 1799.94 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.057991 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #22 0.00/0.06 c Core size: 4 Core Weight: 1 Total Weight: -28 0.00/0.06 c Elapsed CPU time: 0.06099 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.06299 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.06499 s Remaining CPU time: 1799.94 s 0.00/0.06 c core #25 0.00/0.06 c Core size: 8 Core Weight: 1 Total Weight: -25 0.00/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.00/0.07 c core #26 0.00/0.07 c Core size: 8 Core Weight: 1 Total Weight: -24 0.00/0.07 c Elapsed CPU time: 0.069989 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 | 104 1674 3853 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #27 0.00/0.07 c Core size: 17 Core Weight: 1 Total Weight: -23 0.00/0.07 c Elapsed CPU time: 0.072988 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 | 110 1675 3865 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #28 0.00/0.07 c Core size: 16 Core Weight: 1 Total Weight: -22 0.00/0.07 c Elapsed CPU time: 0.074988 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 | 116 1676 3877 | 5000 0 nan | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c core #29 0.00/0.07 c Core size: 16 Core Weight: 1 Total Weight: -21 0.00/0.07 c Elapsed CPU time: 0.077988 s Remaining CPU time: 1799.92 s 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 122 1677 3889 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #30 0.00/0.08 c Core size: 17 Core Weight: 1 Total Weight: -20 0.00/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 128 1678 3901 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #31 0.00/0.08 c Core size: 21 Core Weight: 1 Total Weight: -19 0.00/0.08 c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s 0.00/0.08 c ============================[ Search Statistics ]============================== 0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.08 c =============================================================================== 0.00/0.08 c | 0 | 136 1679 3917 | 5000 0 nan | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c core #32 0.00/0.08 c Core size: 16 Core Weight: 1 Total Weight: -18 0.00/0.08 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 142 1680 3929 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #33 0.00/0.09 c Core size: 35 Core Weight: 1 Total Weight: -17 0.00/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 153 1681 3951 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #34 0.00/0.09 c Core size: 56 Core Weight: 1 Total Weight: -16 0.00/0.09 c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s 0.00/0.09 c ============================[ Search Statistics ]============================== 0.00/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.09 c =============================================================================== 0.00/0.09 c | 0 | 169 1682 3983 | 5000 0 nan | 0.000 % | 0.00/0.09 c =============================================================================== 0.00/0.09 c core #35 0.00/0.09 c Core size: 63 Core Weight: 1 Total Weight: -15 0.00/0.09 c Elapsed CPU time: 0.096985 s Remaining CPU time: 1799.9 s 0.00/0.10 c ============================[ Search Statistics ]============================== 0.00/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.10 c =============================================================================== 0.00/0.10 c | 0 | 184 1683 4013 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 182 1683 4013 | 5500 100 17 | 80.493 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #36 0.09/0.10 c Core size: 113 Core Weight: 1 Total Weight: -14 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 202 1684 4049 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 101 | 200 1684 4049 | 5500 101 11 | 78.976 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #37 0.09/0.11 c Core size: 128 Core Weight: 1 Total Weight: -13 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 230 1685 4105 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 101 | 230 1685 4105 | 5500 101 39 | 76.507 % | 0.09/0.12 c | 251 | 230 1685 4105 | 6050 251 37 | 76.507 % | 0.09/0.13 c | 476 | 230 1685 4105 | 6655 476 37 | 76.507 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #38 0.09/0.14 c Core size: 195 Core Weight: 1 Total Weight: -12 0.09/0.14 c Elapsed CPU time: 0.135979 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 | 265 1686 4175 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 100 | 265 1686 4175 | 5500 100 48 | 73.866 % | 0.09/0.15 c | 252 | 265 1686 4175 | 6050 252 49 | 73.866 % | 0.09/0.16 c | 477 | 265 1686 4175 | 6655 477 54 | 73.866 % | 0.09/0.19 c | 816 | 265 1686 4175 | 7320 816 61 | 73.866 % | 0.19/0.23 c | 1325 | 265 1686 4175 | 8052 1325 77 | 73.866 % | 0.19/0.24 c =============================================================================== 0.19/0.25 c core #39 0.19/0.25 c Core size: 380 Core Weight: 1 Total Weight: -11 0.19/0.25 c Elapsed CPU time: 0.242963 s Remaining CPU time: 1799.76 s 0.19/0.25 c ============================[ Search Statistics ]============================== 0.19/0.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.25 c =============================================================================== 0.19/0.25 c | 0 | 303 1687 4251 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 101 | 303 1687 4251 | 5500 101 46 | 71.198 % | 0.19/0.26 c | 252 | 303 1687 4251 | 6050 252 50 | 71.198 % | 0.19/0.27 c | 478 | 303 1687 4251 | 6655 478 59 | 71.198 % | 0.29/0.30 c | 815 | 303 1687 4251 | 7320 815 73 | 71.198 % | 0.29/0.33 c | 1323 | 303 1687 4251 | 8052 1323 73 | 71.198 % | 0.39/0.41 c | 2082 | 303 1687 4251 | 8857 2082 74 | 71.198 % | 0.39/0.50 c | 3222 | 303 1687 4251 | 9743 3222 72 | 71.198 % | 0.69/0.71 c | 4930 | 303 1687 4251 | 10717 4930 76 | 71.198 % | 1.09/1.19 c | 7495 | 303 1687 4251 | 11789 7495 93 | 71.198 % | 2.20/2.21 c =============================================================================== 2.29/2.30 c core #40 2.29/2.30 c Core size: 588 Core Weight: 1 Total Weight: -10 2.29/2.30 c Elapsed CPU time: 2.25166 s Remaining CPU time: 1797.75 s 2.29/2.31 c ============================[ Search Statistics ]============================== 2.29/2.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.31 c =============================================================================== 2.29/2.31 c | 0 | 347 1688 4339 | 5000 0 nan | 0.000 % | 2.29/2.32 c | 101 | 347 1688 4339 | 5500 101 37 | 68.339 % | 2.29/2.33 c | 252 | 347 1688 4339 | 6050 252 34 | 68.339 % | 2.29/2.34 c | 478 | 347 1688 4339 | 6655 478 49 | 68.339 % | 2.29/2.36 c | 816 | 347 1688 4339 | 7320 816 62 | 68.339 % | 2.39/2.41 c | 1322 | 347 1688 4339 | 8052 1322 75 | 68.339 % | 2.49/2.53 c | 2081 | 347 1688 4339 | 8857 2081 100 | 68.339 % | 2.69/2.72 c | 3222 | 347 1688 4339 | 9743 3222 119 | 68.339 % | 3.09/3.16 c | 4931 | 347 1688 4339 | 10717 4931 163 | 68.339 % | 3.99/4.06 c | 7493 | 347 1688 4339 | 11789 7493 182 | 68.339 % | 5.69/5.75 c | 11338 | 347 1688 4339 | 12968 11338 191 | 68.339 % | 7.49/7.59 c | 17106 | 347 1688 4339 | 14265 10181 156 | 68.339 % | 10.59/10.67 c | 25755 | 347 1688 4339 | 15692 11285 117 | 68.339 % | 15.59/15.64 c | 38733 | 347 1688 4339 | 17261 15989 149 | 68.339 % | 25.98/26.02 c | 58195 | 347 1688 4339 | 18987 17361 214 | 68.339 % | 27.28/27.34 c =============================================================================== 28.18/28.29 c core #41 28.18/28.29 c Core size: 686 Core Weight: 1 Total Weight: -9 28.18/28.29 c Elapsed CPU time: 28.0097 s Remaining CPU time: 1771.99 s 28.28/28.36 c ============================[ Search Statistics ]============================== 28.28/28.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.28/28.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.28/28.36 c =============================================================================== 28.28/28.36 c | 0 | 391 1689 4427 | 5000 0 nan | 0.000 % | 28.28/28.38 c | 102 | 391 1689 4427 | 5500 102 77 | 65.702 % | 28.28/28.38 c | 252 | 391 1689 4427 | 6050 252 56 | 65.702 % | 28.28/28.40 c | 477 | 391 1689 4427 | 6655 477 52 | 65.702 % | 28.38/28.42 c | 814 | 391 1689 4427 | 7320 814 72 | 65.702 % | 28.38/28.47 c | 1322 | 391 1689 4427 | 8052 1322 86 | 65.702 % | 28.49/28.55 c | 2081 | 391 1689 4427 | 8857 2081 88 | 65.702 % | 28.68/28.77 c | 3221 | 391 1689 4427 | 9743 3221 122 | 65.702 % | 29.18/29.24 c | 4930 | 391 1689 4427 | 10717 4930 154 | 65.702 % | 30.18/30.30 c | 7494 | 391 1689 4427 | 11789 7494 172 | 65.702 % | 32.28/32.38 c | 11338 | 391 1689 4427 | 12968 11338 207 | 65.702 % | 33.88/33.93 c | 17107 | 391 1689 4427 | 14265 10199 167 | 65.702 % | 38.88/38.98 c | 25760 | 391 1689 4427 | 15692 11303 270 | 65.702 % | 46.58/46.60 c | 38739 | 391 1689 4427 | 17261 16007 224 | 65.702 % | 57.77/57.87 c | 58204 | 391 1689 4427 | 18987 17282 339 | 65.702 % | 73.97/74.05 c | 87396 | 391 1689 4427 | 20886 16627 271 | 65.702 % | 110.46/110.52 c | 131185 | 391 1689 4427 | 22974 16866 460 | 65.702 % | 196.13/196.22 c | 196870 | 391 1689 4427 | 25272 22944 495 | 65.702 % | 311.39/311.55 c | 295402 | 391 1689 4427 | 27799 16947 475 | 65.702 % | 435.66/435.86 c | 443191 | 391 1689 4427 | 30579 15593 92 | 65.702 % | 761.77/762.01 c | 664874 | 391 1689 4427 | 33637 28197 514 | 65.702 % | 894.03/894.33 c =============================================================================== 916.72/917.05 c core #42 916.72/917.05 c Core size: 888 Core Weight: 1 Total Weight: -8 916.72/917.05 c Elapsed CPU time: 912.653 s Remaining CPU time: 887.347 s 917.52/917.89 c ============================[ Search Statistics ]============================== 917.52/917.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 917.52/917.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 917.52/917.89 c =============================================================================== 917.52/917.89 c | 0 | 441 1690 4527 | 5000 0 nan | 0.000 % | 917.62/917.98 c | 100 | 441 1690 4527 | 5500 100 78 | 62.941 % | 917.62/918.00 c | 253 | 441 1690 4527 | 6050 253 50 | 62.941 % | 917.72/918.06 c | 478 | 441 1690 4527 | 6655 478 79 | 62.941 % | 917.72/918.09 c | 817 | 441 1690 4527 | 7320 817 104 | 62.941 % | 917.81/918.16 c | 1325 | 441 1690 4527 | 8052 1325 123 | 62.941 % | 917.92/918.29 c | 2084 | 441 1690 4527 | 8857 2084 142 | 62.941 % | 918.22/918.53 c | 3227 | 441 1690 4527 | 9743 3227 160 | 62.941 % | 918.62/918.96 c | 4935 | 441 1690 4527 | 10717 4935 168 | 62.941 % | 919.22/919.60 c | 7497 | 441 1690 4527 | 11789 7497 160 | 62.941 % | 920.81/921.14 c | 11343 | 441 1690 4527 | 12968 11343 161 | 62.941 % | 924.02/924.38 c | 17110 | 441 1690 4527 | 14265 10156 205 | 62.941 % | 928.51/928.82 c | 25764 | 441 1690 4527 | 15692 11231 202 | 62.941 % | 941.01/941.30 c | 38738 | 441 1690 4527 | 17261 15918 204 | 62.941 % | 961.01/961.40 c | 58201 | 441 1690 4527 | 18987 17207 247 | 62.941 % | 992.39/992.76 c | 87397 | 441 1690 4527 | 20886 16608 249 | 62.941 % | 1028.79/1029.17 c | 131187 | 441 1690 4527 | 22974 16858 139 | 62.941 % | 1108.35/1108.86 c | 196872 | 441 1690 4527 | 25272 22840 383 | 62.941 % | 1249.39/1249.95 c | 295403 | 441 1690 4527 | 27799 15320 307 | 62.941 % |
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-1875370-1245203015/watcher-1875370-1245203015 -o /tmp/evaluation-result-1875370-1245203015/solver-1875370-1245203015 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875370-1245203015.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.04 1.01 1.00 3/64 6776 /proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=2584 CPUtime=0 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 218 0 0 0 0 0 0 0 18 0 1 0 187898588 2646016 202 1992294400 134512640 135709839 4294956240 18446744073709551615 134543809 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 646 203 127 292 0 336 0 [startup+0.00887801 s] /proc/loadavg: 1.04 1.01 1.00 3/64 6776 /proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=2716 CPUtime=0 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 187898588 2781184 226 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 679 226 135 292 0 369 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2716 [startup+0.101888 s] /proc/loadavg: 1.04 1.01 1.00 3/64 6776 /proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=4772 CPUtime=0.09 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 776 0 0 0 9 0 0 0 18 0 1 0 187898588 4886528 745 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 1193 745 135 292 0 898 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4772 [startup+0.301917 s] /proc/loadavg: 1.04 1.01 1.00 3/64 6776 /proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=5720 CPUtime=0.29 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 1039 0 0 0 28 1 0 0 19 0 1 0 187898588 5857280 1008 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 1430 1008 136 292 0 1135 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5720 [startup+0.701974 s] /proc/loadavg: 1.04 1.01 1.00 3/64 6776 /proc/meminfo: memFree=1858856/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=7436 CPUtime=0.69 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 1448 0 0 0 66 3 0 0 22 0 1 0 187898588 7614464 1417 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 1859 1417 136 292 0 1564 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7436 [startup+1.50109 s] /proc/loadavg: 1.04 1.01 1.00 2/65 6777 /proc/meminfo: memFree=1852320/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=10356 CPUtime=1.49 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 2186 0 0 0 145 4 0 0 25 0 1 0 187898588 10604544 2155 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 2589 2155 136 292 0 2294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10356 [startup+3.10132 s] /proc/loadavg: 1.04 1.01 1.00 2/65 6777 /proc/meminfo: memFree=1848352/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=13408 CPUtime=3.09 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 2957 0 0 0 303 6 0 0 25 0 1 0 187898588 13729792 2926 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 3352 2926 136 292 0 3057 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13408 [startup+6.30178 s] /proc/loadavg: 1.03 1.01 1.00 2/65 6777 /proc/meminfo: memFree=1841136/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=21492 CPUtime=6.29 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 4953 0 0 0 619 10 0 0 25 0 1 0 187898588 22007808 4922 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 5373 4922 136 292 0 5078 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21492 [startup+12.7017 s] /proc/loadavg: 1.03 1.01 1.00 2/65 6777 /proc/meminfo: memFree=1827056/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=35124 CPUtime=12.69 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 8367 0 0 0 1253 16 0 0 25 0 1 0 187898588 35966976 8336 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 8781 8336 136 292 0 8486 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35124 [startup+25.5015 s] /proc/loadavg: 1.02 1.01 1.00 2/65 6777 /proc/meminfo: memFree=1796784/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=64572 CPUtime=25.48 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 15746 0 0 0 2523 25 0 0 25 0 1 0 187898588 66121728 15715 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 16143 15715 136 292 0 15848 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64572 [startup+51.1012 s] /proc/loadavg: 1.01 1.01 1.00 2/65 6777 /proc/meminfo: memFree=1765808/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=96872 CPUtime=51.08 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 23810 0 0 0 5067 41 0 0 25 0 1 0 187898588 99196928 23779 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 24218 23779 136 292 0 23923 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 96872 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6777 /proc/meminfo: memFree=1646896/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=213880 CPUtime=102.26 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 53039 0 0 0 10150 76 0 0 25 0 1 0 187898588 219013120 53008 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 53470 53008 136 292 0 53175 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 213880 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6777 /proc/meminfo: memFree=1558256/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=303892 CPUtime=162.25 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 75519 0 0 0 16124 101 0 0 25 0 1 0 187898588 311185408 75488 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 75973 75488 136 292 0 75678 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 303892 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6777 /proc/meminfo: memFree=1470064/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=390428 CPUtime=222.22 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 97127 0 0 0 22100 122 0 0 25 0 1 0 187898588 399798272 97096 1992294400 134512640 135709839 4294956240 18446744073709551615 134611859 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 97607 97096 136 292 0 97312 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 390428 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6777 /proc/meminfo: memFree=1358384/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=504072 CPUtime=282.21 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 125541 0 0 0 28064 157 0 0 25 0 1 0 187898588 516169728 125510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 126018 125510 136 292 0 125723 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 504072 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6777 /proc/meminfo: memFree=1250352/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=610264 CPUtime=342.19 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 152065 0 0 0 34031 188 0 0 25 0 1 0 187898588 624910336 152034 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 152566 152034 136 292 0 152271 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 610264 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6777 /proc/meminfo: memFree=1165616/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=694960 CPUtime=402.18 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 173219 0 0 0 40000 218 0 0 25 0 1 0 187898588 711639040 173188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 173740 173188 136 292 0 173445 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 694960 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=1082088/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=778468 CPUtime=462.15 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 194052 0 0 0 45965 250 0 0 25 0 1 0 187898588 797151232 194021 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 194617 194021 136 292 0 194322 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 778468 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=982256/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=878528 CPUtime=522.13 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 219060 0 0 0 51940 273 0 0 25 0 1 0 187898588 899612672 219029 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 219632 219029 136 292 0 219337 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 878528 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=892272/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=968440 CPUtime=582.12 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 241545 0 0 0 57914 298 0 0 25 0 1 0 187898588 991682560 241514 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 242110 241514 136 292 0 241815 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 968440 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=792752/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1066480 CPUtime=642.1 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 266042 0 0 0 63889 321 0 0 25 0 1 0 187898588 1092075520 266011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 266620 266011 136 292 0 266325 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1066480 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=713072/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1146492 CPUtime=702.08 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 286042 0 0 0 69865 343 0 0 25 0 1 0 187898588 1174007808 286011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 286623 286011 136 292 0 286328 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1146492 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=616432/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1242676 CPUtime=762.07 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 310066 0 0 0 75840 367 0 0 25 0 1 0 187898588 1272500224 310035 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 310669 310035 136 292 0 310374 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1242676 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 6779 /proc/meminfo: memFree=539184/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1321352 CPUtime=822.04 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 329743 0 0 0 81819 385 0 0 25 0 1 0 187898588 1353064448 329712 1992294400 134512640 135709839 4294956240 18446744073709551615 134574295 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 330338 329712 136 292 0 330043 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1321352 [startup+882.302 s] /proc/loadavg: 1.11 1.03 1.01 2/65 6779 /proc/meminfo: memFree=459504/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1399656 CPUtime=882.03 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 349333 0 0 0 87799 404 0 0 25 0 1 0 187898588 1433247744 349302 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 349914 349302 136 292 0 349619 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1399656 [startup+942.301 s] /proc/loadavg: 1.04 1.02 1.00 2/65 6779 /proc/meminfo: memFree=412208/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1445560 CPUtime=942.01 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 361026 0 0 0 93778 423 0 0 25 0 1 0 187898588 1480253440 360961 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 361390 360961 136 292 0 361095 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1445560 [startup+1002.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 6779 /proc/meminfo: memFree=402288/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1456004 CPUtime=1001.99 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 363625 0 0 0 99760 439 0 0 25 0 1 0 187898588 1490948096 363560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 364001 363560 136 292 0 363706 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1456004 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 6785 /proc/meminfo: memFree=330352/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1528316 CPUtime=1061.96 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 381692 0 0 0 105727 469 0 0 25 0 1 0 187898588 1564995584 381627 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 382079 381627 136 292 0 381784 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1528316 [startup+1122.3 s] /proc/loadavg: 1.20 1.05 1.02 2/65 7261 /proc/meminfo: memFree=248152/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1598568 CPUtime=1121.83 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 399251 0 0 0 111692 491 0 0 25 0 1 0 187898588 1636933632 399186 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 399642 399186 136 292 0 399347 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1598568 [startup+1182.3 s] /proc/loadavg: 1.07 1.04 1.01 2/65 7261 /proc/meminfo: memFree=168048/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1679108 CPUtime=1181.82 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 419359 0 0 0 117670 512 0 0 25 0 1 0 187898588 1719406592 419294 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 419777 419294 136 292 0 419482 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1679108 [startup+1242.3 s] /proc/loadavg: 1.02 1.03 1.00 2/65 7261 /proc/meminfo: memFree=82928/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1763792 CPUtime=1241.8 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 440507 0 0 0 123642 538 0 0 25 0 1 0 187898588 1806123008 440442 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 440948 440442 136 292 0 440653 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1763792 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1294.1 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7261 /proc/meminfo: memFree=15088/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=1843248 CPUtime=1293.57 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4194304 460362 0 0 0 128795 562 0 0 25 0 1 0 187898588 1887485952 460297 1992294400 134512640 135709839 4294956240 18446744073709551615 134573931 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 460812 460297 136 292 0 460517 0 Current children cumulated CPU time (s) 1293.57 Current children cumulated vsize (KiB) 1843248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1294.21 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7261 /proc/meminfo: memFree=15088/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=0 CPUtime=1293.67 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4195332 460362 0 0 0 128795 572 0 0 25 0 1 0 187898588 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1293.67 Current children cumulated vsize (KiB) 0 [startup+1294.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 7261 /proc/meminfo: memFree=15088/2055920 swapFree=4182572/4192956 [pid=6776] ppid=6774 vsize=0 CPUtime=1293.77 /proc/6776/stat : 6776 (wbo) R 6774 6776 6535 0 -1 4195332 460362 0 0 0 128795 582 0 0 25 0 1 0 187898588 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/6776/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1293.77 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1294.39 CPU time (s): 1293.86 CPU user time (s): 1287.95 CPU system time (s): 5.9091 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (KiB): 1843248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1287.95 system time used= 5.9091 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460362 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= 1657 runsolver used 0.873867 second user time and 2.81557 second system time The end
Begin job on node39 at 2009-06-17 03:43:35 IDJOB=1875370 IDBENCH=48210 IDSOLVER=698 FILE ID=node39/1875370-1245203015 PBS_JOBID= 9368353 Free space on /tmp= 66128 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_25_1.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-1875370-1245203015/watcher-1875370-1245203015 -o /tmp/evaluation-result-1875370-1245203015/solver-1875370-1245203015 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875370-1245203015.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9b1238456c70f4586134906da9731efc RANDOM SEED=1380864044 node39.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.263 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.263 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: 1859400 kB Buffers: 46780 kB Cached: 82148 kB SwapCached: 4216 kB Active: 41684 kB Inactive: 95148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859400 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 2420 kB Writeback: 0 kB Mapped: 13608 kB Slab: 45692 kB Committed_AS: 145840 kB PageTables: 1384 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-1875370-1245203015.opb Free space on /tmp at the end= 66128 MiB End job on node39 at 2009-06-17 04:05:11