Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.19 | 1800.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb |
MD5SUM | 0a5749e09f3f6f40d04f442dc86d22a6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 193 |
Best CPU time to get the best result obtained on this benchmark | 1789.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 188 |
Optimality of the best value was proved | NO |
Number of variables | 479 |
Total number of constraints | 479 |
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 | 479 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 479 |
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 | 479 |
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 | 479 |
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-2655966-1276369254.opb. 0.00/0.00 c Instance file HOME/instance-2655966-1276369254.opb 0.00/0.00 c File size is 43630 bytes. 0.00/0.00 c Highest Coefficient sum: 228 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: 479 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 479 | 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 | 479 479 4305 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 232 0.00/0.01 o 232 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 | 479 480 4784 | 5000 0 nan | 0.000 % | 0.00/0.02 c | 101 | 479 480 4784 | 5500 101 237 | 0.000 % | 0.00/0.04 c | 251 | 479 480 4784 | 6050 251 240 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 231 0.00/0.05 o 231 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 363 | 479 481 5263 | 5000 363 241 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 229 0.00/0.05 o 229 0.00/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 363 | 479 482 5742 | 5000 363 241 | 0.000 % | 0.00/0.07 c | 463 | 479 482 5742 | 5500 463 240 | 0.002 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 228 0.00/0.07 o 228 0.00/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 179.931 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 464 | 479 483 6221 | 5000 464 240 | 0.002 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 226 0.00/0.07 o 226 0.00/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 464 | 479 484 6700 | 5000 464 240 | 0.002 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 225 0.00/0.07 o 225 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 464 | 479 485 7179 | 5000 464 240 | 0.002 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 224 0.00/0.07 o 224 0.00/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 179.927 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 464 | 479 486 7658 | 5000 464 240 | 0.002 % | 0.08/0.09 c | 564 | 479 486 7658 | 5500 564 239 | 0.001 % | 0.09/0.11 c | 714 | 479 486 7658 | 6050 714 240 | 0.002 % | 0.09/0.14 c | 940 | 479 486 7658 | 6655 940 238 | 0.001 % | 0.09/0.19 c | 1278 | 479 486 7658 | 7320 1278 238 | 0.001 % | 0.19/0.27 c | 1784 | 479 486 7658 | 8052 1784 237 | 0.000 % | 0.29/0.39 c | 2543 | 479 486 7658 | 8857 2543 236 | 0.000 % | 0.59/0.62 c | 3682 | 479 486 7658 | 9743 3682 235 | 0.000 % | 0.89/0.93 c | 5390 | 479 486 7658 | 10717 5390 234 | 0.000 % | 1.39/1.46 c | 7952 | 479 486 7658 | 11789 7952 237 | 0.000 % | 2.29/2.34 c | 11797 | 479 486 7658 | 12968 11797 236 | 0.000 % | 3.59/3.64 c | 17563 | 479 486 7658 | 14265 10857 240 | 0.000 % | 5.79/5.83 c | 26212 | 479 486 7658 | 15692 12155 238 | 0.000 % | 10.17/10.20 c =============================================================================== 10.17/10.20 c New solution: 223 10.17/10.20 o 223 10.17/10.20 c Elapsed CPU time: 10.0535 s Remaining CPU time: 169.947 s 10.17/10.20 c =============================================================================== 10.17/10.20 c | 38945 | 479 487 8137 | 5000 8753 238 | 0.000 % | 10.17/10.28 c | 39045 | 479 487 8137 | 5500 4477 237 | 0.000 % | 10.27/10.31 c | 39195 | 479 487 8137 | 6050 4627 237 | 0.000 % | 10.27/10.34 c | 39421 | 479 487 8137 | 6655 4853 237 | 0.001 % | 10.37/10.40 c | 39758 | 479 487 8137 | 7320 5190 237 | 0.000 % | 10.37/10.41 c =============================================================================== 10.37/10.41 c New solution: 222 10.37/10.41 o 222 10.37/10.41 c Elapsed CPU time: 10.2564 s Remaining CPU time: 169.744 s 10.37/10.41 c =============================================================================== 10.37/10.41 c | 39828 | 479 488 8616 | 5000 5260 237 | 0.000 % | 10.37/10.43 c | 39928 | 479 488 8616 | 5500 2730 236 | 0.001 % | 10.37/10.44 c =============================================================================== 10.37/10.44 c New solution: 221 10.37/10.44 o 221 10.37/10.44 c Elapsed CPU time: 10.2804 s Remaining CPU time: 169.72 s 10.37/10.44 c =============================================================================== 10.37/10.44 c | 39928 | 479 489 9095 | 5000 2730 236 | 0.001 % | 10.37/10.45 c | 40028 | 479 489 9095 | 5500 2830 236 | 0.002 % | 10.37/10.48 c | 40179 | 479 489 9095 | 6050 2981 236 | 0.002 % | 10.47/10.52 c | 40404 | 479 489 9095 | 6655 3206 235 | 0.001 % | 10.47/10.58 c | 40741 | 479 489 9095 | 7320 3543 235 | 0.001 % | 10.57/10.66 c | 41247 | 479 489 9095 | 8052 4049 235 | 0.001 % | 10.77/10.80 c | 42006 | 479 489 9095 | 8857 4808 235 | 0.000 % | 10.98/11.04 c | 43145 | 479 489 9095 | 9743 5947 234 | 0.000 % | 11.37/11.42 c | 44853 | 479 489 9095 | 10717 7655 235 | 0.000 % | 11.97/12.03 c | 47415 | 479 489 9095 | 11789 10217 235 | 0.000 % | 12.77/12.85 c | 51259 | 479 489 9095 | 12968 7954 235 | 0.000 % | 14.47/14.53 c | 57025 | 479 489 9095 | 14265 7019 233 | 0.001 % | 17.27/17.35 c | 65675 | 479 489 9095 | 15692 8326 246 | 0.001 % | 17.97/18.04 c =============================================================================== 17.97/18.04 c New solution: 220 17.97/18.04 o 220 17.97/18.04 c Elapsed CPU time: 17.7593 s Remaining CPU time: 162.241 s 17.97/18.04 c =============================================================================== 17.97/18.04 c | 68765 | 479 490 9574 | 5000 11416 241 | 0.001 % | 18.07/18.11 c | 68865 | 479 490 9574 | 5500 2954 230 | 0.000 % | 18.07/18.13 c | 69015 | 479 490 9574 | 6050 3104 230 | 0.001 % | 18.07/18.17 c | 69242 | 479 490 9574 | 6655 3331 230 | 0.001 % | 18.17/18.23 c | 69579 | 479 490 9574 | 7320 3668 230 | 0.001 % | 18.27/18.32 c | 70085 | 479 490 9574 | 8052 4174 231 | 0.000 % | 18.37/18.44 c | 70844 | 479 490 9574 | 8857 4933 230 | 0.000 % | 18.57/18.67 c | 71984 | 479 490 9574 | 9743 6073 231 | 0.000 % | 18.97/19.01 c | 73692 | 479 490 9574 | 10717 7781 231 | 0.000 % | 19.57/19.61 c | 76254 | 479 490 9574 | 11789 10343 231 | 0.000 % | 20.47/20.54 c | 80100 | 479 490 9574 | 12968 8078 231 | 0.000 % | 22.07/22.14 c | 85866 | 479 490 9574 | 14265 7143 239 | 0.000 % | 24.66/24.71 c | 94516 | 479 490 9574 | 15692 8440 231 | 0.000 % | 28.27/28.32 c | 107490 | 479 490 9574 | 17261 13354 233 | 0.000 % | 32.97/33.04 c =============================================================================== 32.97/33.04 c New solution: 219 32.97/33.04 o 219 32.97/33.04 c Elapsed CPU time: 32.5451 s Remaining CPU time: 147.455 s 32.97/33.04 c =============================================================================== 32.97/33.04 c | 123387 | 479 491 10053 | 5000 11554 229 | 0.000 % | 33.06/33.19 c | 123487 | 479 491 10053 | 5500 2989 229 | 0.000 % | 33.16/33.21 c | 123638 | 479 491 10053 | 6050 3140 229 | 0.001 % | 33.16/33.25 c | 123863 | 479 491 10053 | 6655 3365 229 | 0.000 % | 33.27/33.31 c | 124200 | 479 491 10053 | 7320 3702 229 | 0.000 % | 33.27/33.39 c | 124707 | 479 491 10053 | 8052 4209 229 | 0.001 % | 33.47/33.53 c | 125466 | 479 491 10053 | 8857 4968 230 | 0.000 % | 33.66/33.73 c | 126605 | 479 491 10053 | 9743 6107 230 | 0.000 % | 33.97/34.02 c | 128313 | 479 491 10053 | 10717 7815 230 | 0.001 % | 34.47/34.55 c | 130876 | 479 491 10053 | 11789 10378 230 | 0.000 % | 35.46/35.50 c | 134721 | 479 491 10053 | 12968 8108 230 | 0.000 % | 36.96/37.02 c | 140487 | 479 491 10053 | 14265 7180 232 | 0.000 % | 39.47/39.50 c | 149136 | 479 491 10053 | 15692 8479 231 | 0.000 % | 43.46/43.56 c | 162111 | 479 491 10053 | 17261 13390 228 | 0.000 % | 48.86/48.96 c | 181572 | 479 491 10053 | 18987 15155 227 | 0.000 % | 59.05/59.10 c | 210764 | 479 491 10053 | 20886 15213 234 | 0.000 % | 74.26/74.31 c | 254553 | 479 491 10053 | 22974 16367 228 | 0.000 % | 104.84/104.90 c | 320237 | 479 491 10053 | 25272 20819 233 | 0.000 % | 144.83/144.92 c | 418763 | 479 491 10053 | 27799 16450 239 | 0.000 % | 181.92/182.06 c There are 0 assigned variables. 0 in cost function. 183.12/183.22 c core #1 183.12/183.22 c core #2 183.12/183.22 c core #3 183.12/183.22 c core #4 183.12/183.22 c core #5 183.12/183.22 c core #6 183.12/183.22 c core #7 183.12/183.22 c core #8 183.12/183.22 c core #9 183.12/183.22 c core #10 183.12/183.22 c core #11 183.12/183.22 c core #12 183.12/183.22 c core #13 183.12/183.22 c core #14 183.12/183.22 c core #15 183.12/183.22 c core #16 183.12/183.22 c core #17 183.12/183.22 c core #18 183.12/183.22 c core #19 183.12/183.22 c core #20 183.12/183.22 c core #21 183.12/183.22 c core #22 183.12/183.22 c core #23 183.12/183.22 c core #24 183.12/183.22 c core #25 183.12/183.22 c core #26 183.12/183.22 c core #27 183.12/183.22 c core #28 183.12/183.22 c core #29 183.12/183.22 c core #30 183.12/183.22 c core #31 183.12/183.22 c core #32 183.12/183.22 c core #33 183.12/183.22 c core #34 183.12/183.22 c core #35 183.12/183.22 c core #36 183.12/183.22 c core #37 183.12/183.22 c core #38 183.12/183.22 c core #39 183.12/183.22 c core #40 183.12/183.22 c core #41 183.12/183.22 c core #42 183.12/183.22 c core #43 183.12/183.22 c core #44 183.12/183.22 c core #45 183.12/183.22 c core #46 183.12/183.22 c core #47 183.12/183.22 c core #48 183.12/183.22 c core #49 183.12/183.22 c core #50 183.12/183.22 c core #51 183.12/183.22 c core #52 183.12/183.22 c core #53 183.12/183.22 c core #54 183.12/183.22 c core #55 183.12/183.22 c core #56 183.12/183.22 c core #57 183.12/183.22 c core #58 183.12/183.22 c core #59 183.12/183.22 c core #60 183.12/183.22 c core #61 183.12/183.22 c core #62 183.12/183.22 c core #63 183.12/183.22 c core #64 183.12/183.22 c core #65 183.12/183.22 c core #66 183.12/183.22 c core #67 183.12/183.22 c core #68 183.12/183.22 c core #69 183.12/183.22 c core #70 183.12/183.22 c core #71 183.12/183.22 c core #72 183.12/183.22 c core #73 183.12/183.22 c core #74 183.12/183.22 c core #75 183.12/183.22 c core #76 183.12/183.22 c core #77 183.12/183.22 c core #78 183.12/183.22 c core #79 183.12/183.22 c core #80 183.12/183.22 c core #81 183.12/183.22 c core #82 183.12/183.22 c core #83 183.12/183.22 c core #84 183.12/183.22 c core #85 183.12/183.22 c core #86 183.12/183.22 c core #87 183.12/183.22 c core #88 183.12/183.22 c core #89 183.12/183.22 c core #90 183.12/183.22 c core #91 183.12/183.22 c ============================[ Search Statistics ]============================== 183.12/183.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.22 c =============================================================================== 183.12/183.22 c | 0 | 969 1062 12030 | 5000 0 nan | 0.000 % | 183.12/183.22 c =============================================================================== 183.12/183.23 c core #92 183.12/183.23 c ============================[ Search Statistics ]============================== 183.12/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.23 c =============================================================================== 183.12/183.23 c | 0 | 986 1063 12062 | 5000 0 nan | 0.000 % | 183.12/183.24 c =============================================================================== 183.12/183.25 c core #93 183.12/183.25 c ============================[ Search Statistics ]============================== 183.12/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.25 c =============================================================================== 183.12/183.25 c | 0 | 1007 1064 12103 | 5000 0 nan | 0.000 % | 183.12/183.26 c =============================================================================== 183.12/183.27 c core #94 183.12/183.27 c ============================[ Search Statistics ]============================== 183.12/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.27 c =============================================================================== 183.12/183.27 c | 0 | 1017 1065 12122 | 5000 0 nan | 0.000 % | 183.12/183.28 c =============================================================================== 183.12/183.29 c core #95 183.12/183.29 c ============================[ Search Statistics ]============================== 183.12/183.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.12/183.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.12/183.29 c =============================================================================== 183.12/183.29 c | 0 | 1037 1066 12161 | 5000 0 nan | 0.000 % | 183.12/183.29 c =============================================================================== 183.22/183.30 c core #96 183.22/183.30 c ============================[ Search Statistics ]============================== 183.22/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.30 c =============================================================================== 183.22/183.30 c | 0 | 1045 1067 12176 | 5000 0 nan | 0.000 % | 183.22/183.31 c =============================================================================== 183.22/183.32 c core #97 183.22/183.32 c ============================[ Search Statistics ]============================== 183.22/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.32 c =============================================================================== 183.22/183.32 c | 0 | 1070 1068 12223 | 5000 0 nan | 0.000 % | 183.22/183.33 c =============================================================================== 183.22/183.34 c core #98 183.22/183.34 c ============================[ Search Statistics ]============================== 183.22/183.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.34 c =============================================================================== 183.22/183.34 c | 0 | 1097 1069 12271 | 5000 0 nan | 0.000 % | 183.22/183.35 c =============================================================================== 183.22/183.36 c core #99 183.22/183.36 c ============================[ Search Statistics ]============================== 183.22/183.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.36 c =============================================================================== 183.22/183.36 c | 0 | 1156 1070 12387 | 5000 0 nan | 0.000 % | 183.22/183.37 c =============================================================================== 183.22/183.38 c core #100 183.22/183.38 c ============================[ Search Statistics ]============================== 183.22/183.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.38 c =============================================================================== 183.22/183.38 c | 0 | 1166 1071 12407 | 5000 0 nan | 0.000 % | 183.22/183.39 c =============================================================================== 183.32/183.40 c core #101 183.32/183.40 c ============================[ Search Statistics ]============================== 183.32/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.40 c =============================================================================== 183.32/183.40 c | 0 | 1173 1072 12421 | 5000 0 nan | 0.000 % | 183.32/183.41 c =============================================================================== 183.32/183.42 c core #102 183.32/183.42 c ============================[ Search Statistics ]============================== 183.32/183.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.42 c =============================================================================== 183.32/183.42 c | 0 | 1212 1073 12495 | 5000 0 nan | 0.000 % | 183.32/183.43 c =============================================================================== 183.32/183.44 c core #103 183.32/183.44 c ============================[ Search Statistics ]============================== 183.32/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.44 c =============================================================================== 183.32/183.44 c | 0 | 1269 1074 12606 | 5000 0 nan | 0.000 % | 183.32/183.45 c =============================================================================== 183.32/183.46 c core #104 183.32/183.46 c ============================[ Search Statistics ]============================== 183.32/183.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.46 c =============================================================================== 183.32/183.46 c | 0 | 1308 1075 12682 | 5000 0 nan | 0.000 % | 183.32/183.47 c =============================================================================== 183.32/183.48 c core #105 183.32/183.48 c ============================[ Search Statistics ]============================== 183.32/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.32/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.32/183.48 c =============================================================================== 183.32/183.48 c | 0 | 1318 1076 12702 | 5000 0 nan | 0.000 % | 183.32/183.49 c =============================================================================== 183.43/183.50 c core #106 183.43/183.50 c ============================[ Search Statistics ]============================== 183.43/183.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.50 c =============================================================================== 183.43/183.50 c | 0 | 1411 1077 12886 | 5000 0 nan | 0.000 % | 183.43/183.52 c | 104 | 1410 1077 12886 | 5500 104 12 | 0.914 % | 183.43/183.54 c | 259 | 1407 1077 12886 | 6050 256 12 | 1.055 % | 183.43/183.56 c | 484 | 1407 1077 12886 | 6655 371 12 | 1.055 % | 183.43/183.59 c =============================================================================== 183.53/183.61 c core #107 183.53/183.61 c ============================[ Search Statistics ]============================== 183.53/183.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.53/183.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.53/183.61 c =============================================================================== 183.53/183.61 c | 0 | 1569 1078 13198 | 5000 0 nan | 0.000 % | 183.53/183.63 c | 100 | 1568 1078 13198 | 5500 100 8 | 0.888 % | 183.53/183.64 c =============================================================================== 183.53/183.65 c core #108 183.53/183.65 c ============================[ Search Statistics ]============================== 183.53/183.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.53/183.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.53/183.65 c =============================================================================== 183.53/183.65 c | 0 | 1613 1079 13285 | 5000 0 nan | 0.000 % | 183.53/183.67 c | 100 | 1613 1079 13285 | 5500 100 12 | 0.371 % | 183.53/183.68 c | 250 | 1613 1079 13285 | 6050 250 14 | 0.371 % | 183.53/183.70 c | 475 | 1610 1079 13285 | 6655 471 15 | 0.556 % | 183.63/183.73 c | 814 | 1608 1079 13285 | 7320 602 18 | 0.679 % | 183.63/183.74 c =============================================================================== 183.63/183.76 c core #109 183.63/183.76 c ============================[ Search Statistics ]============================== 183.63/183.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.63/183.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.63/183.76 c =============================================================================== 183.63/183.76 c | 0 | 1728 1080 13512 | 5000 0 nan | 0.000 % | 183.63/183.78 c | 102 | 1728 1080 13512 | 5500 102 22 | 0.173 % | 183.73/183.80 c | 252 | 1728 1080 13512 | 6050 252 17 | 0.173 % | 183.73/183.83 c | 477 | 1727 1080 13512 | 6655 473 22 | 0.231 % | 183.73/183.87 c | 814 | 1727 1080 13512 | 7320 810 23 | 0.231 % | 183.82/183.93 c | 1320 | 1727 1080 13512 | 8052 1316 25 | 0.231 % | 183.92/184.04 c | 2081 | 1727 1080 13512 | 8857 2077 29 | 0.231 % | 184.12/184.26 c | 3222 | 1726 1080 13512 | 9743 2434 35 | 0.289 % | 184.23/184.33 c =============================================================================== 184.23/184.39 c core #110 184.23/184.39 c ============================[ Search Statistics ]============================== 184.23/184.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.39 c =============================================================================== 184.23/184.39 c | 0 | 1839 1081 13734 | 5000 0 nan | 0.000 % | 184.33/184.42 c | 100 | 1839 1081 13734 | 5500 100 32 | 0.163 % | 184.33/184.44 c | 251 | 1839 1081 13734 | 6050 251 23 | 0.163 % | 184.33/184.47 c | 476 | 1839 1081 13734 | 6655 476 24 | 0.163 % | 184.42/184.50 c | 813 | 1839 1081 13734 | 7320 813 25 | 0.163 % | 184.42/184.56 c | 1320 | 1839 1081 13734 | 8052 1320 30 | 0.163 % | 184.52/184.66 c | 2079 | 1839 1081 13734 | 8857 2079 36 | 0.163 % | 184.82/184.90 c | 3219 | 1839 1081 13734 | 9743 3219 53 | 0.163 % | 185.12/185.21 c | 4927 | 1839 1081 13734 | 10717 4927 52 | 0.163 % | 185.83/185.94 c | 7489 | 1839 1081 13734 | 11789 7489 54 | 0.163 % | 187.32/187.42 c | 11333 | 1839 1081 13734 | 12968 11333 56 | 0.163 % | 189.52/189.65 c | 17100 | 1839 1081 13734 | 14265 10601 55 | 0.163 % | 193.12/193.29 c | 25749 | 1839 1081 13734 | 15692 12013 72 | 0.163 % | 196.52/196.68 c =============================================================================== 197.22/197.39 c core #111 197.22/197.39 c ============================[ Search Statistics ]============================== 197.22/197.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.22/197.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.22/197.39 c =============================================================================== 197.22/197.39 c | 0 | 2034 1082 14123 | 5000 0 nan | 0.000 % | 197.32/197.42 c | 102 | 2034 1082 14123 | 5500 102 37 | 0.098 % | 197.32/197.43 c | 252 | 2034 1082 14123 | 6050 252 30 | 0.098 % | 197.32/197.46 c | 477 | 2034 1082 14123 | 6655 477 29 | 0.098 % | 197.42/197.50 c | 814 | 2034 1082 14123 | 7320 814 32 | 0.098 % | 197.42/197.55 c | 1320 | 2034 1082 14123 | 8052 1320 33 | 0.098 % | 197.51/197.65 c | 2079 | 2034 1082 14123 | 8857 2079 42 | 0.098 % | 197.71/197.84 c | 3218 | 2034 1082 14123 | 9743 3218 48 | 0.098 % | 197.93/198.09 c | 4929 | 2034 1082 14123 | 10717 4929 49 | 0.098 % | 198.52/198.60 c | 7492 | 2034 1082 14123 | 11789 7492 54 | 0.098 % | 199.62/199.79 c | 11339 | 2034 1082 14123 | 12968 11339 59 | 0.098 % | 201.52/201.62 c | 17107 | 2034 1082 14123 | 14265 10535 69 | 0.098 % | 204.21/204.37 c | 25756 | 2034 1082 14123 | 15692 11950 83 | 0.098 % | 209.21/209.36 c | 38730 | 2034 1082 14123 | 17261 9114 86 | 0.098 % | 217.62/217.78 c | 58191 | 2034 1082 14123 | 18987 10979 85 | 0.098 % | 230.71/230.86 c | 87383 | 2034 1082 14123 | 20886 11440 82 | 0.098 % | 254.90/255.05 c | 131172 | 2034 1082 14123 | 22974 12972 89 | 0.098 % | 291.40/291.52 c | 196856 | 2033 1082 14123 | 25272 14247 116 | 0.147 % | 347.07/347.21 c | 295391 | 2033 1082 14123 | 27799 22714 120 | 0.147 % | 424.65/424.81 c | 443185 | 2033 1082 14123 | 30579 19656 110 | 0.147 % | 476.04/476.27 c =============================================================================== 486.62/486.83 c core #112 486.62/486.83 c ============================[ Search Statistics ]============================== 486.62/486.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 486.62/486.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 486.62/486.83 c =============================================================================== 486.62/486.83 c | 0 | 2305 1083 14665 | 5000 0 nan | 0.000 % | 486.62/486.88 c | 102 | 2305 1083 14665 | 5500 102 25 | 0.087 % | 486.73/486.94 c | 252 | 2305 1083 14665 | 6050 252 25 | 0.087 % | 486.73/486.96 c | 477 | 2305 1083 14665 | 6655 477 24 | 0.087 % | 486.83/487.00 c | 817 | 2305 1083 14665 | 7320 817 24 | 0.087 % | 486.83/487.08 c | 1326 | 2305 1083 14665 | 8052 1326 28 | 0.087 % | 486.93/487.18 c | 2091 | 2305 1083 14665 | 8857 2091 30 | 0.087 % | 487.14/487.34 c | 3235 | 2305 1083 14665 | 9743 3235 34 | 0.087 % | 487.42/487.63 c | 4943 | 2305 1083 14665 | 10717 4943 40 | 0.087 % | 487.92/488.17 c | 7515 | 2305 1083 14665 | 11789 7515 45 | 0.087 % | 489.03/489.29 c | 11360 | 2305 1083 14665 | 12968 11360 51 | 0.087 % | 490.73/490.98 c | 17127 | 2305 1083 14665 | 14265 10574 59 | 0.087 % | 493.52/493.74 c | 25778 | 2305 1083 14665 | 15692 12037 58 | 0.087 % | 498.72/498.98 c | 38753 | 2305 1083 14665 | 17261 9058 66 | 0.087 % | 503.72/503.99 c | 58216 | 2304 1083 14665 | 18987 16665 48 | 0.130 % | 504.52/504.74 c =============================================================================== 505.92/506.17 c core #113 505.92/506.17 c ============================[ Search Statistics ]============================== 505.92/506.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 505.92/506.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 505.92/506.17 c =============================================================================== 505.92/506.17 c | 0 | 2517 1084 15089 | 5000 0 nan | 0.000 % | 506.02/506.22 c | 105 | 2517 1084 15089 | 5500 105 39 | 0.079 % | 506.02/506.24 c | 256 | 2517 1084 15089 | 6050 256 33 | 0.079 % | 506.02/506.26 c | 481 | 2517 1084 15089 | 6655 481 38 | 0.079 % | 506.12/506.31 c | 819 | 2517 1084 15089 | 7320 819 43 | 0.079 % | 506.12/506.37 c | 1327 | 2517 1084 15089 | 8052 1327 37 | 0.079 % | 506.22/506.48 c | 2086 | 2517 1084 15089 | 8857 2086 44 | 0.079 % | 506.42/506.64 c | 3225 | 2517 1084 15089 | 9743 3225 46 | 0.079 % | 506.62/506.87 c | 4934 | 2517 1084 15089 | 10717 4934 47 | 0.079 % | 507.13/507.33 c | 7497 | 2517 1084 15089 | 11789 7497 52 | 0.079 % | 507.93/508.10 c | 11342 | 2517 1084 15089 | 12968 11342 61 | 0.079 % | 509.32/509.59 c | 17110 | 2517 1084 15089 | 14265 10597 76 | 0.079 % | 511.42/511.69 c | 25761 | 2517 1084 15089 | 15692 11931 81 | 0.079 % | 515.73/515.93 c | 38735 | 2517 1084 15089 | 17261 8888 90 | 0.079 % | 525.42/525.63 c | 58199 | 2517 1084 15089 | 18987 10699 114 | 0.079 % | 537.32/537.54 c | 87391 | 2517 1084 15089 | 20886 10703 121 | 0.079 % | 562.21/562.48 c | 131185 | 2517 1084 15089 | 22974 12268 114 | 0.079 % | 601.30/601.60 c | 196871 | 2517 1084 15089 | 25272 19773 134 | 0.079 % | 678.08/678.37 c | 295397 | 2517 1084 15089 | 27799 16357 123 | 0.079 % | 794.23/794.58 c | 443186 | 2517 1084 15089 | 30579 16089 113 | 0.079 % | 956.78/957.16 c | 664870 | 2517 1084 15089 | 33637 15497 118 | 0.079 % | 1303.76/1304.25 c | 997396 | 2517 1084 15089 | 37001 27717 160 | 0.079 % | 1740.53/1741.19 c | 1496186 | 2517 1084 15089 | 40701 16408 143 | 0.079 % |
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-2655966-1276369254/watcher-2655966-1276369254 -o /tmp/evaluation-result-2655966-1276369254/solver-2655966-1276369254 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655966-1276369254.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 13837 /proc/meminfo: memFree=1821460/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=2752 CPUtime=0 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 311 0 0 0 0 0 0 0 20 0 1 0 12529111 2818048 230 1992294400 134512640 135751879 4287007408 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 688 230 144 303 0 372 0 [startup+0.0888931 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13837 /proc/meminfo: memFree=1821460/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=3352 CPUtime=0.08 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 500 0 0 0 8 0 0 0 20 0 1 0 12529111 3432448 408 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 838 408 147 303 0 533 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3352 [startup+0.100894 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13837 /proc/meminfo: memFree=1821460/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=3480 CPUtime=0.09 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 521 0 0 0 9 0 0 0 20 0 1 0 12529111 3563520 429 1992294400 134512640 135751879 4287007408 18446744073709551615 134611155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 870 429 147 303 0 565 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3480 [startup+0.300917 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13837 /proc/meminfo: memFree=1821460/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=4892 CPUtime=0.29 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 870 0 0 0 29 0 0 0 20 0 1 0 12529111 5009408 778 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 1223 778 147 303 0 918 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4892 [startup+0.700963 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13837 /proc/meminfo: memFree=1821460/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=7068 CPUtime=0.69 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 1438 0 0 0 68 1 0 0 20 0 1 0 12529111 7237632 1346 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 1767 1346 147 303 0 1462 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7068 [startup+1.50106 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13838 /proc/meminfo: memFree=1814756/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=11312 CPUtime=1.49 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 2502 0 0 0 148 1 0 0 22 0 1 0 12529111 11583488 2410 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 2828 2410 147 303 0 2523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11312 [startup+3.10124 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13838 /proc/meminfo: memFree=1809176/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=18760 CPUtime=3.09 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 4359 0 0 0 306 3 0 0 25 0 1 0 12529111 19210240 4267 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 4690 4267 148 303 0 4385 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18760 [startup+6.30061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13838 /proc/meminfo: memFree=1794296/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=32488 CPUtime=6.29 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 7797 0 0 0 620 9 0 0 25 0 1 0 12529111 33267712 7705 1992294400 134512640 135751879 4287007408 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 8122 7705 148 303 0 7817 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32488 [startup+12.7013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13847 /proc/meminfo: memFree=1770480/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=55456 CPUtime=12.67 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 13517 0 0 0 1250 17 0 0 25 0 1 0 12529111 56786944 13425 1992294400 134512640 135751879 4287007408 18446744073709551615 134606404 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 13864 13425 148 303 0 13559 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 55456 [startup+25.5008 s] /proc/loadavg: 1.07 1.02 1.00 2/107 13847 /proc/meminfo: memFree=1719648/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=104116 CPUtime=25.46 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 25702 0 0 0 2511 35 0 0 25 0 1 0 12529111 106614784 25610 1992294400 134512640 135751879 4287007408 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 26029 25610 148 303 0 25724 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 104116 [startup+51.1008 s] /proc/loadavg: 1.05 1.01 1.00 2/107 13849 /proc/meminfo: memFree=1628260/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=196648 CPUtime=51.06 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 48802 0 0 0 5033 73 0 0 25 0 1 0 12529111 201367552 48710 1992294400 134512640 135751879 4287007408 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 49162 48710 148 303 0 48857 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 196648 [startup+102.309 s] /proc/loadavg: 1.07 1.03 1.00 2/107 13849 /proc/meminfo: memFree=1500044/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=322688 CPUtime=102.25 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 80293 0 0 0 10101 124 0 0 25 0 1 0 12529111 330432512 80201 1992294400 134512640 135751879 4287007408 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 80672 80201 148 303 0 80367 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 322688 [startup+162.301 s] /proc/loadavg: 1.07 1.03 1.00 2/107 13851 /proc/meminfo: memFree=1357072/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=466796 CPUtime=162.23 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 116270 0 0 0 16039 184 0 0 25 0 1 0 12529111 477999104 116178 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 116699 116178 148 303 0 116394 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 466796 [startup+222.301 s] /proc/loadavg: 1.07 1.04 1.00 2/107 13853 /proc/meminfo: memFree=1314292/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=507724 CPUtime=222.21 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 126623 0 0 0 21978 243 0 0 25 0 1 0 12529111 519909376 126503 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 126931 126503 151 303 0 126626 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 507724 [startup+282.302 s] /proc/loadavg: 1.06 1.04 1.00 2/107 13855 /proc/meminfo: memFree=1263080/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=559592 CPUtime=282.19 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 139536 0 0 0 27928 291 0 0 25 0 1 0 12529111 573022208 139416 1992294400 134512640 135751879 4287007408 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 139898 139416 151 303 0 139593 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 559592 [startup+342.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 13855 /proc/meminfo: memFree=1203808/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=618320 CPUtime=342.18 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 154202 0 0 0 33877 341 0 0 25 0 1 0 12529111 633159680 154082 1992294400 134512640 135751879 4287007408 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 154580 154082 151 303 0 154275 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 618320 [startup+402.301 s] /proc/loadavg: 1.06 1.05 1.00 2/107 13857 /proc/meminfo: memFree=1140196/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=682696 CPUtime=402.16 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 170266 0 0 0 39812 404 0 0 25 0 1 0 12529111 699080704 170146 1992294400 134512640 135751879 4287007408 18446744073709551615 134616467 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 170674 170146 151 303 0 170369 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 682696 [startup+462.301 s] /proc/loadavg: 1.13 1.07 1.01 2/107 13859 /proc/meminfo: memFree=1081668/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=740528 CPUtime=462.14 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 184692 0 0 0 45762 452 0 0 25 0 1 0 12529111 758300672 184572 1992294400 134512640 135751879 4287007408 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 185132 184572 151 303 0 184827 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 740528 [startup+522.301 s] /proc/loadavg: 1.12 1.07 1.00 2/107 13861 /proc/meminfo: memFree=1051040/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=770016 CPUtime=522.12 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 192184 0 0 0 51704 508 0 0 25 0 1 0 12529111 788496384 192064 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 192504 192064 151 303 0 192199 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 770016 [startup+582.301 s] /proc/loadavg: 1.11 1.07 1.00 2/107 13863 /proc/meminfo: memFree=995984/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=825532 CPUtime=582.1 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 206038 0 0 0 57651 559 0 0 25 0 1 0 12529111 845344768 205918 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 206383 205918 151 303 0 206078 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 825532 [startup+642.301 s] /proc/loadavg: 1.10 1.07 1.00 2/107 13863 /proc/meminfo: memFree=946508/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=874484 CPUtime=642.09 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 218258 0 0 0 63609 600 0 0 25 0 1 0 12529111 895471616 218138 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 218621 218138 151 303 0 218316 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 874484 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.08 1.08 1.01 2/107 13874 /proc/meminfo: memFree=761624/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1059228 CPUtime=882 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 264326 0 0 0 87443 757 0 0 25 0 1 0 12529111 1084649472 264206 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 264807 264206 151 303 0 264502 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1059228 [startup+942.301 s] /proc/loadavg: 1.07 1.08 1.01 2/107 13874 /proc/meminfo: memFree=707560/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1113780 CPUtime=941.98 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 277943 0 0 0 93398 800 0 0 25 0 1 0 12529111 1140510720 277823 1992294400 134512640 135751879 4287007408 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 278445 277823 151 303 0 278140 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 1113780 [startup+1002.3 s] /proc/loadavg: 1.06 1.08 1.01 2/107 13876 /proc/meminfo: memFree=666640/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1154380 CPUtime=1001.96 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 288050 0 0 0 99362 834 0 0 25 0 1 0 12529111 1182085120 287930 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 288595 287930 151 303 0 288290 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1154380 [startup+1062.3 s] /proc/loadavg: 1.06 1.07 1.01 2/107 13878 /proc/meminfo: memFree=624852/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1196388 CPUtime=1061.94 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 298556 0 0 0 105327 867 0 0 25 0 1 0 12529111 1225101312 298436 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 299097 298436 151 303 0 298792 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1196388 [startup+1122.3 s] /proc/loadavg: 1.13 1.09 1.01 2/107 13880 /proc/meminfo: memFree=574012/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1246848 CPUtime=1121.92 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 311143 0 0 0 111292 900 0 0 25 0 1 0 12529111 1276772352 311023 1992294400 134512640 135751879 4287007408 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 311712 311023 151 303 0 311407 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1246848 [startup+1182.3 s] /proc/loadavg: 1.16 1.10 1.02 2/107 13882 /proc/meminfo: memFree=521684/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1299312 CPUtime=1181.9 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 324236 0 0 0 117254 936 0 0 25 0 1 0 12529111 1330495488 324116 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 324828 324116 151 303 0 324523 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1299312 [startup+1242.3 s] /proc/loadavg: 1.16 1.11 1.02 2/107 13882 /proc/meminfo: memFree=480268/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1340544 CPUtime=1241.88 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 334538 0 0 0 123220 968 0 0 25 0 1 0 12529111 1372717056 334418 1992294400 134512640 135751879 4287007408 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 335136 334419 151 303 0 334831 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1340544 [startup+1302.3 s] /proc/loadavg: 1.16 1.12 1.03 2/107 13884 /proc/meminfo: memFree=423848/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1396436 CPUtime=1301.87 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 348495 0 0 0 129185 1002 0 0 25 0 1 0 12529111 1429950464 348375 1992294400 134512640 135751879 4287007408 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 349109 348375 151 303 0 348804 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1396436 [startup+1362.3 s] /proc/loadavg: 1.15 1.12 1.03 2/107 13886 /proc/meminfo: memFree=367304/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1453384 CPUtime=1361.84 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 362751 0 0 0 135138 1046 0 0 25 0 1 0 12529111 1488265216 362631 1992294400 134512640 135751879 4287007408 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 363346 362631 151 303 0 363041 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1453384 [startup+1422.31 s] /proc/loadavg: 1.14 1.13 1.04 2/107 13888 /proc/meminfo: memFree=325144/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1495116 CPUtime=1421.83 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 373145 0 0 0 141106 1077 0 0 25 0 1 0 12529111 1530998784 373025 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 373779 373025 151 303 0 373474 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1495116 [startup+1482.3 s] /proc/loadavg: 1.14 1.13 1.04 2/107 13890 /proc/meminfo: memFree=284844/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1535752 CPUtime=1481.81 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 383309 0 0 0 147070 1111 0 0 25 0 1 0 12529111 1572610048 383189 1992294400 134512640 135751879 4287007408 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 383938 383189 151 303 0 383633 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1535752 [startup+1542.3 s] /proc/loadavg: 1.19 1.15 1.05 2/107 13890 /proc/meminfo: memFree=239584/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1580656 CPUtime=1541.78 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 394496 0 0 0 153032 1146 0 0 25 0 1 0 12529111 1618591744 394376 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 395164 394376 151 303 0 394859 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1580656 [startup+1602.3 s] /proc/loadavg: 1.17 1.15 1.06 2/107 13892 /proc/meminfo: memFree=197796/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1622928 CPUtime=1601.77 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 405050 0 0 0 158992 1185 0 0 25 0 1 0 12529111 1661878272 404930 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 405732 404930 151 303 0 405427 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 1622928 [startup+1662.3 s] /proc/loadavg: 1.15 1.15 1.06 2/107 13894 /proc/meminfo: memFree=156380/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1663848 CPUtime=1661.75 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 415269 0 0 0 164952 1223 0 0 25 0 1 0 12529111 1703780352 415149 1992294400 134512640 135751879 4287007408 18446744073709551615 134611242 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 415962 415149 151 303 0 415657 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 1663848 [startup+1722.3 s] /proc/loadavg: 1.15 1.15 1.06 2/107 13896 /proc/meminfo: memFree=106780/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1714272 CPUtime=1721.73 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 427882 0 0 0 170911 1262 0 0 25 0 1 0 12529111 1755414528 427762 1992294400 134512640 135751879 4287007408 18446744073709551615 134608575 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 428568 427762 151 303 0 428263 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 1714272 [startup+1782.3 s] /proc/loadavg: 1.22 1.16 1.08 2/107 13898 /proc/meminfo: memFree=68836/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1750800 CPUtime=1781.71 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 437006 0 0 0 176876 1295 0 0 25 0 1 0 12529111 1792819200 436886 1992294400 134512640 135751879 4287007408 18446744073709551615 134616371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 437700 436886 151 303 0 437395 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 1750800 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.16 1.15 1.07 2/107 13898 /proc/meminfo: memFree=57552/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=1761964 CPUtime=1800.02 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4202496 439793 0 0 0 178696 1306 0 0 25 0 1 0 12529111 1804251136 439673 1992294400 134512640 135751879 4287007408 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13837/statm: 440491 439673 151 303 0 440186 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1761964 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.16 1.15 1.07 2/107 13898 /proc/meminfo: memFree=57552/2059040 swapFree=4158992/4192956 [pid=13837] ppid=13835 vsize=0 CPUtime=1800.12 /proc/13837/stat : 13837 (wbo1.4b) R 13835 13837 13471 0 -1 4203524 439793 0 0 0 178696 1316 0 0 25 0 1 0 12529111 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13837/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.78 CPU time (s): 1800.19 CPU user time (s): 1786.97 CPU system time (s): 13.224 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 1761964 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.97 system time used= 13.224 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 439793 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= 13 involuntary context switches= 4208 runsolver used 3.15352 second user time and 8.33673 second system time The end
Begin job on node006 at 2010-06-12 21:00:54 IDJOB=2655966 IDBENCH=1956 IDSOLVER=1161 FILE ID=node006/2655966-1276369254 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_23.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655966-1276369254/watcher-2655966-1276369254 -o /tmp/evaluation-result-2655966-1276369254/solver-2655966-1276369254 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655966-1276369254.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0a5749e09f3f6f40d04f442dc86d22a6 RANDOM SEED=184519256 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: 1821988 kB Buffers: 39872 kB Cached: 103972 kB SwapCached: 1976 kB Active: 93936 kB Inactive: 77908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821988 kB SwapTotal: 4192956 kB SwapFree: 4158992 kB Dirty: 2680 kB Writeback: 4 kB AnonPages: 26076 kB Mapped: 13968 kB Slab: 43576 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182116 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 21:30:57