Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1775.6 | 1776.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb |
MD5SUM | 7903a80129c7e51df900bcb9ac0a6f39 |
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.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 185 |
Optimality of the best value was proved | NO |
Number of variables | 475 |
Total number of constraints | 475 |
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 | 475 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 475 |
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 | 475 |
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 | 475 |
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-2655876-1276366303.opb. 0.00/0.00 c Instance file HOME/instance-2655876-1276366303.opb 0.00/0.00 c File size is 43295 bytes. 0.00/0.01 c Highest Coefficient sum: 263 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 475 | 0.00/0.01 c | Number Clauses: 0 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 475 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 475 475 4273 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 223 0.00/0.01 o 223 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 | 475 476 4748 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 475 476 4748 | 5500 100 232 | 0.000 % | 0.02/0.04 c | 250 | 475 476 4748 | 6050 250 235 | 0.000 % | 0.02/0.07 c | 475 | 475 476 4748 | 6655 475 233 | 0.001 % | 0.09/0.12 c | 812 | 475 476 4748 | 7320 812 233 | 0.001 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 222 0.09/0.15 o 222 0.09/0.15 c Elapsed CPU time: 0.143978 s Remaining CPU time: 179.856 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 989 | 475 477 5223 | 5000 989 232 | 0.001 % | 0.09/0.16 c | 1089 | 475 477 5223 | 5500 1089 232 | 0.001 % | 0.09/0.18 c | 1239 | 475 477 5223 | 6050 1239 232 | 0.001 % | 0.19/0.21 c | 1466 | 475 477 5223 | 6655 1466 233 | 0.001 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 221 0.19/0.21 o 221 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 179.793 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1466 | 475 478 5698 | 5000 1466 233 | 0.001 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 220 0.19/0.21 o 220 0.19/0.21 c Elapsed CPU time: 0.207968 s Remaining CPU time: 179.792 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 1466 | 475 479 6173 | 5000 1466 233 | 0.001 % | 0.19/0.23 c | 1566 | 475 479 6173 | 5500 1566 233 | 0.001 % | 0.19/0.25 c | 1716 | 475 479 6173 | 6050 1716 233 | 0.000 % | 0.19/0.28 c | 1941 | 475 479 6173 | 6655 1941 234 | 0.001 % | 0.28/0.33 c | 2279 | 475 479 6173 | 7320 2279 233 | 0.001 % | 0.28/0.33 c =============================================================================== 0.28/0.33 c New solution: 219 0.28/0.33 o 219 0.28/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 179.672 s 0.28/0.33 c =============================================================================== 0.28/0.33 c | 2334 | 475 480 6648 | 5000 2334 233 | 0.001 % | 0.28/0.35 c | 2434 | 475 480 6648 | 5500 2434 233 | 0.001 % | 0.28/0.37 c | 2585 | 475 480 6648 | 6050 2585 233 | 0.001 % | 0.38/0.41 c | 2810 | 475 480 6648 | 6655 2810 233 | 0.001 % | 0.38/0.46 c | 3147 | 475 480 6648 | 7320 3147 233 | 0.001 % | 0.49/0.54 c | 3655 | 475 480 6648 | 8052 3655 233 | 0.001 % | 0.59/0.66 c | 4414 | 475 480 6648 | 8857 4414 231 | 0.000 % | 0.79/0.83 c | 5554 | 475 480 6648 | 9743 5554 232 | 0.000 % | 1.09/1.14 c | 7263 | 475 480 6648 | 10717 7263 230 | 0.000 % | 1.49/1.59 c | 9826 | 475 480 6648 | 11789 9826 232 | 0.000 % | 1.59/1.61 c =============================================================================== 1.59/1.61 c New solution: 218 1.59/1.61 o 218 1.59/1.61 c Elapsed CPU time: 1.57776 s Remaining CPU time: 178.422 s 1.59/1.61 c =============================================================================== 1.59/1.61 c | 9877 | 475 481 7123 | 5000 9877 231 | 0.000 % | 1.59/1.64 c | 9978 | 475 481 7123 | 5500 5040 231 | 0.001 % | 1.59/1.66 c | 10128 | 475 481 7123 | 6050 5190 231 | 0.002 % | 1.59/1.70 c | 10353 | 475 481 7123 | 6655 5415 231 | 0.001 % | 1.69/1.74 c | 10691 | 475 481 7123 | 7320 5753 231 | 0.001 % | 1.79/1.82 c | 11197 | 475 481 7123 | 8052 6259 231 | 0.001 % | 1.89/1.94 c | 11956 | 475 481 7123 | 8857 7018 231 | 0.000 % | 2.10/2.13 c | 13096 | 475 481 7123 | 9743 8158 231 | 0.000 % | 2.39/2.42 c | 14804 | 475 481 7123 | 10717 9866 230 | 0.000 % | 2.89/2.93 c | 17366 | 475 481 7123 | 11789 6859 232 | 0.000 % | 3.79/3.82 c | 21211 | 475 481 7123 | 12968 10704 231 | 0.000 % | 5.19/5.26 c | 26977 | 475 481 7123 | 14265 9772 232 | 0.000 % | 7.60/7.66 c | 35626 | 475 481 7123 | 15692 11085 230 | 0.000 % | 11.29/11.31 c | 48601 | 475 481 7123 | 17261 15999 231 | 0.000 % | 20.08/20.11 c | 68062 | 475 481 7123 | 18987 8952 237 | 0.000 % | 29.28/29.39 c | 97254 | 475 481 7123 | 20886 18728 228 | 0.000 % | 48.87/48.93 c | 141044 | 475 481 7123 | 22974 19906 234 | 0.000 % | 82.26/82.31 c | 206729 | 475 481 7123 | 25272 11143 231 | 0.000 % | 122.85/122.91 c | 305255 | 475 481 7123 | 27799 21420 233 | 0.000 % | 179.04/179.16 c | 453045 | 475 481 7123 | 30579 16426 229 | 0.000 % | 181.74/181.88 c There are 0 assigned variables. 0 in cost function. 182.84/182.92 c core #1 182.84/182.92 c core #2 182.84/182.92 c core #3 182.84/182.92 c core #4 182.84/182.92 c core #5 182.84/182.92 c core #6 182.84/182.92 c core #7 182.84/182.92 c core #8 182.84/182.92 c core #9 182.84/182.92 c core #10 182.84/182.92 c core #11 182.84/182.92 c core #12 182.84/182.92 c core #13 182.84/182.92 c core #14 182.84/182.92 c core #15 182.84/182.92 c core #16 182.84/182.92 c core #17 182.84/182.92 c core #18 182.84/182.92 c core #19 182.84/182.92 c core #20 182.84/182.92 c core #21 182.84/182.92 c core #22 182.84/182.92 c core #23 182.84/182.92 c core #24 182.84/182.92 c core #25 182.84/182.92 c core #26 182.84/182.92 c core #27 182.84/182.92 c core #28 182.84/182.92 c core #29 182.84/182.92 c core #30 182.84/182.92 c core #31 182.84/182.92 c core #32 182.84/182.92 c core #33 182.84/182.92 c core #34 182.84/182.92 c core #35 182.84/182.92 c core #36 182.84/182.92 c core #37 182.84/182.92 c core #38 182.84/182.92 c core #39 182.84/182.92 c core #40 182.84/182.92 c core #41 182.84/182.92 c core #42 182.84/182.92 c core #43 182.84/182.92 c core #44 182.84/182.92 c core #45 182.84/182.92 c core #46 182.84/182.92 c core #47 182.84/182.92 c core #48 182.84/182.92 c core #49 182.84/182.92 c core #50 182.84/182.92 c core #51 182.84/182.92 c core #52 182.84/182.92 c core #53 182.84/182.92 c core #54 182.84/182.92 c core #55 182.84/182.92 c core #56 182.84/182.92 c core #57 182.84/182.92 c core #58 182.84/182.92 c core #59 182.84/182.92 c core #60 182.84/182.92 c core #61 182.84/182.92 c core #62 182.84/182.92 c core #63 182.84/182.92 c core #64 182.84/182.92 c core #65 182.84/182.92 c core #66 182.84/182.92 c core #67 182.84/182.92 c core #68 182.84/182.92 c core #69 182.84/182.92 c core #70 182.84/182.92 c core #71 182.84/182.92 c core #72 182.84/182.92 c core #73 182.84/182.92 c core #74 182.84/182.92 c core #75 182.84/182.92 c core #76 182.84/182.92 c core #77 182.84/182.92 c core #78 182.84/182.92 c core #79 182.84/182.92 c core #80 182.84/182.92 c core #81 182.84/182.92 c core #82 182.84/182.92 c core #83 182.84/182.92 c core #84 182.84/182.92 c core #85 182.84/182.92 c core #86 182.84/182.92 c core #87 182.84/182.92 c ============================[ Search Statistics ]============================== 182.84/182.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.93 c =============================================================================== 182.84/182.93 c | 0 | 981 1044 9117 | 5000 0 nan | 0.000 % | 182.84/182.93 c =============================================================================== 182.84/182.94 c core #88 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 | 995 1045 9144 | 5000 0 nan | 0.000 % | 182.84/182.94 c =============================================================================== 182.84/182.95 c core #89 182.84/182.95 c ============================[ Search Statistics ]============================== 182.84/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.95 c =============================================================================== 182.84/182.95 c | 0 | 1007 1046 9167 | 5000 0 nan | 0.000 % | 182.84/182.96 c =============================================================================== 182.84/182.96 c core #90 182.84/182.96 c ============================[ Search Statistics ]============================== 182.84/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.96 c =============================================================================== 182.84/182.96 c | 0 | 1015 1047 9183 | 5000 0 nan | 0.000 % | 182.84/182.97 c =============================================================================== 182.84/182.98 c core #91 182.84/182.98 c ============================[ Search Statistics ]============================== 182.84/182.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.98 c =============================================================================== 182.84/182.98 c | 0 | 1027 1048 9207 | 5000 0 nan | 0.000 % | 182.84/182.98 c =============================================================================== 182.84/182.99 c core #92 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 | 1040 1049 9231 | 5000 0 nan | 0.000 % | 182.94/183.00 c =============================================================================== 182.94/183.01 c core #93 182.94/183.01 c ============================[ Search Statistics ]============================== 182.94/183.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.01 c =============================================================================== 182.94/183.01 c | 0 | 1056 1050 9263 | 5000 0 nan | 0.000 % | 182.94/183.01 c =============================================================================== 182.94/183.02 c core #94 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 | 1080 1051 9311 | 5000 0 nan | 0.000 % | 182.94/183.03 c =============================================================================== 182.94/183.04 c core #95 182.94/183.04 c ============================[ Search Statistics ]============================== 182.94/183.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.04 c =============================================================================== 182.94/183.04 c | 0 | 1094 1052 9339 | 5000 0 nan | 0.000 % | 182.94/183.05 c =============================================================================== 182.94/183.06 c core #96 182.94/183.06 c ============================[ Search Statistics ]============================== 182.94/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.06 c =============================================================================== 182.94/183.06 c | 0 | 1123 1053 9397 | 5000 0 nan | 0.000 % | 182.94/183.06 c =============================================================================== 182.94/183.07 c core #97 182.94/183.07 c ============================[ Search Statistics ]============================== 182.94/183.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.07 c =============================================================================== 182.94/183.07 c | 0 | 1142 1054 9433 | 5000 0 nan | 0.000 % | 182.94/183.07 c =============================================================================== 182.94/183.08 c core #98 182.94/183.08 c ============================[ Search Statistics ]============================== 182.94/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.08 c =============================================================================== 182.94/183.08 c | 0 | 1150 1055 9449 | 5000 0 nan | 0.000 % | 182.94/183.09 c =============================================================================== 183.03/183.10 c core #99 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 | 1167 1056 9482 | 5000 0 nan | 0.000 % | 183.03/183.10 c =============================================================================== 183.03/183.11 c core #100 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 | 1183 1057 9513 | 5000 0 nan | 0.000 % | 183.03/183.12 c =============================================================================== 183.03/183.13 c core #101 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 | 1198 1058 9543 | 5000 0 nan | 0.000 % | 183.03/183.13 c =============================================================================== 183.03/183.14 c core #102 183.03/183.14 c ============================[ Search Statistics ]============================== 183.03/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.14 c =============================================================================== 183.03/183.14 c | 0 | 1210 1059 9567 | 5000 0 nan | 0.000 % | 183.03/183.15 c =============================================================================== 183.03/183.16 c core #103 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 | 1244 1060 9635 | 5000 0 nan | 0.000 % | 183.03/183.17 c =============================================================================== 183.03/183.18 c core #104 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 | 1349 1061 9839 | 5000 0 nan | 0.000 % | 183.13/183.20 c | 100 | 1348 1061 9839 | 5500 100 8 | 1.463 % | 183.13/183.20 c =============================================================================== 183.13/183.21 c core #105 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 | 1398 1062 9937 | 5000 0 nan | 0.000 % | 183.13/183.23 c | 103 | 1398 1062 9937 | 5500 103 16 | 1.271 % | 183.13/183.24 c | 253 | 1398 1062 9937 | 6050 253 15 | 1.272 % | 183.13/183.26 c =============================================================================== 183.13/183.27 c core #106 183.13/183.27 c ============================[ Search Statistics ]============================== 183.13/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.27 c =============================================================================== 183.13/183.27 c | 0 | 1535 1063 10206 | 5000 0 nan | 0.000 % | 183.13/183.29 c | 101 | 1525 1063 10206 | 5500 101 10 | 1.809 % | 183.23/183.30 c | 253 | 1520 1063 10206 | 6050 249 10 | 1.809 % | 183.23/183.32 c | 478 | 1516 1063 10206 | 6655 249 9 | 2.067 % | 183.23/183.34 c =============================================================================== 183.23/183.35 c core #107 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 | 1610 1064 10352 | 5000 0 nan | 0.000 % | 183.23/183.37 c | 101 | 1606 1064 10352 | 5500 98 17 | 0.803 % | 183.23/183.38 c | 251 | 1606 1064 10352 | 6050 248 23 | 0.803 % | 183.34/183.41 c | 476 | 1605 1064 10352 | 6655 470 24 | 0.865 % | 183.34/183.45 c | 814 | 1604 1064 10352 | 7320 807 24 | 1.050 % | 183.43/183.51 c | 1321 | 1601 1064 10352 | 8052 805 16 | 1.112 % | 183.43/183.53 c =============================================================================== 183.43/183.55 c core #108 183.43/183.55 c ============================[ Search Statistics ]============================== 183.43/183.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.55 c =============================================================================== 183.43/183.55 c | 0 | 1777 1065 10686 | 5000 0 nan | 0.000 % | 183.43/183.58 c | 102 | 1775 1065 10686 | 5500 102 18 | 0.616 % | 183.54/183.60 c | 253 | 1775 1065 10686 | 6050 247 25 | 0.616 % | 183.54/183.62 c | 483 | 1775 1065 10686 | 6655 477 29 | 0.616 % | 183.54/183.66 c | 822 | 1775 1065 10686 | 7320 816 32 | 0.616 % | 183.65/183.72 c | 1328 | 1775 1065 10686 | 8052 1322 34 | 0.616 % | 183.73/183.83 c | 2089 | 1775 1065 10686 | 8857 2083 37 | 0.616 % | 183.93/184.01 c | 3228 | 1775 1065 10686 | 9743 3222 37 | 0.616 % | 184.03/184.17 c =============================================================================== 184.13/184.23 c core #109 184.13/184.23 c ============================[ Search Statistics ]============================== 184.13/184.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.23 c =============================================================================== 184.13/184.23 c | 0 | 1913 1066 10958 | 5000 0 nan | 0.000 % | 184.13/184.25 c | 102 | 1913 1066 10958 | 5500 102 40 | 0.468 % | 184.13/184.27 c | 252 | 1913 1066 10958 | 6050 252 40 | 0.468 % | 184.23/184.30 c | 477 | 1913 1066 10958 | 6655 477 36 | 0.468 % | 184.23/184.33 c | 815 | 1913 1066 10958 | 7320 815 33 | 0.468 % | 184.34/184.40 c | 1321 | 1913 1066 10958 | 8052 1321 37 | 0.468 % | 184.34/184.49 c | 2080 | 1913 1066 10958 | 8857 2080 42 | 0.468 % | 184.53/184.63 c | 3220 | 1913 1066 10958 | 9743 3220 42 | 0.468 % | 184.84/184.94 c | 4930 | 1913 1066 10958 | 10717 4930 44 | 0.468 % | 185.43/185.52 c | 7493 | 1913 1066 10958 | 11789 7493 49 | 0.468 % | 186.64/186.76 c | 11339 | 1913 1066 10958 | 12968 11339 54 | 0.468 % | 188.73/188.86 c | 17110 | 1913 1066 10958 | 14265 10574 58 | 0.468 % | 191.53/191.68 c | 25759 | 1913 1066 10958 | 15692 11983 50 | 0.468 % | 196.33/196.41 c | 38734 | 1913 1066 10958 | 17261 9052 54 | 0.468 % | 198.33/198.50 c =============================================================================== 199.33/199.44 c core #110 199.33/199.44 c ============================[ Search Statistics ]============================== 199.33/199.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.33/199.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.33/199.44 c =============================================================================== 199.33/199.44 c | 0 | 2112 1067 11354 | 5000 0 nan | 0.000 % | 199.33/199.47 c | 100 | 2112 1067 11354 | 5500 100 18 | 0.330 % | 199.33/199.48 c | 253 | 2111 1067 11354 | 6050 108 13 | 0.378 % | 199.33/199.49 c =============================================================================== 199.43/199.50 c core #111 199.43/199.50 c ============================[ Search Statistics ]============================== 199.43/199.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.43/199.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.43/199.50 c =============================================================================== 199.43/199.50 c | 0 | 2147 1068 11424 | 5000 0 nan | 0.000 % | 199.43/199.51 c | 100 | 2147 1068 11424 | 5500 100 16 | 0.325 % | 199.43/199.52 c | 250 | 2147 1068 11424 | 6050 250 18 | 0.325 % | 199.43/199.53 c | 476 | 2147 1068 11424 | 6655 476 19 | 0.325 % | 199.43/199.55 c | 814 | 2147 1068 11424 | 7320 814 20 | 0.325 % | 199.43/199.59 c | 1320 | 2147 1068 11424 | 8052 1320 20 | 0.325 % | 199.53/199.66 c | 2079 | 2147 1068 11424 | 8857 2079 21 | 0.325 % | 199.63/199.78 c | 3218 | 2147 1068 11424 | 9743 3218 22 | 0.325 % | 199.83/199.97 c =============================================================================== 199.93/200.04 c core #112 199.93/200.04 c ============================[ Search Statistics ]============================== 199.93/200.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.93/200.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.93/200.04 c =============================================================================== 199.93/200.04 c | 0 | 2203 1069 11536 | 5000 0 nan | 0.000 % | 199.93/200.06 c | 104 | 2203 1069 11536 | 5500 104 12 | 0.317 % | 199.93/200.07 c | 261 | 2203 1069 11536 | 6050 261 21 | 0.317 % | 199.93/200.09 c | 487 | 2203 1069 11536 | 6655 487 27 | 0.317 % | 200.03/200.12 c | 825 | 2203 1069 11536 | 7320 825 26 | 0.317 % | 200.03/200.18 c | 1331 | 2203 1069 11536 | 8052 1331 36 | 0.317 % | 200.14/200.27 c | 2090 | 2203 1069 11536 | 8857 2090 41 | 0.317 % | 200.33/200.43 c | 3229 | 2203 1069 11536 | 9743 3229 50 | 0.317 % | 200.62/200.73 c | 4937 | 2203 1069 11536 | 10717 4937 66 | 0.317 % | 201.14/201.28 c | 7499 | 2203 1069 11536 | 11789 7499 71 | 0.317 % | 202.03/202.17 c | 11343 | 2203 1069 11536 | 12968 11343 76 | 0.317 % | 203.73/203.82 c | 17109 | 2203 1069 11536 | 14265 10543 90 | 0.317 % | 207.03/207.13 c | 25759 | 2203 1069 11536 | 15692 12024 98 | 0.317 % | 212.52/212.67 c | 38733 | 2203 1069 11536 | 17261 9093 120 | 0.317 % | 222.83/222.99 c | 58194 | 2203 1069 11536 | 18987 11002 127 | 0.317 % | 238.53/238.69 c | 87394 | 2203 1069 11536 | 20886 11359 108 | 0.317 % | 259.42/259.58 c | 131186 | 2203 1069 11536 | 22974 12666 94 | 0.317 % | 293.40/293.58 c | 196873 | 2203 1069 11536 | 25272 19989 109 | 0.317 % | 355.19/355.31 c | 295399 | 2203 1069 11536 | 27799 15950 145 | 0.317 % | 465.17/465.39 c | 443188 | 2195 1069 11536 | 30579 14626 153 | 0.679 % | 627.92/628.15 c | 664879 | 2195 1069 11536 | 33637 20589 153 | 0.679 % | 654.31/654.55 c =============================================================================== 662.30/662.51 c core #113 662.30/662.51 c ============================[ Search Statistics ]============================== 662.30/662.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 662.30/662.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 662.30/662.51 c =============================================================================== 662.30/662.51 c | 0 | 2449 1070 12026 | 5000 0 nan | 0.000 % | 662.41/662.63 c | 100 | 2449 1070 12026 | 5500 100 58 | 0.204 % | 662.41/662.65 c | 250 | 2449 1070 12026 | 6050 250 47 | 0.204 % | 662.41/662.69 c | 479 | 2449 1070 12026 | 6655 479 51 | 0.204 % | 662.51/662.73 c | 821 | 2449 1070 12026 | 7320 821 44 | 0.204 % | 662.60/662.80 c | 1327 | 2449 1070 12026 | 8052 1327 47 | 0.204 % | 662.71/662.94 c | 2094 | 2449 1070 12026 | 8857 2094 63 | 0.204 % | 662.91/663.11 c | 3235 | 2449 1070 12026 | 9743 3235 64 | 0.204 % | 663.12/663.36 c | 4943 | 2449 1070 12026 | 10717 4943 64 | 0.204 % | 663.60/663.87 c | 7508 | 2449 1070 12026 | 11789 7508 64 | 0.204 % | 664.41/664.60 c | 11352 | 2449 1070 12026 | 12968 11352 65 | 0.204 % | 665.90/666.18 c | 17119 | 2449 1070 12026 | 14265 10497 77 | 0.204 % | 668.01/668.27 c | 25769 | 2449 1070 12026 | 15692 11865 77 | 0.204 % | 672.31/672.51 c | 38743 | 2449 1070 12026 | 17261 8856 126 | 0.204 % | 679.91/680.16 c | 58204 | 2449 1070 12026 | 18987 10836 126 | 0.204 % | 693.00/693.26 c | 87398 | 2449 1070 12026 | 20886 11196 91 | 0.204 % | 717.89/718.16 c | 131190 | 2449 1070 12026 | 22974 12780 134 | 0.204 % | 755.59/755.89 c | 196874 | 2449 1070 12026 | 25272 20452 158 | 0.204 % | 819.36/819.60 c | 295406 | 2449 1070 12026 | 27799 13982 116 | 0.204 % | 941.03/941.30 c | 443198 | 2449 1070 12026 | 30579 26340 169 | 0.204 % | 1155.08/1155.46 c | 664886 | 2449 1070 12026 | 33637 26569 164 | 0.204 % | 1480.59/1481.04 c | 997411 | 2449 1070 12026 | 37001 17015 177 | 0.204 % |
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-2655876-1276366303/watcher-2655876-1276366303 -o /tmp/evaluation-result-2655876-1276366303/solver-2655876-1276366303 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655876-1276366303.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12687 /proc/meminfo: memFree=1541792/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=2712 CPUtime=0 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 349 0 0 0 0 0 0 0 20 0 1 0 12234070 2777088 256 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 678 256 146 303 0 373 0 [startup+0.029065 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12687 /proc/meminfo: memFree=1541792/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=2840 CPUtime=0.02 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 376 0 0 0 2 0 0 0 20 0 1 0 12234070 2908160 283 1992294400 134512640 135751879 4291866400 18446744073709551615 135209762 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 710 283 147 303 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2840 [startup+0.101072 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12687 /proc/meminfo: memFree=1541792/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=3352 CPUtime=0.09 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 512 0 0 0 9 0 0 0 20 0 1 0 12234070 3432448 419 1992294400 134512640 135751879 4291866400 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 838 419 147 303 0 533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3352 [startup+0.301095 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12687 /proc/meminfo: memFree=1541792/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=4888 CPUtime=0.28 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 890 0 0 0 28 0 0 0 21 0 1 0 12234070 5005312 797 1992294400 134512640 135751879 4291866400 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 1222 797 147 303 0 917 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4888 [startup+0.701139 s] /proc/loadavg: 1.00 1.00 1.00 3/106 12687 /proc/meminfo: memFree=1541792/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=7580 CPUtime=0.68 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 1556 0 0 0 67 1 0 0 22 0 1 0 12234070 7761920 1463 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 1895 1463 147 303 0 1590 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7580 [startup+1.50123 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12688 /proc/meminfo: memFree=1534468/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=12336 CPUtime=1.49 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 2752 0 0 0 146 3 0 0 25 0 1 0 12234070 12632064 2659 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 3084 2659 147 303 0 2779 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12336 [startup+3.10041 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12688 /proc/meminfo: memFree=1527524/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=21452 CPUtime=3.09 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 5042 0 0 0 304 5 0 0 25 0 1 0 12234070 21966848 4949 1992294400 134512640 135751879 4291866400 18446744073709551615 134606357 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 5363 4949 148 303 0 5058 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21452 [startup+6.30076 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12688 /proc/meminfo: memFree=1512396/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=34560 CPUtime=6.29 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 8297 0 0 0 619 10 0 0 25 0 1 0 12234070 35389440 8204 1992294400 134512640 135751879 4291866400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 8640 8204 148 303 0 8335 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34560 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12688 /proc/meminfo: memFree=1488464/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=57440 CPUtime=12.69 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 14022 0 0 0 1251 18 0 0 25 0 1 0 12234070 58818560 13929 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 14360 13929 148 303 0 14055 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57440 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12688 /proc/meminfo: memFree=1453496/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=90676 CPUtime=25.49 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 22321 0 0 0 2516 33 0 0 25 0 1 0 12234070 92852224 22228 1992294400 134512640 135751879 4291866400 18446744073709551615 134611233 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 22669 22228 148 303 0 22364 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90676 [startup+51.1007 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12688 /proc/meminfo: memFree=1390876/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=153408 CPUtime=51.07 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 38008 0 0 0 5050 57 0 0 25 0 1 0 12234070 157089792 37915 1992294400 134512640 135751879 4291866400 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 38352 37915 148 303 0 38047 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 153408 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12690 /proc/meminfo: memFree=1275184/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=268192 CPUtime=102.27 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 66658 0 0 0 10126 101 0 0 25 0 1 0 12234070 274628608 66565 1992294400 134512640 135751879 4291866400 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 67048 66565 148 303 0 66743 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 268192 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12695 /proc/meminfo: memFree=1129112/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=414904 CPUtime=162.24 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 103314 0 0 0 16063 161 0 0 25 0 1 0 12234070 424861696 103221 1992294400 134512640 135751879 4291866400 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 103726 103221 148 303 0 103421 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 414904 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12697 /proc/meminfo: memFree=1065252/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=476968 CPUtime=222.22 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 118933 0 0 0 21996 226 0 0 25 0 1 0 12234070 488415232 118812 1992294400 134512640 135751879 4291866400 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 119242 118812 151 303 0 118937 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 476968 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12697 /proc/meminfo: memFree=1003872/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=538672 CPUtime=282.21 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 134330 0 0 0 27937 284 0 0 25 0 1 0 12234070 551600128 134209 1992294400 134512640 135751879 4291866400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 134668 134209 151 303 0 134363 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 538672 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12699 /proc/meminfo: memFree=939888/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=602328 CPUtime=342.19 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 150208 0 0 0 33886 333 0 0 25 0 1 0 12234070 616783872 150087 1992294400 134512640 135751879 4291866400 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 150582 150087 151 303 0 150277 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 602328 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12701 /proc/meminfo: memFree=879128/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=663644 CPUtime=402.17 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 165484 0 0 0 39840 377 0 0 25 0 1 0 12234070 679571456 165363 1992294400 134512640 135751879 4291866400 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 165911 165363 151 303 0 165606 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 663644 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12703 /proc/meminfo: memFree=818740/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=723860 CPUtime=462.16 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 180493 0 0 0 45800 416 0 0 25 0 1 0 12234070 741232640 180372 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 180965 180372 151 303 0 180660 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 723860 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12705 /proc/meminfo: memFree=765916/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=777668 CPUtime=522.14 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 193914 0 0 0 51762 452 0 0 25 0 1 0 12234070 796332032 193793 1992294400 134512640 135751879 4291866400 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 194417 193793 151 303 0 194112 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 777668 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12705 /proc/meminfo: memFree=709372/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=833416 CPUtime=582.13 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 207807 0 0 0 57718 495 0 0 25 0 1 0 12234070 853417984 207686 1992294400 134512640 135751879 4291866400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 208354 207686 151 303 0 208049 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 833416 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12707 /proc/meminfo: memFree=646132/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=896324 CPUtime=642.12 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 223495 0 0 0 63670 542 0 0 25 0 1 0 12234070 917835776 223374 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 224081 223374 151 303 0 223776 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 896324 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12713 /proc/meminfo: memFree=499812/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1042160 CPUtime=822.07 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 260171 0 0 0 81519 688 0 0 25 0 1 0 12234070 1067171840 260050 1992294400 134512640 135751879 4291866400 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 260540 260050 151 303 0 260235 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1042160 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12713 /proc/meminfo: memFree=445128/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1096164 CPUtime=882.05 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 273635 0 0 0 87477 728 0 0 25 0 1 0 12234070 1122471936 273514 1992294400 134512640 135751879 4291866400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 274041 273514 151 303 0 273736 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1096164 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12715 /proc/meminfo: memFree=398752/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1143368 CPUtime=942.04 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 285375 0 0 0 93440 764 0 0 25 0 1 0 12234070 1170808832 285254 1992294400 134512640 135751879 4291866400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 285842 285254 151 303 0 285537 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1143368 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12717 /proc/meminfo: memFree=344192/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1197308 CPUtime=1002.02 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 298837 0 0 0 99400 802 0 0 25 0 1 0 12234070 1226043392 298716 1992294400 134512640 135751879 4291866400 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 299327 298716 151 303 0 299022 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1197308 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12719 /proc/meminfo: memFree=306868/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1235444 CPUtime=1062 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 308316 0 0 0 105372 828 0 0 25 0 1 0 12234070 1265094656 308195 1992294400 134512640 135751879 4291866400 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 308861 308195 151 303 0 308556 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1235444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12721 /proc/meminfo: memFree=250324/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1291404 CPUtime=1121.99 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 322295 0 0 0 111334 865 0 0 25 0 1 0 12234070 1322397696 322174 1992294400 134512640 135751879 4291866400 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 322851 322174 151 303 0 322546 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1291404 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12721 /proc/meminfo: memFree=194152/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1348080 CPUtime=1181.97 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 336447 0 0 0 117294 903 0 0 25 0 1 0 12234070 1380433920 336326 1992294400 134512640 135751879 4291866400 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 337020 336326 151 303 0 336715 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1348080 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12723 /proc/meminfo: memFree=142444/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1398940 CPUtime=1241.95 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 349155 0 0 0 123255 940 0 0 25 0 1 0 12234070 1432514560 349034 1992294400 134512640 135751879 4291866400 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 349735 349034 151 303 0 349430 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1398940 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12725 /proc/meminfo: memFree=89372/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1451484 CPUtime=1301.95 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 362272 0 0 0 129215 980 0 0 25 0 1 0 12234070 1486319616 362151 1992294400 134512640 135751879 4291866400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 362871 362151 151 303 0 362566 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1451484 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12727 /proc/meminfo: memFree=43120/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1497892 CPUtime=1361.93 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 373861 0 0 0 135180 1013 0 0 25 0 1 0 12234070 1533841408 373740 1992294400 134512640 135751879 4291866400 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 374473 373740 151 303 0 374168 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1497892 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 3/107 12729 /proc/meminfo: memFree=9264/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1541156 CPUtime=1421.91 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 384652 0 0 0 141151 1040 0 0 25 0 1 0 12234070 1578143744 384531 1992294400 134512640 135751879 4291866400 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 385289 384531 151 303 0 384984 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1541156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12729 /proc/meminfo: memFree=9256/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1596044 CPUtime=1481.89 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 398363 0 0 0 147111 1078 0 0 25 0 1 0 12234070 1634349056 398242 1992294400 134512640 135751879 4291866400 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 399011 398242 151 303 0 398706 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1596044 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12731 /proc/meminfo: memFree=10808/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1643952 CPUtime=1541.88 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 410330 0 0 0 153085 1103 0 0 25 0 1 0 12234070 1683406848 410209 1992294400 134512640 135751879 4291866400 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 410988 410209 151 303 0 410683 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1643952 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12733 /proc/meminfo: memFree=9300/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1696548 CPUtime=1601.87 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 423446 0 0 0 159050 1137 0 0 25 0 1 0 12234070 1737265152 423325 1992294400 134512640 135751879 4291866400 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 424137 423325 151 303 0 423832 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 1696548 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12735 /proc/meminfo: memFree=9604/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1750252 CPUtime=1661.85 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 436868 0 0 0 165010 1175 0 0 25 0 1 0 12234070 1792258048 436747 1992294400 134512640 135751879 4291866400 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 437563 436747 151 303 0 437258 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 1750252 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12737 /proc/meminfo: memFree=9500/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1796912 CPUtime=1721.76 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 448508 0 0 0 170970 1206 0 0 25 0 1 0 12234070 1840037888 448387 1992294400 134512640 135751879 4291866400 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12687/statm: 449228 448387 151 303 0 448923 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 1796912 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1776.1 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12737 /proc/meminfo: memFree=10092/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=1843216 CPUtime=1775.42 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4202496 460080 0 0 0 176302 1240 0 0 25 0 1 0 12234070 1887453184 459959 1992294400 134512640 135751879 4291866400 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12687/statm: 460804 459959 151 303 0 460499 0 Current children cumulated CPU time (s) 1775.42 Current children cumulated vsize (KiB) 1843216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1776.21 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12737 /proc/meminfo: memFree=10092/2059040 swapFree=4192956/4192956 [pid=12687] ppid=12685 vsize=0 CPUtime=1775.52 /proc/12687/stat : 12687 (wbo1.4b) R 12685 12687 12171 0 -1 4203524 460080 0 0 0 176302 1250 0 0 25 0 1 0 12234070 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/12687/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1775.52 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1776.28 CPU time (s): 1775.6 CPU user time (s): 1763.02 CPU system time (s): 12.5781 CPU usage (%): 99.9619 Max. virtual memory (cumulated for all children) (KiB): 1843216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1763.02 system time used= 12.5781 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460080 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 10 involuntary context switches= 5213 runsolver used 3.04054 second user time and 8.32173 second system time The end
Begin job on node005 at 2010-06-12 20:11:43 IDJOB=2655876 IDBENCH=1952 IDSOLVER=1161 FILE ID=node005/2655876-1276366303 PBS_JOBID= 11173215 Free space on /tmp= 62532 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655876-1276366303/watcher-2655876-1276366303 -o /tmp/evaluation-result-2655876-1276366303/solver-2655876-1276366303 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655876-1276366303.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7903a80129c7e51df900bcb9ac0a6f39 RANDOM SEED=1495927066 node005.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 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.49 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.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1542196 kB Buffers: 143216 kB Cached: 243192 kB SwapCached: 0 kB Active: 154196 kB Inactive: 291628 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1542196 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2644 kB Writeback: 4 kB AnonPages: 59384 kB Mapped: 15404 kB Slab: 49276 kB PageTables: 4020 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180916 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= 62528 MiB End job on node005 at 2010-06-12 20:41:22