Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1676.88 | 1677.39 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb |
MD5SUM | 19bfc1d5b7087888ef5c79946c60f053 |
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.17 |
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 | 473 |
Total number of constraints | 473 |
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 | 473 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 473 |
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 | 473 |
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 | 473 |
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-2655887-1276366859.opb. 0.00/0.00 c Instance file HOME/instance-2655887-1276366859.opb 0.00/0.00 c File size is 43180 bytes. 0.00/0.00 c Highest Coefficient sum: 251 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: 473 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 473 | 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 | 473 473 4261 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 227 0.00/0.01 o 227 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 | 473 474 4734 | 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 | 473 475 5207 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 473 475 5207 | 5500 101 230 | 0.001 % | 0.00/0.04 c | 252 | 473 475 5207 | 6050 252 234 | 0.000 % | 0.00/0.07 c | 477 | 473 475 5207 | 6655 477 234 | 0.002 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 223 0.00/0.07 o 223 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 477 | 473 476 5680 | 5000 477 234 | 0.002 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 222 0.00/0.07 o 222 0.00/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 179.93 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 479 | 473 477 6153 | 5000 479 234 | 0.002 % | 0.07/0.07 c =============================================================================== 0.07/0.07 c New solution: 220 0.07/0.07 o 220 0.07/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.07/0.07 c =============================================================================== 0.07/0.07 c | 479 | 473 478 6626 | 5000 479 234 | 0.002 % | 0.07/0.09 c | 579 | 473 478 6626 | 5500 579 233 | 0.001 % | 0.09/0.11 c | 730 | 473 478 6626 | 6050 730 232 | 0.001 % | 0.09/0.14 c | 956 | 473 478 6626 | 6655 956 231 | 0.000 % | 0.09/0.19 c | 1293 | 473 478 6626 | 7320 1293 232 | 0.001 % | 0.19/0.26 c | 1799 | 473 478 6626 | 8052 1799 232 | 0.000 % | 0.29/0.38 c | 2558 | 473 478 6626 | 8857 2558 232 | 0.000 % | 0.59/0.60 c | 3698 | 473 478 6626 | 9743 3698 232 | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 218 0.59/0.60 o 218 0.59/0.60 c Elapsed CPU time: 0.59091 s Remaining CPU time: 179.409 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 3698 | 473 479 7099 | 5000 3698 232 | 0.000 % | 0.59/0.62 c | 3798 | 473 479 7099 | 5500 3798 232 | 0.000 % | 0.59/0.64 c | 3948 | 473 479 7099 | 6050 3948 231 | 0.001 % | 0.59/0.67 c | 4174 | 473 479 7099 | 6655 4174 231 | 0.001 % | 0.69/0.73 c | 4511 | 473 479 7099 | 7320 4511 231 | 0.001 % | 0.79/0.81 c | 5017 | 473 479 7099 | 8052 5017 231 | 0.002 % | 0.89/0.92 c | 5776 | 473 479 7099 | 8857 5776 231 | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.00 c New solution: 217 0.89/1.00 o 217 0.89/1.00 c Elapsed CPU time: 0.98085 s Remaining CPU time: 179.019 s 0.89/1.00 c =============================================================================== 0.89/1.00 c | 6319 | 473 480 7572 | 5000 6319 230 | 0.000 % | 1.00/1.02 c | 6420 | 473 480 7572 | 5500 3261 229 | 0.000 % | 1.00/1.04 c | 6570 | 473 480 7572 | 6050 3411 229 | 0.001 % | 1.00/1.07 c | 6796 | 473 480 7572 | 6655 3637 229 | 0.000 % | 1.10/1.12 c | 7134 | 473 480 7572 | 7320 3975 229 | 0.000 % | 1.10/1.19 c | 7641 | 473 480 7572 | 8052 4482 228 | 0.000 % | 1.29/1.34 c | 8401 | 473 480 7572 | 8857 5242 229 | 0.000 % | 1.49/1.50 c | 9540 | 473 480 7572 | 9743 6381 229 | 0.000 % | 1.49/1.58 c =============================================================================== 1.49/1.58 c New solution: 216 1.49/1.58 o 216 1.49/1.58 c Elapsed CPU time: 1.55276 s Remaining CPU time: 178.447 s 1.49/1.58 c =============================================================================== 1.49/1.58 c | 10009 | 473 481 8045 | 5000 6850 229 | 0.000 % | 1.59/1.61 c | 10109 | 473 481 8045 | 5500 3525 229 | 0.001 % | 1.59/1.63 c | 10260 | 473 481 8045 | 6050 3676 228 | 0.000 % | 1.59/1.66 c | 10485 | 473 481 8045 | 6655 3901 228 | 0.001 % | 1.59/1.66 c =============================================================================== 1.59/1.66 c New solution: 214 1.59/1.66 o 214 1.59/1.66 c Elapsed CPU time: 1.63475 s Remaining CPU time: 178.365 s 1.59/1.66 c =============================================================================== 1.59/1.66 c | 10485 | 473 482 8518 | 5000 3901 228 | 0.001 % | 1.59/1.68 c | 10585 | 473 482 8518 | 5500 4001 228 | 0.001 % | 1.69/1.71 c | 10735 | 473 482 8518 | 6050 4151 228 | 0.000 % | 1.69/1.75 c | 10962 | 473 482 8518 | 6655 4378 228 | 0.000 % | 1.79/1.80 c | 11300 | 473 482 8518 | 7320 4716 228 | 0.001 % | 1.79/1.88 c | 11807 | 473 482 8518 | 8052 5223 228 | 0.000 % | 1.99/2.02 c | 12566 | 473 482 8518 | 8857 5982 228 | 0.001 % | 2.20/2.24 c | 13705 | 473 482 8518 | 9743 7121 227 | 0.000 % | 2.59/2.66 c | 15414 | 473 482 8518 | 10717 8830 227 | 0.000 % | 3.20/3.27 c | 17976 | 473 482 8518 | 11789 5826 225 | 0.000 % | 4.09/4.12 c | 21821 | 473 482 8518 | 12968 9671 225 | 0.000 % | 5.29/5.37 c | 27587 | 473 482 8518 | 14265 8745 224 | 0.000 % | 7.89/7.93 c | 36237 | 473 482 8518 | 15692 10059 228 | 0.000 % | 11.39/11.47 c | 49211 | 473 482 8518 | 17261 14972 225 | 0.000 % | 16.88/16.91 c | 68673 | 473 482 8518 | 18987 16759 222 | 0.000 % | 29.08/29.11 c | 97866 | 473 482 8518 | 20886 16853 228 | 0.000 % | 44.47/44.50 c | 141656 | 473 482 8518 | 22974 18044 223 | 0.000 % | 65.88/65.90 c | 207341 | 473 482 8518 | 25272 21410 221 | 0.000 % | 103.46/103.55 c | 305867 | 473 482 8518 | 27799 16863 225 | 0.000 % | 160.73/160.87 c | 453656 | 473 482 8518 | 30579 27065 225 | 0.000 % | 181.93/182.05 c There are 0 assigned variables. 0 in cost function. 182.93/183.07 c core #1 182.93/183.07 c core #2 182.93/183.07 c core #3 182.93/183.07 c core #4 182.93/183.07 c core #5 182.93/183.07 c core #6 182.93/183.07 c core #7 182.93/183.07 c core #8 182.93/183.07 c core #9 182.93/183.07 c core #10 182.93/183.07 c core #11 182.93/183.07 c core #12 182.93/183.07 c core #13 182.93/183.07 c core #14 182.93/183.07 c core #15 182.93/183.07 c core #16 182.93/183.07 c core #17 182.93/183.07 c core #18 182.93/183.07 c core #19 182.93/183.07 c core #20 182.93/183.07 c core #21 182.93/183.07 c core #22 182.93/183.07 c core #23 182.93/183.07 c core #24 182.93/183.07 c core #25 182.93/183.07 c core #26 182.93/183.07 c core #27 182.93/183.07 c core #28 182.93/183.07 c core #29 182.93/183.07 c core #30 182.93/183.07 c core #31 182.93/183.07 c core #32 182.93/183.07 c core #33 182.93/183.07 c core #34 182.93/183.07 c core #35 182.93/183.07 c core #36 182.93/183.07 c core #37 182.93/183.07 c core #38 182.93/183.07 c core #39 182.93/183.07 c core #40 182.93/183.07 c core #41 182.93/183.07 c core #42 182.93/183.07 c core #43 182.93/183.07 c core #44 182.93/183.07 c core #45 182.93/183.07 c core #46 182.93/183.07 c core #47 182.93/183.07 c core #48 182.93/183.07 c core #49 182.93/183.07 c core #50 182.93/183.07 c core #51 182.93/183.07 c core #52 182.93/183.07 c core #53 182.93/183.07 c core #54 182.93/183.07 c core #55 182.93/183.07 c core #56 182.93/183.07 c core #57 182.93/183.07 c core #58 182.93/183.07 c core #59 182.93/183.07 c core #60 182.93/183.07 c core #61 182.93/183.07 c core #62 182.93/183.07 c core #63 182.93/183.07 c core #64 182.93/183.07 c core #65 182.93/183.07 c core #66 182.93/183.07 c core #67 182.93/183.07 c core #68 182.93/183.07 c core #69 182.93/183.07 c core #70 182.93/183.07 c core #71 182.93/183.07 c core #72 182.93/183.07 c core #73 182.93/183.07 c core #74 182.93/183.07 c core #75 182.93/183.07 c core #76 182.93/183.07 c core #77 182.93/183.07 c core #78 182.93/183.07 c ============================[ Search Statistics ]============================== 182.93/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.07 c =============================================================================== 182.93/183.07 c | 0 | 888 1034 10355 | 5000 0 nan | 0.000 % | 182.93/183.08 c =============================================================================== 182.93/183.09 c core #79 182.93/183.09 c ============================[ Search Statistics ]============================== 182.93/183.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.09 c =============================================================================== 182.93/183.09 c | 0 | 908 1035 10392 | 5000 0 nan | 0.000 % | 182.93/183.09 c =============================================================================== 183.03/183.10 c core #80 183.03/183.10 c ============================[ Search Statistics ]============================== 183.03/183.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.10 c =============================================================================== 183.03/183.10 c | 0 | 926 1036 10426 | 5000 0 nan | 0.000 % | 183.03/183.11 c =============================================================================== 183.03/183.12 c core #81 183.03/183.12 c ============================[ Search Statistics ]============================== 183.03/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.12 c =============================================================================== 183.03/183.12 c | 0 | 938 1037 10448 | 5000 0 nan | 0.000 % | 183.03/183.12 c =============================================================================== 183.03/183.13 c core #82 183.03/183.13 c ============================[ Search Statistics ]============================== 183.03/183.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.13 c =============================================================================== 183.03/183.13 c | 0 | 955 1038 10481 | 5000 0 nan | 0.000 % | 183.03/183.14 c =============================================================================== 183.03/183.15 c core #83 183.03/183.15 c ============================[ Search Statistics ]============================== 183.03/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.15 c =============================================================================== 183.03/183.15 c | 0 | 967 1039 10504 | 5000 0 nan | 0.000 % | 183.03/183.15 c =============================================================================== 183.03/183.16 c core #84 183.03/183.16 c ============================[ Search Statistics ]============================== 183.03/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.16 c =============================================================================== 183.03/183.16 c | 0 | 988 1040 10545 | 5000 0 nan | 0.000 % | 183.03/183.17 c =============================================================================== 183.03/183.18 c core #85 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 | 1000 1041 10568 | 5000 0 nan | 0.000 % | 183.03/183.19 c =============================================================================== 183.03/183.20 c core #86 183.03/183.20 c ============================[ Search Statistics ]============================== 183.03/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.20 c =============================================================================== 183.03/183.20 c | 0 | 1011 1042 10588 | 5000 0 nan | 0.000 % | 183.13/183.20 c =============================================================================== 183.13/183.21 c core #87 183.13/183.21 c ============================[ Search Statistics ]============================== 183.13/183.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.21 c =============================================================================== 183.13/183.21 c | 0 | 1029 1043 10623 | 5000 0 nan | 0.000 % | 183.13/183.22 c =============================================================================== 183.13/183.23 c core #88 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 | 1055 1044 10673 | 5000 0 nan | 0.000 % | 183.13/183.23 c =============================================================================== 183.13/183.24 c core #89 183.13/183.24 c ============================[ Search Statistics ]============================== 183.13/183.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.24 c =============================================================================== 183.13/183.24 c | 0 | 1067 1045 10697 | 5000 0 nan | 0.000 % | 183.13/183.25 c =============================================================================== 183.13/183.26 c core #90 183.13/183.26 c ============================[ Search Statistics ]============================== 183.13/183.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.26 c =============================================================================== 183.13/183.26 c | 0 | 1106 1046 10774 | 5000 0 nan | 0.000 % | 183.13/183.27 c =============================================================================== 183.13/183.28 c core #91 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 | 1122 1047 10805 | 5000 0 nan | 0.000 % | 183.13/183.28 c =============================================================================== 183.13/183.29 c core #92 183.13/183.29 c ============================[ Search Statistics ]============================== 183.13/183.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.29 c =============================================================================== 183.13/183.29 c | 0 | 1143 1048 10845 | 5000 0 nan | 0.000 % | 183.23/183.30 c =============================================================================== 183.23/183.31 c core #93 183.23/183.31 c ============================[ Search Statistics ]============================== 183.23/183.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.31 c =============================================================================== 183.23/183.31 c | 0 | 1160 1049 10878 | 5000 0 nan | 0.000 % | 183.23/183.32 c =============================================================================== 183.23/183.33 c core #94 183.23/183.33 c ============================[ Search Statistics ]============================== 183.23/183.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.33 c =============================================================================== 183.23/183.33 c | 0 | 1176 1050 10908 | 5000 0 nan | 0.000 % | 183.23/183.34 c =============================================================================== 183.23/183.35 c core #95 183.23/183.35 c ============================[ Search Statistics ]============================== 183.23/183.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.35 c =============================================================================== 183.23/183.35 c | 0 | 1211 1051 10976 | 5000 0 nan | 0.000 % | 183.23/183.35 c =============================================================================== 183.23/183.36 c core #96 183.23/183.36 c ============================[ Search Statistics ]============================== 183.23/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.36 c =============================================================================== 183.23/183.36 c | 0 | 1236 1052 11026 | 5000 0 nan | 0.000 % | 183.23/183.37 c =============================================================================== 183.23/183.38 c core #97 183.23/183.38 c ============================[ Search Statistics ]============================== 183.23/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.38 c =============================================================================== 183.23/183.38 c | 0 | 1268 1053 11076 | 5000 0 nan | 0.000 % | 183.23/183.39 c | 100 | 1266 1053 11076 | 5500 100 9 | 1.861 % | 183.23/183.39 c =============================================================================== 183.34/183.41 c core #98 183.34/183.41 c ============================[ Search Statistics ]============================== 183.34/183.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.41 c =============================================================================== 183.34/183.41 c | 0 | 1311 1054 11162 | 5000 0 nan | 0.000 % | 183.34/183.42 c =============================================================================== 183.34/183.43 c core #99 183.34/183.43 c ============================[ Search Statistics ]============================== 183.34/183.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.43 c =============================================================================== 183.34/183.43 c | 0 | 1364 1055 11268 | 5000 0 nan | 0.000 % | 183.34/183.44 c | 100 | 1364 1055 11268 | 5500 100 13 | 1.732 % | 183.34/183.45 c | 251 | 1363 1055 11268 | 6050 251 13 | 1.804 % | 183.34/183.47 c | 476 | 1347 1055 11268 | 6655 383 12 | 5.628 % | 183.34/183.47 c =============================================================================== 183.34/183.48 c core #100 183.34/183.48 c ============================[ Search Statistics ]============================== 183.34/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.48 c =============================================================================== 183.34/183.48 c | 0 | 1486 1056 11503 | 5000 0 nan | 0.000 % | 183.44/183.50 c | 103 | 1486 1056 11503 | 5500 103 12 | 1.534 % | 183.44/183.51 c | 254 | 1475 1056 11503 | 6050 206 13 | 1.601 % | 183.44/183.53 c =============================================================================== 183.44/183.54 c core #101 183.44/183.54 c ============================[ Search Statistics ]============================== 183.44/183.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.54 c =============================================================================== 183.44/183.54 c | 0 | 1594 1057 11716 | 5000 0 nan | 0.000 % | 183.44/183.56 c | 100 | 1594 1057 11716 | 5500 100 10 | 0.623 % | 183.44/183.57 c | 250 | 1594 1057 11716 | 6050 250 12 | 0.623 % | 183.44/183.60 c | 475 | 1594 1057 11716 | 6655 475 13 | 0.623 % | 183.54/183.64 c | 812 | 1588 1057 11716 | 7320 800 14 | 1.122 % | 183.54/183.66 c =============================================================================== 183.54/183.68 c core #102 183.54/183.68 c ============================[ Search Statistics ]============================== 183.54/183.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.68 c =============================================================================== 183.54/183.68 c | 0 | 1747 1058 12020 | 5000 0 nan | 0.000 % | 183.54/183.70 c | 100 | 1747 1058 12020 | 5500 100 12 | 0.456 % | 183.64/183.72 c | 253 | 1747 1058 12020 | 6050 253 23 | 0.456 % | 183.64/183.75 c | 478 | 1747 1058 12020 | 6655 478 29 | 0.456 % | 183.64/183.79 c | 817 | 1747 1058 12020 | 7320 817 31 | 0.456 % | 183.74/183.87 c | 1323 | 1747 1058 12020 | 8052 1323 37 | 0.456 % | 183.84/183.98 c | 2084 | 1747 1058 12020 | 8857 2084 37 | 0.456 % | 184.03/184.16 c | 3225 | 1747 1058 12020 | 9743 3225 39 | 0.456 % | 184.43/184.50 c | 4933 | 1747 1058 12020 | 10717 4933 44 | 0.456 % | 185.03/185.14 c | 7496 | 1747 1058 12020 | 11789 7496 49 | 0.456 % | 185.24/185.34 c =============================================================================== 185.34/185.46 c core #103 185.34/185.46 c ============================[ Search Statistics ]============================== 185.34/185.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.46 c =============================================================================== 185.34/185.46 c | 0 | 1970 1059 12463 | 5000 0 nan | 0.000 % | 185.34/185.49 c | 100 | 1970 1059 12463 | 5500 100 21 | 0.253 % | 185.44/185.51 c | 250 | 1970 1059 12463 | 6050 250 25 | 0.253 % | 185.44/185.53 c | 479 | 1970 1059 12463 | 6655 479 33 | 0.253 % | 185.44/185.57 c | 820 | 1970 1059 12463 | 7320 820 35 | 0.253 % | 185.53/185.63 c | 1326 | 1970 1059 12463 | 8052 1326 40 | 0.253 % | 185.64/185.75 c | 2085 | 1970 1059 12463 | 8857 2085 45 | 0.253 % | 185.84/185.96 c | 3224 | 1970 1059 12463 | 9743 3224 48 | 0.253 % | 186.13/186.28 c | 4932 | 1970 1059 12463 | 10717 4932 62 | 0.253 % | 186.74/186.85 c | 7496 | 1970 1059 12463 | 11789 7496 67 | 0.253 % | 187.63/187.79 c | 11346 | 1968 1059 12463 | 12968 11345 66 | 0.354 % | 189.33/189.49 c | 17112 | 1968 1059 12463 | 14265 10480 86 | 0.354 % | 193.03/193.10 c | 25765 | 1968 1059 12463 | 15692 11950 93 | 0.354 % | 198.93/199.06 c | 38739 | 1968 1059 12463 | 17261 8951 103 | 0.354 % | 210.23/210.38 c | 58203 | 1968 1059 12463 | 18987 10985 126 | 0.354 % | 222.52/222.63 c =============================================================================== 224.33/224.42 c core #104 224.33/224.42 c ============================[ Search Statistics ]============================== 224.33/224.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 224.33/224.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 224.33/224.42 c =============================================================================== 224.33/224.42 c | 0 | 2133 1060 12788 | 5000 0 nan | 0.000 % | 224.33/224.46 c | 100 | 2133 1060 12788 | 5500 100 24 | 0.187 % | 224.33/224.48 c | 250 | 2133 1060 12788 | 6050 250 27 | 0.187 % | 224.43/224.51 c | 475 | 2133 1060 12788 | 6655 475 34 | 0.187 % | 224.43/224.55 c | 813 | 2133 1060 12788 | 7320 813 36 | 0.187 % | 224.52/224.62 c | 1319 | 2133 1060 12788 | 8052 1319 36 | 0.187 % | 224.62/224.72 c | 2079 | 2133 1060 12788 | 8857 2079 40 | 0.187 % | 224.73/224.89 c | 3219 | 2133 1060 12788 | 9743 3219 48 | 0.187 % | 225.02/225.19 c | 4928 | 2133 1060 12788 | 10717 4928 51 | 0.187 % | 225.62/225.79 c | 7490 | 2133 1060 12788 | 11789 7490 64 | 0.187 % | 226.52/226.63 c | 11336 | 2133 1060 12788 | 12968 11336 62 | 0.187 % | 228.02/228.15 c | 17102 | 2133 1060 12788 | 14265 10519 82 | 0.187 % | 230.72/230.86 c | 25752 | 2133 1060 12788 | 15692 11893 100 | 0.187 % | 235.71/235.87 c | 38727 | 2133 1060 12788 | 17261 9090 86 | 0.187 % | 243.91/244.05 c | 58188 | 2133 1060 12788 | 18987 11136 95 | 0.187 % | 256.91/257.05 c | 87381 | 2133 1060 12788 | 20886 11421 110 | 0.187 % | 282.80/282.99 c | 131180 | 2133 1060 12788 | 22974 12908 108 | 0.187 % | 324.40/324.57 c | 196864 | 2133 1060 12788 | 25272 20585 117 | 0.187 % | 392.87/393.07 c | 295395 | 2133 1060 12788 | 27799 16406 128 | 0.187 % | 526.04/526.29 c | 443184 | 2132 1060 12788 | 30579 17608 146 | 0.234 % | 751.57/751.84 c =============================================================================== 762.66/762.94 c core #105 762.66/762.94 c ============================[ Search Statistics ]============================== 762.66/762.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 762.66/762.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 762.66/762.94 c =============================================================================== 762.66/762.94 c | 0 | 2361 1061 13244 | 5000 0 nan | 0.000 % | 762.76/763.06 c | 100 | 2361 1061 13244 | 5500 100 50 | 0.169 % | 762.76/763.08 c | 251 | 2361 1061 13244 | 6050 251 58 | 0.169 % | 762.86/763.12 c | 478 | 2361 1061 13244 | 6655 478 53 | 0.169 % | 762.86/763.16 c | 815 | 2361 1061 13244 | 7320 815 48 | 0.169 % | 762.97/763.27 c | 1324 | 2361 1061 13244 | 8052 1324 61 | 0.169 % | 763.07/763.39 c | 2084 | 2361 1061 13244 | 8857 2084 68 | 0.169 % | 763.36/763.68 c | 3223 | 2361 1061 13244 | 9743 3223 75 | 0.169 % | 763.76/764.01 c | 4932 | 2361 1061 13244 | 10717 4932 72 | 0.169 % | 764.27/764.52 c | 7496 | 2361 1061 13244 | 11789 7496 76 | 0.169 % | 765.27/765.55 c | 11341 | 2361 1061 13244 | 12968 11341 82 | 0.169 % | 767.67/767.93 c | 17107 | 2361 1061 13244 | 14265 10596 88 | 0.169 % | 770.96/771.26 c | 25757 | 2361 1061 13244 | 15692 12028 87 | 0.169 % | 776.27/776.57 c | 38732 | 2361 1061 13244 | 17261 9235 109 | 0.169 % | 784.46/784.75 c | 58194 | 2361 1061 13244 | 18987 11411 107 | 0.169 % | 802.96/803.24 c | 87391 | 2361 1061 13244 | 20886 11440 153 | 0.169 % | 831.64/831.94 c | 131182 | 2361 1061 13244 | 22974 12666 113 | 0.169 % | 865.44/865.78 c | 196867 | 2361 1061 13244 | 25272 19884 121 | 0.169 % | 933.02/933.36 c | 295393 | 2361 1061 13244 | 27799 14984 161 | 0.169 % | 1062.38/1062.76 c | 443183 | 2361 1061 13244 | 30579 14452 207 | 0.169 % | 1239.23/1239.70 c | 664868 | 2361 1061 13244 | 33637 21684 213 | 0.169 % | 1592.51/1593.03 c | 997398 | 2360 1061 13244 | 37001 29562 223 | 0.211 % |
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-2655887-1276366859/watcher-2655887-1276366859 -o /tmp/evaluation-result-2655887-1276366859/solver-2655887-1276366859 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655887-1276366859.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.92 0.98 0.99 2/106 11846 /proc/meminfo: memFree=1468548/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=2748 CPUtime=0 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 305 0 0 0 0 0 0 0 22 0 1 0 12289783 2813952 223 1992294400 134512640 135751879 4294639760 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 687 224 144 303 0 371 0 [startup+0.07697 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11846 /proc/meminfo: memFree=1468548/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=3216 CPUtime=0.07 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 469 0 0 0 7 0 0 0 22 0 1 0 12289783 3293184 376 1992294400 134512640 135751879 4294639760 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 804 376 147 303 0 499 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3216 [startup+0.100972 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11846 /proc/meminfo: memFree=1468548/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=3344 CPUtime=0.09 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 512 0 0 0 9 0 0 0 22 0 1 0 12289783 3424256 419 1992294400 134512640 135751879 4294639760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 836 419 147 303 0 531 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3344 [startup+0.301025 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11846 /proc/meminfo: memFree=1468548/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=4880 CPUtime=0.29 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 875 0 0 0 29 0 0 0 22 0 1 0 12289783 4997120 782 1992294400 134512640 135751879 4294639760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 1220 782 147 303 0 915 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4880 [startup+0.701029 s] /proc/loadavg: 0.92 0.98 0.99 2/106 11846 /proc/meminfo: memFree=1468548/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=7192 CPUtime=0.69 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 1464 0 0 0 68 1 0 0 24 0 1 0 12289783 7364608 1371 1992294400 134512640 135751879 4294639760 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 1798 1371 147 303 0 1493 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7192 [startup+1.5011 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11847 /proc/meminfo: memFree=1461472/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=12444 CPUtime=1.49 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 2772 0 0 0 146 3 0 0 25 0 1 0 12289783 12742656 2679 1992294400 134512640 135751879 4294639760 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 3111 2679 148 303 0 2806 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12444 [startup+3.10126 s] /proc/loadavg: 0.92 0.98 0.99 2/107 11847 /proc/meminfo: memFree=1454528/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=20420 CPUtime=3.09 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 4761 0 0 0 303 6 0 0 25 0 1 0 12289783 20910080 4668 1992294400 134512640 135751879 4294639760 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 5105 4668 148 303 0 4800 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20420 [startup+6.30156 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11847 /proc/meminfo: memFree=1439772/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=34384 CPUtime=6.29 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 8260 0 0 0 618 11 0 0 25 0 1 0 12289783 35209216 8167 1992294400 134512640 135751879 4294639760 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 8596 8167 148 303 0 8291 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34384 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 11847 /proc/meminfo: memFree=1415964/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=56484 CPUtime=12.69 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 13780 0 0 0 1248 21 0 0 25 0 1 0 12289783 57839616 13687 1992294400 134512640 135751879 4294639760 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 14121 13687 148 303 0 13816 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 56484 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/107 11847 /proc/meminfo: memFree=1378392/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=92612 CPUtime=25.49 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 22785 0 0 0 2514 35 0 0 25 0 1 0 12289783 94834688 22692 1992294400 134512640 135751879 4294639760 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 23153 22692 148 303 0 22848 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92612 [startup+51.1018 s] /proc/loadavg: 1.04 1.00 1.00 2/107 11849 /proc/meminfo: memFree=1307712/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=163940 CPUtime=51.07 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 40622 0 0 0 5044 63 0 0 25 0 1 0 12289783 167874560 40529 1992294400 134512640 135751879 4294639760 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 40985 40529 148 303 0 40680 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 163940 [startup+102.309 s] /proc/loadavg: 1.02 1.00 1.00 2/107 11849 /proc/meminfo: memFree=1169204/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=301044 CPUtime=102.27 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 74875 0 0 0 10108 119 0 0 25 0 1 0 12289783 308269056 74782 1992294400 134512640 135751879 4294639760 18446744073709551615 135420558 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 75261 74782 148 303 0 74956 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 301044 [startup+162.301 s] /proc/loadavg: 1.12 1.03 1.01 2/107 11851 /proc/meminfo: memFree=1016312/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=454648 CPUtime=162.24 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 113248 0 0 0 16040 184 0 0 25 0 1 0 12289783 465559552 113155 1992294400 134512640 135751879 4294639760 18446744073709551615 134602965 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 113662 113155 148 303 0 113357 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 454648 [startup+222.302 s] /proc/loadavg: 1.16 1.05 1.01 2/107 11853 /proc/meminfo: memFree=973780/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=495616 CPUtime=222.22 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 123593 0 0 0 21987 235 0 0 25 0 1 0 12289783 507510784 123469 1992294400 134512640 135751879 4294639760 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 123904 123469 151 303 0 123599 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 495616 [startup+282.302 s] /proc/loadavg: 1.06 1.04 1.00 2/107 11855 /proc/meminfo: memFree=920708/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=549120 CPUtime=282.2 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 136937 0 0 0 27931 289 0 0 25 0 1 0 12289783 562298880 136813 1992294400 134512640 135751879 4294639760 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 137280 136813 151 303 0 136975 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 549120 [startup+342.3 s] /proc/loadavg: 1.02 1.03 1.00 2/107 11857 /proc/meminfo: memFree=867140/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=602188 CPUtime=342.19 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 150181 0 0 0 33890 329 0 0 25 0 1 0 12289783 616640512 150057 1992294400 134512640 135751879 4294639760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 150547 150057 151 303 0 150242 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 602188 [startup+402.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 11857 /proc/meminfo: memFree=813696/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=656152 CPUtime=402.17 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 163622 0 0 0 39844 373 0 0 25 0 1 0 12289783 671899648 163498 1992294400 134512640 135751879 4294639760 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 164038 163498 151 303 0 163733 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 656152 [startup+462.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 11859 /proc/meminfo: memFree=769056/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=700260 CPUtime=462.15 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 174615 0 0 0 45808 407 0 0 25 0 1 0 12289783 717066240 174491 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 175065 174491 151 303 0 174760 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 700260 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11861 /proc/meminfo: memFree=722804/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=747004 CPUtime=522.13 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 186257 0 0 0 51773 440 0 0 25 0 1 0 12289783 764932096 186133 1992294400 134512640 135751879 4294639760 18446744073709551615 134616746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 186751 186133 151 303 0 186446 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 747004 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11863 /proc/meminfo: memFree=684612/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=785432 CPUtime=582.12 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 195819 0 0 0 57742 470 0 0 25 0 1 0 12289783 804282368 195695 1992294400 134512640 135751879 4294639760 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 196358 195695 151 303 0 196053 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 785432 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11865 /proc/meminfo: memFree=639600/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=829684 CPUtime=642.11 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 206835 0 0 0 63709 502 0 0 25 0 1 0 12289783 849596416 206711 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 207421 206711 151 303 0 207116 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 829684 [startup+702.301 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11867 /proc/meminfo: memFree=545236/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=924300 CPUtime=762.07 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 230429 0 0 0 75644 563 0 0 25 0 1 0 12289783 946483200 230305 1992294400 134512640 135751879 4294639760 18446744073709551615 135009524 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 231075 230305 151 303 0 230770 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 924300 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11869 /proc/meminfo: memFree=519072/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=949316 CPUtime=822.05 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 237025 0 0 0 81592 613 0 0 25 0 1 0 12289783 972099584 236901 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 237329 236901 151 303 0 237024 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 949316 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11871 /proc/meminfo: memFree=459056/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1008788 CPUtime=882.03 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 251881 0 0 0 87537 666 0 0 25 0 1 0 12289783 1032998912 251757 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 252197 251757 151 303 0 251892 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1008788 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11873 /proc/meminfo: memFree=402760/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1065472 CPUtime=942.01 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 266032 0 0 0 93488 713 0 0 25 0 1 0 12289783 1091043328 265908 1992294400 134512640 135751879 4294639760 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 266368 265908 151 303 0 266063 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1065472 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11873 /proc/meminfo: memFree=338776/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1129132 CPUtime=1001.99 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 281872 0 0 0 99442 757 0 0 25 0 1 0 12289783 1156231168 281748 1992294400 134512640 135751879 4294639760 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 282283 281748 151 303 0 281978 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1129132 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11875 /proc/meminfo: memFree=276032/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1192632 CPUtime=1061.98 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 297743 0 0 0 105401 797 0 0 25 0 1 0 12289783 1221255168 297619 1992294400 134512640 135751879 4294639760 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 298158 297619 151 303 0 297853 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1192632 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11877 /proc/meminfo: memFree=205352/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1262548 CPUtime=1121.96 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 315188 0 0 0 111357 839 0 0 25 0 1 0 12289783 1292849152 315064 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 315637 315064 151 303 0 315332 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1262548 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11879 /proc/meminfo: memFree=121280/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1347376 CPUtime=1181.94 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 336370 0 0 0 117307 887 0 0 25 0 1 0 12289783 1379713024 336246 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 336844 336246 151 303 0 336539 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1347376 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11881 /proc/meminfo: memFree=31504/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1436856 CPUtime=1241.92 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 358663 0 0 0 123255 937 0 0 25 0 1 0 12289783 1471340544 358539 1992294400 134512640 135751879 4294639760 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 359214 358539 151 303 0 358909 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1436856 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11881 /proc/meminfo: memFree=10464/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1502240 CPUtime=1301.9 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 375012 0 0 0 129214 976 0 0 25 0 1 0 12289783 1538293760 374888 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 375560 374888 151 303 0 375255 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1502240 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11883 /proc/meminfo: memFree=9960/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1563376 CPUtime=1361.88 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 390265 0 0 0 135176 1012 0 0 25 0 1 0 12289783 1600897024 390141 1992294400 134512640 135751879 4294639760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 390844 390141 151 303 0 390539 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1563376 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11885 /proc/meminfo: memFree=10536/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1625172 CPUtime=1421.87 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 405684 0 0 0 141139 1048 0 0 25 0 1 0 12289783 1664176128 405560 1992294400 134512640 135751879 4294639760 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 406293 405560 151 303 0 405988 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1625172 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11887 /proc/meminfo: memFree=9952/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1679272 CPUtime=1481.85 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 419200 0 0 0 147108 1077 0 0 25 0 1 0 12289783 1719574528 419076 1992294400 134512640 135751879 4294639760 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 419818 419076 151 303 0 419513 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1679272 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11889 /proc/meminfo: memFree=10380/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1736020 CPUtime=1541.82 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 433386 0 0 0 153070 1112 0 0 25 0 1 0 12289783 1777684480 433262 1992294400 134512640 135751879 4294639760 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 434005 433262 151 303 0 433700 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 1736020 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11889 /proc/meminfo: memFree=10140/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1785232 CPUtime=1601.81 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 445680 0 0 0 159035 1146 0 0 25 0 1 0 12289783 1828077568 445556 1992294400 134512640 135751879 4294639760 18446744073709551615 134611240 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 446308 445556 151 303 0 446003 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1785232 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11891 /proc/meminfo: memFree=9880/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1832176 CPUtime=1661.78 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 457385 0 0 0 164996 1182 0 0 25 0 1 0 12289783 1876148224 457261 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 458044 457261 151 303 0 457739 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 1832176 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1677.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11891 /proc/meminfo: memFree=10588/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=1843296 CPUtime=1676.68 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4202496 460178 0 0 0 166479 1189 0 0 25 0 1 0 12289783 1887535104 460054 1992294400 134512640 135751879 4294639760 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11846/statm: 460824 460054 151 303 0 460519 0 Current children cumulated CPU time (s) 1676.68 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1677.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11891 /proc/meminfo: memFree=10588/2059040 swapFree=4192956/4192956 [pid=11846] ppid=11844 vsize=0 CPUtime=1676.79 /proc/11846/stat : 11846 (wbo1.4b) R 11844 11846 11733 0 -1 4203524 460178 0 0 0 166479 1200 0 0 25 0 1 0 12289783 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/11846/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1676.79 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1677.39 CPU time (s): 1676.88 CPU user time (s): 1664.8 CPU system time (s): 12.0772 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1664.8 system time used= 12.0772 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460178 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 5895 runsolver used 2.73358 second user time and 7.96879 second system time The end
Begin job on node004 at 2010-06-12 20:20:59 IDJOB=2655887 IDBENCH=1953 IDSOLVER=1161 FILE ID=node004/2655887-1276366859 PBS_JOBID= 11173224 Free space on /tmp= 62536 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655887-1276366859/watcher-2655887-1276366859 -o /tmp/evaluation-result-2655887-1276366859/solver-2655887-1276366859 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655887-1276366859.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 19bfc1d5b7087888ef5c79946c60f053 RANDOM SEED=16456731 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1469076 kB Buffers: 137100 kB Cached: 322432 kB SwapCached: 0 kB Active: 183752 kB Inactive: 335148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1469076 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2764 kB Writeback: 0 kB AnonPages: 59440 kB Mapped: 15432 kB Slab: 49052 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182612 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 node004 at 2010-06-12 20:48:58