Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1361.25 | 1361.77 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_4.opb |
MD5SUM | 86191362e647705fbaa0ee217c43491b |
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) | 1466 |
Sum of products size (including duplicates) | 2932 |
Number of different products | 733 |
Sum of products size | 1466 |
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-1875338-1245199606.opb. 0.00/0.00 c Instance file HOME/instance-1875338-1245199606.opb 0.00/0.00 c File size is 56456 bytes. 0.00/0.00 c Highest Coefficient sum: 37 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: 783 | 0.00/0.00 c | Number Clauses: 783 | 0.00/0.00 c | Number Cardinality: 100 | 0.00/0.00 c | Number PB Constraints: 733 | 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.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -46 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -45 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 4 Core Weight: 1 Total Weight: -44 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #7 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -43 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #8 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -42 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #9 0.00/0.02 c Core size: 4 Core Weight: 1 Total Weight: -41 0.00/0.02 c Elapsed CPU time: 0.024996 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: -40 0.00/0.02 c Elapsed CPU time: 0.026995 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.028995 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.030995 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.032994 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: -36 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #15 0.00/0.03 c Core size: 4 Core Weight: 1 Total Weight: -35 0.00/0.03 c Elapsed CPU time: 0.037994 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.039993 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.042993 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.044993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #19 0.00/0.04 c Core size: 4 Core Weight: 1 Total Weight: -31 0.00/0.04 c Elapsed CPU time: 0.046992 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.048992 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.051992 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.053991 s Remaining CPU time: 1799.95 s 0.00/0.05 c core #23 0.00/0.05 c Core size: 4 Core Weight: 1 Total Weight: -27 0.00/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.05/0.06 c core #24 0.05/0.06 c Core size: 9 Core Weight: 1 Total Weight: -26 0.05/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.05/0.06 c core #25 0.05/0.06 c Core size: 8 Core Weight: 1 Total Weight: -25 0.05/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.05/0.06 c core #26 0.05/0.06 c Core size: 13 Core Weight: 1 Total Weight: -24 0.05/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s 0.05/0.06 c ============================[ Search Statistics ]============================== 0.05/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.06 c =============================================================================== 0.05/0.06 c | 0 | 108 1642 3731 | 5000 0 nan | 0.000 % | 0.05/0.06 c =============================================================================== 0.05/0.06 c core #27 0.05/0.06 c Core size: 21 Core Weight: 1 Total Weight: -23 0.05/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 115 1643 3745 | 5000 0 nan | 0.000 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c core #28 0.05/0.07 c Core size: 12 Core Weight: 1 Total Weight: -22 0.05/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 119 1644 3753 | 5000 0 nan | 0.000 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c core #29 0.05/0.07 c Core size: 15 Core Weight: 1 Total Weight: -21 0.05/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 125 1645 3765 | 5000 0 nan | 0.000 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c core #30 0.05/0.07 c Core size: 16 Core Weight: 1 Total Weight: -20 0.05/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.05/0.07 c ============================[ Search Statistics ]============================== 0.05/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.07 c =============================================================================== 0.05/0.07 c | 0 | 131 1646 3777 | 5000 0 nan | 0.000 % | 0.05/0.07 c =============================================================================== 0.05/0.07 c core #31 0.05/0.07 c Core size: 17 Core Weight: 1 Total Weight: -19 0.05/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 137 1647 3789 | 5000 0 nan | 0.000 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c core #32 0.05/0.08 c Core size: 15 Core Weight: 1 Total Weight: -18 0.05/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 143 1648 3801 | 5000 0 nan | 0.000 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c core #33 0.05/0.08 c Core size: 20 Core Weight: 1 Total Weight: -17 0.05/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 151 1649 3817 | 5000 0 nan | 0.000 % | 0.05/0.08 c =============================================================================== 0.05/0.08 c core #34 0.05/0.08 c Core size: 41 Core Weight: 1 Total Weight: -16 0.05/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 162 1650 3839 | 5000 0 nan | 0.000 % | 0.05/0.08 c =============================================================================== 0.05/0.09 c core #35 0.05/0.09 c Core size: 85 Core Weight: 1 Total Weight: -15 0.05/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.05/0.09 c ============================[ Search Statistics ]============================== 0.05/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 184 1651 3883 | 5000 0 nan | 0.000 % | 0.05/0.09 c | 100 | 181 1651 3883 | 5500 100 20 | 80.262 % | 0.05/0.09 c =============================================================================== 0.05/0.09 c core #36 0.05/0.09 c Core size: 153 Core Weight: 1 Total Weight: -14 0.05/0.09 c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s 0.05/0.09 c ============================[ Search Statistics ]============================== 0.05/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.09 c =============================================================================== 0.05/0.09 c | 0 | 211 1652 3937 | 5000 0 nan | 0.000 % | 0.05/0.10 c | 100 | 210 1652 3937 | 5500 100 25 | 77.754 % | 0.09/0.10 c | 251 | 210 1652 3937 | 6050 251 28 | 77.754 % | 0.09/0.11 c | 477 | 210 1652 3937 | 6655 475 29 | 77.754 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c core #37 0.09/0.13 c Core size: 189 Core Weight: 1 Total Weight: -13 0.09/0.13 c Elapsed CPU time: 0.12998 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 | 238 1653 3991 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 100 | 238 1653 3991 | 5500 100 39 | 75.489 % | 0.09/0.14 c | 250 | 238 1653 3991 | 6050 250 41 | 75.489 % | 0.09/0.16 c | 476 | 236 1653 3991 | 6655 470 57 | 75.695 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c core #38 0.09/0.17 c Core size: 301 Core Weight: 1 Total Weight: -12 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c ============================[ Search Statistics ]============================== 0.09/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 270 1654 4055 | 5000 0 nan | 0.000 % | 0.09/0.18 c | 101 | 270 1654 4055 | 5500 101 44 | 73.081 % | 0.09/0.19 c | 253 | 270 1654 4055 | 6050 253 47 | 73.081 % | 0.09/0.20 c | 478 | 270 1654 4055 | 6655 478 56 | 73.081 % | 0.19/0.22 c | 815 | 270 1654 4055 | 7320 815 69 | 73.081 % | 0.19/0.26 c | 1325 | 270 1654 4055 | 8052 1325 79 | 73.081 % | 0.29/0.32 c | 2084 | 270 1654 4055 | 8857 2084 74 | 73.081 % | 0.39/0.47 c | 3223 | 270 1654 4055 | 9743 3223 78 | 73.081 % | 0.69/0.76 c | 4931 | 268 1654 4055 | 10717 4925 96 | 73.280 % | 0.79/0.80 c =============================================================================== 0.79/0.84 c core #39 0.79/0.84 c Core size: 378 Core Weight: 1 Total Weight: -11 0.79/0.84 c Elapsed CPU time: 0.807877 s Remaining CPU time: 1799.19 s 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 305 1655 4125 | 5000 0 nan | 0.000 % | 0.79/0.85 c | 100 | 305 1655 4125 | 5500 100 31 | 70.617 % | 0.79/0.85 c | 252 | 305 1655 4125 | 6050 252 31 | 70.617 % | 0.79/0.86 c | 479 | 305 1655 4125 | 6655 479 37 | 70.617 % | 0.79/0.88 c | 816 | 305 1655 4125 | 7320 816 44 | 70.617 % | 0.89/0.91 c | 1323 | 305 1655 4125 | 8052 1323 48 | 70.617 % | 0.89/0.99 c | 2082 | 305 1655 4125 | 8857 2082 82 | 70.617 % | 1.10/1.14 c | 3223 | 305 1655 4125 | 9743 3223 97 | 70.617 % | 1.39/1.43 c | 4931 | 305 1655 4125 | 10717 4931 121 | 70.617 % | 1.99/2.01 c | 7494 | 269 1655 4125 | 11789 3072 82 | 74.087 % | 1.99/2.03 c =============================================================================== 1.99/2.09 c core #40 1.99/2.09 c Core size: 499 Core Weight: 1 Total Weight: -10 1.99/2.09 c Elapsed CPU time: 2.03469 s Remaining CPU time: 1797.97 s 1.99/2.10 c ============================[ Search Statistics ]============================== 1.99/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.10 c =============================================================================== 1.99/2.10 c | 0 | 344 1656 4203 | 5000 0 nan | 0.000 % | 2.09/2.10 c | 101 | 344 1656 4203 | 5500 101 26 | 68.060 % | 2.09/2.11 c | 252 | 344 1656 4203 | 6050 252 42 | 68.060 % | 2.09/2.12 c | 477 | 344 1656 4203 | 6655 477 57 | 68.060 % | 2.09/2.15 c | 816 | 344 1656 4203 | 7320 816 64 | 68.060 % | 2.09/2.18 c | 1323 | 344 1656 4203 | 8052 1323 59 | 68.060 % | 2.19/2.24 c | 2082 | 344 1656 4203 | 8857 2082 63 | 68.060 % | 2.29/2.38 c | 3222 | 344 1656 4203 | 9743 3222 84 | 68.060 % | 2.79/2.82 c | 4932 | 344 1656 4203 | 10717 4932 142 | 68.060 % | 3.69/3.77 c | 7494 | 344 1656 4203 | 11789 7494 174 | 68.060 % | 4.89/4.98 c | 11342 | 344 1656 4203 | 12968 11342 182 | 68.060 % | 6.69/6.70 c | 17110 | 344 1656 4203 | 14265 10211 184 | 68.060 % | 7.69/7.72 c =============================================================================== 7.88/7.91 c core #41 7.88/7.91 c Core size: 507 Core Weight: 1 Total Weight: -9 7.88/7.91 c Elapsed CPU time: 7.78782 s Remaining CPU time: 1792.21 s 7.88/7.93 c ============================[ Search Statistics ]============================== 7.88/7.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.88/7.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.88/7.93 c =============================================================================== 7.88/7.93 c | 0 | 381 1657 4277 | 5000 0 nan | 0.000 % | 7.88/7.93 c | 103 | 381 1657 4277 | 5500 103 44 | 65.799 % | 7.88/7.94 c | 253 | 381 1657 4277 | 6050 253 57 | 65.799 % | 7.88/7.95 c | 479 | 381 1657 4277 | 6655 479 60 | 65.799 % | 7.88/7.98 c | 817 | 381 1657 4277 | 7320 817 74 | 65.799 % | 7.99/8.05 c | 1323 | 381 1657 4277 | 8052 1323 97 | 65.799 % | 8.09/8.13 c | 2085 | 381 1657 4277 | 8857 2085 117 | 65.799 % | 8.19/8.25 c | 3224 | 381 1657 4277 | 9743 3224 118 | 65.799 % | 8.48/8.52 c | 4933 | 381 1657 4277 | 10717 4933 131 | 65.799 % | 8.99/9.08 c | 7496 | 381 1657 4277 | 11789 7496 162 | 65.799 % | 10.08/10.13 c | 11347 | 381 1657 4277 | 12968 11347 185 | 65.799 % | 11.59/11.69 c | 17114 | 381 1657 4277 | 14265 10183 171 | 65.799 % | 15.39/15.43 c | 25763 | 381 1657 4277 | 15692 11283 206 | 65.799 % | 22.08/22.14 c | 38738 | 381 1657 4277 | 17261 15978 179 | 65.799 % | 34.38/34.40 c | 58202 | 381 1657 4277 | 18987 17346 292 | 65.799 % | 55.37/55.41 c | 87394 | 381 1657 4277 | 20886 16767 202 | 65.799 % | 94.96/95.04 c | 131183 | 381 1657 4277 | 22974 17009 434 | 65.799 % | 147.65/147.78 c | 196874 | 381 1657 4277 | 25272 23091 213 | 65.799 % | 219.03/219.14 c | 295402 | 381 1657 4277 | 27799 15368 114 | 65.799 % | 353.79/353.92 c | 443191 | 381 1657 4277 | 30579 26392 497 | 65.799 % | 478.56/478.76 c =============================================================================== 487.56/487.78 c core #42 487.56/487.78 c Core size: 867 Core Weight: 1 Total Weight: -8 487.56/487.78 c Elapsed CPU time: 485.159 s Remaining CPU time: 1314.84 s 488.16/488.38 c ============================[ Search Statistics ]============================== 488.16/488.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 488.16/488.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 488.16/488.38 c =============================================================================== 488.16/488.38 c | 0 | 431 1658 4377 | 5000 0 nan | 0.000 % | 488.26/488.47 c | 101 | 431 1658 4377 | 5500 101 69 | 62.973 % | 488.26/488.48 c | 252 | 431 1658 4377 | 6050 252 58 | 62.973 % | 488.36/488.51 c | 477 | 431 1658 4377 | 6655 477 68 | 62.973 % | 488.36/488.54 c | 815 | 431 1658 4377 | 7320 815 79 | 62.973 % | 488.36/488.60 c | 1321 | 431 1658 4377 | 8052 1321 94 | 62.973 % | 488.55/488.71 c | 2083 | 431 1658 4377 | 8857 2083 120 | 62.973 % | 488.75/488.94 c | 3227 | 431 1658 4377 | 9743 3227 152 | 62.973 % | 489.35/489.51 c | 4937 | 431 1658 4377 | 10717 4937 173 | 62.973 % | 490.76/490.96 c | 7499 | 431 1658 4377 | 11789 7499 207 | 62.973 % | 494.95/495.14 c | 11344 | 431 1658 4377 | 12968 11344 249 | 62.973 % | 499.95/500.10 c | 17111 | 431 1658 4377 | 14265 10204 300 | 62.973 % | 504.45/504.68 c | 25761 | 431 1658 4377 | 15692 11287 256 | 62.973 % | 512.35/512.57 c | 38738 | 431 1658 4377 | 17261 15986 241 | 62.973 % | 525.65/525.83 c | 58203 | 431 1658 4377 | 18987 17284 218 | 62.973 % | 547.64/547.86 c | 87395 | 431 1658 4377 | 20886 16704 277 | 62.973 % | 589.33/589.60 c | 131187 | 431 1658 4377 | 22974 17008 392 | 62.973 % | 644.81/645.08 c | 196874 | 431 1658 4377 | 25272 23082 163 | 62.973 % | 757.07/757.34 c | 295401 | 431 1658 4377 | 27799 14828 394 | 62.973 % | 923.33/923.61 c | 443190 | 431 1658 4377 | 30579 22234 310 | 62.973 % | 1125.77/1126.14 c | 664873 | 431 1658 4377 | 33637 29971 138 | 62.973 % |
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-1875338-1245199606/watcher-1875338-1245199606 -o /tmp/evaluation-result-1875338-1245199606/solver-1875338-1245199606 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875338-1245199606.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.01 1.00 1.00 3/65 5694 /proc/meminfo: memFree=1825200/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=2580 CPUtime=0 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 223 0 0 0 0 0 0 0 20 0 1 0 187559187 2641920 207 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 678 208 129 292 0 369 0 [startup+0.058918 s] /proc/loadavg: 1.01 1.00 1.00 3/65 5694 /proc/meminfo: memFree=1825200/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=4004 CPUtime=0.05 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 595 0 0 0 5 0 0 0 20 0 1 0 187559187 4100096 565 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 1001 565 134 292 0 706 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4004 [startup+0.101921 s] /proc/loadavg: 1.01 1.00 1.00 3/65 5694 /proc/meminfo: memFree=1825200/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=4688 CPUtime=0.09 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 778 0 0 0 9 0 0 0 21 0 1 0 187559187 4800512 748 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 1172 748 136 292 0 877 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4688 [startup+0.301942 s] /proc/loadavg: 1.01 1.00 1.00 3/65 5694 /proc/meminfo: memFree=1825200/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=5504 CPUtime=0.29 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 969 0 0 0 28 1 0 0 22 0 1 0 187559187 5636096 939 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 1376 939 136 292 0 1081 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5504 [startup+0.701982 s] /proc/loadavg: 1.01 1.00 1.00 3/65 5694 /proc/meminfo: memFree=1825200/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=7220 CPUtime=0.69 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 1390 0 0 0 67 2 0 0 25 0 1 0 187559187 7393280 1360 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 1805 1360 136 292 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7220 [startup+1.50106 s] /proc/loadavg: 1.01 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1819432/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=8280 CPUtime=1.49 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 1681 0 0 0 145 4 0 0 25 0 1 0 187559187 8478720 1651 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 2070 1651 136 292 0 1775 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8280 [startup+3.10122 s] /proc/loadavg: 1.01 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1816360/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=12768 CPUtime=3.09 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 2777 0 0 0 302 7 0 0 25 0 1 0 187559187 13074432 2747 1992294400 134512640 135709839 4294956240 18446744073709551615 134573927 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 3192 2747 136 292 0 2897 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12768 [startup+6.30155 s] /proc/loadavg: 1.01 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1807720/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=22624 CPUtime=6.29 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 5252 0 0 0 619 10 0 0 25 0 1 0 187559187 23166976 5222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 5656 5222 136 292 0 5361 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22624 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1789696/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=39972 CPUtime=12.69 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 9586 0 0 0 1251 18 0 0 25 0 1 0 187559187 40931328 9556 1992294400 134512640 135709839 4294956240 18446744073709551615 134574293 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 9993 9556 136 292 0 9698 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39972 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1762048/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=66060 CPUtime=25.48 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 16087 0 0 0 2523 25 0 0 25 0 1 0 187559187 67645440 16057 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 16515 16057 136 292 0 16220 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 66060 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1711808/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=116960 CPUtime=51.07 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 28792 0 0 0 5067 40 0 0 25 0 1 0 187559187 119767040 28762 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 29240 28762 136 292 0 28945 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 116960 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1614848/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=212744 CPUtime=102.27 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 52716 0 0 0 10160 67 0 0 25 0 1 0 187559187 217849856 52686 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 53186 52686 136 292 0 52891 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 212744 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1506112/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=322552 CPUtime=162.24 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 80148 0 0 0 16124 100 0 0 25 0 1 0 187559187 330293248 80118 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 80638 80118 136 292 0 80343 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 322552 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1435904/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=391588 CPUtime=222.23 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 97372 0 0 0 22090 133 0 0 25 0 1 0 187559187 400986112 97342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 97897 97342 136 292 0 97602 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 391588 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5695 /proc/meminfo: memFree=1338752/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=489580 CPUtime=282.21 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 121858 0 0 0 28059 162 0 0 25 0 1 0 187559187 501329920 121828 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 122395 121829 136 292 0 122100 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 489580 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=1239032/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=588276 CPUtime=342.19 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 146507 0 0 0 34030 189 0 0 25 0 1 0 187559187 602394624 146477 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 147069 146477 136 292 0 146774 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 588276 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=1163520/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=665368 CPUtime=402.18 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 165789 0 0 0 40009 209 0 0 25 0 1 0 187559187 681336832 165759 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 166342 165759 136 292 0 166047 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 665368 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=1068032/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=759652 CPUtime=462.16 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 189321 0 0 0 45977 239 0 0 25 0 1 0 187559187 777883648 189291 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 189913 189291 136 292 0 189618 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 759652 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=1005248/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=821524 CPUtime=522.14 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 205009 0 0 0 51950 264 0 0 25 0 1 0 187559187 841240576 204948 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 205381 204948 136 292 0 205086 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 821524 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=918016/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=908524 CPUtime=582.13 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 226725 0 0 0 57918 295 0 0 25 0 1 0 187559187 930328576 226664 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 227131 226664 136 292 0 226836 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 908524 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=854528/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=971148 CPUtime=642.11 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 242356 0 0 0 63890 321 0 0 25 0 1 0 187559187 994455552 242295 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 242787 242295 136 292 0 242492 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 971148 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=807872/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1018296 CPUtime=702.1 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 254107 0 0 0 69870 340 0 0 25 0 1 0 187559187 1042735104 254046 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 254574 254046 136 292 0 254279 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1018296 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=729472/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1096092 CPUtime=762.08 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 273558 0 0 0 75846 362 0 0 25 0 1 0 187559187 1122398208 273497 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 274023 273497 136 292 0 273728 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1096092 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5697 /proc/meminfo: memFree=673344/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1153000 CPUtime=822.05 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 287749 0 0 0 81819 386 0 0 25 0 1 0 187559187 1180672000 287688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 288250 287688 136 292 0 287955 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1153000 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=618616/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1207080 CPUtime=882.04 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 301267 0 0 0 87796 408 0 0 25 0 1 0 187559187 1236049920 301206 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 301770 301206 136 292 0 301475 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1207080 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=535032/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1290968 CPUtime=942.03 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 322221 0 0 0 93769 434 0 0 25 0 1 0 187559187 1321951232 322160 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 322742 322160 136 292 0 322447 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1290968 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=447032/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1378596 CPUtime=1002 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 344132 0 0 0 99736 464 0 0 25 0 1 0 187559187 1411682304 344071 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 344649 344071 136 292 0 344354 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 1378596 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=371832/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1453808 CPUtime=1061.99 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 362934 0 0 0 105709 490 0 0 25 0 1 0 187559187 1488699392 362873 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 363452 362873 136 292 0 363157 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1453808 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=311096/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1514144 CPUtime=1121.98 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 377987 0 0 0 111680 518 0 0 25 0 1 0 187559187 1550483456 377926 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 378536 377926 136 292 0 378241 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1514144 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=209728/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1616372 CPUtime=1181.96 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 403533 0 0 0 117653 543 0 0 25 0 1 0 187559187 1655164928 403472 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 404093 403472 136 292 0 403798 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1616372 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 5703 /proc/meminfo: memFree=135232/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1690188 CPUtime=1241.94 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 421932 0 0 0 123631 563 0 0 25 0 1 0 187559187 1730752512 421871 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 422547 421871 136 292 0 422252 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1690188 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 1.00 2/66 5703 /proc/meminfo: memFree=48384/2055920 swapFree=4169920/4192956 [pid=5694] ppid=5692 vsize=1776216 CPUtime=1301.93 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 443423 0 0 0 129610 583 0 0 25 0 1 0 187559187 1818845184 443362 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 444054 443362 136 292 0 443759 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1776216 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1361.5 s] /proc/loadavg: 1.07 1.03 1.00 2/66 5703 /proc/meminfo: memFree=15680/2055920 swapFree=4170004/4192956 [pid=5694] ppid=5692 vsize=1843308 CPUtime=1360.98 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4194304 460185 0 0 0 135498 600 0 0 25 0 1 0 187559187 1887547392 460124 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 460827 460124 136 292 0 460532 0 Current children cumulated CPU time (s) 1360.98 Current children cumulated vsize (KiB) 1843308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1361.61 s] /proc/loadavg: 1.07 1.03 1.00 2/66 5703 /proc/meminfo: memFree=15680/2055920 swapFree=4170004/4192956 [pid=5694] ppid=5692 vsize=0 CPUtime=1361.08 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4195332 460185 0 0 0 135498 610 0 0 25 0 1 0 187559187 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.08 Current children cumulated vsize (KiB) 0 [startup+1361.7 s] /proc/loadavg: 1.07 1.03 1.00 2/67 5704 /proc/meminfo: memFree=1393336/2055920 swapFree=4170004/4192956 [pid=5694] ppid=5692 vsize=0 CPUtime=1361.18 /proc/5694/stat : 5694 (wbo) R 5692 5694 4784 0 -1 4195332 460185 0 0 0 135498 620 0 0 25 0 1 0 187559187 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5694/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1361.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1361.77 CPU time (s): 1361.25 CPU user time (s): 1354.98 CPU system time (s): 6.26705 CPU usage (%): 99.962 Max. virtual memory (cumulated for all children) (KiB): 1843308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1354.98 system time used= 6.26705 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460185 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= 2145 runsolver used 1.58076 second user time and 3.24951 second system time The end
Begin job on node84 at 2009-06-17 02:46:46 IDJOB=1875338 IDBENCH=48178 IDSOLVER=698 FILE ID=node84/1875338-1245199606 PBS_JOBID= 9368323 Free space on /tmp= 66524 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_25_4.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875338-1245199606/watcher-1875338-1245199606 -o /tmp/evaluation-result-1875338-1245199606/solver-1875338-1245199606 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875338-1245199606.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 86191362e647705fbaa0ee217c43491b RANDOM SEED=391731597 node84.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.222 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.222 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: 1825744 kB Buffers: 40552 kB Cached: 111400 kB SwapCached: 17164 kB Active: 62384 kB Inactive: 109104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1825744 kB SwapTotal: 4192956 kB SwapFree: 4169920 kB Dirty: 2476 kB Writeback: 0 kB Mapped: 25284 kB Slab: 44612 kB Committed_AS: 111408 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-1875338-1245199606.opb Free space on /tmp at the end= 66520 MiB End job on node84 at 2009-06-17 03:09:29