Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 817.725 | 817.973 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8a4.opb |
MD5SUM | 39250f205953aedd83d7a2bcba6bda16 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 283 |
Best CPU time to get the best result obtained on this benchmark | 3.36149 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 283 |
Optimality of the best value was proved | NO |
Number of variables | 792 |
Total number of constraints | 3194 |
Number of constraints which are clauses | 3194 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 792 |
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 | 792 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 792 |
Number of bits of the biggest sum of numbers | 10 |
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-2656022-1276466318.opb. 0.00/0.00 c Instance file HOME/instance-2656022-1276466318.opb 0.00/0.00 c File size is 93409 bytes. 0.00/0.01 c Highest Coefficient sum: 9 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: 792 | 0.00/0.01 c | Number Clauses: 3194 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 0 | 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 792 3194 8388 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c New solution: 357 0.04/0.05 o 357 0.04/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.04/0.05 c =============================================================================== 0.04/0.05 c | 4 | 792 3195 9180 | 5000 4 7 | 0.000 % | 0.04/0.06 c | 105 | 792 3195 9180 | 5500 105 323 | 0.000 % | 0.04/0.08 c | 255 | 792 3195 9180 | 6050 255 338 | 0.008 % | 0.09/0.11 c | 481 | 792 3195 9180 | 6655 481 337 | 0.015 % | 0.09/0.15 c | 819 | 792 3195 9180 | 7320 819 347 | 0.008 % | 0.19/0.21 c | 1325 | 792 3195 9180 | 8052 1325 351 | 0.012 % | 0.19/0.22 c =============================================================================== 0.19/0.22 c New solution: 355 0.19/0.22 o 355 0.19/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 179.788 s 0.19/0.22 c =============================================================================== 0.19/0.22 c | 1328 | 792 3196 9972 | 5000 1328 350 | 0.012 % | 0.19/0.23 c | 1428 | 792 3196 9972 | 5500 1428 351 | 0.012 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 343 0.19/0.23 o 343 0.19/0.23 c Elapsed CPU time: 0.224965 s Remaining CPU time: 179.775 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1429 | 792 3197 10764 | 5000 1429 350 | 0.012 % | 0.19/0.25 c | 1530 | 792 3197 10764 | 5500 1530 350 | 0.008 % | 0.19/0.26 c | 1680 | 792 3197 10764 | 6050 1680 349 | 0.003 % | 0.19/0.29 c | 1905 | 792 3197 10764 | 6655 1905 348 | 0.009 % | 0.29/0.34 c | 2242 | 792 3197 10764 | 7320 2242 347 | 0.011 % | 0.39/0.41 c | 2748 | 792 3197 10764 | 8052 2748 347 | 0.008 % | 0.49/0.52 c | 3508 | 792 3197 10764 | 8857 3508 347 | 0.009 % | 0.59/0.68 c | 4647 | 792 3197 10764 | 9743 4647 346 | 0.009 % | 0.89/0.94 c | 6356 | 792 3197 10764 | 10717 6356 344 | 0.015 % | 1.29/1.35 c | 8919 | 792 3197 10764 | 11789 8919 345 | 0.000 % | 1.99/2.01 c | 12763 | 792 3197 10764 | 12968 6521 347 | 0.000 % | 3.09/3.11 c | 18529 | 792 3197 10764 | 14265 12287 349 | 0.012 % | 3.09/3.14 c =============================================================================== 3.09/3.14 c New solution: 339 3.09/3.14 o 339 3.09/3.14 c Elapsed CPU time: 3.07353 s Remaining CPU time: 176.926 s 3.09/3.14 c =============================================================================== 3.09/3.14 c | 18726 | 792 3198 11556 | 5000 12484 349 | 0.012 % | 3.09/3.18 c =============================================================================== 3.09/3.18 c New solution: 329 3.09/3.18 o 329 3.09/3.18 c Elapsed CPU time: 3.11852 s Remaining CPU time: 176.881 s 3.09/3.18 c =============================================================================== 3.09/3.18 c | 18726 | 792 3199 12348 | 5000 3121 350 | 0.012 % | 3.19/3.20 c | 18826 | 792 3199 12348 | 5500 3221 349 | 0.009 % | 3.19/3.22 c | 18976 | 792 3199 12348 | 6050 3371 348 | 0.011 % | 3.19/3.25 c | 19201 | 792 3199 12348 | 6655 3596 347 | 0.003 % | 3.19/3.30 c | 19539 | 792 3199 12348 | 7320 3934 345 | 0.003 % | 3.30/3.38 c | 20045 | 792 3199 12348 | 8052 4440 344 | 0.008 % | 3.49/3.50 c | 20805 | 792 3199 12348 | 8857 5200 342 | 0.011 % | 3.59/3.69 c | 21945 | 792 3199 12348 | 9743 6340 341 | 0.008 % | 3.89/3.95 c | 23654 | 792 3199 12348 | 10717 8049 340 | 0.015 % | 4.40/4.44 c | 26217 | 792 3199 12348 | 11789 10612 338 | 0.000 % | 5.09/5.13 c | 30063 | 792 3199 12348 | 12968 8222 333 | 0.000 % | 6.39/6.45 c | 35830 | 792 3199 12348 | 14265 7143 334 | 0.000 % | 8.09/8.15 c | 44480 | 792 3199 12348 | 15692 8285 335 | 0.000 % | 11.29/11.35 c | 57454 | 792 3199 12348 | 17261 13082 335 | 0.000 % | 16.50/16.51 c | 76916 | 792 3199 12348 | 18987 14532 335 | 0.004 % | 24.29/24.39 c | 106109 | 792 3199 12348 | 20886 14228 335 | 0.000 % | 37.18/37.24 c | 149899 | 792 3199 12348 | 22974 14473 335 | 0.000 % | 57.08/57.17 c | 215584 | 792 3199 12348 | 25272 15743 335 | 0.000 % | 80.57/80.63 c | 314111 | 792 3199 12348 | 27799 24654 338 | 0.011 % | 148.95/149.06 c | 461900 | 792 3199 12348 | 30579 15158 336 | 0.000 % | 182.33/182.43 c There are 0 assigned variables. 0 in cost function. 184.43/184.51 c core #1 184.43/184.51 c core #2 184.43/184.51 c core #3 184.43/184.51 c core #4 184.43/184.51 c core #5 184.43/184.51 c core #6 184.43/184.51 c core #7 184.43/184.51 c core #8 184.43/184.51 c core #9 184.43/184.51 c core #10 184.43/184.51 c core #11 184.43/184.51 c core #12 184.43/184.51 c core #13 184.43/184.51 c core #14 184.43/184.51 c core #15 184.43/184.51 c core #16 184.43/184.51 c core #17 184.43/184.51 c core #18 184.43/184.51 c core #19 184.43/184.51 c core #20 184.43/184.51 c core #21 184.43/184.51 c core #22 184.43/184.51 c core #23 184.43/184.51 c core #24 184.43/184.51 c core #25 184.43/184.51 c core #26 184.43/184.51 c core #27 184.43/184.51 c core #28 184.43/184.51 c core #29 184.43/184.51 c core #30 184.43/184.51 c core #31 184.43/184.51 c core #32 184.43/184.51 c core #33 184.43/184.51 c core #34 184.43/184.51 c core #35 184.43/184.51 c core #36 184.43/184.51 c core #37 184.43/184.51 c core #38 184.43/184.51 c core #39 184.43/184.51 c core #40 184.43/184.51 c core #41 184.43/184.51 c core #42 184.43/184.51 c core #43 184.43/184.51 c core #44 184.43/184.51 c core #45 184.43/184.51 c core #46 184.43/184.51 c core #47 184.43/184.51 c core #48 184.43/184.51 c core #49 184.43/184.51 c core #50 184.43/184.51 c core #51 184.43/184.51 c core #52 184.43/184.51 c core #53 184.43/184.51 c core #54 184.43/184.51 c core #55 184.43/184.51 c core #56 184.43/184.51 c core #57 184.43/184.51 c core #58 184.43/184.51 c core #59 184.43/184.51 c core #60 184.43/184.51 c core #61 184.43/184.51 c core #62 184.43/184.51 c core #63 184.43/184.51 c core #64 184.43/184.51 c core #65 184.43/184.51 c core #66 184.43/184.51 c core #67 184.43/184.51 c core #68 184.43/184.51 c core #69 184.43/184.51 c core #70 184.43/184.51 c core #71 184.43/184.51 c core #72 184.43/184.51 c core #73 184.43/184.51 c core #74 184.43/184.51 c core #75 184.43/184.51 c core #76 184.43/184.51 c core #77 184.43/184.51 c core #78 184.43/184.51 c core #79 184.43/184.51 c core #80 184.43/184.51 c core #81 184.43/184.51 c core #82 184.43/184.51 c core #83 184.43/184.51 c core #84 184.43/184.51 c core #85 184.43/184.51 c core #86 184.43/184.51 c core #87 184.43/184.51 c core #88 184.43/184.51 c core #89 184.43/184.51 c core #90 184.43/184.51 c core #91 184.43/184.51 c core #92 184.43/184.51 c core #93 184.43/184.51 c core #94 184.43/184.51 c core #95 184.43/184.51 c core #96 184.43/184.51 c core #97 184.43/184.51 c core #98 184.43/184.51 c core #99 184.43/184.51 c core #100 184.43/184.51 c core #101 184.43/184.51 c core #102 184.43/184.51 c core #103 184.43/184.51 c core #104 184.43/184.51 c core #105 184.43/184.51 c core #106 184.43/184.51 c core #107 184.43/184.51 c core #108 184.43/184.51 c core #109 184.43/184.51 c core #110 184.43/184.51 c core #111 184.43/184.51 c core #112 184.43/184.51 c core #113 184.43/184.51 c core #114 184.43/184.51 c core #115 184.43/184.51 c core #116 184.43/184.51 c core #117 184.43/184.51 c core #118 184.43/184.51 c core #119 184.43/184.51 c core #120 184.43/184.51 c core #121 184.43/184.51 c core #122 184.43/184.51 c core #123 184.43/184.51 c core #124 184.43/184.51 c core #125 184.43/184.51 c core #126 184.43/184.51 c core #127 184.43/184.51 c core #128 184.43/184.51 c core #129 184.43/184.51 c core #130 184.43/184.51 c core #131 184.43/184.51 c core #132 184.43/184.51 c core #133 184.43/184.51 c core #134 184.43/184.51 c core #135 184.43/184.51 c core #136 184.43/184.51 c core #137 184.43/184.51 c core #138 184.43/184.51 c core #139 184.43/184.51 c core #140 184.43/184.51 c core #141 184.43/184.51 c core #142 184.43/184.51 c core #143 184.43/184.51 c core #144 184.43/184.51 c core #145 184.43/184.51 c core #146 184.43/184.51 c core #147 184.43/184.51 c core #148 184.43/184.51 c core #149 184.43/184.51 c core #150 184.43/184.51 c core #151 184.43/184.51 c core #152 184.43/184.51 c core #153 184.43/184.51 c core #154 184.43/184.51 c core #155 184.43/184.51 c core #156 184.43/184.51 c core #157 184.43/184.51 c core #158 184.43/184.51 c core #159 184.43/184.51 c core #160 184.43/184.51 c core #161 184.43/184.51 c core #162 184.43/184.51 c core #163 184.43/184.51 c core #164 184.43/184.51 c core #165 184.43/184.51 c core #166 184.43/184.51 c core #167 184.43/184.51 c core #168 184.43/184.51 c core #169 184.43/184.51 c core #170 184.43/184.51 c core #171 184.43/184.51 c core #172 184.43/184.51 c core #173 184.43/184.51 c core #174 184.43/184.51 c core #175 184.43/184.51 c core #176 184.43/184.51 c core #177 184.43/184.51 c core #178 184.43/184.51 c core #179 184.43/184.51 c core #180 184.43/184.51 c core #181 184.43/184.51 c core #182 184.43/184.51 c core #183 184.43/184.51 c core #184 184.43/184.51 c core #185 184.43/184.51 c core #186 184.43/184.51 c core #187 184.43/184.51 c core #188 184.43/184.51 c core #189 184.43/184.51 c core #190 184.43/184.51 c ============================[ Search Statistics ]============================== 184.43/184.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.51 c =============================================================================== 184.43/184.51 c | 0 | 1584 4188 15528 | 5000 0 nan | 0.000 % | 184.43/184.51 c =============================================================================== 184.43/184.53 c core #191 184.43/184.53 c ============================[ Search Statistics ]============================== 184.43/184.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.53 c =============================================================================== 184.43/184.53 c | 0 | 1590 4189 15540 | 5000 0 nan | 0.000 % | 184.43/184.53 c =============================================================================== 184.43/184.54 c core #192 184.43/184.54 c ============================[ Search Statistics ]============================== 184.43/184.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.54 c =============================================================================== 184.43/184.54 c | 0 | 1599 4190 15558 | 5000 0 nan | 0.000 % | 184.43/184.55 c =============================================================================== 184.43/184.56 c core #193 184.43/184.56 c ============================[ Search Statistics ]============================== 184.43/184.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.56 c =============================================================================== 184.43/184.56 c | 0 | 1605 4191 15570 | 5000 0 nan | 0.000 % | 184.43/184.56 c =============================================================================== 184.43/184.57 c core #194 184.43/184.57 c ============================[ Search Statistics ]============================== 184.43/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.57 c =============================================================================== 184.43/184.57 c | 0 | 1611 4192 15582 | 5000 0 nan | 0.000 % | 184.43/184.58 c =============================================================================== 184.43/184.59 c core #195 184.43/184.59 c ============================[ Search Statistics ]============================== 184.43/184.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.59 c =============================================================================== 184.43/184.59 c | 0 | 1620 4193 15600 | 5000 0 nan | 0.000 % | 184.43/184.59 c =============================================================================== 184.54/184.60 c core #196 184.54/184.60 c ============================[ Search Statistics ]============================== 184.54/184.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.60 c =============================================================================== 184.54/184.60 c | 0 | 1627 4194 15614 | 5000 0 nan | 0.000 % | 184.54/184.61 c =============================================================================== 184.54/184.62 c core #197 184.54/184.62 c ============================[ Search Statistics ]============================== 184.54/184.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.62 c =============================================================================== 184.54/184.62 c | 0 | 1638 4195 15636 | 5000 0 nan | 0.000 % | 184.54/184.62 c =============================================================================== 184.54/184.63 c core #198 184.54/184.63 c ============================[ Search Statistics ]============================== 184.54/184.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.63 c =============================================================================== 184.54/184.63 c | 0 | 1649 4196 15658 | 5000 0 nan | 0.000 % | 184.54/184.64 c =============================================================================== 184.54/184.65 c core #199 184.54/184.65 c ============================[ Search Statistics ]============================== 184.54/184.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.65 c =============================================================================== 184.54/184.65 c | 0 | 1655 4197 15670 | 5000 0 nan | 0.000 % | 184.54/184.65 c =============================================================================== 184.54/184.66 c core #200 184.54/184.66 c ============================[ Search Statistics ]============================== 184.54/184.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.66 c =============================================================================== 184.54/184.66 c | 0 | 1662 4198 15684 | 5000 0 nan | 0.000 % | 184.54/184.67 c =============================================================================== 184.54/184.68 c core #201 184.54/184.68 c ============================[ Search Statistics ]============================== 184.54/184.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.68 c =============================================================================== 184.54/184.68 c | 0 | 1669 4199 15698 | 5000 0 nan | 0.000 % | 184.54/184.69 c =============================================================================== 184.65/184.70 c core #202 184.65/184.70 c ============================[ Search Statistics ]============================== 184.65/184.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.70 c =============================================================================== 184.65/184.70 c | 0 | 1676 4200 15712 | 5000 0 nan | 0.000 % | 184.65/184.70 c =============================================================================== 184.65/184.71 c core #203 184.65/184.71 c ============================[ Search Statistics ]============================== 184.65/184.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.71 c =============================================================================== 184.65/184.71 c | 0 | 1682 4201 15724 | 5000 0 nan | 0.000 % | 184.65/184.72 c =============================================================================== 184.65/184.73 c core #204 184.65/184.73 c ============================[ Search Statistics ]============================== 184.65/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.73 c =============================================================================== 184.65/184.73 c | 0 | 1690 4202 15740 | 5000 0 nan | 0.000 % | 184.65/184.73 c =============================================================================== 184.65/184.75 c core #205 184.65/184.75 c ============================[ Search Statistics ]============================== 184.65/184.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.75 c =============================================================================== 184.65/184.75 c | 0 | 1697 4203 15754 | 5000 0 nan | 0.000 % | 184.65/184.75 c =============================================================================== 184.65/184.76 c core #206 184.65/184.76 c ============================[ Search Statistics ]============================== 184.65/184.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.76 c =============================================================================== 184.65/184.76 c | 0 | 1703 4204 15766 | 5000 0 nan | 0.000 % | 184.65/184.77 c =============================================================================== 184.65/184.78 c core #207 184.65/184.78 c ============================[ Search Statistics ]============================== 184.65/184.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.78 c =============================================================================== 184.65/184.78 c | 0 | 1715 4205 15790 | 5000 0 nan | 0.000 % | 184.65/184.78 c =============================================================================== 184.65/184.79 c core #208 184.65/184.79 c ============================[ Search Statistics ]============================== 184.65/184.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.79 c =============================================================================== 184.65/184.79 c | 0 | 1721 4206 15802 | 5000 0 nan | 0.000 % | 184.65/184.80 c =============================================================================== 184.75/184.81 c core #209 184.75/184.81 c ============================[ Search Statistics ]============================== 184.75/184.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.81 c =============================================================================== 184.75/184.81 c | 0 | 1727 4207 15814 | 5000 0 nan | 0.000 % | 184.75/184.82 c =============================================================================== 184.75/184.83 c core #210 184.75/184.83 c ============================[ Search Statistics ]============================== 184.75/184.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.83 c =============================================================================== 184.75/184.83 c | 0 | 1733 4208 15826 | 5000 0 nan | 0.000 % | 184.75/184.83 c =============================================================================== 184.75/184.84 c core #211 184.75/184.84 c ============================[ Search Statistics ]============================== 184.75/184.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.84 c =============================================================================== 184.75/184.84 c | 0 | 1748 4209 15856 | 5000 0 nan | 0.000 % | 184.75/184.85 c =============================================================================== 184.75/184.86 c core #212 184.75/184.86 c ============================[ Search Statistics ]============================== 184.75/184.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.86 c =============================================================================== 184.75/184.86 c | 0 | 1759 4210 15878 | 5000 0 nan | 0.000 % | 184.75/184.87 c =============================================================================== 184.75/184.88 c core #213 184.75/184.88 c ============================[ Search Statistics ]============================== 184.75/184.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.75/184.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.75/184.88 c =============================================================================== 184.75/184.88 c | 0 | 1768 4211 15896 | 5000 0 nan | 0.000 % | 184.75/184.88 c =============================================================================== 184.84/184.90 c core #214 184.84/184.90 c ============================[ Search Statistics ]============================== 184.84/184.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.90 c =============================================================================== 184.84/184.90 c | 0 | 1776 4212 15912 | 5000 0 nan | 0.000 % | 184.84/184.90 c =============================================================================== 184.84/184.91 c core #215 184.84/184.91 c ============================[ Search Statistics ]============================== 184.84/184.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.91 c =============================================================================== 184.84/184.91 c | 0 | 1786 4213 15932 | 5000 0 nan | 0.000 % | 184.84/184.92 c =============================================================================== 184.84/184.93 c core #216 184.84/184.93 c ============================[ Search Statistics ]============================== 184.84/184.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.93 c =============================================================================== 184.84/184.93 c | 0 | 1793 4214 15946 | 5000 0 nan | 0.000 % | 184.84/184.94 c =============================================================================== 184.84/184.95 c core #217 184.84/184.95 c ============================[ Search Statistics ]============================== 184.84/184.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.95 c =============================================================================== 184.84/184.95 c | 0 | 1803 4215 15966 | 5000 0 nan | 0.000 % | 184.84/184.95 c =============================================================================== 184.84/184.97 c core #218 184.84/184.97 c ============================[ Search Statistics ]============================== 184.84/184.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.97 c =============================================================================== 184.84/184.97 c | 0 | 1808 4216 15976 | 5000 0 nan | 0.000 % | 184.84/184.97 c =============================================================================== 184.84/184.98 c core #219 184.84/184.98 c ============================[ Search Statistics ]============================== 184.84/184.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.98 c =============================================================================== 184.84/184.98 c | 0 | 1826 4217 16012 | 5000 0 nan | 0.000 % | 184.84/184.99 c =============================================================================== 184.93/185.00 c core #220 184.93/185.00 c ============================[ Search Statistics ]============================== 184.93/185.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.00 c =============================================================================== 184.93/185.00 c | 0 | 1839 4218 16038 | 5000 0 nan | 0.000 % | 184.93/185.01 c =============================================================================== 184.93/185.02 c core #221 184.93/185.02 c ============================[ Search Statistics ]============================== 184.93/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.02 c =============================================================================== 184.93/185.02 c | 0 | 1864 4219 16088 | 5000 0 nan | 0.000 % | 184.93/185.02 c =============================================================================== 184.93/185.03 c core #222 184.93/185.03 c ============================[ Search Statistics ]============================== 184.93/185.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.03 c =============================================================================== 184.93/185.03 c | 0 | 1871 4220 16102 | 5000 0 nan | 0.000 % | 184.93/185.04 c =============================================================================== 184.93/185.05 c core #223 184.93/185.05 c ============================[ Search Statistics ]============================== 184.93/185.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.05 c =============================================================================== 184.93/185.05 c | 0 | 1877 4221 16114 | 5000 0 nan | 0.000 % | 184.93/185.06 c =============================================================================== 184.93/185.07 c core #224 184.93/185.07 c ============================[ Search Statistics ]============================== 184.93/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.07 c =============================================================================== 184.93/185.07 c | 0 | 1887 4222 16134 | 5000 0 nan | 0.000 % | 184.93/185.07 c =============================================================================== 184.93/185.09 c core #225 184.93/185.09 c ============================[ Search Statistics ]============================== 184.93/185.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.93/185.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.93/185.09 c =============================================================================== 184.93/185.09 c | 0 | 1901 4223 16162 | 5000 0 nan | 0.000 % | 184.93/185.09 c =============================================================================== 185.03/185.10 c core #226 185.03/185.10 c ============================[ Search Statistics ]============================== 185.03/185.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.10 c =============================================================================== 185.03/185.10 c | 0 | 1906 4225 16175 | 5000 0 nan | 0.000 % | 185.03/185.11 c =============================================================================== 185.03/185.12 c core #227 185.03/185.12 c ============================[ Search Statistics ]============================== 185.03/185.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.12 c =============================================================================== 185.03/185.12 c | 0 | 1916 4227 16197 | 5000 0 nan | 0.000 % | 185.03/185.13 c =============================================================================== 185.03/185.14 c core #228 185.03/185.14 c ============================[ Search Statistics ]============================== 185.03/185.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.14 c =============================================================================== 185.03/185.14 c | 0 | 1930 4229 16228 | 5000 0 nan | 0.000 % | 185.03/185.14 c =============================================================================== 185.03/185.16 c core #229 185.03/185.16 c ============================[ Search Statistics ]============================== 185.03/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.16 c =============================================================================== 185.03/185.16 c | 0 | 1944 4230 16256 | 5000 0 nan | 0.000 % | 185.03/185.16 c =============================================================================== 185.03/185.17 c core #230 185.03/185.17 c ============================[ Search Statistics ]============================== 185.03/185.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.17 c =============================================================================== 185.03/185.17 c | 0 | 1953 4231 16274 | 5000 0 nan | 0.000 % | 185.03/185.18 c =============================================================================== 185.03/185.19 c core #231 185.03/185.19 c ============================[ Search Statistics ]============================== 185.03/185.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.03/185.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.03/185.19 c =============================================================================== 185.03/185.19 c | 0 | 1960 4232 16288 | 5000 0 nan | 0.000 % | 185.03/185.19 c =============================================================================== 185.13/185.21 c core #232 185.13/185.21 c ============================[ Search Statistics ]============================== 185.13/185.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.21 c =============================================================================== 185.13/185.21 c | 0 | 1966 4233 16300 | 5000 0 nan | 0.000 % | 185.13/185.21 c =============================================================================== 185.13/185.23 c core #233 185.13/185.23 c ============================[ Search Statistics ]============================== 185.13/185.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.23 c =============================================================================== 185.13/185.23 c | 0 | 1975 4235 16321 | 5000 0 nan | 0.000 % | 185.13/185.23 c =============================================================================== 185.13/185.25 c core #234 185.13/185.25 c ============================[ Search Statistics ]============================== 185.13/185.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.25 c =============================================================================== 185.13/185.25 c | 0 | 2011 4237 16395 | 5000 0 nan | 0.000 % | 185.13/185.25 c =============================================================================== 185.13/185.26 c core #235 185.13/185.26 c ============================[ Search Statistics ]============================== 185.13/185.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.26 c =============================================================================== 185.13/185.26 c | 0 | 2020 4238 16413 | 5000 0 nan | 0.000 % | 185.13/185.27 c =============================================================================== 185.13/185.28 c core #236 185.13/185.28 c ============================[ Search Statistics ]============================== 185.13/185.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.28 c =============================================================================== 185.13/185.28 c | 0 | 2029 4239 16431 | 5000 0 nan | 0.000 % | 185.13/185.28 c =============================================================================== 185.24/185.30 c core #237 185.24/185.30 c ============================[ Search Statistics ]============================== 185.24/185.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.30 c =============================================================================== 185.24/185.30 c | 0 | 2034 4240 16441 | 5000 0 nan | 0.000 % | 185.24/185.30 c =============================================================================== 185.24/185.31 c core #238 185.24/185.31 c ============================[ Search Statistics ]============================== 185.24/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.31 c =============================================================================== 185.24/185.31 c | 0 | 2047 4241 16467 | 5000 0 nan | 0.000 % | 185.24/185.32 c =============================================================================== 185.24/185.34 c core #239 185.24/185.34 c ============================[ Search Statistics ]============================== 185.24/185.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.34 c =============================================================================== 185.24/185.34 c | 0 | 2085 4242 16543 | 5000 0 nan | 0.000 % | 185.24/185.34 c =============================================================================== 185.24/185.36 c core #240 185.24/185.36 c ============================[ Search Statistics ]============================== 185.24/185.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.36 c =============================================================================== 185.24/185.36 c | 0 | 2123 4243 16619 | 5000 0 nan | 0.000 % | 185.24/185.36 c =============================================================================== 185.24/185.38 c core #241 185.24/185.38 c ============================[ Search Statistics ]============================== 185.24/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.38 c =============================================================================== 185.24/185.38 c | 0 | 2136 4244 16645 | 5000 0 nan | 0.000 % | 185.24/185.38 c =============================================================================== 185.24/185.39 c core #242 185.24/185.39 c ============================[ Search Statistics ]============================== 185.24/185.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.39 c =============================================================================== 185.24/185.39 c | 0 | 2162 4245 16697 | 5000 0 nan | 0.000 % | 185.34/185.42 c | 101 | 2159 4245 16697 | 5500 101 10 | 0.231 % | 185.34/185.42 c =============================================================================== 185.34/185.43 c core #243 185.34/185.43 c ============================[ Search Statistics ]============================== 185.34/185.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.43 c =============================================================================== 185.34/185.43 c | 0 | 2235 4247 16846 | 5000 0 nan | 0.000 % | 185.34/185.44 c =============================================================================== 185.34/185.45 c core #244 185.34/185.45 c ============================[ Search Statistics ]============================== 185.34/185.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.45 c =============================================================================== 185.34/185.45 c | 0 | 2250 4248 16876 | 5000 0 nan | 0.000 % | 185.34/185.46 c =============================================================================== 185.34/185.47 c core #245 185.34/185.47 c ============================[ Search Statistics ]============================== 185.34/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.47 c =============================================================================== 185.34/185.47 c | 0 | 2264 4249 16904 | 5000 0 nan | 0.000 % | 185.34/185.48 c =============================================================================== 185.34/185.50 c core #246 185.34/185.50 c ============================[ Search Statistics ]============================== 185.34/185.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.50 c =============================================================================== 185.34/185.50 c | 0 | 2277 4250 16930 | 5000 0 nan | 0.000 % | 185.44/185.52 c | 100 | 2274 4250 16930 | 5500 100 7 | 0.439 % | 185.44/185.52 c =============================================================================== 185.44/185.54 c core #247 185.44/185.54 c ============================[ Search Statistics ]============================== 185.44/185.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.54 c =============================================================================== 185.44/185.54 c | 0 | 2346 4255 17078 | 5000 0 nan | 0.000 % | 185.44/185.55 c | 101 | 2344 4255 17078 | 5500 101 9 | 0.085 % | 185.44/185.56 c | 252 | 2344 4255 17078 | 6050 252 11 | 0.087 % | 185.44/185.58 c | 479 | 2337 4255 17078 | 6655 478 12 | 0.426 % | 185.44/185.59 c =============================================================================== 185.53/185.61 c core #248 185.53/185.61 c ============================[ Search Statistics ]============================== 185.53/185.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.61 c =============================================================================== 185.53/185.61 c | 0 | 2429 4257 17247 | 5000 0 nan | 0.000 % | 185.53/185.63 c =============================================================================== 185.53/185.64 c core #249 185.53/185.64 c ============================[ Search Statistics ]============================== 185.53/185.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.64 c =============================================================================== 185.53/185.64 c | 0 | 2449 4260 17292 | 5000 0 nan | 0.000 % | 185.53/185.66 c | 100 | 2446 4260 17292 | 5500 100 7 | 0.163 % | 185.53/185.67 c | 250 | 2432 4260 17292 | 6050 238 7 | 1.225 % | 185.63/185.70 c =============================================================================== 185.63/185.72 c core #250 185.63/185.72 c ============================[ Search Statistics ]============================== 185.63/185.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.72 c =============================================================================== 185.63/185.72 c | 0 | 2592 4263 17582 | 5000 0 nan | 0.000 % | 185.63/185.73 c | 101 | 2591 4263 17582 | 5500 101 8 | 0.077 % | 185.63/185.75 c | 251 | 2591 4263 17582 | 6050 251 10 | 0.077 % | 185.63/185.78 c | 478 | 2590 4263 17582 | 6655 468 11 | 0.077 % | 185.74/185.80 c =============================================================================== 185.74/185.82 c core #251 185.74/185.82 c ============================[ Search Statistics ]============================== 185.74/185.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.82 c =============================================================================== 185.74/185.82 c | 0 | 2622 4272 17664 | 5000 0 nan | 0.000 % | 185.74/185.83 c | 100 | 2622 4272 17664 | 5500 100 16 | 0.001 % | 185.74/185.84 c | 250 | 2618 4272 17664 | 6050 248 15 | 0.153 % | 185.74/185.86 c | 477 | 2618 4272 17664 | 6655 475 14 | 0.153 % | 185.74/185.89 c | 815 | 2610 4272 17664 | 7320 812 15 | 0.610 % | 185.84/185.96 c | 1321 | 2579 4272 17664 | 8052 1304 17 | 2.861 % | 185.93/186.06 c | 2081 | 2543 4272 17664 | 8857 2005 20 | 3.013 % | 186.04/186.17 c =============================================================================== 186.14/186.21 c core #252 186.14/186.21 c ============================[ Search Statistics ]============================== 186.14/186.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.21 c =============================================================================== 186.14/186.21 c | 0 | 2833 4282 18110 | 5000 0 nan | 0.000 % | 186.14/186.22 c =============================================================================== 186.14/186.24 c core #253 186.14/186.24 c ============================[ Search Statistics ]============================== 186.14/186.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.24 c =============================================================================== 186.14/186.24 c | 0 | 2851 4283 18146 | 5000 0 nan | 0.000 % | 186.14/186.25 c | 101 | 2851 4283 18146 | 5500 101 12 | 0.001 % | 186.14/186.26 c | 251 | 2851 4283 18146 | 6050 251 20 | 0.000 % | 186.14/186.28 c | 480 | 2851 4283 18146 | 6655 480 22 | 0.001 % | 186.23/186.31 c | 818 | 2851 4283 18146 | 7320 818 31 | 0.000 % | 186.23/186.36 c | 1325 | 2851 4283 18146 | 8052 1325 31 | 0.001 % | 186.34/186.44 c | 2085 | 2851 4283 18146 | 8857 2085 34 | 0.000 % | 186.43/186.59 c | 3224 | 2849 4283 18146 | 9743 3223 35 | 0.070 % | 186.74/186.86 c | 4936 | 2825 4283 18146 | 10717 4704 34 | 0.912 % | 186.84/186.95 c =============================================================================== 186.84/186.99 c core #254 186.84/186.99 c ============================[ Search Statistics ]============================== 186.84/186.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.84/186.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.84/186.99 c =============================================================================== 186.84/186.99 c | 0 | 2969 4291 18399 | 5000 0 nan | 0.000 % | 186.84/187.00 c | 102 | 2969 4291 18399 | 5500 102 20 | 0.001 % | 186.94/187.02 c | 252 | 2967 4291 18399 | 6050 252 17 | 0.068 % | 186.94/187.04 c | 477 | 2961 4291 18399 | 6655 467 15 | 0.270 % | 186.94/187.07 c | 815 | 2957 4291 18399 | 7320 802 17 | 0.404 % | 187.03/187.17 c | 1321 | 2952 4291 18399 | 8052 1307 45 | 0.674 % | 187.23/187.36 c | 2081 | 2949 4291 18399 | 8857 2067 71 | 0.674 % | 187.54/187.66 c | 3220 | 2949 4291 18399 | 9743 3201 126 | 0.674 % | 188.04/188.11 c | 4928 | 2925 4291 18399 | 10717 4909 132 | 2.190 % | 188.63/188.79 c | 7490 | 2915 4291 18399 | 11789 7471 153 | 2.189 % | 189.83/189.91 c | 11335 | 2915 4291 18399 | 12968 11316 145 | 2.190 % | 191.53/191.67 c | 17101 | 2893 4291 18399 | 14265 10147 176 | 2.661 % | 194.43/194.51 c | 25751 | 2893 4291 18399 | 15692 11216 148 | 2.661 % | 198.83/198.90 c | 38726 | 2893 4291 18399 | 17261 15915 154 | 2.661 % | 205.33/205.42 c | 58188 | 2891 4291 18399 | 18987 17271 151 | 2.796 % | 214.44/214.56 c | 87380 | 2883 4291 18399 | 20886 16724 196 | 2.931 % | 228.03/228.20 c | 131171 | 2846 4291 18399 | 22974 17310 175 | 4.614 % | 237.72/237.80 c =============================================================================== 237.92/238.00 c core #255 237.92/238.00 c ============================[ Search Statistics ]============================== 237.92/238.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.92/238.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.92/238.00 c =============================================================================== 237.92/238.00 c | 0 | 3140 4306 18774 | 5000 0 nan | 0.000 % | 237.92/238.04 c | 102 | 3140 4306 18774 | 5500 102 17 | 0.001 % | 237.92/238.07 c | 253 | 3140 4306 18774 | 6050 253 14 | 0.000 % | 237.92/238.08 c | 479 | 3140 4306 18774 | 6655 479 15 | 0.001 % | 238.03/238.11 c | 816 | 3140 4306 18774 | 7320 816 15 | 0.000 % | 238.03/238.18 c | 1322 | 3132 4306 18774 | 8052 1314 19 | 0.255 % | 238.22/238.37 c | 2082 | 3131 4306 18774 | 8857 2074 59 | 0.319 % | 238.53/238.65 c | 3222 | 3131 4306 18774 | 9743 3214 83 | 0.319 % | 238.92/239.09 c | 4931 | 3128 4306 18774 | 10717 4912 98 | 0.383 % | 239.42/239.54 c | 7493 | 3110 4306 18774 | 11789 7474 78 | 0.956 % | 240.42/240.53 c | 11337 | 3110 4306 18774 | 12968 9451 84 | 0.956 % | 242.12/242.23 c | 17105 | 3110 4306 18774 | 14265 8320 161 | 0.955 % | 244.72/244.81 c | 25754 | 3110 4306 18774 | 15692 9412 181 | 0.955 % | 248.71/248.89 c | 38729 | 3110 4306 18774 | 17261 14111 143 | 0.956 % | 255.71/255.86 c | 58190 | 3110 4306 18774 | 18987 15494 224 | 0.956 % | 266.41/266.54 c | 87383 | 3108 4306 18774 | 20886 14693 185 | 1.019 % | 282.41/282.57 c | 131173 | 3108 4306 18774 | 22974 14382 201 | 1.019 % | 308.10/308.27 c | 196858 | 3108 4306 18774 | 25272 15187 141 | 1.020 % | 350.59/350.79 c | 295385 | 3108 4306 18774 | 27799 22301 176 | 1.020 % | 441.97/442.16 c | 443175 | 3108 4306 18774 | 30579 27785 204 | 1.019 % | 545.94/546.15 c | 664858 | 3108 4306 18774 | 33637 25527 196 | 1.019 % | 678.90/679.15 c | 997383 | 3108 4306 18774 | 37001 31768 189 | 1.019 % |
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-2656022-1276466318/watcher-2656022-1276466318 -o /tmp/evaluation-result-2656022-1276466318/solver-2656022-1276466318 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656022-1276466318.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.85 0.95 0.98 3/106 27943 /proc/meminfo: memFree=1790096/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=2672 CPUtime=0 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 304 0 0 0 0 0 0 0 20 0 1 0 22235827 2736128 223 1992294400 134512640 135751879 4294269344 18446744073709551615 134561495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 668 223 145 303 0 340 0 [startup+0.0423019 s] /proc/loadavg: 0.85 0.95 0.98 3/106 27943 /proc/meminfo: memFree=1790096/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=3372 CPUtime=0.04 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 503 0 0 0 4 0 0 0 20 0 1 0 22235827 3452928 399 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 843 399 144 303 0 538 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3372 [startup+0.100309 s] /proc/loadavg: 0.85 0.95 0.98 3/106 27943 /proc/meminfo: memFree=1790096/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=3372 CPUtime=0.09 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 517 0 0 0 9 0 0 0 20 0 1 0 22235827 3452928 413 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 843 413 147 303 0 538 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3372 [startup+0.300428 s] /proc/loadavg: 0.85 0.95 0.98 3/106 27943 /proc/meminfo: memFree=1790096/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=5684 CPUtime=0.29 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 1091 0 0 0 28 1 0 0 20 0 1 0 22235827 5820416 987 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 1421 988 147 303 0 1116 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5684 [startup+0.700379 s] /proc/loadavg: 0.85 0.95 0.98 3/106 27943 /proc/meminfo: memFree=1790096/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=9800 CPUtime=0.69 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 2123 0 0 0 67 2 0 0 20 0 1 0 22235827 10035200 2019 1992294400 134512640 135751879 4294269344 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 2450 2019 147 303 0 2145 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9800 [startup+1.50047 s] /proc/loadavg: 0.85 0.95 0.98 2/107 27944 /proc/meminfo: memFree=1779548/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=17488 CPUtime=1.49 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 4036 0 0 0 145 4 0 0 22 0 1 0 22235827 17907712 3932 1992294400 134512640 135751879 4294269344 18446744073709551615 134606626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 4372 3932 147 303 0 4067 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17488 [startup+3.10066 s] /proc/loadavg: 0.86 0.95 0.98 2/107 27944 /proc/meminfo: memFree=1769636/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=30236 CPUtime=3.09 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 7213 0 0 0 303 6 0 0 25 0 1 0 22235827 30961664 7109 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 7559 7109 148 303 0 7254 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30236 [startup+6.30104 s] /proc/loadavg: 0.86 0.95 0.98 2/107 27944 /proc/meminfo: memFree=1743100/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=54052 CPUtime=6.29 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 13167 0 0 0 617 12 0 0 25 0 1 0 22235827 55349248 13063 1992294400 134512640 135751879 4294269344 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 13513 13063 148 303 0 13208 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 54052 [startup+12.7008 s] /proc/loadavg: 0.88 0.95 0.98 2/107 27944 /proc/meminfo: memFree=1701320/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=94696 CPUtime=12.69 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 23341 0 0 0 1245 24 0 0 25 0 1 0 22235827 96968704 23237 1992294400 134512640 135751879 4294269344 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 23674 23237 148 303 0 23369 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 94696 [startup+25.5003 s] /proc/loadavg: 0.90 0.95 0.98 2/107 27946 /proc/meminfo: memFree=1632128/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=161524 CPUtime=25.49 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 40036 0 0 0 2505 44 0 0 25 0 1 0 22235827 165400576 39932 1992294400 134512640 135751879 4294269344 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 40381 39932 148 303 0 40076 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 161524 [startup+51.1003 s] /proc/loadavg: 0.93 0.96 0.98 2/107 27946 /proc/meminfo: memFree=1510360/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=283548 CPUtime=51.08 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 70539 0 0 0 5028 80 0 0 25 0 1 0 22235827 290353152 70435 1992294400 134512640 135751879 4294269344 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 70887 70435 148 303 0 70582 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 283548 [startup+102.308 s] /proc/loadavg: 0.97 0.96 0.98 2/107 27948 /proc/meminfo: memFree=1270792/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=520724 CPUtime=102.27 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 129797 0 0 0 10076 151 0 0 25 0 1 0 22235827 533221376 129693 1992294400 134512640 135751879 4294269344 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 130181 129693 148 303 0 129876 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 520724 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27957 /proc/meminfo: memFree=1080328/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=713588 CPUtime=162.24 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 177998 0 0 0 16009 215 0 0 25 0 1 0 22235827 730714112 177894 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 178397 177894 148 303 0 178092 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 713588 [startup+222.3 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27959 /proc/meminfo: memFree=965008/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=825416 CPUtime=222.23 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 206052 0 0 0 21946 277 0 0 25 0 1 0 22235827 845225984 205917 1992294400 134512640 135751879 4294269344 18446744073709551615 134606617 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 206354 205917 151 303 0 206049 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 825416 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27961 /proc/meminfo: memFree=840388/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=951368 CPUtime=282.21 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 237529 0 0 0 27878 343 0 0 25 0 1 0 22235827 974200832 237394 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 237842 237394 151 303 0 237537 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 951368 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27963 /proc/meminfo: memFree=740196/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1049960 CPUtime=342.19 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 262147 0 0 0 33830 389 0 0 25 0 1 0 22235827 1075159040 262012 1992294400 134512640 135751879 4294269344 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 262490 262012 151 303 0 262185 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1049960 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27965 /proc/meminfo: memFree=653148/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1137676 CPUtime=402.18 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 284051 0 0 0 39787 431 0 0 25 0 1 0 22235827 1164980224 283916 1992294400 134512640 135751879 4294269344 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 284419 283916 151 303 0 284114 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 1137676 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27965 /proc/meminfo: memFree=566844/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1223596 CPUtime=462.16 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 305507 0 0 0 45745 471 0 0 25 0 1 0 22235827 1252962304 305372 1992294400 134512640 135751879 4294269344 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 305899 305372 151 303 0 305594 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 1223596 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27967 /proc/meminfo: memFree=471612/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1319272 CPUtime=522.14 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 329403 0 0 0 51692 522 0 0 25 0 1 0 22235827 1350934528 329268 1992294400 134512640 135751879 4294269344 18446744073709551615 134616334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 329818 329268 151 303 0 329513 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1319272 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27969 /proc/meminfo: memFree=358524/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1431316 CPUtime=582.13 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 357426 0 0 0 57636 577 0 0 25 0 1 0 22235827 1465667584 357291 1992294400 134512640 135751879 4294269344 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 357829 357291 151 303 0 357524 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1431316 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27971 /proc/meminfo: memFree=231796/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1557276 CPUtime=642.12 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 388878 0 0 0 63584 628 0 0 25 0 1 0 22235827 1594650624 388743 1992294400 134512640 135751879 4294269344 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 389319 388743 151 303 0 389014 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1557276 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27973 /proc/meminfo: memFree=113004/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1676928 CPUtime=702.1 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 418789 0 0 0 69532 678 0 0 25 0 1 0 22235827 1717174272 418654 1992294400 134512640 135751879 4294269344 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 419232 418654 151 303 0 418927 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1676928 [startup+762.308 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27973 /proc/meminfo: memFree=24716/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1764052 CPUtime=762.08 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 440558 0 0 0 75491 717 0 0 25 0 1 0 22235827 1806389248 440423 1992294400 134512640 135751879 4294269344 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27943/statm: 441013 440423 151 303 0 440708 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1764052 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+817.801 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27975 /proc/meminfo: memFree=9816/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=1843288 CPUtime=817.55 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4202496 460365 0 0 0 80998 757 0 0 25 0 1 0 22235827 1887526912 460230 1992294400 134512640 135751879 4294269344 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27943/statm: 460822 460230 151 303 0 460517 0 Current children cumulated CPU time (s) 817.55 Current children cumulated vsize (KiB) 1843288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+817.91 s] /proc/loadavg: 0.99 0.97 0.98 2/107 27975 /proc/meminfo: memFree=9816/2059040 swapFree=4136456/4192956 [pid=27943] ppid=27941 vsize=0 CPUtime=817.66 /proc/27943/stat : 27943 (wbo1.4b) R 27941 27943 26699 0 -1 4203524 460365 0 0 0 80998 768 0 0 25 0 1 0 22235827 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/27943/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 817.66 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 817.973 CPU time (s): 817.725 CPU user time (s): 809.982 CPU system time (s): 7.74282 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1843288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 809.982 system time used= 7.74282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460365 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= 17 involuntary context switches= 553 runsolver used 1.3298 second user time and 3.9114 second system time The end
Begin job on node001 at 2010-06-13 23:58:38 IDJOB=2656022 IDBENCH=2185 IDSOLVER=1161 FILE ID=node001/2656022-1276466318 PBS_JOBID= 11173348 Free space on /tmp= 62392 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8a4.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656022-1276466318/watcher-2656022-1276466318 -o /tmp/evaluation-result-2656022-1276466318/solver-2656022-1276466318 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656022-1276466318.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 39250f205953aedd83d7a2bcba6bda16 RANDOM SEED=8712057 node001.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.202 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.202 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1790624 kB Buffers: 47820 kB Cached: 141272 kB SwapCached: 9528 kB Active: 96800 kB Inactive: 104860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790624 kB SwapTotal: 4192956 kB SwapFree: 4136456 kB Dirty: 2964 kB Writeback: 16 kB AnonPages: 10908 kB Mapped: 9208 kB Slab: 44868 kB PageTables: 3992 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180952 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= 62388 MiB End job on node001 at 2010-06-14 00:12:18