Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.13 |
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 | 8.87865 |
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.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460909-1307074475.opb. 0.00/0.00 c Instance file HOME/instance-3460909-1307074475.opb 0.00/0.00 c File size is 108800 bytes. 0.00/0.01 c Highest Coefficient sum: 74 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 1800 | 0.00/0.01 c | Number Clauses: 120 | 0.00/0.01 c | Number Cardinality: 215 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 1600 335 16000 | 5000 0 -nan | 0.000 % | 0.00/0.07 c core #1 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 11 Total Weight: 11 0.00/0.07 c Current CPU time: 0.009998 s 0.00/0.07 c 0.00/0.07 c core #2 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 13 Total Weight: 24 0.00/0.07 c Current CPU time: 0.010998 s 0.00/0.07 c 0.00/0.07 c core #3 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 15 Total Weight: 39 0.00/0.07 c Current CPU time: 0.011998 s 0.00/0.07 c 0.00/0.07 c core #4 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 17 Total Weight: 56 0.00/0.07 c Current CPU time: 0.012998 s 0.00/0.07 c 0.00/0.07 c core #5 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 19 Total Weight: 75 0.00/0.07 c Current CPU time: 0.013997 s 0.00/0.07 c 0.00/0.07 c core #6 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 3 Total Weight: 78 0.00/0.07 c Current CPU time: 0.014997 s 0.00/0.07 c 0.00/0.07 c core #7 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 5 Total Weight: 83 0.00/0.07 c Current CPU time: 0.015997 s 0.00/0.07 c 0.00/0.07 c core #8 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 81 Core Weight: 1 Total Weight: 84 0.00/0.07 c Current CPU time: 0.017997 s 0.00/0.07 c 0.00/0.07 c core #9 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 7 Total Weight: 91 0.00/0.07 c Current CPU time: 0.018997 s 0.00/0.07 c 0.00/0.07 c core #10 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 9 Total Weight: 100 0.00/0.07 c Current CPU time: 0.019996 s 0.00/0.07 c 0.00/0.07 c core #11 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 81 Core Weight: 1 Total Weight: 101 0.00/0.07 c Current CPU time: 0.020996 s 0.00/0.07 c 0.00/0.07 c core #12 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 11 Total Weight: 112 0.00/0.07 c Current CPU time: 0.021996 s 0.00/0.07 c 0.00/0.07 c core #13 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 13 Total Weight: 125 0.00/0.07 c Current CPU time: 0.023996 s 0.00/0.07 c 0.00/0.07 c core #14 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 81 Core Weight: 1 Total Weight: 126 0.00/0.07 c Current CPU time: 0.024996 s 0.00/0.07 c 0.00/0.07 c core #15 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 15 Total Weight: 141 0.00/0.07 c Current CPU time: 0.025996 s 0.00/0.07 c 0.00/0.07 c core #16 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 17 Total Weight: 158 0.00/0.07 c Current CPU time: 0.027995 s 0.00/0.07 c 0.00/0.07 c core #17 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 81 Core Weight: 1 Total Weight: 159 0.00/0.07 c Current CPU time: 0.028995 s 0.00/0.07 c 0.00/0.07 c core #18 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 5 Total Weight: 164 0.00/0.07 c Current CPU time: 0.030995 s 0.00/0.07 c 0.00/0.07 c core #19 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 7 Total Weight: 171 0.00/0.07 c Current CPU time: 0.031995 s 0.00/0.07 c 0.00/0.07 c core #20 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 9 Total Weight: 180 0.00/0.07 c Current CPU time: 0.032994 s 0.00/0.07 c 0.00/0.07 c core #21 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 11 Total Weight: 191 0.00/0.07 c Current CPU time: 0.034994 s 0.00/0.07 c 0.00/0.07 c core #22 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 13 Total Weight: 204 0.00/0.07 c Current CPU time: 0.035994 s 0.00/0.07 c 0.00/0.07 c core #23 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 15 Total Weight: 219 0.00/0.07 c Current CPU time: 0.037994 s 0.00/0.07 c 0.00/0.07 c core #24 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 3 Total Weight: 222 0.00/0.07 c Current CPU time: 0.038994 s 0.00/0.07 c 0.00/0.07 c core #25 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 5 Total Weight: 227 0.00/0.07 c Current CPU time: 0.040993 s 0.00/0.07 c 0.00/0.07 c core #26 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 7 Total Weight: 234 0.00/0.07 c Current CPU time: 0.041993 s 0.00/0.07 c 0.00/0.07 c core #27 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 121 Core Weight: 1 Total Weight: 235 0.00/0.07 c Current CPU time: 0.043993 s 0.00/0.07 c 0.00/0.07 c core #28 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 9 Total Weight: 244 0.00/0.07 c Current CPU time: 0.045993 s 0.00/0.07 c 0.00/0.07 c core #29 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 11 Total Weight: 255 0.00/0.07 c Current CPU time: 0.046992 s 0.00/0.07 c 0.00/0.07 c core #30 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 237 Core Weight: 1 Total Weight: 256 0.00/0.07 c Current CPU time: 0.048992 s 0.00/0.07 c 0.00/0.07 c core #31 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 13 Total Weight: 269 0.00/0.07 c Current CPU time: 0.050992 s 0.00/0.07 c 0.00/0.07 c core #32 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 5 Total Weight: 274 0.00/0.07 c Current CPU time: 0.052991 s 0.00/0.07 c 0.00/0.07 c core #33 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 7 Total Weight: 281 0.00/0.07 c Current CPU time: 0.054991 s 0.00/0.07 c 0.00/0.07 c core #34 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 9 Total Weight: 290 0.00/0.07 c Current CPU time: 0.055991 s 0.00/0.07 c 0.00/0.07 c core #35 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 11 Total Weight: 301 0.00/0.07 c Current CPU time: 0.056991 s 0.00/0.07 c 0.00/0.07 c core #36 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 3 Total Weight: 304 0.00/0.07 c Current CPU time: 0.058991 s 0.00/0.07 c 0.00/0.07 c core #37 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 5 Total Weight: 309 0.00/0.07 c Current CPU time: 0.06099 s 0.00/0.07 c 0.00/0.07 c core #38 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 7 Total Weight: 316 0.00/0.07 c Current CPU time: 0.06299 s 0.00/0.07 c 0.00/0.07 c core #39 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 9 Total Weight: 325 0.00/0.07 c Current CPU time: 0.06499 s 0.00/0.07 c 0.00/0.07 c core #40 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 5 Total Weight: 330 0.00/0.07 c Current CPU time: 0.066989 s 0.00/0.07 c 0.00/0.07 c core #41 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 7 Total Weight: 337 0.00/0.07 c Current CPU time: 0.067989 s 0.00/0.07 c 0.00/0.07 c core #42 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c Core size: 41 Core Weight: 3 Total Weight: 340 0.09/0.18 c Current CPU time: 0.069989 s 0.09/0.18 c 0.09/0.18 c core #43 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 5 Total Weight: 345 0.09/0.18 c Current CPU time: 0.071989 s 0.09/0.18 c 0.09/0.18 c core #44 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 1 Total Weight: 346 0.09/0.18 c Current CPU time: 0.073988 s 0.09/0.18 c 0.09/0.18 c core #45 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 347 0.09/0.18 c Current CPU time: 0.075988 s 0.09/0.18 c 0.09/0.18 c core #46 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 2 Total Weight: 349 0.09/0.18 c Current CPU time: 0.078987 s 0.09/0.18 c 0.09/0.18 c core #47 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 350 0.09/0.18 c Current CPU time: 0.080987 s 0.09/0.18 c 0.09/0.18 c core #48 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 3 Total Weight: 353 0.09/0.18 c Current CPU time: 0.082987 s 0.09/0.18 c 0.09/0.18 c core #49 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 81 Core Weight: 1 Total Weight: 354 0.09/0.18 c Current CPU time: 0.084987 s 0.09/0.18 c 0.09/0.18 c core #50 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 4 Total Weight: 358 0.09/0.18 c Current CPU time: 0.086986 s 0.09/0.18 c 0.09/0.18 c core #51 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 79 Core Weight: 1 Total Weight: 359 0.09/0.18 c Current CPU time: 0.088986 s 0.09/0.18 c 0.09/0.18 c core #52 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 5 Total Weight: 364 0.09/0.18 c Current CPU time: 0.091986 s 0.09/0.18 c 0.09/0.18 c core #53 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 81 Core Weight: 1 Total Weight: 365 0.09/0.18 c Current CPU time: 0.093985 s 0.09/0.18 c 0.09/0.18 c core #54 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 6 Total Weight: 371 0.09/0.18 c Current CPU time: 0.095985 s 0.09/0.18 c 0.09/0.18 c core #55 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 81 Core Weight: 1 Total Weight: 372 0.09/0.18 c Current CPU time: 0.097985 s 0.09/0.18 c 0.09/0.18 c core #56 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 241 Core Weight: 1 Total Weight: 373 0.09/0.18 c Current CPU time: 0.100984 s 0.09/0.18 c 0.09/0.18 c core #57 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 161 Core Weight: 1 Total Weight: 374 0.09/0.18 c Current CPU time: 0.102984 s 0.09/0.18 c 0.09/0.18 c core #58 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 79 Core Weight: 1 Total Weight: 375 0.09/0.18 c Current CPU time: 0.105983 s 0.09/0.18 c 0.09/0.18 c core #59 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 1 Total Weight: 376 0.09/0.18 c Current CPU time: 0.108983 s 0.09/0.18 c 0.09/0.18 c core #60 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 81 Core Weight: 1 Total Weight: 377 0.09/0.18 c Current CPU time: 0.110983 s 0.09/0.18 c 0.09/0.18 c core #61 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 3 Total Weight: 380 0.09/0.18 c Current CPU time: 0.112982 s 0.09/0.18 c 0.09/0.18 c core #62 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 3 Total Weight: 383 0.09/0.18 c Current CPU time: 0.114982 s 0.09/0.18 c 0.09/0.18 c core #63 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 384 0.09/0.18 c Current CPU time: 0.117982 s 0.09/0.18 c 0.09/0.18 c core #64 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 5 Total Weight: 389 0.09/0.18 c Current CPU time: 0.120981 s 0.09/0.18 c 0.09/0.18 c core #65 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 390 0.09/0.18 c Current CPU time: 0.122981 s 0.09/0.18 c 0.09/0.18 c core #66 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 391 0.09/0.18 c Current CPU time: 0.12598 s 0.09/0.18 c 0.09/0.18 c core #67 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 392 0.09/0.18 c Current CPU time: 0.12898 s 0.09/0.18 c 0.09/0.18 c core #68 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 79 Core Weight: 1 Total Weight: 393 0.09/0.18 c Current CPU time: 0.13098 s 0.09/0.18 c 0.09/0.18 c core #69 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 80 Core Weight: 1 Total Weight: 394 0.09/0.18 c Current CPU time: 0.133979 s 0.09/0.18 c 0.09/0.18 c core #70 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 79 Core Weight: 1 Total Weight: 395 0.09/0.18 c Current CPU time: 0.136979 s 0.09/0.18 c 0.09/0.18 c core #71 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 201 Core Weight: 1 Total Weight: 396 0.09/0.18 c Current CPU time: 0.139978 s 0.09/0.18 c 0.09/0.18 c core #72 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 1 Total Weight: 397 0.09/0.18 c Current CPU time: 0.141978 s 0.09/0.18 c 0.09/0.18 c core #73 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 2 Total Weight: 399 0.09/0.18 c Current CPU time: 0.143978 s 0.09/0.18 c 0.09/0.18 c core #74 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 81 Core Weight: 1 Total Weight: 400 0.09/0.18 c Current CPU time: 0.146977 s 0.09/0.18 c 0.09/0.18 c core #75 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 3 Total Weight: 403 0.09/0.18 c Current CPU time: 0.150977 s 0.09/0.18 c 0.09/0.18 c core #76 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 157 Core Weight: 1 Total Weight: 404 0.09/0.18 c Current CPU time: 0.153976 s 0.09/0.18 c 0.09/0.18 c core #77 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 4 Total Weight: 408 0.09/0.18 c Current CPU time: 0.155976 s 0.09/0.18 c 0.09/0.18 c core #78 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 116 Core Weight: 1 Total Weight: 409 0.09/0.18 c Current CPU time: 0.159975 s 0.09/0.18 c 0.09/0.18 c core #79 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 5 Total Weight: 414 0.09/0.18 c Current CPU time: 0.162975 s 0.09/0.18 c 0.09/0.18 c core #80 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 116 Core Weight: 1 Total Weight: 415 0.09/0.18 c Current CPU time: 0.166974 s 0.09/0.18 c 0.09/0.18 c core #81 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 41 Core Weight: 6 Total Weight: 421 0.09/0.18 c Current CPU time: 0.169974 s 0.09/0.18 c 0.09/0.18 c core #82 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 114 Core Weight: 1 Total Weight: 422 0.09/0.18 c Current CPU time: 0.172973 s 0.09/0.18 c 0.09/0.18 c core #83 0.09/0.18 c 0.09/0.18 c 0.09/0.18 c Core size: 121 Core Weight: 1 Total Weight: 423 0.09/0.18 c Current CPU time: 0.176973 s 0.29/0.36 c 0.29/0.36 c core #84 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 121 Core Weight: 1 Total Weight: 424 0.29/0.36 c Current CPU time: 0.180972 s 0.29/0.36 c 0.29/0.36 c core #85 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 425 0.29/0.36 c Current CPU time: 0.184971 s 0.29/0.36 c 0.29/0.36 c core #86 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 78 Core Weight: 1 Total Weight: 426 0.29/0.36 c Current CPU time: 0.187971 s 0.29/0.36 c 0.29/0.36 c core #87 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 427 0.29/0.36 c Current CPU time: 0.19097 s 0.29/0.36 c 0.29/0.36 c core #88 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 3 Total Weight: 430 0.29/0.36 c Current CPU time: 0.19497 s 0.29/0.36 c 0.29/0.36 c core #89 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 431 0.29/0.36 c Current CPU time: 0.198969 s 0.29/0.36 c 0.29/0.36 c core #90 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 4 Total Weight: 435 0.29/0.36 c Current CPU time: 0.202969 s 0.29/0.36 c 0.29/0.36 c core #91 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 436 0.29/0.36 c Current CPU time: 0.205968 s 0.29/0.36 c 0.29/0.36 c core #92 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 6 Total Weight: 442 0.29/0.36 c Current CPU time: 0.209968 s 0.29/0.36 c 0.29/0.36 c core #93 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 443 0.29/0.36 c Current CPU time: 0.213967 s 0.29/0.36 c 0.29/0.36 c core #94 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 119 Core Weight: 1 Total Weight: 444 0.29/0.36 c Current CPU time: 0.217966 s 0.29/0.36 c 0.29/0.36 c core #95 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 445 0.29/0.36 c Current CPU time: 0.221966 s 0.29/0.36 c 0.29/0.36 c core #96 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 446 0.29/0.36 c Current CPU time: 0.226965 s 0.29/0.36 c 0.29/0.36 c core #97 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 447 0.29/0.36 c Current CPU time: 0.230964 s 0.29/0.36 c 0.29/0.36 c core #98 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 448 0.29/0.36 c Current CPU time: 0.234964 s 0.29/0.36 c 0.29/0.36 c core #99 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 449 0.29/0.36 c Current CPU time: 0.238963 s 0.29/0.36 c 0.29/0.36 c core #100 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 2 Total Weight: 451 0.29/0.36 c Current CPU time: 0.243962 s 0.29/0.36 c 0.29/0.36 c core #101 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 5 Total Weight: 456 0.29/0.36 c Current CPU time: 0.247962 s 0.29/0.36 c 0.29/0.36 c core #102 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 81 Core Weight: 1 Total Weight: 457 0.29/0.36 c Current CPU time: 0.251961 s 0.29/0.36 c 0.29/0.36 c core #103 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 8 Total Weight: 465 0.29/0.36 c Current CPU time: 0.25696 s 0.29/0.36 c 0.29/0.36 c core #104 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 466 0.29/0.36 c Current CPU time: 0.26096 s 0.29/0.36 c 0.29/0.36 c core #105 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 11 Total Weight: 477 0.29/0.36 c Current CPU time: 0.264959 s 0.29/0.36 c 0.29/0.36 c core #106 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 478 0.29/0.36 c Current CPU time: 0.269958 s 0.29/0.36 c 0.29/0.36 c core #107 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 15 Total Weight: 493 0.29/0.36 c Current CPU time: 0.273958 s 0.29/0.36 c 0.29/0.36 c core #108 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 109 Core Weight: 1 Total Weight: 494 0.29/0.36 c Current CPU time: 0.278957 s 0.29/0.36 c 0.29/0.36 c core #109 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 16 Total Weight: 510 0.29/0.36 c Current CPU time: 0.282956 s 0.29/0.36 c 0.29/0.36 c core #110 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 19 Total Weight: 529 0.29/0.36 c Current CPU time: 0.287956 s 0.29/0.36 c 0.29/0.36 c core #111 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 157 Core Weight: 1 Total Weight: 530 0.29/0.36 c Current CPU time: 0.292955 s 0.29/0.36 c 0.29/0.36 c core #112 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 1 Total Weight: 531 0.29/0.36 c Current CPU time: 0.296954 s 0.29/0.36 c 0.29/0.36 c core #113 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 1 Total Weight: 532 0.29/0.36 c Current CPU time: 0.301954 s 0.29/0.36 c 0.29/0.36 c core #114 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 81 Core Weight: 1 Total Weight: 533 0.29/0.36 c Current CPU time: 0.306953 s 0.29/0.36 c 0.29/0.36 c core #115 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 3 Total Weight: 536 0.29/0.36 c Current CPU time: 0.311952 s 0.29/0.36 c 0.29/0.36 c core #116 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 537 0.29/0.36 c Current CPU time: 0.315951 s 0.29/0.36 c 0.29/0.36 c core #117 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 4 Total Weight: 541 0.29/0.36 c Current CPU time: 0.320951 s 0.29/0.36 c 0.29/0.36 c core #118 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 542 0.29/0.36 c Current CPU time: 0.32595 s 0.29/0.36 c 0.29/0.36 c core #119 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 5 Total Weight: 547 0.29/0.36 c Current CPU time: 0.330949 s 0.29/0.36 c 0.29/0.36 c core #120 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 548 0.29/0.36 c Current CPU time: 0.335948 s 0.29/0.36 c 0.29/0.36 c core #121 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 6 Total Weight: 554 0.29/0.36 c Current CPU time: 0.340948 s 0.29/0.36 c 0.29/0.36 c core #122 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 79 Core Weight: 1 Total Weight: 555 0.29/0.36 c Current CPU time: 0.345947 s 0.29/0.36 c 0.29/0.36 c core #123 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 41 Core Weight: 6 Total Weight: 561 0.29/0.36 c Current CPU time: 0.351946 s 0.29/0.36 c 0.29/0.36 c core #124 0.29/0.36 c 0.29/0.36 c 0.29/0.36 c Core size: 80 Core Weight: 1 Total Weight: 562 0.29/0.36 c Current CPU time: 0.356945 s 0.29/0.39 c 0.29/0.39 c core #125 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 41 Core Weight: 3 Total Weight: 565 0.29/0.39 c Current CPU time: 0.361944 s 0.29/0.39 c 0.29/0.39 c core #126 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 41 Core Weight: 7 Total Weight: 572 0.29/0.39 c Current CPU time: 0.367944 s 0.29/0.39 c 0.29/0.39 c core #127 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 80 Core Weight: 1 Total Weight: 573 0.29/0.39 c Current CPU time: 0.372943 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 8318 10023 23162 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.29/0.39 c core #128 0.29/0.39 c 0.29/0.39 c 0.29/0.39 c Core size: 76 Core Weight: 1 Total Weight: 574 0.29/0.39 c Current CPU time: 0.379942 s 0.29/0.39 c 0.29/0.39 c ============================[ Search Statistics ]============================== 0.29/0.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.39 c =============================================================================== 0.29/0.39 c | 0 | 8394 10094 23439 | 5000 0 -nan | 0.000 % | 0.29/0.39 c =============================================================================== 0.38/0.40 c core #129 0.38/0.40 c 0.38/0.40 c 0.38/0.40 c Core size: 75 Core Weight: 1 Total Weight: 575 0.38/0.40 c Current CPU time: 0.387941 s 0.38/0.40 c 0.38/0.40 c ============================[ Search Statistics ]============================== 0.38/0.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.40 c =============================================================================== 0.38/0.40 c | 0 | 8470 10163 23551 | 5000 0 -nan | 0.000 % | 0.38/0.40 c =============================================================================== 0.38/0.41 c core #130 0.38/0.41 c 0.38/0.41 c 0.38/0.41 c Core size: 210 Core Weight: 1 Total Weight: 576 0.38/0.41 c Current CPU time: 0.395939 s 0.38/0.41 c 0.38/0.41 c ============================[ Search Statistics ]============================== 0.38/0.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.41 c =============================================================================== 0.38/0.41 c | 0 | 8694 10358 24180 | 5000 0 -nan | 0.000 % | 0.38/0.41 c =============================================================================== 0.38/0.42 c core #131 0.38/0.42 c 0.38/0.42 c 0.38/0.42 c Core size: 78 Core Weight: 1 Total Weight: 577 0.38/0.42 c Current CPU time: 0.403938 s 0.38/0.42 c 0.38/0.42 c ============================[ Search Statistics ]============================== 0.38/0.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.42 c =============================================================================== 0.38/0.42 c | 0 | 8771 10432 24391 | 5000 0 -nan | 0.000 % | 0.38/0.42 c =============================================================================== 0.38/0.43 c core #132 0.38/0.43 c 0.38/0.43 c 0.38/0.43 c Core size: 116 Core Weight: 1 Total Weight: 578 0.38/0.43 c Current CPU time: 0.410937 s 0.38/0.43 c 0.38/0.43 c ============================[ Search Statistics ]============================== 0.38/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.43 c =============================================================================== 0.38/0.43 c | 0 | 8886 10542 24547 | 5000 0 -nan | 0.000 % | 0.38/0.43 c =============================================================================== 0.38/0.43 c core #133 0.38/0.43 c 0.38/0.43 c 0.38/0.43 c Core size: 363 Core Weight: 1 Total Weight: 579 0.38/0.43 c Current CPU time: 0.420936 s 0.38/0.43 c 0.38/0.43 c ============================[ Search Statistics ]============================== 0.38/0.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.43 c =============================================================================== 0.38/0.43 c | 0 | 9272 10858 25392 | 5000 0 -nan | 0.000 % | 0.38/0.44 c =============================================================================== 0.38/0.44 c core #134 0.38/0.44 c 0.38/0.44 c 0.38/0.44 c Core size: 113 Core Weight: 1 Total Weight: 580 0.38/0.44 c Current CPU time: 0.428934 s 0.38/0.44 c 0.38/0.44 c ============================[ Search Statistics ]============================== 0.38/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.44 c =============================================================================== 0.38/0.44 c | 0 | 9387 10966 25577 | 5000 0 -nan | 0.000 % | 0.38/0.44 c =============================================================================== 0.38/0.45 c core #135 0.38/0.45 c 0.38/0.45 c 0.38/0.45 c Core size: 77 Core Weight: 1 Total Weight: 581 0.38/0.45 c Current CPU time: 0.436933 s 0.38/0.45 c 0.38/0.45 c ============================[ Search Statistics ]============================== 0.38/0.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.45 c =============================================================================== 0.38/0.45 c | 0 | 9463 11039 25745 | 5000 0 -nan | 0.000 % | 0.38/0.45 c =============================================================================== 0.38/0.46 c core #136 0.38/0.46 c 0.38/0.46 c 0.38/0.46 c Core size: 112 Core Weight: 1 Total Weight: 582 0.38/0.46 c Current CPU time: 0.444932 s 0.38/0.46 c 0.38/0.46 c ============================[ Search Statistics ]============================== 0.38/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.46 c =============================================================================== 0.38/0.46 c | 0 | 9577 11148 26118 | 5000 0 -nan | 0.000 % | 0.38/0.46 c =============================================================================== 0.38/0.47 c core #137 0.38/0.47 c 0.38/0.47 c 0.38/0.47 c Core size: 477 Core Weight: 1 Total Weight: 583 0.38/0.47 c Current CPU time: 0.45493 s 0.38/0.47 c 0.38/0.47 c ============================[ Search Statistics ]============================== 0.38/0.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.47 c =============================================================================== 0.38/0.47 c | 0 | 10077 11566 27152 | 5000 0 -nan | 0.000 % | 0.38/0.47 c =============================================================================== 0.38/0.48 c core #138 0.38/0.48 c 0.38/0.48 c 0.38/0.48 c Core size: 77 Core Weight: 1 Total Weight: 584 0.38/0.48 c Current CPU time: 0.463929 s 0.38/0.48 c 0.38/0.48 c ============================[ Search Statistics ]============================== 0.38/0.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.48 c =============================================================================== 0.38/0.48 c | 0 | 10154 11638 27278 | 5000 0 -nan | 0.000 % | 0.38/0.48 c =============================================================================== 0.38/0.49 c core #139 0.38/0.49 c 0.38/0.49 c 0.38/0.49 c Core size: 78 Core Weight: 1 Total Weight: 585 0.38/0.49 c Current CPU time: 0.472928 s 0.38/0.49 c 0.38/0.49 c ============================[ Search Statistics ]============================== 0.38/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.38/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.38/0.49 c =============================================================================== 0.38/0.49 c | 0 | 10231 11712 27379 | 5000 0 -nan | 0.000 % | 0.38/0.49 c =============================================================================== 0.49/0.50 c core #140 0.49/0.50 c 0.49/0.50 c 0.49/0.50 c Core size: 78 Core Weight: 1 Total Weight: 586 0.49/0.50 c Current CPU time: 0.484926 s 0.49/0.50 c 0.49/0.50 c ============================[ Search Statistics ]============================== 0.49/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.50 c =============================================================================== 0.49/0.50 c | 0 | 10308 11786 27508 | 5000 0 -nan | 0.000 % | 0.49/0.50 c =============================================================================== 0.49/0.51 c core #141 0.49/0.51 c 0.49/0.51 c 0.49/0.51 c Core size: 76 Core Weight: 1 Total Weight: 587 0.49/0.51 c Current CPU time: 0.493924 s 0.49/0.51 c 0.49/0.51 c ============================[ Search Statistics ]============================== 0.49/0.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.51 c =============================================================================== 0.49/0.51 c | 0 | 10385 11856 27635 | 5000 0 -nan | 0.000 % | 0.49/0.51 c =============================================================================== 0.49/0.52 c core #142 0.49/0.52 c 0.49/0.52 c 0.49/0.52 c Core size: 175 Core Weight: 1 Total Weight: 588 0.49/0.52 c Current CPU time: 0.503923 s 0.49/0.52 c 0.49/0.52 c ============================[ Search Statistics ]============================== 0.49/0.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.52 c =============================================================================== 0.49/0.52 c | 0 | 10566 12013 28147 | 5000 0 -nan | 0.000 % | 0.49/0.52 c =============================================================================== 0.49/0.53 c core #143 0.49/0.53 c 0.49/0.53 c 0.49/0.53 c Core size: 75 Core Weight: 1 Total Weight: 589 0.49/0.53 c Current CPU time: 0.512922 s 0.49/0.53 c 0.49/0.53 c ============================[ Search Statistics ]============================== 0.49/0.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.53 c =============================================================================== 0.49/0.53 c | 0 | 10641 12085 28290 | 5000 0 -nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.54 c core #144 0.49/0.54 c 0.49/0.54 c 0.49/0.54 c Core size: 316 Core Weight: 1 Total Weight: 590 0.49/0.54 c Current CPU time: 0.52292 s 0.49/0.54 c 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 10973 12342 29055 | 5000 0 -nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.55 c core #145 0.49/0.55 c 0.49/0.55 c 0.49/0.55 c Core size: 72 Core Weight: 1 Total Weight: 591 0.49/0.55 c Current CPU time: 0.532918 s 0.49/0.55 c 0.49/0.55 c ============================[ Search Statistics ]============================== 0.49/0.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.55 c =============================================================================== 0.49/0.55 c | 0 | 11045 12413 29182 | 5000 0 -nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.56 c core #146 0.49/0.56 c 0.49/0.56 c 0.49/0.56 c Core size: 104 Core Weight: 1 Total Weight: 592 0.49/0.56 c Current CPU time: 0.542917 s 0.49/0.56 c 0.49/0.56 c ============================[ Search Statistics ]============================== 0.49/0.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.56 c =============================================================================== 0.49/0.56 c | 0 | 11151 12510 29381 | 5000 0 -nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.58 c core #147 0.49/0.58 c 0.49/0.58 c 0.49/0.58 c Core size: 317 Core Weight: 1 Total Weight: 593 0.49/0.58 c Current CPU time: 0.555915 s 0.49/0.58 c 0.49/0.58 c ============================[ Search Statistics ]============================== 0.49/0.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 11510 12701 30671 | 5000 0 -nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.59 c core #148 0.49/0.59 c 0.49/0.59 c 0.49/0.59 c Core size: 78 Core Weight: 1 Total Weight: 594 0.49/0.59 c Current CPU time: 0.566913 s 0.49/0.59 c 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 11587 12775 30760 | 5000 0 -nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.59/0.60 c core #149 0.59/0.60 c 0.59/0.60 c 0.59/0.60 c Core size: 269 Core Weight: 1 Total Weight: 595 0.59/0.60 c Current CPU time: 0.577912 s 0.59/0.60 c 0.59/0.60 c ============================[ Search Statistics ]============================== 0.59/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 11863 13013 31234 | 5000 0 -nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.61 c core #150 0.59/0.61 c 0.59/0.61 c 0.59/0.61 c Core size: 73 Core Weight: 4 Total Weight: 599 0.59/0.61 c Current CPU time: 0.58891 s 0.59/0.61 c 0.59/0.61 c ============================[ Search Statistics ]============================== 0.59/0.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 11935 13082 31340 | 5000 0 -nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.62 c core #151 0.59/0.62 c 0.59/0.62 c 0.59/0.62 c Core size: 210 Core Weight: 1 Total Weight: 600 0.59/0.62 c Current CPU time: 0.600908 s 0.59/0.62 c 0.59/0.62 c ============================[ Search Statistics ]============================== 0.59/0.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.62 c =============================================================================== 0.59/0.62 c | 0 | 12157 13254 31815 | 5000 0 -nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.64 c core #152 0.59/0.64 c 0.59/0.64 c 0.59/0.64 c Core size: 76 Core Weight: 1 Total Weight: 601 0.59/0.64 c Current CPU time: 0.611906 s 0.59/0.64 c 0.59/0.64 c ============================[ Search Statistics ]============================== 0.59/0.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.64 c =============================================================================== 0.59/0.64 c | 0 | 12232 13326 31918 | 5000 0 -nan | 0.000 % | 0.59/0.64 c =============================================================================== 0.59/0.65 c core #153 0.59/0.65 c 0.59/0.65 c 0.59/0.65 c Core size: 77 Core Weight: 1 Total Weight: 602 0.59/0.65 c Current CPU time: 0.622905 s 0.59/0.65 c 0.59/0.65 c ============================[ Search Statistics ]============================== 0.59/0.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 12308 13399 32024 | 5000 0 -nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.66 c core #154 0.59/0.66 c 0.59/0.66 c 0.59/0.66 c Core size: 200 Core Weight: 1 Total Weight: 603 0.59/0.66 c Current CPU time: 0.635903 s 0.59/0.66 c 0.59/0.66 c ============================[ Search Statistics ]============================== 0.59/0.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.66 c =============================================================================== 0.59/0.66 c | 0 | 12522 13536 32615 | 5000 0 -nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.67 c core #155 0.59/0.67 c 0.59/0.67 c 0.59/0.67 c Core size: 74 Core Weight: 1 Total Weight: 604 0.59/0.67 c Current CPU time: 0.647901 s 0.59/0.67 c 0.59/0.67 c ============================[ Search Statistics ]============================== 0.59/0.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.67 c =============================================================================== 0.59/0.67 c | 0 | 12595 13608 32703 | 5000 0 -nan | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.69 c core #156 0.59/0.69 c 0.59/0.69 c 0.59/0.69 c Core size: 352 Core Weight: 1 Total Weight: 605 0.59/0.69 c Current CPU time: 0.660899 s 0.59/0.69 c 0.59/0.69 c ============================[ Search Statistics ]============================== 0.59/0.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.69 c =============================================================================== 0.59/0.69 c | 0 | 12963 13854 33523 | 5000 0 -nan | 0.000 % | 0.59/0.69 c =============================================================================== 0.69/0.70 c core #157 0.69/0.70 c 0.69/0.70 c 0.69/0.70 c Core size: 112 Core Weight: 1 Total Weight: 606 0.69/0.70 c Current CPU time: 0.672897 s 0.69/0.70 c 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 13080 13958 33723 | 5000 0 -nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.72 c core #158 0.69/0.72 c 0.69/0.72 c 0.69/0.72 c Core size: 74 Core Weight: 1 Total Weight: 607 0.69/0.72 c Current CPU time: 0.683896 s 0.69/0.72 c 0.69/0.72 c ============================[ Search Statistics ]============================== 0.69/0.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.72 c =============================================================================== 0.69/0.72 c | 0 | 13152 14029 33812 | 5000 0 -nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.73 c core #159 0.69/0.73 c 0.69/0.73 c 0.69/0.73 c Core size: 141 Core Weight: 1 Total Weight: 608 0.69/0.73 c Current CPU time: 0.695894 s 0.69/0.73 c 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 13296 14154 34087 | 5000 0 -nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.74 c core #160 0.69/0.74 c 0.69/0.74 c 0.69/0.74 c Core size: 196 Core Weight: 1 Total Weight: 609 0.69/0.74 c Current CPU time: 0.708892 s 0.69/0.74 c 0.69/0.74 c ============================[ Search Statistics ]============================== 0.69/0.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 13491 14278 34523 | 5000 0 -nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.76 c core #161 0.69/0.76 c 0.69/0.76 c 0.69/0.76 c Core size: 433 Core Weight: 1 Total Weight: 610 0.69/0.76 c Current CPU time: 0.726889 s 0.69/0.76 c 0.69/0.76 c ============================[ Search Statistics ]============================== 0.69/0.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.76 c =============================================================================== 0.69/0.76 c | 0 | 13935 14587 35434 | 5000 0 -nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.78 c core #162 0.69/0.78 c 0.69/0.78 c 0.69/0.78 c Core size: 312 Core Weight: 1 Total Weight: 611 0.69/0.78 c Current CPU time: 0.742887 s 0.69/0.78 c 0.69/0.78 c ============================[ Search Statistics ]============================== 0.69/0.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.78 c =============================================================================== 0.69/0.78 c | 0 | 14252 14854 36044 | 5000 0 -nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.79 c core #163 0.69/0.79 c 0.69/0.79 c 0.69/0.79 c Core size: 78 Core Weight: 1 Total Weight: 612 0.69/0.79 c Current CPU time: 0.756884 s 0.69/0.79 c 0.69/0.79 c ============================[ Search Statistics ]============================== 0.69/0.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 14331 14926 36161 | 5000 0 -nan | 0.000 % | 0.69/0.80 c =============================================================================== 0.79/0.81 c core #164 0.79/0.81 c 0.79/0.81 c 0.79/0.81 c Core size: 184 Core Weight: 1 Total Weight: 613 0.79/0.81 c Current CPU time: 0.769882 s 0.79/0.81 c 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 14525 15078 36565 | 5026 0 -nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.82 c core #165 0.79/0.82 c 0.79/0.82 c 0.79/0.82 c Core size: 80 Core Weight: 1 Total Weight: 614 0.79/0.82 c Current CPU time: 0.78388 s 0.79/0.82 c 0.79/0.82 c ============================[ Search Statistics ]============================== 0.79/0.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.82 c =============================================================================== 0.79/0.82 c | 0 | 14603 15153 36653 | 5051 0 -nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.84 c core #166 0.79/0.84 c 0.79/0.84 c 0.79/0.84 c Core size: 361 Core Weight: 1 Total Weight: 615 0.79/0.84 c Current CPU time: 0.801878 s 0.79/0.84 c 0.79/0.84 c ============================[ Search Statistics ]============================== 0.79/0.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 14984 15411 37496 | 5137 0 -nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.86 c core #167 0.79/0.86 c 0.79/0.86 c 0.79/0.86 c Core size: 204 Core Weight: 1 Total Weight: 616 0.79/0.86 c Current CPU time: 0.819875 s 0.79/0.86 c 0.79/0.86 c ============================[ Search Statistics ]============================== 0.79/0.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.86 c =============================================================================== 0.79/0.86 c | 0 | 15199 15565 37990 | 5188 0 -nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.88 c core #168 0.79/0.88 c 0.79/0.88 c 0.79/0.88 c Core size: 75 Core Weight: 1 Total Weight: 617 0.79/0.88 c Current CPU time: 0.835872 s 0.79/0.88 c 0.79/0.88 c ============================[ Search Statistics ]============================== 0.79/0.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 15274 15639 38110 | 5213 0 -nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.89 c core #169 0.79/0.89 c 0.79/0.89 c 0.79/0.89 c Core size: 114 Core Weight: 1 Total Weight: 618 0.79/0.89 c Current CPU time: 0.85087 s 0.79/0.89 c 0.79/0.89 c ============================[ Search Statistics ]============================== 0.79/0.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.89 c =============================================================================== 0.79/0.89 c | 0 | 15392 15744 38286 | 5248 0 -nan | 0.000 % | 0.79/0.90 c =============================================================================== 0.89/0.91 c core #170 0.89/0.91 c 0.89/0.91 c 0.89/0.91 c Core size: 177 Core Weight: 1 Total Weight: 619 0.89/0.91 c Current CPU time: 0.865868 s 0.89/0.91 c 0.89/0.91 c ============================[ Search Statistics ]============================== 0.89/0.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.91 c =============================================================================== 0.89/0.91 c | 0 | 15581 15883 38683 | 5294 0 -nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.93 c core #171 0.89/0.93 c 0.89/0.93 c 0.89/0.93 c Core size: 287 Core Weight: 1 Total Weight: 620 0.89/0.93 c Current CPU time: 0.883865 s 0.89/0.93 c 0.89/0.93 c ============================[ Search Statistics ]============================== 0.89/0.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 15879 16076 39401 | 5358 0 -nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.95 c core #172 0.89/0.95 c 0.89/0.95 c 0.89/0.95 c Core size: 334 Core Weight: 1 Total Weight: 621 0.89/0.95 c Current CPU time: 0.899863 s 0.89/0.95 c 0.89/0.95 c ============================[ Search Statistics ]============================== 0.89/0.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.95 c =============================================================================== 0.89/0.95 c | 0 | 16236 16313 40304 | 5437 0 -nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.96 c core #173 0.89/0.96 c 0.89/0.96 c 0.89/0.96 c Core size: 183 Core Weight: 1 Total Weight: 622 0.89/0.96 c Current CPU time: 0.91786 s 0.89/0.96 c 0.89/0.96 c ============================[ Search Statistics ]============================== 0.89/0.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.96 c =============================================================================== 0.89/0.96 c | 0 | 16428 16477 40698 | 5492 0 -nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.99 c core #174 0.89/0.99 c 0.89/0.99 c 0.89/0.99 c Core size: 424 Core Weight: 1 Total Weight: 623 0.89/0.99 c Current CPU time: 0.941856 s 0.89/0.99 c 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 16876 16700 41913 | 5566 0 -nan | 0.000 % | 0.89/1.00 c =============================================================================== 0.89/1.01 c core #175 0.89/1.01 c 0.89/1.01 c 0.89/1.01 c Core size: 466 Core Weight: 1 Total Weight: 624 0.89/1.01 c Current CPU time: 0.962853 s 0.89/1.01 c 0.89/1.01 c ============================[ Search Statistics ]============================== 0.89/1.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.01 c =============================================================================== 0.89/1.01 c | 0 | 17370 16975 43390 | 5658 0 -nan | 0.000 % | 1.00/1.02 c =============================================================================== 1.00/1.03 c core #176 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c Core size: 221 Core Weight: 1 Total Weight: 625 1.00/1.03 c Current CPU time: 0.98185 s 1.00/1.03 c 1.00/1.03 c ============================[ Search Statistics ]============================== 1.00/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.03 c =============================================================================== 1.00/1.03 c | 0 | 17600 17159 43857 | 5719 0 -nan | 0.000 % | 1.00/1.04 c =============================================================================== 1.00/1.05 c core #177 1.00/1.05 c 1.00/1.05 c 1.00/1.05 c Core size: 242 Core Weight: 1 Total Weight: 626 1.00/1.05 c Current CPU time: 0.998848 s 1.00/1.05 c 1.00/1.05 c ============================[ Search Statistics ]============================== 1.00/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.05 c =============================================================================== 1.00/1.05 c | 0 | 17859 17280 44598 | 5760 0 -nan | 0.000 % | 1.00/1.06 c =============================================================================== 1.00/1.08 c core #178 1.00/1.08 c 1.00/1.08 c 1.00/1.08 c Core size: 375 Core Weight: 1 Total Weight: 627 1.00/1.08 c Current CPU time: 1.01885 s 1.00/1.08 c 1.00/1.08 c ============================[ Search Statistics ]============================== 1.00/1.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.08 c =============================================================================== 1.00/1.08 c | 0 | 18248 17470 45574 | 5823 0 -nan | 0.000 % | 1.00/1.09 c | 101 | 18243 17470 45574 | 6405 101 98 | 5.143 % | 1.00/1.09 c =============================================================================== 1.00/1.11 c core #179 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 609 Core Weight: 1 Total Weight: 628 1.00/1.11 c Current CPU time: 1.04984 s 1.00/1.11 c 1.00/1.11 c ============================[ Search Statistics ]============================== 1.00/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.11 c =============================================================================== 1.00/1.11 c | 0 | 18897 17699 47540 | 5899 0 -nan | 0.000 % | 1.10/1.13 c | 100 | 18897 17699 47540 | 6489 100 131 | 4.743 % | 1.10/1.15 c =============================================================================== 1.10/1.16 c core #180 1.10/1.16 c 1.10/1.16 c 1.10/1.16 c Core size: 662 Core Weight: 1 Total Weight: 629 1.10/1.16 c Current CPU time: 1.10083 s 1.10/1.16 c 1.10/1.16 c ============================[ Search Statistics ]============================== 1.10/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.16 c =============================================================================== 1.10/1.16 c | 0 | 19583 17994 49354 | 5998 0 -nan | 0.000 % | 1.10/1.18 c | 101 | 19578 17994 49354 | 6597 101 110 | 4.493 % | 1.10/1.19 c =============================================================================== 1.19/1.20 c core #181 1.19/1.20 c 1.19/1.20 c 1.19/1.20 c Core size: 745 Core Weight: 1 Total Weight: 630 1.19/1.20 c Current CPU time: 1.13883 s 1.19/1.20 c 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 20365 18344 51469 | 6114 0 -nan | 0.000 % | 1.19/1.21 c =============================================================================== 1.19/1.23 c core #182 1.19/1.23 c 1.19/1.23 c 1.19/1.23 c Core size: 187 Core Weight: 1 Total Weight: 631 1.19/1.23 c Current CPU time: 1.16082 s 1.19/1.23 c 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 20559 18456 51933 | 6152 0 -nan | 0.000 % | 1.19/1.25 c | 100 | 20559 18456 51933 | 6767 100 88 | 4.051 % | 1.19/1.27 c | 251 | 20556 18456 51933 | 7443 251 83 | 4.070 % | 1.19/1.28 c =============================================================================== 1.19/1.29 c core #183 1.19/1.29 c 1.19/1.29 c 1.19/1.29 c Core size: 746 Core Weight: 1 Total Weight: 632 1.19/1.29 c Current CPU time: 1.22381 s 1.19/1.29 c 1.19/1.29 c ============================[ Search Statistics ]============================== 1.19/1.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.29 c =============================================================================== 1.19/1.29 c | 0 | 21341 18661 54105 | 6220 0 -nan | 0.000 % | 1.29/1.31 c | 100 | 21341 18661 54105 | 6842 100 96 | 3.748 % | 1.29/1.32 c =============================================================================== 1.29/1.34 c core #184 1.29/1.34 c 1.29/1.34 c 1.29/1.34 c Core size: 525 Core Weight: 1 Total Weight: 633 1.29/1.34 c Current CPU time: 1.26181 s 1.29/1.34 c 1.29/1.34 c ============================[ Search Statistics ]============================== 1.29/1.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.34 c =============================================================================== 1.29/1.34 c | 0 | 21895 18910 55608 | 6303 0 -nan | 0.000 % | 1.29/1.35 c | 101 | 21895 18910 55608 | 6933 101 153 | 3.534 % | 1.29/1.37 c | 251 | 21888 18910 55608 | 7627 251 106 | 3.564 % | 1.29/1.38 c =============================================================================== 1.29/1.39 c core #185 1.29/1.39 c 1.29/1.39 c 1.29/1.39 c Core size: 641 Core Weight: 1 Total Weight: 634 1.29/1.39 c Current CPU time: 1.3128 s 1.29/1.39 c 1.29/1.39 c ============================[ Search Statistics ]============================== 1.29/1.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.39 c =============================================================================== 1.29/1.39 c | 0 | 22554 19210 57158 | 6403 0 -nan | 0.000 % | 1.39/1.41 c | 101 | 22554 19210 57158 | 7043 101 95 | 3.355 % | 1.39/1.41 c =============================================================================== 1.39/1.43 c core #186 1.39/1.43 c 1.39/1.43 c 1.39/1.43 c Core size: 494 Core Weight: 1 Total Weight: 635 1.39/1.43 c Current CPU time: 1.34479 s 1.39/1.43 c 1.39/1.43 c ============================[ Search Statistics ]============================== 1.39/1.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.43 c =============================================================================== 1.39/1.43 c | 0 | 23067 19399 58803 | 6466 0 -nan | 0.000 % | 1.39/1.45 c | 100 | 23067 19399 58803 | 7112 100 95 | 3.165 % | 1.39/1.47 c | 250 | 23064 19399 58803 | 7824 250 72 | 3.178 % | 1.39/1.48 c =============================================================================== 1.39/1.50 c core #187 1.39/1.50 c 1.39/1.50 c 1.39/1.50 c Core size: 692 Core Weight: 1 Total Weight: 636 1.39/1.50 c Current CPU time: 1.40279 s 1.39/1.50 c 1.39/1.50 c ============================[ Search Statistics ]============================== 1.39/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 23788 19647 60909 | 6549 0 -nan | 0.000 % | 1.49/1.51 c | 100 | 23788 19647 60909 | 7203 100 108 | 2.942 % | 1.49/1.52 c =============================================================================== 1.49/1.54 c core #188 1.49/1.54 c 1.49/1.54 c 1.49/1.54 c Core size: 472 Core Weight: 1 Total Weight: 637 1.49/1.54 c Current CPU time: 1.44478 s 1.49/1.54 c 1.49/1.54 c ============================[ Search Statistics ]============================== 1.49/1.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.54 c =============================================================================== 1.49/1.54 c | 0 | 24276 19811 62258 | 6603 0 -nan | 0.000 % | 1.49/1.56 c | 100 | 24276 19811 62258 | 7264 100 125 | 2.807 % | 1.49/1.57 c | 251 | 24276 19811 62258 | 7990 251 112 | 2.807 % | 1.59/1.60 c | 476 | 24274 19811 62258 | 8789 476 106 | 2.815 % | 1.59/1.60 c =============================================================================== 1.59/1.62 c core #189 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 694 Core Weight: 1 Total Weight: 638 1.59/1.62 c Current CPU time: 1.52277 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 24986 19933 64187 | 6644 0 -nan | 0.000 % | 1.59/1.65 c | 100 | 24986 19933 64187 | 7308 100 102 | 2.630 % | 1.59/1.67 c | 250 | 24983 19933 64187 | 8039 250 82 | 2.642 % | 1.69/1.70 c | 477 | 24983 19933 64187 | 8843 477 88 | 2.642 % | 1.69/1.72 c =============================================================================== 1.69/1.74 c core #190 1.69/1.74 c 1.69/1.74 c 1.69/1.74 c Core size: 677 Core Weight: 1 Total Weight: 639 1.69/1.74 c Current CPU time: 1.63575 s 1.69/1.74 c 1.69/1.74 c ============================[ Search Statistics ]============================== 1.69/1.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.74 c =============================================================================== 1.69/1.74 c | 0 | 25673 20106 66007 | 6702 0 -nan | 0.000 % | 1.69/1.76 c | 102 | 25673 20106 66007 | 7372 102 86 | 2.514 % | 1.69/1.78 c | 252 | 25673 20106 66007 | 8109 252 72 | 2.514 % | 1.78/1.81 c | 478 | 25673 20106 66007 | 8920 478 110 | 2.514 % | 1.78/1.86 c | 817 | 25666 20106 66007 | 9812 817 116 | 2.540 % | 1.88/1.92 c =============================================================================== 1.88/1.95 c core #191 1.88/1.95 c 1.88/1.95 c 1.88/1.95 c Core size: 1992 Core Weight: 1 Total Weight: 640 1.88/1.95 c Current CPU time: 1.82872 s 1.88/1.95 c 1.88/1.95 c ============================[ Search Statistics ]============================== 1.88/1.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.88/1.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.88/1.95 c =============================================================================== 1.88/1.95 c | 0 | 27712 20461 71337 | 6820 0 -nan | 0.000 % | 1.88/1.97 c | 100 | 27712 20461 71337 | 7502 100 98 | 2.168 % | 1.88/1.98 c | 250 | 27709 20461 71337 | 8252 250 81 | 2.178 % | 1.88/1.99 c =============================================================================== 1.99/2.01 c core #192 1.99/2.01 c 1.99/2.01 c 1.99/2.01 c Core size: 492 Core Weight: 1 Total Weight: 641 1.99/2.01 c Current CPU time: 1.88871 s 1.99/2.01 c 1.99/2.01 c ============================[ Search Statistics ]============================== 1.99/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.01 c =============================================================================== 1.99/2.01 c | 0 | 28213 20595 72621 | 6865 0 -nan | 0.000 % | 1.99/2.04 c | 102 | 28213 20595 72621 | 7551 102 86 | 2.093 % | 1.99/2.06 c | 252 | 28213 20595 72621 | 8306 252 91 | 2.093 % | 1.99/2.10 c | 477 | 28213 20595 72621 | 9137 477 113 | 2.093 % | 2.10/2.13 c =============================================================================== 2.10/2.16 c core #193 2.10/2.16 c 2.10/2.16 c 2.10/2.16 c Core size: 1423 Core Weight: 1 Total Weight: 642 2.10/2.16 c Current CPU time: 2.02069 s 2.10/2.16 c 2.10/2.16 c ============================[ Search Statistics ]============================== 2.10/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.16 c =============================================================================== 2.10/2.16 c | 0 | 29671 20952 76418 | 6984 0 -nan | 0.000 % | 2.10/2.18 c | 100 | 29671 20952 76418 | 7682 100 91 | 1.872 % | 2.10/2.20 c | 252 | 29670 20952 76418 | 8450 252 95 | 1.875 % | 2.21/2.22 c | 478 | 29670 20952 76418 | 9295 478 88 | 1.875 % | 2.21/2.29 c | 818 | 29669 20952 76418 | 10225 818 95 | 1.878 % | 2.29/2.32 c =============================================================================== 2.29/2.35 c core #194 2.29/2.35 c 2.29/2.35 c 2.29/2.35 c Core size: 1148 Core Weight: 1 Total Weight: 643 2.29/2.35 c Current CPU time: 2.20366 s 2.29/2.35 c 2.29/2.35 c ============================[ Search Statistics ]============================== 2.29/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.35 c =============================================================================== 2.29/2.35 c | 0 | 30841 21190 79542 | 7063 0 -nan | 0.000 % | 2.29/2.37 c | 106 | 30841 21190 79542 | 7769 106 153 | 1.730 % | 2.39/2.40 c | 256 | 30841 21190 79542 | 8546 256 100 | 1.730 % | 2.39/2.45 c | 483 | 30841 21190 79542 | 9401 483 97 | 1.730 % | 2.49/2.52 c | 820 | 30841 21190 79542 | 10341 820 95 | 1.730 % | 2.59/2.60 c | 1330 | 30841 21190 79542 | 11375 1330 94 | 1.730 % | 2.69/2.74 c | 2089 | 30835 21190 79542 | 12513 2089 105 | 1.749 % | 2.89/2.90 c =============================================================================== 2.89/2.93 c core #195 2.89/2.93 c 2.89/2.93 c 2.89/2.93 c Core size: 1997 Core Weight: 1 Total Weight: 644 2.89/2.93 c Current CPU time: 2.77958 s 2.89/2.93 c 2.89/2.93 c ============================[ Search Statistics ]============================== 2.89/2.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.93 c =============================================================================== 2.89/2.93 c | 0 | 32865 21493 84820 | 7164 0 -nan | 0.000 % | 2.89/2.96 c | 100 | 32865 21493 84820 | 7880 100 136 | 1.528 % | 2.99/3.00 c | 250 | 32865 21493 84820 | 8668 250 82 | 1.528 % | 2.99/3.04 c | 475 | 32864 21493 84820 | 9535 475 66 | 1.531 % | 3.08/3.10 c | 812 | 32864 21493 84820 | 10489 812 72 | 1.531 % | 3.08/3.21 c | 1319 | 32864 21493 84820 | 11538 1319 88 | 1.531 % | 3.30/3.32 c | 2078 | 32864 21493 84820 | 12692 2078 106 | 1.531 % | 3.49/3.56 c | 3217 | 32863 21493 84820 | 13961 3217 112 | 1.534 % | 3.99/4.07 c | 4925 | 32860 21493 84820 | 15357 4925 155 | 1.543 % | 4.89/4.95 c | 7488 | 32854 21493 84820 | 16893 7488 185 | 1.561 % | 5.69/5.72 c | 11332 | 32852 21493 84820 | 18582 11332 151 | 1.567 % | 5.69/5.79 c =============================================================================== 5.79/5.84 c core #196 5.79/5.84 c 5.79/5.84 c 5.79/5.84 c Core size: 2114 Core Weight: 1 Total Weight: 645 5.79/5.84 c Current CPU time: 5.65714 s 5.79/5.84 c 5.79/5.84 c ============================[ Search Statistics ]============================== 5.79/5.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.79/5.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.79/5.84 c =============================================================================== 5.79/5.84 c | 0 | 35001 21728 90332 | 7242 0 -nan | 0.000 % | 5.79/5.86 c | 102 | 35001 21728 90332 | 7966 102 160 | 1.342 % | 5.88/5.90 c | 254 | 35001 21728 90332 | 8763 254 117 | 1.342 % | 5.88/5.96 c | 479 | 35001 21728 90332 | 9639 479 86 | 1.342 % | 5.99/6.01 c | 816 | 35001 21728 90332 | 10603 816 84 | 1.342 % | 6.09/6.13 c | 1322 | 35001 21728 90332 | 11664 1322 74 | 1.342 % | 6.19/6.26 c | 2081 | 35001 21728 90332 | 12830 2081 67 | 1.342 % | 6.50/6.54 c | 3220 | 35001 21728 90332 | 14113 3220 78 | 1.342 % | 6.79/6.84 c | 4929 | 35001 21728 90332 | 15525 4929 88 | 1.342 % | 7.29/7.35 c | 7492 | 35001 21728 90332 | 17077 7492 104 | 1.342 % | 8.28/8.32 c | 11337 | 35001 21728 90332 | 18785 11337 121 | 1.342 % | 9.69/9.79 c | 17104 | 35001 21728 90332 | 20664 17104 141 | 1.342 % | 12.38/12.40 c | 25753 | 35001 21728 90332 | 22730 15073 172 | 1.342 % | 16.19/16.22 c | 38731 | 35001 21728 90332 | 25003 16313 177 | 1.342 % | 28.05/28.17 c | 58192 | 35000 21728 90332 | 27504 22716 271 | 1.345 % | 41.36/41.45 c | 87388 | 34993 21728 90332 | 30254 21715 163 | 1.364 % | 42.45/42.53 c =============================================================================== 42.55/42.65 c core #197 42.55/42.65 c 42.55/42.65 c 42.55/42.65 c Core size: 5332 Core Weight: 1 Total Weight: 646 42.55/42.65 c Current CPU time: 42.2546 s 42.55/42.65 c 42.55/42.65 c ============================[ Search Statistics ]============================== 42.55/42.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.55/42.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 42.55/42.65 c =============================================================================== 42.55/42.65 c | 0 | 40351 22298 103335 | 7432 0 -nan | 0.000 % | 42.55/42.68 c | 100 | 40351 22298 103335 | 8175 100 142 | 1.064 % | 42.66/42.77 c | 250 | 40351 22298 103335 | 8993 250 78 | 1.064 % | 42.77/42.87 c | 475 | 40351 22298 103335 | 9892 475 62 | 1.064 % | 42.87/42.98 c | 812 | 40351 22298 103335 | 10882 812 91 | 1.064 % | 43.05/43.14 c | 1320 | 40351 22298 103335 | 11970 1320 87 | 1.064 % | 43.36/43.42 c | 2084 | 40351 22298 103335 | 13167 2084 88 | 1.064 % | 43.76/43.87 c | 3223 | 40351 22298 103335 | 14484 3223 86 | 1.064 % | 44.65/44.75 c | 4931 | 40351 22298 103335 | 15932 4931 89 | 1.064 % | 45.95/46.03 c | 7493 | 40351 22298 103335 | 17525 7493 101 | 1.064 % | 47.45/47.56 c | 11338 | 40350 22298 103335 | 19278 11338 116 | 1.067 % | 50.46/50.59 c | 17106 | 40347 22298 103335 | 21206 17106 137 | 1.074 % | 51.45/51.55 c =============================================================================== 51.56/51.65 c core #198 51.56/51.65 c 51.56/51.65 c 51.56/51.65 c Core size: 5116 Core Weight: 1 Total Weight: 647 51.56/51.65 c Current CPU time: 51.2402 s 51.56/51.65 c 51.56/51.65 c ============================[ Search Statistics ]============================== 51.56/51.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.56/51.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.56/51.65 c =============================================================================== 51.56/51.65 c | 0 | 45500 22613 115320 | 7537 0 -nan | 0.000 % | 51.56/51.68 c | 100 | 45500 22613 115320 | 8291 100 95 | 0.871 % | 51.67/51.72 c | 256 | 45500 22613 115320 | 9120 256 87 | 0.871 % | 51.76/51.81 c | 481 | 45500 22613 115320 | 10032 481 64 | 0.871 % | 51.86/51.97 c | 818 | 45500 22613 115320 | 11035 818 57 | 0.871 % | 52.06/52.17 c | 1324 | 45500 22613 115320 | 12139 1324 68 | 0.871 % | 52.35/52.46 c | 2085 | 45500 22613 115320 | 13353 2085 74 | 0.871 % | 52.85/52.94 c | 3224 | 45500 22613 115320 | 14688 3224 69 | 0.871 % | 53.76/53.85 c | 4932 | 45500 22613 115320 | 16157 4932 74 | 0.871 % | 55.35/55.44 c | 7494 | 45500 22613 115320 | 17773 7494 76 | 0.871 % | 57.25/57.38 c | 11338 | 45500 22613 115320 | 19550 11338 96 | 0.871 % | 59.75/59.82 c | 17109 | 45500 22613 115320 | 21505 17109 136 | 0.871 % | 63.85/63.93 c | 25758 | 45499 22613 115320 | 23656 14657 144 | 0.874 % | 72.25/72.35 c | 38732 | 45499 22613 115320 | 26022 15040 155 | 0.874 % | 83.66/83.70 c | 58194 | 45499 22613 115320 | 28624 19556 146 | 0.874 % | 96.16/96.20 c | 87386 | 45499 22613 115320 | 31486 14742 166 | 0.874 % | 117.26/117.33 c | 131175 | 45499 22613 115320 | 34635 21945 154 | 0.874 % | 145.65/145.77 c | 196859 | 45499 22613 115320 | 38098 25137 156 | 0.874 % | 192.75/192.82 c | 295385 | 45499 22613 115320 | 41908 30809 114 | 0.874 % | 281.35/281.45 c | 443174 | 45499 22613 115320 | 46099 40284 195 | 0.874 % | 412.47/412.57 c | 664857 | 45499 22613 115320 | 50709 40291 189 | 0.874 % | 627.47/627.50 c | 997384 | 45498 22613 115320 | 55780 19251 200 | 0.876 % | 903.37/903.45 c | 1496174 | 45495 22613 115320 | 61358 32835 130 | 0.882 % | 922.27/922.35 c =============================================================================== 923.37/923.43 c core #199 923.37/923.43 c 923.37/923.43 c 923.37/923.43 c Core size: 3045 Core Weight: 1 Total Weight: 648 923.37/923.43 c Current CPU time: 920.025 s 923.37/923.43 c 923.37/923.43 c ============================[ Search Statistics ]============================== 923.37/923.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 923.37/923.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 923.37/923.43 c =============================================================================== 923.37/923.43 c | 0 | 48558 22811 122674 | 7603 0 -nan | 0.000 % | 923.37/923.46 c | 100 | 48558 22811 122674 | 8364 100 132 | 0.770 % | 923.48/923.53 c | 250 | 48558 22811 122674 | 9200 250 93 | 0.770 % | 923.57/923.66 c | 475 | 48558 22811 122674 | 10120 475 70 | 0.770 % | 923.67/923.77 c | 812 | 48558 22811 122674 | 11132 812 69 | 0.770 % | 923.99/924.03 c | 1319 | 48558 22811 122674 | 12245 1319 58 | 0.770 % | 924.37/924.40 c | 2080 | 48558 22811 122674 | 13470 2080 59 | 0.770 % | 924.87/924.93 c | 3220 | 48558 22811 122674 | 14817 3220 61 | 0.770 % | 925.67/925.73 c | 4928 | 48558 22811 122674 | 16299 4928 65 | 0.770 % | 926.97/927.02 c | 7491 | 48558 22811 122674 | 17929 7491 71 | 0.770 % | 928.97/929.00 c | 11335 | 48558 22811 122674 | 19721 11335 79 | 0.770 % | 931.77/931.85 c | 17101 | 48558 22811 122674 | 21694 17101 80 | 0.770 % | 936.18/936.29 c | 25751 | 48558 22811 122674 | 23863 14511 91 | 0.770 % | 942.47/942.55 c | 38726 | 48557 22811 122674 | 26249 15246 91 | 0.772 % | 951.57/951.60 c | 58189 | 48557 22811 122674 | 28874 21219 101 | 0.772 % | 966.37/966.48 c | 87382 | 48557 22811 122674 | 31762 20623 109 | 0.772 % | 990.77/990.89 c | 131172 | 48557 22811 122674 | 34938 27624 121 | 0.772 % | 1029.87/1029.95 c | 196858 | 48556 22811 122674 | 38432 29845 144 | 0.774 % | 1090.77/1090.82 c | 295385 | 48556 22811 122674 | 42275 29336 138 | 0.774 % | 1175.38/1175.40 c | 443176 | 48553 22811 122674 | 46503 42408 102 | 0.781 % | 1189.17/1189.23 c =============================================================================== 1191.77/1191.82 c core #200 1191.77/1191.82 c 1191.77/1191.82 c 1191.77/1191.82 c Core size: 8491 Core Weight: 1 Total Weight: 649 1191.77/1191.82 c Current CPU time: 1188.12 s 1191.77/1191.82 c 1191.77/1191.82 c ============================[ Search Statistics ]============================== 1191.77/1191.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1191.77/1191.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1191.77/1191.82 c =============================================================================== 1191.77/1191.82 c | 0 | 57066 23419 141838 | 7806 0 -nan | 0.000 % | 1191.77/1191.86 c | 100 | 57066 23419 141838 | 8586 100 114 | 0.608 % | 1191.98/1192.04 c | 252 | 57066 23419 141838 | 9445 252 106 | 0.608 % | 1192.08/1192.15 c | 477 | 57066 23419 141838 | 10390 477 88 | 0.608 % | 1192.29/1192.37 c | 814 | 57066 23419 141838 | 11429 814 77 | 0.608 % | 1192.58/1192.65 c | 1323 | 57066 23419 141838 | 12572 1323 75 | 0.608 % | 1193.07/1193.19 c | 2082 | 57066 23419 141838 | 13829 2082 93 | 0.608 % | 1193.87/1193.92 c | 3221 | 57066 23419 141838 | 15212 3221 87 | 0.608 % | 1195.28/1195.33 c | 4931 | 57066 23419 141838 | 16733 4931 96 | 0.608 % | 1197.17/1197.28 c | 7495 | 57066 23419 141838 | 18406 7495 95 | 0.608 % | 1201.28/1201.38 c | 11340 | 57066 23419 141838 | 20247 11340 151 | 0.608 % | 1205.77/1205.82 c | 17108 | 57066 23419 141838 | 22272 17108 152 | 0.608 % | 1210.88/1210.96 c | 25758 | 57066 23419 141838 | 24499 14094 96 | 0.608 % | 1218.18/1218.25 c | 38734 | 57066 23419 141838 | 26949 13210 86 | 0.608 % | 1233.67/1233.72 c | 58195 | 57066 23419 141838 | 29644 16376 166 | 0.608 % | 1250.18/1250.23 c | 87389 | 57066 23419 141838 | 32608 26882 112 | 0.608 % | 1278.98/1279.02 c | 131178 | 57066 23419 141838 | 35869 30565 124 | 0.608 % | 1324.98/1325.01 c | 196865 | 57066 23419 141838 | 39456 28347 153 | 0.608 % | 1384.08/1384.16 c | 295392 | 57066 23419 141838 | 43402 20139 130 | 0.608 % | 1477.58/1477.69 c | 443185 | 57066 23419 141838 | 47742 19026 127 | 0.608 % | 1635.71/1635.77 c | 664871 | 57066 23419 141838 | 52517 33444 181 | 0.608 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460909-1307074475/watcher-3460909-1307074475 -o /tmp/evaluation-result-3460909-1307074475/solver-3460909-1307074475 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460909-1307074475.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/473 23405 /proc/meminfo: memFree=20049164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=4028 CPUtime=0 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 797 0 0 0 0 0 0 0 25 0 1 0 819047185 4124672 723 33554432000 4194304 5714214 140735859316000 18446744073709551615 4970356 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 1007 723 176 372 0 632 0 [startup+0.083843 s] /proc/loadavg: 2.00 2.00 2.00 3/473 23405 /proc/meminfo: memFree=20049164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=7228 CPUtime=0.07 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 1824 0 0 0 7 0 0 0 25 0 1 0 819047185 7401472 1508 33554432000 4194304 5714214 140735859316000 18446744073709551615 4355656 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 1807 1508 176 372 0 1432 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 7228 [startup+0.100912 s] /proc/loadavg: 2.00 2.00 2.00 3/473 23405 /proc/meminfo: memFree=20049164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=7224 CPUtime=0.09 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 2189 0 0 0 9 0 0 0 25 0 1 0 819047185 7397376 1545 33554432000 4194304 5714214 140735859316000 18446744073709551615 4336566 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 1806 1545 176 372 0 1431 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7224 [startup+0.300873 s] /proc/loadavg: 2.00 2.00 2.00 3/473 23405 /proc/meminfo: memFree=20049164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=13320 CPUtime=0.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 4746 0 0 0 29 0 0 0 25 0 1 0 819047185 13639680 3060 33554432000 4194304 5714214 140735859316000 18446744073709551615 4969816 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 3330 3060 176 372 0 2955 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13320 [startup+0.700797 s] /proc/loadavg: 2.00 2.00 2.00 3/473 23405 /proc/meminfo: memFree=20049164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=21916 CPUtime=0.69 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 9236 0 0 0 67 2 0 0 25 0 1 0 819047185 22441984 5026 33554432000 4194304 5714214 140735859316000 18446744073709551615 4301851 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 5479 5026 179 372 0 5104 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21916 [startup+1.50055 s] /proc/loadavg: 2.00 2.00 2.00 3/474 23406 /proc/meminfo: memFree=20023860/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=30884 CPUtime=1.49 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 13397 0 0 0 142 7 0 0 18 0 1 0 819047185 31625216 7350 33554432000 4194304 5714214 140735859316000 18446744073709551615 4268707 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 7721 7350 180 372 0 7346 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 30884 [startup+3.10037 s] /proc/loadavg: 2.00 2.00 2.00 3/474 23406 /proc/meminfo: memFree=20014064/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=34412 CPUtime=3.08 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 15578 0 0 0 295 13 0 0 20 0 1 0 819047185 35237888 8152 33554432000 4194304 5714214 140735859316000 18446744073709551615 4322904 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 8603 8152 180 372 0 8228 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34412 [startup+6.30081 s] /proc/loadavg: 2.00 2.00 2.00 3/474 23406 /proc/meminfo: memFree=20011840/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=43292 CPUtime=6.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 18335 0 0 0 613 16 0 0 18 0 1 0 819047185 44331008 10387 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 10823 10387 180 372 0 10448 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 43292 [startup+12.7007 s] /proc/loadavg: 2.00 2.00 2.00 3/474 23406 /proc/meminfo: memFree=20000380/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=46072 CPUtime=12.68 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 19047 0 0 0 1250 18 0 0 25 0 1 0 819047185 47177728 11099 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/23405/statm: 11518 11099 180 372 0 11143 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 46072 [startup+25.5004 s] /proc/loadavg: 2.00 2.00 2.00 3/474 23407 /proc/meminfo: memFree=19966264/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=61500 CPUtime=25.45 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 22887 0 0 0 2522 23 0 0 25 0 1 0 819047185 62976000 14939 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 15375 14939 180 372 0 15000 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 61500 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/474 23407 /proc/meminfo: memFree=19948252/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=76876 CPUtime=51.05 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 26387 0 0 0 5072 33 0 0 25 0 1 0 819047185 78721024 18439 33554432000 4194304 5714214 140735859316000 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 19219 18439 180 372 0 18844 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 76876 [startup+102.318 s] /proc/loadavg: 1.93 1.98 1.99 3/474 23437 /proc/meminfo: memFree=20252844/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=76876 CPUtime=102.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 26615 0 0 0 10177 50 0 0 25 0 1 0 819047185 78721024 18667 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 19219 18667 180 372 0 18844 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 76876 [startup+162.3 s] /proc/loadavg: 2.10 2.02 2.00 3/474 23438 /proc/meminfo: memFree=20197460/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=92540 CPUtime=162.25 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 30778 0 0 0 16157 68 0 0 25 0 1 0 819047185 94760960 22830 33554432000 4194304 5714214 140735859316000 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 23135 22830 180 372 0 22760 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 92540 [startup+222.301 s] /proc/loadavg: 2.19 2.04 2.01 3/474 23440 /proc/meminfo: memFree=20127972/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=124384 CPUtime=222.26 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 38661 0 0 0 22138 88 0 0 25 0 1 0 819047185 127369216 30713 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 31096 30713 180 372 0 30721 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 124384 [startup+282.3 s] /proc/loadavg: 2.14 2.05 2.01 3/474 23441 /proc/meminfo: memFree=20109820/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=136424 CPUtime=282.25 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 41646 0 0 0 28124 101 0 0 25 0 1 0 819047185 139698176 33698 33554432000 4194304 5714214 140735859316000 18446744073709551615 4322761 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 34106 33698 180 372 0 33731 0 Current children cumulated CPU time (s) 282.25 Current children cumulated vsize (KiB) 136424 [startup+342.301 s] /proc/loadavg: 2.05 2.04 2.00 3/474 23443 /proc/meminfo: memFree=20091792/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=152840 CPUtime=342.25 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 45748 0 0 0 34109 116 0 0 25 0 1 0 819047185 156508160 37800 33554432000 4194304 5714214 140735859316000 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 38210 37800 180 372 0 37835 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 152840 [startup+402.301 s] /proc/loadavg: 2.02 2.03 2.00 3/474 23445 /proc/meminfo: memFree=20071928/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=172968 CPUtime=402.26 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 50731 0 0 0 40096 130 0 0 25 0 1 0 819047185 177119232 42783 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 43242 42783 180 372 0 42867 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 172968 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23446 /proc/meminfo: memFree=20019816/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=198100 CPUtime=462.26 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 57010 0 0 0 46081 145 0 0 25 0 1 0 819047185 202854400 49062 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 49525 49062 180 372 0 49150 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 198100 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23448 /proc/meminfo: memFree=19942640/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=210368 CPUtime=522.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 60073 0 0 0 52069 158 0 0 25 0 1 0 819047185 215416832 52125 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 52592 52125 180 372 0 52217 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 210368 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23449 /proc/meminfo: memFree=19936000/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=217052 CPUtime=582.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 61748 0 0 0 58055 172 0 0 25 0 1 0 819047185 222261248 53800 33554432000 4194304 5714214 140735859316000 18446744073709551615 4305130 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 54263 53800 180 372 0 53888 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 217052 [startup+642.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 2.08 2.05 2.01 3/474 23457 /proc/meminfo: memFree=19820256/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=291332 CPUtime=882.28 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 80228 0 0 0 87980 248 0 0 25 0 1 0 819047185 298323968 72280 33554432000 4194304 5714214 140735859316000 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 72833 72280 180 372 0 72458 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 291332 [startup+942.301 s] /proc/loadavg: 2.03 2.04 2.00 3/474 23459 /proc/meminfo: memFree=19773464/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=308152 CPUtime=942.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84012 0 0 0 93957 270 0 0 25 0 1 0 819047185 315547648 76064 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 77038 76064 180 372 0 76663 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 308152 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/474 23461 /proc/meminfo: memFree=19748504/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=308152 CPUtime=1002.28 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84013 0 0 0 99938 290 0 0 25 0 1 0 819047185 315547648 76065 33554432000 4194304 5714214 140735859316000 18446744073709551615 4322769 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 77038 76065 180 372 0 76663 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 308152 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23462 /proc/meminfo: memFree=19720584/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=308152 CPUtime=1062.28 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84013 0 0 0 105921 307 0 0 25 0 1 0 819047185 315547648 76065 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 77038 76065 180 372 0 76663 0 Current children cumulated CPU time (s) 1062.28 Current children cumulated vsize (KiB) 308152 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23464 /proc/meminfo: memFree=19700832/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=308152 CPUtime=1122.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84017 0 0 0 111907 320 0 0 25 0 1 0 819047185 315547648 76069 33554432000 4194304 5714214 140735859316000 18446744073709551615 4319201 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 77038 76069 180 372 0 76663 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 308152 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23465 /proc/meminfo: memFree=19676864/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=308152 CPUtime=1182.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84022 0 0 0 117891 336 0 0 25 0 1 0 819047185 315547648 76074 33554432000 4194304 5714214 140735859316000 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 77038 76074 180 372 0 76663 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 308152 [startup+1242.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23467 /proc/meminfo: memFree=19663296/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1242.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84073 0 0 0 123877 350 0 0 25 0 1 0 819047185 303800320 73703 33554432000 4194304 5714214 140735859316000 18446744073709551615 4322971 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73703 180 372 0 73795 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 296680 [startup+1302.3 s] /proc/loadavg: 2.09 2.03 2.01 3/474 23469 /proc/meminfo: memFree=19645164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1302.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84073 0 0 0 129866 363 0 0 25 0 1 0 819047185 303800320 73703 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73703 180 372 0 73795 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 296680 [startup+1362.3 s] /proc/loadavg: 2.19 2.07 2.02 3/474 23470 /proc/meminfo: memFree=19623572/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1362.27 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84084 0 0 0 135852 375 0 0 25 0 1 0 819047185 303800320 73714 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73714 180 372 0 73795 0 Current children cumulated CPU time (s) 1362.27 Current children cumulated vsize (KiB) 296680 [startup+1422.32 s] /proc/loadavg: 2.12 2.07 2.02 3/474 23472 /proc/meminfo: memFree=19623280/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1422.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84085 0 0 0 141839 390 0 0 25 0 1 0 819047185 303800320 73715 33554432000 4194304 5714214 140735859316000 18446744073709551615 4322765 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73715 180 372 0 73795 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 296680 [startup+1482.3 s] /proc/loadavg: 2.04 2.05 2.01 3/474 23473 /proc/meminfo: memFree=19623236/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1482.28 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84099 0 0 0 147822 406 0 0 25 0 1 0 819047185 303800320 73729 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311694 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73729 180 372 0 73795 0 Current children cumulated CPU time (s) 1482.28 Current children cumulated vsize (KiB) 296680 [startup+1542.3 s] /proc/loadavg: 2.01 2.04 2.01 3/474 23475 /proc/meminfo: memFree=19623548/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1542.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84107 0 0 0 153811 418 0 0 25 0 1 0 819047185 303800320 73737 33554432000 4194304 5714214 140735859316000 18446744073709551615 4310856 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73737 180 372 0 73795 0 Current children cumulated CPU time (s) 1542.29 Current children cumulated vsize (KiB) 296680 [startup+1602.3 s] /proc/loadavg: 2.00 2.03 2.00 3/474 23477 /proc/meminfo: memFree=19623260/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1602.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84160 0 0 0 159795 434 0 0 25 0 1 0 819047185 303800320 73790 33554432000 4194304 5714214 140735859316000 18446744073709551615 4319154 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73790 180 372 0 73795 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 296680 [startup+1662.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23478 /proc/meminfo: memFree=19622836/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1662.29 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84161 0 0 0 165781 448 0 0 25 0 1 0 819047185 303800320 73791 33554432000 4194304 5714214 140735859316000 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73791 180 372 0 73795 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 296680 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/474 23480 /proc/meminfo: memFree=19622436/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1722.28 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84161 0 0 0 171767 461 0 0 25 0 1 0 819047185 303800320 73791 33554432000 4194304 5714214 140735859316000 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73791 180 372 0 73795 0 Current children cumulated CPU time (s) 1722.28 Current children cumulated vsize (KiB) 296680 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23481 /proc/meminfo: memFree=19621164/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1782.28 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84216 0 0 0 177754 474 0 0 25 0 1 0 819047185 303800320 73846 33554432000 4194304 5714214 140735859316000 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73846 180 372 0 73795 0 Current children cumulated CPU time (s) 1782.28 Current children cumulated vsize (KiB) 296680 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23482 /proc/meminfo: memFree=19621900/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1800.1 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84221 0 0 0 179532 478 0 0 25 0 1 0 819047185 303800320 73851 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73851 180 372 0 73795 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 296680 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 2.00 2.01 2.00 3/474 23482 /proc/meminfo: memFree=19621900/32950928 swapFree=61858088/67111528 [pid=23405] ppid=23403 vsize=296680 CPUtime=1800.1 cores=0,2,4,6 /proc/23405/stat : 23405 (wbo1.6) R 23403 23405 21173 0 -1 4202496 84221 0 0 0 179532 478 0 0 25 0 1 0 819047185 303800320 73851 33554432000 4194304 5714214 140735859316000 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/23405/statm: 74170 73851 180 372 0 73795 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 296680 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.13 CPU time (s): 1800.13 CPU user time (s): 1795.33 CPU system time (s): 4.80227 CPU usage (%): 99.9998 Max. virtual memory (cumulated for all children) (KiB): 308152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.33 system time used= 4.80227 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 84221 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= 30 involuntary context switches= 2712 runsolver used 8.63869 second user time and 19.2001 second system time The end
Begin job on node125 at 2011-06-03 06:14:35 IDJOB=3460909 IDBENCH=1872 IDSOLVER=1953 FILE ID=node125/3460909-1307074475 RUNJOBID= node125-1307068628-22229 PBS_JOBID= 13497861 Free space on /tmp= 73756 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460909-1307074475/watcher-3460909-1307074475 -o /tmp/evaluation-result-3460909-1307074475/solver-3460909-1307074475 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460909-1307074475.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6db31fd4066996ff4f309d723fc2c237 RANDOM SEED=405902552 node125.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5266.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 20049328 kB Buffers: 338084 kB Cached: 3466436 kB SwapCached: 3616 kB Active: 9181152 kB Inactive: 3375580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 20049328 kB SwapTotal: 67111528 kB SwapFree: 61858088 kB Dirty: 4292 kB Writeback: 0 kB AnonPages: 8750116 kB Mapped: 34832 kB Slab: 214224 kB PageTables: 62452 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 130410612 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73752 MiB End job on node125 at 2011-06-03 06:44:37