Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.15 | 1800.69 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-10teams.opb |
MD5SUM | 6db31fd4066996ff4f309d723fc2c237 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 904 |
Best CPU time to get the best result obtained on this benchmark | 54.7217 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 904 |
Optimality of the best value was proved | YES |
Number of variables | 1800 |
Total number of constraints | 215 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 215 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 72 |
Number of terms in the objective function | 1800 |
Biggest coefficient in the objective function | 86 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 41700 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 86 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 41700 |
Number of bits of the biggest sum of numbers | 16 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2680632-1277451713.opb. 0.00/0.01 c Instance file HOME/instance-2680632-1277451713.opb 0.00/0.01 c File size is 108800 bytes. 0.00/0.02 c Highest Coefficient sum: 74 0.00/0.02 c ============================[ Problem Statistics ]============================= 0.00/0.02 c | | 0.00/0.02 c | Parsing time: 0.02 s | 0.00/0.02 c | Number Variables: 1800 | 0.00/0.02 c | Number Clauses: 120 | 0.00/0.02 c | Number Cardinality: 220 | 0.00/0.02 c | Number PB Constraints: 0 | 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 1600 340 16000 | 5000 0 nan | 0.000 % | 0.00/0.03 c | 100 | 1600 340 16000 | 5500 100 85 | 11.111 % | 0.00/0.04 c | 250 | 1600 340 16000 | 6050 250 93 | 11.111 % | 0.05/0.07 c | 476 | 1600 340 16000 | 6655 476 96 | 11.111 % | 0.09/0.18 c | 813 | 1600 340 16000 | 7320 813 141 | 11.111 % | 0.28/0.34 c | 1319 | 1600 340 16000 | 8052 1319 168 | 11.111 % | 0.49/0.59 c | 2079 | 1600 340 16000 | 8857 2079 211 | 11.111 % | 0.99/1.03 c | 3220 | 1600 340 16000 | 9743 3220 231 | 11.111 % | 1.69/1.70 c | 4928 | 1600 340 16000 | 10717 4928 230 | 11.111 % | 2.99/3.05 c | 7490 | 1600 340 16000 | 11789 7490 255 | 11.111 % | 5.29/5.36 c | 11334 | 1600 340 16000 | 12968 11334 265 | 11.111 % | 6.98/7.02 c =============================================================================== 6.98/7.02 c New solution: 1000 6.98/7.02 o 1000 6.98/7.02 c Elapsed CPU time: 6.95094 s Remaining CPU time: 173.049 s 6.98/7.02 c =============================================================================== 6.98/7.02 c | 14198 | 1600 341 17800 | 5000 14198 265 | 11.111 % | 6.98/7.07 c | 14298 | 1600 341 17800 | 5500 3650 230 | 11.111 % | 7.09/7.12 c | 14450 | 1600 341 17800 | 6050 3802 227 | 11.111 % | 7.09/7.19 c | 14677 | 1600 341 17800 | 6655 4029 224 | 11.111 % | 7.29/7.33 c | 15014 | 1600 341 17800 | 7320 4366 227 | 11.111 % | 7.39/7.48 c | 15521 | 1600 341 17800 | 8052 4873 219 | 11.111 % | 7.78/7.82 c | 16280 | 1600 341 17800 | 8857 5632 220 | 11.111 % | 8.19/8.23 c | 17419 | 1600 341 17800 | 9743 6771 219 | 11.111 % | 8.39/8.41 c =============================================================================== 8.39/8.41 c New solution: 986 8.39/8.41 o 986 8.39/8.41 c Elapsed CPU time: 8.31374 s Remaining CPU time: 171.686 s 8.39/8.41 c =============================================================================== 8.39/8.41 c | 17836 | 1600 342 19600 | 5000 7188 218 | 11.111 % | 8.39/8.44 c | 17936 | 1600 342 19600 | 5500 3694 193 | 11.111 % | 8.39/8.48 c | 18089 | 1600 342 19600 | 6050 3847 191 | 11.111 % | 8.49/8.57 c | 18315 | 1600 342 19600 | 6655 4073 191 | 11.111 % | 8.69/8.70 c | 18652 | 1600 342 19600 | 7320 4410 196 | 11.111 % | 8.79/8.87 c | 19158 | 1600 342 19600 | 8052 4916 196 | 11.111 % | 9.19/9.23 c | 19919 | 1600 342 19600 | 8857 5677 210 | 11.111 % | 9.59/9.62 c | 21058 | 1600 342 19600 | 9743 6816 206 | 11.111 % | 10.39/10.45 c | 22768 | 1600 342 19600 | 10717 8526 215 | 11.111 % | 11.79/11.86 c | 25330 | 1600 342 19600 | 11789 11088 228 | 11.111 % | 12.00/12.06 c =============================================================================== 12.00/12.06 c New solution: 952 12.00/12.06 o 952 12.00/12.06 c Elapsed CPU time: 11.9242 s Remaining CPU time: 168.076 s 12.00/12.06 c =============================================================================== 12.00/12.06 c | 25731 | 1600 343 21400 | 5000 11489 228 | 11.111 % | 12.09/12.12 c | 25831 | 1600 343 21400 | 5500 2973 239 | 11.111 % | 12.09/12.17 c | 25981 | 1600 343 21400 | 6050 3123 238 | 11.111 % | 12.18/12.24 c | 26207 | 1600 343 21400 | 6655 3349 232 | 11.111 % | 12.28/12.36 c | 26545 | 1600 343 21400 | 7320 3687 234 | 11.111 % | 12.49/12.53 c | 27052 | 1600 343 21400 | 8052 4194 231 | 11.111 % | 12.78/12.89 c | 27814 | 1600 343 21400 | 8857 4956 246 | 11.111 % | 13.28/13.31 c | 28953 | 1600 343 21400 | 9743 6095 242 | 11.111 % | 14.20/14.21 c | 30661 | 1600 343 21400 | 10717 7803 273 | 11.111 % | 15.49/15.53 c | 33225 | 1600 343 21400 | 11789 10367 264 | 11.111 % | 18.59/18.67 c | 37069 | 1600 343 21400 | 12968 7563 278 | 11.111 % | 21.49/21.52 c | 42837 | 1600 343 21400 | 14265 13331 315 | 11.111 % | 26.68/26.77 c | 51486 | 1600 343 21400 | 15692 14409 299 | 11.111 % | 38.58/38.66 c | 64461 | 1600 343 21400 | 17261 10324 362 | 11.111 % | 55.58/55.67 c | 83926 | 1600 343 21400 | 18987 11236 307 | 11.111 % | 91.56/91.64 c | 113122 | 1600 343 21400 | 20886 20079 545 | 11.111 % | 154.64/154.79 c | 156911 | 1600 343 21400 | 22974 19707 558 | 11.111 % | 181.14/181.21 c There are 200 assigned variables. 200 in cost function. 181.74/181.89 c core #1 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 11 Total Weight: 11 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #2 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 13 Total Weight: 24 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #3 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 15 Total Weight: 39 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #4 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 17 Total Weight: 56 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #5 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 19 Total Weight: 75 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #6 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 3 Total Weight: 78 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #7 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 83 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #8 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 84 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #9 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 7 Total Weight: 91 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #10 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 9 Total Weight: 100 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #11 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 101 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #12 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 11 Total Weight: 112 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #13 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 13 Total Weight: 125 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #14 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 126 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #15 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 15 Total Weight: 141 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #16 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 17 Total Weight: 158 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #17 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 159 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #18 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 164 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #19 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 7 Total Weight: 171 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #20 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 9 Total Weight: 180 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #21 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 11 Total Weight: 191 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #22 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 13 Total Weight: 204 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #23 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 15 Total Weight: 219 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #24 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 3 Total Weight: 222 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #25 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 227 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #26 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 7 Total Weight: 234 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #27 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 121 Core Weight: 1 Total Weight: 235 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #28 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 9 Total Weight: 244 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #29 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 11 Total Weight: 255 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #30 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 237 Core Weight: 1 Total Weight: 256 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #31 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 13 Total Weight: 269 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #32 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 274 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #33 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 7 Total Weight: 281 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #34 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 9 Total Weight: 290 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #35 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 11 Total Weight: 301 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #36 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 3 Total Weight: 304 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #37 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 309 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #38 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 7 Total Weight: 316 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #39 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 9 Total Weight: 325 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #40 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 330 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #41 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 7 Total Weight: 337 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #42 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 3 Total Weight: 340 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #43 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 345 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #44 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 1 Total Weight: 346 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #45 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 80 Core Weight: 1 Total Weight: 347 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #46 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 2 Total Weight: 349 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #47 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 80 Core Weight: 1 Total Weight: 350 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #48 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 3 Total Weight: 353 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #49 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 354 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #50 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 4 Total Weight: 358 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #51 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 79 Core Weight: 1 Total Weight: 359 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #52 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 5 Total Weight: 364 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #53 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 365 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #54 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 6 Total Weight: 371 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #55 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 81 Core Weight: 1 Total Weight: 372 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #56 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 241 Core Weight: 1 Total Weight: 373 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #57 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 161 Core Weight: 1 Total Weight: 374 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #58 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 79 Core Weight: 1 Total Weight: 375 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c core #59 181.74/181.89 c 181.74/181.89 c 181.74/181.89 c Core size: 41 Core Weight: 1 Total Weight: 376 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #60 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 81 Core Weight: 1 Total Weight: 377 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #61 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 3 Total Weight: 380 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #62 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 3 Total Weight: 383 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #63 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 384 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #64 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 5 Total Weight: 389 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #65 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 390 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #66 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 391 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #67 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 392 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #68 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 79 Core Weight: 1 Total Weight: 393 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #69 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 394 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #70 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 79 Core Weight: 1 Total Weight: 395 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #71 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 201 Core Weight: 1 Total Weight: 396 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #72 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 1 Total Weight: 397 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #73 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 2 Total Weight: 399 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #74 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 81 Core Weight: 1 Total Weight: 400 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #75 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 3 Total Weight: 403 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #76 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 157 Core Weight: 1 Total Weight: 404 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #77 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 4 Total Weight: 408 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #78 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 116 Core Weight: 1 Total Weight: 409 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #79 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 5 Total Weight: 414 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #80 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 116 Core Weight: 1 Total Weight: 415 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #81 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 6 Total Weight: 421 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #82 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 114 Core Weight: 1 Total Weight: 422 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #83 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 121 Core Weight: 1 Total Weight: 423 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #84 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 121 Core Weight: 1 Total Weight: 424 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #85 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 79 Core Weight: 1 Total Weight: 425 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #86 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 78 Core Weight: 1 Total Weight: 426 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #87 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 427 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #88 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 3 Total Weight: 430 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #89 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 431 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #90 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 4 Total Weight: 435 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #91 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 79 Core Weight: 1 Total Weight: 436 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #92 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 6 Total Weight: 442 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #93 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 443 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #94 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 119 Core Weight: 1 Total Weight: 444 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #95 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 445 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #96 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 79 Core Weight: 1 Total Weight: 446 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #97 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 447 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #98 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 79 Core Weight: 1 Total Weight: 448 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #99 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 80 Core Weight: 1 Total Weight: 449 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #100 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 2 Total Weight: 451 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #101 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 41 Core Weight: 5 Total Weight: 456 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #102 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c Core size: 81 Core Weight: 1 Total Weight: 457 182.94/183.07 c 182.94/183.07 c 182.94/183.07 c core #103 182.94/183.07 c 182.94/183.07 c 182.94/183.08 c Core size: 41 Core Weight: 8 Total Weight: 465 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #104 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 80 Core Weight: 1 Total Weight: 466 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #105 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 11 Total Weight: 477 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #106 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 79 Core Weight: 1 Total Weight: 478 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #107 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 15 Total Weight: 493 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #108 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 109 Core Weight: 1 Total Weight: 494 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #109 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 16 Total Weight: 510 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #110 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 19 Total Weight: 529 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #111 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 157 Core Weight: 1 Total Weight: 530 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #112 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 1 Total Weight: 531 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #113 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 1 Total Weight: 532 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #114 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 81 Core Weight: 1 Total Weight: 533 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #115 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 3 Total Weight: 536 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #116 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 80 Core Weight: 1 Total Weight: 537 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c core #117 182.94/183.08 c 182.94/183.08 c 182.94/183.08 c Core size: 41 Core Weight: 4 Total Weight: 541 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #118 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 79 Core Weight: 1 Total Weight: 542 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #119 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 41 Core Weight: 5 Total Weight: 547 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #120 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 80 Core Weight: 1 Total Weight: 548 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #121 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 41 Core Weight: 6 Total Weight: 554 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #122 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 79 Core Weight: 1 Total Weight: 555 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #123 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 41 Core Weight: 6 Total Weight: 561 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #124 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 80 Core Weight: 1 Total Weight: 562 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #125 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 41 Core Weight: 3 Total Weight: 565 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #126 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 41 Core Weight: 7 Total Weight: 572 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c core #127 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c Core size: 80 Core Weight: 1 Total Weight: 573 183.23/183.39 c 183.23/183.39 c 183.23/183.39 c ============================[ Search Statistics ]============================== 183.23/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.40 c =============================================================================== 183.23/183.40 c | 0 | 8318 10026 27962 | 5000 0 nan | 0.000 % | 183.33/183.40 c =============================================================================== 183.33/183.44 c core #128 183.33/183.44 c 183.33/183.44 c 183.33/183.44 c Core size: 76 Core Weight: 1 Total Weight: 574 183.33/183.44 c 183.33/183.44 c 183.33/183.44 c ============================[ Search Statistics ]============================== 183.33/183.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.44 c =============================================================================== 183.33/183.44 c | 0 | 8394 10097 28239 | 5000 0 nan | 0.000 % | 183.33/183.44 c =============================================================================== 183.33/183.48 c core #129 183.33/183.48 c 183.33/183.48 c 183.33/183.48 c Core size: 75 Core Weight: 1 Total Weight: 575 183.33/183.48 c 183.33/183.48 c 183.33/183.48 c ============================[ Search Statistics ]============================== 183.33/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.48 c =============================================================================== 183.33/183.48 c | 0 | 8470 10166 28351 | 5000 0 nan | 0.000 % | 183.33/183.49 c =============================================================================== 183.43/183.53 c core #130 183.43/183.53 c 183.43/183.53 c 183.43/183.53 c Core size: 210 Core Weight: 1 Total Weight: 576 183.43/183.53 c 183.43/183.53 c 183.43/183.53 c ============================[ Search Statistics ]============================== 183.43/183.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.53 c =============================================================================== 183.43/183.53 c | 0 | 8694 10361 28980 | 5000 0 nan | 0.000 % | 183.43/183.54 c =============================================================================== 183.43/183.58 c core #131 183.43/183.58 c 183.43/183.58 c 183.43/183.58 c Core size: 78 Core Weight: 1 Total Weight: 577 183.43/183.58 c 183.43/183.58 c 183.43/183.58 c ============================[ Search Statistics ]============================== 183.43/183.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.43/183.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.43/183.58 c =============================================================================== 183.43/183.58 c | 0 | 8771 10435 29191 | 5000 0 nan | 0.000 % | 183.43/183.59 c =============================================================================== 183.54/183.63 c core #132 183.54/183.63 c 183.54/183.63 c 183.54/183.63 c Core size: 116 Core Weight: 1 Total Weight: 578 183.54/183.63 c 183.54/183.63 c 183.54/183.63 c ============================[ Search Statistics ]============================== 183.54/183.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.63 c =============================================================================== 183.54/183.63 c | 0 | 8886 10545 29347 | 5000 0 nan | 0.000 % | 183.54/183.64 c =============================================================================== 183.54/183.68 c core #133 183.54/183.68 c 183.54/183.68 c 183.54/183.68 c Core size: 363 Core Weight: 1 Total Weight: 579 183.54/183.68 c 183.54/183.68 c 183.54/183.68 c ============================[ Search Statistics ]============================== 183.54/183.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.69 c =============================================================================== 183.54/183.69 c | 0 | 9272 10861 30192 | 5000 0 nan | 0.000 % | 183.54/183.69 c =============================================================================== 183.64/183.74 c core #134 183.64/183.74 c 183.64/183.74 c 183.64/183.74 c Core size: 113 Core Weight: 1 Total Weight: 580 183.64/183.74 c 183.64/183.74 c 183.64/183.74 c ============================[ Search Statistics ]============================== 183.64/183.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.74 c =============================================================================== 183.64/183.74 c | 0 | 9387 10969 30377 | 5000 0 nan | 0.000 % | 183.64/183.74 c =============================================================================== 183.64/183.79 c core #135 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c Core size: 77 Core Weight: 1 Total Weight: 581 183.64/183.79 c 183.64/183.79 c 183.64/183.79 c ============================[ Search Statistics ]============================== 183.64/183.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.64/183.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.64/183.79 c =============================================================================== 183.64/183.79 c | 0 | 9463 11042 30545 | 5000 0 nan | 0.000 % | 183.64/183.80 c =============================================================================== 183.73/183.84 c core #136 183.73/183.84 c 183.73/183.84 c 183.73/183.84 c Core size: 112 Core Weight: 1 Total Weight: 582 183.73/183.84 c 183.73/183.84 c 183.73/183.84 c ============================[ Search Statistics ]============================== 183.73/183.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.73/183.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.73/183.84 c =============================================================================== 183.73/183.84 c | 0 | 9577 11151 30918 | 5000 0 nan | 0.000 % | 183.73/183.86 c =============================================================================== 183.83/183.90 c core #137 183.83/183.90 c 183.83/183.90 c 183.83/183.90 c Core size: 477 Core Weight: 1 Total Weight: 583 183.83/183.90 c 183.83/183.90 c 183.83/183.90 c ============================[ Search Statistics ]============================== 183.83/183.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.90 c =============================================================================== 183.83/183.90 c | 0 | 10077 11569 31952 | 5000 0 nan | 0.000 % | 183.83/183.91 c =============================================================================== 183.83/183.96 c core #138 183.83/183.96 c 183.83/183.96 c 183.83/183.96 c Core size: 77 Core Weight: 1 Total Weight: 584 183.83/183.96 c 183.83/183.96 c 183.83/183.96 c ============================[ Search Statistics ]============================== 183.83/183.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.83/183.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.83/183.96 c =============================================================================== 183.83/183.96 c | 0 | 10154 11641 32078 | 5000 0 nan | 0.000 % | 183.83/183.96 c =============================================================================== 183.93/184.01 c core #139 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c Core size: 78 Core Weight: 1 Total Weight: 585 183.93/184.01 c 183.93/184.01 c 183.93/184.01 c ============================[ Search Statistics ]============================== 183.93/184.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.01 c =============================================================================== 183.93/184.01 c | 0 | 10231 11715 32179 | 5000 0 nan | 0.000 % | 183.93/184.02 c =============================================================================== 183.93/184.07 c core #140 183.93/184.07 c 183.93/184.07 c 183.93/184.07 c Core size: 78 Core Weight: 1 Total Weight: 586 183.93/184.07 c 183.93/184.07 c 183.93/184.07 c ============================[ Search Statistics ]============================== 183.93/184.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.07 c =============================================================================== 183.93/184.07 c | 0 | 10308 11789 32308 | 5000 0 nan | 0.000 % | 183.93/184.08 c =============================================================================== 184.03/184.12 c core #141 184.03/184.12 c 184.03/184.12 c 184.03/184.12 c Core size: 76 Core Weight: 1 Total Weight: 587 184.03/184.12 c 184.03/184.12 c 184.03/184.12 c ============================[ Search Statistics ]============================== 184.03/184.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.12 c =============================================================================== 184.03/184.12 c | 0 | 10385 11859 32435 | 5000 0 nan | 0.000 % | 184.03/184.13 c =============================================================================== 184.03/184.18 c core #142 184.03/184.18 c 184.03/184.18 c 184.03/184.18 c Core size: 175 Core Weight: 1 Total Weight: 588 184.03/184.18 c 184.03/184.18 c 184.03/184.18 c ============================[ Search Statistics ]============================== 184.03/184.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.03/184.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.03/184.18 c =============================================================================== 184.03/184.18 c | 0 | 10566 12016 32947 | 5000 0 nan | 0.000 % | 184.03/184.19 c =============================================================================== 184.13/184.24 c core #143 184.13/184.24 c 184.13/184.24 c 184.13/184.24 c Core size: 75 Core Weight: 1 Total Weight: 589 184.13/184.24 c 184.13/184.24 c 184.13/184.24 c ============================[ Search Statistics ]============================== 184.13/184.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.13/184.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.13/184.24 c =============================================================================== 184.13/184.24 c | 0 | 10641 12088 33090 | 5000 0 nan | 0.000 % | 184.13/184.25 c =============================================================================== 184.23/184.30 c core #144 184.23/184.30 c 184.23/184.30 c 184.23/184.30 c Core size: 316 Core Weight: 1 Total Weight: 590 184.23/184.30 c 184.23/184.30 c 184.23/184.30 c ============================[ Search Statistics ]============================== 184.23/184.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.30 c =============================================================================== 184.23/184.30 c | 0 | 10973 12345 33855 | 5000 0 nan | 0.000 % | 184.23/184.31 c =============================================================================== 184.23/184.36 c core #145 184.23/184.36 c 184.23/184.36 c 184.23/184.36 c Core size: 72 Core Weight: 1 Total Weight: 591 184.23/184.36 c 184.23/184.36 c 184.23/184.36 c ============================[ Search Statistics ]============================== 184.23/184.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.36 c =============================================================================== 184.23/184.36 c | 0 | 11045 12416 33982 | 5000 0 nan | 0.000 % | 184.23/184.37 c =============================================================================== 184.33/184.42 c core #146 184.33/184.42 c 184.33/184.42 c 184.33/184.42 c Core size: 104 Core Weight: 1 Total Weight: 592 184.33/184.42 c 184.33/184.42 c 184.33/184.42 c ============================[ Search Statistics ]============================== 184.33/184.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.42 c =============================================================================== 184.33/184.42 c | 0 | 11151 12513 34181 | 5000 0 nan | 0.000 % | 184.33/184.44 c =============================================================================== 184.33/184.49 c core #147 184.33/184.49 c 184.33/184.49 c 184.33/184.49 c Core size: 317 Core Weight: 1 Total Weight: 593 184.33/184.49 c 184.33/184.49 c 184.33/184.49 c ============================[ Search Statistics ]============================== 184.33/184.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.49 c =============================================================================== 184.33/184.49 c | 0 | 11510 12704 35471 | 5000 0 nan | 0.000 % | 184.43/184.50 c =============================================================================== 184.43/184.55 c core #148 184.43/184.55 c 184.43/184.55 c 184.43/184.55 c Core size: 78 Core Weight: 1 Total Weight: 594 184.43/184.55 c 184.43/184.55 c 184.43/184.55 c ============================[ Search Statistics ]============================== 184.43/184.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.55 c =============================================================================== 184.43/184.55 c | 0 | 11587 12778 35560 | 5000 0 nan | 0.000 % | 184.43/184.57 c =============================================================================== 184.53/184.62 c core #149 184.53/184.62 c 184.53/184.62 c 184.53/184.62 c Core size: 269 Core Weight: 1 Total Weight: 595 184.53/184.62 c 184.53/184.62 c 184.53/184.62 c ============================[ Search Statistics ]============================== 184.53/184.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.62 c =============================================================================== 184.53/184.62 c | 0 | 11863 13016 36034 | 5000 0 nan | 0.000 % | 184.53/184.63 c =============================================================================== 184.53/184.69 c core #150 184.53/184.69 c 184.53/184.69 c 184.53/184.69 c Core size: 73 Core Weight: 4 Total Weight: 599 184.53/184.69 c 184.53/184.69 c 184.53/184.69 c ============================[ Search Statistics ]============================== 184.53/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.53/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.53/184.69 c =============================================================================== 184.53/184.69 c | 0 | 11935 13085 36140 | 5000 0 nan | 0.000 % | 184.64/184.70 c =============================================================================== 184.64/184.75 c core #151 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c Core size: 210 Core Weight: 1 Total Weight: 600 184.64/184.75 c 184.64/184.75 c 184.64/184.75 c ============================[ Search Statistics ]============================== 184.64/184.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.64/184.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.64/184.75 c =============================================================================== 184.64/184.75 c | 0 | 12157 13257 36615 | 5000 0 nan | 0.000 % | 184.64/184.76 c =============================================================================== 184.74/184.82 c core #152 184.74/184.82 c 184.74/184.82 c 184.74/184.82 c Core size: 76 Core Weight: 1 Total Weight: 601 184.74/184.82 c 184.74/184.82 c 184.74/184.82 c ============================[ Search Statistics ]============================== 184.74/184.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.82 c =============================================================================== 184.74/184.82 c | 0 | 12232 13329 36718 | 5000 0 nan | 0.000 % | 184.74/184.83 c =============================================================================== 184.74/184.89 c core #153 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c Core size: 77 Core Weight: 1 Total Weight: 602 184.74/184.89 c 184.74/184.89 c 184.74/184.89 c ============================[ Search Statistics ]============================== 184.74/184.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.89 c =============================================================================== 184.74/184.89 c | 0 | 12308 13402 36824 | 5000 0 nan | 0.000 % | 184.83/184.90 c =============================================================================== 184.83/184.96 c core #154 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c Core size: 200 Core Weight: 1 Total Weight: 603 184.83/184.96 c 184.83/184.96 c 184.83/184.96 c ============================[ Search Statistics ]============================== 184.83/184.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.96 c =============================================================================== 184.83/184.96 c | 0 | 12522 13539 37415 | 5000 0 nan | 0.000 % | 184.83/184.97 c =============================================================================== 184.93/185.02 c core #155 184.93/185.02 c 184.93/185.02 c 184.93/185.02 c Core size: 74 Core Weight: 1 Total Weight: 604 184.93/185.02 c 184.93/185.02 c 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 | 12595 13611 37503 | 5000 0 nan | 0.000 % | 184.93/185.04 c =============================================================================== 185.03/185.10 c core #156 185.03/185.10 c 185.03/185.10 c 185.03/185.10 c Core size: 352 Core Weight: 1 Total Weight: 605 185.03/185.10 c 185.03/185.10 c 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 | 12963 13857 38323 | 5000 0 nan | 0.000 % | 185.03/185.11 c =============================================================================== 185.03/185.17 c core #157 185.03/185.17 c 185.03/185.17 c 185.03/185.17 c Core size: 112 Core Weight: 1 Total Weight: 606 185.03/185.17 c 185.03/185.17 c 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 | 13080 13961 38523 | 5000 0 nan | 0.000 % | 185.03/185.18 c =============================================================================== 185.13/185.24 c core #158 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c Core size: 74 Core Weight: 1 Total Weight: 607 185.13/185.24 c 185.13/185.24 c 185.13/185.24 c ============================[ Search Statistics ]============================== 185.13/185.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.13/185.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.13/185.24 c =============================================================================== 185.13/185.24 c | 0 | 13152 14032 38612 | 5000 0 nan | 0.000 % | 185.13/185.25 c =============================================================================== 185.23/185.31 c core #159 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c Core size: 141 Core Weight: 1 Total Weight: 608 185.23/185.31 c 185.23/185.31 c 185.23/185.31 c ============================[ Search Statistics ]============================== 185.23/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.31 c =============================================================================== 185.23/185.31 c | 0 | 13296 14157 38887 | 5000 0 nan | 0.000 % | 185.23/185.33 c =============================================================================== 185.23/185.38 c core #160 185.23/185.38 c 185.23/185.38 c 185.23/185.38 c Core size: 196 Core Weight: 1 Total Weight: 609 185.23/185.38 c 185.23/185.38 c 185.23/185.38 c ============================[ Search Statistics ]============================== 185.23/185.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.23/185.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.23/185.38 c =============================================================================== 185.23/185.38 c | 0 | 13491 14281 39323 | 5000 0 nan | 0.000 % | 185.33/185.41 c =============================================================================== 185.33/185.47 c core #161 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c Core size: 433 Core Weight: 1 Total Weight: 610 185.33/185.47 c 185.33/185.47 c 185.33/185.47 c ============================[ Search Statistics ]============================== 185.33/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.33/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.33/185.47 c =============================================================================== 185.33/185.47 c | 0 | 13935 14590 40234 | 5000 0 nan | 0.000 % | 185.43/185.50 c =============================================================================== 185.43/185.56 c core #162 185.43/185.56 c 185.43/185.56 c 185.43/185.56 c Core size: 312 Core Weight: 1 Total Weight: 611 185.43/185.56 c 185.43/185.56 c 185.43/185.56 c ============================[ Search Statistics ]============================== 185.43/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.43/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.43/185.56 c =============================================================================== 185.43/185.56 c | 0 | 14252 14857 40844 | 5000 0 nan | 0.000 % | 185.43/185.57 c =============================================================================== 185.53/185.63 c core #163 185.53/185.63 c 185.53/185.63 c 185.53/185.63 c Core size: 78 Core Weight: 1 Total Weight: 612 185.53/185.63 c 185.53/185.63 c 185.53/185.63 c ============================[ Search Statistics ]============================== 185.53/185.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.63 c =============================================================================== 185.53/185.63 c | 0 | 14331 14929 40961 | 5000 0 nan | 0.000 % | 185.53/185.65 c =============================================================================== 185.63/185.71 c core #164 185.63/185.71 c 185.63/185.71 c 185.63/185.71 c Core size: 184 Core Weight: 1 Total Weight: 613 185.63/185.71 c 185.63/185.71 c 185.63/185.71 c ============================[ Search Statistics ]============================== 185.63/185.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.71 c =============================================================================== 185.63/185.71 c | 0 | 14525 15081 41365 | 5027 0 nan | 0.000 % | 185.63/185.72 c =============================================================================== 185.63/185.78 c core #165 185.63/185.78 c 185.63/185.78 c 185.63/185.78 c Core size: 80 Core Weight: 1 Total Weight: 614 185.63/185.78 c 185.63/185.78 c 185.63/185.78 c ============================[ Search Statistics ]============================== 185.63/185.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.63/185.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.63/185.78 c =============================================================================== 185.63/185.78 c | 0 | 14603 15156 41453 | 5052 0 nan | 0.000 % | 185.74/185.81 c =============================================================================== 185.74/185.87 c core #166 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c Core size: 361 Core Weight: 1 Total Weight: 615 185.74/185.87 c 185.74/185.87 c 185.74/185.87 c ============================[ Search Statistics ]============================== 185.74/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.74/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.74/185.87 c =============================================================================== 185.74/185.87 c | 0 | 14984 15414 42296 | 5138 0 nan | 0.000 % | 185.74/185.90 c =============================================================================== 185.83/185.96 c core #167 185.83/185.96 c 185.83/185.96 c 185.83/185.96 c Core size: 204 Core Weight: 1 Total Weight: 616 185.83/185.96 c 185.83/185.96 c 185.83/185.96 c ============================[ Search Statistics ]============================== 185.83/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.96 c =============================================================================== 185.83/185.96 c | 0 | 15199 15568 42790 | 5189 0 nan | 0.000 % | 185.83/185.98 c =============================================================================== 185.93/186.05 c core #168 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c Core size: 75 Core Weight: 1 Total Weight: 617 185.93/186.05 c 185.93/186.05 c 185.93/186.05 c ============================[ Search Statistics ]============================== 185.93/186.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.93/186.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.93/186.05 c =============================================================================== 185.93/186.05 c | 0 | 15274 15642 42910 | 5214 0 nan | 0.000 % | 185.93/186.06 c =============================================================================== 186.02/186.13 c core #169 186.02/186.13 c 186.02/186.13 c 186.02/186.13 c Core size: 114 Core Weight: 1 Total Weight: 618 186.02/186.13 c 186.02/186.13 c 186.02/186.13 c ============================[ Search Statistics ]============================== 186.02/186.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.02/186.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.02/186.13 c =============================================================================== 186.02/186.13 c | 0 | 15392 15747 43086 | 5249 0 nan | 0.000 % | 186.02/186.14 c =============================================================================== 186.13/186.21 c core #170 186.13/186.21 c 186.13/186.21 c 186.13/186.21 c Core size: 177 Core Weight: 1 Total Weight: 619 186.13/186.21 c 186.13/186.21 c 186.13/186.21 c ============================[ Search Statistics ]============================== 186.13/186.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.13/186.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.13/186.21 c =============================================================================== 186.13/186.21 c | 0 | 15581 15886 43483 | 5295 0 nan | 0.000 % | 186.13/186.24 c =============================================================================== 186.22/186.30 c core #171 186.22/186.30 c 186.22/186.30 c 186.22/186.30 c Core size: 287 Core Weight: 1 Total Weight: 620 186.22/186.30 c 186.22/186.30 c 186.22/186.30 c ============================[ Search Statistics ]============================== 186.22/186.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.30 c =============================================================================== 186.22/186.30 c | 0 | 15879 16079 44201 | 5359 0 nan | 0.000 % | 186.22/186.32 c =============================================================================== 186.22/186.39 c core #172 186.22/186.39 c 186.22/186.39 c 186.22/186.39 c Core size: 334 Core Weight: 1 Total Weight: 621 186.22/186.39 c 186.22/186.39 c 186.22/186.39 c ============================[ Search Statistics ]============================== 186.22/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.22/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.22/186.39 c =============================================================================== 186.22/186.39 c | 0 | 16236 16316 45104 | 5438 0 nan | 0.000 % | 186.33/186.41 c =============================================================================== 186.33/186.48 c core #173 186.33/186.48 c 186.33/186.48 c 186.33/186.48 c Core size: 183 Core Weight: 1 Total Weight: 622 186.33/186.48 c 186.33/186.48 c 186.33/186.48 c ============================[ Search Statistics ]============================== 186.33/186.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.33/186.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.33/186.48 c =============================================================================== 186.33/186.48 c | 0 | 16428 16480 45498 | 5493 0 nan | 0.000 % | 186.43/186.53 c =============================================================================== 186.53/186.60 c core #174 186.53/186.60 c 186.53/186.60 c 186.53/186.60 c Core size: 424 Core Weight: 1 Total Weight: 623 186.53/186.60 c 186.53/186.60 c 186.53/186.60 c ============================[ Search Statistics ]============================== 186.53/186.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.53/186.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.53/186.60 c =============================================================================== 186.53/186.60 c | 0 | 16876 16703 46713 | 5567 0 nan | 0.000 % | 186.53/186.63 c =============================================================================== 186.63/186.70 c core #175 186.63/186.70 c 186.63/186.70 c 186.63/186.70 c Core size: 466 Core Weight: 1 Total Weight: 624 186.63/186.70 c 186.63/186.70 c 186.63/186.70 c ============================[ Search Statistics ]============================== 186.63/186.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.63/186.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.63/186.70 c =============================================================================== 186.63/186.70 c | 0 | 17370 16978 48190 | 5659 0 nan | 0.000 % | 186.63/186.73 c =============================================================================== 186.73/186.81 c core #176 186.73/186.81 c 186.73/186.81 c 186.73/186.81 c Core size: 221 Core Weight: 1 Total Weight: 625 186.73/186.81 c 186.73/186.81 c 186.73/186.81 c ============================[ Search Statistics ]============================== 186.73/186.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.73/186.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.73/186.81 c =============================================================================== 186.73/186.81 c | 0 | 17600 17162 48657 | 5720 0 nan | 0.000 % | 186.73/186.83 c =============================================================================== 186.83/186.90 c core #177 186.83/186.90 c 186.83/186.90 c 186.83/186.90 c Core size: 242 Core Weight: 1 Total Weight: 626 186.83/186.90 c 186.83/186.90 c 186.83/186.90 c ============================[ Search Statistics ]============================== 186.83/186.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.83/186.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.83/186.90 c =============================================================================== 186.83/186.90 c | 0 | 17859 17283 49398 | 5761 0 nan | 0.000 % | 186.83/186.93 c =============================================================================== 186.93/187.01 c core #178 186.93/187.01 c 186.93/187.01 c 186.93/187.01 c Core size: 375 Core Weight: 1 Total Weight: 627 186.93/187.01 c 186.93/187.01 c 186.93/187.01 c ============================[ Search Statistics ]============================== 186.93/187.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.93/187.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.93/187.01 c =============================================================================== 186.93/187.01 c | 0 | 18248 17473 50374 | 5824 0 nan | 0.000 % | 186.93/187.07 c | 101 | 18243 17473 50374 | 6406 93 103 | 5.143 % | 186.93/187.07 c =============================================================================== 187.03/187.15 c core #179 187.03/187.15 c 187.03/187.15 c 187.03/187.15 c Core size: 609 Core Weight: 1 Total Weight: 628 187.03/187.15 c 187.03/187.15 c 187.03/187.15 c ============================[ Search Statistics ]============================== 187.03/187.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.03/187.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.03/187.15 c =============================================================================== 187.03/187.15 c | 0 | 18897 17702 52340 | 5900 0 nan | 0.000 % | 187.13/187.21 c | 100 | 18897 17702 52340 | 6490 100 131 | 4.743 % | 187.13/187.27 c =============================================================================== 187.23/187.35 c core #180 187.23/187.35 c 187.23/187.35 c 187.23/187.35 c Core size: 662 Core Weight: 1 Total Weight: 629 187.23/187.35 c 187.23/187.35 c 187.23/187.35 c ============================[ Search Statistics ]============================== 187.23/187.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.23/187.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.23/187.35 c =============================================================================== 187.23/187.35 c | 0 | 19583 17997 54154 | 5999 0 nan | 0.000 % | 187.32/187.42 c | 101 | 19578 17997 54154 | 6598 97 113 | 4.493 % | 187.32/187.44 c =============================================================================== 187.42/187.52 c core #181 187.42/187.52 c 187.42/187.52 c 187.42/187.52 c Core size: 745 Core Weight: 1 Total Weight: 630 187.42/187.52 c 187.42/187.52 c 187.42/187.52 c ============================[ Search Statistics ]============================== 187.42/187.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.42/187.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.42/187.52 c =============================================================================== 187.42/187.52 c | 0 | 20365 18347 56269 | 6115 0 nan | 0.000 % | 187.42/187.55 c =============================================================================== 187.53/187.63 c core #182 187.53/187.63 c 187.53/187.63 c 187.53/187.63 c Core size: 187 Core Weight: 1 Total Weight: 631 187.53/187.63 c 187.53/187.63 c 187.53/187.63 c ============================[ Search Statistics ]============================== 187.53/187.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.53/187.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.53/187.63 c =============================================================================== 187.53/187.63 c | 0 | 20559 18459 56733 | 6153 0 nan | 0.000 % | 187.62/187.70 c | 100 | 20559 18459 56733 | 6768 100 88 | 4.051 % | 187.62/187.77 c | 251 | 20556 18459 56733 | 7445 248 83 | 4.070 % | 187.73/187.80 c =============================================================================== 187.73/187.88 c core #183 187.73/187.88 c 187.73/187.88 c 187.73/187.88 c Core size: 834 Core Weight: 1 Total Weight: 632 187.73/187.88 c 187.73/187.88 c 187.73/187.88 c ============================[ Search Statistics ]============================== 187.73/187.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.73/187.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.73/187.88 c =============================================================================== 187.73/187.88 c | 0 | 21440 18688 59366 | 6229 0 nan | 0.000 % | 187.83/187.93 c =============================================================================== 187.93/188.02 c core #184 187.93/188.02 c 187.93/188.02 c 187.93/188.02 c Core size: 346 Core Weight: 1 Total Weight: 633 187.93/188.02 c 187.93/188.02 c 187.93/188.02 c ============================[ Search Statistics ]============================== 187.93/188.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.93/188.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.93/188.02 c =============================================================================== 187.93/188.02 c | 0 | 21798 18836 60334 | 6278 0 nan | 0.000 % | 187.93/188.09 c | 101 | 21798 18836 60334 | 6906 101 127 | 3.561 % | 188.03/188.17 c | 251 | 21788 18836 60334 | 7597 246 108 | 3.606 % | 188.13/188.20 c =============================================================================== 188.13/188.29 c core #185 188.13/188.29 c 188.13/188.29 c 188.13/188.29 c Core size: 1065 Core Weight: 1 Total Weight: 634 188.13/188.29 c 188.13/188.29 c 188.13/188.29 c ============================[ Search Statistics ]============================== 188.13/188.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.13/188.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.13/188.29 c =============================================================================== 188.13/188.29 c | 0 | 22895 19249 63156 | 6416 0 nan | 0.000 % | 188.23/188.36 c | 102 | 22891 19249 63156 | 7057 100 75 | 3.246 % | 188.23/188.37 c =============================================================================== 188.33/188.46 c core #186 188.33/188.46 c 188.33/188.46 c 188.33/188.46 c Core size: 524 Core Weight: 1 Total Weight: 635 188.33/188.46 c 188.33/188.46 c 188.33/188.46 c ============================[ Search Statistics ]============================== 188.33/188.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.33/188.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.33/188.46 c =============================================================================== 188.33/188.46 c | 0 | 23440 19422 64743 | 6474 0 nan | 0.000 % | 188.42/188.54 c | 100 | 23440 19422 64743 | 7121 100 68 | 3.060 % | 188.42/188.59 c | 250 | 23438 19422 64743 | 7833 249 61 | 3.069 % | 188.52/188.61 c =============================================================================== 188.62/188.71 c core #187 188.62/188.71 c 188.62/188.71 c 188.62/188.71 c Core size: 664 Core Weight: 1 Total Weight: 636 188.62/188.71 c 188.62/188.71 c 188.62/188.71 c ============================[ Search Statistics ]============================== 188.62/188.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.62/188.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.62/188.71 c =============================================================================== 188.62/188.71 c | 0 | 24116 19699 66457 | 6566 0 nan | 0.000 % | 188.62/188.77 c | 100 | 24116 19699 66457 | 7222 100 108 | 2.899 % | 188.72/188.82 c | 253 | 24116 19699 66457 | 7945 253 111 | 2.899 % | 188.72/188.89 c =============================================================================== 188.82/188.98 c core #188 188.82/188.98 c 188.82/188.98 c 188.82/188.98 c Core size: 692 Core Weight: 1 Total Weight: 637 188.82/188.98 c 188.82/188.98 c 188.82/188.98 c ============================[ Search Statistics ]============================== 188.82/188.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.82/188.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.82/188.98 c =============================================================================== 188.82/188.98 c | 0 | 24826 19893 68334 | 6631 0 nan | 0.000 % | 188.93/189.06 c | 100 | 24826 19893 68334 | 7294 100 139 | 2.742 % | 189.03/189.13 c | 250 | 24824 19893 68334 | 8023 249 97 | 2.750 % | 189.13/189.25 c | 475 | 24823 19893 68334 | 8825 474 89 | 2.754 % | 189.23/189.34 c =============================================================================== 189.33/189.44 c core #189 189.33/189.44 c 189.33/189.44 c 189.33/189.44 c Core size: 918 Core Weight: 1 Total Weight: 638 189.33/189.44 c 189.33/189.44 c 189.33/189.44 c ============================[ Search Statistics ]============================== 189.33/189.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.33/189.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.33/189.44 c =============================================================================== 189.33/189.44 c | 0 | 25772 20149 70891 | 6716 0 nan | 0.000 % | 189.43/189.53 c | 101 | 25772 20149 70891 | 7387 101 238 | 2.512 % | 189.53/189.60 c | 251 | 25772 20149 70891 | 8126 251 182 | 2.516 % | 189.63/189.70 c | 476 | 25771 20149 70891 | 8939 475 136 | 2.516 % | 189.73/189.82 c =============================================================================== 189.83/189.92 c core #190 189.83/189.92 c 189.83/189.92 c 189.83/189.92 c Core size: 1035 Core Weight: 1 Total Weight: 639 189.83/189.92 c 189.83/189.92 c 189.83/189.92 c ============================[ Search Statistics ]============================== 189.83/189.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.83/189.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.83/189.92 c =============================================================================== 189.83/189.92 c | 0 | 26848 20432 74094 | 6810 0 nan | 0.000 % | 189.93/190.00 c | 104 | 26848 20432 74094 | 7491 104 116 | 2.264 % | 189.93/190.09 c | 257 | 26847 20432 74094 | 8240 256 80 | 2.268 % | 190.03/190.18 c | 484 | 26847 20432 74094 | 9064 483 78 | 2.268 % | 190.13/190.28 c =============================================================================== 190.23/190.38 c core #191 190.23/190.38 c 190.23/190.38 c 190.23/190.38 c Core size: 846 Core Weight: 1 Total Weight: 640 190.23/190.38 c 190.23/190.38 c 190.23/190.38 c ============================[ Search Statistics ]============================== 190.23/190.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.23/190.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.23/190.38 c =============================================================================== 190.23/190.38 c | 0 | 27711 20703 76477 | 6901 0 nan | 0.000 % | 190.32/190.44 c | 103 | 27711 20703 76477 | 7591 103 82 | 2.105 % | 190.43/190.52 c | 253 | 27711 20703 76477 | 8350 253 66 | 2.105 % | 190.53/190.63 c =============================================================================== 190.63/190.74 c core #192 190.63/190.74 c 190.63/190.74 c 190.63/190.74 c Core size: 1009 Core Weight: 1 Total Weight: 641 190.63/190.74 c 190.63/190.74 c 190.63/190.74 c ============================[ Search Statistics ]============================== 190.63/190.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.63/190.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.63/190.74 c =============================================================================== 190.63/190.74 c | 0 | 28729 20839 79176 | 6946 0 nan | 0.000 % | 190.72/190.81 c | 101 | 28729 20839 79176 | 7640 101 84 | 1.966 % | 190.72/190.88 c | 251 | 28729 20839 79176 | 8405 251 105 | 1.966 % | 190.82/190.99 c | 476 | 28728 20839 79176 | 9245 434 92 | 1.969 % | 191.12/191.20 c | 813 | 28728 20839 79176 | 10170 771 97 | 1.969 % | 191.23/191.30 c =============================================================================== 191.33/191.42 c core #193 191.33/191.42 c 191.33/191.42 c 191.33/191.42 c Core size: 818 Core Weight: 1 Total Weight: 642 191.33/191.42 c 191.33/191.42 c 191.33/191.42 c ============================[ Search Statistics ]============================== 191.33/191.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.33/191.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.33/191.42 c =============================================================================== 191.33/191.42 c | 0 | 29553 20975 81063 | 6991 0 nan | 0.000 % | 191.43/191.50 c | 101 | 29553 20975 81063 | 7690 101 94 | 1.866 % | 191.43/191.57 c | 251 | 29553 20975 81063 | 8459 251 102 | 1.866 % | 191.63/191.70 c | 476 | 29553 20975 81063 | 9305 476 107 | 1.866 % | 191.73/191.88 c | 813 | 29553 20975 81063 | 10236 813 106 | 1.866 % | 192.13/192.20 c | 1319 | 29550 20975 81063 | 11260 1309 109 | 1.876 % | 192.44/192.58 c =============================================================================== 192.63/192.70 c core #194 192.63/192.70 c 192.63/192.70 c 192.63/192.70 c Core size: 2097 Core Weight: 1 Total Weight: 643 192.63/192.70 c 192.63/192.70 c 192.63/192.70 c ============================[ Search Statistics ]============================== 192.63/192.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.63/192.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.63/192.70 c =============================================================================== 192.63/192.70 c | 0 | 31685 21330 86477 | 7110 0 nan | 0.000 % | 192.72/192.82 c | 104 | 31685 21330 86477 | 7821 104 276 | 1.624 % | 192.82/192.95 c | 254 | 31685 21330 86477 | 8603 254 285 | 1.624 % | 193.02/193.12 c | 480 | 31685 21330 86477 | 9463 480 183 | 1.624 % | 193.12/193.28 c | 820 | 31685 21330 86477 | 10409 820 132 | 1.624 % | 193.43/193.59 c | 1326 | 31684 21330 86477 | 11450 1212 111 | 1.627 % | 193.83/193.94 c =============================================================================== 193.93/194.06 c core #195 193.93/194.06 c 193.93/194.06 c 193.93/194.06 c Core size: 1030 Core Weight: 1 Total Weight: 644 193.93/194.06 c 193.93/194.06 c 193.93/194.06 c ============================[ Search Statistics ]============================== 193.93/194.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.93/194.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.93/194.06 c =============================================================================== 193.93/194.06 c | 0 | 32718 21495 89046 | 7165 0 nan | 0.000 % | 194.03/194.15 c | 105 | 32718 21495 89046 | 7881 105 161 | 1.535 % | 194.03/194.19 c | 255 | 32718 21495 89046 | 8669 255 128 | 1.535 % | 194.12/194.28 c | 480 | 32718 21495 89046 | 9536 480 98 | 1.535 % | 194.32/194.46 c | 818 | 32718 21495 89046 | 10490 818 71 | 1.535 % | 194.63/194.75 c | 1325 | 32718 21495 89046 | 11539 1325 74 | 1.535 % | 195.03/195.18 c | 2084 | 32718 21495 89046 | 12693 2084 73 | 1.535 % | 195.82/195.95 c | 3223 | 32718 21495 89046 | 13962 3223 79 | 1.535 % | 197.03/197.18 c | 4931 | 32718 21495 89046 | 15358 4931 91 | 1.535 % | 197.73/197.83 c =============================================================================== 197.94/198.02 c core #196 197.94/198.02 c 197.94/198.02 c 197.94/198.02 c Core size: 1483 Core Weight: 1 Total Weight: 645 197.94/198.02 c 197.94/198.02 c 197.94/198.02 c ============================[ Search Statistics ]============================== 197.94/198.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.94/198.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.94/198.02 c =============================================================================== 197.94/198.02 c | 0 | 34213 21637 92848 | 7212 0 nan | 0.000 % | 198.03/198.13 c | 102 | 34213 21637 92848 | 7933 102 187 | 1.392 % | 198.13/198.21 c | 252 | 34213 21637 92848 | 8726 252 120 | 1.392 % | 198.23/198.32 c | 478 | 34213 21637 92848 | 9599 478 110 | 1.392 % | 198.62/198.73 c | 816 | 34213 21637 92848 | 10559 816 97 | 1.392 % | 199.12/199.28 c | 1322 | 34212 21637 92848 | 11615 1321 96 | 1.395 % | 199.83/199.96 c | 2081 | 34211 21637 92848 | 12777 2079 102 | 1.398 % | 201.02/201.13 c | 3222 | 34210 21637 92848 | 14054 3208 119 | 1.401 % | 201.72/201.87 c =============================================================================== 201.92/202.04 c core #197 201.92/202.04 c 201.92/202.04 c 201.92/202.04 c Core size: 2625 Core Weight: 1 Total Weight: 646 201.92/202.04 c 201.92/202.04 c 201.92/202.04 c ============================[ Search Statistics ]============================== 201.92/202.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.92/202.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.92/202.04 c =============================================================================== 201.92/202.04 c | 0 | 36863 21905 99828 | 7301 0 nan | 0.000 % | 202.02/202.16 c | 104 | 36863 21905 99828 | 8031 104 216 | 1.193 % | 202.12/202.29 c | 254 | 36863 21905 99828 | 8835 254 106 | 1.193 % | 202.42/202.53 c | 480 | 36863 21905 99828 | 9718 480 97 | 1.193 % | 202.83/202.93 c | 817 | 36863 21905 99828 | 10690 817 81 | 1.193 % | 203.13/203.27 c | 1327 | 36863 21905 99828 | 11759 1327 125 | 1.193 % | 204.12/204.24 c | 2091 | 36863 21905 99828 | 12935 2091 110 | 1.193 % | 205.42/205.52 c | 3231 | 36863 21905 99828 | 14228 3231 110 | 1.193 % | 206.82/206.91 c | 4940 | 36863 21905 99828 | 15651 4940 105 | 1.193 % | 209.52/209.67 c | 7504 | 36861 21905 99828 | 17216 7498 110 | 1.198 % | 213.82/213.93 c | 11348 | 36858 21905 99828 | 18938 11320 144 | 1.206 % | 218.32/218.43 c =============================================================================== 218.52/218.67 c core #198 218.52/218.67 c 218.52/218.67 c 218.52/218.67 c Core size: 4298 Core Weight: 1 Total Weight: 647 218.52/218.67 c 218.52/218.67 c 218.52/218.67 c ============================[ Search Statistics ]============================== 218.52/218.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.52/218.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.52/218.67 c =============================================================================== 218.52/218.67 c | 0 | 41201 22327 110782 | 7442 0 nan | 0.000 % | 218.62/218.78 c | 103 | 41201 22327 110782 | 8186 103 129 | 0.964 % | 218.72/218.89 c | 253 | 41201 22327 110782 | 9005 253 78 | 0.964 % | 219.01/219.17 c | 479 | 41201 22327 110782 | 9905 479 59 | 0.964 % | 219.42/219.53 c | 816 | 41201 22327 110782 | 10896 816 53 | 0.964 % | 219.93/220.05 c | 1323 | 41201 22327 110782 | 11985 1323 53 | 0.964 % | 220.82/220.94 c | 2082 | 41201 22327 110782 | 13184 2082 49 | 0.964 % | 222.22/222.36 c | 3223 | 41201 22327 110782 | 14503 3223 46 | 0.964 % | 224.32/224.41 c | 4932 | 41201 22327 110782 | 15953 4932 48 | 0.964 % | 227.31/227.41 c | 7494 | 41201 22327 110782 | 17548 7494 50 | 0.964 % | 232.31/232.40 c | 11338 | 41201 22327 110782 | 19303 11338 54 | 0.964 % | 239.51/239.67 c | 17104 | 41201 22327 110782 | 21233 17104 57 | 0.964 % | 251.01/251.17 c | 25753 | 40951 22327 110782 | 23357 2150 29 | 1.565 % | 251.50/251.66 c =============================================================================== 252.11/252.20 c core #199 252.11/252.20 c 252.11/252.20 c 252.11/252.20 c Core size: 1880 Core Weight: 1 Total Weight: 648 252.11/252.20 c 252.11/252.20 c 252.11/252.20 c ============================[ Search Statistics ]============================== 252.11/252.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.11/252.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.11/252.20 c =============================================================================== 252.11/252.20 c | 0 | 43095 22488 115839 | 7496 0 nan | 0.000 % | 252.21/252.31 c | 100 | 43095 22488 115839 | 8245 100 106 | 0.872 % | 252.31/252.41 c | 251 | 43095 22488 115839 | 9070 251 76 | 0.872 % | 252.41/252.55 c | 476 | 43095 22488 115839 | 9977 476 66 | 0.872 % | 252.60/252.75 c | 813 | 43095 22488 115839 | 10974 813 60 | 0.872 % | 253.00/253.12 c | 1323 | 43095 22488 115839 | 12072 1323 55 | 0.872 % | 253.51/253.64 c | 2088 | 43095 22488 115839 | 13279 2088 56 | 0.872 % | 254.31/254.45 c | 3227 | 43095 22488 115839 | 14607 3227 58 | 0.872 % | 255.41/255.58 c | 4935 | 43095 22488 115839 | 16068 4935 63 | 0.872 % | 257.11/257.20 c | 7499 | 43095 22488 115839 | 17675 7499 65 | 0.872 % | 259.90/260.04 c | 11344 | 43095 22488 115839 | 19442 11344 71 | 0.872 % | 264.61/264.70 c | 17112 | 43095 22488 115839 | 21386 17112 73 | 0.872 % | 271.91/272.03 c | 25761 | 43095 22488 115839 | 23525 14686 70 | 0.872 % | 282.51/282.69 c | 38736 | 43095 22488 115839 | 25878 15402 65 | 0.872 % | 300.39/300.59 c | 58198 | 43095 22488 115839 | 28466 20977 67 | 0.872 % | 325.09/325.26 c | 87391 | 43095 22488 115839 | 31312 19473 61 | 0.872 % | 347.08/347.24 c =============================================================================== 348.68/348.87 c core #200 348.68/348.87 c 348.68/348.87 c 348.68/348.87 c Core size: 1774 Core Weight: 1 Total Weight: 649 348.68/348.87 c 348.68/348.87 c 348.68/348.87 c ============================[ Search Statistics ]============================== 348.68/348.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 348.68/348.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 348.68/348.87 c =============================================================================== 348.68/348.87 c | 0 | 44867 22653 120088 | 7551 0 nan | 0.000 % | 348.88/349.01 c | 100 | 44867 22653 120088 | 8306 100 150 | 0.814 % | 348.88/349.07 c | 250 | 44867 22653 120088 | 9136 250 98 | 0.814 % | 349.18/349.34 c | 477 | 44867 22653 120088 | 10050 477 72 | 0.814 % | 349.69/349.82 c | 814 | 44867 22653 120088 | 11055 814 68 | 0.814 % | 350.38/350.59 c | 1322 | 44867 22653 120088 | 12160 1322 92 | 0.814 % | 351.28/351.44 c | 2082 | 44867 22653 120088 | 13377 2082 81 | 0.814 % | 352.07/352.27 c | 3222 | 44867 22653 120088 | 14714 3222 90 | 0.814 % | 353.57/353.79 c | 4931 | 44866 22653 120088 | 16186 4923 81 | 0.816 % | 356.07/356.20 c | 7495 | 44866 22653 120088 | 17804 7487 86 | 0.816 % | 359.68/359.87 c | 11342 | 44866 22653 120088 | 19585 11334 95 | 0.816 % | 365.08/365.21 c | 17108 | 44866 22653 120088 | 21543 17100 93 | 0.816 % | 369.17/369.33 c =============================================================================== 369.57/369.76 c core #201 369.57/369.76 c 369.57/369.76 c 369.57/369.76 c Core size: 3130 Core Weight: 1 Total Weight: 650 369.57/369.76 c 369.57/369.76 c 369.57/369.76 c ============================[ Search Statistics ]============================== 369.57/369.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 369.57/369.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 369.57/369.76 c =============================================================================== 369.57/369.76 c | 0 | 48020 22900 127913 | 7633 0 nan | 0.000 % | 369.77/369.90 c | 101 | 48020 22900 127913 | 8396 101 166 | 0.703 % | 369.87/370.03 c | 253 | 48020 22900 127913 | 9236 253 111 | 0.703 % | 370.08/370.27 c | 481 | 48020 22900 127913 | 10159 481 100 | 0.703 % | 370.48/370.69 c | 819 | 48020 22900 127913 | 11175 819 72 | 0.703 % | 371.17/371.35 c | 1326 | 48020 22900 127913 | 12293 1326 60 | 0.703 % | 372.17/372.38 c | 2085 | 48020 22900 127913 | 13522 2085 56 | 0.703 % | 373.57/373.71 c | 3225 | 48020 22900 127913 | 14875 3225 63 | 0.703 % | 375.88/376.08 c | 4933 | 48020 22900 127913 | 16362 4933 61 | 0.703 % | 378.77/378.96 c | 7497 | 48020 22900 127913 | 17999 7497 61 | 0.703 % | 382.97/383.13 c | 11343 | 48020 22900 127913 | 19798 11343 61 | 0.703 % | 391.26/391.43 c | 17110 | 48020 22900 127913 | 21778 17110 62 | 0.703 % | 404.76/404.98 c | 25759 | 48020 22900 127913 | 23956 14498 55 | 0.703 % | 426.15/426.37 c | 38733 | 48020 22900 127913 | 26352 14739 64 | 0.703 % | 455.75/455.98 c | 58196 | 48019 22900 127913 | 28987 19066 68 | 0.705 % | 503.64/503.86 c | 87388 | 48019 22900 127913 | 31886 13326 112 | 0.705 % | 566.62/566.80 c | 131178 | 48019 22900 127913 | 35074 17958 71 | 0.705 % | 677.79/678.07 c | 196863 | 48019 22900 127913 | 38582 14382 77 | 0.705 % | 872.04/872.34 c | 295390 | 48019 22900 127913 | 42440 34807 168 | 0.705 % | 1204.93/1205.36 c | 443179 | 48019 22900 127913 | 46684 37596 100 | 0.705 % | 1604.01/1604.56 c | 664864 | 48019 22900 127913 | 51353 28238 80 | 0.705 % |
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-2680632-1277451713/watcher-2680632-1277451713 -o /tmp/evaluation-result-2680632-1277451713/solver-2680632-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680632-1277451713.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.00 0.00 0.00 3/106 25945 /proc/meminfo: memFree=762136/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=3116 CPUtime=0 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 390 0 0 0 0 0 0 0 19 0 1 0 86464005 3190784 308 1992294400 134512640 135752675 4291780000 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 779 308 147 303 0 447 0 [startup+0.06411 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25945 /proc/meminfo: memFree=762136/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=3400 CPUtime=0.05 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 549 0 0 0 5 0 0 0 20 0 1 0 86464005 3481600 415 1992294400 134512640 135752675 4291780000 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 850 415 145 303 0 545 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3400 [startup+0.101113 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25945 /proc/meminfo: memFree=762136/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=3532 CPUtime=0.09 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 584 0 0 0 9 0 0 0 20 0 1 0 86464005 3616768 450 1992294400 134512640 135752675 4291780000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 883 450 145 303 0 578 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3532 [startup+0.30113 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25945 /proc/meminfo: memFree=762136/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=4192 CPUtime=0.28 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 730 0 0 0 28 0 0 0 20 0 1 0 86464005 4292608 596 1992294400 134512640 135752675 4291780000 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 1048 596 145 303 0 743 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4192 [startup+0.701166 s] /proc/loadavg: 0.00 0.00 0.00 3/106 25945 /proc/meminfo: memFree=762136/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=5644 CPUtime=0.69 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 1094 0 0 0 68 1 0 0 20 0 1 0 86464005 5779456 960 1992294400 134512640 135752675 4291780000 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 1411 960 145 303 0 1106 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5644 [startup+1.50124 s] /proc/loadavg: 0.00 0.00 0.00 2/107 25946 /proc/meminfo: memFree=757912/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=7768 CPUtime=1.49 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 1644 0 0 0 147 2 0 0 23 0 1 0 86464005 7954432 1510 1992294400 134512640 135752675 4291780000 18446744073709551615 134640079 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 1942 1510 145 303 0 1637 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7768 [startup+3.10037 s] /proc/loadavg: 0.00 0.00 0.00 2/107 25946 /proc/meminfo: memFree=754688/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=11728 CPUtime=3.09 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 2621 0 0 0 305 4 0 0 25 0 1 0 86464005 12009472 2487 1992294400 134512640 135752675 4291780000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 2932 2487 145 303 0 2627 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11728 [startup+6.30065 s] /proc/loadavg: 0.08 0.02 0.01 2/107 25946 /proc/meminfo: memFree=747620/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=18216 CPUtime=6.29 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 4261 0 0 0 623 6 0 0 25 0 1 0 86464005 18653184 4127 1992294400 134512640 135752675 4291780000 18446744073709551615 134612053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 4554 4127 145 303 0 4249 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18216 [startup+12.7012 s] /proc/loadavg: 0.15 0.03 0.01 2/107 25946 /proc/meminfo: memFree=732616/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=32868 CPUtime=12.68 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 7905 0 0 0 1254 14 0 0 25 0 1 0 86464005 33656832 7771 1992294400 134512640 135752675 4291780000 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 8217 7771 145 303 0 7912 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32868 [startup+25.5013 s] /proc/loadavg: 0.34 0.08 0.02 2/107 25948 /proc/meminfo: memFree=702608/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=62060 CPUtime=25.49 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 15208 0 0 0 2521 28 0 0 25 0 1 0 86464005 63549440 15074 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 15515 15074 145 303 0 15210 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 62060 [startup+51.1016 s] /proc/loadavg: 0.56 0.15 0.05 2/107 25948 /proc/meminfo: memFree=653504/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=110764 CPUtime=51.08 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 27382 0 0 0 5064 44 0 0 25 0 1 0 86464005 113422336 27248 1992294400 134512640 135752675 4291780000 18446744073709551615 134605292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 27691 27248 145 303 0 27386 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 110764 [startup+102.309 s] /proc/loadavg: 0.81 0.28 0.10 2/107 25950 /proc/meminfo: memFree=567572/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=196140 CPUtime=102.27 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 48726 0 0 0 10152 75 0 0 25 0 1 0 86464005 200847360 48592 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 49035 48592 145 303 0 48730 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 196140 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 25950 /proc/meminfo: memFree=467256/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=297048 CPUtime=162.24 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 73958 0 0 0 16117 107 0 0 25 0 1 0 86464005 304177152 73824 1992294400 134512640 135752675 4291780000 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 74262 73824 145 303 0 73957 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 297048 [startup+222.301 s] /proc/loadavg: 0.97 0.51 0.20 2/107 25952 /proc/meminfo: memFree=433404/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=330216 CPUtime=222.22 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 82114 0 0 0 22056 166 0 0 25 0 1 0 86464005 338141184 81980 1992294400 134512640 135752675 4291780000 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 82554 81980 146 303 0 82249 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 330216 [startup+282.302 s] /proc/loadavg: 0.99 0.60 0.25 2/107 25954 /proc/meminfo: memFree=425096/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=338548 CPUtime=282.2 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 84917 0 0 0 28020 200 0 0 25 0 1 0 86464005 346673152 84131 1992294400 134512640 135752675 4291780000 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 84637 84131 146 303 0 84332 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 338548 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 25956 /proc/meminfo: memFree=398436/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=364996 CPUtime=342.18 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 91532 0 0 0 33982 236 0 0 25 0 1 0 86464005 373755904 90746 1992294400 134512640 135752675 4291780000 18446744073709551615 134604978 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 91249 90746 146 303 0 90944 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 364996 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 25958 /proc/meminfo: memFree=383308/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=380220 CPUtime=402.16 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 96017 0 0 0 39946 270 0 0 25 0 1 0 86464005 389345280 94316 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 95055 94316 146 303 0 94750 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 380220 [startup+462.301 s] /proc/loadavg: 0.99 0.77 0.37 2/107 25958 /proc/meminfo: memFree=375000/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=389064 CPUtime=462.15 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 98253 0 0 0 45923 292 0 0 25 0 1 0 86464005 398401536 96552 1992294400 134512640 135752675 4291780000 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 97266 96552 146 303 0 96961 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 389064 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.41 2/107 25960 /proc/meminfo: memFree=354292/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=409892 CPUtime=522.14 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 103474 0 0 0 51897 317 0 0 25 0 1 0 86464005 419729408 101773 1992294400 134512640 135752675 4291780000 18446744073709551615 134611554 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 102473 101773 146 303 0 102168 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 409892 [startup+582.302 s] /proc/loadavg: 0.99 0.84 0.44 2/107 25962 /proc/meminfo: memFree=335692/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=428124 CPUtime=582.11 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 108022 0 0 0 57870 341 0 0 25 0 1 0 86464005 438398976 106321 1992294400 134512640 135752675 4291780000 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 107031 106321 146 303 0 106726 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 428124 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.47 2/107 25964 /proc/meminfo: memFree=317960/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=445688 CPUtime=642.11 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 112423 0 0 0 63845 366 0 0 25 0 1 0 86464005 456384512 110722 1992294400 134512640 135752675 4291780000 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 111422 110722 146 303 0 111117 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 445688 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.92 0.56 2/107 25968 /proc/meminfo: memFree=256704/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=507028 CPUtime=822.05 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 127724 0 0 0 81768 437 0 0 25 0 1 0 86464005 519196672 126023 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 126757 126023 146 303 0 126452 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 507028 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 25970 /proc/meminfo: memFree=237360/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=526048 CPUtime=882.03 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 132486 0 0 0 87746 457 0 0 25 0 1 0 86464005 538673152 130785 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 131512 130785 146 303 0 131207 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 526048 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 25972 /proc/meminfo: memFree=220744/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=542892 CPUtime=942.01 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 136677 0 0 0 93726 475 0 0 25 0 1 0 86464005 555921408 134976 1992294400 134512640 135752675 4291780000 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 135723 134976 146 303 0 135418 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 542892 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/107 25974 /proc/meminfo: memFree=198176/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=565340 CPUtime=1002 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 142296 0 0 0 99704 496 0 0 25 0 1 0 86464005 578908160 140595 1992294400 134512640 135752675 4291780000 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 141335 140595 146 303 0 141030 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 565340 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 25974 /proc/meminfo: memFree=179700/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=583724 CPUtime=1061.98 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 146893 0 0 0 105686 512 0 0 25 0 1 0 86464005 597733376 145192 1992294400 134512640 135752675 4291780000 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 145931 145192 146 303 0 145626 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 583724 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.67 2/107 25976 /proc/meminfo: memFree=165068/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=598288 CPUtime=1121.96 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 150533 0 0 0 111666 530 0 0 25 0 1 0 86464005 612646912 148832 1992294400 134512640 135752675 4291780000 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 149572 148832 146 303 0 149267 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 598288 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.68 2/107 25987 /proc/meminfo: memFree=147956/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=615064 CPUtime=1181.94 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 154724 0 0 0 117641 553 0 0 25 0 1 0 86464005 629825536 153023 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 153766 153023 146 303 0 153461 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 615064 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.70 2/107 25989 /proc/meminfo: memFree=132828/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=630068 CPUtime=1241.92 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 158480 0 0 0 123617 575 0 0 25 0 1 0 86464005 645189632 156779 1992294400 134512640 135752675 4291780000 18446744073709551615 134637726 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 157517 156779 146 303 0 157212 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 630068 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.72 2/107 25991 /proc/meminfo: memFree=111004/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=651728 CPUtime=1301.9 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 163874 0 0 0 129594 596 0 0 25 0 1 0 86464005 667369472 162173 1992294400 134512640 135752675 4291780000 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 162932 162173 146 303 0 162627 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 651728 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.73 2/107 25991 /proc/meminfo: memFree=89676/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=673112 CPUtime=1361.88 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 169230 0 0 0 135568 620 0 0 25 0 1 0 86464005 689266688 167529 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 168278 167529 146 303 0 167973 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 673112 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.75 2/107 25993 /proc/meminfo: memFree=70952/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=691736 CPUtime=1421.87 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 173871 0 0 0 141545 642 0 0 25 0 1 0 86464005 708337664 172170 1992294400 134512640 135752675 4291780000 18446744073709551615 134642629 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 172934 172170 146 303 0 172629 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 691736 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.76 2/107 25995 /proc/meminfo: memFree=52228/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=710780 CPUtime=1481.84 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 178651 0 0 0 147519 665 0 0 25 0 1 0 86464005 727838720 176950 1992294400 134512640 135752675 4291780000 18446744073709551615 134605481 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 177695 176950 146 303 0 177390 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 710780 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.77 2/107 25997 /proc/meminfo: memFree=37100/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=725872 CPUtime=1541.83 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 182413 0 0 0 153495 688 0 0 25 0 1 0 86464005 743292928 180712 1992294400 134512640 135752675 4291780000 18446744073709551615 134611540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 181468 180712 146 303 0 181163 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 725872 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.78 2/107 25999 /proc/meminfo: memFree=21228/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=742108 CPUtime=1601.81 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 186460 0 0 0 159470 711 0 0 25 0 1 0 86464005 759918592 184759 1992294400 134512640 135752675 4291780000 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 185527 184759 146 303 0 185222 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 742108 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.79 2/107 25999 /proc/meminfo: memFree=9344/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=756916 CPUtime=1661.79 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 190164 0 0 0 165446 733 0 0 25 0 1 0 86464005 775081984 188463 1992294400 134512640 135752675 4291780000 18446744073709551615 134637659 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 189229 188463 146 303 0 188924 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 756916 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.80 2/107 26001 /proc/meminfo: memFree=9948/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=771856 CPUtime=1721.77 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 193914 0 0 0 171422 755 0 0 25 0 1 0 86464005 790380544 192213 1992294400 134512640 135752675 4291780000 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 192964 192213 146 303 0 192659 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 771856 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/107 26003 /proc/meminfo: memFree=10036/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=785912 CPUtime=1781.76 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 197413 0 0 0 177398 778 0 0 25 0 1 0 86464005 804773888 195712 1992294400 134512640 135752675 4291780000 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 196478 195712 146 303 0 196173 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 785912 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.82 2/107 26003 /proc/meminfo: memFree=10184/2059040 swapFree=4140412/4192956 [pid=25945] ppid=25943 vsize=790408 CPUtime=1800.07 /proc/25945/stat : 25945 (wbo1.4b) R 25943 25945 25920 0 -1 4202496 198540 0 0 0 179224 783 0 0 25 0 1 0 86464005 809377792 196839 1992294400 134512640 135752675 4291780000 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/25945/statm: 197602 196839 146 303 0 197297 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 790408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.69 CPU time (s): 1800.15 CPU user time (s): 1792.24 CPU system time (s): 7.9068 CPU usage (%): 99.97 Max. virtual memory (cumulated for all children) (KiB): 790408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.24 system time used= 7.9068 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 198540 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= 28 involuntary context switches= 2114 runsolver used 3.12652 second user time and 8.40072 second system time The end
Begin job on node041 at 2010-06-25 09:41:53 IDJOB=2680632 IDBENCH=1872 IDSOLVER=1190 FILE ID=node041/2680632-1277451713 PBS_JOBID= 11188126 Free space on /tmp= 61680 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680632-1277451713/watcher-2680632-1277451713 -o /tmp/evaluation-result-2680632-1277451713/solver-2680632-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680632-1277451713.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED=854475842 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 762664 kB Buffers: 181628 kB Cached: 993500 kB SwapCached: 6060 kB Active: 285888 kB Inactive: 902820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 762664 kB SwapTotal: 4192956 kB SwapFree: 4140412 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 11456 kB Mapped: 11996 kB Slab: 85896 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181044 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= 61676 MiB End job on node041 at 2010-06-25 10:11:56