Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1686.89 | 1687.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb |
MD5SUM | 6549a0bbc5c463b1b909374436b51d65 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 188 |
Best CPU time to get the best result obtained on this benchmark | 1800.27 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 183 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 470 |
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 | 470 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 470 |
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 | 470 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 470 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655928-1276373079.opb. 0.00/0.00 c Instance file HOME/instance-2655928-1276373079.opb 0.00/0.00 c File size is 42851 bytes. 0.00/0.00 c Highest Coefficient sum: 248 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 470 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 470 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 470 470 4238 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 224 0.00/0.01 o 224 0.00/0.01 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 470 471 4708 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 222 0.00/0.01 o 222 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 470 472 5178 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 470 472 5178 | 5500 101 228 | 0.001 % | 0.00/0.04 c | 252 | 470 472 5178 | 6050 252 229 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 221 0.00/0.05 o 221 0.00/0.05 c Elapsed CPU time: 0.045993 s Remaining CPU time: 179.954 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 278 | 470 473 5648 | 5000 278 230 | 0.000 % | 0.00/0.06 c | 379 | 470 473 5648 | 5500 379 231 | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 219 0.00/0.06 o 219 0.00/0.06 c Elapsed CPU time: 0.06099 s Remaining CPU time: 179.939 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 379 | 470 474 6118 | 5000 379 231 | 0.000 % | 0.07/0.08 c | 479 | 470 474 6118 | 5500 479 231 | 0.000 % | 0.07/0.10 c | 629 | 470 474 6118 | 6050 629 231 | 0.001 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: 218 0.09/0.11 o 218 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 | 765 | 470 475 6588 | 5000 765 231 | 0.001 % | 0.09/0.13 c | 866 | 470 475 6588 | 5500 866 231 | 0.001 % | 0.09/0.15 c | 1016 | 470 475 6588 | 6050 1016 230 | 0.002 % | 0.09/0.18 c | 1241 | 470 475 6588 | 6655 1241 230 | 0.001 % | 0.19/0.23 c | 1578 | 470 475 6588 | 7320 1578 230 | 0.001 % | 0.29/0.31 c | 2085 | 470 475 6588 | 8052 2085 230 | 0.000 % | 0.39/0.43 c | 2845 | 470 475 6588 | 8857 2845 232 | 0.001 % | 0.59/0.63 c | 3986 | 470 475 6588 | 9743 3986 231 | 0.000 % | 0.78/0.89 c | 5694 | 470 475 6588 | 10717 5694 230 | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c New solution: 217 0.89/0.90 o 217 0.89/0.90 c Elapsed CPU time: 0.875866 s Remaining CPU time: 179.124 s 0.89/0.90 c =============================================================================== 0.89/0.90 c | 5735 | 470 476 7058 | 5000 5735 230 | 0.000 % | 0.89/0.92 c | 5836 | 470 476 7058 | 5500 2969 229 | 0.001 % | 0.89/0.94 c | 5986 | 470 476 7058 | 6050 3119 229 | 0.001 % | 0.89/0.97 c | 6211 | 470 476 7058 | 6655 3344 229 | 0.000 % | 0.99/1.03 c | 6549 | 470 476 7058 | 7320 3682 229 | 0.001 % | 1.09/1.11 c | 7055 | 470 476 7058 | 8052 4188 229 | 0.001 % | 1.19/1.24 c | 7814 | 470 476 7058 | 8857 4947 229 | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c New solution: 216 1.19/1.25 o 216 1.19/1.25 c Elapsed CPU time: 1.21481 s Remaining CPU time: 178.785 s 1.19/1.25 c =============================================================================== 1.19/1.25 c | 7852 | 470 477 7528 | 5000 4985 229 | 0.000 % | 1.19/1.26 c | 7952 | 470 477 7528 | 5500 5085 229 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: 214 1.19/1.27 o 214 1.19/1.27 c Elapsed CPU time: 1.23181 s Remaining CPU time: 178.768 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 7952 | 470 478 7998 | 5000 5085 229 | 0.000 % | 1.19/1.29 c | 8052 | 470 478 7998 | 5500 2643 228 | 0.001 % | 1.29/1.31 c | 8202 | 470 478 7998 | 6050 2793 228 | 0.000 % | 1.29/1.35 c | 8427 | 470 478 7998 | 6655 3018 228 | 0.001 % | 1.38/1.40 c | 8764 | 470 478 7998 | 7320 3355 229 | 0.001 % | 1.38/1.48 c | 9271 | 470 478 7998 | 8052 3862 228 | 0.002 % | 1.59/1.61 c | 10030 | 470 478 7998 | 8857 4621 228 | 0.000 % | 1.69/1.78 c | 11170 | 470 478 7998 | 9743 5761 228 | 0.000 % | 2.09/2.11 c | 12879 | 470 478 7998 | 10717 7470 227 | 0.000 % | 2.59/2.62 c | 15441 | 470 478 7998 | 11789 10032 228 | 0.000 % | 3.38/3.44 c | 19285 | 470 478 7998 | 12968 7777 226 | 0.000 % | 4.48/4.57 c | 25051 | 470 478 7998 | 14265 6844 225 | 0.000 % | 6.59/6.69 c | 33701 | 470 478 7998 | 15692 8149 226 | 0.001 % | 6.68/6.72 c =============================================================================== 6.68/6.72 c New solution: 213 6.68/6.72 o 213 6.68/6.72 c Elapsed CPU time: 6.583 s Remaining CPU time: 173.417 s 6.68/6.72 c =============================================================================== 6.68/6.72 c | 33854 | 470 479 8468 | 5000 8302 226 | 0.001 % | 6.68/6.75 c | 33954 | 470 479 8468 | 5500 4251 228 | 0.000 % | 6.68/6.77 c | 34104 | 470 479 8468 | 6050 4401 228 | 0.002 % | 6.78/6.81 c | 34330 | 470 479 8468 | 6655 4627 228 | 0.001 % | 6.78/6.86 c | 34667 | 470 479 8468 | 7320 4964 228 | 0.000 % | 6.88/6.94 c | 35173 | 470 479 8468 | 8052 5470 227 | 0.001 % | 6.98/7.07 c | 35932 | 470 479 8468 | 8857 6229 227 | 0.000 % | 7.18/7.27 c | 37071 | 470 479 8468 | 9743 7368 226 | 0.001 % | 7.48/7.59 c | 38779 | 470 479 8468 | 10717 9076 225 | 0.000 % | 8.08/8.16 c | 41342 | 470 479 8468 | 11789 6064 225 | 0.000 % | 8.79/8.85 c | 45186 | 470 479 8468 | 12968 9908 224 | 0.000 % | 9.98/10.05 c | 50953 | 470 479 8468 | 14265 8979 226 | 0.000 % | 12.28/12.33 c | 59602 | 470 479 8468 | 15692 10284 224 | 0.000 % | 16.49/16.59 c | 72576 | 470 479 8468 | 17261 15196 224 | 0.000 % | 21.58/21.62 c =============================================================================== 21.58/21.62 c New solution: 212 21.58/21.62 o 212 21.58/21.62 c Elapsed CPU time: 21.2728 s Remaining CPU time: 158.727 s 21.58/21.62 c =============================================================================== 21.58/21.62 c | 86959 | 470 480 8938 | 5000 11895 226 | 0.000 % | 21.68/21.75 c | 87059 | 470 480 8938 | 5500 3074 223 | 0.000 % | 21.68/21.78 c | 87209 | 470 480 8938 | 6050 3224 223 | 0.001 % | 21.78/21.81 c | 87434 | 470 480 8938 | 6655 3449 223 | 0.000 % | 21.78/21.87 c | 87772 | 470 480 8938 | 7320 3787 224 | 0.001 % | 21.88/21.96 c | 88279 | 470 480 8938 | 8052 4294 224 | 0.001 % | 21.98/22.09 c | 89038 | 470 480 8938 | 8857 5053 224 | 0.001 % | 22.28/22.30 c | 90178 | 470 480 8938 | 9743 6193 224 | 0.000 % | 22.57/22.67 c | 91887 | 470 480 8938 | 10717 7902 225 | 0.000 % | 22.98/23.10 c | 94449 | 470 480 8938 | 11789 10464 224 | 0.000 % | 23.98/24.01 c | 98294 | 470 480 8938 | 12968 8201 225 | 0.000 % | 25.48/25.52 c | 104061 | 470 480 8938 | 14265 7275 227 | 0.000 % | 25.48/25.53 c =============================================================================== 25.48/25.53 c New solution: 211 25.48/25.53 o 211 25.48/25.53 c Elapsed CPU time: 25.1102 s Remaining CPU time: 154.89 s 25.48/25.53 c =============================================================================== 25.48/25.53 c | 104065 | 470 481 9408 | 5000 7279 227 | 0.000 % | 25.48/25.56 c | 104166 | 470 481 9408 | 5500 3741 228 | 0.002 % | 25.48/25.58 c | 104317 | 470 481 9408 | 6050 3892 227 | 0.001 % | 25.57/25.62 c | 104543 | 470 481 9408 | 6655 4118 227 | 0.001 % | 25.57/25.68 c | 104880 | 470 481 9408 | 7320 4455 227 | 0.001 % | 25.67/25.77 c | 105386 | 470 481 9408 | 8052 4961 226 | 0.001 % | 25.88/25.91 c | 106145 | 470 481 9408 | 8857 5720 225 | 0.000 % | 26.08/26.12 c | 107284 | 470 481 9408 | 9743 6859 225 | 0.001 % | 26.38/26.47 c | 108992 | 470 481 9408 | 10717 8567 224 | 0.000 % | 26.87/26.95 c | 111555 | 470 481 9408 | 11789 11130 224 | 0.000 % | 27.77/27.80 c | 115400 | 470 481 9408 | 12968 8874 224 | 0.000 % | 28.97/29.02 c | 121166 | 470 481 9408 | 14265 7944 224 | 0.000 % | 31.07/31.13 c | 129816 | 470 481 9408 | 15692 9258 223 | 0.000 % | 35.27/35.37 c | 142791 | 470 481 9408 | 17261 14178 226 | 0.000 % | 41.97/42.02 c | 162252 | 470 481 9408 | 18987 15963 224 | 0.000 % | 54.76/54.90 c | 191444 | 470 481 9408 | 20886 16056 223 | 0.000 % | 70.56/70.66 c | 235233 | 470 481 9408 | 22974 17245 224 | 0.000 % | 98.36/98.42 c | 300918 | 470 481 9408 | 25272 20350 226 | 0.001 % | 130.85/130.92 c | 399444 | 470 481 9408 | 27799 15743 220 | 0.000 % | 181.93/182.08 c There are 0 assigned variables. 0 in cost function. 183.03/183.17 c core #1 183.03/183.17 c core #2 183.03/183.17 c core #3 183.03/183.17 c core #4 183.03/183.17 c core #5 183.03/183.17 c core #6 183.03/183.17 c core #7 183.03/183.17 c core #8 183.03/183.17 c core #9 183.03/183.17 c core #10 183.03/183.17 c core #11 183.03/183.17 c core #12 183.03/183.17 c core #13 183.03/183.17 c core #14 183.03/183.17 c core #15 183.03/183.17 c core #16 183.03/183.17 c core #17 183.03/183.17 c core #18 183.03/183.17 c core #19 183.03/183.17 c core #20 183.03/183.17 c core #21 183.03/183.17 c core #22 183.03/183.17 c core #23 183.03/183.17 c core #24 183.03/183.17 c core #25 183.03/183.17 c core #26 183.03/183.17 c core #27 183.03/183.17 c core #28 183.03/183.17 c core #29 183.03/183.17 c core #30 183.03/183.17 c core #31 183.03/183.17 c core #32 183.03/183.17 c core #33 183.03/183.17 c core #34 183.03/183.17 c core #35 183.03/183.17 c core #36 183.03/183.17 c core #37 183.03/183.17 c core #38 183.03/183.17 c core #39 183.03/183.17 c core #40 183.03/183.17 c core #41 183.03/183.17 c core #42 183.03/183.17 c core #43 183.03/183.17 c core #44 183.03/183.17 c core #45 183.03/183.17 c core #46 183.03/183.17 c core #47 183.03/183.17 c core #48 183.03/183.17 c core #49 183.03/183.17 c core #50 183.03/183.17 c core #51 183.03/183.17 c core #52 183.03/183.17 c core #53 183.03/183.17 c core #54 183.03/183.17 c core #55 183.03/183.17 c core #56 183.03/183.17 c core #57 183.03/183.17 c core #58 183.03/183.17 c core #59 183.03/183.17 c core #60 183.03/183.17 c core #61 183.03/183.17 c core #62 183.03/183.17 c core #63 183.03/183.17 c core #64 183.03/183.17 c core #65 183.03/183.17 c core #66 183.03/183.17 c core #67 183.03/183.17 c core #68 183.03/183.17 c core #69 183.03/183.17 c core #70 183.03/183.17 c core #71 183.03/183.17 c core #72 183.03/183.17 c core #73 183.03/183.17 c core #74 183.03/183.17 c core #75 183.03/183.17 c core #76 183.03/183.17 c core #77 183.03/183.17 c core #78 183.03/183.17 c core #79 183.03/183.17 c core #80 183.03/183.17 c core #81 183.03/183.17 c core #82 183.03/183.17 c core #83 183.03/183.17 c core #84 183.03/183.17 c core #85 183.03/183.17 c ============================[ Search Statistics ]============================== 183.03/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.17 c =============================================================================== 183.03/183.17 c | 0 | 952 1037 11347 | 5000 0 nan | 0.000 % | 183.03/183.17 c =============================================================================== 183.03/183.18 c core #86 183.03/183.18 c ============================[ Search Statistics ]============================== 183.03/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.18 c =============================================================================== 183.03/183.18 c | 0 | 963 1038 11369 | 5000 0 nan | 0.000 % | 183.03/183.19 c =============================================================================== 183.13/183.20 c core #87 183.13/183.20 c ============================[ Search Statistics ]============================== 183.13/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.20 c =============================================================================== 183.13/183.20 c | 0 | 980 1039 11400 | 5000 0 nan | 0.000 % | 183.13/183.21 c =============================================================================== 183.13/183.22 c core #88 183.13/183.22 c ============================[ Search Statistics ]============================== 183.13/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.22 c =============================================================================== 183.13/183.22 c | 0 | 1023 1040 11484 | 5000 0 nan | 0.000 % | 183.13/183.22 c =============================================================================== 183.13/183.23 c core #89 183.13/183.23 c ============================[ Search Statistics ]============================== 183.13/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.23 c =============================================================================== 183.13/183.23 c | 0 | 1039 1041 11516 | 5000 0 nan | 0.000 % | 183.13/183.24 c =============================================================================== 183.13/183.25 c core #90 183.13/183.25 c ============================[ Search Statistics ]============================== 183.13/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.25 c =============================================================================== 183.13/183.25 c | 0 | 1052 1042 11541 | 5000 0 nan | 0.000 % | 183.13/183.26 c =============================================================================== 183.13/183.27 c core #91 183.13/183.27 c ============================[ Search Statistics ]============================== 183.13/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.27 c =============================================================================== 183.13/183.27 c | 0 | 1069 1043 11575 | 5000 0 nan | 0.000 % | 183.13/183.27 c =============================================================================== 183.13/183.28 c core #92 183.13/183.28 c ============================[ Search Statistics ]============================== 183.13/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.28 c =============================================================================== 183.13/183.28 c | 0 | 1078 1044 11592 | 5000 0 nan | 0.000 % | 183.13/183.29 c =============================================================================== 183.22/183.30 c core #93 183.22/183.30 c ============================[ Search Statistics ]============================== 183.22/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.30 c =============================================================================== 183.22/183.30 c | 0 | 1092 1045 11619 | 5000 0 nan | 0.000 % | 183.22/183.31 c =============================================================================== 183.22/183.32 c core #94 183.22/183.32 c ============================[ Search Statistics ]============================== 183.22/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.32 c =============================================================================== 183.22/183.32 c | 0 | 1103 1046 11641 | 5000 0 nan | 0.000 % | 183.22/183.33 c =============================================================================== 183.22/183.34 c core #95 183.22/183.34 c ============================[ Search Statistics ]============================== 183.22/183.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.34 c =============================================================================== 183.22/183.34 c | 0 | 1149 1047 11728 | 5000 0 nan | 0.000 % | 183.22/183.35 c =============================================================================== 183.22/183.36 c core #96 183.22/183.36 c ============================[ Search Statistics ]============================== 183.22/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.36 c =============================================================================== 183.22/183.36 c | 0 | 1209 1048 11847 | 5000 0 nan | 0.000 % | 183.22/183.37 c =============================================================================== 183.22/183.38 c core #97 183.22/183.38 c ============================[ Search Statistics ]============================== 183.22/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.38 c =============================================================================== 183.22/183.38 c | 0 | 1222 1049 11873 | 5000 0 nan | 0.000 % | 183.22/183.38 c =============================================================================== 183.32/183.40 c core #98 183.32/183.40 c ============================[ Search Statistics ]============================== 183.32/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.40 c =============================================================================== 183.32/183.40 c | 0 | 1244 1050 11917 | 5000 0 nan | 0.000 % | 183.32/183.40 c =============================================================================== 183.32/183.41 c core #99 183.32/183.41 c ============================[ Search Statistics ]============================== 183.32/183.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.41 c =============================================================================== 183.32/183.41 c | 0 | 1276 1051 11979 | 5000 0 nan | 0.000 % | 183.32/183.42 c =============================================================================== 183.32/183.43 c core #100 183.32/183.43 c ============================[ Search Statistics ]============================== 183.32/183.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.43 c =============================================================================== 183.32/183.43 c | 0 | 1318 1052 12062 | 5000 0 nan | 0.000 % | 183.32/183.44 c =============================================================================== 183.32/183.46 c core #101 183.32/183.46 c ============================[ Search Statistics ]============================== 183.32/183.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.46 c =============================================================================== 183.32/183.46 c | 0 | 1370 1053 12164 | 5000 0 nan | 0.000 % | 183.32/183.46 c =============================================================================== 183.32/183.48 c core #102 183.32/183.48 c ============================[ Search Statistics ]============================== 183.32/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.48 c =============================================================================== 183.32/183.48 c | 0 | 1394 1054 12212 | 5000 0 nan | 0.000 % | 183.32/183.49 c | 101 | 1393 1054 12212 | 5500 101 12 | 1.277 % | 183.42/183.51 c | 251 | 1393 1054 12212 | 6050 251 18 | 1.277 % | 183.42/183.53 c | 477 | 1392 1054 12212 | 6655 476 19 | 1.277 % | 183.42/183.57 c | 814 | 1392 1054 12212 | 7320 813 22 | 1.277 % | 183.42/183.58 c =============================================================================== 183.42/183.60 c core #103 183.42/183.60 c ============================[ Search Statistics ]============================== 183.42/183.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.42/183.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.42/183.60 c =============================================================================== 183.42/183.60 c | 0 | 1555 1055 12530 | 5000 0 nan | 0.000 % | 183.53/183.62 c | 103 | 1554 1055 12530 | 5500 103 26 | 0.893 % | 183.53/183.64 c | 257 | 1550 1055 12530 | 6050 254 20 | 1.085 % | 183.53/183.67 c | 483 | 1550 1055 12530 | 6655 480 18 | 1.085 % | 183.63/183.71 c =============================================================================== 183.63/183.73 c core #104 183.63/183.73 c ============================[ Search Statistics ]============================== 183.63/183.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.63/183.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.63/183.73 c =============================================================================== 183.63/183.73 c | 0 | 1687 1056 12793 | 5000 0 nan | 0.000 % | 183.63/183.75 c | 100 | 1686 1056 12793 | 5500 100 8 | 0.766 % | 183.63/183.76 c | 250 | 1682 1056 12793 | 6050 248 9 | 0.942 % | 183.63/183.78 c | 475 | 1682 1056 12793 | 6655 473 10 | 0.942 % | 183.72/183.82 c | 812 | 1682 1056 12793 | 7320 802 16 | 0.942 % | 183.72/183.89 c | 1318 | 1682 1056 12793 | 8052 1308 27 | 0.942 % | 183.92/184.01 c | 2079 | 1676 1056 12793 | 8857 2068 29 | 1.296 % | 184.11/184.21 c =============================================================================== 184.11/184.26 c core #105 184.11/184.26 c ============================[ Search Statistics ]============================== 184.11/184.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.11/184.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.11/184.26 c =============================================================================== 184.11/184.26 c | 0 | 1848 1057 13112 | 5000 0 nan | 0.000 % | 184.11/184.28 c | 100 | 1842 1057 13112 | 5500 100 14 | 0.862 % | 184.22/184.30 c | 250 | 1840 1057 13112 | 6050 248 19 | 0.862 % | 184.22/184.32 c | 475 | 1838 1057 13112 | 6655 472 16 | 0.970 % | 184.22/184.35 c | 813 | 1838 1057 13112 | 7320 810 16 | 0.970 % | 184.32/184.40 c | 1319 | 1838 1057 13112 | 8052 1316 18 | 0.970 % | 184.32/184.47 c | 2078 | 1838 1057 13112 | 8857 2075 19 | 0.970 % | 184.52/184.63 c | 3220 | 1838 1057 13112 | 9743 3217 25 | 0.970 % | 184.73/184.86 c | 4928 | 1838 1057 13112 | 10717 4925 30 | 0.970 % | 185.22/185.33 c | 7490 | 1838 1057 13112 | 11789 7487 39 | 0.970 % | 186.22/186.35 c | 11334 | 1838 1057 13112 | 12968 11331 47 | 0.970 % | 188.32/188.44 c | 17100 | 1838 1057 13112 | 14265 10499 63 | 0.970 % | 191.81/191.98 c | 25749 | 1838 1057 13112 | 15692 11907 67 | 0.970 % | 196.42/196.56 c =============================================================================== 197.02/197.18 c core #106 197.02/197.18 c ============================[ Search Statistics ]============================== 197.02/197.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.02/197.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.02/197.18 c =============================================================================== 197.02/197.18 c | 0 | 2069 1058 13551 | 5000 0 nan | 0.000 % | 197.12/197.21 c | 103 | 2069 1058 13551 | 5500 103 15 | 0.241 % | 197.12/197.22 c | 256 | 2069 1058 13551 | 6050 256 16 | 0.241 % | 197.12/197.24 c | 482 | 2069 1058 13551 | 6655 482 16 | 0.241 % | 197.12/197.27 c | 819 | 2069 1058 13551 | 7320 819 17 | 0.241 % | 197.21/197.32 c | 1326 | 2069 1058 13551 | 8052 1326 19 | 0.241 % | 197.21/197.39 c | 2089 | 2069 1058 13551 | 8857 2089 19 | 0.241 % | 197.42/197.55 c | 3229 | 2069 1058 13551 | 9743 3229 27 | 0.241 % | 197.72/197.83 c | 4938 | 2069 1058 13551 | 10717 4938 31 | 0.241 % | 198.31/198.49 c | 7501 | 2069 1058 13551 | 11789 7501 39 | 0.241 % | 199.41/199.58 c | 11347 | 2067 1058 13551 | 12968 6742 26 | 0.338 % | 199.51/199.61 c =============================================================================== 199.71/199.88 c core #107 199.71/199.88 c ============================[ Search Statistics ]============================== 199.71/199.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.71/199.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.71/199.88 c =============================================================================== 199.71/199.88 c | 0 | 2233 1059 13876 | 5000 0 nan | 0.000 % | 199.82/199.90 c | 101 | 2233 1059 13876 | 5500 101 17 | 0.090 % | 199.82/199.92 c | 253 | 2233 1059 13876 | 6050 253 21 | 0.090 % | 199.82/199.94 c | 478 | 2233 1059 13876 | 6655 478 20 | 0.090 % | 199.82/199.98 c | 815 | 2233 1059 13876 | 7320 815 31 | 0.090 % | 199.91/200.04 c | 1324 | 2233 1059 13876 | 8052 1324 34 | 0.090 % | 200.02/200.14 c | 2084 | 2233 1059 13876 | 8857 2084 35 | 0.090 % | 200.21/200.32 c | 3228 | 2233 1059 13876 | 9743 3228 37 | 0.090 % | 200.41/200.54 c | 4936 | 2233 1059 13876 | 10717 4936 38 | 0.090 % | 200.91/201.04 c | 7498 | 2233 1059 13876 | 11789 7498 45 | 0.090 % | 201.82/201.92 c | 11349 | 2233 1059 13876 | 12968 11349 46 | 0.090 % | 203.42/203.56 c | 17120 | 2233 1059 13876 | 14265 10543 56 | 0.090 % | 205.91/206.08 c | 25769 | 2233 1059 13876 | 15692 12023 57 | 0.090 % | 211.81/211.93 c | 38747 | 2233 1059 13876 | 17261 9170 70 | 0.090 % | 220.51/220.66 c | 58208 | 2233 1059 13876 | 18987 11250 75 | 0.090 % | 227.70/227.85 c =============================================================================== 229.10/229.25 c core #108 229.10/229.25 c ============================[ Search Statistics ]============================== 229.10/229.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.10/229.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.10/229.25 c =============================================================================== 229.10/229.25 c | 0 | 2466 1060 14340 | 5000 0 nan | 0.000 % | 229.20/229.30 c | 101 | 2466 1060 14340 | 5500 101 55 | 0.000 % | 229.20/229.32 c | 254 | 2466 1060 14340 | 6050 254 51 | 0.000 % | 229.20/229.37 c | 480 | 2466 1060 14340 | 6655 480 56 | 0.000 % | 229.30/229.41 c | 817 | 2466 1060 14340 | 7320 817 50 | 0.000 % | 229.30/229.48 c | 1323 | 2466 1060 14340 | 8052 1323 55 | 0.000 % | 229.41/229.59 c | 2087 | 2466 1060 14340 | 8857 2087 60 | 0.000 % | 229.60/229.79 c | 3227 | 2466 1060 14340 | 9743 3227 65 | 0.000 % | 230.00/230.11 c | 4936 | 2466 1060 14340 | 10717 4936 69 | 0.000 % | 230.41/230.55 c | 7499 | 2466 1060 14340 | 11789 7499 71 | 0.000 % | 231.40/231.54 c | 11348 | 2466 1060 14340 | 12968 11348 83 | 0.000 % | 232.90/233.08 c | 17114 | 2466 1060 14340 | 14265 10509 97 | 0.000 % | 236.20/236.30 c | 25764 | 2466 1060 14340 | 15692 11884 105 | 0.000 % | 241.91/242.04 c | 38739 | 2466 1060 14340 | 17261 8969 103 | 0.000 % | 248.30/248.41 c | 58205 | 2466 1060 14340 | 18987 10923 92 | 0.000 % | 266.49/266.62 c | 87399 | 2466 1060 14340 | 20886 11296 112 | 0.000 % | 293.49/293.67 c | 131188 | 2466 1060 14340 | 22974 12662 158 | 0.000 % | 338.08/338.27 c | 196876 | 2466 1060 14340 | 25272 20020 192 | 0.000 % | 416.96/417.17 c | 295405 | 2466 1060 14340 | 27799 16020 198 | 0.000 % | 515.33/515.55 c | 443194 | 2464 1060 14340 | 30579 15678 142 | 0.081 % | 674.58/674.87 c | 664877 | 2464 1060 14340 | 33637 21013 113 | 0.081 % | 942.51/942.80 c | 997405 | 2464 1060 14340 | 37001 30824 159 | 0.081 % | 1450.17/1450.60 c | 1496194 | 2464 1060 14340 | 40701 17310 154 | 0.081 % |
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-2655928-1276373079/watcher-2655928-1276373079 -o /tmp/evaluation-result-2655928-1276373079/solver-2655928-1276373079 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655928-1276373079.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.05 1.00 1.00 2/106 12691 /proc/meminfo: memFree=1796712/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=2624 CPUtime=0 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 12911970 2686976 225 1992294400 134512640 135751879 4291768064 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 656 225 144 303 0 340 0 [startup+0.0780199 s] /proc/loadavg: 1.05 1.00 1.00 2/106 12691 /proc/meminfo: memFree=1796712/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=3224 CPUtime=0.07 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 463 0 0 0 7 0 0 0 20 0 1 0 12911970 3301376 370 1992294400 134512640 135751879 4291768064 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 806 370 147 303 0 501 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3224 [startup+0.102021 s] /proc/loadavg: 1.05 1.00 1.00 2/106 12691 /proc/meminfo: memFree=1796712/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=3352 CPUtime=0.09 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 510 0 0 0 9 0 0 0 20 0 1 0 12911970 3432448 417 1992294400 134512640 135751879 4291768064 18446744073709551615 134606801 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 838 417 147 303 0 533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3352 [startup+0.301044 s] /proc/loadavg: 1.05 1.00 1.00 2/106 12691 /proc/meminfo: memFree=1796712/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=4760 CPUtime=0.29 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 856 0 0 0 28 1 0 0 20 0 1 0 12911970 4874240 763 1992294400 134512640 135751879 4291768064 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 1190 763 147 303 0 885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4760 [startup+0.701092 s] /proc/loadavg: 1.05 1.00 1.00 2/106 12691 /proc/meminfo: memFree=1796712/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=7324 CPUtime=0.69 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 1493 0 0 0 68 1 0 0 20 0 1 0 12911970 7499776 1400 1992294400 134512640 135751879 4291768064 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 1831 1400 147 303 0 1526 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7324 [startup+1.50019 s] /proc/loadavg: 1.05 1.00 1.00 2/107 12692 /proc/meminfo: memFree=1789636/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=12348 CPUtime=1.49 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 2741 0 0 0 145 4 0 0 23 0 1 0 12911970 12644352 2648 1992294400 134512640 135751879 4291768064 18446744073709551615 134611278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 3087 2648 148 303 0 2782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12348 [startup+3.10037 s] /proc/loadavg: 1.05 1.00 1.00 2/107 12692 /proc/meminfo: memFree=1782940/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=20816 CPUtime=3.08 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 4855 0 0 0 302 6 0 0 25 0 1 0 12911970 21315584 4762 1992294400 134512640 135751879 4291768064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 5204 4762 148 303 0 4899 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20816 [startup+6.30075 s] /proc/loadavg: 1.04 1.00 1.00 2/107 12692 /proc/meminfo: memFree=1766076/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=35588 CPUtime=6.28 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 8553 0 0 0 616 12 0 0 25 0 1 0 12911970 36442112 8460 1992294400 134512640 135751879 4291768064 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 8897 8460 148 303 0 8592 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 35588 [startup+12.7005 s] /proc/loadavg: 1.04 1.00 1.00 2/107 12692 /proc/meminfo: memFree=1737432/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=64040 CPUtime=12.67 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 15657 0 0 0 1244 23 0 0 25 0 1 0 12911970 65576960 15564 1992294400 134512640 135751879 4291768064 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 16010 15564 148 303 0 15705 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 64040 [startup+25.501 s] /proc/loadavg: 1.03 1.00 1.00 2/107 12694 /proc/meminfo: memFree=1693040/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=106172 CPUtime=25.48 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 26213 0 0 0 2508 40 0 0 25 0 1 0 12911970 108720128 26120 1992294400 134512640 135751879 4291768064 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 26543 26120 148 303 0 26238 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 106172 [startup+51.101 s] /proc/loadavg: 1.02 1.00 1.00 2/107 12694 /proc/meminfo: memFree=1614920/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=184288 CPUtime=51.06 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 45707 0 0 0 5037 69 0 0 25 0 1 0 12911970 188710912 45614 1992294400 134512640 135751879 4291768064 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 46072 45614 148 303 0 45767 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 184288 [startup+102.309 s] /proc/loadavg: 1.01 1.00 1.00 2/107 12696 /proc/meminfo: memFree=1484596/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=313696 CPUtime=102.26 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 78058 0 0 0 10107 119 0 0 25 0 1 0 12911970 321224704 77965 1992294400 134512640 135751879 4291768064 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 78424 77965 148 303 0 78119 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 313696 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12696 /proc/meminfo: memFree=1346832/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=452736 CPUtime=162.23 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 112766 0 0 0 16046 177 0 0 25 0 1 0 12911970 463601664 112673 1992294400 134512640 135751879 4291768064 18446744073709551615 134607811 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 113184 112673 148 303 0 112879 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 452736 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12698 /proc/meminfo: memFree=1293388/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=504020 CPUtime=222.21 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 125689 0 0 0 21980 241 0 0 25 0 1 0 12911970 516116480 125568 1992294400 134512640 135751879 4291768064 18446744073709551615 134616409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 126005 125568 151 303 0 125700 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 504020 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12700 /proc/meminfo: memFree=1231140/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=566724 CPUtime=282.19 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 141362 0 0 0 27927 292 0 0 25 0 1 0 12911970 580325376 141241 1992294400 134512640 135751879 4291768064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 141681 141241 151 303 0 141376 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 566724 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12702 /proc/meminfo: memFree=1158600/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=638780 CPUtime=342.17 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 159367 0 0 0 33879 338 0 0 25 0 1 0 12911970 654110720 159246 1992294400 134512640 135751879 4291768064 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 159695 159246 151 303 0 159390 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 638780 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12704 /proc/meminfo: memFree=1094368/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=703868 CPUtime=402.16 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 175597 0 0 0 39831 385 0 0 25 0 1 0 12911970 720760832 175476 1992294400 134512640 135751879 4291768064 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 175967 175476 151 303 0 175662 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 703868 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12704 /proc/meminfo: memFree=1029392/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=768172 CPUtime=462.14 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 191656 0 0 0 45789 425 0 0 25 0 1 0 12911970 786608128 191535 1992294400 134512640 135751879 4291768064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 192043 191535 151 303 0 191738 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 768172 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12706 /proc/meminfo: memFree=949288/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=848544 CPUtime=522.12 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 211727 0 0 0 51731 481 0 0 25 0 1 0 12911970 868909056 211606 1992294400 134512640 135751879 4291768064 18446744073709551615 134607781 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 212136 211606 151 303 0 211831 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 848544 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12711 /proc/meminfo: memFree=889148/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=907608 CPUtime=582.11 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 226460 0 0 0 57682 529 0 0 25 0 1 0 12911970 929390592 226339 1992294400 134512640 135751879 4291768064 18446744073709551615 134616477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 226902 226339 151 303 0 226597 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 907608 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12713 /proc/meminfo: memFree=832356/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=963936 CPUtime=642.1 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 240529 0 0 0 63638 572 0 0 25 0 1 0 12911970 987070464 240408 1992294400 134512640 135751879 4291768064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 240984 240408 151 303 0 240679 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 963936 [startup+702.302 s] ################ # More data... # ################ [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12715 /proc/meminfo: memFree=717408/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1078992 CPUtime=762.06 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 269259 0 0 0 75548 658 0 0 25 0 1 0 12911970 1104887808 269138 1992294400 134512640 135751879 4291768064 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 269748 269138 151 303 0 269443 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 1078992 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12717 /proc/meminfo: memFree=658384/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1138540 CPUtime=822.04 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 284131 0 0 0 81504 700 0 0 25 0 1 0 12911970 1165864960 284010 1992294400 134512640 135751879 4291768064 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 284635 284010 151 303 0 284330 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1138540 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12719 /proc/meminfo: memFree=603452/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1192916 CPUtime=882.02 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 297716 0 0 0 87466 736 0 0 25 0 1 0 12911970 1221545984 297595 1992294400 134512640 135751879 4291768064 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 298229 297595 151 303 0 297924 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1192916 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12721 /proc/meminfo: memFree=546660/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1250172 CPUtime=942.01 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 311989 0 0 0 93425 776 0 0 25 0 1 0 12911970 1280176128 311868 1992294400 134512640 135751879 4291768064 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 312543 311868 151 303 0 312238 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1250172 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12723 /proc/meminfo: memFree=483792/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1312712 CPUtime=1001.99 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 327616 0 0 0 99383 816 0 0 25 0 1 0 12911970 1344217088 327495 1992294400 134512640 135751879 4291768064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 328178 327495 151 303 0 327873 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1312712 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12723 /proc/meminfo: memFree=432580/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1364504 CPUtime=1061.98 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 340552 0 0 0 105341 857 0 0 25 0 1 0 12911970 1397252096 340431 1992294400 134512640 135751879 4291768064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 341126 340431 151 303 0 340821 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1364504 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12725 /proc/meminfo: memFree=388560/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1407760 CPUtime=1121.96 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 351338 0 0 0 111310 886 0 0 25 0 1 0 12911970 1441546240 351217 1992294400 134512640 135751879 4291768064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 351940 351217 151 303 0 351635 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1407760 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12727 /proc/meminfo: memFree=342680/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1454248 CPUtime=1181.94 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 362934 0 0 0 117282 912 0 0 25 0 1 0 12911970 1489149952 362813 1992294400 134512640 135751879 4291768064 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 363562 362813 151 303 0 363257 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1454248 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12729 /proc/meminfo: memFree=300396/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1495820 CPUtime=1241.92 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 373312 0 0 0 123252 940 0 0 25 0 1 0 12911970 1531719680 373191 1992294400 134512640 135751879 4291768064 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 373955 373191 151 303 0 373650 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1495820 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12731 /proc/meminfo: memFree=250672/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1544960 CPUtime=1301.91 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 385604 0 0 0 129221 970 0 0 25 0 1 0 12911970 1582039040 385483 1992294400 134512640 135751879 4291768064 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 386240 385483 151 303 0 385935 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1544960 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12731 /proc/meminfo: memFree=206900/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1589324 CPUtime=1361.89 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 396639 0 0 0 135188 1001 0 0 25 0 1 0 12911970 1627467776 396518 1992294400 134512640 135751879 4291768064 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 397331 396518 151 303 0 397026 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1589324 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12733 /proc/meminfo: memFree=153332/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1642392 CPUtime=1421.89 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 409914 0 0 0 141147 1042 0 0 25 0 1 0 12911970 1681809408 409793 1992294400 134512640 135751879 4291768064 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 410598 409793 151 303 0 410293 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1642392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12735 /proc/meminfo: memFree=104724/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1691908 CPUtime=1481.86 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 422246 0 0 0 147107 1079 0 0 25 0 1 0 12911970 1732513792 422125 1992294400 134512640 135751879 4291768064 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 422977 422125 151 303 0 422672 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1691908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12737 /proc/meminfo: memFree=54132/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1741952 CPUtime=1541.85 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 434751 0 0 0 153073 1112 0 0 25 0 1 0 12911970 1783758848 434630 1992294400 134512640 135751879 4291768064 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 435488 434630 151 303 0 435183 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 1741952 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12739 /proc/meminfo: memFree=14328/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1781620 CPUtime=1601.83 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 444637 0 0 0 159041 1142 0 0 25 0 1 0 12911970 1824378880 444516 1992294400 134512640 135751879 4291768064 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 445405 444516 151 303 0 445100 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1781620 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12739 /proc/meminfo: memFree=10196/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1822020 CPUtime=1661.82 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 454721 0 0 0 165011 1171 0 0 25 0 1 0 12911970 1865748480 454600 1992294400 134512640 135751879 4291768064 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 455505 454600 151 303 0 455200 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 1822020 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1687.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12741 /proc/meminfo: memFree=10588/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=1843268 CPUtime=1686.71 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4202496 460021 0 0 0 167485 1186 0 0 25 0 1 0 12911970 1887506432 459900 1992294400 134512640 135751879 4291768064 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12691/statm: 460817 459900 151 303 0 460512 0 Current children cumulated CPU time (s) 1686.71 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1687.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 12742 /proc/meminfo: memFree=1084544/2059040 swapFree=4136460/4192956 [pid=12691] ppid=12689 vsize=0 CPUtime=1686.82 /proc/12691/stat : 12691 (wbo1.4b) R 12689 12691 12229 0 -1 4203524 460021 0 0 0 167485 1197 0 0 25 0 1 0 12911970 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12691/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1686.82 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1687.38 CPU time (s): 1686.89 CPU user time (s): 1674.86 CPU system time (s): 12.0362 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1674.86 system time used= 12.0362 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460021 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= 1 involuntary context switches= 8960 runsolver used 2.89556 second user time and 7.8888 second system time The end
Begin job on node001 at 2010-06-12 22:04:39 IDJOB=2655928 IDBENCH=1961 IDSOLVER=1161 FILE ID=node001/2655928-1276373079 PBS_JOBID= 11173223 Free space on /tmp= 62392 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_10.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655928-1276373079/watcher-2655928-1276373079 -o /tmp/evaluation-result-2655928-1276373079/solver-2655928-1276373079 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655928-1276373079.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6549a0bbc5c463b1b909374436b51d65 RANDOM SEED=1659362200 node001.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.202 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.40 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1797248 kB Buffers: 61680 kB Cached: 127356 kB SwapCached: 16736 kB Active: 115588 kB Inactive: 93212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1797248 kB SwapTotal: 4192956 kB SwapFree: 4136460 kB Dirty: 2648 kB Writeback: 16 kB AnonPages: 10912 kB Mapped: 9212 kB Slab: 31304 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181836 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62388 MiB End job on node001 at 2010-06-12 22:32:49