Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1679.17 | 1679.68 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb |
MD5SUM | 7db364152f2aec17f16cb8adef9dc3c7 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 1789.65 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 184 |
Optimality of the best value was proved | NO |
Number of variables | 470 |
Total number of constraints | 469 |
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 | 469 |
Minimum length of a constraint | 3 |
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-2655962-1276370880.opb. 0.00/0.00 c Instance file HOME/instance-2655962-1276370880.opb 0.00/0.00 c File size is 42910 bytes. 0.00/0.00 c Highest Coefficient sum: 256 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: 469 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 470 469 4245 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 226 0.00/0.01 o 226 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 470 4715 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 470 470 4715 | 5500 101 238 | 0.000 % | 0.00/0.04 c | 251 | 470 470 4715 | 6050 251 238 | 0.001 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 219 0.00/0.04 o 219 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 251 | 470 471 5185 | 5000 251 238 | 0.001 % | 0.00/0.05 c | 352 | 470 471 5185 | 5500 352 234 | 0.001 % | 0.00/0.07 c | 503 | 470 471 5185 | 6050 503 235 | 0.001 % | 0.09/0.10 c | 728 | 470 471 5185 | 6655 728 233 | 0.001 % | 0.09/0.14 c | 1065 | 470 471 5185 | 7320 1065 231 | 0.001 % | 0.19/0.21 c | 1572 | 470 471 5185 | 8052 1572 231 | 0.001 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 218 0.19/0.21 o 218 0.19/0.21 c Elapsed CPU time: 0.209968 s Remaining CPU time: 179.79 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1572 | 470 472 5655 | 5000 1572 231 | 0.001 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 217 0.19/0.22 o 217 0.19/0.22 c Elapsed CPU time: 0.210967 s Remaining CPU time: 179.789 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1572 | 470 473 6125 | 5000 1572 231 | 0.001 % | 0.19/0.23 c | 1672 | 470 473 6125 | 5500 1672 231 | 0.000 % | 0.19/0.25 c | 1822 | 470 473 6125 | 6050 1822 231 | 0.000 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 216 0.19/0.26 o 216 0.19/0.26 c Elapsed CPU time: 0.251961 s Remaining CPU time: 179.748 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 1883 | 470 474 6595 | 5000 1883 231 | 0.000 % | 0.19/0.27 c | 1983 | 470 474 6595 | 5500 1983 231 | 0.000 % | 0.19/0.29 c | 2134 | 470 474 6595 | 6050 2134 230 | 0.000 % | 0.29/0.32 c | 2360 | 470 474 6595 | 6655 2360 230 | 0.000 % | 0.29/0.37 c | 2698 | 470 474 6595 | 7320 2698 230 | 0.001 % | 0.39/0.40 c =============================================================================== 0.39/0.40 c New solution: 215 0.39/0.40 o 215 0.39/0.40 c Elapsed CPU time: 0.39394 s Remaining CPU time: 179.606 s 0.39/0.40 c =============================================================================== 0.39/0.40 c | 2931 | 470 475 7065 | 5000 2931 229 | 0.001 % | 0.39/0.42 c | 3031 | 470 475 7065 | 5500 3031 229 | 0.001 % | 0.39/0.44 c | 3182 | 470 475 7065 | 6050 3182 229 | 0.002 % | 0.39/0.47 c | 3407 | 470 475 7065 | 6655 3407 229 | 0.001 % | 0.49/0.52 c | 3745 | 470 475 7065 | 7320 3745 229 | 0.000 % | 0.59/0.60 c | 4251 | 470 475 7065 | 8052 4251 229 | 0.000 % | 0.69/0.71 c | 5010 | 470 475 7065 | 8857 5010 229 | 0.000 % | 0.89/0.93 c | 6149 | 470 475 7065 | 9743 6149 229 | 0.000 % | 1.19/1.26 c | 7857 | 470 475 7065 | 10717 7857 228 | 0.000 % | 1.69/1.76 c | 10419 | 470 475 7065 | 11789 10419 228 | 0.000 % | 2.69/2.74 c | 14263 | 470 475 7065 | 12968 8153 230 | 0.000 % | 4.09/4.12 c | 20029 | 470 475 7065 | 14265 7223 231 | 0.000 % | 7.09/7.17 c | 28678 | 470 475 7065 | 15692 8528 232 | 0.000 % | 10.69/10.76 c | 41652 | 470 475 7065 | 17261 13445 233 | 0.000 % | 17.09/17.18 c | 61113 | 470 475 7065 | 18987 15219 229 | 0.001 % | 28.67/28.74 c | 90305 | 470 475 7065 | 20886 15288 227 | 0.000 % | 46.67/46.75 c | 134095 | 470 475 7065 | 22974 16464 225 | 0.000 % | 73.06/73.17 c | 199779 | 470 475 7065 | 25272 20249 228 | 0.000 % | 113.66/113.70 c | 298305 | 470 475 7065 | 27799 16389 232 | 0.000 % | 181.63/181.70 c There are 0 assigned variables. 0 in cost function. 182.54/182.65 c core #1 182.54/182.65 c core #2 182.54/182.65 c core #3 182.54/182.65 c core #4 182.54/182.65 c core #5 182.54/182.65 c core #6 182.54/182.65 c core #7 182.54/182.65 c core #8 182.54/182.65 c core #9 182.54/182.65 c core #10 182.54/182.65 c core #11 182.54/182.65 c core #12 182.54/182.65 c core #13 182.54/182.65 c core #14 182.54/182.65 c core #15 182.54/182.65 c core #16 182.54/182.65 c core #17 182.54/182.65 c core #18 182.54/182.65 c core #19 182.54/182.65 c core #20 182.54/182.65 c core #21 182.54/182.65 c core #22 182.54/182.65 c core #23 182.54/182.65 c core #24 182.54/182.65 c core #25 182.54/182.65 c core #26 182.54/182.65 c core #27 182.54/182.65 c core #28 182.54/182.65 c core #29 182.54/182.65 c core #30 182.54/182.65 c core #31 182.54/182.65 c core #32 182.54/182.65 c core #33 182.54/182.65 c core #34 182.54/182.65 c core #35 182.54/182.65 c core #36 182.54/182.65 c core #37 182.54/182.65 c core #38 182.54/182.65 c core #39 182.54/182.65 c core #40 182.54/182.65 c core #41 182.54/182.65 c core #42 182.54/182.65 c core #43 182.54/182.65 c core #44 182.54/182.65 c core #45 182.54/182.65 c core #46 182.54/182.65 c core #47 182.54/182.65 c core #48 182.54/182.65 c core #49 182.54/182.65 c core #50 182.54/182.65 c core #51 182.54/182.65 c core #52 182.54/182.65 c core #53 182.54/182.65 c core #54 182.54/182.65 c core #55 182.54/182.65 c core #56 182.54/182.65 c core #57 182.54/182.65 c core #58 182.54/182.65 c core #59 182.54/182.65 c core #60 182.54/182.65 c core #61 182.54/182.65 c core #62 182.54/182.65 c core #63 182.54/182.65 c core #64 182.54/182.65 c core #65 182.54/182.65 c core #66 182.54/182.65 c core #67 182.54/182.65 c core #68 182.54/182.65 c core #69 182.54/182.65 c core #70 182.54/182.65 c core #71 182.54/182.65 c core #72 182.54/182.65 c core #73 182.54/182.65 c core #74 182.54/182.65 c core #75 182.54/182.65 c core #76 182.54/182.65 c core #77 182.54/182.65 c core #78 182.54/182.65 c core #79 182.54/182.65 c core #80 182.54/182.65 c core #81 182.54/182.65 c core #82 182.54/182.65 c core #83 182.54/182.65 c core #84 182.54/182.65 c ============================[ Search Statistics ]============================== 182.54/182.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.65 c =============================================================================== 182.54/182.65 c | 0 | 930 1030 8963 | 5000 0 nan | 0.000 % | 182.54/182.65 c =============================================================================== 182.54/182.66 c core #85 182.54/182.66 c ============================[ Search Statistics ]============================== 182.54/182.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.66 c =============================================================================== 182.54/182.66 c | 0 | 944 1031 8989 | 5000 0 nan | 0.000 % | 182.54/182.67 c =============================================================================== 182.54/182.68 c core #86 182.54/182.68 c ============================[ Search Statistics ]============================== 182.54/182.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.68 c =============================================================================== 182.54/182.68 c | 0 | 955 1032 9011 | 5000 0 nan | 0.000 % | 182.54/182.68 c =============================================================================== 182.54/182.69 c core #87 182.54/182.69 c ============================[ Search Statistics ]============================== 182.54/182.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.69 c =============================================================================== 182.54/182.69 c | 0 | 979 1033 9056 | 5000 0 nan | 0.000 % | 182.63/182.70 c =============================================================================== 182.63/182.71 c core #88 182.63/182.71 c ============================[ Search Statistics ]============================== 182.63/182.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.71 c =============================================================================== 182.63/182.71 c | 0 | 998 1034 9090 | 5000 0 nan | 0.000 % | 182.63/182.71 c =============================================================================== 182.63/182.72 c core #89 182.63/182.72 c ============================[ Search Statistics ]============================== 182.63/182.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.72 c =============================================================================== 182.63/182.72 c | 0 | 1036 1035 9164 | 5000 0 nan | 0.000 % | 182.63/182.73 c =============================================================================== 182.63/182.74 c core #90 182.63/182.74 c ============================[ Search Statistics ]============================== 182.63/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.74 c =============================================================================== 182.63/182.74 c | 0 | 1044 1036 9180 | 5000 0 nan | 0.000 % | 182.63/182.74 c =============================================================================== 182.63/182.75 c core #91 182.63/182.75 c ============================[ Search Statistics ]============================== 182.63/182.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.75 c =============================================================================== 182.63/182.75 c | 0 | 1055 1037 9201 | 5000 0 nan | 0.000 % | 182.63/182.76 c =============================================================================== 182.63/182.76 c core #92 182.63/182.76 c ============================[ Search Statistics ]============================== 182.63/182.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.76 c =============================================================================== 182.63/182.76 c | 0 | 1071 1038 9232 | 5000 0 nan | 0.000 % | 182.63/182.77 c =============================================================================== 182.63/182.78 c core #93 182.63/182.78 c ============================[ Search Statistics ]============================== 182.63/182.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.78 c =============================================================================== 182.63/182.78 c | 0 | 1104 1039 9296 | 5000 0 nan | 0.000 % | 182.63/182.79 c =============================================================================== 182.63/182.79 c core #94 182.63/182.79 c ============================[ Search Statistics ]============================== 182.63/182.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.79 c =============================================================================== 182.63/182.79 c | 0 | 1120 1040 9326 | 5000 0 nan | 0.000 % | 182.74/182.80 c =============================================================================== 182.74/182.81 c core #95 182.74/182.81 c ============================[ Search Statistics ]============================== 182.74/182.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.81 c =============================================================================== 182.74/182.81 c | 0 | 1130 1041 9344 | 5000 0 nan | 0.000 % | 182.74/182.81 c =============================================================================== 182.74/182.82 c core #96 182.74/182.82 c ============================[ Search Statistics ]============================== 182.74/182.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.82 c =============================================================================== 182.74/182.82 c | 0 | 1149 1042 9382 | 5000 0 nan | 0.000 % | 182.74/182.83 c =============================================================================== 182.74/182.84 c core #97 182.74/182.84 c ============================[ Search Statistics ]============================== 182.74/182.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.84 c =============================================================================== 182.74/182.84 c | 0 | 1176 1043 9436 | 5000 0 nan | 0.000 % | 182.74/182.85 c =============================================================================== 182.74/182.85 c core #98 182.74/182.85 c ============================[ Search Statistics ]============================== 182.74/182.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.85 c =============================================================================== 182.74/182.85 c | 0 | 1237 1044 9555 | 5000 0 nan | 0.000 % | 182.74/182.86 c =============================================================================== 182.74/182.87 c core #99 182.74/182.87 c ============================[ Search Statistics ]============================== 182.74/182.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.87 c =============================================================================== 182.74/182.87 c | 0 | 1262 1045 9604 | 5000 0 nan | 0.000 % | 182.74/182.87 c =============================================================================== 182.74/182.88 c core #100 182.74/182.88 c ============================[ Search Statistics ]============================== 182.74/182.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.88 c =============================================================================== 182.74/182.88 c | 0 | 1271 1046 9622 | 5000 0 nan | 0.000 % | 182.74/182.90 c =============================================================================== 182.84/182.91 c core #101 182.84/182.91 c ============================[ Search Statistics ]============================== 182.84/182.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.91 c =============================================================================== 182.84/182.91 c | 0 | 1341 1047 9761 | 5000 0 nan | 0.000 % | 182.84/182.91 c =============================================================================== 182.84/182.92 c core #102 182.84/182.92 c ============================[ Search Statistics ]============================== 182.84/182.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.92 c =============================================================================== 182.84/182.92 c | 0 | 1353 1048 9785 | 5000 0 nan | 0.000 % | 182.84/182.93 c =============================================================================== 182.84/182.94 c core #103 182.84/182.94 c ============================[ Search Statistics ]============================== 182.84/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.94 c =============================================================================== 182.84/182.94 c | 0 | 1381 1049 9841 | 5000 0 nan | 0.000 % | 182.84/182.96 c | 101 | 1371 1049 9841 | 5500 101 5 | 2.437 % | 182.84/182.96 c =============================================================================== 182.84/182.97 c core #104 182.84/182.97 c ============================[ Search Statistics ]============================== 182.84/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.97 c =============================================================================== 182.84/182.97 c | 0 | 1413 1050 9905 | 5000 0 nan | 0.000 % | 182.84/182.98 c | 100 | 1413 1050 9905 | 5500 100 17 | 0.981 % | 182.84/182.98 c =============================================================================== 182.84/182.99 c core #105 182.84/182.99 c ============================[ Search Statistics ]============================== 182.84/182.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.99 c =============================================================================== 182.84/182.99 c | 0 | 1467 1051 10013 | 5000 0 nan | 0.000 % | 182.94/183.01 c =============================================================================== 182.94/183.02 c core #106 182.94/183.02 c ============================[ Search Statistics ]============================== 182.94/183.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.02 c =============================================================================== 182.94/183.02 c | 0 | 1541 1052 10160 | 5000 0 nan | 0.000 % | 182.94/183.03 c | 100 | 1530 1052 10160 | 5500 100 10 | 1.737 % | 182.94/183.05 c | 250 | 1525 1052 10160 | 6050 246 10 | 2.446 % | 182.94/183.06 c | 476 | 1513 1052 10160 | 6655 448 12 | 3.732 % | 182.94/183.08 c | 815 | 1495 1052 10160 | 7320 758 14 | 3.797 % | 182.94/183.09 c =============================================================================== 183.03/183.11 c core #107 183.03/183.11 c ============================[ Search Statistics ]============================== 183.03/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.11 c =============================================================================== 183.03/183.11 c | 0 | 1668 1053 10413 | 5000 0 nan | 0.000 % | 183.03/183.12 c | 100 | 1668 1053 10413 | 5500 100 8 | 0.714 % | 183.03/183.14 c | 252 | 1668 1053 10413 | 6050 252 11 | 0.714 % | 183.03/183.16 c | 478 | 1668 1053 10413 | 6655 478 12 | 0.714 % | 183.03/183.19 c | 816 | 1668 1053 10413 | 7320 816 14 | 0.714 % | 183.14/183.23 c | 1325 | 1668 1053 10413 | 8052 1325 15 | 0.714 % | 183.23/183.30 c | 2086 | 1667 1053 10413 | 8857 1205 13 | 0.774 % | 183.23/183.34 c =============================================================================== 183.23/183.37 c core #108 183.23/183.37 c ============================[ Search Statistics ]============================== 183.23/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.37 c =============================================================================== 183.23/183.37 c | 0 | 1792 1054 10657 | 5000 0 nan | 0.000 % | 183.23/183.39 c | 101 | 1792 1054 10657 | 5500 101 22 | 0.445 % | 183.34/183.41 c | 251 | 1792 1054 10657 | 6050 251 30 | 0.445 % | 183.34/183.43 c | 478 | 1792 1054 10657 | 6655 478 26 | 0.444 % | 183.34/183.46 c | 815 | 1792 1054 10657 | 7320 815 24 | 0.444 % | 183.43/183.51 c | 1321 | 1792 1054 10657 | 8052 1321 25 | 0.444 % | 183.43/183.59 c | 2080 | 1792 1054 10657 | 8857 2080 28 | 0.444 % | 183.64/183.71 c | 3219 | 1792 1054 10657 | 9743 3219 29 | 0.444 % | 183.84/183.95 c | 4930 | 1792 1054 10657 | 10717 4930 35 | 0.445 % | 184.23/184.39 c | 7497 | 1792 1054 10657 | 11789 7497 38 | 0.444 % | 185.14/185.20 c | 11341 | 1792 1054 10657 | 12968 11341 39 | 0.444 % | 186.64/186.75 c | 17110 | 1792 1054 10657 | 14265 10570 40 | 0.445 % | 188.13/188.23 c =============================================================================== 188.53/188.64 c core #109 188.53/188.64 c ============================[ Search Statistics ]============================== 188.53/188.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.53/188.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.53/188.64 c =============================================================================== 188.53/188.64 c | 0 | 1953 1055 10978 | 5000 0 nan | 0.000 % | 188.53/188.67 c | 101 | 1953 1055 10978 | 5500 101 32 | 0.357 % | 188.53/188.68 c | 251 | 1953 1055 10978 | 6050 251 31 | 0.357 % | 188.64/188.71 c | 476 | 1953 1055 10978 | 6655 476 34 | 0.357 % | 188.64/188.74 c | 815 | 1953 1055 10978 | 7320 815 37 | 0.357 % | 188.64/188.78 c | 1321 | 1953 1055 10978 | 8052 1321 37 | 0.357 % | 188.73/188.87 c | 2081 | 1953 1055 10978 | 8857 2081 42 | 0.357 % | 188.93/189.01 c | 3220 | 1953 1055 10978 | 9743 3220 45 | 0.357 % | 189.14/189.27 c | 4928 | 1953 1055 10978 | 10717 4928 49 | 0.357 % | 189.53/189.62 c | 7490 | 1953 1055 10978 | 11789 7490 52 | 0.357 % | 190.24/190.36 c | 11342 | 1949 1055 10978 | 12968 11313 56 | 0.561 % | 191.44/191.58 c | 17108 | 1945 1055 10978 | 14265 10493 63 | 0.765 % | 193.64/193.78 c | 25760 | 1942 1055 10978 | 15692 11906 66 | 0.918 % | 195.93/196.03 c =============================================================================== 196.43/196.54 c core #110 196.43/196.54 c ============================[ Search Statistics ]============================== 196.43/196.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.43/196.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.43/196.54 c =============================================================================== 196.43/196.54 c | 0 | 2091 1056 11254 | 5000 0 nan | 0.000 % | 196.43/196.57 c | 100 | 2091 1056 11254 | 5500 100 13 | 0.334 % | 196.43/196.57 c =============================================================================== 196.43/196.59 c core #111 196.43/196.59 c ============================[ Search Statistics ]============================== 196.43/196.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.43/196.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.43/196.59 c =============================================================================== 196.43/196.59 c | 0 | 2108 1057 11288 | 5000 0 nan | 0.000 % | 196.53/196.60 c | 102 | 2107 1057 11288 | 5500 102 28 | 0.426 % | 196.53/196.62 c | 253 | 2106 1057 11288 | 6050 253 20 | 0.426 % | 196.53/196.63 c | 478 | 2105 1057 11288 | 6655 477 16 | 0.473 % | 196.53/196.66 c | 815 | 2103 1057 11288 | 7320 811 19 | 0.567 % | 196.64/196.70 c | 1321 | 2103 1057 11288 | 8052 1317 20 | 0.567 % | 196.64/196.76 c | 2084 | 2103 1057 11288 | 8857 2079 21 | 0.567 % | 196.74/196.90 c | 3226 | 2103 1057 11288 | 9743 3221 23 | 0.567 % | 196.93/197.08 c | 4937 | 2103 1057 11288 | 10717 4932 24 | 0.567 % | 197.23/197.38 c =============================================================================== 197.34/197.46 c core #112 197.34/197.46 c ============================[ Search Statistics ]============================== 197.34/197.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.34/197.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.34/197.46 c =============================================================================== 197.34/197.46 c | 0 | 2250 1058 11571 | 5000 0 nan | 0.000 % | 197.34/197.47 c | 100 | 2250 1058 11571 | 5500 100 18 | 0.266 % | 197.34/197.48 c | 251 | 2250 1058 11571 | 6050 251 12 | 0.266 % | 197.44/197.51 c | 481 | 2249 1058 11571 | 6655 412 19 | 0.310 % | 197.44/197.53 c | 819 | 2249 1058 11571 | 7320 750 19 | 0.310 % | 197.44/197.57 c | 1325 | 2249 1058 11571 | 8052 1256 20 | 0.310 % | 197.53/197.66 c | 2091 | 2249 1058 11571 | 8857 2022 25 | 0.310 % | 197.64/197.77 c | 3230 | 2249 1058 11571 | 9743 3161 27 | 0.310 % | 197.84/197.95 c | 4942 | 2249 1058 11571 | 10717 4873 28 | 0.310 % | 198.14/198.27 c | 7506 | 2248 1058 11571 | 11789 7433 30 | 0.355 % | 198.84/198.96 c | 11350 | 2248 1058 11571 | 12968 11277 38 | 0.355 % | 200.04/200.19 c | 17117 | 2248 1058 11571 | 14265 10485 54 | 0.355 % | 202.13/202.23 c | 25770 | 2248 1058 11571 | 15692 11966 53 | 0.355 % | 206.74/206.81 c | 38744 | 2248 1058 11571 | 17261 9098 53 | 0.355 % | 208.83/208.94 c =============================================================================== 209.83/209.99 c core #113 209.83/209.99 c ============================[ Search Statistics ]============================== 209.83/209.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 209.83/209.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 209.83/209.99 c =============================================================================== 209.83/209.99 c | 0 | 2432 1059 11933 | 5000 0 nan | 0.000 % | 209.93/210.02 c | 104 | 2432 1059 11933 | 5500 104 32 | 0.164 % | 209.93/210.03 c | 254 | 2432 1059 11933 | 6050 254 21 | 0.164 % | 209.93/210.06 c | 481 | 2432 1059 11933 | 6655 481 26 | 0.164 % | 209.93/210.09 c | 823 | 2432 1059 11933 | 7320 823 31 | 0.164 % | 210.04/210.15 c | 1329 | 2432 1059 11933 | 8052 1329 38 | 0.164 % | 210.13/210.23 c | 2088 | 2432 1059 11933 | 8857 2088 39 | 0.164 % | 210.23/210.34 c | 3229 | 2432 1059 11933 | 9743 3229 43 | 0.164 % | 210.43/210.55 c | 4938 | 2432 1059 11933 | 10717 4938 46 | 0.164 % | 210.93/211.07 c | 7500 | 2432 1059 11933 | 11789 7500 66 | 0.164 % | 211.73/211.87 c | 11344 | 2432 1059 11933 | 12968 11344 76 | 0.164 % | 212.93/213.09 c | 17110 | 2432 1059 11933 | 14265 10455 102 | 0.164 % | 215.23/215.30 c | 25759 | 2432 1059 11933 | 15692 11887 100 | 0.164 % | 219.02/219.15 c | 38735 | 2432 1059 11933 | 17261 8975 107 | 0.164 % | 225.03/225.17 c | 58197 | 2432 1059 11933 | 18987 10970 94 | 0.164 % | 234.93/235.03 c | 87389 | 2432 1059 11933 | 20886 11444 101 | 0.164 % | 257.33/257.49 c | 131178 | 2432 1059 11933 | 22974 12690 119 | 0.164 % | 295.61/295.72 c | 196862 | 2432 1059 11933 | 25272 20020 191 | 0.164 % | 363.69/363.85 c | 295389 | 2432 1059 11933 | 27799 16119 98 | 0.164 % | 438.17/438.35 c | 443182 | 2432 1059 11933 | 30579 19233 107 | 0.164 % | 614.73/614.94 c | 664865 | 2432 1059 11933 | 33637 17887 171 | 0.164 % | 906.92/907.28 c | 997390 | 2432 1059 11933 | 37001 21016 146 | 0.164 % | 1348.78/1349.28 c | 1496179 | 2432 1059 11933 | 40701 34878 175 | 0.164 % |
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-2655962-1276370880/watcher-2655962-1276370880 -o /tmp/evaluation-result-2655962-1276370880/solver-2655962-1276370880 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655962-1276370880.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: 0.99 1.00 1.00 3/107 13134 /proc/meminfo: memFree=1846576/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=2712 CPUtime=0 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 10743766 2777088 247 1992294400 134512640 135751879 4290205392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 678 247 143 303 0 373 0 [startup+0.098279 s] /proc/loadavg: 0.99 1.00 1.00 3/107 13134 /proc/meminfo: memFree=1846576/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=3352 CPUtime=0.09 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 512 0 0 0 9 0 0 0 20 0 1 0 10743766 3432448 419 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 838 419 147 303 0 533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3352 [startup+0.10128 s] /proc/loadavg: 0.99 1.00 1.00 3/107 13134 /proc/meminfo: memFree=1846576/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=3480 CPUtime=0.09 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 518 0 0 0 9 0 0 0 20 0 1 0 10743766 3563520 425 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 870 425 147 303 0 565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3480 [startup+0.300297 s] /proc/loadavg: 0.99 1.00 1.00 3/107 13134 /proc/meminfo: memFree=1846576/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=4888 CPUtime=0.29 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 897 0 0 0 28 1 0 0 20 0 1 0 10743766 5005312 804 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 1222 804 147 303 0 917 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4888 [startup+0.700333 s] /proc/loadavg: 0.99 1.00 1.00 3/107 13134 /proc/meminfo: memFree=1846576/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=7712 CPUtime=0.69 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 1599 0 0 0 68 1 0 0 21 0 1 0 10743766 7897088 1506 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 1928 1506 147 303 0 1623 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7712 [startup+1.5004 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13135 /proc/meminfo: memFree=1839252/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=12108 CPUtime=1.49 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 2676 0 0 0 145 4 0 0 22 0 1 0 10743766 12398592 2583 1992294400 134512640 135751879 4290205392 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 3027 2583 147 303 0 2722 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12108 [startup+3.10155 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13135 /proc/meminfo: memFree=1833424/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=19224 CPUtime=3.09 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 4460 0 0 0 304 5 0 0 25 0 1 0 10743766 19685376 4367 1992294400 134512640 135751879 4290205392 18446744073709551615 134606328 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 4806 4367 148 303 0 4501 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19224 [startup+6.30183 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13135 /proc/meminfo: memFree=1820404/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=30000 CPUtime=6.29 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 7145 0 0 0 621 8 0 0 25 0 1 0 10743766 30720000 7052 1992294400 134512640 135751879 4290205392 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 7500 7052 148 303 0 7195 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30000 [startup+12.7014 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13135 /proc/meminfo: memFree=1797836/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=52508 CPUtime=12.69 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 12783 0 0 0 1254 15 0 0 25 0 1 0 10743766 53768192 12690 1992294400 134512640 135751879 4290205392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 13127 12690 148 303 0 12822 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52508 [startup+25.5005 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13135 /proc/meminfo: memFree=1761008/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=87920 CPUtime=25.48 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 21620 0 0 0 2521 27 0 0 25 0 1 0 10743766 90030080 21527 1992294400 134512640 135751879 4290205392 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 21980 21527 148 303 0 21675 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 87920 [startup+51.1008 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13137 /proc/meminfo: memFree=1697644/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=151512 CPUtime=51.08 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 37506 0 0 0 5055 53 0 0 25 0 1 0 10743766 155148288 37413 1992294400 134512640 135751879 4290205392 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 37878 37413 148 303 0 37573 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 151512 [startup+102.308 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13139 /proc/meminfo: memFree=1573148/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=274836 CPUtime=102.27 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 68328 0 0 0 10126 101 0 0 25 0 1 0 10743766 281432064 68235 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 68709 68235 148 303 0 68404 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 274836 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13139 /proc/meminfo: memFree=1452496/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=396072 CPUtime=162.24 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 98595 0 0 0 16078 146 0 0 25 0 1 0 10743766 405577728 98502 1992294400 134512640 135751879 4290205392 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 99018 98502 148 303 0 98713 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 396072 [startup+222.301 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13141 /proc/meminfo: memFree=1394464/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=452868 CPUtime=222.22 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 112919 0 0 0 21993 229 0 0 25 0 1 0 10743766 463736832 112798 1992294400 134512640 135751879 4290205392 18446744073709551615 134608957 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 113217 112798 151 303 0 112912 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 452868 [startup+282.3 s] /proc/loadavg: 0.99 1.00 1.00 2/108 13143 /proc/meminfo: memFree=1314856/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=533100 CPUtime=282.21 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 132964 0 0 0 27925 296 0 0 25 0 1 0 10743766 545894400 132843 1992294400 134512640 135751879 4290205392 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 133275 132843 151 303 0 132970 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 533100 [startup+342.301 s] /proc/loadavg: 1.04 1.01 1.00 2/108 13145 /proc/meminfo: memFree=1255336/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=591852 CPUtime=342.2 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 147612 0 0 0 33884 336 0 0 25 0 1 0 10743766 606056448 147491 1992294400 134512640 135751879 4290205392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 147963 147491 151 303 0 147658 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 591852 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/108 13145 /proc/meminfo: memFree=1174364/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=673748 CPUtime=402.18 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 168053 0 0 0 39809 409 0 0 25 0 1 0 10743766 689917952 167932 1992294400 134512640 135751879 4290205392 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 168437 167932 151 303 0 168132 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 673748 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13147 /proc/meminfo: memFree=1114348/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=732932 CPUtime=462.17 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 182822 0 0 0 45760 457 0 0 25 0 1 0 10743766 750522368 182701 1992294400 134512640 135751879 4290205392 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 183233 182701 151 303 0 182928 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 732932 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13149 /proc/meminfo: memFree=1050612/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=797652 CPUtime=522.15 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 198962 0 0 0 51713 502 0 0 25 0 1 0 10743766 816795648 198841 1992294400 134512640 135751879 4290205392 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 199413 198841 151 303 0 199108 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 797652 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13151 /proc/meminfo: memFree=989852/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=857076 CPUtime=582.12 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 213837 0 0 0 57670 542 0 0 25 0 1 0 10743766 877645824 213716 1992294400 134512640 135751879 4290205392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 214269 213716 151 303 0 213964 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 857076 [startup+642.301 s] /proc/loadavg: 1.06 1.01 1.00 2/108 13156 /proc/meminfo: memFree=935168/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=910984 CPUtime=642.12 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 227268 0 0 0 63635 577 0 0 25 0 1 0 10743766 932847616 227147 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 227746 227147 151 303 0 227441 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 910984 [startup+702.301 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13158 /proc/meminfo: memFree=833984/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1012040 CPUtime=762.08 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 252520 0 0 0 75557 651 0 0 25 0 1 0 10743766 1036328960 252399 1992294400 134512640 135751879 4290205392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 253010 252399 151 303 0 252705 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1012040 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13160 /proc/meminfo: memFree=785872/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1061292 CPUtime=822.05 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 264799 0 0 0 81514 691 0 0 25 0 1 0 10743766 1086763008 264678 1992294400 134512640 135751879 4290205392 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 265323 264678 151 303 0 265018 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1061292 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13162 /proc/meminfo: memFree=740736/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1105616 CPUtime=882.04 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 275882 0 0 0 87477 727 0 0 25 0 1 0 10743766 1132150784 275761 1992294400 134512640 135751879 4290205392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 276404 275761 151 303 0 276099 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 1105616 [startup+942.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13164 /proc/meminfo: memFree=681092/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1166216 CPUtime=942.01 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 291002 0 0 0 93430 771 0 0 25 0 1 0 10743766 1194205184 290881 1992294400 134512640 135751879 4290205392 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 291554 290881 151 303 0 291249 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1166216 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13164 /proc/meminfo: memFree=623184/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1223224 CPUtime=1001.99 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 305249 0 0 0 99382 817 0 0 25 0 1 0 10743766 1252581376 305128 1992294400 134512640 135751879 4290205392 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 305806 305128 151 303 0 305501 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1223224 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13166 /proc/meminfo: memFree=572840/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1274028 CPUtime=1061.97 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 317929 0 0 0 105345 852 0 0 25 0 1 0 10743766 1304604672 317808 1992294400 134512640 135751879 4290205392 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 318507 317808 151 303 0 318202 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1274028 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13168 /proc/meminfo: memFree=516792/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1329664 CPUtime=1121.96 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 331835 0 0 0 111308 888 0 0 25 0 1 0 10743766 1361575936 331714 1992294400 134512640 135751879 4290205392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 332416 331714 151 303 0 332111 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1329664 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13170 /proc/meminfo: memFree=469424/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1377228 CPUtime=1181.93 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 343703 0 0 0 117269 924 0 0 25 0 1 0 10743766 1410281472 343582 1992294400 134512640 135751879 4290205392 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 344307 343582 151 303 0 344002 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1377228 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13172 /proc/meminfo: memFree=421808/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1424092 CPUtime=1241.91 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 355427 0 0 0 123233 958 0 0 25 0 1 0 10743766 1458270208 355306 1992294400 134512640 135751879 4290205392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 356023 355306 151 303 0 355718 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1424092 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13172 /proc/meminfo: memFree=363280/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1482136 CPUtime=1301.9 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 369918 0 0 0 129188 1002 0 0 25 0 1 0 10743766 1517707264 369797 1992294400 134512640 135751879 4290205392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 370534 369797 151 303 0 370229 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1482136 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13174 /proc/meminfo: memFree=309712/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1536436 CPUtime=1361.88 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 383465 0 0 0 135150 1038 0 0 25 0 1 0 10743766 1573310464 383344 1992294400 134512640 135751879 4290205392 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 384109 383344 151 303 0 383804 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1536436 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13176 /proc/meminfo: memFree=246844/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1598728 CPUtime=1421.86 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 399035 0 0 0 141098 1088 0 0 25 0 1 0 10743766 1637097472 398914 1992294400 134512640 135751879 4290205392 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 399682 398914 151 303 0 399377 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 1598728 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13178 /proc/meminfo: memFree=179760/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1666696 CPUtime=1481.85 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 416017 0 0 0 147049 1136 0 0 25 0 1 0 10743766 1706696704 415896 1992294400 134512640 135751879 4290205392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 416674 415896 151 303 0 416369 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1666696 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 13180 /proc/meminfo: memFree=123960/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1721736 CPUtime=1541.82 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 429739 0 0 0 153005 1177 0 0 25 0 1 0 10743766 1763057664 429618 1992294400 134512640 135751879 4290205392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 430434 429618 151 303 0 430129 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1721736 [startup+1602.3 s] /proc/loadavg: 1.08 1.02 1.01 2/108 13180 /proc/meminfo: memFree=73492/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1772396 CPUtime=1601.8 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 442373 0 0 0 158968 1212 0 0 25 0 1 0 10743766 1814933504 442252 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 443099 442252 151 303 0 442794 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 1772396 [startup+1662.3 s] /proc/loadavg: 1.10 1.03 1.00 3/108 13182 /proc/meminfo: memFree=16948/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1828436 CPUtime=1661.79 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 456367 0 0 0 164928 1251 0 0 25 0 1 0 10743766 1872318464 456246 1992294400 134512640 135751879 4290205392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 457109 456246 151 303 0 456804 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 1828436 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1679.5 s] /proc/loadavg: 1.07 1.03 1.00 2/108 13184 /proc/meminfo: memFree=10044/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=1843260 CPUtime=1679 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4202496 460095 0 0 0 166637 1263 0 0 25 0 1 0 10743766 1887498240 459974 1992294400 134512640 135751879 4290205392 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13134/statm: 460815 459974 151 303 0 460510 0 Current children cumulated CPU time (s) 1679 Current children cumulated vsize (KiB) 1843260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1679.61 s] /proc/loadavg: 1.07 1.03 1.00 2/109 13185 /proc/meminfo: memFree=1076580/2059040 swapFree=4140124/4192956 [pid=13134] ppid=13132 vsize=0 CPUtime=1679.1 /proc/13134/stat : 13134 (wbo1.4b) R 13132 13134 12769 0 -1 4203524 460095 0 0 0 166637 1273 0 0 25 0 1 0 10743766 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13134/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1679.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1679.68 CPU time (s): 1679.17 CPU user time (s): 1666.37 CPU system time (s): 12.8001 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 1843260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1666.37 system time used= 12.8001 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460095 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= 7 involuntary context switches= 2773 runsolver used 2.94655 second user time and 7.77282 second system time The end
Begin job on node025 at 2010-06-12 21:28:00 IDJOB=2655962 IDBENCH=1958 IDSOLVER=1161 FILE ID=node025/2655962-1276370880 PBS_JOBID= 11173220 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_18.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655962-1276370880/watcher-2655962-1276370880 -o /tmp/evaluation-result-2655962-1276370880/solver-2655962-1276370880 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655962-1276370880.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7db364152f2aec17f16cb8adef9dc3c7 RANDOM SEED=768138452 node025.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1846980 kB Buffers: 28568 kB Cached: 92828 kB SwapCached: 6772 kB Active: 74064 kB Inactive: 60792 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846980 kB SwapTotal: 4192956 kB SwapFree: 4140124 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 10940 kB Mapped: 12836 kB Slab: 55308 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181536 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= 62536 MiB End job on node025 at 2010-06-12 21:56:02