Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.13 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_1.opb |
MD5SUM | 08f3a00099e19d384504c40fc611777e |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 74 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 63 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 6318 |
Sum of products size (including duplicates) | 12636 |
Number of different products | 6318 |
Sum of products size | 12636 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702377-1278565004.opb. 0.00/0.00 c Instance file HOME/instance-2702377-1278565004.opb 0.00/0.00 c File size is 483849 bytes. 0.05/0.08 c Highest Coefficient sum: 24 0.05/0.08 c ============================[ Problem Statistics ]============================= 0.05/0.08 c | | 0.05/0.08 c | Parsing time: 0.08 s | 0.05/0.08 c | Number Variables: 6818 | 0.05/0.08 c | Number Clauses: 6818 | 0.05/0.08 c | Number Cardinality: 0 | 0.05/0.08 c | Number PB Constraints: 6318 | 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 | 6818 13136 44726 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 449 0.09/0.10 o 449 0.09/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 179.902 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 6818 13137 45226 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 354 0.09/0.11 o 354 0.09/0.11 c Elapsed CPU time: 0.102984 s Remaining CPU time: 179.897 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 6818 13138 45726 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 263 0.09/0.12 o 263 0.09/0.12 c Elapsed CPU time: 0.108983 s Remaining CPU time: 179.891 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 6818 13139 46226 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 262 0.09/0.12 o 262 0.09/0.12 c Elapsed CPU time: 0.114982 s Remaining CPU time: 179.885 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 6818 13140 46726 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 261 0.09/0.13 o 261 0.09/0.13 c Elapsed CPU time: 0.120981 s Remaining CPU time: 179.879 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 6818 13141 47226 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 245 0.09/0.14 o 245 0.09/0.14 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 6818 13142 47726 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 242 0.09/0.15 o 242 0.09/0.15 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 6818 13143 48226 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 241 0.09/0.15 o 241 0.09/0.15 c Elapsed CPU time: 0.140978 s Remaining CPU time: 179.859 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 6818 13144 48726 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 240 0.09/0.16 o 240 0.09/0.16 c Elapsed CPU time: 0.147977 s Remaining CPU time: 179.852 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 6818 13145 49226 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 239 0.09/0.17 o 239 0.09/0.17 c Elapsed CPU time: 0.153976 s Remaining CPU time: 179.846 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 6818 13146 49726 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 238 0.09/0.18 o 238 0.09/0.18 c Elapsed CPU time: 0.160975 s Remaining CPU time: 179.839 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 6818 13147 50226 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 237 0.09/0.18 o 237 0.09/0.18 c Elapsed CPU time: 0.167974 s Remaining CPU time: 179.832 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 0 | 6818 13148 50726 | 5000 0 nan | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 236 0.09/0.19 o 236 0.09/0.19 c Elapsed CPU time: 0.175973 s Remaining CPU time: 179.824 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 0 | 6818 13149 51226 | 5000 0 nan | 0.000 % | 0.19/0.20 c =============================================================================== 0.19/0.20 c New solution: 235 0.19/0.20 o 235 0.19/0.20 c Elapsed CPU time: 0.182972 s Remaining CPU time: 179.817 s 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 6818 13150 51726 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 234 0.19/0.21 o 234 0.19/0.21 c Elapsed CPU time: 0.19097 s Remaining CPU time: 179.809 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 6818 13151 52226 | 5000 0 nan | 0.000 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 177 0.19/0.21 o 177 0.19/0.21 c Elapsed CPU time: 0.198969 s Remaining CPU time: 179.801 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 6818 13152 52726 | 5000 0 nan | 0.000 % | 0.19/0.28 c | 100 | 6818 13152 52726 | 5500 100 186 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 88 0.19/0.29 o 88 0.19/0.29 c Elapsed CPU time: 0.275958 s Remaining CPU time: 179.724 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 100 | 6818 13153 53226 | 5000 100 186 | 0.000 % | 0.29/0.33 c | 201 | 6818 13153 53226 | 5500 201 156 | 0.000 % | 0.29/0.36 c | 352 | 6818 13153 53226 | 6050 352 142 | 0.000 % | 0.29/0.37 c =============================================================================== 0.29/0.37 c New solution: 85 0.29/0.37 o 85 0.29/0.37 c Elapsed CPU time: 0.355945 s Remaining CPU time: 179.644 s 0.29/0.37 c =============================================================================== 0.29/0.37 c | 352 | 6818 13154 53726 | 5000 352 142 | 0.000 % | 0.29/0.38 c =============================================================================== 0.29/0.38 c New solution: 79 0.29/0.38 o 79 0.29/0.38 c Elapsed CPU time: 0.363944 s Remaining CPU time: 179.636 s 0.29/0.38 c =============================================================================== 0.29/0.38 c | 352 | 6818 13155 54226 | 5000 352 142 | 0.000 % | 0.39/0.41 c | 453 | 6818 13155 54226 | 5500 453 136 | 0.000 % | 0.39/0.44 c | 603 | 6818 13155 54226 | 6050 603 128 | 0.000 % | 0.39/0.50 c | 829 | 6818 13155 54226 | 6655 829 127 | 0.000 % | 0.49/0.59 c | 1166 | 6818 13155 54226 | 7320 1166 123 | 0.000 % | 0.69/0.72 c | 1672 | 6818 13155 54226 | 8052 1672 125 | 0.000 % | 0.89/0.91 c | 2433 | 6818 13155 54226 | 8857 2433 126 | 0.000 % | 1.10/1.18 c | 3573 | 6818 13155 54226 | 9743 3573 125 | 0.000 % | 1.59/1.62 c | 5281 | 6818 13155 54226 | 10717 5281 126 | 0.000 % | 2.29/2.33 c | 7844 | 6818 13155 54226 | 11789 7844 125 | 0.000 % | 3.39/3.45 c | 11688 | 6818 13155 54226 | 12968 11688 132 | 0.000 % | 5.19/5.27 c | 17454 | 6818 13155 54226 | 14265 17454 134 | 0.000 % | 7.99/8.08 c | 26104 | 6818 13155 54226 | 15692 17377 137 | 0.000 % | 8.38/8.41 c =============================================================================== 8.38/8.41 c New solution: 78 8.38/8.41 o 78 8.38/8.41 c Elapsed CPU time: 8.29674 s Remaining CPU time: 171.703 s 8.38/8.41 c =============================================================================== 8.38/8.41 c | 27216 | 6818 13156 54726 | 5000 9801 127 | 0.000 % | 8.38/8.47 c | 27316 | 6818 13156 54726 | 5500 5001 126 | 0.000 % | 8.48/8.52 c | 27467 | 6818 13156 54726 | 6050 5152 126 | 0.000 % | 8.48/8.58 c | 27692 | 6818 13156 54726 | 6655 5377 125 | 0.000 % | 8.59/8.68 c | 28029 | 6818 13156 54726 | 7320 5714 125 | 0.000 % | 8.80/8.82 c | 28536 | 6818 13156 54726 | 8052 6221 125 | 0.000 % | 8.99/9.01 c | 29295 | 6818 13156 54726 | 8857 6980 124 | 0.000 % | 9.29/9.30 c | 30434 | 6818 13156 54726 | 9743 8119 123 | 0.000 % | 9.80/9.80 c | 32142 | 6818 13156 54726 | 10717 9827 121 | 0.000 % | 10.49/10.56 c | 34705 | 6818 13156 54726 | 11789 12390 122 | 0.000 % | 11.69/11.72 c | 38551 | 6818 13156 54726 | 12968 10041 129 | 0.000 % | 13.29/13.38 c | 44318 | 6818 13156 54726 | 14265 15808 129 | 0.000 % | 15.99/16.04 c | 52967 | 6818 13156 54726 | 15692 16553 138 | 0.000 % | 20.89/20.92 c | 65942 | 6818 13156 54726 | 17261 21252 144 | 0.000 % | 27.28/27.37 c | 85404 | 6818 13156 54726 | 18987 17670 120 | 0.000 % | 39.49/39.50 c | 114597 | 6818 13156 54726 | 20886 19778 118 | 0.000 % | 56.48/56.54 c | 158386 | 6818 13156 54726 | 22974 16211 110 | 0.000 % | 61.28/61.34 c =============================================================================== 61.28/61.34 c New solution: 77 61.28/61.34 o 77 61.28/61.34 c Elapsed CPU time: 60.7108 s Remaining CPU time: 119.289 s 61.28/61.34 c =============================================================================== 61.28/61.34 c | 171106 | 6818 13157 55226 | 5000 28931 124 | 0.000 % | 61.49/61.59 c | 171207 | 6818 13157 55226 | 5500 2857 163 | 0.000 % | 61.59/61.64 c | 171357 | 6818 13157 55226 | 6050 3007 161 | 0.000 % | 61.68/61.70 c | 171582 | 6818 13157 55226 | 6655 3232 157 | 0.000 % | 61.68/61.71 c =============================================================================== 61.68/61.71 c New solution: 74 61.68/61.71 o 74 61.68/61.71 c Elapsed CPU time: 61.0787 s Remaining CPU time: 118.921 s 61.68/61.71 c =============================================================================== 61.68/61.71 c | 171582 | 6818 13158 55726 | 5000 3232 157 | 0.000 % | 61.68/61.75 c | 171682 | 6818 13158 55726 | 5500 3332 156 | 0.000 % | 61.68/61.79 c | 171832 | 6818 13158 55726 | 6050 3482 155 | 0.000 % | 61.78/61.87 c | 172057 | 6818 13158 55726 | 6655 3707 154 | 0.000 % | 61.87/61.97 c | 172394 | 6818 13158 55726 | 7320 4044 150 | 0.000 % | 62.07/62.11 c | 172901 | 6818 13158 55726 | 8052 4551 147 | 0.000 % | 62.28/62.33 c | 173661 | 6818 13158 55726 | 8857 5311 142 | 0.000 % | 62.58/62.66 c | 174800 | 6818 13158 55726 | 9743 6450 136 | 0.000 % | 63.07/63.14 c | 176509 | 6818 13158 55726 | 10717 8159 131 | 0.000 % | 63.87/63.95 c | 179071 | 6818 13158 55726 | 11789 10721 128 | 0.000 % | 64.97/65.07 c | 182915 | 6818 13158 55726 | 12968 14565 127 | 0.000 % | 66.98/67.03 c | 188682 | 6818 13158 55726 | 14265 13050 117 | 0.000 % | 69.98/70.02 c | 197331 | 6818 13158 55726 | 15692 11567 118 | 0.000 % | 74.68/74.80 c | 210306 | 6818 13158 55726 | 17261 13779 159 | 0.000 % | 82.07/82.15 c | 229768 | 6818 13158 55726 | 18987 20906 127 | 0.000 % | 94.66/94.73 c | 258961 | 6818 13158 55726 | 20886 12224 132 | 0.000 % | 114.16/114.26 c | 302750 | 6818 13158 55726 | 22974 25228 138 | 0.000 % | 147.05/147.16 c | 368434 | 6818 13158 55726 | 25272 24811 146 | 0.000 % | 181.64/181.70 c There are 0 assigned variables. 0 in cost function. 182.84/182.96 c core #1 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 1 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #2 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 2 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #3 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 3 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #4 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 4 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #5 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 5 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #6 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 6 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #7 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 7 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #8 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 8 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #9 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 9 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #10 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 10 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #11 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 11 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #12 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 12 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #13 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 13 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #14 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 22 Core Weight: 1 Total Weight: 14 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #15 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 24 Core Weight: 1 Total Weight: 15 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #16 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 24 Core Weight: 1 Total Weight: 16 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #17 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 50 Core Weight: 1 Total Weight: 17 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #18 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 46 Core Weight: 1 Total Weight: 18 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c core #19 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c Core size: 184 Core Weight: 1 Total Weight: 19 182.84/182.96 c 182.84/182.96 c 182.84/182.96 c ============================[ Search Statistics ]============================== 182.84/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.96 c =============================================================================== 182.84/182.96 c | 0 | 4145 13677 47768 | 5000 0 nan | 0.000 % | 182.94/183.00 c =============================================================================== 182.94/183.06 c core #20 182.94/183.06 c 182.94/183.06 c 182.94/183.06 c Core size: 311 Core Weight: 1 Total Weight: 20 182.94/183.06 c 182.94/183.06 c 182.94/183.06 c ============================[ Search Statistics ]============================== 182.94/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.06 c =============================================================================== 182.94/183.06 c | 0 | 5696 13678 52105 | 5000 0 nan | 0.000 % | 183.04/183.15 c | 103 | 5696 13678 52105 | 5500 103 64 | 22.218 % | 183.24/183.31 c | 253 | 5696 13678 52105 | 6050 253 90 | 22.218 % | 183.54/183.60 c | 480 | 5696 13678 52105 | 6655 480 96 | 22.218 % | 183.74/183.87 c | 819 | 5696 13678 52105 | 7320 819 97 | 22.218 % | 184.24/184.35 c | 1328 | 5696 13678 52105 | 8052 1328 95 | 22.218 % | 184.44/184.56 c =============================================================================== 184.54/184.64 c core #21 184.54/184.64 c 184.54/184.64 c 184.54/184.64 c Core size: 509 Core Weight: 1 Total Weight: 21 184.54/184.64 c 184.54/184.64 c 184.54/184.64 c ============================[ Search Statistics ]============================== 184.54/184.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.64 c =============================================================================== 184.54/184.64 c | 0 | 7137 13679 56395 | 5000 0 nan | 0.000 % | 184.64/184.75 c | 100 | 7137 13679 56395 | 5500 100 128 | 7.239 % | 184.84/184.97 c | 250 | 7137 13679 56395 | 6050 250 103 | 7.239 % | 185.25/185.30 c | 475 | 7137 13679 56395 | 6655 475 105 | 7.239 % | 185.64/185.77 c | 813 | 7137 13679 56395 | 7320 813 92 | 7.239 % | 186.34/186.46 c | 1323 | 7137 13679 56395 | 8052 1323 85 | 7.239 % | 187.34/187.41 c | 2082 | 7137 13679 56395 | 8857 2082 81 | 7.239 % | 188.84/188.94 c | 3222 | 7137 13679 56395 | 9743 3222 88 | 7.239 % | 191.04/191.12 c | 4930 | 7137 13679 56395 | 10717 4930 100 | 7.239 % | 194.74/194.82 c | 7493 | 7137 13679 56395 | 11789 7493 107 | 7.239 % | 201.04/201.13 c | 11337 | 7137 13679 56395 | 12968 11337 116 | 7.239 % | 209.94/210.08 c | 17108 | 7137 13679 56395 | 14265 10104 145 | 7.239 % | 226.83/226.92 c | 25760 | 7137 13679 56395 | 15692 11194 171 | 7.239 % | 253.32/253.40 c | 38734 | 7137 13679 56395 | 17261 15780 191 | 7.239 % | 289.21/289.31 c =============================================================================== 290.21/290.37 c core #22 290.21/290.37 c 290.21/290.37 c 290.21/290.37 c Core size: 674 Core Weight: 1 Total Weight: 22 290.21/290.37 c 290.21/290.37 c 290.21/290.37 c ============================[ Search Statistics ]============================== 290.21/290.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 290.21/290.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 290.21/290.37 c =============================================================================== 290.21/290.37 c | 0 | 8104 13680 58755 | 5000 0 nan | 0.000 % | 290.31/290.49 c | 105 | 8104 13680 58755 | 5500 105 187 | 0.625 % | 290.61/290.75 c | 255 | 8104 13680 58755 | 6050 255 105 | 0.625 % | 290.81/290.95 c | 482 | 8104 13680 58755 | 6655 482 82 | 0.625 % | 291.20/291.34 c | 820 | 8104 13680 58755 | 7320 820 72 | 0.625 % | 291.91/292.00 c | 1330 | 8104 13680 58755 | 8052 1330 115 | 0.625 % | 292.60/292.72 c | 2089 | 8104 13680 58755 | 8857 2089 123 | 0.625 % | 293.70/293.88 c | 3229 | 8104 13680 58755 | 9743 3229 130 | 0.625 % | 296.00/296.12 c | 4942 | 8104 13680 58755 | 10717 4942 152 | 0.625 % | 299.70/299.84 c | 7504 | 8104 13680 58755 | 11789 7504 201 | 0.625 % | 305.80/305.91 c | 11348 | 8104 13680 58755 | 12968 11348 227 | 0.625 % | 314.40/314.56 c | 17116 | 8104 13680 58755 | 14265 10393 255 | 0.625 % | 328.49/328.64 c | 25766 | 8104 13680 58755 | 15692 11660 310 | 0.625 % | 344.99/345.18 c | 38741 | 8104 13680 58755 | 17261 16315 243 | 0.625 % | 380.08/380.21 c | 58210 | 8104 13680 58755 | 18987 17553 228 | 0.625 % | 443.66/443.85 c | 87405 | 8104 13680 58755 | 20886 17152 258 | 0.625 % | 533.94/534.10 c | 131194 | 8104 13680 58755 | 22974 16704 364 | 0.625 % | 694.40/694.60 c | 196878 | 8104 13680 58755 | 25272 21997 281 | 0.625 % | 922.84/923.11 c | 295405 | 8104 13680 58755 | 27799 14926 265 | 0.625 % | 1321.43/1321.80 c | 443199 | 8104 13680 58755 | 30579 21224 240 | 0.625 % |
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-2702377-1278565004/watcher-2702377-1278565004 -o /tmp/evaluation-result-2702377-1278565004/solver-2702377-1278565004 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702377-1278565004.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29801 /proc/meminfo: memFree=1693660/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=3524 CPUtime=0 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 24714026 3608576 320 1992294400 134512640 135752675 4291251808 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 881 321 138 303 0 457 0 [startup+0.0589879 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29801 /proc/meminfo: memFree=1693660/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=4752 CPUtime=0.05 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 763 0 0 0 5 0 0 0 20 0 1 0 24714026 4866048 682 1992294400 134512640 135752675 4291251808 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 1188 682 208 303 0 764 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4752 [startup+0.100994 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29801 /proc/meminfo: memFree=1693660/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=5124 CPUtime=0.09 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 1221 0 0 0 9 0 0 0 20 0 1 0 24714026 5246976 825 1992294400 134512640 135752675 4291251808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 1281 825 143 303 0 976 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5124 [startup+0.301015 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29801 /proc/meminfo: memFree=1693660/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=5516 CPUtime=0.29 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 1305 0 0 0 27 2 0 0 20 0 1 0 24714026 5648384 909 1992294400 134512640 135752675 4291251808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 1379 909 145 303 0 1074 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5516 [startup+0.701059 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29801 /proc/meminfo: memFree=1693660/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=6428 CPUtime=0.69 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 1530 0 0 0 67 2 0 0 20 0 1 0 24714026 6582272 1134 1992294400 134512640 135752675 4291251808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 1607 1134 145 303 0 1302 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6428 [startup+1.50115 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29802 /proc/meminfo: memFree=1689312/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=8376 CPUtime=1.49 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 2027 0 0 0 146 3 0 0 22 0 1 0 24714026 8577024 1631 1992294400 134512640 135752675 4291251808 18446744073709551615 134640268 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 2094 1632 145 303 0 1789 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8376 [startup+3.10033 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29802 /proc/meminfo: memFree=1686460/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=12144 CPUtime=3.09 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 2961 0 0 0 303 6 0 0 25 0 1 0 24714026 12435456 2565 1992294400 134512640 135752675 4291251808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 3036 2565 145 303 0 2731 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12144 [startup+6.30068 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29802 /proc/meminfo: memFree=1679020/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=19044 CPUtime=6.29 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 4682 0 0 0 620 9 0 0 25 0 1 0 24714026 19501056 4286 1992294400 134512640 135752675 4291251808 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 4761 4286 145 303 0 4456 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19044 [startup+12.7004 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29802 /proc/meminfo: memFree=1665388/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=31884 CPUtime=12.68 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 7892 0 0 0 1251 17 0 0 25 0 1 0 24714026 32649216 7496 1992294400 134512640 135752675 4291251808 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 7971 7496 145 303 0 7666 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31884 [startup+25.5008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29804 /proc/meminfo: memFree=1639720/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=56720 CPUtime=25.49 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 14114 0 0 0 2519 30 0 0 25 0 1 0 24714026 58081280 13718 1992294400 134512640 135752675 4291251808 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 14180 13718 145 303 0 13875 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56720 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29804 /proc/meminfo: memFree=1603388/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=93428 CPUtime=51.08 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 23267 0 0 0 5054 54 0 0 25 0 1 0 24714026 95670272 22871 1992294400 134512640 135752675 4291251808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 23357 22871 145 303 0 23052 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 93428 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29806 /proc/meminfo: memFree=1521052/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=174888 CPUtime=102.27 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 43614 0 0 0 10125 102 0 0 25 0 1 0 24714026 179085312 43218 1992294400 134512640 135752675 4291251808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 43722 43218 145 303 0 43417 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 174888 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29806 /proc/meminfo: memFree=1443056/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=253592 CPUtime=162.25 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 63241 0 0 0 16075 150 0 0 25 0 1 0 24714026 259678208 62845 1992294400 134512640 135752675 4291251808 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 63398 62845 145 303 0 63093 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 253592 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29808 /proc/meminfo: memFree=1415900/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=279248 CPUtime=222.23 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 69881 0 0 0 22041 182 0 0 25 0 1 0 24714026 285949952 69334 1992294400 134512640 135752675 4291251808 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 69812 69334 146 303 0 69507 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 279248 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29819 /proc/meminfo: memFree=1399532/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=295776 CPUtime=282.2 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 74026 0 0 0 28016 204 0 0 25 0 1 0 24714026 302874624 73479 1992294400 134512640 135752675 4291251808 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 73944 73479 146 303 0 73639 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 295776 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29821 /proc/meminfo: memFree=1360968/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=334196 CPUtime=342.19 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 83633 0 0 0 33982 237 0 0 25 0 1 0 24714026 342216704 83086 1992294400 134512640 135752675 4291251808 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 83549 83086 146 303 0 83244 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 334196 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29823 /proc/meminfo: memFree=1328356/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=366696 CPUtime=402.17 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 91770 0 0 0 39951 266 0 0 25 0 1 0 24714026 375496704 91223 1992294400 134512640 135752675 4291251808 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 91674 91223 146 303 0 91369 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 366696 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29823 /proc/meminfo: memFree=1293264/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=401784 CPUtime=462.16 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 100526 0 0 0 45925 291 0 0 25 0 1 0 24714026 411426816 99979 1992294400 134512640 135752675 4291251808 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 100446 99979 146 303 0 100141 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 401784 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29825 /proc/meminfo: memFree=1252592/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=442860 CPUtime=522.14 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 110783 0 0 0 51897 317 0 0 25 0 1 0 24714026 453488640 110236 1992294400 134512640 135752675 4291251808 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 110715 110236 146 303 0 110410 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 442860 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29827 /proc/meminfo: memFree=1221344/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=473616 CPUtime=582.13 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 118462 0 0 0 57874 339 0 0 25 0 1 0 24714026 484982784 117915 1992294400 134512640 135752675 4291251808 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 118404 117915 146 303 0 118099 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 473616 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29829 /proc/meminfo: memFree=1185756/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=508980 CPUtime=642.12 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 127269 0 0 0 63849 363 0 0 25 0 1 0 24714026 521195520 126722 1992294400 134512640 135752675 4291251808 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 127245 126722 146 303 0 126940 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 508980 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29835 /proc/meminfo: memFree=1048612/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=646064 CPUtime=882.05 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 161498 0 0 0 87736 469 0 0 25 0 1 0 24714026 661569536 160951 1992294400 134512640 135752675 4291251808 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 161516 160951 146 303 0 161211 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 646064 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29837 /proc/meminfo: memFree=1020464/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=674216 CPUtime=942.03 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 168544 0 0 0 93713 490 0 0 25 0 1 0 24714026 690397184 167997 1992294400 134512640 135752675 4291251808 18446744073709551615 134641741 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 168554 167997 146 303 0 168249 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 674216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29839 /proc/meminfo: memFree=992192/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=702544 CPUtime=1002.02 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 175568 0 0 0 99692 510 0 0 25 0 1 0 24714026 719405056 175021 1992294400 134512640 135752675 4291251808 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 175636 175021 146 303 0 175331 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 702544 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29839 /proc/meminfo: memFree=961316/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=733472 CPUtime=1062 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 183304 0 0 0 105668 532 0 0 25 0 1 0 24714026 751075328 182757 1992294400 134512640 135752675 4291251808 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 183368 182757 146 303 0 183063 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 733472 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29841 /proc/meminfo: memFree=929448/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=765032 CPUtime=1121.98 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 191202 0 0 0 111645 553 0 0 25 0 1 0 24714026 783392768 190655 1992294400 134512640 135752675 4291251808 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 191258 190655 146 303 0 190953 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 765032 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29843 /proc/meminfo: memFree=898696/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=796368 CPUtime=1181.97 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 199009 0 0 0 117622 575 0 0 25 0 1 0 24714026 815480832 198462 1992294400 134512640 135752675 4291251808 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 199092 198462 146 303 0 198787 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 796368 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29845 /proc/meminfo: memFree=867696/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=826640 CPUtime=1241.96 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 206561 0 0 0 123600 596 0 0 25 0 1 0 24714026 846479360 206014 1992294400 134512640 135752675 4291251808 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 206660 206014 146 303 0 206355 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 826640 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29847 /proc/meminfo: memFree=836200/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=857804 CPUtime=1301.95 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 214357 0 0 0 129574 621 0 0 25 0 1 0 24714026 878391296 213810 1992294400 134512640 135752675 4291251808 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 214451 213810 146 303 0 214146 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 857804 [startup+1362.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 29850 /proc/meminfo: memFree=801728/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=892072 CPUtime=1361.93 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 222909 0 0 0 135548 645 0 0 25 0 1 0 24714026 913481728 222362 1992294400 134512640 135752675 4291251808 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 223018 222362 146 303 0 222713 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 892072 [startup+1422.31 s] /proc/loadavg: 1.01 1.01 1.00 2/107 29852 /proc/meminfo: memFree=768372/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=925180 CPUtime=1421.91 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 231181 0 0 0 141526 665 0 0 25 0 1 0 24714026 947384320 230634 1992294400 134512640 135752675 4291251808 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 231295 230634 146 303 0 230990 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 925180 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29854 /proc/meminfo: memFree=734892/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=958716 CPUtime=1481.89 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 239575 0 0 0 147504 685 0 0 25 0 1 0 24714026 981725184 239028 1992294400 134512640 135752675 4291251808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 239679 239028 146 303 0 239374 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 958716 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29856 /proc/meminfo: memFree=699428/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=994148 CPUtime=1541.88 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 248416 0 0 0 153482 706 0 0 25 0 1 0 24714026 1018007552 247869 1992294400 134512640 135752675 4291251808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 248537 247869 146 303 0 248232 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 994148 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29858 /proc/meminfo: memFree=653300/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=1040536 CPUtime=1601.86 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 259994 0 0 0 159455 731 0 0 25 0 1 0 24714026 1065508864 259447 1992294400 134512640 135752675 4291251808 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 260134 259447 146 303 0 259829 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1040536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29858 /proc/meminfo: memFree=609280/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=1084476 CPUtime=1661.85 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 270948 0 0 0 165429 756 0 0 25 0 1 0 24714026 1110503424 270401 1992294400 134512640 135752675 4291251808 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 271119 270401 146 303 0 270814 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1084476 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29860 /proc/meminfo: memFree=571460/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=1122844 CPUtime=1721.83 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 280559 0 0 0 171404 779 0 0 25 0 1 0 24714026 1149792256 280012 1992294400 134512640 135752675 4291251808 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 280711 280012 146 303 0 280406 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 1122844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29862 /proc/meminfo: memFree=526820/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=1166688 CPUtime=1781.81 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 291510 0 0 0 177377 804 0 0 25 0 1 0 24714026 1194688512 290963 1992294400 134512640 135752675 4291251808 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 291672 290963 146 303 0 291367 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1166688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29862 /proc/meminfo: memFree=517024/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=1176312 CPUtime=1800.01 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4202496 293908 0 0 0 179191 810 0 0 25 0 1 0 24714026 1204543488 293361 1992294400 134512640 135752675 4291251808 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29801/statm: 294078 293361 146 303 0 293773 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1176312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/108 29863 /proc/meminfo: memFree=1606992/2059040 swapFree=4139412/4192956 [pid=29801] ppid=29799 vsize=0 CPUtime=1800.12 /proc/29801/stat : 29801 (wbo1.4b) R 29799 29801 29411 0 -1 4203524 293908 0 0 0 179191 821 0 0 25 0 1 0 24714026 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29801/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.62 CPU time (s): 1800.13 CPU user time (s): 1791.92 CPU system time (s): 8.21175 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 1176312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.92 system time used= 8.21175 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 293908 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= 10 involuntary context switches= 3137 runsolver used 2.95655 second user time and 8.5397 second system time The end
Begin job on node005 at 2010-07-08 06:56:44 IDJOB=2702377 IDBENCH=48123 IDSOLVER=1190 FILE ID=node005/2702377-1278565004 PBS_JOBID= 11239577 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702377-1278565004/watcher-2702377-1278565004 -o /tmp/evaluation-result-2702377-1278565004/solver-2702377-1278565004 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702377-1278565004.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 08f3a00099e19d384504c40fc611777e RANDOM SEED=865483183 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 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.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1695056 kB Buffers: 74016 kB Cached: 198736 kB SwapCached: 8028 kB Active: 147420 kB Inactive: 142116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1695056 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 14036 kB Mapped: 12052 kB Slab: 52472 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182816 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702377-1278565004.opb Free space on /tmp at the end= 62564 MiB End job on node005 at 2010-07-08 07:26:47