Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.22 | 1800.71 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:20:4.5:0.5:100.opb |
MD5SUM | 885184c694263ba985a0dc2cd49b3440 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 6.69298 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 776 |
Total number of constraints | 867 |
Number of constraints which are clauses | 701 |
Number of constraints which are cardinality constraints (but not clauses) | 166 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 776 |
Biggest coefficient in the objective function | 474 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 2127 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 474 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 2127 |
Number of bits of the biggest sum of numbers | 12 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1876250-1245162368.opb. 0.00/0.00 c Instance file HOME/instance-1876250-1245162368.opb 0.00/0.00 c File size is 36242 bytes. 0.00/0.00 c Highest Coefficient sum: 23 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 776 | 0.00/0.00 c | Number Clauses: 1478 | 0.00/0.00 c | Number Cardinality: 165 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 8 Core Weight: 1 Total Weight: -473 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 7 Core Weight: 1 Total Weight: -472 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 9 Core Weight: 1 Total Weight: -471 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #4 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: -470 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #5 0.00/0.01 c Core size: 10 Core Weight: 1 Total Weight: -469 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #6 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: -468 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #7 0.00/0.01 c Core size: 11 Core Weight: 1 Total Weight: -467 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #8 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: -466 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #9 0.00/0.01 c Core size: 13 Core Weight: 1 Total Weight: -465 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #10 0.00/0.01 c Core size: 12 Core Weight: 1 Total Weight: -464 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #11 0.00/0.02 c Core size: 13 Core Weight: 1 Total Weight: -463 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #12 0.00/0.02 c Core size: 16 Core Weight: 1 Total Weight: -462 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #13 0.00/0.02 c Core size: 14 Core Weight: 1 Total Weight: -461 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #14 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: -460 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #15 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: -459 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #16 0.00/0.02 c Core size: 18 Core Weight: 1 Total Weight: -458 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #17 0.00/0.02 c Core size: 20 Core Weight: 1 Total Weight: -457 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #18 0.00/0.03 c Core size: 18 Core Weight: 1 Total Weight: -456 0.00/0.03 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #19 0.00/0.03 c Core size: 19 Core Weight: 1 Total Weight: -455 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #20 0.00/0.03 c Core size: 18 Core Weight: 1 Total Weight: -454 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #21 0.00/0.03 c Core size: 23 Core Weight: 1 Total Weight: -453 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #22 0.00/0.03 c Core size: 19 Core Weight: 1 Total Weight: -452 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #23 0.00/0.03 c Core size: 22 Core Weight: 1 Total Weight: -451 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #24 0.00/0.04 c Core size: 15 Core Weight: 1 Total Weight: -450 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #25 0.00/0.04 c Core size: 15 Core Weight: 1 Total Weight: -449 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #26 0.00/0.04 c Core size: 11 Core Weight: 1 Total Weight: -448 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #27 0.00/0.04 c Core size: 10 Core Weight: 1 Total Weight: -447 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #28 0.00/0.04 c Core size: 7 Core Weight: 1 Total Weight: -446 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s 0.00/0.04 c core #29 0.00/0.04 c Core size: 11 Core Weight: 1 Total Weight: -445 0.00/0.04 c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #30 0.04/0.05 c Core size: 11 Core Weight: 1 Total Weight: -444 0.04/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #31 0.04/0.05 c Core size: 9 Core Weight: 1 Total Weight: -443 0.04/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #32 0.04/0.05 c Core size: 8 Core Weight: 1 Total Weight: -442 0.04/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #33 0.04/0.05 c Core size: 9 Core Weight: 1 Total Weight: -441 0.04/0.05 c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #34 0.04/0.05 c Core size: 10 Core Weight: 1 Total Weight: -440 0.04/0.05 c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s 0.04/0.05 c core #35 0.04/0.05 c Core size: 11 Core Weight: 1 Total Weight: -439 0.04/0.05 c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #36 0.04/0.06 c Core size: 11 Core Weight: 1 Total Weight: -438 0.04/0.06 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #37 0.04/0.06 c Core size: 14 Core Weight: 1 Total Weight: -437 0.04/0.06 c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #38 0.04/0.06 c Core size: 18 Core Weight: 1 Total Weight: -436 0.04/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #39 0.04/0.06 c Core size: 19 Core Weight: 1 Total Weight: -435 0.04/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.04/0.06 c core #40 0.04/0.06 c Core size: 19 Core Weight: 1 Total Weight: -434 0.04/0.06 c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s 0.04/0.07 c core #41 0.04/0.07 c Core size: 20 Core Weight: 1 Total Weight: -433 0.04/0.07 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #42 0.04/0.07 c Core size: 22 Core Weight: 1 Total Weight: -432 0.04/0.07 c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #43 0.04/0.07 c Core size: 21 Core Weight: 1 Total Weight: -431 0.04/0.07 c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #44 0.04/0.07 c Core size: 12 Core Weight: 1 Total Weight: -430 0.04/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.04/0.07 c core #45 0.04/0.07 c Core size: 8 Core Weight: 1 Total Weight: -429 0.04/0.07 c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s 0.04/0.08 c core #46 0.04/0.08 c Core size: 9 Core Weight: 1 Total Weight: -428 0.04/0.08 c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #47 0.04/0.08 c Core size: 8 Core Weight: 1 Total Weight: -427 0.04/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #48 0.04/0.08 c Core size: 11 Core Weight: 1 Total Weight: -426 0.04/0.08 c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #49 0.04/0.08 c Core size: 10 Core Weight: 1 Total Weight: -425 0.04/0.08 c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s 0.04/0.08 c core #50 0.04/0.08 c Core size: 9 Core Weight: 1 Total Weight: -424 0.04/0.08 c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s 0.04/0.09 c core #51 0.04/0.09 c Core size: 12 Core Weight: 1 Total Weight: -423 0.04/0.09 c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #52 0.04/0.09 c Core size: 12 Core Weight: 1 Total Weight: -422 0.04/0.09 c Elapsed CPU time: 0.088986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #53 0.04/0.09 c Core size: 11 Core Weight: 1 Total Weight: -421 0.04/0.09 c Elapsed CPU time: 0.090986 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #54 0.04/0.09 c Core size: 15 Core Weight: 1 Total Weight: -420 0.04/0.09 c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s 0.04/0.09 c core #55 0.04/0.09 c Core size: 14 Core Weight: 1 Total Weight: -419 0.04/0.09 c Elapsed CPU time: 0.094985 s Remaining CPU time: 1799.91 s 0.04/0.10 c core #56 0.04/0.10 c Core size: 15 Core Weight: 1 Total Weight: -418 0.04/0.10 c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #57 0.09/0.10 c Core size: 16 Core Weight: 1 Total Weight: -417 0.09/0.10 c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #58 0.09/0.10 c Core size: 15 Core Weight: 1 Total Weight: -416 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #59 0.09/0.10 c Core size: 19 Core Weight: 1 Total Weight: -415 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 1799.9 s 0.09/0.10 c core #60 0.09/0.10 c Core size: 18 Core Weight: 1 Total Weight: -414 0.09/0.10 c Elapsed CPU time: 0.105983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #61 0.09/0.11 c Core size: 20 Core Weight: 1 Total Weight: -413 0.09/0.11 c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #62 0.09/0.11 c Core size: 21 Core Weight: 1 Total Weight: -412 0.09/0.11 c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #63 0.09/0.11 c Core size: 21 Core Weight: 1 Total Weight: -411 0.09/0.11 c Elapsed CPU time: 0.112982 s Remaining CPU time: 1799.89 s 0.09/0.11 c core #64 0.09/0.11 c Core size: 18 Core Weight: 1 Total Weight: -410 0.09/0.11 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c core #65 0.09/0.12 c Core size: 17 Core Weight: 1 Total Weight: -409 0.09/0.12 c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #66 0.09/0.12 c Core size: 14 Core Weight: 1 Total Weight: -408 0.09/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #67 0.09/0.12 c Core size: 10 Core Weight: 1 Total Weight: -407 0.09/0.12 c Elapsed CPU time: 0.119981 s Remaining CPU time: 1799.88 s 0.09/0.12 c core #68 0.09/0.12 c Core size: 8 Core Weight: 1 Total Weight: -406 0.09/0.12 c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #69 0.09/0.13 c Core size: 7 Core Weight: 1 Total Weight: -405 0.09/0.13 c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s 0.09/0.13 c core #70 0.09/0.13 c Core size: 12 Core Weight: 1 Total Weight: -404 0.09/0.13 c Elapsed CPU time: 0.12698 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #71 0.09/0.13 c Core size: 10 Core Weight: 2 Total Weight: -402 0.09/0.13 c Elapsed CPU time: 0.12898 s Remaining CPU time: 1799.87 s 0.09/0.13 c core #72 0.09/0.13 c Core size: 15 Core Weight: 1 Total Weight: -401 0.09/0.13 c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #73 0.09/0.14 c Core size: 11 Core Weight: 1 Total Weight: -400 0.09/0.14 c Elapsed CPU time: 0.133979 s Remaining CPU time: 1799.87 s 0.09/0.14 c core #74 0.09/0.14 c Core size: 14 Core Weight: 1 Total Weight: -399 0.09/0.14 c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #75 0.09/0.14 c Core size: 15 Core Weight: 1 Total Weight: -398 0.09/0.14 c Elapsed CPU time: 0.138978 s Remaining CPU time: 1799.86 s 0.09/0.14 c core #76 0.09/0.14 c Core size: 17 Core Weight: 1 Total Weight: -397 0.09/0.14 c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #77 0.09/0.15 c Core size: 17 Core Weight: 1 Total Weight: -396 0.09/0.15 c Elapsed CPU time: 0.143978 s Remaining CPU time: 1799.86 s 0.09/0.15 c core #78 0.09/0.15 c Core size: 19 Core Weight: 1 Total Weight: -395 0.09/0.15 c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #79 0.09/0.15 c Core size: 21 Core Weight: 1 Total Weight: -394 0.09/0.15 c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s 0.09/0.15 c core #80 0.09/0.15 c Core size: 18 Core Weight: 1 Total Weight: -393 0.09/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #81 0.09/0.16 c Core size: 16 Core Weight: 1 Total Weight: -392 0.09/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s 0.09/0.16 c core #82 0.09/0.16 c Core size: 18 Core Weight: 1 Total Weight: -391 0.09/0.16 c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #83 0.09/0.16 c Core size: 17 Core Weight: 1 Total Weight: -390 0.09/0.16 c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s 0.09/0.16 c core #84 0.09/0.16 c Core size: 14 Core Weight: 1 Total Weight: -389 0.09/0.16 c Elapsed CPU time: 0.161975 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #85 0.09/0.17 c Core size: 12 Core Weight: 1 Total Weight: -388 0.09/0.17 c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s 0.09/0.17 c core #86 0.09/0.17 c Core size: 12 Core Weight: 1 Total Weight: -387 0.09/0.17 c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s 0.09/0.17 c core #87 0.09/0.17 c Core size: 5 Core Weight: 1 Total Weight: -386 0.09/0.17 c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #88 0.09/0.18 c Core size: 4 Core Weight: 1 Total Weight: -385 0.09/0.18 c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s 0.09/0.18 c core #89 0.09/0.18 c Core size: 10 Core Weight: 1 Total Weight: -384 0.09/0.18 c Elapsed CPU time: 0.175973 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #90 0.09/0.18 c Core size: 8 Core Weight: 1 Total Weight: -383 0.09/0.18 c Elapsed CPU time: 0.178972 s Remaining CPU time: 1799.82 s 0.09/0.18 c core #91 0.09/0.18 c Core size: 8 Core Weight: 1 Total Weight: -382 0.09/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #92 0.09/0.19 c Core size: 6 Core Weight: 2 Total Weight: -380 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s 0.09/0.19 c core #93 0.09/0.19 c Core size: 6 Core Weight: 1 Total Weight: -379 0.09/0.19 c Elapsed CPU time: 0.186971 s Remaining CPU time: 1799.81 s 0.09/0.19 c core #94 0.09/0.19 c Core size: 5 Core Weight: 1 Total Weight: -378 0.09/0.19 c Elapsed CPU time: 0.189971 s Remaining CPU time: 1799.81 s 0.09/0.20 c core #95 0.09/0.20 c Core size: 9 Core Weight: 1 Total Weight: -377 0.09/0.20 c Elapsed CPU time: 0.19297 s Remaining CPU time: 1799.81 s 0.19/0.20 c core #96 0.19/0.20 c Core size: 12 Core Weight: 1 Total Weight: -376 0.19/0.20 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #97 0.19/0.20 c Core size: 10 Core Weight: 1 Total Weight: -375 0.19/0.20 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.20 c core #98 0.19/0.20 c Core size: 8 Core Weight: 1 Total Weight: -374 0.19/0.20 c Elapsed CPU time: 0.199969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #99 0.19/0.21 c Core size: 12 Core Weight: 1 Total Weight: -373 0.19/0.21 c Elapsed CPU time: 0.202969 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #100 0.19/0.21 c Core size: 14 Core Weight: 1 Total Weight: -372 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 1799.79 s 0.19/0.21 c core #101 0.19/0.21 c Core size: 14 Core Weight: 1 Total Weight: -371 0.19/0.21 c Elapsed CPU time: 0.208968 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #102 0.19/0.22 c Core size: 14 Core Weight: 1 Total Weight: -370 0.19/0.22 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #103 0.19/0.22 c Core size: 19 Core Weight: 1 Total Weight: -369 0.19/0.22 c Elapsed CPU time: 0.214967 s Remaining CPU time: 1799.79 s 0.19/0.22 c core #104 0.19/0.22 c Core size: 17 Core Weight: 1 Total Weight: -368 0.19/0.22 c Elapsed CPU time: 0.217966 s Remaining CPU time: 1799.78 s 0.19/0.22 c core #105 0.19/0.22 c Core size: 14 Core Weight: 1 Total Weight: -367 0.19/0.22 c Elapsed CPU time: 0.220966 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #106 0.19/0.23 c Core size: 13 Core Weight: 1 Total Weight: -366 0.19/0.23 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.23 c core #107 0.19/0.23 c Core size: 13 Core Weight: 1 Total Weight: -365 0.19/0.23 c Elapsed CPU time: 0.226965 s Remaining CPU time: 1799.77 s 0.19/0.23 c core #108 0.19/0.23 c Core size: 11 Core Weight: 1 Total Weight: -364 0.19/0.23 c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #109 0.19/0.24 c Core size: 13 Core Weight: 1 Total Weight: -363 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 1799.77 s 0.19/0.24 c core #110 0.19/0.24 c Core size: 9 Core Weight: 1 Total Weight: -362 0.19/0.24 c Elapsed CPU time: 0.236963 s Remaining CPU time: 1799.76 s 0.19/0.24 c core #111 0.19/0.24 c Core size: 4 Core Weight: 1 Total Weight: -361 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #112 0.19/0.25 c Core size: 5 Core Weight: 2 Total Weight: -359 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #113 0.19/0.25 c Core size: 7 Core Weight: 1 Total Weight: -358 0.19/0.25 c Elapsed CPU time: 0.244962 s Remaining CPU time: 1799.76 s 0.19/0.25 c core #114 0.19/0.25 c Core size: 5 Core Weight: 1 Total Weight: -357 0.19/0.25 c Elapsed CPU time: 0.248962 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #115 0.19/0.26 c Core size: 6 Core Weight: 1 Total Weight: -356 0.19/0.26 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #116 0.19/0.26 c Core size: 5 Core Weight: 1 Total Weight: -355 0.19/0.26 c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s 0.19/0.26 c core #117 0.19/0.26 c Core size: 7 Core Weight: 1 Total Weight: -354 0.19/0.26 c Elapsed CPU time: 0.25796 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #118 0.19/0.27 c Core size: 5 Core Weight: 1 Total Weight: -353 0.19/0.27 c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #119 0.19/0.27 c Core size: 4 Core Weight: 2 Total Weight: -351 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.19/0.27 c core #120 0.19/0.27 c Core size: 5 Core Weight: 1 Total Weight: -350 0.19/0.27 c Elapsed CPU time: 0.266959 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #121 0.19/0.28 c Core size: 10 Core Weight: 2 Total Weight: -348 0.19/0.28 c Elapsed CPU time: 0.269958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #122 0.19/0.28 c Core size: 11 Core Weight: 1 Total Weight: -347 0.19/0.28 c Elapsed CPU time: 0.272958 s Remaining CPU time: 1799.73 s 0.19/0.28 c core #123 0.19/0.28 c Core size: 8 Core Weight: 1 Total Weight: -346 0.19/0.28 c Elapsed CPU time: 0.276957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #124 0.19/0.29 c Core size: 10 Core Weight: 1 Total Weight: -345 0.19/0.29 c Elapsed CPU time: 0.279957 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #125 0.19/0.29 c Core size: 10 Core Weight: 1 Total Weight: -344 0.19/0.29 c Elapsed CPU time: 0.282956 s Remaining CPU time: 1799.72 s 0.19/0.29 c core #126 0.19/0.29 c Core size: 11 Core Weight: 1 Total Weight: -343 0.19/0.29 c Elapsed CPU time: 0.286956 s Remaining CPU time: 1799.71 s 0.19/0.30 c core #127 0.19/0.30 c Core size: 13 Core Weight: 1 Total Weight: -342 0.19/0.30 c Elapsed CPU time: 0.289955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #128 0.29/0.30 c Core size: 11 Core Weight: 1 Total Weight: -341 0.29/0.30 c Elapsed CPU time: 0.292955 s Remaining CPU time: 1799.71 s 0.29/0.30 c core #129 0.29/0.30 c Core size: 12 Core Weight: 1 Total Weight: -340 0.29/0.30 c Elapsed CPU time: 0.296954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #130 0.29/0.31 c Core size: 8 Core Weight: 1 Total Weight: -339 0.29/0.31 c Elapsed CPU time: 0.299954 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #131 0.29/0.31 c Core size: 8 Core Weight: 1 Total Weight: -338 0.29/0.31 c Elapsed CPU time: 0.302953 s Remaining CPU time: 1799.7 s 0.29/0.31 c core #132 0.29/0.31 c Core size: 5 Core Weight: 1 Total Weight: -337 0.29/0.31 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #133 0.29/0.32 c Core size: 6 Core Weight: 1 Total Weight: -336 0.29/0.32 c Elapsed CPU time: 0.309952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #134 0.29/0.32 c Core size: 8 Core Weight: 1 Total Weight: -335 0.29/0.32 c Elapsed CPU time: 0.312952 s Remaining CPU time: 1799.69 s 0.29/0.32 c core #135 0.29/0.32 c Core size: 7 Core Weight: 1 Total Weight: -334 0.29/0.32 c Elapsed CPU time: 0.316951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #136 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: -333 0.29/0.33 c Elapsed CPU time: 0.319951 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #137 0.29/0.33 c Core size: 10 Core Weight: 1 Total Weight: -332 0.29/0.33 c Elapsed CPU time: 0.32395 s Remaining CPU time: 1799.68 s 0.29/0.33 c core #138 0.29/0.33 c Core size: 11 Core Weight: 1 Total Weight: -331 0.29/0.33 c Elapsed CPU time: 0.32695 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #139 0.29/0.34 c Core size: 3 Core Weight: 1 Total Weight: -330 0.29/0.34 c Elapsed CPU time: 0.330949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #140 0.29/0.34 c Core size: 4 Core Weight: 1 Total Weight: -329 0.29/0.34 c Elapsed CPU time: 0.332949 s Remaining CPU time: 1799.67 s 0.29/0.34 c core #141 0.29/0.34 c Core size: 5 Core Weight: 2 Total Weight: -327 0.29/0.34 c Elapsed CPU time: 0.336948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #142 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: -326 0.29/0.35 c Elapsed CPU time: 0.339948 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #143 0.29/0.35 c Core size: 6 Core Weight: 1 Total Weight: -325 0.29/0.35 c Elapsed CPU time: 0.343947 s Remaining CPU time: 1799.66 s 0.29/0.35 c core #144 0.29/0.35 c Core size: 7 Core Weight: 1 Total Weight: -324 0.29/0.35 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #145 0.29/0.36 c Core size: 4 Core Weight: 1 Total Weight: -323 0.29/0.36 c Elapsed CPU time: 0.350946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #146 0.29/0.36 c Core size: 4 Core Weight: 2 Total Weight: -321 0.29/0.36 c Elapsed CPU time: 0.353946 s Remaining CPU time: 1799.65 s 0.29/0.36 c core #147 0.29/0.36 c Core size: 5 Core Weight: 2 Total Weight: -319 0.29/0.36 c Elapsed CPU time: 0.357945 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #148 0.29/0.37 c Core size: 6 Core Weight: 1 Total Weight: -318 0.29/0.37 c Elapsed CPU time: 0.361944 s Remaining CPU time: 1799.64 s 0.29/0.37 c core #149 0.29/0.37 c Core size: 8 Core Weight: 1 Total Weight: -317 0.29/0.37 c Elapsed CPU time: 0.364944 s Remaining CPU time: 1799.64 s 0.29/0.38 c core #150 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: -316 0.29/0.38 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #151 0.29/0.38 c Core size: 7 Core Weight: 1 Total Weight: -315 0.29/0.38 c Elapsed CPU time: 0.371943 s Remaining CPU time: 1799.63 s 0.29/0.38 c core #152 0.29/0.38 c Core size: 6 Core Weight: 1 Total Weight: -314 0.29/0.38 c Elapsed CPU time: 0.375942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #153 0.29/0.39 c Core size: 5 Core Weight: 1 Total Weight: -313 0.29/0.39 c Elapsed CPU time: 0.379942 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #154 0.29/0.39 c Core size: 6 Core Weight: 1 Total Weight: -312 0.29/0.39 c Elapsed CPU time: 0.382941 s Remaining CPU time: 1799.62 s 0.29/0.39 c core #155 0.29/0.39 c Core size: 7 Core Weight: 1 Total Weight: -311 0.29/0.39 c Elapsed CPU time: 0.386941 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #156 0.39/0.40 c Core size: 7 Core Weight: 1 Total Weight: -310 0.39/0.40 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #157 0.39/0.40 c Core size: 5 Core Weight: 1 Total Weight: -309 0.39/0.40 c Elapsed CPU time: 0.39394 s Remaining CPU time: 1799.61 s 0.39/0.40 c core #158 0.39/0.40 c Core size: 4 Core Weight: 1 Total Weight: -308 0.39/0.40 c Elapsed CPU time: 0.397939 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #159 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -307 0.39/0.41 c Elapsed CPU time: 0.401938 s Remaining CPU time: 1799.6 s 0.39/0.41 c core #160 0.39/0.41 c Core size: 4 Core Weight: 1 Total Weight: -306 0.39/0.41 c Elapsed CPU time: 0.404938 s Remaining CPU time: 1799.6 s 0.39/0.42 c core #161 0.39/0.42 c Core size: 3 Core Weight: 1 Total Weight: -305 0.39/0.42 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #162 0.39/0.42 c Core size: 4 Core Weight: 2 Total Weight: -303 0.39/0.42 c Elapsed CPU time: 0.411937 s Remaining CPU time: 1799.59 s 0.39/0.42 c core #163 0.39/0.42 c Core size: 6 Core Weight: 1 Total Weight: -302 0.39/0.42 c Elapsed CPU time: 0.415936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #164 0.39/0.43 c Core size: 5 Core Weight: 1 Total Weight: -301 0.39/0.43 c Elapsed CPU time: 0.419936 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #165 0.39/0.43 c Core size: 6 Core Weight: 1 Total Weight: -300 0.39/0.43 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.39/0.43 c core #166 0.39/0.43 c Core size: 4 Core Weight: 2 Total Weight: -298 0.39/0.43 c Elapsed CPU time: 0.426935 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #167 0.39/0.44 c Core size: 5 Core Weight: 1 Total Weight: -297 0.39/0.44 c Elapsed CPU time: 0.429934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #168 0.39/0.44 c Core size: 5 Core Weight: 1 Total Weight: -296 0.39/0.44 c Elapsed CPU time: 0.432934 s Remaining CPU time: 1799.57 s 0.39/0.44 c core #169 0.39/0.44 c Core size: 3 Core Weight: 1 Total Weight: -295 0.39/0.44 c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #170 0.39/0.45 c Core size: 4 Core Weight: 1 Total Weight: -294 0.39/0.45 c Elapsed CPU time: 0.439933 s Remaining CPU time: 1799.56 s 0.39/0.45 c core #171 0.39/0.45 c Core size: 3 Core Weight: 2 Total Weight: -292 0.39/0.45 c Elapsed CPU time: 0.443932 s Remaining CPU time: 1799.56 s 0.39/0.46 c core #172 0.39/0.46 c Core size: 4 Core Weight: 2 Total Weight: -290 0.39/0.46 c Elapsed CPU time: 0.447931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #173 0.39/0.46 c Core size: 3 Core Weight: 1 Total Weight: -289 0.39/0.46 c Elapsed CPU time: 0.450931 s Remaining CPU time: 1799.55 s 0.39/0.46 c core #174 0.39/0.46 c Core size: 5 Core Weight: 1 Total Weight: -288 0.39/0.46 c Elapsed CPU time: 0.45493 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #175 0.39/0.47 c Core size: 5 Core Weight: 1 Total Weight: -287 0.39/0.47 c Elapsed CPU time: 0.45893 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #176 0.39/0.47 c Core size: 3 Core Weight: 1 Total Weight: -286 0.39/0.47 c Elapsed CPU time: 0.461929 s Remaining CPU time: 1799.54 s 0.39/0.47 c core #177 0.39/0.47 c Core size: 4 Core Weight: 1 Total Weight: -285 0.39/0.47 c Elapsed CPU time: 0.464929 s Remaining CPU time: 1799.54 s 0.39/0.48 c core #178 0.39/0.48 c Core size: 5 Core Weight: 1 Total Weight: -284 0.39/0.48 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #179 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -283 0.39/0.48 c Elapsed CPU time: 0.472928 s Remaining CPU time: 1799.53 s 0.39/0.48 c core #180 0.39/0.48 c Core size: 3 Core Weight: 1 Total Weight: -282 0.39/0.48 c Elapsed CPU time: 0.475927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #181 0.39/0.49 c Core size: 3 Core Weight: 1 Total Weight: -281 0.39/0.49 c Elapsed CPU time: 0.479927 s Remaining CPU time: 1799.52 s 0.39/0.49 c core #182 0.39/0.49 c Core size: 21 Core Weight: 1 Total Weight: -280 0.39/0.49 c Elapsed CPU time: 0.483926 s Remaining CPU time: 1799.52 s 0.39/0.50 c core #183 0.39/0.50 c Core size: 21 Core Weight: 1 Total Weight: -279 0.39/0.50 c Elapsed CPU time: 0.487925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #184 0.49/0.50 c Core size: 11 Core Weight: 1 Total Weight: -278 0.49/0.50 c Elapsed CPU time: 0.490925 s Remaining CPU time: 1799.51 s 0.49/0.50 c core #185 0.49/0.50 c Core size: 8 Core Weight: 1 Total Weight: -277 0.49/0.50 c Elapsed CPU time: 0.494924 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #186 0.49/0.51 c Core size: 11 Core Weight: 1 Total Weight: -276 0.49/0.51 c Elapsed CPU time: 0.498924 s Remaining CPU time: 1799.5 s 0.49/0.51 c core #187 0.49/0.51 c Core size: 9 Core Weight: 1 Total Weight: -275 0.49/0.51 c Elapsed CPU time: 0.502923 s Remaining CPU time: 1799.5 s 0.49/0.52 c core #188 0.49/0.52 c Core size: 6 Core Weight: 1 Total Weight: -274 0.49/0.52 c Elapsed CPU time: 0.507922 s Remaining CPU time: 1799.49 s 0.49/0.52 c core #189 0.49/0.52 c Core size: 6 Core Weight: 1 Total Weight: -273 0.49/0.52 c Elapsed CPU time: 0.511922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #190 0.49/0.53 c Core size: 5 Core Weight: 1 Total Weight: -272 0.49/0.53 c Elapsed CPU time: 0.515921 s Remaining CPU time: 1799.48 s 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 | 2275 2657 7294 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #191 0.49/0.53 c Core size: 5 Core Weight: 1 Total Weight: -271 0.49/0.53 c Elapsed CPU time: 0.52092 s Remaining CPU time: 1799.48 s 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 | 2278 2659 7302 | 5000 0 nan | 0.000 % | 0.49/0.53 c =============================================================================== 0.49/0.53 c core #192 0.49/0.53 c Core size: 12 Core Weight: 1 Total Weight: -270 0.49/0.53 c Elapsed CPU time: 0.52492 s Remaining CPU time: 1799.48 s 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 | 2285 2662 7320 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #193 0.49/0.54 c Core size: 15 Core Weight: 1 Total Weight: -269 0.49/0.54 c Elapsed CPU time: 0.529919 s Remaining CPU time: 1799.47 s 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 | 2293 2663 7336 | 5000 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c core #194 0.49/0.54 c Core size: 14 Core Weight: 1 Total Weight: -268 0.49/0.54 c Elapsed CPU time: 0.533918 s Remaining CPU time: 1799.47 s 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 | 2301 2664 7352 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #195 0.49/0.55 c Core size: 14 Core Weight: 1 Total Weight: -267 0.49/0.55 c Elapsed CPU time: 0.537918 s Remaining CPU time: 1799.46 s 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 | 2307 2665 7364 | 5000 0 nan | 0.000 % | 0.49/0.55 c =============================================================================== 0.49/0.55 c core #196 0.49/0.55 c Core size: 12 Core Weight: 1 Total Weight: -266 0.49/0.55 c Elapsed CPU time: 0.541917 s Remaining CPU time: 1799.46 s 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 | 2312 2666 7374 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #197 0.49/0.56 c Core size: 8 Core Weight: 2 Total Weight: -264 0.49/0.56 c Elapsed CPU time: 0.545917 s Remaining CPU time: 1799.45 s 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 | 2315 2667 7380 | 5000 0 nan | 0.000 % | 0.49/0.56 c =============================================================================== 0.49/0.56 c core #198 0.49/0.56 c Core size: 12 Core Weight: 1 Total Weight: -263 0.49/0.56 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 2320 2671 7396 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #199 0.49/0.57 c Core size: 8 Core Weight: 1 Total Weight: -262 0.49/0.57 c Elapsed CPU time: 0.554915 s Remaining CPU time: 1799.45 s 0.49/0.57 c ============================[ Search Statistics ]============================== 0.49/0.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.57 c =============================================================================== 0.49/0.57 c | 0 | 2323 2672 7402 | 5000 0 nan | 0.000 % | 0.49/0.57 c =============================================================================== 0.49/0.57 c core #200 0.49/0.57 c Core size: 13 Core Weight: 1 Total Weight: -261 0.49/0.57 c Elapsed CPU time: 0.559914 s Remaining CPU time: 1799.44 s 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 | 2329 2673 7414 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #201 0.49/0.58 c Core size: 5 Core Weight: 1 Total Weight: -260 0.49/0.58 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 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 | 2332 2674 7420 | 5000 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c core #202 0.49/0.58 c Core size: 31 Core Weight: 1 Total Weight: -259 0.49/0.58 c Elapsed CPU time: 0.569913 s Remaining CPU time: 1799.43 s 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 | 2344 2675 7444 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #203 0.49/0.59 c Core size: 54 Core Weight: 1 Total Weight: -258 0.49/0.59 c Elapsed CPU time: 0.572912 s Remaining CPU time: 1799.43 s 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 | 2370 2676 7496 | 5000 0 nan | 0.000 % | 0.49/0.59 c =============================================================================== 0.49/0.59 c core #204 0.49/0.59 c Core size: 27 Core Weight: 1 Total Weight: -257 0.49/0.59 c Elapsed CPU time: 0.577912 s Remaining CPU time: 1799.42 s 0.49/0.60 c ============================[ Search Statistics ]============================== 0.49/0.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.60 c =============================================================================== 0.49/0.60 c | 0 | 2384 2677 7524 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #205 0.59/0.60 c Core size: 59 Core Weight: 1 Total Weight: -256 0.59/0.60 c Elapsed CPU time: 0.583911 s Remaining CPU time: 1799.42 s 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 | 2413 2678 7582 | 5000 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c core #206 0.59/0.60 c Core size: 16 Core Weight: 1 Total Weight: -255 0.59/0.60 c Elapsed CPU time: 0.58891 s Remaining CPU time: 1799.41 s 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 | 2431 2679 7628 | 5000 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c core #207 0.59/0.61 c Core size: 70 Core Weight: 1 Total Weight: -254 0.59/0.61 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 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 | 2467 2680 7700 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #208 0.59/0.62 c Core size: 85 Core Weight: 1 Total Weight: -253 0.59/0.62 c Elapsed CPU time: 0.599908 s Remaining CPU time: 1799.4 s 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 | 2507 2683 7784 | 5000 0 nan | 0.000 % | 0.59/0.62 c =============================================================================== 0.59/0.62 c core #209 0.59/0.62 c Core size: 58 Core Weight: 1 Total Weight: -252 0.59/0.62 c Elapsed CPU time: 0.606907 s Remaining CPU time: 1799.39 s 0.59/0.63 c ============================[ Search Statistics ]============================== 0.59/0.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.63 c =============================================================================== 0.59/0.63 c | 0 | 2538 2687 7852 | 5000 0 nan | 0.000 % | 0.59/0.63 c | 105 | 2533 2687 7852 | 5500 105 9 | 2.987 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c core #210 0.59/0.63 c Core size: 104 Core Weight: 1 Total Weight: -251 0.59/0.63 c Elapsed CPU time: 0.616906 s Remaining CPU time: 1799.38 s 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 | 2596 2688 7982 | 5000 0 nan | 0.000 % | 0.59/0.64 c | 100 | 2591 2688 7982 | 5500 100 16 | 2.850 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #211 0.59/0.65 c Core size: 53 Core Weight: 1 Total Weight: -250 0.59/0.65 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 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 | 2632 2698 8070 | 5000 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c core #212 0.59/0.65 c Core size: 16 Core Weight: 1 Total Weight: -249 0.59/0.65 c Elapsed CPU time: 0.634903 s Remaining CPU time: 1799.37 s 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 | 2640 2701 8090 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #213 0.59/0.66 c Core size: 11 Core Weight: 1 Total Weight: -248 0.59/0.66 c Elapsed CPU time: 0.639902 s Remaining CPU time: 1799.36 s 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 | 2645 2702 8100 | 5000 0 nan | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c core #214 0.59/0.66 c Core size: 74 Core Weight: 1 Total Weight: -247 0.59/0.66 c Elapsed CPU time: 0.647901 s Remaining CPU time: 1799.35 s 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 | 2682 2703 8174 | 5000 0 nan | 0.000 % | 0.59/0.67 c =============================================================================== 0.59/0.67 c core #215 0.59/0.67 c Core size: 18 Core Weight: 1 Total Weight: -246 0.59/0.67 c Elapsed CPU time: 0.6529 s Remaining CPU time: 1799.35 s 0.59/0.68 c ============================[ Search Statistics ]============================== 0.59/0.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.59/0.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.59/0.68 c =============================================================================== 0.59/0.68 c | 0 | 2691 2704 8192 | 5000 0 nan | 0.000 % | 0.59/0.68 c | 100 | 2686 2704 8192 | 5500 100 16 | 2.681 % | 0.59/0.69 c | 250 | 2685 2704 8192 | 6050 250 15 | 2.862 % | 0.69/0.70 c | 476 | 2660 2704 8192 | 6655 369 14 | 3.623 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c core #216 0.69/0.70 c Core size: 157 Core Weight: 1 Total Weight: -245 0.69/0.70 c Elapsed CPU time: 0.680896 s Remaining CPU time: 1799.32 s 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2782 2705 8374 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #217 0.69/0.71 c Core size: 9 Core Weight: 1 Total Weight: -244 0.69/0.71 c Elapsed CPU time: 0.686895 s Remaining CPU time: 1799.31 s 0.69/0.71 c ============================[ Search Statistics ]============================== 0.69/0.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.71 c =============================================================================== 0.69/0.71 c | 0 | 2789 2711 8405 | 5000 0 nan | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c core #218 0.69/0.71 c Core size: 33 Core Weight: 1 Total Weight: -243 0.69/0.71 c Elapsed CPU time: 0.692894 s Remaining CPU time: 1799.31 s 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 | 2821 2715 8498 | 5000 0 nan | 0.000 % | 0.69/0.72 c =============================================================================== 0.69/0.72 c core #219 0.69/0.72 c Core size: 5 Core Weight: 1 Total Weight: -242 0.69/0.72 c Elapsed CPU time: 0.699893 s Remaining CPU time: 1799.3 s 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 | 2824 2717 8506 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #220 0.69/0.73 c Core size: 27 Core Weight: 1 Total Weight: -241 0.69/0.73 c Elapsed CPU time: 0.703892 s Remaining CPU time: 1799.3 s 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 | 2846 2718 8561 | 5000 0 nan | 0.000 % | 0.69/0.73 c =============================================================================== 0.69/0.73 c core #221 0.69/0.73 c Core size: 33 Core Weight: 1 Total Weight: -240 0.69/0.73 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 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 | 2876 2719 8653 | 5000 0 nan | 0.000 % | 0.69/0.74 c | 101 | 2871 2719 8653 | 5500 101 31 | 2.047 % | 0.69/0.75 c | 251 | 2870 2719 8653 | 6050 251 27 | 2.832 % | 0.69/0.76 c | 476 | 2836 2719 8653 | 6655 473 24 | 3.889 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c core #222 0.69/0.76 c Core size: 52 Core Weight: 1 Total Weight: -239 0.69/0.76 c Elapsed CPU time: 0.740887 s Remaining CPU time: 1799.26 s 0.69/0.77 c ============================[ Search Statistics ]============================== 0.69/0.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.77 c =============================================================================== 0.69/0.77 c | 0 | 2909 2720 8745 | 5000 0 nan | 0.000 % | 0.69/0.77 c =============================================================================== 0.69/0.77 c core #223 0.69/0.77 c Core size: 21 Core Weight: 1 Total Weight: -238 0.69/0.77 c Elapsed CPU time: 0.746886 s Remaining CPU time: 1799.25 s 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 | 2923 2721 8773 | 5000 0 nan | 0.000 % | 0.69/0.78 c =============================================================================== 0.69/0.78 c core #224 0.69/0.78 c Core size: 12 Core Weight: 1 Total Weight: -237 0.69/0.78 c Elapsed CPU time: 0.751885 s Remaining CPU time: 1799.25 s 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 | 2929 2722 8785 | 5000 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #225 0.69/0.79 c Core size: 72 Core Weight: 1 Total Weight: -236 0.69/0.79 c Elapsed CPU time: 0.760884 s Remaining CPU time: 1799.24 s 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 | 2972 2723 8871 | 5000 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c core #226 0.69/0.79 c Core size: 68 Core Weight: 1 Total Weight: -235 0.69/0.79 c Elapsed CPU time: 0.766883 s Remaining CPU time: 1799.23 s 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 3011 2724 8949 | 5000 0 nan | 0.000 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #227 0.79/0.80 c Core size: 35 Core Weight: 1 Total Weight: -234 0.79/0.80 c Elapsed CPU time: 0.772882 s Remaining CPU time: 1799.23 s 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 3035 2726 9003 | 5000 0 nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #228 0.79/0.81 c Core size: 40 Core Weight: 1 Total Weight: -233 0.79/0.81 c Elapsed CPU time: 0.778881 s Remaining CPU time: 1799.22 s 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 | 3059 2727 9051 | 5000 0 nan | 0.000 % | 0.79/0.81 c =============================================================================== 0.79/0.81 c core #229 0.79/0.81 c Core size: 33 Core Weight: 1 Total Weight: -232 0.79/0.81 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 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 | 3079 2728 9098 | 5000 0 nan | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c core #230 0.79/0.82 c Core size: 22 Core Weight: 1 Total Weight: -231 0.79/0.82 c Elapsed CPU time: 0.790879 s Remaining CPU time: 1799.21 s 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 | 3089 2732 9124 | 5000 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #231 0.79/0.83 c Core size: 47 Core Weight: 1 Total Weight: -230 0.79/0.83 c Elapsed CPU time: 0.796878 s Remaining CPU time: 1799.2 s 0.79/0.83 c ============================[ Search Statistics ]============================== 0.79/0.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.83 c =============================================================================== 0.79/0.83 c | 0 | 3114 2733 9174 | 5000 0 nan | 0.000 % | 0.79/0.83 c =============================================================================== 0.79/0.83 c core #232 0.79/0.83 c Core size: 72 Core Weight: 1 Total Weight: -229 0.79/0.83 c Elapsed CPU time: 0.804877 s Remaining CPU time: 1799.2 s 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 | 3159 2734 9271 | 5000 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c core #233 0.79/0.84 c Core size: 95 Core Weight: 1 Total Weight: -228 0.79/0.84 c Elapsed CPU time: 0.812876 s Remaining CPU time: 1799.19 s 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 3234 2735 9443 | 5000 0 nan | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c core #234 0.79/0.85 c Core size: 53 Core Weight: 1 Total Weight: -227 0.79/0.85 c Elapsed CPU time: 0.819875 s Remaining CPU time: 1799.18 s 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 3271 2736 9532 | 5000 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #235 0.79/0.86 c Core size: 32 Core Weight: 1 Total Weight: -226 0.79/0.86 c Elapsed CPU time: 0.825874 s Remaining CPU time: 1799.17 s 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 | 3284 2737 9558 | 5000 0 nan | 0.000 % | 0.79/0.86 c =============================================================================== 0.79/0.86 c core #236 0.79/0.86 c Core size: 67 Core Weight: 1 Total Weight: -225 0.79/0.86 c Elapsed CPU time: 0.832873 s Remaining CPU time: 1799.17 s 0.79/0.87 c ============================[ Search Statistics ]============================== 0.79/0.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.87 c =============================================================================== 0.79/0.87 c | 0 | 3319 2738 9637 | 5000 0 nan | 0.000 % | 0.79/0.87 c =============================================================================== 0.79/0.87 c core #237 0.79/0.87 c Core size: 170 Core Weight: 1 Total Weight: -224 0.79/0.87 c Elapsed CPU time: 0.841872 s Remaining CPU time: 1799.16 s 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 | 3424 2739 9847 | 5000 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c core #238 0.79/0.88 c Core size: 15 Core Weight: 1 Total Weight: -223 0.79/0.88 c Elapsed CPU time: 0.847871 s Remaining CPU time: 1799.15 s 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 | 3434 2743 9873 | 5000 0 nan | 0.000 % | 0.79/0.89 c =============================================================================== 0.79/0.89 c core #239 0.79/0.89 c Core size: 38 Core Weight: 1 Total Weight: -222 0.79/0.89 c Elapsed CPU time: 0.85387 s Remaining CPU time: 1799.15 s 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 | 3461 2745 9926 | 5000 0 nan | 0.000 % | 0.79/0.90 c =============================================================================== 0.79/0.90 c core #240 0.79/0.90 c Core size: 102 Core Weight: 1 Total Weight: -221 0.79/0.90 c Elapsed CPU time: 0.861868 s Remaining CPU time: 1799.14 s 0.89/0.90 c ============================[ Search Statistics ]============================== 0.89/0.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.90 c =============================================================================== 0.89/0.90 c | 0 | 3532 2746 10117 | 5000 0 nan | 0.000 % | 0.89/0.90 c =============================================================================== 0.89/0.90 c core #241 0.89/0.90 c Core size: 60 Core Weight: 1 Total Weight: -220 0.89/0.90 c Elapsed CPU time: 0.869867 s Remaining CPU time: 1799.13 s 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 | 3574 2750 10237 | 5000 0 nan | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c core #242 0.89/0.91 c Core size: 29 Core Weight: 1 Total Weight: -219 0.89/0.91 c Elapsed CPU time: 0.878866 s Remaining CPU time: 1799.12 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 3591 2751 10271 | 5000 0 nan | 0.000 % | 0.89/0.92 c =============================================================================== 0.89/0.92 c core #243 0.89/0.92 c Core size: 28 Core Weight: 1 Total Weight: -218 0.89/0.92 c Elapsed CPU time: 0.885865 s Remaining CPU time: 1799.11 s 0.89/0.92 c ============================[ Search Statistics ]============================== 0.89/0.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.92 c =============================================================================== 0.89/0.92 c | 0 | 3608 2754 10309 | 5000 0 nan | 0.000 % | 0.89/0.93 c | 101 | 3607 2754 10309 | 5500 101 27 | 0.883 % | 0.89/0.94 c | 251 | 3601 2754 10309 | 6050 251 23 | 1.352 % | 0.89/0.94 c =============================================================================== 0.89/0.94 c core #244 0.89/0.94 c Core size: 220 Core Weight: 1 Total Weight: -217 0.89/0.94 c Elapsed CPU time: 0.908861 s Remaining CPU time: 1799.09 s 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 | 3738 2755 10569 | 5000 0 nan | 0.000 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c core #245 0.89/0.95 c Core size: 44 Core Weight: 1 Total Weight: -216 0.89/0.95 c Elapsed CPU time: 0.91686 s Remaining CPU time: 1799.08 s 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 | 3762 2757 10626 | 5000 0 nan | 0.000 % | 0.89/0.97 c | 102 | 3762 2757 10626 | 5500 102 26 | 0.397 % | 0.89/0.97 c | 253 | 3761 2757 10626 | 6050 245 16 | 0.424 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #246 0.89/0.98 c Core size: 39 Core Weight: 1 Total Weight: -215 0.89/0.98 c Elapsed CPU time: 0.938857 s Remaining CPU time: 1799.06 s 0.89/0.98 c ============================[ Search Statistics ]============================== 0.89/0.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 3783 2758 10668 | 5000 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c core #247 0.89/0.98 c Core size: 29 Core Weight: 1 Total Weight: -214 0.89/0.98 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 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 | 3801 2759 10704 | 5000 0 nan | 0.000 % | 0.89/0.99 c =============================================================================== 0.89/0.99 c core #248 0.89/0.99 c Core size: 78 Core Weight: 1 Total Weight: -213 0.89/0.99 c Elapsed CPU time: 0.951855 s Remaining CPU time: 1799.05 s 0.89/1.00 c ============================[ Search Statistics ]============================== 0.89/1.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/1.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/1.00 c =============================================================================== 0.89/1.00 c | 0 | 3845 2760 10792 | 5000 0 nan | 0.000 % | 0.99/1.01 c | 102 | 3844 2760 10792 | 5500 102 36 | 0.440 % | 0.99/1.01 c =============================================================================== 0.99/1.01 c core #249 0.99/1.01 c Core size: 135 Core Weight: 1 Total Weight: -212 0.99/1.01 c Elapsed CPU time: 0.966853 s Remaining CPU time: 1799.03 s 0.99/1.02 c ============================[ Search Statistics ]============================== 0.99/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.02 c =============================================================================== 0.99/1.02 c | 0 | 3932 2761 10982 | 5000 0 nan | 0.000 % | 0.99/1.02 c =============================================================================== 0.99/1.02 c core #250 0.99/1.02 c Core size: 71 Core Weight: 1 Total Weight: -211 0.99/1.02 c Elapsed CPU time: 0.974851 s Remaining CPU time: 1799.03 s 0.99/1.03 c ============================[ Search Statistics ]============================== 0.99/1.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 3976 2763 11073 | 5000 0 nan | 0.000 % | 0.99/1.03 c | 102 | 3975 2763 11073 | 5500 102 7 | 0.301 % | 0.99/1.04 c | 254 | 3975 2763 11073 | 6050 254 9 | 0.301 % | 0.99/1.04 c =============================================================================== 0.99/1.04 c core #251 0.99/1.04 c Core size: 161 Core Weight: 1 Total Weight: -210 0.99/1.04 c Elapsed CPU time: 0.993848 s Remaining CPU time: 1799.01 s 0.99/1.05 c ============================[ Search Statistics ]============================== 0.99/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.05 c =============================================================================== 0.99/1.05 c | 0 | 4062 2764 11245 | 5000 0 nan | 0.000 % | 0.99/1.05 c =============================================================================== 0.99/1.05 c core #252 0.99/1.05 c Core size: 106 Core Weight: 1 Total Weight: -209 0.99/1.05 c Elapsed CPU time: 1.00285 s Remaining CPU time: 1799 s 0.99/1.06 c ============================[ Search Statistics ]============================== 0.99/1.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.06 c =============================================================================== 0.99/1.06 c | 0 | 4152 2766 11435 | 5000 0 nan | 0.000 % | 0.99/1.06 c =============================================================================== 0.99/1.06 c core #253 0.99/1.06 c Core size: 109 Core Weight: 1 Total Weight: -208 0.99/1.06 c Elapsed CPU time: 1.01185 s Remaining CPU time: 1798.99 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 4221 2768 11586 | 5000 0 nan | 0.000 % | 0.99/1.08 c | 100 | 4221 2768 11586 | 5500 100 10 | 0.142 % | 0.99/1.08 c | 250 | 4221 2768 11586 | 6050 250 9 | 0.142 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #254 0.99/1.09 c Core size: 90 Core Weight: 1 Total Weight: -207 0.99/1.09 c Elapsed CPU time: 1.03484 s Remaining CPU time: 1798.97 s 0.99/1.10 c ============================[ Search Statistics ]============================== 0.99/1.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.10 c =============================================================================== 0.99/1.10 c | 0 | 4273 2769 11690 | 5000 0 nan | 0.000 % | 1.09/1.10 c | 103 | 4272 2769 11690 | 5500 103 19 | 0.187 % | 1.09/1.11 c =============================================================================== 1.09/1.12 c core #255 1.09/1.12 c Core size: 351 Core Weight: 1 Total Weight: -206 1.09/1.12 c Elapsed CPU time: 1.06084 s Remaining CPU time: 1798.94 s 1.09/1.12 c ============================[ Search Statistics ]============================== 1.09/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.12 c =============================================================================== 1.09/1.12 c | 0 | 4516 2770 12200 | 5000 0 nan | 0.000 % | 1.09/1.13 c | 100 | 4516 2770 12200 | 5500 100 12 | 0.044 % | 1.09/1.14 c | 250 | 4516 2770 12200 | 6050 250 14 | 0.044 % | 1.09/1.15 c | 475 | 4515 2770 12200 | 6655 474 14 | 0.066 % | 1.09/1.17 c | 814 | 4515 2770 12200 | 7320 813 14 | 0.066 % | 1.19/1.21 c | 1323 | 4515 2770 12200 | 8052 1322 16 | 0.066 % | 1.19/1.25 c =============================================================================== 1.19/1.26 c core #256 1.19/1.26 c Core size: 233 Core Weight: 1 Total Weight: -205 1.19/1.26 c Elapsed CPU time: 1.19182 s Remaining CPU time: 1798.81 s 1.19/1.26 c ============================[ Search Statistics ]============================== 1.19/1.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.26 c =============================================================================== 1.19/1.26 c | 0 | 4652 2772 12474 | 5000 0 nan | 0.000 % | 1.19/1.27 c | 100 | 4652 2772 12474 | 5500 100 34 | 0.043 % | 1.19/1.28 c | 252 | 4652 2772 12474 | 6050 252 29 | 0.043 % | 1.29/1.30 c | 477 | 4652 2772 12474 | 6655 477 25 | 0.043 % | 1.29/1.33 c | 815 | 4647 2772 12474 | 7320 812 26 | 0.150 % | 1.29/1.36 c | 1326 | 4647 2772 12474 | 8052 1323 23 | 0.150 % | 1.39/1.43 c | 2085 | 4630 2772 12474 | 8857 2080 26 | 0.580 % | 1.49/1.55 c | 3228 | 4630 2772 12474 | 9743 3223 28 | 0.580 % | 1.69/1.75 c | 4937 | 4627 2772 12474 | 10717 4931 32 | 0.580 % | 1.99/2.00 c =============================================================================== 1.99/2.05 c core #257 1.99/2.05 c Core size: 368 Core Weight: 1 Total Weight: -204 1.99/2.05 c Elapsed CPU time: 1.9577 s Remaining CPU time: 1798.04 s 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 4877 2773 12931 | 5000 0 nan | 0.000 % | 1.99/2.07 c | 101 | 4877 2773 12931 | 5500 101 11 | 0.021 % | 1.99/2.08 c | 252 | 4877 2773 12931 | 6050 252 8 | 0.021 % | 1.99/2.08 c =============================================================================== 1.99/2.08 c core #258 1.99/2.08 c Core size: 41 Core Weight: 1 Total Weight: -203 1.99/2.08 c Elapsed CPU time: 1.9837 s Remaining CPU time: 1798.02 s 1.99/2.09 c ============================[ Search Statistics ]============================== 1.99/2.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.09 c =============================================================================== 1.99/2.09 c | 0 | 4907 2774 12991 | 5000 0 nan | 0.000 % | 1.99/2.09 c | 101 | 4903 2774 12991 | 5500 101 13 | 0.550 % | 1.99/2.09 c =============================================================================== 1.99/2.10 c core #259 1.99/2.10 c Core size: 142 Core Weight: 1 Total Weight: -202 1.99/2.10 c Elapsed CPU time: 1.9987 s Remaining CPU time: 1798 s 2.09/2.10 c ============================[ Search Statistics ]============================== 2.09/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.10 c =============================================================================== 2.09/2.10 c | 0 | 5006 2775 13189 | 5000 0 nan | 0.000 % | 2.09/2.11 c | 101 | 5006 2775 13189 | 5500 101 17 | 0.020 % | 2.09/2.12 c =============================================================================== 2.09/2.12 c core #260 2.09/2.12 c Core size: 29 Core Weight: 1 Total Weight: -201 2.09/2.12 c Elapsed CPU time: 2.01569 s Remaining CPU time: 1797.98 s 2.09/2.12 c ============================[ Search Statistics ]============================== 2.09/2.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.12 c =============================================================================== 2.09/2.12 c | 0 | 5023 2776 13223 | 5000 0 nan | 0.000 % | 2.09/2.13 c | 105 | 5023 2776 13223 | 5500 105 19 | 0.020 % | 2.09/2.14 c | 255 | 5006 2776 13223 | 6050 254 19 | 0.358 % | 2.09/2.15 c | 480 | 5006 2776 13223 | 6655 479 18 | 0.358 % | 2.09/2.17 c | 817 | 5004 2776 13223 | 7320 713 17 | 0.398 % | 2.09/2.19 c =============================================================================== 2.09/2.19 c core #261 2.09/2.19 c Core size: 47 Core Weight: 1 Total Weight: -200 2.09/2.19 c Elapsed CPU time: 2.08868 s Remaining CPU time: 1797.91 s 2.09/2.20 c ============================[ Search Statistics ]============================== 2.09/2.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.20 c =============================================================================== 2.09/2.20 c | 0 | 5061 2777 13299 | 5000 0 nan | 0.000 % | 2.18/2.21 c | 101 | 5061 2777 13299 | 5500 101 20 | 0.020 % | 2.18/2.22 c | 252 | 5061 2777 13299 | 6050 252 13 | 0.020 % | 2.18/2.23 c | 477 | 5061 2777 13299 | 6655 477 12 | 0.020 % | 2.18/2.25 c | 814 | 5056 2777 13299 | 7320 766 13 | 0.158 % | 2.18/2.26 c =============================================================================== 2.18/2.26 c core #262 2.18/2.26 c Core size: 190 Core Weight: 1 Total Weight: -199 2.18/2.26 c Elapsed CPU time: 2.15667 s Remaining CPU time: 1797.84 s 2.18/2.27 c ============================[ Search Statistics ]============================== 2.18/2.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.18/2.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.18/2.27 c =============================================================================== 2.18/2.27 c | 0 | 5164 2778 13505 | 5000 0 nan | 0.000 % | 2.18/2.28 c | 102 | 5164 2778 13505 | 5500 102 12 | 0.019 % | 2.18/2.29 c | 253 | 5164 2778 13505 | 6050 253 10 | 0.019 % | 2.28/2.30 c | 479 | 5164 2778 13505 | 6655 479 11 | 0.019 % | 2.28/2.32 c =============================================================================== 2.28/2.32 c core #263 2.28/2.32 c Core size: 146 Core Weight: 1 Total Weight: -198 2.28/2.32 c Elapsed CPU time: 2.20666 s Remaining CPU time: 1797.79 s 2.28/2.33 c ============================[ Search Statistics ]============================== 2.28/2.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.28/2.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.28/2.33 c =============================================================================== 2.28/2.33 c | 0 | 5245 2779 13667 | 5000 0 nan | 0.000 % | 2.28/2.34 c | 101 | 5245 2779 13667 | 5500 101 28 | 0.019 % | 2.28/2.35 c | 252 | 5245 2779 13667 | 6050 252 32 | 0.019 % | 2.28/2.36 c | 480 | 5245 2779 13667 | 6655 480 30 | 0.019 % | 2.28/2.38 c | 817 | 5245 2779 13667 | 7320 817 31 | 0.019 % | 2.38/2.41 c | 1323 | 5245 2779 13667 | 8052 1323 27 | 0.019 % | 2.38/2.45 c | 2082 | 5245 2779 13667 | 8857 2082 23 | 0.019 % | 2.38/2.47 c =============================================================================== 2.38/2.48 c core #264 2.38/2.48 c Core size: 104 Core Weight: 1 Total Weight: -197 2.38/2.48 c Elapsed CPU time: 2.35564 s Remaining CPU time: 1797.64 s 2.38/2.48 c ============================[ Search Statistics ]============================== 2.38/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.38/2.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.38/2.49 c =============================================================================== 2.38/2.49 c | 0 | 5317 2780 13811 | 5000 0 nan | 0.000 % | 2.38/2.49 c | 100 | 5316 2780 13811 | 5500 100 17 | 0.056 % | 2.48/2.50 c | 250 | 5316 2780 13811 | 6050 250 15 | 0.056 % | 2.48/2.51 c | 475 | 5315 2780 13811 | 6655 474 17 | 0.056 % | 2.48/2.53 c =============================================================================== 2.48/2.53 c core #265 2.48/2.53 c Core size: 89 Core Weight: 1 Total Weight: -196 2.48/2.53 c Elapsed CPU time: 2.40163 s Remaining CPU time: 1797.6 s 2.48/2.54 c ============================[ Search Statistics ]============================== 2.48/2.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.54 c =============================================================================== 2.48/2.54 c | 0 | 5359 2781 13895 | 5000 0 nan | 0.000 % | 2.48/2.54 c | 101 | 5359 2781 13895 | 5500 101 16 | 0.019 % | 2.48/2.55 c | 251 | 5359 2781 13895 | 6050 251 15 | 0.019 % | 2.48/2.56 c | 478 | 5359 2781 13895 | 6655 478 14 | 0.019 % | 2.48/2.57 c =============================================================================== 2.48/2.57 c core #266 2.48/2.57 c Core size: 53 Core Weight: 1 Total Weight: -195 2.48/2.57 c Elapsed CPU time: 2.44063 s Remaining CPU time: 1797.56 s 2.48/2.58 c ============================[ Search Statistics ]============================== 2.48/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.48/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.48/2.58 c =============================================================================== 2.48/2.58 c | 0 | 5403 2782 13983 | 5000 0 nan | 0.000 % | 2.48/2.59 c | 100 | 5403 2782 13983 | 5500 100 44 | 0.019 % | 2.48/2.59 c | 250 | 5403 2782 13983 | 6050 250 34 | 0.019 % | 2.58/2.61 c | 478 | 5403 2782 13983 | 6655 478 34 | 0.019 % | 2.58/2.63 c | 817 | 5403 2782 13983 | 7320 817 32 | 0.019 % | 2.58/2.66 c | 1325 | 5403 2782 13983 | 8052 1325 31 | 0.019 % | 2.68/2.71 c | 2086 | 5402 2782 13983 | 8857 2084 29 | 0.037 % | 2.68/2.76 c =============================================================================== 2.68/2.76 c core #267 2.68/2.76 c Core size: 18 Core Weight: 1 Total Weight: -194 2.68/2.76 c Elapsed CPU time: 2.6206 s Remaining CPU time: 1797.38 s 2.68/2.76 c ============================[ Search Statistics ]============================== 2.68/2.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.68/2.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.68/2.76 c =============================================================================== 2.68/2.77 c | 0 | 5419 2783 14015 | 5000 0 nan | 0.000 % | 2.68/2.77 c | 100 | 5419 2783 14015 | 5500 100 37 | 0.037 % | 2.68/2.78 c | 253 | 5418 2783 14015 | 6050 253 34 | 0.037 % | 2.78/2.80 c | 479 | 5418 2783 14015 | 6655 477 37 | 0.037 % | 2.78/2.82 c | 816 | 5418 2783 14015 | 7320 814 30 | 0.037 % | 2.78/2.85 c | 1322 | 5418 2783 14015 | 8052 1320 30 | 0.037 % | 2.78/2.90 c | 2081 | 5417 2783 14015 | 8857 2075 23 | 0.055 % | 2.88/2.91 c =============================================================================== 2.88/2.91 c core #268 2.88/2.91 c Core size: 149 Core Weight: 1 Total Weight: -193 2.88/2.91 c Elapsed CPU time: 2.77058 s Remaining CPU time: 1797.23 s 2.88/2.92 c ============================[ Search Statistics ]============================== 2.88/2.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.92 c =============================================================================== 2.88/2.92 c | 0 | 5512 2784 14201 | 5000 0 nan | 0.000 % | 2.88/2.93 c | 100 | 5512 2784 14201 | 5500 100 38 | 0.018 % | 2.88/2.95 c | 250 | 5512 2784 14201 | 6050 250 24 | 0.018 % | 2.88/2.96 c | 476 | 5511 2784 14201 | 6655 475 19 | 0.036 % | 2.88/2.97 c =============================================================================== 2.88/2.97 c core #269 2.88/2.97 c Core size: 276 Core Weight: 1 Total Weight: -192 2.88/2.97 c Elapsed CPU time: 2.82657 s Remaining CPU time: 1797.17 s 2.88/2.98 c ============================[ Search Statistics ]============================== 2.88/2.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.98 c =============================================================================== 2.88/2.98 c | 0 | 5696 2785 14569 | 5000 0 nan | 0.000 % | 2.88/2.99 c | 102 | 5696 2785 14569 | 5500 102 30 | 0.018 % | 2.98/3.00 c | 252 | 5696 2785 14569 | 6050 252 22 | 0.018 % | 2.98/3.01 c | 479 | 5696 2785 14569 | 6655 479 17 | 0.018 % | 2.98/3.03 c | 819 | 5696 2785 14569 | 7320 819 16 | 0.018 % | 2.98/3.05 c =============================================================================== 2.98/3.06 c core #270 2.98/3.06 c Core size: 145 Core Weight: 1 Total Weight: -191 2.98/3.06 c Elapsed CPU time: 2.91056 s Remaining CPU time: 1797.09 s 2.98/3.07 c ============================[ Search Statistics ]============================== 2.98/3.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.98/3.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.98/3.07 c =============================================================================== 2.98/3.07 c | 0 | 5789 2786 14755 | 5000 0 nan | 0.000 % | 2.98/3.08 c | 100 | 5789 2786 14755 | 5500 100 28 | 0.017 % | 2.98/3.09 c | 250 | 5789 2786 14755 | 6050 250 24 | 0.017 % | 3.08/3.11 c | 480 | 5789 2786 14755 | 6655 480 24 | 0.017 % | 3.08/3.14 c | 818 | 5789 2786 14755 | 7320 818 21 | 0.017 % | 3.08/3.18 c | 1324 | 5789 2786 14755 | 8052 1324 20 | 0.017 % | 3.18/3.21 c =============================================================================== 3.18/3.22 c core #271 3.18/3.22 c Core size: 122 Core Weight: 1 Total Weight: -190 3.18/3.22 c Elapsed CPU time: 3.06053 s Remaining CPU time: 1796.94 s 3.18/3.23 c ============================[ Search Statistics ]============================== 3.18/3.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.18/3.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.18/3.23 c =============================================================================== 3.18/3.23 c | 0 | 5867 2787 14911 | 5000 0 nan | 0.000 % | 3.18/3.23 c | 101 | 5867 2787 14911 | 5500 101 18 | 0.017 % | 3.18/3.24 c | 252 | 5867 2787 14911 | 6050 252 18 | 0.017 % | 3.18/3.25 c | 478 | 5867 2787 14911 | 6655 478 23 | 0.017 % | 3.18/3.27 c | 815 | 5867 2787 14911 | 7320 815 29 | 0.017 % | 3.18/3.30 c | 1323 | 5867 2787 14911 | 8052 1323 27 | 0.017 % | 3.28/3.36 c | 2082 | 5865 2787 14911 | 8857 2053 30 | 0.051 % | 3.37/3.48 c | 3221 | 5860 2787 14911 | 9743 3185 35 | 0.136 % | 3.58/3.67 c | 4929 | 5860 2787 14911 | 10717 4638 40 | 0.136 % | 3.97/4.07 c | 7491 | 5860 2787 14911 | 11789 7200 43 | 0.136 % | 4.57/4.61 c | 11335 | 5857 2787 14911 | 12968 9134 42 | 0.187 % | 5.68/5.79 c =============================================================================== 5.88/5.92 c core #272 5.88/5.92 c Core size: 213 Core Weight: 1 Total Weight: -189 5.88/5.92 c Elapsed CPU time: 5.70613 s Remaining CPU time: 1794.29 s 5.88/5.95 c ============================[ Search Statistics ]============================== 5.88/5.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.95 c =============================================================================== 5.88/5.95 c | 0 | 5982 2788 15141 | 5000 0 nan | 0.000 % | 5.88/5.96 c | 101 | 5982 2788 15141 | 5500 101 35 | 0.017 % | 5.88/5.97 c | 251 | 5982 2788 15141 | 6050 251 29 | 0.017 % | 5.88/5.99 c | 476 | 5982 2788 15141 | 6655 476 43 | 0.017 % | 5.98/6.02 c | 814 | 5980 2788 15141 | 7320 813 41 | 0.050 % | 5.98/6.06 c | 1323 | 5980 2788 15141 | 8052 1322 44 | 0.050 % | 6.08/6.12 c | 2084 | 5980 2788 15141 | 8857 2083 39 | 0.050 % | 6.18/6.21 c | 3224 | 5980 2788 15141 | 9743 3223 38 | 0.050 % | 6.37/6.41 c | 4936 | 5980 2788 15141 | 10717 4935 42 | 0.050 % | 6.68/6.73 c | 7498 | 5980 2788 15141 | 11789 7497 48 | 0.050 % | 7.28/7.32 c | 11344 | 5980 2788 15141 | 12968 11343 48 | 0.050 % | 7.97/8.07 c | 17110 | 5980 2788 15141 | 14265 10515 51 | 0.050 % | 9.88/9.90 c | 25761 | 5980 2788 15141 | 15692 11897 80 | 0.050 % | 11.38/11.49 c | 38736 | 5980 2788 15141 | 17261 9034 24 | 0.050 % | 12.47/12.52 c =============================================================================== 12.57/12.63 c core #273 12.57/12.63 c Core size: 139 Core Weight: 1 Total Weight: -188 12.57/12.63 c Elapsed CPU time: 12.2991 s Remaining CPU time: 1787.7 s 12.57/12.68 c ============================[ Search Statistics ]============================== 12.57/12.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.57/12.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.57/12.68 c =============================================================================== 12.57/12.68 c | 0 | 6062 2789 15301 | 5000 0 nan | 0.000 % | 12.68/12.70 c | 100 | 6062 2789 15301 | 5500 100 45 | 0.016 % | 12.68/12.72 c | 251 | 6062 2789 15301 | 6050 251 44 | 0.016 % | 12.68/12.75 c | 476 | 6062 2789 15301 | 6655 476 54 | 0.016 % | 12.68/12.77 c | 813 | 6062 2789 15301 | 7320 813 38 | 0.016 % | 12.77/12.82 c | 1320 | 6062 2789 15301 | 8052 1320 28 | 0.017 % | 12.77/12.89 c | 2081 | 6062 2789 15301 | 8857 2081 23 | 0.016 % | 12.98/13.01 c | 3220 | 6062 2789 15301 | 9743 3220 20 | 0.016 % | 13.18/13.20 c =============================================================================== 13.18/13.24 c core #274 13.18/13.24 c Core size: 246 Core Weight: 1 Total Weight: -187 13.18/13.24 c Elapsed CPU time: 12.891 s Remaining CPU time: 1787.11 s 13.18/13.26 c ============================[ Search Statistics ]============================== 13.18/13.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.18/13.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.18/13.26 c =============================================================================== 13.18/13.26 c | 0 | 6205 2791 15589 | 5000 0 nan | 0.000 % | 13.18/13.27 c | 100 | 6205 2791 15589 | 5500 100 49 | 0.016 % | 13.18/13.28 c | 250 | 6182 2791 15589 | 6050 124 25 | 0.387 % | 13.18/13.28 c =============================================================================== 13.18/13.29 c core #275 13.18/13.29 c Core size: 99 Core Weight: 1 Total Weight: -186 13.18/13.29 c Elapsed CPU time: 12.932 s Remaining CPU time: 1787.07 s 13.18/13.30 c ============================[ Search Statistics ]============================== 13.18/13.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.18/13.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.18/13.30 c =============================================================================== 13.18/13.30 c | 0 | 6265 2792 15709 | 5000 0 nan | 0.000 % | 13.27/13.31 c | 102 | 6265 2792 15709 | 5500 102 19 | 0.016 % | 13.27/13.32 c | 253 | 6265 2792 15709 | 6050 253 16 | 0.016 % | 13.27/13.32 c =============================================================================== 13.27/13.32 c core #276 13.27/13.32 c Core size: 29 Core Weight: 1 Total Weight: -185 13.27/13.32 c Elapsed CPU time: 12.96 s Remaining CPU time: 1787.04 s 13.27/13.33 c ============================[ Search Statistics ]============================== 13.27/13.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.27/13.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.27/13.33 c =============================================================================== 13.27/13.33 c | 0 | 6279 2793 15737 | 5000 0 nan | 0.000 % | 13.27/13.35 c | 102 | 6279 2793 15737 | 5500 102 23 | 0.016 % | 13.27/13.35 c | 252 | 6279 2793 15737 | 6050 252 15 | 0.016 % | 13.27/13.36 c | 478 | 6279 2793 15737 | 6655 478 12 | 0.016 % | 13.27/13.37 c =============================================================================== 13.27/13.37 c core #277 13.27/13.37 c Core size: 80 Core Weight: 1 Total Weight: -184 13.27/13.37 c Elapsed CPU time: 13.005 s Remaining CPU time: 1786.99 s 13.27/13.38 c ============================[ Search Statistics ]============================== 13.27/13.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.27/13.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.27/13.38 c =============================================================================== 13.27/13.38 c | 0 | 6332 2794 15843 | 5000 0 nan | 0.000 % | 13.27/13.39 c | 102 | 6332 2794 15843 | 5500 102 18 | 0.016 % | 13.37/13.40 c | 252 | 6332 2794 15843 | 6050 252 18 | 0.016 % | 13.37/13.42 c | 481 | 6332 2794 15843 | 6655 481 16 | 0.016 % | 13.37/13.44 c | 818 | 6326 2794 15843 | 7320 416 16 | 0.111 % | 13.37/13.45 c =============================================================================== 13.37/13.45 c core #278 13.37/13.45 c Core size: 180 Core Weight: 1 Total Weight: -183 13.37/13.45 c Elapsed CPU time: 13.082 s Remaining CPU time: 1786.92 s 13.37/13.47 c ============================[ Search Statistics ]============================== 13.37/13.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.37/13.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.37/13.47 c =============================================================================== 13.37/13.47 c | 0 | 6438 2795 16055 | 5000 0 nan | 0.000 % | 13.37/13.48 c | 101 | 6438 2795 16055 | 5500 101 55 | 0.016 % | 13.37/13.49 c | 253 | 6438 2795 16055 | 6050 253 40 | 0.016 % | 13.47/13.51 c | 478 | 6438 2795 16055 | 6655 478 35 | 0.016 % | 13.47/13.54 c | 817 | 6438 2795 16055 | 7320 817 36 | 0.016 % | 13.47/13.59 c | 1326 | 6438 2795 16055 | 8052 1326 36 | 0.016 % | 13.57/13.66 c | 2085 | 6438 2795 16055 | 8857 2085 34 | 0.016 % | 13.67/13.77 c | 3226 | 6438 2795 16055 | 9743 3226 32 | 0.016 % | 13.87/13.99 c | 4940 | 6438 2795 16055 | 10717 4940 34 | 0.016 % | 14.27/14.35 c | 7505 | 6438 2795 16055 | 11789 7505 33 | 0.016 % | 14.77/14.83 c | 11350 | 6438 2795 16055 | 12968 11350 30 | 0.016 % | 15.67/15.77 c | 17118 | 6438 2795 16055 | 14265 10599 32 | 0.016 % | 17.17/17.28 c | 25768 | 6437 2795 16055 | 15692 12071 41 | 0.031 % | 19.97/20.08 c | 38747 | 6437 2795 16055 | 17261 9179 43 | 0.031 % | 24.47/24.56 c | 58208 | 6435 2795 16055 | 18987 11267 42 | 0.062 % | 31.67/31.75 c | 87401 | 6435 2795 16055 | 20886 11806 37 | 0.062 % | 43.56/43.61 c | 131197 | 6435 2795 16055 | 22974 13582 40 | 0.062 % | 65.15/65.26 c | 196882 | 6435 2795 16055 | 25272 21432 44 | 0.062 % | 98.45/98.51 c | 295408 | 6435 2795 16055 | 27799 17869 45 | 0.062 % | 137.84/137.96 c =============================================================================== 145.53/145.65 c core #279 145.53/145.65 c Core size: 151 Core Weight: 1 Total Weight: -182 145.53/145.65 c Elapsed CPU time: 144.099 s Remaining CPU time: 1655.9 s 145.93/146.06 c ============================[ Search Statistics ]============================== 145.93/146.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 145.93/146.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 145.93/146.06 c =============================================================================== 145.93/146.06 c | 0 | 6528 2796 16235 | 5000 0 nan | 0.000 % | 146.03/146.13 c | 106 | 6528 2796 16235 | 5500 106 43 | 0.015 % | 146.03/146.15 c | 256 | 6528 2796 16235 | 6050 256 36 | 0.015 % | 146.03/146.18 c | 482 | 6528 2796 16235 | 6655 482 35 | 0.015 % | 146.14/146.21 c | 819 | 6528 2796 16235 | 7320 819 31 | 0.015 % | 146.14/146.26 c | 1326 | 6528 2796 16235 | 8052 1326 29 | 0.015 % | 146.24/146.34 c | 2085 | 6528 2796 16235 | 8857 2085 27 | 0.015 % | 146.33/146.48 c | 3226 | 6527 2796 16235 | 9743 3225 26 | 0.031 % | 146.53/146.69 c | 4934 | 6527 2796 16235 | 10717 4933 23 | 0.031 % | 146.93/147.07 c | 7496 | 6527 2796 16235 | 11789 7495 24 | 0.031 % | 147.24/147.32 c =============================================================================== 147.34/147.44 c core #280 147.34/147.44 c Core size: 213 Core Weight: 1 Total Weight: -181 147.34/147.44 c Elapsed CPU time: 145.861 s Remaining CPU time: 1654.14 s 147.34/147.47 c ============================[ Search Statistics ]============================== 147.34/147.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 147.34/147.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 147.34/147.47 c =============================================================================== 147.34/147.47 c | 0 | 6655 2797 16489 | 5000 0 nan | 0.000 % | 147.34/147.48 c | 100 | 6655 2797 16489 | 5500 100 18 | 0.015 % | 147.43/147.50 c | 253 | 6655 2797 16489 | 6050 253 16 | 0.015 % | 147.43/147.51 c | 479 | 6655 2797 16489 | 6655 479 16 | 0.015 % | 147.43/147.54 c | 817 | 6655 2797 16489 | 7320 817 13 | 0.015 % | 147.53/147.60 c | 1326 | 6655 2797 16489 | 8052 1326 18 | 0.015 % | 147.53/147.68 c | 2085 | 6655 2797 16489 | 8857 2085 19 | 0.015 % | 147.73/147.82 c | 3224 | 6655 2797 16489 | 9743 3224 24 | 0.015 % | 147.93/148.02 c | 4933 | 6655 2797 16489 | 10717 4933 23 | 0.015 % | 148.23/148.37 c | 7495 | 6655 2797 16489 | 11789 7495 24 | 0.015 % | 148.93/149.02 c | 11339 | 6655 2797 16489 | 12968 11339 28 | 0.015 % | 150.13/150.28 c | 17105 | 6655 2797 16489 | 14265 10520 41 | 0.015 % | 152.53/152.69 c | 25755 | 6655 2797 16489 | 15692 11999 49 | 0.015 % | 156.63/156.74 c | 38729 | 6655 2797 16489 | 17261 9169 41 | 0.015 % | 159.72/159.89 c =============================================================================== 160.43/160.57 c core #281 160.43/160.57 c Core size: 506 Core Weight: 1 Total Weight: -180 160.43/160.57 c Elapsed CPU time: 158.833 s Remaining CPU time: 1641.17 s 160.53/160.66 c ============================[ Search Statistics ]============================== 160.53/160.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 160.53/160.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 160.53/160.66 c =============================================================================== 160.53/160.66 c | 0 | 6979 2799 17139 | 5000 0 nan | 0.000 % | 160.63/160.70 c | 102 | 6979 2799 17139 | 5500 102 28 | 0.014 % | 160.63/160.71 c | 252 | 6979 2799 17139 | 6050 252 30 | 0.014 % | 160.63/160.73 c | 482 | 6979 2799 17139 | 6655 482 31 | 0.014 % | 160.63/160.76 c | 819 | 6979 2799 17139 | 7320 819 27 | 0.014 % | 160.63/160.80 c | 1325 | 6979 2799 17139 | 8052 1325 25 | 0.014 % | 160.73/160.87 c | 2085 | 6979 2799 17139 | 8857 2085 25 | 0.014 % | 160.92/161.02 c | 3225 | 6979 2799 17139 | 9743 3225 27 | 0.014 % | 161.13/161.25 c | 4934 | 6979 2799 17139 | 10717 4934 26 | 0.014 % | 161.53/161.61 c | 7496 | 6979 2799 17139 | 11789 7496 24 | 0.014 % | 161.92/162.05 c =============================================================================== 162.02/162.17 c core #282 162.02/162.17 c Core size: 119 Core Weight: 1 Total Weight: -179 162.02/162.17 c Elapsed CPU time: 160.4 s Remaining CPU time: 1639.6 s 162.12/162.20 c ============================[ Search Statistics ]============================== 162.12/162.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 162.12/162.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 162.12/162.20 c =============================================================================== 162.12/162.21 c | 0 | 7052 2800 17285 | 5000 0 nan | 0.000 % | 162.12/162.23 c | 100 | 7052 2800 17285 | 5500 100 56 | 0.014 % | 162.12/162.25 c | 253 | 7052 2800 17285 | 6050 253 42 | 0.014 % | 162.12/162.27 c | 478 | 7052 2800 17285 | 6655 478 33 | 0.014 % | 162.23/162.31 c | 815 | 7052 2800 17285 | 7320 815 34 | 0.014 % | 162.23/162.38 c | 1325 | 7052 2800 17285 | 8052 1325 30 | 0.014 % | 162.33/162.47 c | 2084 | 7052 2800 17285 | 8857 2084 35 | 0.014 % | 162.52/162.62 c | 3224 | 7052 2800 17285 | 9743 3224 36 | 0.014 % | 163.02/163.11 c | 4932 | 7052 2800 17285 | 10717 4932 54 | 0.014 % | 163.93/164.06 c | 7495 | 7051 2800 17285 | 11789 7494 65 | 0.028 % | 165.63/165.74 c | 11339 | 7051 2800 17285 | 12968 11338 73 | 0.028 % | 168.62/168.73 c | 17107 | 7051 2800 17285 | 14265 10603 100 | 0.028 % | 174.53/174.61 c | 25756 | 7051 2800 17285 | 15692 12055 102 | 0.028 % | 178.22/178.31 c =============================================================================== 178.22/178.31 c core #283 178.22/178.31 c Core size: 27 Core Weight: 1 Total Weight: -178 178.22/178.31 c Elapsed CPU time: 176.44 s Remaining CPU time: 1623.56 s 178.22/178.37 c ============================[ Search Statistics ]============================== 178.22/178.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 178.22/178.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 178.22/178.37 c =============================================================================== 178.22/178.37 c | 0 | 7072 2801 17325 | 5000 0 nan | 0.000 % | 178.33/178.40 c | 102 | 7072 2801 17325 | 5500 102 56 | 0.014 % | 178.33/178.41 c | 252 | 7072 2801 17325 | 6050 252 43 | 0.014 % | 178.33/178.42 c | 478 | 7072 2801 17325 | 6655 478 27 | 0.014 % | 178.33/178.45 c | 815 | 7072 2801 17325 | 7320 815 29 | 0.014 % | 178.33/178.46 c =============================================================================== 178.33/178.47 c core #284 178.33/178.47 c Core size: 87 Core Weight: 1 Total Weight: -177 178.33/178.47 c Elapsed CPU time: 176.587 s Remaining CPU time: 1623.41 s 178.33/178.48 c ============================[ Search Statistics ]============================== 178.33/178.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 178.33/178.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 178.33/178.48 c =============================================================================== 178.33/178.48 c | 0 | 7115 2802 17411 | 5000 0 nan | 0.000 % | 178.33/178.50 c | 101 | 7115 2802 17411 | 5500 101 31 | 0.014 % | 178.42/178.51 c | 258 | 7115 2802 17411 | 6050 258 28 | 0.014 % | 178.42/178.52 c | 483 | 7115 2802 17411 | 6655 483 28 | 0.014 % | 178.42/178.55 c | 820 | 7115 2802 17411 | 7320 820 29 | 0.014 % | 178.42/178.59 c | 1330 | 7115 2802 17411 | 8052 1330 28 | 0.014 % | 178.52/178.66 c | 2092 | 7115 2802 17411 | 8857 2092 40 | 0.014 % | 178.72/178.80 c | 3235 | 7115 2802 17411 | 9743 3235 50 | 0.014 % | 178.92/179.05 c | 4946 | 7115 2802 17411 | 10717 4946 55 | 0.014 % | 179.42/179.56 c | 7508 | 7115 2802 17411 | 11789 7508 57 | 0.014 % | 180.72/180.84 c | 11353 | 7115 2802 17411 | 12968 11353 64 | 0.014 % | 182.62/182.79 c | 17121 | 7115 2802 17411 | 14265 10570 74 | 0.014 % | 185.83/185.91 c | 25773 | 7115 2802 17411 | 15692 12033 67 | 0.014 % | 190.31/190.45 c | 38749 | 7114 2802 17411 | 17261 9177 71 | 0.028 % | 197.42/197.57 c | 58218 | 7112 2802 17411 | 18987 11300 60 | 0.056 % | 203.22/203.32 c =============================================================================== 204.62/204.78 c core #285 204.62/204.78 c Core size: 120 Core Weight: 1 Total Weight: -176 204.62/204.78 c Elapsed CPU time: 202.662 s Remaining CPU time: 1597.34 s 204.82/204.90 c ============================[ Search Statistics ]============================== 204.82/204.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.82/204.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.82/204.90 c =============================================================================== 204.82/204.90 c | 0 | 7188 2803 17557 | 5000 0 nan | 0.000 % | 204.82/204.95 c | 103 | 7188 2803 17557 | 5500 103 42 | 0.014 % | 204.82/204.95 c | 253 | 7188 2803 17557 | 6050 253 26 | 0.014 % | 204.82/204.96 c | 481 | 7188 2803 17557 | 6655 481 18 | 0.014 % | 204.82/204.98 c | 818 | 7188 2803 17557 | 7320 818 13 | 0.014 % | 204.82/204.98 c =============================================================================== 204.82/204.98 c core #286 204.82/204.98 c Core size: 20 Core Weight: 1 Total Weight: -175 204.82/204.98 c Elapsed CPU time: 202.863 s Remaining CPU time: 1597.14 s 204.91/205.00 c ============================[ Search Statistics ]============================== 204.91/205.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.91/205.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.91/205.00 c =============================================================================== 204.91/205.00 c | 0 | 7205 2804 17591 | 5000 0 nan | 0.000 % | 204.91/205.02 c | 102 | 7205 2804 17591 | 5500 102 49 | 0.014 % | 204.91/205.03 c | 253 | 7205 2804 17591 | 6050 253 36 | 0.014 % | 204.91/205.04 c | 481 | 7205 2804 17591 | 6655 481 38 | 0.014 % | 204.91/205.07 c | 820 | 7205 2804 17591 | 7320 820 37 | 0.014 % | 205.02/205.12 c | 1326 | 7205 2804 17591 | 8052 1326 33 | 0.014 % | 205.02/205.18 c | 2085 | 7205 2804 17591 | 8857 2085 36 | 0.014 % | 205.11/205.27 c | 3224 | 7205 2804 17591 | 9743 3224 36 | 0.014 % | 205.32/205.46 c | 4932 | 7205 2804 17591 | 10717 4932 37 | 0.014 % | 205.72/205.81 c | 7494 | 7205 2804 17591 | 11789 7494 47 | 0.014 % | 206.41/206.52 c | 11339 | 7205 2804 17591 | 12968 11339 55 | 0.014 % | 207.71/207.88 c | 17105 | 7205 2804 17591 | 14265 10547 71 | 0.014 % | 209.51/209.66 c | 25755 | 7205 2804 17591 | 15692 11946 51 | 0.014 % | 213.31/213.45 c | 38729 | 7205 2804 17591 | 17261 8971 73 | 0.014 % | 217.91/218.06 c | 58190 | 7205 2804 17591 | 18987 10994 46 | 0.014 % | 226.01/226.14 c | 87382 | 7205 2804 17591 | 20886 10522 49 | 0.014 % | 244.50/244.60 c | 131176 | 7205 2804 17591 | 22974 12025 69 | 0.014 % | 268.99/269.15 c | 196861 | 7202 2804 17591 | 25272 19554 42 | 0.056 % | 311.09/311.22 c | 295392 | 7202 2804 17591 | 27799 12717 50 | 0.056 % | 322.78/322.94 c =============================================================================== 323.48/323.69 c core #287 323.48/323.69 c Core size: 296 Core Weight: 1 Total Weight: -174 323.48/323.69 c Elapsed CPU time: 320.577 s Remaining CPU time: 1479.42 s 323.89/324.04 c ============================[ Search Statistics ]============================== 323.89/324.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 323.89/324.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 323.89/324.04 c =============================================================================== 323.89/324.04 c | 0 | 7397 2805 17975 | 5000 0 nan | 0.000 % | 323.99/324.11 c | 103 | 7397 2805 17975 | 5500 103 54 | 0.014 % | 323.99/324.15 c | 254 | 7397 2805 17975 | 6050 254 72 | 0.014 % | 323.99/324.17 c | 480 | 7397 2805 17975 | 6655 480 56 | 0.014 % | 324.08/324.20 c | 817 | 7397 2805 17975 | 7320 817 48 | 0.014 % | 324.08/324.25 c | 1326 | 7397 2805 17975 | 8052 1326 45 | 0.014 % | 324.18/324.32 c | 2087 | 7397 2805 17975 | 8857 2087 41 | 0.014 % | 324.28/324.47 c | 3229 | 7397 2805 17975 | 9743 3229 42 | 0.014 % | 324.48/324.66 c | 4938 | 7397 2805 17975 | 10717 4938 37 | 0.014 % | 324.88/325.03 c | 7500 | 7397 2805 17975 | 11789 7500 36 | 0.014 % | 325.49/325.69 c | 11344 | 7397 2805 17975 | 12968 11344 37 | 0.014 % | 326.68/326.85 c | 17110 | 7397 2805 17975 | 14265 10562 38 | 0.014 % | 328.48/328.68 c | 25762 | 7397 2805 17975 | 15692 12053 35 | 0.014 % | 331.98/332.18 c | 38736 | 7397 2805 17975 | 17261 9176 53 | 0.014 % | 337.48/337.65 c | 58199 | 7395 2805 17975 | 18987 11233 51 | 0.041 % | 347.88/348.00 c | 87391 | 7395 2805 17975 | 20886 11685 62 | 0.041 % | 353.77/353.94 c =============================================================================== 353.77/353.94 c core #288 353.77/353.94 c Core size: 66 Core Weight: 1 Total Weight: -173 353.77/353.94 c Elapsed CPU time: 350.55 s Remaining CPU time: 1449.45 s 353.87/354.09 c ============================[ Search Statistics ]============================== 353.87/354.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 353.87/354.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 353.87/354.09 c =============================================================================== 353.87/354.09 c | 0 | 7434 2806 18049 | 5000 0 nan | 0.000 % | 353.97/354.15 c | 100 | 7434 2806 18049 | 5500 100 74 | 0.013 % | 353.97/354.16 c | 250 | 7434 2806 18049 | 6050 250 62 | 0.013 % | 353.97/354.18 c | 476 | 7434 2806 18049 | 6655 476 49 | 0.013 % | 354.08/354.21 c | 813 | 7434 2806 18049 | 7320 813 39 | 0.013 % | 354.08/354.26 c | 1320 | 7434 2806 18049 | 8052 1320 34 | 0.013 % | 354.17/354.33 c | 2079 | 7434 2806 18049 | 8857 2079 32 | 0.013 % | 354.28/354.47 c | 3222 | 7434 2806 18049 | 9743 3222 33 | 0.013 % | 354.47/354.69 c | 4930 | 7434 2806 18049 | 10717 4930 34 | 0.013 % | 354.87/355.03 c | 7494 | 7432 2806 18049 | 11789 7493 31 | 0.040 % | 355.47/355.67 c | 11345 | 7432 2806 18049 | 12968 11344 37 | 0.040 % | 356.68/356.80 c | 17126 | 7432 2806 18049 | 14265 10543 43 | 0.040 % | 358.57/358.70 c | 25778 | 7432 2806 18049 | 15692 11931 38 | 0.040 % | 362.56/362.73 c | 38754 | 7432 2806 18049 | 17261 9062 64 | 0.040 % | 368.27/368.47 c | 58215 | 7432 2806 18049 | 18987 11137 44 | 0.040 % | 375.67/375.89 c | 87408 | 7431 2806 18049 | 20886 11750 36 | 0.054 % | 387.16/387.36 c | 131197 | 7431 2806 18049 | 22974 13498 40 | 0.054 % | 409.07/409.28 c | 196882 | 7431 2806 18049 | 25272 21390 67 | 0.054 % | 427.65/427.83 c =============================================================================== 430.85/431.08 c core #289 430.85/431.08 c Core size: 277 Core Weight: 1 Total Weight: -172 430.85/431.08 c Elapsed CPU time: 426.927 s Remaining CPU time: 1373.07 s 431.15/431.39 c ============================[ Search Statistics ]============================== 431.15/431.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 431.15/431.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 431.15/431.39 c =============================================================================== 431.15/431.39 c | 0 | 7590 2807 18361 | 5000 0 nan | 0.000 % | 431.25/431.45 c | 101 | 7590 2807 18361 | 5500 101 14 | 0.013 % | 431.25/431.46 c | 251 | 7590 2807 18361 | 6050 251 13 | 0.013 % | 431.25/431.48 c | 476 | 7590 2807 18361 | 6655 476 14 | 0.013 % | 431.25/431.50 c | 814 | 7587 2807 18361 | 7320 812 15 | 0.053 % | 431.36/431.54 c | 1323 | 7587 2807 18361 | 8052 1316 17 | 0.053 % | 431.45/431.60 c | 2082 | 7583 2807 18361 | 8857 2070 17 | 0.105 % | 431.56/431.70 c =============================================================================== 431.56/431.72 c core #290 431.56/431.72 c Core size: 127 Core Weight: 1 Total Weight: -171 431.56/431.72 c Elapsed CPU time: 427.558 s Remaining CPU time: 1372.44 s 431.56/431.75 c ============================[ Search Statistics ]============================== 431.56/431.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 431.56/431.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 431.56/431.75 c =============================================================================== 431.56/431.75 c | 0 | 7657 2808 18495 | 5000 0 nan | 0.000 % | 431.56/431.77 c | 104 | 7657 2808 18495 | 5500 104 30 | 0.013 % | 431.56/431.79 c | 254 | 7657 2808 18495 | 6050 254 30 | 0.013 % | 431.65/431.80 c | 479 | 7657 2808 18495 | 6655 479 26 | 0.013 % | 431.65/431.83 c | 816 | 7657 2808 18495 | 7320 816 28 | 0.013 % | 431.65/431.88 c | 1322 | 7657 2808 18495 | 8052 1322 34 | 0.013 % | 431.75/431.98 c | 2084 | 7657 2808 18495 | 8857 2084 29 | 0.013 % | 431.94/432.13 c | 3223 | 7657 2808 18495 | 9743 3223 26 | 0.013 % | 432.16/432.38 c | 4931 | 7657 2808 18495 | 10717 4931 28 | 0.013 % | 432.65/432.82 c | 7493 | 7657 2808 18495 | 11789 7493 31 | 0.013 % | 433.35/433.56 c | 11342 | 7657 2808 18495 | 12968 11342 36 | 0.013 % | 434.55/434.70 c | 17109 | 7657 2808 18495 | 14265 10507 37 | 0.013 % | 436.64/436.87 c | 25758 | 7657 2808 18495 | 15692 11947 44 | 0.013 % | 440.35/440.52 c | 38732 | 7657 2808 18495 | 17261 9037 38 | 0.013 % | 445.74/445.93 c | 58193 | 7657 2808 18495 | 18987 11038 67 | 0.013 % | 453.04/453.22 c | 87385 | 7656 2808 18495 | 20886 11569 33 | 0.026 % | 466.94/467.10 c | 131176 | 7656 2808 18495 | 22974 13167 39 | 0.026 % | 491.34/491.56 c | 196863 | 7656 2808 18495 | 25272 21015 53 | 0.026 % | 523.43/523.67 c | 295389 | 7654 2808 18495 | 27799 15988 50 | 0.052 % | 572.11/572.39 c =============================================================================== 578.61/578.82 c core #291 578.61/578.82 c Core size: 312 Core Weight: 1 Total Weight: -170 578.61/578.82 c Elapsed CPU time: 573.317 s Remaining CPU time: 1226.68 s 579.12/579.32 c ============================[ Search Statistics ]============================== 579.12/579.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 579.12/579.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 579.12/579.32 c =============================================================================== 579.12/579.32 c | 0 | 7849 2809 18879 | 5000 0 nan | 0.000 % | 579.21/579.41 c | 102 | 7849 2809 18879 | 5500 102 42 | 0.013 % | 579.21/579.43 c | 252 | 7849 2809 18879 | 6050 252 35 | 0.013 % | 579.21/579.48 c | 477 | 7849 2809 18879 | 6655 477 40 | 0.013 % | 579.31/579.51 c | 816 | 7849 2809 18879 | 7320 816 37 | 0.013 % | 579.31/579.58 c | 1326 | 7849 2809 18879 | 8052 1326 43 | 0.013 % | 579.41/579.65 c | 2086 | 7849 2809 18879 | 8857 2086 40 | 0.013 % | 579.52/579.76 c | 3225 | 7849 2809 18879 | 9743 3225 43 | 0.013 % | 579.71/579.97 c | 4934 | 7849 2809 18879 | 10717 4934 45 | 0.013 % | 580.11/580.33 c | 7501 | 7849 2809 18879 | 11789 7501 45 | 0.013 % | 580.71/580.90 c | 11345 | 7849 2809 18879 | 12968 11345 44 | 0.013 % | 581.62/581.81 c | 17111 | 7849 2809 18879 | 14265 10584 42 | 0.013 % | 583.41/583.64 c | 25761 | 7849 2809 18879 | 15692 12042 41 | 0.013 % | 586.41/586.63 c | 38736 | 7848 2809 18879 | 17261 9121 45 | 0.025 % | 591.11/591.31 c | 58200 | 7848 2809 18879 | 18987 11046 41 | 0.025 % | 599.21/599.50 c | 87392 | 7848 2809 18879 | 20886 11353 43 | 0.025 % | 614.11/614.30 c | 131181 | 7846 2809 18879 | 22974 12932 57 | 0.051 % | 637.20/637.49 c | 196866 | 7846 2809 18879 | 25272 20359 58 | 0.051 % | 667.99/668.27 c | 295392 | 7846 2809 18879 | 27799 25407 74 | 0.051 % | 725.17/725.47 c | 443181 | 7846 2809 18879 | 30579 20617 73 | 0.051 % | 815.35/815.63 c =============================================================================== 815.35/815.64 c core #292 815.35/815.64 c Core size: 12 Core Weight: 1 Total Weight: -169 815.35/815.64 c Elapsed CPU time: 808.414 s Remaining CPU time: 991.586 s 815.95/816.27 c ============================[ Search Statistics ]============================== 815.95/816.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 815.95/816.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 815.95/816.27 c =============================================================================== 815.95/816.27 c | 0 | 7858 2810 18897 | 5000 0 nan | 0.000 % | 816.06/816.39 c | 102 | 7858 2810 18897 | 5500 102 63 | 0.013 % | 816.15/816.41 c | 253 | 7858 2810 18897 | 6050 253 39 | 0.013 % | 816.15/816.43 c | 478 | 7858 2810 18897 | 6655 478 38 | 0.013 % | 816.15/816.47 c | 815 | 7858 2810 18897 | 7320 815 38 | 0.013 % | 816.25/816.55 c | 1322 | 7858 2810 18897 | 8052 1322 39 | 0.013 % | 816.35/816.63 c | 2084 | 7858 2810 18897 | 8857 2084 43 | 0.013 % | 816.45/816.77 c | 3229 | 7858 2810 18897 | 9743 3229 47 | 0.013 % | 816.75/817.02 c | 4940 | 7858 2810 18897 | 10717 4940 52 | 0.013 % | 817.06/817.34 c | 7502 | 7858 2810 18897 | 11789 7502 58 | 0.013 % | 817.65/817.91 c | 11347 | 7858 2810 18897 | 12968 11347 62 | 0.013 % | 818.85/819.15 c | 17114 | 7858 2810 18897 | 14265 10535 72 | 0.013 % | 821.25/821.51 c | 25763 | 7858 2810 18897 | 15692 11969 71 | 0.013 % | 826.14/826.42 c | 38739 | 7858 2810 18897 | 17261 9124 67 | 0.013 % | 832.95/833.29 c | 58202 | 7858 2810 18897 | 18987 11149 80 | 0.013 % | 848.54/848.85 c | 87398 | 7855 2810 18897 | 20886 11577 81 | 0.051 % | 871.24/871.58 c | 131189 | 7855 2810 18897 | 22974 13256 92 | 0.051 % | 905.63/905.99 c | 196873 | 7855 2810 18897 | 25272 21095 93 | 0.051 % | 975.10/975.44 c | 295407 | 7855 2810 18897 | 27799 16530 118 | 0.051 % | 1079.19/1079.54 c | 443204 | 7855 2810 18897 | 30579 15579 98 | 0.051 % | 1196.55/1196.95 c | 664888 | 7855 2810 18897 | 33637 22030 112 | 0.051 % | 1424.11/1424.54 c | 997414 | 7847 2810 18897 | 37001 25058 102 | 0.153 % | 1473.69/1474.12 c =============================================================================== 1501.98/1502.42 c core #293 1501.98/1502.42 c Core size: 121 Core Weight: 1 Total Weight: -168 1501.98/1502.42 c Elapsed CPU time: 1491.1 s Remaining CPU time: 308.899 s 1503.18/1503.69 c ============================[ Search Statistics ]============================== 1503.18/1503.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1503.18/1503.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1503.18/1503.69 c =============================================================================== 1503.18/1503.69 c | 0 | 7931 2811 19043 | 5000 0 nan | 0.000 % | 1503.38/1503.84 c | 103 | 7931 2811 19043 | 5500 103 49 | 0.013 % | 1503.48/1503.92 c | 257 | 7931 2811 19043 | 6050 257 38 | 0.013 % | 1503.48/1503.94 c | 482 | 7931 2811 19043 | 6655 482 41 | 0.013 % | 1503.48/1503.98 c | 824 | 7931 2811 19043 | 7320 824 46 | 0.013 % | 1503.58/1504.05 c | 1331 | 7931 2811 19043 | 8052 1331 43 | 0.013 % | 1503.67/1504.15 c | 2090 | 7931 2811 19043 | 8857 2090 46 | 0.013 % | 1503.78/1504.28 c | 3230 | 7931 2811 19043 | 9743 3230 48 | 0.013 % | 1503.97/1504.46 c | 4940 | 7931 2811 19043 | 10717 4940 43 | 0.013 % | 1504.38/1504.80 c | 7505 | 7931 2811 19043 | 11789 7505 49 | 0.013 % | 1504.98/1505.45 c | 11350 | 7931 2811 19043 | 12968 11350 49 | 0.013 % | 1506.18/1506.61 c | 17117 | 7931 2811 19043 | 14265 10570 45 | 0.013 % | 1507.87/1508.31 c | 25772 | 7929 2811 19043 | 15692 12012 46 | 0.038 % | 1512.08/1512.50 c | 38747 | 7929 2811 19043 | 17261 9040 80 | 0.038 % | 1516.47/1516.97 c | 58208 | 7929 2811 19043 | 18987 11156 43 | 0.038 % | 1531.17/1531.69 c | 87403 | 7929 2811 19043 | 20886 11375 59 | 0.038 % | 1554.46/1554.98 c | 131193 | 7929 2811 19043 | 22974 12905 69 | 0.038 % | 1588.15/1588.63 c | 196880 | 7929 2811 19043 | 25272 20281 45 | 0.038 % | 1638.85/1639.36 c | 295410 | 7929 2811 19043 | 27799 13160 55 | 0.038 % | 1749.92/1750.46 c | 443199 | 7929 2811 19043 | 30579 26785 93 | 0.038 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876250-1245162368/watcher-1876250-1245162368 -o /tmp/evaluation-result-1876250-1245162368/solver-1876250-1245162368 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876250-1245162368.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2793 /proc/meminfo: memFree=1926768/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=2572 CPUtime=0 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 215 0 0 0 0 0 0 0 18 0 1 0 183836996 2633728 199 1992294400 134512640 135709839 4294956240 18446744073709551615 135080538 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 643 199 126 292 0 339 0 [startup+0.0496469 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2793 /proc/meminfo: memFree=1926768/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=3204 CPUtime=0.04 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 393 0 0 0 4 0 0 0 18 0 1 0 183836996 3280896 368 1992294400 134512640 135709839 4294956240 18446744073709551615 134532406 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 801 368 134 292 0 506 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3204 [startup+0.101651 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2793 /proc/meminfo: memFree=1926768/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=3888 CPUtime=0.09 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 541 0 0 0 9 0 0 0 18 0 1 0 183836996 3981312 516 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 972 516 134 292 0 677 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3888 [startup+0.30167 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2793 /proc/meminfo: memFree=1926768/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=6044 CPUtime=0.29 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 1131 0 0 0 29 0 0 0 19 0 1 0 183836996 6189056 1084 1992294400 134512640 135709839 4294956240 18446744073709551615 135164512 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 1511 1084 134 292 0 1216 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6044 [startup+0.701709 s] /proc/loadavg: 0.99 0.98 0.99 3/64 2793 /proc/meminfo: memFree=1926768/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=10940 CPUtime=0.69 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 2373 0 0 0 67 2 0 0 22 0 1 0 183836996 11202560 2273 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 2735 2273 136 292 0 2440 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10940 [startup+1.50179 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1915048/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=15388 CPUtime=1.49 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 3619 0 0 0 142 7 0 0 22 0 1 0 183836996 15757312 3375 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 3847 3375 136 292 0 3552 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15388 [startup+3.10194 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1911144/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=17684 CPUtime=3.08 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 4219 0 0 0 294 14 0 0 25 0 1 0 183836996 18108416 3975 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 4421 3975 136 292 0 4126 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17684 [startup+6.30125 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1906216/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=24452 CPUtime=6.28 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 5932 0 0 0 607 21 0 0 25 0 1 0 183836996 25038848 5688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 6113 5688 136 292 0 5818 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24452 [startup+12.7019 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1892904/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=37752 CPUtime=12.68 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 9254 0 0 0 1236 32 0 0 25 0 1 0 183836996 38658048 9010 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 9438 9010 136 292 0 9143 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 37752 [startup+25.5011 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1878376/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=50720 CPUtime=25.47 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 12534 0 0 0 2497 50 0 0 25 0 1 0 183836996 51937280 12216 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 12680 12216 136 292 0 12385 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 50720 [startup+51.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1845736/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=83804 CPUtime=51.05 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 20816 0 0 0 5030 75 0 0 25 0 1 0 183836996 85815296 20498 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 20951 20498 136 292 0 20656 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 83804 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1791400/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=137080 CPUtime=102.25 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 34118 0 0 0 10107 118 0 0 25 0 1 0 183836996 140369920 33800 1992294400 134512640 135709839 4294956240 18446744073709551615 134568690 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 34270 33800 136 292 0 33975 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 137080 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1745128/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=183348 CPUtime=162.23 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 45660 0 0 0 16052 171 0 0 25 0 1 0 183836996 187748352 45342 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 45837 45342 136 292 0 45542 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 183348 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1734056/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=194212 CPUtime=222.2 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 48467 0 0 0 21997 223 0 0 25 0 1 0 183836996 198873088 48095 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 48553 48095 136 292 0 48258 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 194212 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1676008/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=252892 CPUtime=282.19 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 63124 0 0 0 27954 265 0 0 25 0 1 0 183836996 258961408 62752 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 63223 62752 136 292 0 62928 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 252892 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1625576/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=302520 CPUtime=342.17 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 75472 0 0 0 33899 318 0 0 25 0 1 0 183836996 309780480 75100 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 75630 75100 136 292 0 75335 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 302520 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1601896/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=327096 CPUtime=402.16 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 81695 0 0 0 39838 378 0 0 25 0 1 0 183836996 334946304 81323 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 81774 81324 136 292 0 81479 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 327096 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1561320/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=366376 CPUtime=462.14 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 91491 0 0 0 45785 429 0 0 25 0 1 0 183836996 375169024 91119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 91594 91119 136 292 0 91299 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 366376 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1501992/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=426620 CPUtime=522.13 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 106549 0 0 0 51732 481 0 0 25 0 1 0 183836996 436858880 106177 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 106655 106177 136 292 0 106360 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 426620 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1431592/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=495788 CPUtime=582.11 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 123831 0 0 0 57674 537 0 0 25 0 1 0 183836996 507686912 123459 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 123947 123459 136 292 0 123652 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 495788 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1426408/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=500676 CPUtime=642.1 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 125109 0 0 0 63628 582 0 0 25 0 1 0 183836996 512692224 124737 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 125169 124737 136 292 0 124874 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 500676 [startup+702.301 s] ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1182504/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=744824 CPUtime=942.02 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 186050 0 0 0 93424 778 0 0 25 0 1 0 183836996 762699776 185678 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 186206 185678 136 292 0 185911 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 744824 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1146856/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=780072 CPUtime=1002 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 194817 0 0 0 99402 798 0 0 25 0 1 0 183836996 798793728 194445 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 195018 194445 136 292 0 194723 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 780072 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1089768/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=837976 CPUtime=1061.98 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 209264 0 0 0 105361 837 0 0 25 0 1 0 183836996 858087424 208892 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 209494 208892 136 292 0 209199 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 837976 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=1023848/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=903592 CPUtime=1121.98 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 225615 0 0 0 111320 878 0 0 25 0 1 0 183836996 925278208 225243 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 225898 225243 136 292 0 225603 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 903592 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=947432/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=980344 CPUtime=1181.95 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 244788 0 0 0 117269 926 0 0 25 0 1 0 183836996 1003872256 244416 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 245086 244416 136 292 0 244791 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 980344 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=879144/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1047680 CPUtime=1241.95 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 261624 0 0 0 123231 964 0 0 25 0 1 0 183836996 1072824320 261252 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 261920 261252 136 292 0 261625 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1047680 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=820008/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1106432 CPUtime=1301.93 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 276284 0 0 0 129194 999 0 0 25 0 1 0 183836996 1132986368 275912 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 276608 275912 136 292 0 276313 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1106432 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=762920/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1163860 CPUtime=1361.91 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 290602 0 0 0 135161 1030 0 0 25 0 1 0 183836996 1191792640 290230 1992294400 134512640 135709839 4294956240 18446744073709551615 134573754 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 290965 290230 136 292 0 290670 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1163860 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=706024/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1220352 CPUtime=1421.9 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 304710 0 0 0 141128 1062 0 0 25 0 1 0 183836996 1249640448 304338 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 305088 304338 136 292 0 304793 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1220352 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2794 /proc/meminfo: memFree=644136/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1283772 CPUtime=1481.88 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 320504 0 0 0 147099 1089 0 0 25 0 1 0 183836996 1314582528 320132 1992294400 134512640 135709839 4294956240 18446744073709551615 134972081 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 320943 320132 136 292 0 320648 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1283772 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2796 /proc/meminfo: memFree=631272/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1295032 CPUtime=1541.87 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 323315 0 0 0 153065 1122 0 0 25 0 1 0 183836996 1326112768 322943 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 323758 322943 136 292 0 323463 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1295032 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2796 /proc/meminfo: memFree=631144/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1295032 CPUtime=1601.85 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 323334 0 0 0 159034 1151 0 0 25 0 1 0 183836996 1326112768 322962 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 323758 322962 136 292 0 323463 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1295032 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2796 /proc/meminfo: memFree=631016/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1295032 CPUtime=1661.84 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 323350 0 0 0 165004 1180 0 0 25 0 1 0 183836996 1326112768 322978 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 323758 322978 136 292 0 323463 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1295032 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2796 /proc/meminfo: memFree=629864/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1295032 CPUtime=1721.82 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 323647 0 0 0 170985 1197 0 0 25 0 1 0 183836996 1326112768 323275 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 323758 323275 136 292 0 323463 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1295032 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2796 /proc/meminfo: memFree=626728/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1298200 CPUtime=1781.81 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 324462 0 0 0 176960 1221 0 0 25 0 1 0 183836996 1329356800 324090 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 324550 324090 136 292 0 324255 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1298200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 2796 /proc/meminfo: memFree=612968/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=1311804 CPUtime=1800.01 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4194304 327859 0 0 0 178767 1234 0 0 25 0 1 0 183836996 1343287296 327487 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 327951 327487 136 292 0 327656 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1311804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2797 /proc/meminfo: memFree=1255008/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=0 CPUtime=1800.12 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4195332 327859 0 0 0 178767 1245 0 0 25 0 1 0 183836996 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/66 2797 /proc/meminfo: memFree=1255008/2055920 swapFree=4181652/4192956 [pid=2793] ppid=2791 vsize=0 CPUtime=1800.21 /proc/2793/stat : 2793 (wbo) R 2791 2793 2588 0 -1 4195332 327859 0 0 0 178767 1254 0 0 25 0 1 0 183836996 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/2793/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.71 CPU time (s): 1800.22 CPU user time (s): 1787.67 CPU system time (s): 12.5481 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1311804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.67 system time used= 12.5481 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 327859 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= 6 involuntary context switches= 3283 runsolver used 1.2898 second user time and 3.87241 second system time The end
Begin job on node18 at 2009-06-16 16:26:08 IDJOB=1876250 IDBENCH=2219 IDSOLVER=698 FILE ID=node18/1876250-1245162368 PBS_JOBID= 9363849 Free space on /tmp= 66172 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1876250-1245162368/watcher-1876250-1245162368 -o /tmp/evaluation-result-1876250-1245162368/solver-1876250-1245162368 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876250-1245162368.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440 RANDOM SEED=918988677 node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1927120 kB Buffers: 26952 kB Cached: 57608 kB SwapCached: 5540 kB Active: 46484 kB Inactive: 45908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927120 kB SwapTotal: 4192956 kB SwapFree: 4181652 kB Dirty: 2588 kB Writeback: 0 kB Mapped: 12940 kB Slab: 22400 kB Committed_AS: 148560 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876250-1245162368.opb Free space on /tmp at the end= 66172 MiB End job on node18 at 2009-06-16 16:56:11