Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.2 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb |
MD5SUM | 90154dd1b8a90675a35ad37cbef52f77 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 194 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 189 |
Optimality of the best value was proved | NO |
Number of variables | 481 |
Total number of constraints | 481 |
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 | 481 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 19 |
Number of terms in the objective function | 481 |
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 | 481 |
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 | 481 |
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-2655994-1276363855.opb. 0.00/0.00 c Instance file HOME/instance-2655994-1276363855.opb 0.00/0.00 c File size is 43841 bytes. 0.00/0.00 c Highest Coefficient sum: 244 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: 481 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 481 | 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 | 481 481 4331 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 236 0.00/0.01 o 236 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 481 482 4812 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 234 0.00/0.01 o 234 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 481 483 5293 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 100 | 481 483 5293 | 5500 100 240 | 0.001 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 233 0.00/0.02 o 233 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 123 | 481 484 5774 | 5000 123 241 | 0.001 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 226 0.00/0.03 o 226 0.00/0.03 c Elapsed CPU time: 0.026995 s Remaining CPU time: 179.973 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 123 | 481 485 6255 | 5000 123 241 | 0.001 % | 0.00/0.04 c | 223 | 481 485 6255 | 5500 223 238 | 0.001 % | 0.00/0.06 c | 374 | 481 485 6255 | 6050 374 238 | 0.001 % | 0.00/0.09 c | 599 | 481 485 6255 | 6655 599 238 | 0.001 % | 0.09/0.14 c | 937 | 481 485 6255 | 7320 937 239 | 0.001 % | 0.19/0.22 c | 1444 | 481 485 6255 | 8052 1444 237 | 0.001 % | 0.29/0.32 c | 2204 | 481 485 6255 | 8857 2204 236 | 0.001 % | 0.39/0.49 c | 3344 | 481 485 6255 | 9743 3344 236 | 0.000 % | 0.39/0.49 c =============================================================================== 0.39/0.49 c New solution: 225 0.39/0.49 o 225 0.39/0.49 c Elapsed CPU time: 0.473927 s Remaining CPU time: 179.526 s 0.39/0.49 c =============================================================================== 0.39/0.49 c | 3350 | 481 486 6736 | 5000 3350 236 | 0.000 % | 0.49/0.51 c | 3450 | 481 486 6736 | 5500 3450 236 | 0.000 % | 0.49/0.53 c | 3600 | 481 486 6736 | 6050 3600 236 | 0.001 % | 0.49/0.57 c | 3826 | 481 486 6736 | 6655 3826 236 | 0.001 % | 0.59/0.61 c | 4164 | 481 486 6736 | 7320 4164 236 | 0.001 % | 0.59/0.69 c | 4671 | 481 486 6736 | 8052 4671 236 | 0.001 % | 0.80/0.81 c | 5431 | 481 486 6736 | 8857 5431 236 | 0.000 % | 0.89/0.99 c | 6571 | 481 486 6736 | 9743 6571 236 | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c New solution: 223 0.89/0.99 o 223 0.89/0.99 c Elapsed CPU time: 0.964853 s Remaining CPU time: 179.035 s 0.89/0.99 c =============================================================================== 0.89/0.99 c | 6571 | 481 487 7217 | 5000 6571 236 | 0.000 % | 1.00/1.00 c =============================================================================== 1.00/1.00 c New solution: 222 1.00/1.00 o 222 1.00/1.00 c Elapsed CPU time: 0.973851 s Remaining CPU time: 179.026 s 1.00/1.00 c =============================================================================== 1.00/1.00 c | 6571 | 481 488 7698 | 5000 3286 237 | 0.000 % | 1.00/1.01 c =============================================================================== 1.00/1.01 c New solution: 221 1.00/1.01 o 221 1.00/1.01 c Elapsed CPU time: 0.979851 s Remaining CPU time: 179.02 s 1.00/1.01 c =============================================================================== 1.00/1.01 c | 6597 | 481 489 8179 | 5000 3312 237 | 0.000 % | 1.00/1.02 c | 6698 | 481 489 8179 | 5500 3413 237 | 0.001 % | 1.00/1.03 c =============================================================================== 1.00/1.03 c New solution: 218 1.00/1.03 o 218 1.00/1.03 c Elapsed CPU time: 0.996848 s Remaining CPU time: 179.003 s 1.00/1.03 c =============================================================================== 1.00/1.03 c | 6698 | 481 490 8660 | 5000 3413 237 | 0.001 % | 1.00/1.04 c | 6799 | 481 490 8660 | 5500 3514 236 | 0.001 % | 1.00/1.07 c | 6949 | 481 490 8660 | 6050 3664 236 | 0.000 % | 1.00/1.10 c | 7174 | 481 490 8660 | 6655 3889 236 | 0.001 % | 1.09/1.16 c | 7511 | 481 490 8660 | 7320 4226 235 | 0.000 % | 1.20/1.25 c | 8018 | 481 490 8660 | 8052 4733 235 | 0.001 % | 1.29/1.38 c | 8778 | 481 490 8660 | 8857 5493 234 | 0.001 % | 1.49/1.59 c | 9918 | 481 490 8660 | 9743 6633 233 | 0.000 % | 1.89/1.94 c | 11626 | 481 490 8660 | 10717 8341 232 | 0.000 % | 2.39/2.49 c | 14188 | 481 490 8660 | 11789 10903 231 | 0.000 % | 3.30/3.31 c | 18033 | 481 490 8660 | 12968 8634 229 | 0.000 % | 4.40/4.45 c | 23799 | 481 490 8660 | 14265 7703 229 | 0.000 % | 6.59/6.61 c | 32449 | 481 490 8660 | 15692 9009 230 | 0.000 % | 9.48/9.55 c | 45423 | 481 490 8660 | 17261 13926 227 | 0.000 % | 15.19/15.29 c | 64885 | 481 490 8660 | 18987 15702 232 | 0.000 % | 24.48/24.55 c | 94077 | 481 490 8660 | 20886 15793 229 | 0.000 % | 42.57/42.66 c | 137866 | 481 490 8660 | 22974 16940 231 | 0.000 % | 65.27/65.30 c | 203550 | 481 490 8660 | 25272 21195 227 | 0.000 % | 108.35/108.42 c | 302076 | 481 490 8660 | 27799 17578 230 | 0.000 % | 177.03/177.18 c | 449865 | 481 490 8660 | 30579 11959 231 | 0.000 % | 181.73/181.85 c There are 0 assigned variables. 0 in cost function. 182.83/182.90 c core #1 182.83/182.90 c core #2 182.83/182.90 c core #3 182.83/182.90 c core #4 182.83/182.90 c core #5 182.83/182.90 c core #6 182.83/182.90 c core #7 182.83/182.90 c core #8 182.83/182.90 c core #9 182.83/182.90 c core #10 182.83/182.90 c core #11 182.83/182.90 c core #12 182.83/182.90 c core #13 182.83/182.90 c core #14 182.83/182.90 c core #15 182.83/182.90 c core #16 182.83/182.90 c core #17 182.83/182.90 c core #18 182.83/182.90 c core #19 182.83/182.90 c core #20 182.83/182.90 c core #21 182.83/182.90 c core #22 182.83/182.90 c core #23 182.83/182.90 c core #24 182.83/182.90 c core #25 182.83/182.90 c core #26 182.83/182.90 c core #27 182.83/182.90 c core #28 182.83/182.90 c core #29 182.83/182.90 c core #30 182.83/182.90 c core #31 182.83/182.90 c core #32 182.83/182.90 c core #33 182.83/182.90 c core #34 182.83/182.90 c core #35 182.83/182.90 c core #36 182.83/182.90 c core #37 182.83/182.90 c core #38 182.83/182.90 c core #39 182.83/182.90 c core #40 182.83/182.90 c core #41 182.83/182.90 c core #42 182.83/182.90 c core #43 182.83/182.90 c core #44 182.83/182.90 c core #45 182.83/182.90 c core #46 182.83/182.90 c core #47 182.83/182.90 c core #48 182.83/182.90 c core #49 182.83/182.90 c core #50 182.83/182.90 c core #51 182.83/182.90 c core #52 182.83/182.90 c core #53 182.83/182.90 c core #54 182.83/182.90 c core #55 182.83/182.90 c core #56 182.83/182.90 c core #57 182.83/182.90 c core #58 182.83/182.90 c core #59 182.83/182.90 c core #60 182.83/182.90 c core #61 182.83/182.90 c core #62 182.83/182.90 c core #63 182.83/182.90 c core #64 182.83/182.90 c core #65 182.83/182.90 c core #66 182.83/182.90 c core #67 182.83/182.90 c core #68 182.83/182.90 c core #69 182.83/182.90 c core #70 182.83/182.90 c core #71 182.83/182.90 c core #72 182.83/182.90 c core #73 182.83/182.90 c core #74 182.83/182.90 c core #75 182.83/182.90 c core #76 182.83/182.90 c core #77 182.83/182.90 c core #78 182.83/182.90 c core #79 182.83/182.90 c core #80 182.83/182.90 c core #81 182.83/182.90 c core #82 182.83/182.90 c core #83 182.83/182.90 c core #84 182.83/182.90 c core #85 182.83/182.90 c core #86 182.83/182.90 c ============================[ Search Statistics ]============================== 182.83/182.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.90 c =============================================================================== 182.83/182.90 c | 0 | 957 1058 10605 | 5000 0 nan | 0.000 % | 182.83/182.90 c =============================================================================== 182.83/182.92 c core #87 182.83/182.92 c ============================[ Search Statistics ]============================== 182.83/182.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.92 c =============================================================================== 182.83/182.92 c | 0 | 969 1059 10628 | 5000 0 nan | 0.000 % | 182.83/182.92 c =============================================================================== 182.83/182.93 c core #88 182.83/182.93 c ============================[ Search Statistics ]============================== 182.83/182.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.93 c =============================================================================== 182.83/182.93 c | 0 | 976 1060 10642 | 5000 0 nan | 0.000 % | 182.83/182.94 c =============================================================================== 182.83/182.95 c core #89 182.83/182.95 c ============================[ Search Statistics ]============================== 182.83/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.95 c =============================================================================== 182.83/182.95 c | 0 | 1002 1061 10690 | 5000 0 nan | 0.000 % | 182.83/182.95 c =============================================================================== 182.83/182.96 c core #90 182.83/182.96 c ============================[ Search Statistics ]============================== 182.83/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.96 c =============================================================================== 182.83/182.96 c | 0 | 1018 1062 10721 | 5000 0 nan | 0.000 % | 182.83/182.97 c =============================================================================== 182.83/182.98 c core #91 182.83/182.98 c ============================[ Search Statistics ]============================== 182.83/182.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.83/182.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.83/182.98 c =============================================================================== 182.83/182.98 c | 0 | 1039 1063 10761 | 5000 0 nan | 0.000 % | 182.83/182.99 c =============================================================================== 182.93/183.00 c core #92 182.93/183.00 c ============================[ Search Statistics ]============================== 182.93/183.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.00 c =============================================================================== 182.93/183.00 c | 0 | 1047 1064 10777 | 5000 0 nan | 0.000 % | 182.93/183.00 c =============================================================================== 182.93/183.01 c core #93 182.93/183.01 c ============================[ Search Statistics ]============================== 182.93/183.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.01 c =============================================================================== 182.93/183.01 c | 0 | 1059 1065 10798 | 5000 0 nan | 0.000 % | 182.93/183.02 c =============================================================================== 182.93/183.03 c core #94 182.93/183.03 c ============================[ Search Statistics ]============================== 182.93/183.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.03 c =============================================================================== 182.93/183.03 c | 0 | 1076 1066 10832 | 5000 0 nan | 0.000 % | 182.93/183.04 c =============================================================================== 182.93/183.05 c core #95 182.93/183.05 c ============================[ Search Statistics ]============================== 182.93/183.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.05 c =============================================================================== 182.93/183.05 c | 0 | 1086 1067 10852 | 5000 0 nan | 0.000 % | 182.93/183.06 c =============================================================================== 182.93/183.07 c core #96 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 | 1105 1068 10888 | 5000 0 nan | 0.000 % | 182.93/183.08 c =============================================================================== 182.93/183.09 c core #97 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 | 1122 1069 10920 | 5000 0 nan | 0.000 % | 182.93/183.10 c =============================================================================== 183.03/183.11 c core #98 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 | 1135 1070 10946 | 5000 0 nan | 0.000 % | 183.03/183.11 c =============================================================================== 183.03/183.12 c core #99 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 | 1146 1071 10968 | 5000 0 nan | 0.000 % | 183.03/183.13 c =============================================================================== 183.03/183.14 c core #100 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 | 1191 1072 11054 | 5000 0 nan | 0.000 % | 183.03/183.15 c =============================================================================== 183.03/183.16 c core #101 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 | 1218 1073 11107 | 5000 0 nan | 0.000 % | 183.03/183.17 c =============================================================================== 183.03/183.18 c core #102 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 | 1240 1074 11149 | 5000 0 nan | 0.000 % | 183.03/183.19 c =============================================================================== 183.03/183.20 c core #103 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 | 1249 1075 11167 | 5000 0 nan | 0.000 % | 183.13/183.20 c =============================================================================== 183.13/183.22 c core #104 183.13/183.22 c ============================[ Search Statistics ]============================== 183.13/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.22 c =============================================================================== 183.13/183.22 c | 0 | 1292 1076 11252 | 5000 0 nan | 0.000 % | 183.13/183.23 c =============================================================================== 183.13/183.24 c core #105 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 | 1365 1077 11395 | 5000 0 nan | 0.000 % | 183.13/183.25 c | 100 | 1364 1077 11395 | 5500 100 8 | 1.241 % | 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 | 1427 1078 11517 | 5000 0 nan | 0.000 % | 183.13/183.29 c | 101 | 1420 1078 11517 | 5500 101 10 | 2.168 % | 183.23/183.30 c =============================================================================== 183.23/183.31 c core #107 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 | 1511 1079 11684 | 5000 0 nan | 0.000 % | 183.23/183.33 c | 100 | 1511 1079 11684 | 5500 100 11 | 0.529 % | 183.23/183.34 c | 251 | 1506 1079 11684 | 6050 251 10 | 0.529 % | 183.23/183.35 c =============================================================================== 183.23/183.36 c core #108 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 | 1597 1080 11856 | 5000 0 nan | 0.000 % | 183.23/183.38 c | 101 | 1591 1080 11856 | 5500 101 17 | 0.500 % | 183.33/183.40 c | 251 | 1589 1080 11856 | 6050 250 13 | 0.626 % | 183.33/183.42 c | 476 | 1589 1080 11856 | 6655 473 16 | 0.625 % | 183.33/183.45 c | 814 | 1587 1080 11856 | 7320 809 22 | 0.751 % | 183.43/183.51 c | 1321 | 1587 1080 11856 | 8052 1316 23 | 0.751 % | 183.54/183.63 c | 2080 | 1587 1080 11856 | 8857 2075 27 | 0.751 % | 183.64/183.74 c =============================================================================== 183.64/183.78 c core #109 183.64/183.78 c ============================[ Search Statistics ]============================== 183.64/183.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.78 c =============================================================================== 183.64/183.78 c | 0 | 1714 1081 12090 | 5000 0 nan | 0.000 % | 183.73/183.80 c | 100 | 1713 1081 12090 | 5500 100 20 | 0.291 % | 183.73/183.81 c | 251 | 1712 1081 12090 | 6050 251 23 | 0.291 % | 183.73/183.83 c | 477 | 1711 1081 12090 | 6655 475 24 | 0.291 % | 183.73/183.87 c | 815 | 1709 1081 12090 | 7320 811 25 | 0.408 % | 183.83/183.92 c | 1321 | 1709 1081 12090 | 8052 1317 23 | 0.408 % | 183.83/183.96 c =============================================================================== 183.83/183.99 c core #110 183.83/183.99 c ============================[ Search Statistics ]============================== 183.83/183.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.99 c =============================================================================== 183.83/183.99 c | 0 | 1776 1082 12214 | 5000 0 nan | 0.000 % | 183.92/184.01 c | 101 | 1776 1082 12214 | 5500 101 22 | 0.281 % | 183.92/184.03 c | 251 | 1773 1082 12214 | 6050 249 19 | 0.281 % | 183.92/184.05 c | 477 | 1771 1082 12214 | 6655 474 20 | 0.394 % | 183.92/184.09 c | 814 | 1771 1082 12214 | 7320 811 30 | 0.394 % | 184.03/184.16 c | 1320 | 1771 1082 12214 | 8052 1317 36 | 0.394 % | 184.13/184.26 c | 2080 | 1769 1082 12214 | 8857 2076 36 | 0.506 % | 184.33/184.41 c | 3219 | 1769 1082 12214 | 9743 3215 34 | 0.506 % | 184.53/184.63 c | 4927 | 1769 1082 12214 | 10717 4923 31 | 0.506 % | 184.82/184.91 c =============================================================================== 184.82/184.97 c core #111 184.82/184.97 c ============================[ Search Statistics ]============================== 184.82/184.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.82/184.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.82/184.97 c =============================================================================== 184.82/184.97 c | 0 | 1988 1083 12638 | 5000 0 nan | 0.000 % | 184.82/185.00 c | 101 | 1988 1083 12638 | 5500 101 31 | 0.101 % | 184.93/185.01 c | 252 | 1988 1083 12638 | 6050 252 29 | 0.101 % | 184.93/185.03 c | 477 | 1988 1083 12638 | 6655 477 35 | 0.101 % | 184.93/185.06 c | 815 | 1988 1083 12638 | 7320 815 35 | 0.101 % | 185.02/185.12 c | 1327 | 1988 1083 12638 | 8052 1327 34 | 0.101 % | 185.13/185.21 c | 2087 | 1988 1083 12638 | 8857 2087 33 | 0.101 % | 185.23/185.38 c | 3229 | 1988 1083 12638 | 9743 3229 36 | 0.101 % | 185.62/185.72 c | 4937 | 1988 1083 12638 | 10717 4937 37 | 0.101 % | 186.22/186.31 c | 7499 | 1988 1083 12638 | 11789 7499 36 | 0.101 % | 187.23/187.31 c | 11343 | 1988 1083 12638 | 12968 11343 40 | 0.101 % | 189.23/189.32 c | 17109 | 1988 1083 12638 | 14265 10565 47 | 0.102 % | 189.52/189.67 c =============================================================================== 189.92/190.01 c core #112 189.92/190.01 c ============================[ Search Statistics ]============================== 189.92/190.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.92/190.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.92/190.01 c =============================================================================== 189.92/190.01 c | 0 | 2060 1084 12782 | 5000 0 nan | 0.000 % | 189.92/190.03 c | 100 | 2060 1084 12782 | 5500 100 72 | 0.097 % | 189.92/190.05 c | 250 | 2060 1084 12782 | 6050 250 69 | 0.097 % | 189.92/190.07 c | 475 | 2060 1084 12782 | 6655 475 59 | 0.097 % | 190.03/190.11 c | 812 | 2060 1084 12782 | 7320 812 60 | 0.097 % | 190.03/190.17 c | 1324 | 2060 1084 12782 | 8052 1324 62 | 0.097 % | 190.13/190.27 c | 2086 | 2060 1084 12782 | 8857 2086 68 | 0.097 % | 190.33/190.47 c | 3226 | 2060 1084 12782 | 9743 3226 72 | 0.097 % | 190.82/190.95 c | 4935 | 2060 1084 12782 | 10717 4935 78 | 0.097 % | 191.63/191.75 c | 7499 | 2060 1084 12782 | 11789 7499 81 | 0.097 % | 193.23/193.30 c | 11343 | 2060 1084 12782 | 12968 11343 80 | 0.097 % | 195.73/195.83 c | 17113 | 2060 1084 12782 | 14265 10573 75 | 0.097 % | 198.93/199.05 c | 25764 | 2060 1084 12782 | 15692 11984 70 | 0.097 % | 204.72/204.87 c | 38738 | 2060 1084 12782 | 17261 9152 78 | 0.097 % | 212.02/212.15 c | 58199 | 2060 1084 12782 | 18987 11235 87 | 0.097 % | 226.21/226.38 c | 87391 | 2060 1084 12782 | 20886 11724 89 | 0.097 % | 254.21/254.36 c | 131182 | 2060 1084 12782 | 22974 13477 101 | 0.098 % | 255.41/255.59 c =============================================================================== 258.31/258.50 c core #113 258.31/258.50 c ============================[ Search Statistics ]============================== 258.31/258.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 258.31/258.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 258.31/258.50 c =============================================================================== 258.31/258.50 c | 0 | 2134 1085 12930 | 5000 0 nan | 0.000 % | 258.41/258.54 c | 104 | 2134 1085 12930 | 5500 104 30 | 0.094 % | 258.41/258.57 c | 254 | 2134 1085 12930 | 6050 254 24 | 0.094 % | 258.50/258.61 c | 479 | 2134 1085 12930 | 6655 479 25 | 0.094 % | 258.50/258.65 c | 817 | 2134 1085 12930 | 7320 817 29 | 0.094 % | 258.61/258.74 c | 1323 | 2134 1085 12930 | 8052 1323 40 | 0.094 % | 258.70/258.85 c | 2082 | 2134 1085 12930 | 8857 2082 41 | 0.094 % | 258.90/259.01 c | 3221 | 2134 1085 12930 | 9743 3221 45 | 0.094 % | 259.20/259.31 c | 4931 | 2134 1085 12930 | 10717 4931 45 | 0.094 % | 259.60/259.73 c | 7493 | 2134 1085 12930 | 11789 7493 45 | 0.094 % | 260.51/260.64 c | 11344 | 2134 1085 12930 | 12968 11344 57 | 0.094 % | 262.50/262.61 c | 17110 | 2134 1085 12930 | 14265 10508 77 | 0.094 % | 266.60/266.71 c | 25762 | 2134 1085 12930 | 15692 11882 92 | 0.094 % | 273.00/273.11 c | 38737 | 2134 1085 12930 | 17261 9008 72 | 0.094 % | 281.90/282.04 c | 58201 | 2134 1085 12930 | 18987 11018 77 | 0.094 % | 297.59/297.74 c | 87393 | 2134 1085 12930 | 20886 11299 102 | 0.094 % | 320.38/320.52 c | 131182 | 2134 1085 12930 | 22974 12973 85 | 0.094 % | 367.67/367.89 c | 196867 | 2134 1085 12930 | 25272 20653 118 | 0.094 % | 442.45/442.66 c | 295394 | 2134 1085 12930 | 27799 17134 112 | 0.094 % | 553.71/553.96 c | 443191 | 2134 1085 12930 | 30579 22932 145 | 0.094 % | 767.45/767.71 c | 664875 | 2134 1085 12930 | 33637 30839 139 | 0.094 % | 868.02/868.30 c =============================================================================== 891.51/891.83 c core #114 891.51/891.83 c ============================[ Search Statistics ]============================== 891.51/891.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 891.51/891.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 891.51/891.83 c =============================================================================== 891.51/891.83 c | 0 | 2454 1086 13570 | 5000 0 nan | 0.000 % | 891.51/891.89 c | 100 | 2454 1086 13570 | 5500 100 25 | 0.081 % | 891.61/891.97 c | 253 | 2454 1086 13570 | 6050 253 29 | 0.081 % | 891.71/892.00 c | 479 | 2454 1086 13570 | 6655 479 35 | 0.081 % | 891.71/892.05 c | 818 | 2454 1086 13570 | 7320 818 43 | 0.081 % | 891.82/892.14 c | 1326 | 2454 1086 13570 | 8052 1326 48 | 0.081 % | 892.01/892.32 c | 2085 | 2454 1086 13570 | 8857 2085 57 | 0.081 % | 892.20/892.51 c | 3226 | 2454 1086 13570 | 9743 3226 62 | 0.081 % | 892.61/892.95 c | 4935 | 2454 1086 13570 | 10717 4935 77 | 0.081 % | 893.31/893.63 c | 7497 | 2454 1086 13570 | 11789 7497 89 | 0.081 % | 894.51/894.88 c | 11346 | 2454 1086 13570 | 12968 11346 101 | 0.081 % | 896.61/896.99 c | 17112 | 2454 1086 13570 | 14265 10515 103 | 0.081 % | 900.11/900.42 c | 25761 | 2454 1086 13570 | 15692 11997 104 | 0.081 % | 905.21/905.50 c | 38738 | 2454 1086 13570 | 17261 8956 115 | 0.081 % | 914.70/915.01 c | 58199 | 2454 1086 13570 | 18987 10780 115 | 0.081 % | 930.30/930.67 c | 87395 | 2454 1086 13570 | 20886 11067 116 | 0.081 % | 953.59/953.94 c | 131186 | 2454 1086 13570 | 22974 12465 143 | 0.081 % | 999.78/1000.14 c | 196872 | 2454 1086 13570 | 25272 20044 148 | 0.081 % | 1069.96/1070.38 c | 295398 | 2454 1086 13570 | 27799 15536 152 | 0.081 % | 1183.92/1184.30 c | 443188 | 2454 1086 13570 | 30579 16659 162 | 0.081 % | 1367.06/1367.54 c | 664872 | 2454 1086 13570 | 33637 17621 160 | 0.081 % | 1691.35/1691.97 c | 997398 | 2454 1086 13570 | 37001 32469 225 | 0.081 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655994-1276363855/watcher-2655994-1276363855 -o /tmp/evaluation-result-2655994-1276363855/solver-2655994-1276363855 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655994-1276363855.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 13583 /proc/meminfo: memFree=1830200/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=2748 CPUtime=0 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 310 0 0 0 0 0 0 0 17 0 1 0 11989191 2813952 228 1992294400 134512640 135751879 4291940528 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 687 229 145 303 0 371 0 [startup+0.0924589 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13583 /proc/meminfo: memFree=1830200/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=3348 CPUtime=0.08 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 505 0 0 0 8 0 0 0 17 0 1 0 11989191 3428352 412 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 837 412 147 303 0 532 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3348 [startup+0.10146 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13583 /proc/meminfo: memFree=1830200/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=3476 CPUtime=0.09 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 522 0 0 0 9 0 0 0 17 0 1 0 11989191 3559424 429 1992294400 134512640 135751879 4291940528 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 869 429 147 303 0 564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3476 [startup+0.301483 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13583 /proc/meminfo: memFree=1830200/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=4892 CPUtime=0.29 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 875 0 0 0 28 1 0 0 17 0 1 0 11989191 5009408 782 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 1223 782 147 303 0 918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4892 [startup+0.701529 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13583 /proc/meminfo: memFree=1830200/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=7720 CPUtime=0.69 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 1587 0 0 0 67 2 0 0 17 0 1 0 11989191 7905280 1494 1992294400 134512640 135751879 4291940528 18446744073709551615 134606780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 1930 1494 147 303 0 1625 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7720 [startup+1.50162 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13584 /proc/meminfo: memFree=1822752/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=12604 CPUtime=1.49 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 2815 0 0 0 145 4 0 0 18 0 1 0 11989191 12906496 2722 1992294400 134512640 135751879 4291940528 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 3151 2722 148 303 0 2846 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12604 [startup+3.10181 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13584 /proc/meminfo: memFree=1816676/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=20456 CPUtime=3.09 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 4787 0 0 0 302 7 0 0 21 0 1 0 11989191 20946944 4694 1992294400 134512640 135751879 4291940528 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 5114 4694 148 303 0 4809 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 20456 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13584 /proc/meminfo: memFree=1800432/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=34680 CPUtime=6.29 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 8321 0 0 0 617 12 0 0 25 0 1 0 11989191 35512320 8228 1992294400 134512640 135751879 4291940528 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 8670 8228 148 303 0 8365 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34680 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13584 /proc/meminfo: memFree=1773524/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=61024 CPUtime=12.68 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 14934 0 0 0 1248 20 0 0 25 0 1 0 11989191 62488576 14841 1992294400 134512640 135751879 4291940528 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 15256 14841 148 303 0 14951 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 61024 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13584 /proc/meminfo: memFree=1730992/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=101868 CPUtime=25.48 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 25128 0 0 0 2513 35 0 0 25 0 1 0 11989191 104312832 25035 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 25467 25035 148 303 0 25162 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 101868 [startup+51.1014 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13586 /proc/meminfo: memFree=1665520/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=167936 CPUtime=51.07 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 41620 0 0 0 5046 61 0 0 25 0 1 0 11989191 171966464 41527 1992294400 134512640 135751879 4291940528 18446744073709551615 134607052 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 41984 41527 148 303 0 41679 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 167936 [startup+102.308 s] /proc/loadavg: 1.11 1.03 1.01 2/107 13586 /proc/meminfo: memFree=1536684/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=295116 CPUtime=102.26 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 73420 0 0 0 10114 112 0 0 25 0 1 0 11989191 302198784 73327 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 73779 73327 148 303 0 73474 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 295116 [startup+162.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 13588 /proc/meminfo: memFree=1400656/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=432312 CPUtime=162.23 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 107674 0 0 0 16059 164 0 0 25 0 1 0 11989191 442687488 107581 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 108078 107581 148 303 0 107773 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 432312 [startup+222.301 s] /proc/loadavg: 1.11 1.04 1.00 2/107 13590 /proc/meminfo: memFree=1355892/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=475240 CPUtime=222.21 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 118478 0 0 0 22008 213 0 0 25 0 1 0 11989191 486645760 118357 1992294400 134512640 135751879 4291940528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 118810 118357 151 303 0 118505 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 475240 [startup+282.301 s] /proc/loadavg: 1.10 1.05 1.00 2/107 13592 /proc/meminfo: memFree=1319932/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=511760 CPUtime=282.19 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 127631 0 0 0 27956 263 0 0 25 0 1 0 11989191 524042240 127510 1992294400 134512640 135751879 4291940528 18446744073709551615 134610008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 127940 127510 151 303 0 127635 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 511760 [startup+342.301 s] /proc/loadavg: 1.09 1.05 1.00 2/107 13592 /proc/meminfo: memFree=1269960/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=561028 CPUtime=342.18 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 139906 0 0 0 33911 307 0 0 25 0 1 0 11989191 574492672 139785 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 140257 139785 151 303 0 139952 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 561028 [startup+402.301 s] /proc/loadavg: 1.08 1.06 1.00 2/107 13594 /proc/meminfo: memFree=1224824/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=607080 CPUtime=402.15 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 151370 0 0 0 39864 351 0 0 25 0 1 0 11989191 621649920 151249 1992294400 134512640 135751879 4291940528 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 151770 151249 151 303 0 151465 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 607080 [startup+462.301 s] /proc/loadavg: 1.08 1.06 1.00 2/107 13596 /proc/meminfo: memFree=1174480/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=656628 CPUtime=462.13 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 163692 0 0 0 45826 387 0 0 25 0 1 0 11989191 672387072 163571 1992294400 134512640 135751879 4291940528 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 164157 163571 151 303 0 163852 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 656628 [startup+522.301 s] /proc/loadavg: 1.07 1.06 1.00 2/107 13598 /proc/meminfo: memFree=1121904/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=709664 CPUtime=522.12 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 176934 0 0 0 51784 428 0 0 25 0 1 0 11989191 726695936 176813 1992294400 134512640 135751879 4291940528 18446744073709551615 134616401 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 177416 176813 151 303 0 177111 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 709664 [startup+582.301 s] /proc/loadavg: 1.07 1.06 1.00 2/107 13600 /proc/meminfo: memFree=1073172/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=758120 CPUtime=582.1 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 189033 0 0 0 57746 464 0 0 25 0 1 0 11989191 776314880 188912 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 189530 188912 151 303 0 189225 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 758120 [startup+642.301 s] /proc/loadavg: 1.06 1.06 1.00 2/107 13600 /proc/meminfo: memFree=1027292/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=803348 CPUtime=642.09 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 200322 0 0 0 63715 494 0 0 25 0 1 0 11989191 822628352 200201 1992294400 134512640 135751879 4291940528 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 200837 200201 151 303 0 200532 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 803348 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.11 1.07 1.00 2/107 13608 /proc/meminfo: memFree=821576/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1008748 CPUtime=882.02 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 251596 0 0 0 87568 634 0 0 25 0 1 0 11989191 1032957952 251475 1992294400 134512640 135751879 4291940528 18446744073709551615 134618757 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 252187 251475 151 303 0 251882 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1008748 [startup+942.301 s] /proc/loadavg: 1.10 1.07 1.00 2/107 13608 /proc/meminfo: memFree=818848/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1011040 CPUtime=941.99 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 252449 0 0 0 93522 677 0 0 25 0 1 0 11989191 1035304960 252328 1992294400 134512640 135751879 4291940528 18446744073709551615 134611024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 252760 252328 151 303 0 252455 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1011040 [startup+1002.3 s] /proc/loadavg: 1.09 1.07 1.00 2/107 13610 /proc/meminfo: memFree=761560/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1067720 CPUtime=1001.98 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 266593 0 0 0 99473 725 0 0 25 0 1 0 11989191 1093345280 266472 1992294400 134512640 135751879 4291940528 18446744073709551615 134616363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 266930 266472 151 303 0 266625 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1067720 [startup+1062.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 13612 /proc/meminfo: memFree=708116/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1122048 CPUtime=1061.96 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 280133 0 0 0 105425 771 0 0 25 0 1 0 11989191 1148977152 280012 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 280512 280012 151 303 0 280207 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1122048 [startup+1122.3 s] /proc/loadavg: 1.08 1.07 1.00 2/107 13614 /proc/meminfo: memFree=661120/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1168108 CPUtime=1121.94 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 291646 0 0 0 111381 813 0 0 25 0 1 0 11989191 1196142592 291525 1992294400 134512640 135751879 4291940528 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 292027 291525 151 303 0 291722 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1168108 [startup+1182.3 s] /proc/loadavg: 1.07 1.07 1.00 2/107 13616 /proc/meminfo: memFree=610032/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1219292 CPUtime=1181.92 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 304395 0 0 0 117336 856 0 0 25 0 1 0 11989191 1248555008 304274 1992294400 134512640 135751879 4291940528 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 304823 304274 151 303 0 304518 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1219292 [startup+1242.3 s] /proc/loadavg: 1.07 1.07 1.00 2/107 13616 /proc/meminfo: memFree=555596/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1273548 CPUtime=1241.9 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 317950 0 0 0 123283 907 0 0 25 0 1 0 11989191 1304113152 317829 1992294400 134512640 135751879 4291940528 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 318387 317829 151 303 0 318082 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 1273548 [startup+1302.3 s] /proc/loadavg: 1.10 1.08 1.01 2/107 13618 /proc/meminfo: memFree=505376/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1323188 CPUtime=1301.89 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 330356 0 0 0 129242 947 0 0 25 0 1 0 11989191 1354944512 330235 1992294400 134512640 135751879 4291940528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 330797 330235 151 303 0 330492 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1323188 [startup+1362.3 s] /proc/loadavg: 1.07 1.08 1.01 2/107 13620 /proc/meminfo: memFree=445608/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1383508 CPUtime=1361.86 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 345407 0 0 0 135202 984 0 0 25 0 1 0 11989191 1416712192 345286 1992294400 134512640 135751879 4291940528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 345877 345286 151 303 0 345572 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1383508 [startup+1422.31 s] /proc/loadavg: 1.14 1.09 1.01 2/107 13622 /proc/meminfo: memFree=380880/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1447932 CPUtime=1421.85 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 361490 0 0 0 141157 1028 0 0 25 0 1 0 11989191 1482682368 361369 1992294400 134512640 135751879 4291940528 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 361983 361369 151 303 0 361678 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1447932 [startup+1482.3 s] /proc/loadavg: 1.12 1.09 1.01 2/107 13624 /proc/meminfo: memFree=324956/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1504300 CPUtime=1481.82 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 375558 0 0 0 147120 1062 0 0 25 0 1 0 11989191 1540403200 375437 1992294400 134512640 135751879 4291940528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 376075 375437 151 303 0 375770 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1504300 [startup+1542.3 s] /proc/loadavg: 1.11 1.09 1.01 2/107 13624 /proc/meminfo: memFree=265436/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1563104 CPUtime=1541.8 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 390264 0 0 0 153082 1098 0 0 25 0 1 0 11989191 1600618496 390143 1992294400 134512640 135751879 4291940528 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 390776 390143 151 303 0 390471 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1563104 [startup+1602.3 s] /proc/loadavg: 1.10 1.09 1.01 2/107 13626 /proc/meminfo: memFree=214968/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1614116 CPUtime=1601.78 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 402983 0 0 0 159045 1133 0 0 25 0 1 0 11989191 1652854784 402862 1992294400 134512640 135751879 4291940528 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 403529 402862 151 303 0 403224 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1614116 [startup+1662.3 s] /proc/loadavg: 1.09 1.08 1.01 2/107 13628 /proc/meminfo: memFree=153836/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1674788 CPUtime=1661.76 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 418120 0 0 0 165006 1170 0 0 25 0 1 0 11989191 1714982912 417999 1992294400 134512640 135751879 4291940528 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 418697 417999 151 303 0 418392 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1674788 [startup+1722.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 13630 /proc/meminfo: memFree=88488/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1740040 CPUtime=1721.74 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 434459 0 0 0 170959 1215 0 0 25 0 1 0 11989191 1781800960 434338 1992294400 134512640 135751879 4291940528 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 435010 434338 151 303 0 434705 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 1740040 [startup+1782.3 s] /proc/loadavg: 1.08 1.08 1.01 2/107 13632 /proc/meminfo: memFree=37152/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1791140 CPUtime=1781.72 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 447207 0 0 0 176919 1253 0 0 25 0 1 0 11989191 1834127360 447086 1992294400 134512640 135751879 4291940528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 447785 447086 151 303 0 447480 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 1791140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.07 1.01 2/107 13632 /proc/meminfo: memFree=17684/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=1810036 CPUtime=1800.03 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4202496 451938 0 0 0 178737 1266 0 0 25 0 1 0 11989191 1853476864 451817 1992294400 134512640 135751879 4291940528 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13583/statm: 452509 451817 151 303 0 452204 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1810036 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.06 1.07 1.01 2/107 13632 /proc/meminfo: memFree=17684/2059040 swapFree=4158992/4192956 [pid=13583] ppid=13581 vsize=0 CPUtime=1800.14 /proc/13583/stat : 13583 (wbo1.4b) R 13581 13583 13471 0 -1 4203524 451938 0 0 0 178738 1276 0 0 25 0 1 0 11989191 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13583/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.2 CPU user time (s): 1787.38 CPU system time (s): 12.823 CPU usage (%): 99.968 Max. virtual memory (cumulated for all children) (KiB): 1810036 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.38 system time used= 12.8231 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 451938 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= 22672 runsolver used 3.01354 second user time and 8.47571 second system time The end
Begin job on node006 at 2010-06-12 19:30:55 IDJOB=2655994 IDBENCH=1949 IDSOLVER=1161 FILE ID=node006/2655994-1276363855 PBS_JOBID= 11173217 Free space on /tmp= 62472 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655994-1276363855/watcher-2655994-1276363855 -o /tmp/evaluation-result-2655994-1276363855/solver-2655994-1276363855 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655994-1276363855.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77 RANDOM SEED=603228410 node006.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.204 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.204 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: 1830852 kB Buffers: 31396 kB Cached: 103780 kB SwapCached: 1976 kB Active: 93784 kB Inactive: 69440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1830852 kB SwapTotal: 4192956 kB SwapFree: 4158992 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 26112 kB Mapped: 13916 kB Slab: 43192 kB PageTables: 3912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182992 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= 62472 MiB End job on node006 at 2010-06-12 20:00:58