Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1621.98 | 1622.48 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb |
MD5SUM | bddc7a1ce44c83fc28f6e299cbaaf04c |
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.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 184 |
Optimality of the best value was proved | NO |
Number of variables | 476 |
Total number of constraints | 476 |
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 | 476 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 476 |
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 | 476 |
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 | 476 |
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-2655885-1276367785.opb. 0.00/0.00 c Instance file HOME/instance-2655885-1276367785.opb 0.00/0.00 c File size is 43258 bytes. 0.00/0.01 c Highest Coefficient sum: 226 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: 476 | 0.00/0.01 c | Number Clauses: 0 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 476 | 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 | 476 476 4258 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 229 0.00/0.01 o 229 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 476 477 4734 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 228 0.00/0.01 o 228 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 8 | 476 478 5210 | 5000 8 234 | 0.000 % | 0.00/0.02 c | 109 | 476 478 5210 | 5500 109 241 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: 220 0.00/0.02 o 220 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 | 109 | 476 479 5686 | 5000 109 241 | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 217 0.00/0.03 o 217 0.00/0.03 c Elapsed CPU time: 0.024996 s Remaining CPU time: 179.975 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 109 | 476 480 6162 | 5000 109 241 | 0.000 % | 0.00/0.04 c | 209 | 476 480 6162 | 5500 209 234 | 0.000 % | 0.03/0.06 c | 359 | 476 480 6162 | 6050 359 232 | 0.000 % | 0.03/0.09 c | 584 | 476 480 6162 | 6655 584 232 | 0.001 % | 0.09/0.13 c | 921 | 476 480 6162 | 7320 921 231 | 0.000 % | 0.19/0.20 c | 1427 | 476 480 6162 | 8052 1427 229 | 0.000 % | 0.29/0.32 c | 2186 | 476 480 6162 | 8857 2186 230 | 0.001 % | 0.49/0.51 c | 3325 | 476 480 6162 | 9743 3325 231 | 0.000 % | 0.78/0.81 c | 5034 | 476 480 6162 | 10717 5034 232 | 0.000 % | 1.18/1.25 c | 7596 | 476 480 6162 | 11789 7596 230 | 0.000 % | 2.10/2.16 c | 11440 | 476 480 6162 | 12968 11440 231 | 0.000 % | 3.88/3.98 c | 17206 | 476 480 6162 | 14265 10502 231 | 0.000 % | 5.98/6.08 c | 25856 | 476 480 6162 | 15692 11803 233 | 0.000 % | 10.08/10.18 c | 38831 | 476 480 6162 | 17261 8653 227 | 0.000 % | 15.58/15.62 c | 58292 | 476 480 6162 | 18987 10425 233 | 0.000 % | 25.19/25.26 c | 87486 | 476 480 6162 | 20886 10497 229 | 0.000 % | 44.47/44.50 c | 131276 | 476 480 6162 | 22974 11653 236 | 0.000 % | 73.68/73.74 c | 196960 | 476 480 6162 | 25272 15994 229 | 0.000 % | 94.47/94.56 c =============================================================================== 94.47/94.56 c New solution: 216 94.47/94.56 o 216 94.47/94.56 c Elapsed CPU time: 93.6158 s Remaining CPU time: 86.3842 s 94.47/94.56 c =============================================================================== 94.47/94.56 c | 248793 | 476 481 6638 | 5000 24979 233 | 0.000 % | 95.06/95.19 c | 248894 | 476 481 6638 | 5500 2901 233 | 0.000 % | 95.16/95.22 c | 249044 | 476 481 6638 | 6050 3051 233 | 0.000 % | 95.16/95.25 c | 249270 | 476 481 6638 | 6655 3277 233 | 0.000 % | 95.27/95.30 c | 249608 | 476 481 6638 | 7320 3615 233 | 0.001 % | 95.27/95.39 c | 250115 | 476 481 6638 | 8052 4122 232 | 0.000 % | 95.46/95.50 c | 250874 | 476 481 6638 | 8857 4881 231 | 0.000 % | 95.57/95.70 c | 252013 | 476 481 6638 | 9743 6020 231 | 0.000 % | 95.68/95.72 c =============================================================================== 95.68/95.72 c New solution: 215 95.68/95.72 o 215 95.68/95.72 c Elapsed CPU time: 94.7636 s Remaining CPU time: 85.2364 s 95.68/95.72 c =============================================================================== 95.68/95.72 c | 252097 | 476 482 7114 | 5000 6104 231 | 0.000 % | 95.68/95.74 c | 252198 | 476 482 7114 | 5500 3153 228 | 0.002 % | 95.68/95.77 c | 252348 | 476 482 7114 | 6050 3303 228 | 0.001 % | 95.77/95.80 c | 252574 | 476 482 7114 | 6655 3529 228 | 0.001 % | 95.77/95.85 c | 252912 | 476 482 7114 | 7320 3867 227 | 0.002 % | 95.86/95.92 c | 253418 | 476 482 7114 | 8052 4373 227 | 0.000 % | 95.97/96.04 c | 254177 | 476 482 7114 | 8857 5132 227 | 0.000 % | 96.16/96.23 c | 255316 | 476 482 7114 | 9743 6271 227 | 0.000 % | 96.47/96.53 c | 257024 | 476 482 7114 | 10717 7979 227 | 0.001 % | 96.97/97.01 c | 259586 | 476 482 7114 | 11789 10541 227 | 0.000 % | 97.77/97.89 c | 263430 | 476 482 7114 | 12968 8280 229 | 0.000 % | 99.17/99.28 c | 269197 | 476 482 7114 | 14265 7352 231 | 0.000 % | 101.66/101.72 c | 277847 | 476 482 7114 | 15692 8651 228 | 0.000 % | 105.27/105.35 c | 290821 | 476 482 7114 | 17261 13565 229 | 0.000 % | 114.26/114.31 c | 310282 | 476 482 7114 | 18987 15340 237 | 0.000 % | 125.85/125.90 c | 339475 | 476 482 7114 | 20886 15402 241 | 0.000 % | 142.96/143.09 c | 383264 | 476 482 7114 | 22974 16570 232 | 0.000 % | 164.45/164.50 c | 448948 | 476 482 7114 | 25272 19460 224 | 0.000 % | 181.74/181.88 c There are 0 assigned variables. 0 in cost function. 182.84/182.97 c core #1 182.84/182.97 c core #2 182.84/182.97 c core #3 182.84/182.97 c core #4 182.84/182.97 c core #5 182.84/182.97 c core #6 182.84/182.97 c core #7 182.84/182.97 c core #8 182.84/182.97 c core #9 182.84/182.97 c core #10 182.84/182.97 c core #11 182.84/182.97 c core #12 182.84/182.97 c core #13 182.84/182.97 c core #14 182.84/182.97 c core #15 182.84/182.97 c core #16 182.84/182.97 c core #17 182.84/182.97 c core #18 182.84/182.97 c core #19 182.84/182.97 c core #20 182.84/182.97 c core #21 182.84/182.97 c core #22 182.84/182.97 c core #23 182.84/182.97 c core #24 182.84/182.97 c core #25 182.84/182.97 c core #26 182.84/182.97 c core #27 182.84/182.97 c core #28 182.84/182.97 c core #29 182.84/182.97 c core #30 182.84/182.97 c core #31 182.84/182.97 c core #32 182.84/182.97 c core #33 182.84/182.97 c core #34 182.84/182.97 c core #35 182.84/182.97 c core #36 182.84/182.97 c core #37 182.84/182.97 c core #38 182.84/182.97 c core #39 182.84/182.97 c core #40 182.84/182.97 c core #41 182.84/182.97 c core #42 182.84/182.97 c core #43 182.84/182.97 c core #44 182.84/182.97 c core #45 182.84/182.97 c core #46 182.84/182.97 c core #47 182.84/182.97 c core #48 182.84/182.97 c core #49 182.84/182.97 c core #50 182.84/182.97 c core #51 182.84/182.97 c core #52 182.84/182.97 c core #53 182.84/182.97 c core #54 182.84/182.97 c core #55 182.84/182.97 c core #56 182.84/182.97 c core #57 182.84/182.97 c core #58 182.84/182.97 c core #59 182.84/182.97 c core #60 182.84/182.97 c core #61 182.84/182.97 c core #62 182.84/182.97 c core #63 182.84/182.97 c core #64 182.84/182.97 c core #65 182.84/182.97 c core #66 182.84/182.97 c core #67 182.84/182.97 c core #68 182.84/182.97 c core #69 182.84/182.97 c core #70 182.84/182.97 c core #71 182.84/182.97 c core #72 182.84/182.97 c core #73 182.84/182.97 c core #74 182.84/182.97 c core #75 182.84/182.97 c core #76 182.84/182.97 c core #77 182.84/182.97 c core #78 182.84/182.97 c core #79 182.84/182.97 c core #80 182.84/182.97 c core #81 182.84/182.97 c core #82 182.84/182.97 c core #83 182.84/182.97 c core #84 182.84/182.97 c core #85 182.84/182.97 c core #86 182.84/182.97 c core #87 182.84/182.97 c core #88 182.84/182.97 c ============================[ Search Statistics ]============================== 182.84/182.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.97 c =============================================================================== 182.84/182.97 c | 0 | 980 1047 9106 | 5000 0 nan | 0.000 % | 182.84/182.97 c =============================================================================== 182.84/182.98 c core #89 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 | 986 1048 9118 | 5000 0 nan | 0.000 % | 182.84/182.99 c =============================================================================== 182.94/183.00 c core #90 182.94/183.00 c ============================[ Search Statistics ]============================== 182.94/183.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.00 c =============================================================================== 182.94/183.00 c | 0 | 999 1049 9144 | 5000 0 nan | 0.000 % | 182.94/183.00 c =============================================================================== 182.94/183.01 c core #91 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 | 1019 1050 9182 | 5000 0 nan | 0.000 % | 182.94/183.02 c =============================================================================== 182.94/183.03 c core #92 182.94/183.03 c ============================[ Search Statistics ]============================== 182.94/183.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.03 c =============================================================================== 182.94/183.03 c | 0 | 1035 1051 9211 | 5000 0 nan | 0.000 % | 182.94/183.03 c =============================================================================== 182.94/183.04 c core #93 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 | 1047 1052 9234 | 5000 0 nan | 0.000 % | 182.94/183.05 c =============================================================================== 182.94/183.06 c core #94 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 | 1085 1053 9306 | 5000 0 nan | 0.000 % | 182.94/183.06 c =============================================================================== 182.94/183.07 c core #95 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 | 1102 1054 9340 | 5000 0 nan | 0.000 % | 182.94/183.08 c =============================================================================== 182.94/183.09 c core #96 182.94/183.09 c ============================[ Search Statistics ]============================== 182.94/183.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.09 c =============================================================================== 182.94/183.09 c | 0 | 1142 1055 9419 | 5000 0 nan | 0.000 % | 183.04/183.10 c =============================================================================== 183.04/183.11 c core #97 183.04/183.11 c ============================[ Search Statistics ]============================== 183.04/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.11 c =============================================================================== 183.04/183.11 c | 0 | 1176 1056 9487 | 5000 0 nan | 0.000 % | 183.04/183.11 c =============================================================================== 183.04/183.12 c core #98 183.04/183.12 c ============================[ Search Statistics ]============================== 183.04/183.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.12 c =============================================================================== 183.04/183.12 c | 0 | 1191 1057 9517 | 5000 0 nan | 0.000 % | 183.04/183.13 c =============================================================================== 183.04/183.14 c core #99 183.04/183.14 c ============================[ Search Statistics ]============================== 183.04/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.14 c =============================================================================== 183.04/183.14 c | 0 | 1204 1058 9543 | 5000 0 nan | 0.000 % | 183.04/183.14 c =============================================================================== 183.04/183.15 c core #100 183.04/183.15 c ============================[ Search Statistics ]============================== 183.04/183.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.15 c =============================================================================== 183.04/183.15 c | 0 | 1217 1059 9568 | 5000 0 nan | 0.000 % | 183.04/183.16 c =============================================================================== 183.04/183.17 c core #101 183.04/183.17 c ============================[ Search Statistics ]============================== 183.04/183.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.17 c =============================================================================== 183.04/183.17 c | 0 | 1260 1060 9652 | 5000 0 nan | 0.000 % | 183.04/183.18 c =============================================================================== 183.04/183.19 c core #102 183.04/183.19 c ============================[ Search Statistics ]============================== 183.04/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.19 c =============================================================================== 183.04/183.19 c | 0 | 1279 1061 9690 | 5000 0 nan | 0.000 % | 183.04/183.19 c =============================================================================== 183.14/183.20 c core #103 183.14/183.20 c ============================[ Search Statistics ]============================== 183.14/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.20 c =============================================================================== 183.14/183.20 c | 0 | 1322 1062 9772 | 5000 0 nan | 0.000 % | 183.14/183.22 c | 101 | 1316 1062 9772 | 5500 101 7 | 1.871 % | 183.14/183.23 c | 251 | 1308 1062 9772 | 6050 244 8 | 2.246 % | 183.14/183.24 c =============================================================================== 183.14/183.25 c core #104 183.14/183.25 c ============================[ Search Statistics ]============================== 183.14/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.25 c =============================================================================== 183.14/183.25 c | 0 | 1449 1063 10025 | 5000 0 nan | 0.000 % | 183.14/183.27 c | 100 | 1449 1063 10025 | 5500 100 7 | 1.300 % | 183.14/183.27 c =============================================================================== 183.14/183.28 c core #105 183.14/183.28 c ============================[ Search Statistics ]============================== 183.14/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.28 c =============================================================================== 183.14/183.28 c | 0 | 1486 1064 10099 | 5000 0 nan | 0.000 % | 183.24/183.30 c | 100 | 1485 1064 10099 | 5500 100 11 | 0.935 % | 183.24/183.31 c | 250 | 1485 1064 10099 | 6050 249 12 | 0.934 % | 183.24/183.33 c | 475 | 1485 1064 10099 | 6655 474 12 | 0.934 % | 183.24/183.36 c | 812 | 1483 1064 10099 | 7320 809 12 | 1.067 % | 183.34/183.41 c | 1319 | 1481 1064 10099 | 8052 880 12 | 1.269 % | 183.34/183.42 c =============================================================================== 183.34/183.44 c core #106 183.34/183.44 c ============================[ Search Statistics ]============================== 183.34/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.44 c =============================================================================== 183.34/183.44 c | 0 | 1634 1065 10391 | 5000 0 nan | 0.000 % | 183.34/183.45 c | 101 | 1633 1065 10391 | 5500 101 13 | 0.609 % | 183.34/183.47 c | 252 | 1633 1065 10391 | 6050 252 11 | 0.609 % | 183.44/183.50 c | 478 | 1631 1065 10391 | 6655 477 16 | 0.852 % | 183.44/183.53 c | 817 | 1629 1065 10391 | 7320 810 17 | 0.852 % | 183.44/183.59 c | 1325 | 1629 1065 10391 | 8052 1318 19 | 0.852 % | 183.55/183.69 c | 2085 | 1629 1065 10391 | 8857 2078 22 | 0.852 % | 183.74/183.84 c | 3225 | 1627 1065 10391 | 9743 3217 26 | 0.974 % | 184.04/184.13 c | 4936 | 1625 1065 10391 | 10717 4927 29 | 1.096 % | 184.34/184.42 c =============================================================================== 184.34/184.49 c core #107 184.34/184.49 c ============================[ Search Statistics ]============================== 184.34/184.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.49 c =============================================================================== 184.34/184.49 c | 0 | 1814 1066 10747 | 5000 0 nan | 0.000 % | 184.44/184.52 c | 100 | 1804 1066 10747 | 5500 98 23 | 0.825 % | 184.44/184.54 c | 251 | 1804 1066 10747 | 6050 249 24 | 0.825 % | 184.44/184.56 c | 478 | 1804 1066 10747 | 6655 476 32 | 0.825 % | 184.54/184.61 c | 817 | 1804 1066 10747 | 7320 815 31 | 0.825 % | 184.54/184.68 c | 1323 | 1802 1066 10747 | 8052 1320 37 | 0.935 % | 184.65/184.80 c | 2082 | 1802 1066 10747 | 8857 2079 37 | 0.935 % | 184.95/185.01 c | 3221 | 1796 1066 10747 | 9743 3217 44 | 1.264 % | 185.24/185.32 c | 4929 | 1796 1066 10747 | 10717 4925 46 | 1.264 % | 185.75/185.89 c | 7496 | 1796 1066 10747 | 11789 7492 48 | 1.264 % | 186.85/186.91 c | 11340 | 1796 1066 10747 | 12968 11336 53 | 1.264 % | 188.34/188.43 c | 17106 | 1796 1066 10747 | 14265 10567 59 | 1.264 % | 191.04/191.14 c | 25759 | 1796 1066 10747 | 15692 11994 67 | 1.264 % | 196.44/196.56 c | 38733 | 1796 1066 10747 | 17261 9158 83 | 1.264 % | 204.34/204.48 c | 58204 | 1796 1066 10747 | 18987 11124 81 | 1.264 % | 219.43/219.52 c | 87399 | 1796 1066 10747 | 20886 11465 92 | 1.264 % | 242.22/242.36 c | 131190 | 1796 1066 10747 | 22974 13073 106 | 1.264 % | 259.82/259.95 c =============================================================================== 263.42/263.55 c core #108 263.42/263.55 c ============================[ Search Statistics ]============================== 263.42/263.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.42/263.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.42/263.55 c =============================================================================== 263.42/263.55 c | 0 | 2012 1067 11143 | 5000 0 nan | 0.000 % | 263.52/263.60 c | 100 | 2012 1067 11143 | 5500 100 18 | 0.248 % | 263.52/263.62 c | 251 | 2012 1067 11143 | 6050 251 18 | 0.248 % | 263.52/263.65 c | 476 | 2012 1067 11143 | 6655 476 18 | 0.248 % | 263.62/263.71 c | 814 | 2012 1067 11143 | 7320 814 34 | 0.248 % | 263.62/263.78 c | 1323 | 2012 1067 11143 | 8052 1323 44 | 0.248 % | 263.72/263.90 c | 2082 | 2012 1067 11143 | 8857 2082 56 | 0.248 % | 263.93/264.09 c | 3221 | 2012 1067 11143 | 9743 3221 55 | 0.248 % | 264.22/264.38 c | 4929 | 2011 1067 11143 | 10717 4927 56 | 0.297 % | 264.72/264.82 c | 7493 | 2011 1067 11143 | 11789 7491 52 | 0.297 % | 265.62/265.73 c | 11340 | 2009 1067 11143 | 12968 11337 51 | 0.397 % | 267.13/267.21 c | 17107 | 2009 1067 11143 | 14265 10564 61 | 0.397 % | 269.52/269.60 c | 25760 | 2009 1067 11143 | 15692 12042 69 | 0.397 % | 274.42/274.50 c | 38735 | 2009 1067 11143 | 17261 9146 78 | 0.397 % | 282.22/282.31 c | 58197 | 2009 1067 11143 | 18987 11189 85 | 0.397 % | 291.91/292.01 c =============================================================================== 293.81/293.99 c core #109 293.81/293.99 c ============================[ Search Statistics ]============================== 293.81/293.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 293.81/293.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 293.81/293.99 c =============================================================================== 293.81/293.99 c | 0 | 2279 1068 11676 | 5000 0 nan | 0.000 % | 293.91/294.02 c | 102 | 2277 1068 11676 | 5500 102 21 | 0.263 % | 293.91/294.07 c | 259 | 2277 1068 11676 | 6050 255 50 | 0.263 % | 294.01/294.11 c | 484 | 2277 1068 11676 | 6655 480 50 | 0.263 % | 294.01/294.16 c | 821 | 2277 1068 11676 | 7320 817 50 | 0.263 % | 294.11/294.25 c | 1332 | 2277 1068 11676 | 8052 1328 47 | 0.263 % | 294.21/294.37 c | 2092 | 2277 1068 11676 | 8857 2088 66 | 0.263 % | 294.41/294.58 c | 3232 | 2277 1068 11676 | 9743 3228 71 | 0.263 % | 294.72/294.87 c | 4942 | 2277 1068 11676 | 10717 4938 75 | 0.263 % | 295.32/295.44 c | 7506 | 2277 1068 11676 | 11789 7502 81 | 0.263 % | 296.11/296.22 c | 11351 | 2277 1068 11676 | 12968 11347 85 | 0.263 % | 297.32/297.48 c | 17123 | 2277 1068 11676 | 14265 10522 82 | 0.263 % | 299.71/299.82 c | 25788 | 2277 1068 11676 | 15692 11909 91 | 0.263 % | 304.01/304.13 c | 38766 | 2277 1068 11676 | 17261 8912 118 | 0.263 % | 311.71/311.87 c | 58228 | 2277 1068 11676 | 18987 10720 135 | 0.263 % | 331.20/331.36 c | 87421 | 2277 1068 11676 | 20886 10625 158 | 0.263 % | 365.90/366.06 c | 131211 | 2277 1068 11676 | 22974 11815 186 | 0.263 % | 416.08/416.29 c | 196895 | 2277 1068 11676 | 25272 19142 162 | 0.263 % | 488.86/489.09 c | 295422 | 2277 1068 11676 | 27799 14889 147 | 0.263 % | 601.54/601.78 c | 443220 | 2277 1068 11676 | 30579 17690 170 | 0.263 % | 816.79/817.08 c | 664904 | 2277 1068 11676 | 33637 20321 198 | 0.263 % | 1061.02/1061.32 c =============================================================================== 1072.71/1073.03 c core #110 1072.71/1073.03 c ============================[ Search Statistics ]============================== 1072.71/1073.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1072.71/1073.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1072.71/1073.03 c =============================================================================== 1072.71/1073.03 c | 0 | 2610 1069 12335 | 5000 0 nan | 0.000 % | 1072.82/1073.14 c | 100 | 2610 1069 12335 | 5500 100 72 | 0.043 % | 1072.82/1073.19 c | 251 | 2610 1069 12335 | 6050 251 59 | 0.038 % | 1072.92/1073.25 c | 477 | 2610 1069 12335 | 6655 477 62 | 0.038 % | 1073.02/1073.33 c | 816 | 2610 1069 12335 | 7320 816 60 | 0.038 % | 1073.11/1073.40 c | 1323 | 2610 1069 12335 | 8052 1323 52 | 0.038 % | 1073.22/1073.55 c | 2082 | 2610 1069 12335 | 8857 2082 60 | 0.038 % | 1073.42/1073.75 c | 3221 | 2610 1069 12335 | 9743 3221 71 | 0.038 % | 1073.72/1074.07 c | 4929 | 2610 1069 12335 | 10717 4929 81 | 0.038 % | 1074.22/1074.58 c | 7491 | 2610 1069 12335 | 11789 7491 87 | 0.038 % | 1075.22/1075.58 c | 11338 | 2610 1069 12335 | 12968 11338 106 | 0.038 % | 1077.32/1077.64 c | 17107 | 2610 1069 12335 | 14265 10371 148 | 0.038 % | 1080.02/1080.37 c | 25757 | 2610 1069 12335 | 15692 11724 121 | 0.038 % | 1084.51/1084.88 c | 38732 | 2610 1069 12335 | 17261 8858 132 | 0.038 % | 1091.31/1091.61 c | 58193 | 2610 1069 12335 | 18987 10846 99 | 0.038 % | 1103.71/1104.01 c | 87385 | 2610 1069 12335 | 20886 11070 109 | 0.038 % | 1127.80/1128.17 c | 131175 | 2610 1069 12335 | 22974 12597 133 | 0.038 % | 1156.19/1156.55 c | 196862 | 2610 1069 12335 | 25272 20189 110 | 0.038 % | 1213.08/1213.45 c | 295394 | 2610 1069 12335 | 27799 16644 113 | 0.038 % | 1304.85/1305.26 c | 443186 | 2609 1069 12335 | 30579 23654 129 | 0.077 % | 1331.66/1332.10 c =============================================================================== 1345.35/1345.75 c core #111 1345.35/1345.75 c ============================[ Search Statistics ]============================== 1345.35/1345.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 1345.35/1345.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1345.35/1345.75 c =============================================================================== 1345.35/1345.75 c | 0 | 2945 1070 13004 | 5000 0 nan | 0.000 % | 1345.45/1345.82 c | 100 | 2945 1070 13004 | 5500 100 25 | 0.000 % | 1345.45/1345.87 c | 250 | 2945 1070 13004 | 6050 250 37 | 0.000 % | 1345.65/1346.01 c | 476 | 2945 1070 13004 | 6655 476 48 | 0.000 % | 1345.75/1346.10 c | 814 | 2945 1070 13004 | 7320 814 61 | 0.000 % | 1345.75/1346.17 c | 1320 | 2945 1070 13004 | 8052 1320 59 | 0.000 % | 1345.96/1346.30 c | 2079 | 2945 1070 13004 | 8857 2079 62 | 0.000 % | 1346.15/1346.56 c | 3222 | 2945 1070 13004 | 9743 3222 73 | 0.000 % | 1346.45/1346.86 c | 4931 | 2945 1070 13004 | 10717 4931 65 | 0.000 % | 1347.15/1347.52 c | 7493 | 2945 1070 13004 | 11789 7493 83 | 0.000 % | 1348.15/1348.53 c | 11344 | 2945 1070 13004 | 12968 11344 116 | 0.000 % | 1350.04/1350.43 c | 17112 | 2945 1070 13004 | 14265 10433 152 | 0.000 % | 1353.05/1353.46 c | 25764 | 2945 1070 13004 | 15692 11543 146 | 0.000 % | 1357.75/1358.20 c | 38742 | 2945 1070 13004 | 17261 16174 157 | 0.000 % | 1370.05/1370.46 c | 58204 | 2945 1070 13004 | 18987 9134 207 | 0.000 % | 1388.94/1389.38 c | 87397 | 2945 1070 13004 | 20886 18567 218 | 0.000 % | 1421.03/1421.48 c | 131197 | 2945 1070 13004 | 22974 19165 194 | 0.000 % | 1462.42/1462.83 c | 196882 | 2945 1070 13004 | 25272 14113 208 | 0.000 % | 1521.29/1521.70 c | 295408 | 2945 1070 13004 | 27799 19577 221 | 0.000 % |
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-2655885-1276367785/watcher-2655885-1276367785 -o /tmp/evaluation-result-2655885-1276367785/solver-2655885-1276367785 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655885-1276367785.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/106 13920 /proc/meminfo: memFree=1481328/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=2624 CPUtime=0 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 289 0 0 0 0 0 0 0 16 0 1 0 10434809 2686976 208 1992294400 134512640 135751879 4290120976 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 656 208 140 303 0 340 0 [startup+0.0434151 s] /proc/loadavg: 0.91 0.97 0.99 3/106 13920 /proc/meminfo: memFree=1481328/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=2968 CPUtime=0.03 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 402 0 0 0 3 0 0 0 16 0 1 0 10434809 3039232 310 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 742 310 147 303 0 437 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2968 [startup+0.101392 s] /proc/loadavg: 0.91 0.97 0.99 3/106 13920 /proc/meminfo: memFree=1481328/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=3352 CPUtime=0.09 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 515 0 0 0 9 0 0 0 16 0 1 0 10434809 3432448 423 1992294400 134512640 135751879 4290120976 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 838 423 147 303 0 533 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3352 [startup+0.301411 s] /proc/loadavg: 0.91 0.97 0.99 3/106 13920 /proc/meminfo: memFree=1481328/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=4888 CPUtime=0.29 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 874 0 0 0 29 0 0 0 17 0 1 0 10434809 5005312 782 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 1222 782 147 303 0 917 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4888 [startup+0.70045 s] /proc/loadavg: 0.91 0.97 0.99 3/106 13920 /proc/meminfo: memFree=1481328/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=7332 CPUtime=0.69 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 1494 0 0 0 68 1 0 0 17 0 1 0 10434809 7507968 1402 1992294400 134512640 135751879 4290120976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 1833 1402 147 303 0 1528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7332 [startup+1.50053 s] /proc/loadavg: 0.91 0.97 0.99 2/107 13921 /proc/meminfo: memFree=1474500/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=11816 CPUtime=1.49 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 2627 0 0 0 146 3 0 0 18 0 1 0 10434809 12099584 2535 1992294400 134512640 135751879 4290120976 18446744073709551615 134611059 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 2954 2535 147 303 0 2649 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11816 [startup+3.10068 s] /proc/loadavg: 0.91 0.97 0.99 2/107 13921 /proc/meminfo: memFree=1469044/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=18172 CPUtime=3.09 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 4198 0 0 0 304 5 0 0 21 0 1 0 10434809 18608128 4106 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 4543 4106 148 303 0 4238 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18172 [startup+6.30099 s] /proc/loadavg: 0.92 0.97 0.99 2/107 13921 /proc/meminfo: memFree=1456396/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=30532 CPUtime=6.28 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 7285 0 0 0 620 8 0 0 25 0 1 0 10434809 31264768 7193 1992294400 134512640 135751879 4290120976 18446744073709551615 134518854 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 7633 7193 148 303 0 7328 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 30532 [startup+12.7006 s] /proc/loadavg: 0.93 0.97 0.99 2/107 13923 /proc/meminfo: memFree=1432836/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=52472 CPUtime=12.69 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 12794 0 0 0 1251 18 0 0 25 0 1 0 10434809 53731328 12702 1992294400 134512640 135751879 4290120976 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 13118 12702 148 303 0 12813 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 52472 [startup+25.5018 s] /proc/loadavg: 0.94 0.97 0.99 2/107 13923 /proc/meminfo: memFree=1392164/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=92728 CPUtime=25.49 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 22836 0 0 0 2516 33 0 0 25 0 1 0 10434809 94953472 22744 1992294400 134512640 135751879 4290120976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 23182 22744 148 303 0 22877 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92728 [startup+51.1013 s] /proc/loadavg: 0.96 0.97 0.99 2/107 13923 /proc/meminfo: memFree=1331032/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=153224 CPUtime=51.08 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 37952 0 0 0 5053 55 0 0 25 0 1 0 10434809 156901376 37860 1992294400 134512640 135751879 4290120976 18446744073709551615 134605786 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 38306 37860 148 303 0 38001 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 153224 [startup+102.309 s] /proc/loadavg: 0.98 0.97 0.99 2/107 13925 /proc/meminfo: memFree=1195376/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=287936 CPUtime=102.28 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 71589 0 0 0 10124 104 0 0 25 0 1 0 10434809 294846464 71497 1992294400 134512640 135751879 4290120976 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 71984 71497 148 303 0 71679 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 287936 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13930 /proc/meminfo: memFree=1033928/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=450152 CPUtime=162.25 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 112149 0 0 0 16061 164 0 0 25 0 1 0 10434809 460955648 112057 1992294400 134512640 135751879 4290120976 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 112538 112057 148 303 0 112233 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 450152 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13930 /proc/meminfo: memFree=970688/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=511152 CPUtime=222.23 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 127441 0 0 0 22002 221 0 0 25 0 1 0 10434809 523419648 127349 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 127788 127349 151 303 0 127483 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 511152 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13932 /proc/meminfo: memFree=928404/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=554140 CPUtime=282.22 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 138207 0 0 0 27946 276 0 0 25 0 1 0 10434809 567439360 138115 1992294400 134512640 135751879 4290120976 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 138535 138115 151 303 0 138230 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 554140 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13934 /proc/meminfo: memFree=860328/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=621372 CPUtime=342.2 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 154991 0 0 0 33888 332 0 0 25 0 1 0 10434809 636284928 154899 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 155343 154899 151 303 0 155038 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 621372 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13936 /proc/meminfo: memFree=802048/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=680708 CPUtime=402.18 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 169767 0 0 0 39846 372 0 0 25 0 1 0 10434809 697044992 169675 1992294400 134512640 135751879 4290120976 18446744073709551615 134608684 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 170177 169675 151 303 0 169872 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 680708 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13938 /proc/meminfo: memFree=748604/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=733272 CPUtime=462.18 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 182872 0 0 0 45809 409 0 0 25 0 1 0 10434809 750870528 182780 1992294400 134512640 135751879 4290120976 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 183318 182780 151 303 0 183013 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 733272 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13938 /proc/meminfo: memFree=678792/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=803292 CPUtime=522.16 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 200358 0 0 0 51757 459 0 0 25 0 1 0 10434809 822571008 200266 1992294400 134512640 135751879 4290120976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 200823 200266 151 303 0 200518 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 803292 [startup+582.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13940 /proc/meminfo: memFree=622000/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=859672 CPUtime=582.14 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 214449 0 0 0 57721 493 0 0 25 0 1 0 10434809 880304128 214357 1992294400 134512640 135751879 4290120976 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 214918 214357 151 303 0 214613 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 859672 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13942 /proc/meminfo: memFree=560744/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=920500 CPUtime=642.14 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 229621 0 0 0 63678 536 0 0 25 0 1 0 10434809 942592000 229529 1992294400 134512640 135751879 4290120976 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 230125 229529 151 303 0 229820 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 920500 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13944 /proc/meminfo: memFree=501596/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=980004 CPUtime=702.11 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 244487 0 0 0 69641 570 0 0 25 0 1 0 10434809 1003524096 244395 1992294400 134512640 135751879 4290120976 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 245001 244395 151 303 0 244696 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 980004 [startup+762.307 s] /proc/loadavg: 0.99 0.97 0.99 2/107 13946 /proc/meminfo: memFree=449516/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1031520 CPUtime=762.1 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 257356 0 0 0 75612 598 0 0 25 0 1 0 10434809 1056276480 257264 1992294400 134512640 135751879 4290120976 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 257880 257264 151 303 0 257575 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1031520 [startup+822.3 s] /proc/loadavg: 1.04 0.99 0.99 2/107 13946 /proc/meminfo: memFree=395452/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1085992 CPUtime=822.08 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 270953 0 0 0 81579 629 0 0 25 0 1 0 10434809 1112055808 270861 1992294400 134512640 135751879 4290120976 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 271498 270861 151 303 0 271193 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1085992 [startup+882.301 s] /proc/loadavg: 1.01 0.99 0.99 2/107 13948 /proc/meminfo: memFree=347588/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1133368 CPUtime=882.06 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 282781 0 0 0 87545 661 0 0 25 0 1 0 10434809 1160568832 282689 1992294400 134512640 135751879 4290120976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 283342 282689 151 303 0 283037 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1133368 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13950 /proc/meminfo: memFree=296748/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1185088 CPUtime=942.05 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 295692 0 0 0 93510 695 0 0 25 0 1 0 10434809 1213530112 295600 1992294400 134512640 135751879 4290120976 18446744073709551615 134607252 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 296272 295600 151 303 0 295967 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1185088 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13952 /proc/meminfo: memFree=245536/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1235332 CPUtime=1002.03 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 308229 0 0 0 99471 732 0 0 25 0 1 0 10434809 1264979968 308137 1992294400 134512640 135751879 4290120976 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 308833 308137 151 303 0 308528 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1235332 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13954 /proc/meminfo: memFree=184032/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1299128 CPUtime=1062.02 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 324161 0 0 0 105422 780 0 0 25 0 1 0 10434809 1330307072 324069 1992294400 134512640 135751879 4290120976 18446744073709551615 134516340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 324782 324069 151 303 0 324477 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1299128 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13954 /proc/meminfo: memFree=154768/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1325276 CPUtime=1122 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 331007 0 0 0 111363 837 0 0 25 0 1 0 10434809 1357082624 330881 1992294400 134512640 135751879 4290120976 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 331319 330881 151 303 0 331014 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1325276 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13956 /proc/meminfo: memFree=94008/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1387004 CPUtime=1181.99 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 346423 0 0 0 117304 895 0 0 25 0 1 0 10434809 1420292096 346297 1992294400 134512640 135751879 4290120976 18446744073709551615 134607744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 346751 346297 151 303 0 346446 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1387004 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13958 /proc/meminfo: memFree=34860/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1445048 CPUtime=1241.98 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 360895 0 0 0 123252 946 0 0 25 0 1 0 10434809 1479729152 360769 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 361262 360769 151 303 0 360957 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1445048 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13960 /proc/meminfo: memFree=10548/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1498772 CPUtime=1301.96 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 374317 0 0 0 129200 996 0 0 25 0 1 0 10434809 1534742528 374191 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 374693 374191 151 303 0 374388 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1498772 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13962 /proc/meminfo: memFree=9676/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1539240 CPUtime=1361.95 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 384499 0 0 0 135152 1043 0 0 25 0 1 0 10434809 1576181760 384373 1992294400 134512640 135751879 4290120976 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 384810 384373 151 303 0 384505 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1539240 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13962 /proc/meminfo: memFree=10808/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1613432 CPUtime=1421.93 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 403021 0 0 0 141107 1086 0 0 25 0 1 0 10434809 1652154368 402895 1992294400 134512640 135751879 4290120976 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 403358 402895 151 303 0 403053 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1613432 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13973 /proc/meminfo: memFree=9400/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1686936 CPUtime=1481.9 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 421384 0 0 0 147044 1146 0 0 25 0 1 0 10434809 1727422464 421258 1992294400 134512640 135751879 4290120976 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 421734 421258 151 303 0 421429 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 1686936 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13975 /proc/meminfo: memFree=10280/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1754024 CPUtime=1541.88 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 438142 0 0 0 152997 1191 0 0 25 0 1 0 10434809 1796120576 438016 1992294400 134512640 135751879 4290120976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 438506 438016 151 303 0 438201 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1754024 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13977 /proc/meminfo: memFree=10004/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1826192 CPUtime=1601.82 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 456169 0 0 0 158950 1232 0 0 25 0 1 0 10434809 1870020608 456043 1992294400 134512640 135751879 4290120976 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13920/statm: 456548 456043 151 303 0 456243 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1826192 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1622.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 13977 /proc/meminfo: memFree=10152/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=1843296 CPUtime=1621.79 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4202496 460417 0 0 0 160936 1243 0 0 25 0 1 0 10434809 1887535104 460291 1992294400 134512640 135751879 4290120976 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/13920/statm: 460824 460291 151 303 0 460519 0 Current children cumulated CPU time (s) 1621.79 Current children cumulated vsize (KiB) 1843296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1622.41 s] /proc/loadavg: 1.00 0.99 0.99 2/108 13978 /proc/meminfo: memFree=1134360/2059040 swapFree=4192956/4192956 [pid=13920] ppid=13918 vsize=0 CPUtime=1621.91 /proc/13920/stat : 13920 (wbo1.4b) R 13918 13920 13717 0 -1 4203524 460417 0 0 0 160937 1254 0 0 25 0 1 0 10434809 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/13920/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1621.91 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1622.48 CPU time (s): 1621.98 CPU user time (s): 1609.37 CPU system time (s): 12.6071 CPU usage (%): 99.9688 Max. virtual memory (cumulated for all children) (KiB): 1843296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1609.37 system time used= 12.6071 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460417 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= 5 involuntary context switches= 1900 runsolver used 2.6026 second user time and 7.76382 second system time The end
Begin job on node018 at 2010-06-12 20:36:25 IDJOB=2655885 IDBENCH=1954 IDSOLVER=1161 FILE ID=node018/2655885-1276367785 PBS_JOBID= 11173221 Free space on /tmp= 62292 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_16.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655885-1276367785/watcher-2655885-1276367785 -o /tmp/evaluation-result-2655885-1276367785/solver-2655885-1276367785 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655885-1276367785.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= bddc7a1ce44c83fc28f6e299cbaaf04c RANDOM SEED=1376265000 node018.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.248 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.248 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1481856 kB Buffers: 143008 kB Cached: 289724 kB SwapCached: 0 kB Active: 151628 kB Inactive: 340472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1481856 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2668 kB Writeback: 0 kB AnonPages: 59404 kB Mapped: 15456 kB Slab: 63384 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180328 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= 62292 MiB End job on node018 at 2010-06-12 21:03:29