Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1164.12 | 1164.67 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_50_25_5.opb |
MD5SUM | 20ea76261c79ba7825c3d1b1d13450a8 |
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.043993 |
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 | 35 |
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) | 1464 |
Sum of products size (including duplicates) | 2928 |
Number of different products | 732 |
Sum of products size | 1464 |
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-1875358-1245201972.opb. 0.00/0.00 c Instance file HOME/instance-1875358-1245201972.opb 0.00/0.00 c File size is 56409 bytes. 0.00/0.00 c Highest Coefficient sum: 35 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: 782 | 0.00/0.00 c | Number Clauses: 782 | 0.00/0.00 c | Number Cardinality: 100 | 0.00/0.00 c | Number PB Constraints: 732 | 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.020996 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.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.027995 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.034994 s Remaining CPU time: 1799.97 s 0.03/0.03 c core #14 0.03/0.03 c Core size: 4 Core Weight: 1 Total Weight: -36 0.03/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #15 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -35 0.03/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #16 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -34 0.03/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #17 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -33 0.03/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.03/0.04 c core #18 0.03/0.04 c Core size: 4 Core Weight: 1 Total Weight: -32 0.03/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #19 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -31 0.03/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #20 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -30 0.03/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #21 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -29 0.03/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.03/0.05 c core #22 0.03/0.05 c Core size: 4 Core Weight: 1 Total Weight: -28 0.03/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #23 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -27 0.03/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #24 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -26 0.03/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.03/0.06 c core #25 0.03/0.06 c Core size: 4 Core Weight: 1 Total Weight: -25 0.03/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.03/0.06 c ============================[ Search Statistics ]============================== 0.03/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.06 c =============================================================================== 0.03/0.06 c | 0 | 100 1639 3785 | 5000 0 nan | 0.000 % | 0.03/0.06 c =============================================================================== 0.03/0.06 c core #26 0.03/0.06 c Core size: 12 Core Weight: 1 Total Weight: -24 0.03/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 104 1640 3793 | 5000 0 nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #27 0.03/0.07 c Core size: 12 Core Weight: 1 Total Weight: -23 0.03/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 108 1641 3801 | 5000 0 nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #28 0.03/0.07 c Core size: 16 Core Weight: 1 Total Weight: -22 0.03/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 1799.93 s 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 114 1642 3813 | 5000 0 nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #29 0.03/0.07 c Core size: 17 Core Weight: 1 Total Weight: -21 0.03/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.03/0.07 c ============================[ Search Statistics ]============================== 0.03/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.07 c =============================================================================== 0.03/0.07 c | 0 | 120 1643 3825 | 5000 0 nan | 0.000 % | 0.03/0.07 c =============================================================================== 0.03/0.07 c core #30 0.03/0.07 c Core size: 12 Core Weight: 1 Total Weight: -20 0.03/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 124 1644 3833 | 5000 0 nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #31 0.03/0.08 c Core size: 16 Core Weight: 1 Total Weight: -19 0.03/0.08 c Elapsed CPU time: 0.079987 s Remaining CPU time: 1799.92 s 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 130 1645 3845 | 5000 0 nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #32 0.03/0.08 c Core size: 22 Core Weight: 1 Total Weight: -18 0.03/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 138 1646 3861 | 5000 0 nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #33 0.03/0.08 c Core size: 17 Core Weight: 1 Total Weight: -17 0.03/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.03/0.08 c ============================[ Search Statistics ]============================== 0.03/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.08 c =============================================================================== 0.03/0.08 c | 0 | 144 1647 3873 | 5000 0 nan | 0.000 % | 0.03/0.08 c =============================================================================== 0.03/0.08 c core #34 0.03/0.08 c Core size: 36 Core Weight: 1 Total Weight: -16 0.03/0.08 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 156 1648 3897 | 5000 0 nan | 0.000 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #35 0.03/0.09 c Core size: 83 Core Weight: 1 Total Weight: -15 0.03/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.03/0.09 c ============================[ Search Statistics ]============================== 0.03/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.03/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.03/0.09 c =============================================================================== 0.03/0.09 c | 0 | 174 1649 3933 | 5000 0 nan | 0.000 % | 0.03/0.09 c | 100 | 171 1649 3933 | 5500 100 17 | 81.126 % | 0.03/0.09 c =============================================================================== 0.03/0.09 c core #36 0.03/0.09 c Core size: 117 Core Weight: 1 Total Weight: -14 0.03/0.09 c Elapsed CPU time: 0.097985 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 | 198 1650 3981 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #37 0.09/0.10 c Core size: 136 Core Weight: 1 Total Weight: -13 0.09/0.10 c Elapsed CPU time: 0.101984 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 | 226 1651 4037 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 100 | 222 1651 4037 | 5500 100 13 | 76.827 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #38 0.09/0.11 c Core size: 99 Core Weight: 1 Total Weight: -12 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 254 1652 4093 | 5000 0 nan | 0.000 % | 0.09/0.11 c | 100 | 254 1652 4093 | 5500 100 24 | 74.239 % | 0.09/0.12 c | 252 | 254 1652 4093 | 6050 252 30 | 74.239 % | 0.09/0.13 c | 480 | 254 1652 4093 | 6655 480 40 | 74.239 % | 0.09/0.15 c | 818 | 254 1652 4093 | 7320 818 53 | 74.239 % | 0.09/0.19 c | 1324 | 254 1652 4093 | 8052 1324 68 | 74.239 % | 0.19/0.27 c | 2083 | 253 1652 4093 | 8857 2075 85 | 74.341 % | 0.19/0.28 c =============================================================================== 0.19/0.29 c core #39 0.19/0.29 c Core size: 413 Core Weight: 1 Total Weight: -11 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 290 1653 4165 | 5000 0 nan | 0.000 % | 0.29/0.30 c | 101 | 290 1653 4165 | 5500 101 23 | 71.624 % | 0.29/0.30 c | 254 | 290 1653 4165 | 6050 254 37 | 71.624 % | 0.29/0.31 c | 480 | 290 1653 4165 | 6655 480 42 | 71.624 % | 0.29/0.34 c | 818 | 289 1653 4165 | 7320 816 60 | 71.722 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c core #40 0.29/0.35 c Core size: 299 Core Weight: 1 Total Weight: -10 0.29/0.35 c Elapsed CPU time: 0.351946 s Remaining CPU time: 1799.65 s 0.29/0.36 c ============================[ Search Statistics ]============================== 0.29/0.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.36 c =============================================================================== 0.29/0.36 c | 0 | 318 1654 4221 | 5000 0 nan | 0.000 % | 0.29/0.36 c | 100 | 318 1654 4221 | 5500 100 44 | 69.714 % | 0.29/0.37 c | 250 | 318 1654 4221 | 6050 250 55 | 69.714 % | 0.29/0.38 c | 475 | 318 1654 4221 | 6655 475 58 | 69.714 % | 0.39/0.40 c | 812 | 318 1654 4221 | 7320 812 68 | 69.714 % | 0.39/0.44 c | 1319 | 318 1654 4221 | 8052 1319 72 | 69.714 % | 0.49/0.52 c | 2080 | 318 1654 4221 | 8857 2080 89 | 69.714 % | 0.59/0.64 c | 3219 | 318 1654 4221 | 9743 3219 94 | 69.714 % | 1.00/1.00 c | 4928 | 318 1654 4221 | 10717 4928 124 | 69.714 % | 1.89/1.99 c | 7491 | 318 1654 4221 | 11789 7491 166 | 69.714 % | 3.39/3.48 c | 11335 | 318 1654 4221 | 12968 11335 190 | 69.714 % | 5.19/5.20 c | 17103 | 318 1654 4221 | 14265 10221 200 | 69.714 % | 8.29/8.36 c =============================================================================== 8.59/8.63 c core #41 8.59/8.63 c Core size: 676 Core Weight: 1 Total Weight: -9 8.59/8.63 c Elapsed CPU time: 8.5227 s Remaining CPU time: 1791.48 s 8.59/8.66 c ============================[ Search Statistics ]============================== 8.59/8.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.66 c =============================================================================== 8.59/8.66 c | 0 | 364 1655 4313 | 5000 0 nan | 0.000 % | 8.59/8.66 c | 101 | 364 1655 4313 | 5500 101 39 | 66.788 % | 8.59/8.67 c | 252 | 364 1655 4313 | 6050 252 66 | 66.788 % | 8.59/8.68 c | 477 | 364 1655 4313 | 6655 477 72 | 66.788 % | 8.69/8.71 c | 814 | 364 1655 4313 | 7320 814 85 | 66.788 % | 8.69/8.75 c | 1325 | 364 1655 4313 | 8052 1325 90 | 66.788 % | 8.79/8.86 c | 2085 | 364 1655 4313 | 8857 2085 101 | 66.788 % | 8.99/9.01 c | 3226 | 364 1655 4313 | 9743 3226 102 | 66.788 % | 9.19/9.27 c | 4936 | 364 1655 4313 | 10717 4936 100 | 66.788 % | 9.58/9.70 c | 7499 | 364 1655 4313 | 11789 7499 94 | 66.788 % | 10.58/10.65 c | 11343 | 364 1655 4313 | 12968 11343 114 | 66.788 % | 12.39/12.44 c | 17111 | 364 1655 4313 | 14265 10224 126 | 66.788 % | 14.29/14.34 c | 25760 | 364 1655 4313 | 15692 11300 80 | 66.788 % | 20.38/20.41 c | 38736 | 364 1655 4313 | 17261 16018 244 | 66.788 % | 37.28/37.31 c | 58197 | 364 1655 4313 | 18987 17377 320 | 66.788 % | 58.36/58.41 c | 87391 | 364 1655 4313 | 20886 16861 297 | 66.788 % | 109.25/109.31 c | 131180 | 364 1655 4313 | 22974 17214 427 | 66.788 % | 116.94/117.00 c =============================================================================== 119.54/119.60 c core #42 119.54/119.60 c Core size: 735 Core Weight: 1 Total Weight: -8 119.54/119.60 c Elapsed CPU time: 118.906 s Remaining CPU time: 1681.09 s 119.64/119.76 c ============================[ Search Statistics ]============================== 119.64/119.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 119.64/119.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 119.64/119.76 c =============================================================================== 119.64/119.76 c | 0 | 410 1656 4405 | 5000 0 nan | 0.000 % | 119.64/119.78 c | 102 | 410 1656 4405 | 5500 102 40 | 64.098 % | 119.64/119.79 c | 252 | 410 1656 4405 | 6050 252 53 | 64.098 % | 119.74/119.81 c | 477 | 410 1656 4405 | 6655 477 53 | 64.098 % | 119.74/119.83 c | 814 | 410 1656 4405 | 7320 814 67 | 64.098 % | 119.74/119.88 c | 1322 | 410 1656 4405 | 8052 1322 80 | 64.098 % | 119.84/119.99 c | 2081 | 410 1656 4405 | 8857 2081 108 | 64.098 % | 120.13/120.29 c | 3220 | 410 1656 4405 | 9743 3220 137 | 64.098 % | 120.53/120.64 c | 4929 | 410 1656 4405 | 10717 4929 146 | 64.098 % | 121.44/121.58 c | 7491 | 410 1656 4405 | 11789 7491 165 | 64.098 % | 123.73/123.82 c | 11335 | 410 1656 4405 | 12968 11335 200 | 64.098 % | 127.93/128.01 c | 17103 | 410 1656 4405 | 14265 10200 237 | 64.098 % | 134.13/134.26 c | 25752 | 410 1656 4405 | 15692 11282 247 | 64.098 % | 144.03/144.18 c | 38729 | 410 1656 4405 | 17261 15981 294 | 64.098 % | 159.72/159.82 c | 58191 | 410 1656 4405 | 18987 17339 301 | 64.098 % | 180.60/180.77 c | 87387 | 410 1656 4405 | 20886 16755 103 | 64.098 % | 217.79/217.90 c | 131176 | 410 1656 4405 | 22974 17081 422 | 64.098 % | 265.27/265.46 c | 196864 | 410 1656 4405 | 25272 23112 151 | 64.098 % | 351.63/351.82 c | 295391 | 410 1656 4405 | 27799 16367 424 | 64.098 % | 593.82/594.14 c | 443184 | 410 1656 4405 | 30579 14130 580 | 64.098 % | 892.46/892.91 c | 664868 | 410 1656 4405 | 33637 27019 157 | 64.098 % |
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-1875358-1245201972/watcher-1875358-1245201972 -o /tmp/evaluation-result-1875358-1245201972/solver-1875358-1245201972 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875358-1245201972.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.47 1.11 1.04 3/65 2828 /proc/meminfo: memFree=1859504/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=2580 CPUtime=0 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 187795570 2641920 207 1992294400 134512640 135709839 4294956240 18446744073709551615 134547798 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 645 207 129 292 0 336 0 [startup+0.0368919 s] /proc/loadavg: 1.47 1.11 1.04 3/65 2828 /proc/meminfo: memFree=1859504/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=3468 CPUtime=0.03 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 474 0 0 0 3 0 0 0 18 0 1 0 187795570 3551232 444 1992294400 134512640 135709839 4294956240 18446744073709551615 135165945 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 867 444 134 292 0 572 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3468 [startup+0.101903 s] /proc/loadavg: 1.47 1.11 1.04 3/65 2828 /proc/meminfo: memFree=1859504/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=4720 CPUtime=0.09 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 783 0 0 0 9 0 0 0 18 0 1 0 187795570 4833280 753 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 1180 753 136 292 0 885 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4720 [startup+0.301939 s] /proc/loadavg: 1.47 1.11 1.04 3/65 2828 /proc/meminfo: memFree=1859504/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=6068 CPUtime=0.29 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 1127 0 0 0 29 0 0 0 19 0 1 0 187795570 6213632 1097 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 1517 1097 136 292 0 1222 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6068 [startup+0.702013 s] /proc/loadavg: 1.47 1.11 1.04 3/65 2828 /proc/meminfo: memFree=1859504/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=6860 CPUtime=0.69 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 1302 0 0 0 68 1 0 0 23 0 1 0 187795570 7024640 1272 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 1715 1272 136 292 0 1420 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6860 [startup+1.50116 s] /proc/loadavg: 1.47 1.11 1.04 2/66 2829 /proc/meminfo: memFree=1853608/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=9764 CPUtime=1.49 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 2040 0 0 0 147 2 0 0 25 0 1 0 187795570 9998336 2010 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 2441 2010 136 292 0 2146 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9764 [startup+3.10145 s] /proc/loadavg: 1.47 1.11 1.04 2/66 2829 /proc/meminfo: memFree=1850088/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=14924 CPUtime=3.09 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 3322 0 0 0 305 4 0 0 25 0 1 0 187795570 15282176 3292 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 3731 3292 136 292 0 3436 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14924 [startup+6.30104 s] /proc/loadavg: 1.51 1.13 1.04 2/66 2829 /proc/meminfo: memFree=1839336/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=25028 CPUtime=6.29 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 5841 0 0 0 621 8 0 0 25 0 1 0 187795570 25628672 5811 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 6257 5811 136 292 0 5962 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25028 [startup+12.7012 s] /proc/loadavg: 1.47 1.12 1.04 2/66 2829 /proc/meminfo: memFree=1828272/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=33096 CPUtime=12.69 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 7884 0 0 0 1255 14 0 0 25 0 1 0 187795570 33890304 7854 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 8274 7854 136 292 0 7979 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33096 [startup+25.5016 s] /proc/loadavg: 1.37 1.12 1.04 2/66 2829 /proc/meminfo: memFree=1802544/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=59668 CPUtime=25.48 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 14517 0 0 0 2526 22 0 0 25 0 1 0 187795570 61100032 14487 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 14917 14487 136 292 0 14622 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59668 [startup+51.1013 s] /proc/loadavg: 1.24 1.11 1.04 2/66 2829 /proc/meminfo: memFree=1751792/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=111028 CPUtime=51.07 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 27337 0 0 0 5073 34 0 0 25 0 1 0 187795570 113692672 27307 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 27757 27307 136 292 0 27462 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 111028 [startup+102.306 s] /proc/loadavg: 1.10 1.09 1.03 2/66 2829 /proc/meminfo: memFree=1660272/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=201272 CPUtime=102.25 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 49861 0 0 0 10167 58 0 0 25 0 1 0 187795570 206102528 49831 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 50318 49831 136 292 0 50023 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 201272 [startup+162.302 s] /proc/loadavg: 1.04 1.07 1.03 2/66 2829 /proc/meminfo: memFree=1591216/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=270660 CPUtime=162.21 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 67252 0 0 0 16139 82 0 0 25 0 1 0 187795570 277155840 67222 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 67665 67222 136 292 0 67370 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 270660 [startup+222.302 s] /proc/loadavg: 1.01 1.05 1.02 2/66 2829 /proc/meminfo: memFree=1487088/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=373916 CPUtime=222.19 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 93043 0 0 0 22103 116 0 0 25 0 1 0 187795570 382889984 93013 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 93479 93013 136 292 0 93184 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 373916 [startup+282.303 s] /proc/loadavg: 1.00 1.04 1.01 2/66 2829 /proc/meminfo: memFree=1389808/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=472684 CPUtime=282.16 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 117718 0 0 0 28064 152 0 0 25 0 1 0 187795570 484028416 117688 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 118171 117688 136 292 0 117876 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 472684 [startup+342.302 s] /proc/loadavg: 1.00 1.03 1.01 2/66 2829 /proc/meminfo: memFree=1262512/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=598960 CPUtime=342.13 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 149278 0 0 0 34034 179 0 0 25 0 1 0 187795570 613335040 149248 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 149740 149248 136 292 0 149445 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 598960 [startup+402.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 2829 /proc/meminfo: memFree=1142320/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=719012 CPUtime=402.11 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 179272 0 0 0 40007 204 0 0 25 0 1 0 187795570 736268288 179242 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 179753 179242 136 292 0 179458 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 719012 [startup+462.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 2829 /proc/meminfo: memFree=1059248/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=801564 CPUtime=462.09 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 199892 0 0 0 45985 224 0 0 25 0 1 0 187795570 820801536 199862 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 200391 199862 136 292 0 200096 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 801564 [startup+522.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2829 /proc/meminfo: memFree=975408/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=886068 CPUtime=522.05 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 221006 0 0 0 51962 243 0 0 25 0 1 0 187795570 907333632 220976 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 221517 220976 136 292 0 221222 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 886068 [startup+582.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 2829 /proc/meminfo: memFree=877680/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=982716 CPUtime=582.02 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 245190 0 0 0 57934 268 0 0 25 0 1 0 187795570 1006301184 245160 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 245679 245160 136 292 0 245384 0 Current children cumulated CPU time (s) 582.02 Current children cumulated vsize (KiB) 982716 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=786736/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1073004 CPUtime=641.99 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 267754 0 0 0 63906 293 0 0 25 0 1 0 187795570 1098756096 267724 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 268251 267724 136 292 0 267956 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 1073004 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=703856/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1156060 CPUtime=701.96 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 288491 0 0 0 69881 315 0 0 25 0 1 0 187795570 1183805440 288461 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 289015 288461 136 292 0 288720 0 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (KiB) 1156060 [startup+762.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=647280/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1212324 CPUtime=761.93 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 302552 0 0 0 75862 331 0 0 25 0 1 0 187795570 1241419776 302522 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 303081 302522 136 292 0 302786 0 Current children cumulated CPU time (s) 761.93 Current children cumulated vsize (KiB) 1212324 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=564336/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1295552 CPUtime=821.89 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 323348 0 0 0 81834 355 0 0 25 0 1 0 187795570 1326645248 323318 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 323888 323318 136 292 0 323593 0 Current children cumulated CPU time (s) 821.89 Current children cumulated vsize (KiB) 1295552 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=465264/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1394252 CPUtime=881.87 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 347985 0 0 0 87801 386 0 0 25 0 1 0 187795570 1427714048 347955 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 348563 347955 136 292 0 348268 0 Current children cumulated CPU time (s) 881.87 Current children cumulated vsize (KiB) 1394252 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=349552/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1510868 CPUtime=941.84 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 377163 0 0 0 93769 415 0 0 25 0 1 0 187795570 1547128832 377133 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 377717 377133 136 292 0 377422 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 1510868 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=261680/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1597868 CPUtime=1001.81 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 398890 0 0 0 99746 435 0 0 25 0 1 0 187795570 1636216832 398860 1992294400 134512640 135709839 4294956240 18446744073709551615 134574249 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 399467 398860 136 292 0 399172 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 1597868 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=158640/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1701276 CPUtime=1061.79 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 424742 0 0 0 105717 462 0 0 25 0 1 0 187795570 1742106624 424712 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 425319 424712 136 292 0 425024 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 1701276 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=66928/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1792092 CPUtime=1121.76 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 447460 0 0 0 111693 483 0 0 25 0 1 0 187795570 1835102208 447430 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 448023 447430 136 292 0 447728 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 1792092 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1164.4 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=14896/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=1843448 CPUtime=1163.85 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4194304 460251 0 0 0 115890 495 0 0 25 0 1 0 187795570 1887690752 460221 1992294400 134512640 135709839 4294956240 18446744073709551615 134573734 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 460862 460221 136 292 0 460567 0 Current children cumulated CPU time (s) 1163.85 Current children cumulated vsize (KiB) 1843448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1164.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 2829 /proc/meminfo: memFree=14896/2055924 swapFree=4179404/4192956 [pid=2828] ppid=2826 vsize=0 CPUtime=1164.05 /proc/2828/stat : 2828 (wbo) R 2826 2828 2422 0 -1 4195332 460251 0 0 0 115890 515 0 0 25 0 1 0 187795570 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/2828/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1164.05 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1164.67 CPU time (s): 1164.12 CPU user time (s): 1158.9 CPU system time (s): 5.21821 CPU usage (%): 99.9531 Max. virtual memory (cumulated for all children) (KiB): 1843448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1158.9 system time used= 5.21821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460251 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 4320 runsolver used 1.41878 second user time and 2.53661 second system time The end
Begin job on node83 at 2009-06-17 03:26:12 IDJOB=1875358 IDBENCH=48198 IDSOLVER=698 FILE ID=node83/1875358-1245201972 PBS_JOBID= 9368332 Free space on /tmp= 66508 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_50_25_5.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875358-1245201972/watcher-1875358-1245201972 -o /tmp/evaluation-result-1875358-1245201972/solver-1875358-1245201972 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875358-1245201972.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 20ea76261c79ba7825c3d1b1d13450a8 RANDOM SEED=1563293604 node83.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.265 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.265 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: 2055924 kB MemFree: 1859984 kB Buffers: 34336 kB Cached: 95280 kB SwapCached: 7676 kB Active: 40992 kB Inactive: 97744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1859984 kB SwapTotal: 4192956 kB SwapFree: 4179404 kB Dirty: 2632 kB Writeback: 0 kB Mapped: 14956 kB Slab: 43040 kB Committed_AS: 82408 kB PageTables: 1392 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-1875358-1245201972.opb Free space on /tmp at the end= 66504 MiB End job on node83 at 2009-06-17 03:45:39