Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.17 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_10_2.opb |
MD5SUM | f7e9965e006e5669c3252afd9a68998d |
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.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 67 |
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 | 22 |
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) | 6328 |
Sum of products size (including duplicates) | 12656 |
Number of different products | 6328 |
Sum of products size | 12656 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702393-1278565865.opb. 0.00/0.00 c Instance file HOME/instance-2702393-1278565865.opb 0.00/0.00 c File size is 484589 bytes. 0.01/0.08 c Highest Coefficient sum: 23 0.01/0.08 c ============================[ Problem Statistics ]============================= 0.01/0.08 c | | 0.01/0.08 c | Parsing time: 0.08 s | 0.01/0.08 c | Number Variables: 6828 | 0.01/0.08 c | Number Clauses: 6828 | 0.01/0.08 c | Number Cardinality: 0 | 0.01/0.08 c | Number PB Constraints: 6328 | 0.01/0.09 c ============================[ Search Statistics ]============================== 0.01/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.01/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.01/0.09 c =============================================================================== 0.01/0.09 c | 0 | 6828 13156 44796 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 446 0.09/0.10 o 446 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 179.898 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 6828 13157 45296 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 412 0.09/0.11 o 412 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 179.892 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 6828 13158 45796 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 411 0.09/0.11 o 411 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 179.887 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 6828 13159 46296 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c New solution: 406 0.09/0.12 o 406 0.09/0.12 c Elapsed CPU time: 0.118981 s Remaining CPU time: 179.881 s 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 6828 13160 46796 | 5000 0 nan | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 405 0.09/0.13 o 405 0.09/0.13 c Elapsed CPU time: 0.122981 s Remaining CPU time: 179.877 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 6828 13161 47296 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 399 0.09/0.14 o 399 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 | 6828 13162 47796 | 5000 0 nan | 0.000 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c New solution: 260 0.09/0.14 o 260 0.09/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 6828 13163 48296 | 5000 0 nan | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 259 0.09/0.15 o 259 0.09/0.15 c Elapsed CPU time: 0.141978 s Remaining CPU time: 179.858 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 0 | 6828 13164 48796 | 5000 0 nan | 0.000 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c New solution: 247 0.09/0.16 o 247 0.09/0.16 c Elapsed CPU time: 0.148977 s Remaining CPU time: 179.851 s 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 6828 13165 49296 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 246 0.09/0.17 o 246 0.09/0.17 c Elapsed CPU time: 0.156976 s Remaining CPU time: 179.843 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 6828 13166 49796 | 5000 0 nan | 0.000 % | 0.09/0.17 c =============================================================================== 0.09/0.17 c New solution: 245 0.09/0.17 o 245 0.09/0.17 c Elapsed CPU time: 0.162975 s Remaining CPU time: 179.837 s 0.09/0.17 c =============================================================================== 0.09/0.17 c | 0 | 6828 13167 50296 | 5000 0 nan | 0.000 % | 0.09/0.18 c =============================================================================== 0.09/0.18 c New solution: 244 0.09/0.18 o 244 0.09/0.18 c Elapsed CPU time: 0.169974 s Remaining CPU time: 179.83 s 0.09/0.18 c =============================================================================== 0.09/0.18 c | 1 | 6828 13168 50796 | 5000 1 248 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 91 0.09/0.19 o 91 0.09/0.19 c Elapsed CPU time: 0.177972 s Remaining CPU time: 179.822 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 1 | 6828 13169 51296 | 5000 1 248 | 0.000 % | 0.19/0.22 c | 101 | 6828 13169 51296 | 5500 101 128 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 90 0.19/0.23 o 90 0.19/0.23 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 101 | 6828 13170 51796 | 5000 101 128 | 0.000 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 89 0.19/0.23 o 89 0.19/0.23 c Elapsed CPU time: 0.218966 s Remaining CPU time: 179.781 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 101 | 6828 13171 52296 | 5000 101 128 | 0.000 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 88 0.19/0.24 o 88 0.19/0.24 c Elapsed CPU time: 0.226965 s Remaining CPU time: 179.773 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 101 | 6828 13172 52796 | 5000 101 128 | 0.000 % | 0.19/0.25 c =============================================================================== 0.19/0.25 c New solution: 87 0.19/0.25 o 87 0.19/0.25 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.25 c =============================================================================== 0.19/0.25 c | 101 | 6828 13173 53296 | 5000 101 128 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 86 0.19/0.26 o 86 0.19/0.26 c Elapsed CPU time: 0.240963 s Remaining CPU time: 179.759 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 102 | 6828 13174 53796 | 5000 102 127 | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 83 0.19/0.27 o 83 0.19/0.27 c Elapsed CPU time: 0.247962 s Remaining CPU time: 179.752 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 102 | 6828 13175 54296 | 5000 102 127 | 0.000 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c New solution: 82 0.19/0.28 o 82 0.19/0.28 c Elapsed CPU time: 0.25696 s Remaining CPU time: 179.743 s 0.19/0.28 c =============================================================================== 0.19/0.28 c | 104 | 6828 13176 54796 | 5000 104 127 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 81 0.19/0.29 o 81 0.19/0.29 c Elapsed CPU time: 0.266959 s Remaining CPU time: 179.733 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 110 | 6828 13177 55296 | 5000 110 126 | 0.000 % | 0.19/0.30 c =============================================================================== 0.19/0.30 c New solution: 79 0.19/0.30 o 79 0.19/0.30 c Elapsed CPU time: 0.274958 s Remaining CPU time: 179.725 s 0.19/0.30 c =============================================================================== 0.19/0.30 c | 110 | 6828 13178 55796 | 5000 110 126 | 0.000 % | 0.29/0.32 c | 210 | 6828 13178 55796 | 5500 210 120 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 78 0.29/0.33 o 78 0.29/0.33 c Elapsed CPU time: 0.304953 s Remaining CPU time: 179.695 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 210 | 6828 13179 56296 | 5000 210 120 | 0.000 % | 0.29/0.36 c | 311 | 6828 13179 56296 | 5500 311 119 | 0.000 % | 0.39/0.40 c | 462 | 6828 13179 56296 | 6050 462 119 | 0.000 % | 0.39/0.47 c | 687 | 6828 13179 56296 | 6655 687 119 | 0.000 % | 0.49/0.57 c | 1024 | 6828 13179 56296 | 7320 1024 119 | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c New solution: 77 0.59/0.62 o 77 0.59/0.62 c Elapsed CPU time: 0.596909 s Remaining CPU time: 179.403 s 0.59/0.62 c =============================================================================== 0.59/0.62 c | 1266 | 6828 13180 56796 | 5000 1266 117 | 0.000 % | 0.59/0.66 c | 1366 | 6828 13180 56796 | 5500 1366 117 | 0.000 % | 0.68/0.70 c | 1516 | 6828 13180 56796 | 6050 1516 116 | 0.000 % | 0.68/0.77 c | 1742 | 6828 13180 56796 | 6655 1742 117 | 0.000 % | 0.78/0.86 c | 2080 | 6828 13180 56796 | 7320 2080 116 | 0.000 % | 0.88/1.00 c | 2586 | 6828 13180 56796 | 8052 2586 116 | 0.000 % | 1.18/1.20 c | 3345 | 6828 13180 56796 | 8857 3345 116 | 0.000 % | 1.49/1.51 c | 4485 | 6828 13180 56796 | 9743 4485 118 | 0.000 % | 1.99/2.02 c | 6194 | 6828 13180 56796 | 10717 6194 118 | 0.000 % | 2.69/2.73 c | 8756 | 6828 13180 56796 | 11789 8756 116 | 0.000 % | 4.09/4.10 c | 12600 | 6828 13180 56796 | 12968 12600 130 | 0.000 % | 4.09/4.14 c =============================================================================== 4.09/4.14 c New solution: 76 4.09/4.14 o 76 4.09/4.14 c Elapsed CPU time: 4.08238 s Remaining CPU time: 175.918 s 4.09/4.14 c =============================================================================== 4.09/4.14 c | 12715 | 6828 13181 57296 | 5000 12715 129 | 0.000 % | 4.19/4.20 c | 12816 | 6828 13181 57296 | 5500 3280 169 | 0.000 % | 4.19/4.25 c | 12968 | 6828 13181 57296 | 6050 3432 166 | 0.000 % | 4.29/4.31 c | 13194 | 6828 13181 57296 | 6655 3658 163 | 0.000 % | 4.40/4.40 c | 13531 | 6828 13181 57296 | 7320 3995 159 | 0.000 % | 4.49/4.54 c | 14037 | 6828 13181 57296 | 8052 4501 153 | 0.000 % | 4.69/4.74 c | 14797 | 6828 13181 57296 | 8857 5261 148 | 0.000 % | 5.09/5.13 c | 15936 | 6828 13181 57296 | 9743 6400 144 | 0.000 % | 5.59/5.66 c | 17645 | 6828 13181 57296 | 10717 8109 138 | 0.000 % | 6.39/6.49 c | 20208 | 6828 13181 57296 | 11789 10672 132 | 0.000 % | 7.59/7.68 c | 24052 | 6828 13181 57296 | 12968 14516 132 | 0.000 % | 9.28/9.32 c | 29820 | 6828 13181 57296 | 14265 13026 123 | 0.000 % | 11.99/12.09 c | 38469 | 6828 13181 57296 | 15692 11608 117 | 0.000 % | 16.69/16.75 c | 51443 | 6828 13181 57296 | 17261 13490 132 | 0.000 % | 24.68/24.79 c | 70904 | 6828 13181 57296 | 18987 20541 134 | 0.000 % | 36.38/36.42 c | 100098 | 6828 13181 57296 | 20886 11355 127 | 0.000 % | 56.27/56.38 c | 143887 | 6828 13181 57296 | 22974 23775 162 | 0.000 % | 81.17/81.24 c | 209572 | 6828 13181 57296 | 25272 23754 130 | 0.000 % | 124.96/125.04 c | 308098 | 6828 13181 57296 | 27799 23053 116 | 0.000 % | 181.44/181.53 c There are 0 assigned variables. 0 in cost function. 182.55/182.67 c core #1 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 30 Core Weight: 1 Total Weight: 1 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #2 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 2 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #3 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 3 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #4 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 4 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #5 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 5 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #6 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 26 Core Weight: 1 Total Weight: 6 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #7 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 7 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #8 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 8 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #9 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 24 Core Weight: 1 Total Weight: 9 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #10 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 10 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #11 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 24 Core Weight: 1 Total Weight: 11 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #12 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 12 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #13 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 13 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #14 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 14 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #15 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 15 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #16 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 22 Core Weight: 1 Total Weight: 16 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #17 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 28 Core Weight: 1 Total Weight: 17 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c core #18 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c Core size: 83 Core Weight: 1 Total Weight: 18 182.55/182.67 c 182.55/182.67 c 182.55/182.67 c ============================[ Search Statistics ]============================== 182.55/182.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.67 c =============================================================================== 182.55/182.67 c | 0 | 3492 13699 42086 | 5000 0 nan | 0.000 % | 182.55/182.68 c =============================================================================== 182.64/182.73 c core #19 182.64/182.73 c 182.64/182.73 c 182.64/182.73 c Core size: 229 Core Weight: 1 Total Weight: 19 182.64/182.73 c 182.64/182.73 c 182.64/182.73 c ============================[ Search Statistics ]============================== 182.64/182.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.73 c =============================================================================== 182.64/182.73 c | 0 | 4652 13700 48295 | 5000 0 nan | 0.000 % | 182.74/182.84 c | 105 | 4652 13700 48295 | 5500 105 214 | 35.236 % | 182.84/182.97 c | 256 | 4652 13700 48295 | 6050 256 218 | 35.236 % | 183.04/183.15 c | 483 | 4652 13700 48295 | 6655 483 169 | 35.236 % | 183.14/183.21 c =============================================================================== 183.14/183.28 c core #20 183.14/183.28 c 183.14/183.28 c 183.14/183.28 c Core size: 695 Core Weight: 1 Total Weight: 20 183.14/183.28 c 183.14/183.28 c 183.14/183.28 c ============================[ Search Statistics ]============================== 183.14/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.28 c =============================================================================== 183.14/183.28 c | 0 | 7110 13701 57972 | 5000 0 nan | 0.000 % | 183.24/183.37 c | 100 | 7110 13701 57972 | 5500 100 273 | 6.101 % | 183.44/183.55 c | 254 | 7110 13701 57972 | 6050 254 283 | 6.101 % | 183.84/183.94 c | 479 | 7110 13701 57972 | 6655 479 266 | 6.101 % | 184.34/184.47 c | 816 | 7110 13701 57972 | 7320 816 263 | 6.101 % | 185.13/185.26 c | 1322 | 7110 13701 57972 | 8052 1322 273 | 6.101 % | 186.24/186.34 c | 2081 | 7110 13701 57972 | 8857 2081 264 | 6.101 % | 187.94/188.06 c | 3233 | 7110 13701 57972 | 9743 3233 259 | 6.101 % | 190.54/190.63 c | 4942 | 7110 13701 57972 | 10717 4942 247 | 6.101 % | 195.43/195.58 c | 7506 | 7110 13701 57972 | 11789 7506 221 | 6.101 % | 201.14/201.29 c | 11358 | 7110 13701 57972 | 12968 11358 219 | 6.101 % | 211.14/211.27 c | 17126 | 7110 13701 57972 | 14265 10263 206 | 6.101 % | 220.63/220.72 c =============================================================================== 221.04/221.12 c core #21 221.04/221.12 c 221.04/221.12 c 221.04/221.12 c Core size: 862 Core Weight: 1 Total Weight: 21 221.04/221.12 c 221.04/221.12 c 221.04/221.12 c ============================[ Search Statistics ]============================== 221.04/221.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 221.04/221.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 221.04/221.12 c =============================================================================== 221.04/221.12 c | 0 | 8026 13702 60173 | 5000 0 nan | 0.000 % | 221.13/221.20 c | 103 | 8026 13702 60173 | 5500 103 223 | 0.286 % | 221.32/221.43 c | 254 | 8026 13702 60173 | 6050 254 160 | 0.286 % | 221.62/221.79 c | 483 | 8026 13702 60173 | 6655 483 175 | 0.286 % | 222.52/222.69 c | 820 | 8026 13702 60173 | 7320 820 218 | 0.286 % | 223.62/223.75 c | 1327 | 8026 13702 60173 | 8052 1327 198 | 0.286 % | 225.23/225.38 c | 2086 | 8026 13702 60173 | 8857 2086 184 | 0.286 % | 226.42/226.51 c | 3227 | 8026 13702 60173 | 9743 3227 195 | 0.286 % | 228.74/228.81 c | 4940 | 8026 13702 60173 | 10717 4940 154 | 0.286 % | 232.22/232.39 c | 7502 | 8026 13702 60173 | 11789 7502 162 | 0.286 % | 240.12/240.26 c | 11347 | 8026 13702 60173 | 12968 11347 160 | 0.286 % | 248.92/249.07 c | 17115 | 8026 13702 60173 | 14265 10274 148 | 0.286 % | 262.62/262.78 c | 25765 | 8026 13702 60173 | 15692 11387 145 | 0.286 % | 286.31/286.40 c | 38739 | 8026 13702 60173 | 17261 16070 175 | 0.286 % | 323.30/323.47 c | 58200 | 8026 13702 60173 | 18987 17556 210 | 0.286 % | 378.48/378.66 c | 87392 | 8026 13702 60173 | 20886 16573 222 | 0.286 % | 493.75/493.93 c | 131187 | 8026 13702 60173 | 22974 16949 275 | 0.286 % | 661.78/662.07 c | 196871 | 8026 13702 60173 | 25272 11869 260 | 0.286 % | 932.30/932.65 c | 295402 | 8026 13702 60173 | 27799 16436 279 | 0.286 % | 1349.08/1349.55 c | 443195 | 8026 13702 60173 | 30579 19954 483 | 0.286 % |
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-2702393-1278565865/watcher-2702393-1278565865 -o /tmp/evaluation-result-2702393-1278565865/solver-2702393-1278565865 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702393-1278565865.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 1715 /proc/meminfo: memFree=1573704/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=3328 CPUtime=0 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 24798910 3407872 266 1992294400 134512640 135752675 4289115312 18446744073709551615 135225882 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 832 266 135 303 0 408 0 [startup+0.016025 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1715 /proc/meminfo: memFree=1573704/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=4084 CPUtime=0.01 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 519 0 0 0 1 0 0 0 20 0 1 0 24798910 4182016 438 1992294400 134512640 135752675 4289115312 18446744073709551615 135204669 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 1021 438 146 303 0 597 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4084 [startup+0.101032 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1715 /proc/meminfo: memFree=1573704/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=5116 CPUtime=0.09 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 1222 0 0 0 9 0 0 0 20 0 1 0 24798910 5238784 825 1992294400 134512640 135752675 4289115312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 1279 825 143 303 0 974 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5116 [startup+0.301053 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1715 /proc/meminfo: memFree=1573704/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=5512 CPUtime=0.29 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 1321 0 0 0 27 2 0 0 20 0 1 0 24798910 5644288 924 1992294400 134512640 135752675 4289115312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 1378 924 145 303 0 1073 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5512 [startup+0.701093 s] /proc/loadavg: 1.00 1.00 1.00 3/106 1715 /proc/meminfo: memFree=1573704/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=6424 CPUtime=0.68 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 1525 0 0 0 66 2 0 0 20 0 1 0 24798910 6578176 1128 1992294400 134512640 135752675 4289115312 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 1606 1128 145 303 0 1301 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 6424 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1716 /proc/meminfo: memFree=1569480/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=8120 CPUtime=1.49 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 1962 0 0 0 146 3 0 0 22 0 1 0 24798910 8314880 1565 1992294400 134512640 135752675 4289115312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 2030 1565 145 303 0 1725 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8120 [startup+3.10134 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1717 /proc/meminfo: memFree=1567000/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=11372 CPUtime=3.09 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 2767 0 0 0 304 5 0 0 25 0 1 0 24798910 11644928 2370 1992294400 134512640 135752675 4289115312 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 2843 2370 145 303 0 2538 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11372 [startup+6.30166 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1717 /proc/meminfo: memFree=1560056/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=17544 CPUtime=6.28 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 4326 0 0 0 620 8 0 0 25 0 1 0 24798910 17965056 3929 1992294400 134512640 135752675 4289115312 18446744073709551615 134638119 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 4386 3929 145 303 0 4081 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17544 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1717 /proc/meminfo: memFree=1547408/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=30028 CPUtime=12.69 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 7432 0 0 0 1253 16 0 0 25 0 1 0 24798910 30748672 7035 1992294400 134512640 135752675 4289115312 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 7507 7035 145 303 0 7202 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 30028 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1717 /proc/meminfo: memFree=1525708/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=51116 CPUtime=25.48 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 12687 0 0 0 2520 28 0 0 25 0 1 0 24798910 52342784 12290 1992294400 134512640 135752675 4289115312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 12779 12290 145 303 0 12474 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51116 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1718 /proc/meminfo: memFree=1486400/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=90976 CPUtime=51.08 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 22657 0 0 0 5058 50 0 0 25 0 1 0 24798910 93159424 22260 1992294400 134512640 135752675 4289115312 18446744073709551615 134518864 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 22744 22260 145 303 0 22439 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 90976 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1719 /proc/meminfo: memFree=1410512/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=165456 CPUtime=102.27 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 41252 0 0 0 10131 96 0 0 25 0 1 0 24798910 169426944 40855 1992294400 134512640 135752675 4289115312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 41364 40855 145 303 0 41059 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 165456 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 3/107 1721 /proc/meminfo: memFree=1340328/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=236292 CPUtime=162.24 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 58908 0 0 0 16090 134 0 0 25 0 1 0 24798910 241963008 58511 1992294400 134512640 135752675 4289115312 18446744073709551615 134612027 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 59073 58511 145 303 0 58768 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 236292 [startup+222.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1722 /proc/meminfo: memFree=1308584/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=266812 CPUtime=222.22 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 66854 0 0 0 22058 164 0 0 25 0 1 0 24798910 273215488 66239 1992294400 134512640 135752675 4289115312 18446744073709551615 134611540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 66703 66239 146 303 0 66398 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 266812 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1724 /proc/meminfo: memFree=1287876/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=288008 CPUtime=282.2 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 72163 0 0 0 28025 195 0 0 25 0 1 0 24798910 294920192 71548 1992294400 134512640 135752675 4289115312 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 72002 71548 146 303 0 71697 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 288008 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1726 /proc/meminfo: memFree=1258612/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=316812 CPUtime=342.19 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 79352 0 0 0 33993 226 0 0 25 0 1 0 24798910 324415488 78737 1992294400 134512640 135752675 4289115312 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 79203 78737 146 303 0 78898 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 316812 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1727 /proc/meminfo: memFree=1227612/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=348048 CPUtime=402.17 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 87177 0 0 0 39966 251 0 0 25 0 1 0 24798910 356401152 86562 1992294400 134512640 135752675 4289115312 18446744073709551615 134611947 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 87012 86562 146 303 0 86707 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 348048 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1731 /proc/meminfo: memFree=1197728/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=377628 CPUtime=462.15 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 94557 0 0 0 45937 278 0 0 25 0 1 0 24798910 386691072 93942 1992294400 134512640 135752675 4289115312 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 94407 93942 146 303 0 94102 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 377628 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1735 /proc/meminfo: memFree=1171936/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=403308 CPUtime=522.13 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 100913 0 0 0 51915 298 0 0 25 0 1 0 24798910 412987392 100298 1992294400 134512640 135752675 4289115312 18446744073709551615 134637639 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 100827 100298 146 303 0 100522 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 403308 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1737 /proc/meminfo: memFree=1142424/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=432576 CPUtime=582.12 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 108204 0 0 0 57890 322 0 0 25 0 1 0 24798910 442957824 107589 1992294400 134512640 135752675 4289115312 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 108144 107589 146 303 0 107839 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 432576 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1739 /proc/meminfo: memFree=1110184/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=464992 CPUtime=642.1 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 116302 0 0 0 63861 349 0 0 25 0 1 0 24798910 476151808 115687 1992294400 134512640 135752675 4289115312 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 116248 115687 146 303 0 115943 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 464992 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1743 /proc/meminfo: memFree=1016688/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=558520 CPUtime=822.03 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 139646 0 0 0 81787 416 0 0 25 0 1 0 24798910 571924480 139031 1992294400 134512640 135752675 4289115312 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 139630 139031 146 303 0 139325 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 558520 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1746 /proc/meminfo: memFree=988168/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=586896 CPUtime=882.02 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 146720 0 0 0 87762 440 0 0 25 0 1 0 24798910 600981504 146105 1992294400 134512640 135752675 4289115312 18446744073709551615 134605400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 146724 146105 146 303 0 146419 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 586896 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1748 /proc/meminfo: memFree=956796/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=618704 CPUtime=941.99 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 154659 0 0 0 93738 461 0 0 25 0 1 0 24798910 633552896 154044 1992294400 134512640 135752675 4289115312 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 154676 154044 146 303 0 154371 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 618704 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1749 /proc/meminfo: memFree=924680/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=650444 CPUtime=1001.97 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 162568 0 0 0 99710 487 0 0 25 0 1 0 24798910 666054656 161953 1992294400 134512640 135752675 4289115312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 162611 161953 146 303 0 162306 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 650444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1751 /proc/meminfo: memFree=894300/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=681196 CPUtime=1061.96 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 170246 0 0 0 105687 509 0 0 25 0 1 0 24798910 697544704 169631 1992294400 134512640 135752675 4289115312 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 170299 169631 146 303 0 169994 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 681196 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1752 /proc/meminfo: memFree=858092/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=716944 CPUtime=1121.94 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 179168 0 0 0 111659 535 0 0 25 0 1 0 24798910 734150656 178553 1992294400 134512640 135752675 4289115312 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 179236 178553 146 303 0 178931 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 716944 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1754 /proc/meminfo: memFree=823000/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=752196 CPUtime=1181.92 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 187972 0 0 0 117631 561 0 0 25 0 1 0 24798910 770248704 187357 1992294400 134512640 135752675 4289115312 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 188049 187357 146 303 0 187744 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 752196 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1756 /proc/meminfo: memFree=788776/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=786012 CPUtime=1241.9 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 196444 0 0 0 123604 586 0 0 25 0 1 0 24798910 804876288 195829 1992294400 134512640 135752675 4289115312 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 196503 195829 146 303 0 196198 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 786012 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1758 /proc/meminfo: memFree=751204/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=823404 CPUtime=1301.9 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 205755 0 0 0 129580 610 0 0 25 0 1 0 24798910 843165696 205140 1992294400 134512640 135752675 4289115312 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 205851 205140 146 303 0 205546 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 823404 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1760 /proc/meminfo: memFree=713136/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=861784 CPUtime=1361.87 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 215338 0 0 0 135557 630 0 0 25 0 1 0 24798910 882466816 214723 1992294400 134512640 135752675 4289115312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 215446 214723 146 303 0 215141 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 861784 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1761 /proc/meminfo: memFree=690320/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=884332 CPUtime=1421.87 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 220929 0 0 0 141546 641 0 0 25 0 1 0 24798910 905555968 220314 1992294400 134512640 135752675 4289115312 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 221083 220314 146 303 0 220778 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 884332 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1764 /proc/meminfo: memFree=656096/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=918856 CPUtime=1481.83 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 229508 0 0 0 147522 661 0 0 25 0 1 0 24798910 940908544 228893 1992294400 134512640 135752675 4289115312 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 229714 228893 146 303 0 229409 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 918856 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1766 /proc/meminfo: memFree=625468/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=949236 CPUtime=1541.81 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 237132 0 0 0 153497 684 0 0 25 0 1 0 24798910 972017664 236517 1992294400 134512640 135752675 4289115312 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 237309 236517 146 303 0 237004 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 949236 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1767 /proc/meminfo: memFree=594096/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=980888 CPUtime=1601.8 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 244989 0 0 0 159473 707 0 0 25 0 1 0 24798910 1004429312 244374 1992294400 134512640 135752675 4289115312 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 245222 244374 146 303 0 244917 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 980888 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1769 /proc/meminfo: memFree=558136/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=1016644 CPUtime=1661.79 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 253937 0 0 0 165448 731 0 0 25 0 1 0 24798910 1041043456 253322 1992294400 134512640 135752675 4289115312 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 254161 253322 146 303 0 253856 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1016644 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1770 /proc/meminfo: memFree=527880/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=1047444 CPUtime=1721.77 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 261592 0 0 0 171426 751 0 0 25 0 1 0 24798910 1072582656 260977 1992294400 134512640 135752675 4289115312 18446744073709551615 134611973 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 261861 260977 146 303 0 261556 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 1047444 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1772 /proc/meminfo: memFree=497252/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=1077428 CPUtime=1781.75 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 269074 0 0 0 177404 771 0 0 25 0 1 0 24798910 1103286272 268459 1992294400 134512640 135752675 4289115312 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 269357 268459 146 303 0 269052 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 1077428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1772 /proc/meminfo: memFree=489316/2059040 swapFree=4139504/4192956 [pid=1715] ppid=1713 vsize=1085216 CPUtime=1800.06 /proc/1715/stat : 1715 (wbo1.4b) R 1713 1715 1094 0 -1 4202496 271026 0 0 0 179230 776 0 0 25 0 1 0 24798910 1111261184 270411 1992294400 134512640 135752675 4289115312 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/1715/statm: 271304 270411 146 303 0 270999 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1085216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.17 CPU user time (s): 1792.3 CPU system time (s): 7.8658 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (KiB): 1085216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.3 system time used= 7.8658 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 271027 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= 8 involuntary context switches= 3531 runsolver used 2.85757 second user time and 8.63369 second system time The end
Begin job on node017 at 2010-07-08 07:11:05 IDJOB=2702393 IDBENCH=48131 IDSOLVER=1190 FILE ID=node017/2702393-1278565865 PBS_JOBID= 11239570 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.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-2702393-1278565865/watcher-2702393-1278565865 -o /tmp/evaluation-result-2702393-1278565865/solver-2702393-1278565865 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702393-1278565865.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d RANDOM SEED=212052326 node017.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.220 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.44 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.220 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1574976 kB Buffers: 70484 kB Cached: 308080 kB SwapCached: 8224 kB Active: 155300 kB Inactive: 239536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1574976 kB SwapTotal: 4192956 kB SwapFree: 4139504 kB Dirty: 2732 kB Writeback: 0 kB AnonPages: 13232 kB Mapped: 12000 kB Slab: 67256 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 178996 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-2702393-1278565865.opb Free space on /tmp at the end= 62492 MiB End job on node017 at 2010-07-08 07:41:08