Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | MSAT (TO) | 1801.89 | 1801.85 |
| Name | /PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/ normalized-j308_1-unsat--soft-66-100-0.wbo |
| MD5SUM | 4e0a136411b79a2ddcc8f753eeb43778 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 83 |
| Best CPU time to get the best result obtained on this benchmark | 0.026995 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2728 |
| Total number of constraints | 8382 |
| Number of soft constraints | 2841 |
| Number of constraints which are clauses | 8210 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 172 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 17 |
| Top cost | 145413 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 145412 |
| Biggest number in a constraint | 32 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 143 |
| Number of bits of the biggest sum of numbers | 8 |
| 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 SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693122-1277916219.wbo>
0.00/0.07 c original problem has 8410 variables (5569 bin, 0 int, 0 impl, 2841 cont) and 11224 constraints
0.00/0.07 c problem read
0.00/0.07 c presolving settings loaded
0.09/0.12 c presolving:
0.09/0.17 c (round 1) 361 del vars, 948 del conss, 210 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 86555 impls, 0 clqs
0.09/0.19 c (round 2) 981 del vars, 2871 del conss, 499 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 89562 impls, 0 clqs
0.19/0.21 c (round 3) 1993 del vars, 4524 del conss, 712 chg bounds, 9 chg sides, 9 chg coeffs, 0 upgd conss, 91162 impls, 0 clqs
0.19/0.22 c (round 4) 3177 del vars, 5862 del conss, 929 chg bounds, 27 chg sides, 31 chg coeffs, 0 upgd conss, 91686 impls, 0 clqs
0.19/0.23 c (round 5) 3964 del vars, 6667 del conss, 999 chg bounds, 54 chg sides, 56 chg coeffs, 0 upgd conss, 91838 impls, 0 clqs
0.19/0.24 c (round 6) 4550 del vars, 7057 del conss, 1028 chg bounds, 58 chg sides, 61 chg coeffs, 0 upgd conss, 91912 impls, 0 clqs
0.19/0.24 c (round 7) 4861 del vars, 7199 del conss, 1039 chg bounds, 59 chg sides, 62 chg coeffs, 0 upgd conss, 91954 impls, 0 clqs
0.19/0.24 c (round 8) 4984 del vars, 7264 del conss, 1047 chg bounds, 59 chg sides, 62 chg coeffs, 0 upgd conss, 91966 impls, 0 clqs
0.19/0.24 c (round 9) 5032 del vars, 7292 del conss, 1048 chg bounds, 59 chg sides, 62 chg coeffs, 0 upgd conss, 91978 impls, 0 clqs
0.19/0.25 c (round 10) 5049 del vars, 7296 del conss, 1048 chg bounds, 59 chg sides, 62 chg coeffs, 0 upgd conss, 91978 impls, 0 clqs
0.19/0.26 c (round 11) 5051 del vars, 7296 del conss, 2185 chg bounds, 59 chg sides, 62 chg coeffs, 0 upgd conss, 91978 impls, 0 clqs
0.19/0.28 c (round 12) 5051 del vars, 7296 del conss, 2185 chg bounds, 59 chg sides, 62 chg coeffs, 1837 upgd conss, 91978 impls, 0 clqs
0.29/0.30 c (round 13) 5051 del vars, 7298 del conss, 2185 chg bounds, 77 chg sides, 109 chg coeffs, 1837 upgd conss, 92219 impls, 13 clqs
0.29/0.32 c (round 14) 5051 del vars, 7299 del conss, 2185 chg bounds, 79 chg sides, 118 chg coeffs, 1837 upgd conss, 92219 impls, 14 clqs
0.58/0.66 c (0.6s) probing: 1000/2222 (45.0%) - 0 fixings, 0 aggregations, 3352 implications, 0 bound changes
0.58/0.69 c (0.6s) probing: 1149/2222 (51.7%) - 0 fixings, 0 aggregations, 3371 implications, 0 bound changes
0.58/0.69 c (0.6s) probing aborted: 100/100 successive totally useless probings
0.58/0.69 c presolving (15 rounds):
0.58/0.69 c 5051 deleted vars, 7299 deleted constraints, 2185 tightened bounds, 0 added holes, 79 changed sides, 119 changed coefficients
0.58/0.69 c 103590 implications, 14 cliques
0.58/0.69 c presolved problem has 3359 variables (2222 bin, 0 int, 0 impl, 1137 cont) and 3937 constraints
0.58/0.69 c 1137 constraints of type <indicator>
0.58/0.69 c 183 constraints of type <varbound>
0.58/0.69 c 104 constraints of type <knapsack>
0.58/0.69 c 11 constraints of type <setppc>
0.58/0.69 c 954 constraints of type <linear>
0.58/0.69 c 1548 constraints of type <logicor>
0.58/0.69 c transformed objective value is always integral (scale: 1)
0.58/0.69 c Presolving Time: 0.56
0.58/0.69 c - non default parameters ----------------------------------------------------------------------
0.58/0.69 c # SCIP version 1.2.1.2
0.58/0.69 c
0.58/0.69 c # frequency for displaying node information lines
0.58/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.58/0.69 c display/freq = 10000
0.58/0.69 c
0.58/0.69 c # maximal time in seconds to run
0.58/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.69 c limits/time = 1799.94
0.58/0.69 c
0.58/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.58/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.58/0.69 c limits/memory = 3420
0.58/0.69 c
0.58/0.69 c # should presolving try to simplify inequalities
0.58/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.69 c constraints/linear/simplifyinequalities = TRUE
0.58/0.69 c
0.58/0.69 c # should presolving try to simplify knapsacks
0.58/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.58/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.58/0.69 c
0.58/0.69 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.58/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.58/0.69 c separating/rapidlearning/freq = 0
0.58/0.69 c
0.58/0.69 c -----------------------------------------------------------------------------------------------
0.58/0.69 c start solving
0.58/0.69 c
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c 0.6s| 1 | 0 | 24 | - | 27M| 0 | 20 |3359 |3937 |3359 |1663 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.69/0.77 c 0.7s| 1 | 0 | 230 | - | 27M| 0 | 1 |3359 |3937 |3359 |1862 | 199 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.7s| 1 | 0 | 251 | - | 27M| 0 | 0 |3359 |3937 |3359 |1884 | 221 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.7s| 1 | 0 | 252 | - | 27M| 0 | 0 |3359 |3937 |3359 |1885 | 222 | 0 | 0 | 0.000000e+00 | -- | Inf
0.79/0.82 c 0.7s| 1 | 2 | 252 | - | 27M| 0 | 0 |3359 |3937 |3359 |1885 | 222 | 0 | 0 | 0.000000e+00 | -- | Inf
19.80/19.89 c 19.4s| 10000 | 10001 | 5407 | 0.5 | 47M| 203 | 0 |3359 |3937 |3359 |1943 |2331 | 0 | 359 | 5.500000e+01 | -- | Inf
39.19/39.22 c 38.4s| 20000 | 20001 | 11357 | 0.6 | 66M| 203 | 0 |3359 |3937 |3359 |1950 |4768 | 0 | 706 | 5.500000e+01 | -- | Inf
58.30/58.31 c 57.2s| 30000 | 30001 | 17401 | 0.6 | 85M| 203 | 0 |3359 |3937 |3359 |1951 |7347 | 0 | 907 | 5.500000e+01 | -- | Inf
77.29/77.38 c 75.9s| 40000 | 40001 | 23583 | 0.6 | 104M| 203 | 0 |3359 |3937 |3359 |1950 | 10k| 0 |1102 | 5.500000e+01 | -- | Inf
95.59/95.62 c 93.9s| 50000 | 50001 | 28299 | 0.6 | 123M| 203 | 0 |3359 |3937 |3359 |1912 | 11k| 0 |1169 | 5.500000e+01 | -- | Inf
113.99/114.02 c 112s| 60000 | 60001 | 32848 | 0.5 | 142M| 203 | 0 |3359 |3937 |3359 |1924 | 13k| 0 |1309 | 5.500000e+01 | -- | Inf
132.39/132.42 c 130s| 70000 | 70001 | 37395 | 0.5 | 161M| 203 | 0 |3359 |3937 |3359 |1932 | 15k| 0 |1430 | 5.500000e+01 | -- | Inf
150.70/150.78 c 148s| 80000 | 80001 | 42003 | 0.5 | 180M| 203 | 0 |3359 |3937 |3359 |1931 | 17k| 0 |1562 | 5.500000e+01 | -- | Inf
168.70/168.79 c 166s| 90000 | 90001 | 46197 | 0.5 | 199M| 203 | 0 |3359 |3937 |3359 |1957 | 19k| 0 |1599 | 5.500000e+01 | -- | Inf
185.90/185.95 c 183s|100000 |100001 | 49081 | 0.5 | 218M| 203 | 0 |3359 |3937 |3359 |1946 | 20k| 0 |1605 | 5.500000e+01 | -- | Inf
203.60/203.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
203.60/203.61 c 200s|110000 |110001 | 52386 | 0.5 | 237M| 203 | 0 |3359 |3937 |3359 |1938 | 22k| 0 |1631 | 5.500000e+01 | -- | Inf
221.69/221.78 c 218s|120000 |120001 | 55304 | 0.5 | 255M| 203 | 0 |3359 |3937 |3359 |1937 | 23k| 0 |1763 | 5.500000e+01 | -- | Inf
239.39/239.45 c 235s|130000 |130001 | 57918 | 0.4 | 274M| 203 | 0 |3359 |3937 |3359 |1932 | 24k| 0 |1763 | 5.500000e+01 | -- | Inf
257.40/257.45 c 252s|140000 |140001 | 60947 | 0.4 | 293M| 203 | 0 |3359 |3937 |3359 |1948 | 26k| 0 |1769 | 5.500000e+01 | -- | Inf
275.10/275.13 c 269s|150000 |150001 | 63679 | 0.4 | 312M| 203 | 0 |3359 |3937 |3359 |1923 | 27k| 0 |1787 | 5.500000e+01 | -- | Inf
293.19/293.23 c 286s|160000 |160001 | 67123 | 0.4 | 331M| 203 | 0 |3359 |3937 |3359 |1960 | 29k| 0 |1956 | 5.500000e+01 | -- | Inf
311.09/311.13 c 303s|170000 |170001 | 70003 | 0.4 | 350M| 203 | 0 |3359 |3937 |3359 |1944 | 30k| 0 |1984 | 5.500000e+01 | -- | Inf
329.00/329.03 c 320s|180000 |180001 | 72841 | 0.4 | 369M| 203 | 0 |3359 |3937 |3359 |1950 | 31k| 0 |2033 | 5.500000e+01 | -- | Inf
346.89/346.95 c 338s|190000 |190001 | 75734 | 0.4 | 388M| 203 | 0 |3359 |3937 |3359 |1952 | 33k| 0 |2137 | 5.500000e+01 | -- | Inf
364.89/364.97 c 355s|200000 |200001 | 78763 | 0.4 | 407M| 203 | 0 |3359 |3937 |3359 |1946 | 34k| 0 |2231 | 5.500000e+01 | -- | Inf
383.09/383.10 c 372s|210000 |210001 | 82231 | 0.4 | 425M| 203 | 0 |3359 |3937 |3359 |1935 | 36k| 0 |2265 | 5.500000e+01 | -- | Inf
401.09/401.11 c 390s|220000 |220001 | 85544 | 0.4 | 444M| 203 | 0 |3359 |3937 |3359 |1949 | 37k| 0 |2341 | 5.500000e+01 | -- | Inf
413.89/413.96 o 49901
413.89/413.96 c y 402s|227339 |227338 | 87538 | 0.4 | 458M| 203 | - |3359 |3937 | 0 | 0 | 38k| 0 |2342 | 5.500000e+01 | 4.990100e+04 | Large
418.30/418.39 o 49759
418.30/418.39 c y 406s|229867 |229866 | 88099 | 0.4 | 463M| 203 | - |3359 |3937 | 0 | 0 | 39k| 0 |2342 | 5.500000e+01 | 4.975900e+04 | Large
418.60/418.64 c 406s|230000 |230001 | 88137 | 0.4 | 463M| 203 | 0 |3359 |3937 |3359 |1917 | 39k| 0 |2342 | 5.500000e+01 | 4.975900e+04 | Large
436.80/436.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
436.80/436.81 c 424s|240000 |240001 | 91075 | 0.4 | 482M| 203 | 0 |3359 |3937 |3359 |1936 | 40k| 0 |2595 | 5.500000e+01 | 4.975900e+04 | Large
454.49/454.56 c 441s|250000 |250001 | 93941 | 0.4 | 501M| 203 | 0 |3359 |3937 |3359 |1950 | 41k| 0 |2635 | 5.500000e+01 | 4.975900e+04 | Large
472.39/472.42 c 458s|260000 |260001 | 96542 | 0.4 | 520M| 203 | 0 |3359 |3937 |3359 |1955 | 43k| 0 |2635 | 5.500000e+01 | 4.975900e+04 | Large
490.09/490.16 c 475s|270000 |270001 | 99062 | 0.4 | 539M| 203 | 0 |3359 |3937 |3359 |1945 | 44k| 0 |2671 | 5.500000e+01 | 4.975900e+04 | Large
507.70/507.74 c 492s|280000 |280001 |101671 | 0.4 | 559M| 203 | 0 |3359 |3937 |3359 |1918 | 45k| 0 |2723 | 5.500000e+01 | 4.975900e+04 | Large
525.40/525.47 c 509s|290000 |290001 |104266 | 0.4 | 578M| 203 | 0 |3359 |3937 |3359 |1935 | 46k| 0 |2745 | 5.500000e+01 | 4.975900e+04 | Large
543.00/543.08 c 526s|300000 |300001 |106908 | 0.4 | 596M| 203 | 0 |3359 |3937 |3359 |1937 | 47k| 0 |2780 | 5.500000e+01 | 4.975900e+04 | Large
560.50/560.50 c 542s|310000 |310001 |109308 | 0.4 | 615M| 203 | 0 |3359 |3937 |3359 |1949 | 48k| 0 |2800 | 5.500000e+01 | 4.975900e+04 | Large
578.00/578.07 c 559s|320000 |320001 |111955 | 0.3 | 634M| 203 | 0 |3359 |3937 |3359 |1948 | 49k| 0 |2842 | 5.500000e+01 | 4.975900e+04 | Large
595.80/595.83 c 576s|330000 |330001 |115212 | 0.3 | 653M| 203 | 0 |3359 |3937 |3359 |1951 | 51k| 0 |2897 | 5.500000e+01 | 4.975900e+04 | Large
613.50/613.53 c 593s|340000 |340001 |118275 | 0.3 | 672M| 203 | 0 |3359 |3937 |3359 |1945 | 52k| 0 |2902 | 5.500000e+01 | 4.975900e+04 | Large
631.20/631.20 c 610s|350000 |350001 |121393 | 0.3 | 690M| 203 | 0 |3359 |3937 |3359 |1949 | 53k| 0 |2956 | 5.500000e+01 | 4.975900e+04 | Large
648.80/648.88 c 627s|360000 |360001 |124585 | 0.3 | 709M| 203 | 0 |3359 |3937 |3359 |1954 | 54k| 0 |2973 | 5.500000e+01 | 4.975900e+04 | Large
666.40/666.41 c 644s|370000 |370001 |127516 | 0.3 | 728M| 203 | 0 |3359 |3937 |3359 |1960 | 55k| 0 |2994 | 5.500000e+01 | 4.975900e+04 | Large
684.00/684.05 c 661s|380000 |380001 |130580 | 0.3 | 747M| 203 | 0 |3359 |3937 |3359 |1959 | 56k| 0 |3028 | 5.500000e+01 | 4.975900e+04 | Large
701.70/701.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
701.70/701.78 c 678s|390000 |390001 |133738 | 0.3 | 765M| 203 | 0 |3359 |3937 |3359 |1938 | 58k| 0 |3060 | 5.500000e+01 | 4.975900e+04 | Large
719.30/719.35 c 694s|400000 |400001 |136825 | 0.3 | 784M| 203 | 0 |3359 |3937 |3359 |1949 | 59k| 0 |3098 | 5.500000e+01 | 4.975900e+04 | Large
736.90/736.95 c 711s|410000 |410001 |139983 | 0.3 | 803M| 203 | 0 |3359 |3937 |3359 |1918 | 60k| 0 |3130 | 5.500000e+01 | 4.975900e+04 | Large
755.10/755.17 c 729s|420000 |420001 |144346 | 0.3 | 822M| 203 | 0 |3359 |3937 |3359 |1910 | 62k| 0 |3250 | 5.500000e+01 | 4.975900e+04 | Large
773.10/773.13 c 746s|430000 |430001 |148182 | 0.3 | 841M| 203 | 0 |3359 |3937 |3359 |1956 | 63k| 0 |3320 | 5.500000e+01 | 4.975900e+04 | Large
791.30/791.39 c 763s|440000 |440001 |152281 | 0.3 | 860M| 203 | 0 |3359 |3937 |3359 |1926 | 64k| 0 |3344 | 5.500000e+01 | 4.975900e+04 | Large
809.50/809.53 c 781s|450000 |450001 |155808 | 0.3 | 878M| 203 | 0 |3359 |3937 |3359 |1892 | 66k| 0 |3380 | 5.500000e+01 | 4.975900e+04 | Large
827.21/827.26 c 798s|460000 |460001 |159021 | 0.3 | 897M| 203 | 0 |3359 |3937 |3359 |1886 | 67k| 0 |3387 | 5.500000e+01 | 4.975900e+04 | Large
844.81/844.87 c 815s|470000 |470001 |161958 | 0.3 | 916M| 203 | 0 |3359 |3937 |3359 |1968 | 68k| 0 |3513 | 5.500000e+01 | 4.975900e+04 | Large
862.61/862.60 c 832s|480000 |480001 |165611 | 0.3 | 935M| 203 | 0 |3359 |3937 |3359 |1941 | 69k| 0 |3549 | 5.500000e+01 | 4.975900e+04 | Large
880.20/880.23 c 848s|490000 |490001 |168924 | 0.3 | 954M| 203 | 0 |3359 |3937 |3359 |1950 | 71k| 0 |3690 | 5.500000e+01 | 4.975900e+04 | Large
897.50/897.53 c 865s|500000 |500001 |171872 | 0.3 | 972M| 203 | 0 |3359 |3937 |3359 |1931 | 72k| 0 |3732 | 5.500000e+01 | 4.975900e+04 | Large
914.61/914.63 c 881s|510000 |510001 |174692 | 0.3 | 991M| 203 | 0 |3359 |3937 |3359 |1934 | 73k| 0 |3743 | 5.500000e+01 | 4.975900e+04 | Large
931.21/931.28 c 897s|520000 |520001 |177004 | 0.3 |1010M| 203 | 0 |3359 |3937 |3359 |1945 | 73k| 0 |3751 | 5.500000e+01 | 4.975900e+04 | Large
948.10/948.19 c 914s|530000 |530001 |179772 | 0.3 |1028M| 203 | 0 |3359 |3937 |3359 |1965 | 74k| 0 |3797 | 5.500000e+01 | 4.975900e+04 | Large
965.61/965.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
965.61/965.60 c 930s|540000 |540001 |182826 | 0.3 |1047M| 203 | 0 |3359 |3937 |3359 |1961 | 75k| 0 |3852 | 5.500000e+01 | 4.975900e+04 | Large
983.01/983.08 c 947s|550000 |550001 |185832 | 0.3 |1066M| 203 | 0 |3359 |3937 |3359 |1976 | 77k| 0 |3885 | 5.500000e+01 | 4.975900e+04 | Large
1000.60/1000.62 c 964s|560000 |560001 |189182 | 0.3 |1085M| 203 | 0 |3359 |3937 |3359 |1974 | 78k| 0 |3975 | 5.500000e+01 | 4.975900e+04 | Large
1018.11/1018.11 c 981s|570000 |570001 |192812 | 0.3 |1103M| 203 | 0 |3359 |3937 |3359 |1923 | 79k| 0 |4028 | 5.500000e+01 | 4.975900e+04 | Large
1035.61/1035.65 c 998s|580000 |580001 |196119 | 0.3 |1122M| 203 | 0 |3359 |3937 |3359 |1905 | 80k| 0 |4042 | 5.500000e+01 | 4.975900e+04 | Large
1054.01/1054.03 c 1015s|590000 |590001 |200386 | 0.3 |1141M| 203 | 0 |3359 |3937 |3359 |1965 | 82k| 0 |4087 | 5.500000e+01 | 4.975900e+04 | Large
1071.61/1071.63 c 1032s|600000 |600001 |204181 | 0.3 |1160M| 203 | 0 |3359 |3937 |3359 |1938 | 83k| 0 |4169 | 5.500000e+01 | 4.975900e+04 | Large
1089.31/1089.31 c 1049s|610000 |610001 |208190 | 0.3 |1178M| 203 | 0 |3359 |3937 |3359 |1961 | 85k| 0 |4326 | 5.500000e+01 | 4.975900e+04 | Large
1106.21/1106.20 c 1065s|620000 |620001 |210463 | 0.3 |1197M| 203 | 0 |3359 |3937 |3359 |1968 | 86k| 0 |4326 | 5.500000e+01 | 4.975900e+04 | Large
1122.81/1122.86 c 1081s|630000 |630001 |212478 | 0.3 |1216M| 203 | 0 |3359 |3937 |3359 |1952 | 86k| 0 |4326 | 5.500000e+01 | 4.975900e+04 | Large
1139.72/1139.72 c 1097s|640000 |640001 |214460 | 0.3 |1234M| 203 | 0 |3359 |3937 |3359 |1964 | 87k| 0 |4326 | 5.500000e+01 | 4.975900e+04 | Large
1156.71/1156.77 c 1114s|650000 |650001 |216813 | 0.3 |1253M| 203 | 0 |3359 |3937 |3359 |1974 | 88k| 0 |4330 | 5.500000e+01 | 4.975900e+04 | Large
1173.91/1173.97 c 1130s|660000 |660001 |219245 | 0.3 |1273M| 203 | 0 |3359 |3937 |3359 |1922 | 89k| 0 |4344 | 5.500000e+01 | 4.975900e+04 | Large
1190.81/1190.86 c 1146s|670000 |670001 |221386 | 0.3 |1291M| 203 | 0 |3359 |3937 |3359 |1987 | 90k| 0 |4361 | 5.500000e+01 | 4.975900e+04 | Large
1207.82/1207.82 c 1163s|680000 |680001 |223462 | 0.3 |1310M| 203 | 0 |3359 |3937 |3359 |1948 | 91k| 0 |4368 | 5.500000e+01 | 4.975900e+04 | Large
1224.61/1224.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1224.61/1224.65 c 1179s|690000 |690001 |225567 | 0.3 |1328M| 203 | 0 |3359 |3937 |3359 |1930 | 92k| 0 |4370 | 5.500000e+01 | 4.975900e+04 | Large
1241.62/1241.62 c 1195s|700000 |700001 |227604 | 0.3 |1347M| 203 | 0 |3359 |3937 |3359 |1942 | 93k| 0 |4375 | 5.500000e+01 | 4.975900e+04 | Large
1258.12/1258.15 c 1211s|710000 |710001 |229411 | 0.3 |1366M| 203 | 0 |3359 |3937 |3359 |1926 | 93k| 0 |4375 | 5.500000e+01 | 4.975900e+04 | Large
1275.22/1275.27 c 1228s|720000 |720001 |231706 | 0.3 |1384M| 203 | 0 |3359 |3937 |3359 |1971 | 94k| 0 |4435 | 5.500000e+01 | 4.975900e+04 | Large
1286.51/1286.53 o 49649
1286.51/1286.53 c y1238s|726667 |726666 |232985 | 0.3 |1397M| 203 | - |3359 |3937 | 0 | 0 | 95k| 0 |4435 | 5.500000e+01 | 4.964900e+04 | Large
1292.31/1292.38 c 1244s|730000 |730001 |233952 | 0.3 |1406M| 203 | 0 |3359 |3937 |3359 |1939 | 95k| 0 |4460 | 5.500000e+01 | 4.964900e+04 | Large
1309.02/1309.10 c 1260s|740000 |740001 |235956 | 0.3 |1424M| 203 | 0 |3359 |3937 |3359 |1946 | 96k| 0 |4463 | 5.500000e+01 | 4.964900e+04 | Large
1325.91/1325.98 c 1276s|750000 |750001 |238239 | 0.3 |1444M| 203 | 0 |3359 |3937 |3359 |1963 | 97k| 0 |4472 | 5.500000e+01 | 4.964900e+04 | Large
1342.82/1342.86 c 1292s|760000 |760001 |240304 | 0.3 |1462M| 203 | 0 |3359 |3937 |3359 |1949 | 98k| 0 |4475 | 5.500000e+01 | 4.964900e+04 | Large
1359.72/1359.74 c 1309s|770000 |770001 |242366 | 0.3 |1481M| 203 | 0 |3359 |3937 |3359 |1945 | 98k| 0 |4482 | 5.500000e+01 | 4.964900e+04 | Large
1376.71/1376.72 c 1325s|780000 |780001 |244564 | 0.3 |1500M| 203 | 0 |3359 |3937 |3359 |1943 | 99k| 0 |4502 | 5.500000e+01 | 4.964900e+04 | Large
1393.62/1393.67 c 1341s|790000 |790001 |246821 | 0.3 |1519M| 203 | 0 |3359 |3937 |3359 |1972 | 100k| 0 |4512 | 5.500000e+01 | 4.964900e+04 | Large
1410.62/1410.63 c 1357s|800000 |800001 |248935 | 0.3 |1538M| 203 | 0 |3359 |3937 |3359 |1954 | 101k| 0 |4514 | 5.500000e+01 | 4.964900e+04 | Large
1427.52/1427.50 c 1374s|810000 |810001 |251172 | 0.3 |1557M| 203 | 0 |3359 |3937 |3359 |1949 | 102k| 0 |4523 | 5.500000e+01 | 4.964900e+04 | Large
1444.22/1444.28 c 1390s|820000 |820001 |253390 | 0.3 |1576M| 203 | 0 |3359 |3937 |3359 |1959 | 102k| 0 |4523 | 5.500000e+01 | 4.964900e+04 | Large
1461.22/1461.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1461.22/1461.26 c 1406s|830000 |830001 |255717 | 0.3 |1596M| 203 | 0 |3359 |3937 |3359 |1953 | 103k| 0 |4532 | 5.500000e+01 | 4.964900e+04 | Large
1478.31/1478.32 c 1422s|840000 |840001 |258197 | 0.3 |1615M| 203 | 0 |3359 |3937 |3359 |1937 | 104k| 0 |4544 | 5.500000e+01 | 4.964900e+04 | Large
1495.02/1495.03 c 1438s|850000 |850001 |260330 | 0.3 |1634M| 203 | 0 |3359 |3937 |3359 |1943 | 105k| 0 |4568 | 5.500000e+01 | 4.964900e+04 | Large
1511.62/1511.64 c 1454s|860000 |860001 |262411 | 0.3 |1653M| 203 | 0 |3359 |3937 |3359 |1946 | 106k| 0 |4596 | 5.500000e+01 | 4.964900e+04 | Large
1528.22/1528.27 c 1470s|870000 |870001 |264566 | 0.3 |1671M| 203 | 0 |3359 |3937 |3359 |1930 | 107k| 0 |4634 | 5.500000e+01 | 4.964900e+04 | Large
1544.82/1544.89 c 1486s|880000 |880001 |266607 | 0.3 |1690M| 203 | 0 |3359 |3937 |3359 |1947 | 107k| 0 |4635 | 5.500000e+01 | 4.964900e+04 | Large
1561.42/1561.46 c 1502s|890000 |890001 |268669 | 0.3 |1709M| 203 | 0 |3359 |3937 |3359 |1943 | 108k| 0 |4647 | 5.500000e+01 | 4.964900e+04 | Large
1577.92/1577.97 c 1518s|900000 |900001 |270632 | 0.3 |1728M| 203 | 0 |3359 |3937 |3359 |1942 | 109k| 0 |4647 | 5.500000e+01 | 4.964900e+04 | Large
1594.62/1594.66 c 1534s|910000 |910001 |272619 | 0.3 |1746M| 203 | 0 |3359 |3937 |3359 |1960 | 109k| 0 |4647 | 5.500000e+01 | 4.964900e+04 | Large
1611.02/1611.08 c 1550s|920000 |920001 |274275 | 0.3 |1765M| 203 | 0 |3359 |3937 |3359 |1974 | 110k| 0 |4647 | 5.500000e+01 | 4.964900e+04 | Large
1627.82/1627.88 c 1566s|930000 |930001 |276287 | 0.3 |1784M| 203 | 0 |3359 |3937 |3359 |1961 | 111k| 0 |4659 | 5.500000e+01 | 4.964900e+04 | Large
1644.53/1644.59 c 1582s|940000 |940001 |278092 | 0.3 |1802M| 203 | 0 |3359 |3937 |3359 |1947 | 111k| 0 |4659 | 5.500000e+01 | 4.964900e+04 | Large
1661.63/1661.64 c 1598s|950000 |950001 |280352 | 0.3 |1821M| 203 | 0 |3359 |3937 |3359 |1929 | 112k| 0 |4675 | 5.500000e+01 | 4.964900e+04 | Large
1678.52/1678.56 c 1614s|960000 |960001 |282533 | 0.3 |1840M| 203 | 0 |3359 |3937 |3359 |1959 | 113k| 0 |4683 | 5.500000e+01 | 4.964900e+04 | Large
1695.62/1695.61 c 1631s|970000 |970001 |284823 | 0.3 |1859M| 203 | 0 |3359 |3937 |3359 |1926 | 114k| 0 |4701 | 5.500000e+01 | 4.964900e+04 | Large
1712.62/1712.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1712.62/1712.68 c 1647s|980000 |980001 |287476 | 0.3 |1877M| 203 | 0 |3359 |3937 |3359 |1956 | 115k| 0 |4733 | 5.500000e+01 | 4.964900e+04 | Large
1729.33/1729.32 c 1663s|990000 |990001 |289688 | 0.3 |1896M| 203 | 0 |3359 |3937 |3359 |1956 | 116k| 0 |4744 | 5.500000e+01 | 4.964900e+04 | Large
1746.03/1746.05 c 1679s| 1000k| 1000k|291959 | 0.3 |1914M| 203 | 0 |3359 |3937 |3359 |1948 | 117k| 0 |4744 | 5.500000e+01 | 4.964900e+04 | Large
1762.93/1762.94 c 1695s| 1010k| 1010k|294319 | 0.3 |1933M| 203 | 0 |3359 |3937 |3359 |1944 | 118k| 0 |4772 | 5.500000e+01 | 4.964900e+04 | Large
1779.53/1779.53 c 1711s| 1020k| 1020k|296339 | 0.3 |1952M| 203 | 0 |3359 |3937 |3359 |1968 | 118k| 0 |4772 | 5.500000e+01 | 4.964900e+04 | Large
1795.93/1795.96 c 1727s| 1030k| 1030k|298016 | 0.3 |1970M| 203 | 0 |3359 |3937 |3359 |1941 | 119k| 0 |4781 | 5.500000e+01 | 4.964900e+04 | Large
1800.03/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.03/1800.00 c
1800.03/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.03/1800.00 c Solving Time (sec) : 1730.96
1800.03/1800.00 c Solving Nodes : 1032416
1800.03/1800.00 c Primal Bound : +4.96490000000000e+04 (152 solutions)
1800.03/1800.00 c Dual Bound : +5.50000000000000e+01
1800.03/1800.00 c Gap : 90170.91 %
1800.13/1800.14 s SATISFIABLE
1800.13/1800.14 v x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710
1800.13/1800.14 v -x2709 -x2708 -x2707 -x2706 -x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692
1800.13/1800.14 v -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 x2683 -x2682 x2681 x2680 x2679 x2678 x2677 x2676 x2675 x2674 -x2673
1800.13/1800.14 v -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 -x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655
1800.13/1800.14 v -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 -x2639 -x2638
1800.13/1800.14 v -x2637 -x2636 -x2635 x2634 -x2633 -x2632 x2631 x2630 -x2629 -x2628 x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619
1800.13/1800.14 v -x2618 -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601
1800.13/1800.14 v -x2600 -x2599 -x2598 -x2597 -x2596 -x2595 -x2594 x2593 x2592 x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583
1800.13/1800.14 v -x2582 -x2581 -x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565
1800.13/1800.14 v -x2564 -x2563 -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547
1800.13/1800.14 v x2546 -x2545 x2544 x2543 x2542 x2541 x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529
1800.13/1800.14 v -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511
1800.13/1800.14 v -x2510 -x2509 -x2508 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493
1800.13/1800.14 v -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475
1800.13/1800.14 v -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457
1800.13/1800.14 v -x2456 -x2455 -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439
1800.13/1800.14 v -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421
1800.13/1800.14 v -x2420 -x2419 -x2418 -x2417 -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 x2409 x2408 x2407 x2406 x2405 -x2404 -x2403
1800.13/1800.14 v x2402 x2401 -x2400 -x2399 -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385
1800.13/1800.14 v -x2384 -x2383 -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367
1800.13/1800.14 v -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 x2354 x2353 -x2352 -x2351 -x2350 -x2349
1800.13/1800.14 v -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331
1800.13/1800.14 v -x2330 -x2329 -x2328 -x2327 -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 x2318 x2317 x2316 x2315 -x2314 -x2313 -x2312
1800.13/1800.14 v -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 x2304 -x2303 x2302 x2301 x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294
1800.13/1800.14 v -x2293 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 x2277 x2276
1800.13/1800.14 v -x2275 x2274 x2273 x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257
1800.13/1800.14 v -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240
1800.13/1800.14 v -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 x2224 -x2223 x2222 x2221
1800.13/1800.14 v x2220 x2219 x2218 x2217 x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203
1800.13/1800.14 v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187 -x2186 -x2185
1800.13/1800.14 v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 x2176 -x2175 x2174 x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166
1800.13/1800.14 v -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149
1800.13/1800.14 v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 x2137 x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130
1800.13/1800.14 v -x2129 x2128 x2127 x2126 -x2125 x2124 x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112
1800.13/1800.14 v -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 x2099 -x2098 -x2097 -x2096 -x2095 -x2094
1800.13/1800.14 v -x2093 x2092 x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076
1800.13/1800.14 v -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058
1800.13/1800.14 v -x2057 -x2056 -x2055 -x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040
1800.13/1800.14 v -x2039 -x2038 -x2037 -x2036 -x2035 x2034 -x2033 -x2032 -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022
1800.13/1800.14 v -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 x2011 -x2010 x2009 x2008 x2007 x2006 -x2005 -x2004 -x2003
1800.13/1800.14 v -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985
1800.13/1800.14 v -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968
1800.13/1800.14 v x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952 -x1951 -x1950
1800.13/1800.14 v x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932
1800.13/1800.14 v -x1931 -x1930 -x1929 -x1928 -x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 x1918 -x1917 x1916 x1915 -x1914 -x1913
1800.13/1800.14 v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 x1899 x1898 x1897 -x1896 -x1895
1800.13/1800.14 v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 -x1877
1800.13/1800.14 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
1800.13/1800.14 v x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
1800.13/1800.14 v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 x1831 x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 -x1823
1800.13/1800.14 v -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
1800.13/1800.14 v -x1804 -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
1800.13/1800.14 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
1800.13/1800.14 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
1800.13/1800.14 v -x1750 -x1749 -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 x1737 x1736 x1735 x1734 x1733
1800.13/1800.14 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715
1800.13/1800.14 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
1800.13/1800.14 v -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 x1690 x1689 x1688 x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
1800.13/1800.14 v -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 -x1663 -x1662 -x1661
1800.13/1800.14 v -x1660 -x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652 -x1651 x1650 x1649 -x1648 x1647 x1646 x1645 -x1644 -x1643 -x1642
1800.13/1800.14 v -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625 -x1624
1800.13/1800.14 v -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 -x1607 -x1606
1800.13/1800.14 v -x1605 -x1604 -x1603 -x1602 -x1601 x1600 x1599 -x1598 x1597 x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588
1800.13/1800.14 v -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
1800.13/1800.14 v -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
1800.13/1800.14 v -x1551 -x1550 x1549 x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534
1800.13/1800.14 v -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516
1800.13/1800.14 v -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498
1800.13/1800.14 v x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480
1800.13/1800.14 v -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462
1800.13/1800.14 v -x1461 -x1460 x1459 x1458 x1457 -x1456 x1455 x1454 x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444
1800.13/1800.14 v -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426
1800.13/1800.14 v -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 x1417 x1416 x1415 x1414 x1413 x1412 x1411 x1410 x1409 -x1408 -x1407
1800.13/1800.14 v -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389
1800.13/1800.14 v -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 x1375 x1374 x1373 -x1372 x1371 -x1370
1800.13/1800.14 v -x1369 -x1368 -x1367 x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352
1800.13/1800.14 v -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334
1800.13/1800.14 v -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 x1320 x1319 x1318 x1317 x1316
1800.13/1800.14 v x1315 x1314 x1313 x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
1800.13/1800.14 v -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279
1800.13/1800.14 v -x1278 x1277 x1276 x1275 x1274 x1273 x1272 x1271 x1270 x1269 x1268 x1267 -x1266 -x1265 x1264 -x1263 -x1262 -x1261 -x1260
1800.13/1800.14 v -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242
1800.13/1800.14 v -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 x1233 x1232 x1231 x1230 x1229 x1228 -x1227 -x1226 -x1225 -x1224 -x1223
1800.13/1800.14 v -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
1800.13/1800.14 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 x1189 -x1188 -x1187
1800.13/1800.14 v -x1186 x1185 x1184 x1183 x1182 x1181 x1180 x1179 x1178 x1177 x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168
1800.13/1800.14 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150
1800.13/1800.14 v -x1149 -x1148 -x1147 -x1146 x1145 x1144 x1143 x1142 x1141 x1140 x1139 x1138 x1137 x1136 x1135 x1134 x1133 -x1132 -x1131 -x1130
1800.13/1800.14 v -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113
1800.13/1800.14 v -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 x1097 x1096 x1095 x1094
1800.13/1800.14 v x1093 x1092 x1091 x1090 x1089 x1088 x1087 x1086 x1085 x1084 x1083 x1082 x1081 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074
1800.13/1800.14 v -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 x1057 x1056
1800.13/1800.14 v x1055 x1054 x1053 x1052 x1051 x1050 x1049 x1048 x1047 x1046 x1045 x1044 x1043 x1042 x1041 x1040 x1039 x1038 -x1037 -x1036
1800.13/1800.14 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1800.13/1800.14 v -x1017 -x1016 -x1015 -x1014 x1013 x1012 x1011 x1010 x1009 x1008 x1007 x1006 x1005 x1004 x1003 x1002 x1001 x1000 x999 x998 x997
1800.13/1800.14 v x996 x995 x994 x993 x992 x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975
1800.13/1800.15 v -x974 -x973 -x972 -x971 -x970 x969 x968 x967 x966 x965 x964 x963 x962 x961 x960 x959 x958 x957 x956 x955 x954 x953 x952 -x951
1800.13/1800.15 v -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 x941 x940 x939 x938 x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930
1800.13/1800.15 v -x929 -x928 -x927 -x926 x925 -x924 -x923 x922 x921 x920 x919 x918 x917 x916 x915 x914 x913 x912 x911 x910 x909 -x908 -x907 -x906
1800.13/1800.15 v -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885
1800.13/1800.15 v -x884 -x883 -x882 x881 x880 x879 x878 x877 x876 x875 x874 x873 x872 x871 x870 x869 x868 x867 x866 x865 x864 x863 x862 x861
1800.13/1800.15 v -x860 x859 x858 x857 x856 x855 x854 x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
1800.13/1800.15 v -x838 x837 x836 -x835 -x834 x833 x832 x831 x830 x829 x828 x827 x826 x825 x824 x823 x822 x821 x820 x819 x818 x817 x816 x815
1800.13/1800.15 v x814 x813 x812 x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 x793
1800.13/1800.15 v x792 x791 x790 x789 x788 x787 x786 x785 x784 x783 x782 x781 x780 x779 x778 x777 x776 x775 x774 x773 x772 x771 x770 -x769 -x768
1800.13/1800.15 v -x767 x766 x765 x764 x763 x762 x761 x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 x748 x747 x746
1800.13/1800.15 v x745 x744 x743 x742 x741 x740 x739 x738 x737 x736 x735 x734 x733 x732 x731 x730 x729 x728 -x727 -x726 -x725 -x724 -x723 -x722
1800.13/1800.15 v -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 x704 x703 -x702 -x701 -x700
1800.13/1800.15 v x699 x698 x697 x696 x695 x694 x693 x692 x691 x690 x689 x688 x687 x686 x685 x684 x683 x682 x681 x680 x679 x678 x677 x676
1800.13/1800.15 v x675 x674 x673 x672 x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 x660 x659 x658 x657 x656 x655 x654 x653 x652
1800.13/1800.15 v x651 x650 x649 x648 x647 x646 x645 x644 x643 x642 -x641 x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630
1800.13/1800.15 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 x616 x615 x614 x613 x612 x611 x610 x609 x608 x607
1800.13/1800.15 v x606 x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 x594 x593 x592 x591 x590 x589 x588 x587 x586 -x585 -x584
1800.13/1800.15 v -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 x573 x572 x571 x570 x569 x568 x567 x566 x565 x564 x563 x562 x561
1800.13/1800.15 v x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 x550 x549 x548 -x547 -x546 -x545 -x544 x543 x542 x541 -x540 -x539 -x538 x537
1800.13/1800.15 v x536 x535 x534 x533 -x532 -x531 -x530 x529 x528 x527 x526 x525 x524 x523 x522 x521 x520 x519 x518 x517 x516 x515 x514 x513
1800.13/1800.15 v x512 x511 x510 x509 x508 x507 x506 x505 x504 x503 x502 x501 x500 x499 x498 x497 x496 x495 -x494 x493 x492 x491 x490 x489 x488
1800.13/1800.15 v -x487 -x486 x485 x484 x483 x482 x481 x480 x479 x478 x477 x476 x475 x474 x473 x472 x471 x470 x469 x468 x467 -x466 -x465 -x464
1800.13/1800.15 v -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443
1800.13/1800.15 v -x442 x441 x440 x439 x438 x437 x436 x435 x434 x433 x432 x431 x430 x429 x428 x427 x426 x425 x424 x423 x422 x421 x420 x419
1800.13/1800.15 v x418 x417 x416 x415 x414 x413 x412 x411 x410 x409 x408 x407 x406 x405 x404 x403 x402 x401 x400 x399 -x398 x397 -x396 -x395 -x394
1800.13/1800.15 v x393 x392 x391 x390 x389 x388 x387 x386 x385 x384 x383 x382 x381 x380 x379 x378 x377 x376 x375 x374 x373 x372 x371 x370 -x369
1800.13/1800.15 v -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 x352 x351 x350 x349 x348
1800.13/1800.15 v x347 x346 x345 x344 x343 x342 x341 x340 x339 x338 x337 x336 x335 x334 x333 x332 x331 x330 x329 x328 x327 x326 x325 x324 x323
1800.13/1800.15 v x322 x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 x308 x307 x306 x305 x304 x303 x302 x301 x300
1800.13/1800.15 v x299 x298 x297 x296 x295 x294 x293 x292 x291 x290 x289 x288 x287 x286 -x285 x284 x283 x282 x281 -x280 -x279 -x278 -x277 -x276
1800.13/1800.15 v -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 x264 x263 x262 x261 x260 x259 x258 x257 x256 x255 x254 x253
1800.13/1800.15 v x252 x251 x250 x249 x248 x247 x246 x245 x244 x243 x242 x241 x240 x239 x238 x237 x236 x235 x234 x233 -x232 -x231 -x230 -x229
1800.13/1800.15 v -x228 -x227 -x226 -x225 -x224 -x223 -x222 x221 x220 x219 x218 x217 x216 x215 x214 x213 x212 x211 x210 x209 x208 x207 x206 x205
1800.13/1800.15 v x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 x194 x193 x192 x191 x190 x189 x188 x187 x186 x185 -x184 -x183 -x182 -x181
1800.13/1800.15 v -x180 -x179 -x178 x177 x176 x175 x174 x173 x172 x171 x170 x169 x168 x167 x166 -x165 x164 x163 x162 x161 x160 x159 x158 x157
1800.13/1800.15 v x156 x155 x154 x153 x152 x151 x150 x149 x148 x147 x146 x145 x144 x143 x142 x141 -x140 -x139 x138 x137 x136 x135 x134 x133 x132
1800.13/1800.15 v x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107
1800.13/1800.15 v x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78
1800.13/1800.15 v x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 x60 x59 x58 x57 x56 x55 x54 x53 x52 x51 x50 x49 x48 x47
1800.13/1800.15 v x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15
1800.13/1800.15 v x14 x13 x12 x11 x10 x9 x8 x7 -x6 -x5 -x4 x3 -x2 x1
1800.13/1800.15 c SCIP Status : solving was interrupted [user interrupt]
1800.13/1800.15 c Solving Time : 1730.96
1800.13/1800.15 c Original Problem :
1800.13/1800.15 c Problem name : HOME/instance-2693122-1277916219.wbo
1800.13/1800.15 c Variables : 8410 (5569 binary, 0 integer, 0 implicit integer, 2841 continuous)
1800.13/1800.15 c Constraints : 11224 initial, 11224 maximal
1800.13/1800.15 c Presolved Problem :
1800.13/1800.15 c Problem name : t_HOME/instance-2693122-1277916219.wbo
1800.13/1800.15 c Variables : 3359 (2222 binary, 0 integer, 0 implicit integer, 1137 continuous)
1800.13/1800.15 c Constraints : 3937 initial, 3937 maximal
1800.13/1800.15 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.13/1800.15 c trivial : 0.01 36 0 0 0 0 0 0 0
1800.13/1800.15 c dualfix : 0.02 3635 0 0 0 0 0 0 0
1800.13/1800.15 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.15 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.15 c implics : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.15 c probing : 0.35 0 0 0 0 0 0 0 0
1800.13/1800.15 c indicator : 0.02 0 0 0 0 0 1704 0 0
1800.13/1800.15 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.13/1800.15 c knapsack : 0.00 0 0 0 0 0 2 20 57
1800.13/1800.15 c setppc : 0.00 0 0 0 0 0 1 0 0
1800.13/1800.15 c linear : 0.09 1012 368 0 2185 0 5592 59 62
1800.13/1800.15 c logicor : 0.04 0 0 0 0 0 0 0 0
1800.13/1800.15 c root node : - 0 - - 0 - - - -
1800.13/1800.15 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.13/1800.15 c integral : 0 0 0 1095692 0 0 0 0 0 11476
1800.13/1800.15 c indicator : 1137 0 2596666 1089954 0 0 718976 0 0 0
1800.13/1800.15 c varbound : 183 4 2596666 1089954 0 0 538682 3439 0 0
1800.13/1800.15 c knapsack : 104 4 2596666 1086626 0 0 93891 4 0 0
1800.13/1800.15 c setppc : 11 4 1102790 400822 0 0 12863 0 0 0
1800.13/1800.15 c linear : 954 4 2596666 1086626 0 0 83226 116115 0 0
1800.13/1800.15 c logicor : 1548 4 1768201 1026679 0 0 2001815 0 0 0
1800.13/1800.15 c countsols : 0 0 0 1026678 0 0 0 0 0 0
1800.13/1800.15 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.13/1800.15 c integral : 9.11 0.00 0.00 9.11 0.00
1800.13/1800.15 c indicator : 137.56 0.00 33.17 104.39 0.00
1800.13/1800.15 c varbound : 7.95 0.00 3.99 3.96 0.00
1800.13/1800.15 c knapsack : 5.51 0.00 3.97 1.54 0.00
1800.13/1800.15 c setppc : 0.23 0.00 0.13 0.10 0.00
1800.13/1800.15 c linear : 94.94 0.00 16.55 78.39 0.00
1800.13/1800.15 c logicor : 24.76 0.00 6.65 18.11 0.00
1800.13/1800.15 c countsols : 0.05 0.00 0.00 0.05 0.00
1800.13/1800.15 c Propagators : Time Calls Cutoffs DomReds
1800.13/1800.15 c vbounds : 41.95 1101429 0 78041
1800.13/1800.15 c rootredcost : 0.10 3 0 0
1800.13/1800.15 c pseudoobj : 70.47 2593480 0 0
1800.13/1800.15 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.13/1800.15 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1800.13/1800.15 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.15 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.15 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.13/1800.15 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.13/1800.15 c applied globally : - - - 0 0.0 - - -
1800.13/1800.15 c applied locally : - - - 0 0.0 - - -
1800.13/1800.15 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.13/1800.15 c cut pool : 0.00 3 - - 0 - (maximal pool size: 33)
1800.13/1800.15 c redcost : 81.91 1095509 0 0 0 0
1800.13/1800.15 c impliedbounds : 0.00 2 0 0 20 0
1800.13/1800.15 c intobj : 0.00 0 0 0 0 0
1800.13/1800.15 c cgmip : 0.00 0 0 0 0 0
1800.13/1800.15 c gomory : 0.00 2 0 0 70 0
1800.13/1800.15 c strongcg : 0.00 2 0 0 65 0
1800.13/1800.15 c cmir : 0.01 2 0 0 3 0
1800.13/1800.15 c flowcover : 0.06 2 0 0 6 0
1800.13/1800.15 c clique : 0.01 2 0 0 2 0
1800.13/1800.15 c zerohalf : 0.00 0 0 0 0 0
1800.13/1800.15 c mcf : 0.00 1 0 0 0 0
1800.13/1800.15 c rapidlearning : 0.00 0 0 0 0 0
1800.13/1800.15 c Pricers : Time Calls Vars
1800.13/1800.15 c problem variables: 0.00 0 0
1800.13/1800.15 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.13/1800.15 c relpscost : 9.05 5738 0 0 0 0 11476
1800.13/1800.15 c pscost : 0.00 0 0 0 0 0 0
1800.13/1800.15 c inference : 159.72 1026678 0 0 0 0 2053356
1800.13/1800.15 c mostinf : 0.00 0 0 0 0 0 0
1800.13/1800.15 c leastinf : 0.00 0 0 0 0 0 0
1800.13/1800.15 c fullstrong : 0.00 0 0 0 0 0 0
1800.13/1800.15 c allfullstrong : 0.00 0 0 0 0 0 0
1800.13/1800.15 c random : 0.00 0 0 0 0 0 0
1800.13/1800.15 c Primal Heuristics : Time Calls Found
1800.13/1800.15 c LP solutions : 0.00 - 0
1800.13/1800.15 c pseudo solutions : 0.00 - 0
1800.13/1800.15 c oneopt : 0.20 3 0
1800.13/1800.15 c intshifting : 0.00 1 0
1800.13/1800.15 c feaspump : 0.02 2 0
1800.13/1800.15 c crossover : 0.46 19 0
1800.13/1800.15 c guideddiving : 7.14 7586 0
1800.13/1800.15 c linesearchdiving : 7.57 9710 0
1800.13/1800.15 c coefdiving : 7.30 9712 0
1800.13/1800.15 c pscostdiving : 6.96 9712 0
1800.13/1800.15 c fracdiving : 6.91 9712 0
1800.13/1800.15 c veclendiving : 7.06 9712 0
1800.13/1800.15 c rootsoldiving : 8.06 9710 0
1800.13/1800.15 c objpscostdiving : 7.98 9711 0
1800.13/1800.15 c trivial : 0.03 2 0
1800.13/1800.15 c simplerounding : 0.16 5730 0
1800.13/1800.15 c zirounding : 0.13 1000 0
1800.13/1800.15 c rounding : 0.57 1011 0
1800.13/1800.15 c shifting : 0.32 319 0
1800.13/1800.15 c twoopt : 0.00 0 0
1800.13/1800.15 c fixandinfer : 0.00 0 0
1800.13/1800.15 c intdiving : 0.00 0 0
1800.13/1800.15 c actconsdiving : 0.00 0 0
1800.13/1800.15 c octane : 0.00 0 0
1800.13/1800.15 c rens : 0.00 0 0
1800.13/1800.15 c rins : 0.00 0 0
1800.13/1800.15 c localbranching : 0.00 0 0
1800.13/1800.15 c mutation : 0.00 0 0
1800.13/1800.15 c dins : 0.00 0 0
1800.13/1800.15 c undercover : 0.00 0 0
1800.13/1800.15 c nlp : 0.11 0 0
1800.13/1800.15 c trysol : 7.39 10685 152
1800.13/1800.15 c LP : Time Calls Iterations Iter/call Iter/sec
1800.13/1800.15 c primal LP : 0.00 0 0 0.00 -
1800.13/1800.15 c dual LP : 718.87 113718 298466 2.62 415.19
1800.13/1800.15 c lex dual LP : 0.00 0 0 0.00 -
1800.13/1800.15 c barrier LP : 0.00 0 0 0.00 -
1800.13/1800.15 c diving/probing LP: 0.02 4 25 6.25 1250.00
1800.13/1800.15 c strong branching : 8.99 4789 19280 4.03 2144.61
1800.13/1800.15 c (at root node) : - 0 0 0.00 -
1800.13/1800.15 c conflict analysis: 0.00 0 0 0.00 -
1800.13/1800.15 c B&B Tree :
1800.13/1800.15 c number of runs : 1
1800.13/1800.15 c nodes : 1032416
1800.13/1800.15 c nodes (total) : 1032416
1800.13/1800.15 c nodes left : 1032417
1800.13/1800.15 c max depth : 203
1800.13/1800.15 c max depth (total): 203
1800.13/1800.15 c backtracks : 9712 (0.9%)
1800.13/1800.15 c delayed cutoffs : 0
1800.13/1800.15 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.13/1800.15 c avg switch length: 2.17
1800.13/1800.15 c switching time : 50.20
1800.13/1800.15 c Solution :
1800.13/1800.15 c Solutions found : 152 (3 improvements)
1800.13/1800.15 c First Solution : +4.99010000000000e+04 (in run 1, after 227338 nodes, 401.89 seconds, depth 146, found by <trysol>)
1800.13/1800.15 c Primal Bound : +4.96490000000000e+04 (in run 1, after 726666 nodes, 1238.34 seconds, depth 156, found by <trysol>)
1800.13/1800.15 c Dual Bound : +5.50000000000000e+01
1800.13/1800.15 c Gap : 90170.91 %
1800.13/1800.15 c Root Dual Bound : +0.00000000000000e+00
1800.13/1800.15 c Root Iterations : 252
1801.83/1801.85 c Time complete: 1801.88.
OK 3500
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693122-1277916219/watcher-2693122-1277916219 -o /tmp/evaluation-result-2693122-1277916219/solver-2693122-1277916219 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693122-1277916219.wbo -t 1800 -m 3800 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17080 /proc/meminfo: memFree=29921480/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=11004 CPUtime=0 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 1675 0 0 0 0 0 0 0 25 0 1 0 132917777 11268096 1596 4089446400 4194304 9819077 140734614339904 18446744073709551615 8656455 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/17080/statm: 2751 1596 392 1374 0 1372 0 [startup+0.10273 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17080 /proc/meminfo: memFree=29921480/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=42980 CPUtime=0.09 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 10107 0 0 0 9 0 0 0 25 0 1 0 132917777 44011520 9674 4089446400 4194304 9819077 140734614339904 18446744073709551615 4561451 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17080/statm: 10745 9674 452 1374 0 9366 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 42980 [startup+0.200708 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17080 /proc/meminfo: memFree=29921480/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=50276 CPUtime=0.19 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 12100 0 0 0 18 1 0 0 25 0 1 0 132917777 51482624 11153 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17080/statm: 12569 11153 495 1374 0 11190 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 50276 [startup+0.300703 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17080 /proc/meminfo: memFree=29921480/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=50544 CPUtime=0.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 16322 0 0 0 27 2 0 0 25 0 1 0 132917777 51757056 11263 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/17080/statm: 12636 11263 524 1374 0 11257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 50544 [startup+0.700618 s] /proc/loadavg: 2.00 2.00 2.00 4/178 17080 /proc/meminfo: memFree=29921480/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=55168 CPUtime=0.69 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 19792 0 0 0 66 3 0 0 25 0 1 0 132917777 56492032 12420 4089446400 4194304 9819077 140734614339904 18446744073709551615 4667208 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 13792 12420 564 1374 0 12413 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 55168 [startup+1.50047 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17081 /proc/meminfo: memFree=29869268/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=61440 CPUtime=1.49 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 26098 0 0 0 143 6 0 0 25 0 1 0 132917777 62914560 13727 4089446400 4194304 9819077 140734614339904 18446744073709551615 6628322 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 15360 13727 711 1374 0 13981 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 61440 [startup+3.10019 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17081 /proc/meminfo: memFree=29867816/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=64028 CPUtime=3.09 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 31555 0 0 0 301 8 0 0 25 0 1 0 132917777 65564672 14269 4089446400 4194304 9819077 140734614339904 18446744073709551615 4561111 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 16007 14269 712 1374 0 14628 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 64028 [startup+6.3006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17081 /proc/meminfo: memFree=29861864/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=66684 CPUtime=6.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 44075 0 0 0 616 13 0 0 25 0 1 0 132917777 68284416 14909 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 16671 14909 712 1374 0 15292 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66684 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17081 /proc/meminfo: memFree=29850480/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=73436 CPUtime=12.69 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 67559 0 0 0 1243 26 0 0 25 0 1 0 132917777 75198464 16598 4089446400 4194304 9819077 140734614339904 18446744073709551615 6361161 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 18359 16598 712 1374 0 16980 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 73436 [startup+25.5011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17081 /proc/meminfo: memFree=29827704/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=85964 CPUtime=25.49 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 98807 0 0 0 2502 47 0 0 25 0 1 0 132917777 88027136 19744 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 21491 19744 712 1374 0 20112 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85964 [startup+51.1005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17082 /proc/meminfo: memFree=29783876/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=111748 CPUtime=51.09 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 200269 0 0 0 5014 95 0 0 25 0 1 0 132917777 114429952 26240 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 27937 26240 712 1374 0 26558 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 111748 [startup+102.301 s] /proc/loadavg: 2.00 2.00 2.00 4/179 17083 /proc/meminfo: memFree=29693692/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=164448 CPUtime=102.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 359729 0 0 0 10053 176 0 0 25 0 1 0 132917777 168394752 39529 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 41112 39529 712 1374 0 39733 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 164448 [startup+162.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17085 /proc/meminfo: memFree=29594948/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=226304 CPUtime=162.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 530633 0 0 0 15951 278 0 0 25 0 1 0 132917777 231735296 54602 4089446400 4194304 9819077 140734614339904 18446744073709551615 6513014 0 0 4096 16384 0 0 0 17 2 0 0 0 /proc/17080/statm: 56576 54602 712 1374 0 55197 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 226304 [startup+222.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 17132 /proc/meminfo: memFree=30598452/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=290952 CPUtime=222.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 672578 0 0 0 21821 408 0 0 25 0 1 0 132917777 297934848 70898 4089446400 4194304 9819077 140734614339904 18446744073709551615 6665265 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 72738 70898 712 1374 0 71359 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 290952 [startup+282.3 s] /proc/loadavg: 2.03 2.00 2.00 3/179 17262 /proc/meminfo: memFree=30592964/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=353776 CPUtime=282.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 799915 0 0 0 27580 649 0 0 25 0 1 0 132917777 362266624 86715 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 88444 86715 712 1374 0 87065 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 353776 [startup+342.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 17263 /proc/meminfo: memFree=30508788/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=418164 CPUtime=342.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 940618 0 0 0 33319 910 0 0 25 0 1 0 132917777 428199936 102974 4089446400 4194304 9819077 140734614339904 18446744073709551615 6590543 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 104541 102974 712 1374 0 103162 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 418164 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17265 /proc/meminfo: memFree=30422700/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=482440 CPUtime=402.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 1080652 0 0 0 39075 1154 0 0 25 0 1 0 132917777 494018560 118140 4089446400 4194304 9819077 140734614339904 18446744073709551615 6361715 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 120610 118140 712 1374 0 119231 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 482440 [startup+462.301 s] /proc/loadavg: 2.05 2.01 2.00 3/179 17267 /proc/meminfo: memFree=30338824/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=544856 CPUtime=462.29 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 1228601 0 0 0 44822 1407 0 0 25 0 1 0 132917777 557932544 133947 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 136214 133947 722 1374 0 134835 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 544856 [startup+522.301 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17268 /proc/meminfo: memFree=30256196/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=608252 CPUtime=522.3 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 1361110 0 0 0 50573 1657 0 0 25 0 1 0 132917777 622850048 149742 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 152063 149742 722 1374 0 150684 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 608252 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17270 /proc/meminfo: memFree=30165504/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=674360 CPUtime=582.3 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 1482270 0 0 0 56331 1899 0 0 25 0 1 0 132917777 690544640 166410 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 168590 166410 722 1374 0 167211 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 674360 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17271 /proc/meminfo: memFree=30084372/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=735188 CPUtime=642.3 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 1617505 0 0 0 62077 2153 0 0 25 0 1 0 132917777 752832512 181753 4089446400 4194304 9819077 140734614339904 18446744073709551615 6162144 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17080/statm: 183797 181753 722 1374 0 182418 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 735188 [startup+702.301 s] ################ # More data... # ################ [startup+1062.3 s] /proc/loadavg: 2.03 2.01 2.00 3/179 17292 /proc/meminfo: memFree=29490512/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1180568 CPUtime=1062.31 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 2546805 0 0 0 102305 3926 0 0 25 0 1 0 132917777 1208901632 291982 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 295142 291982 722 1374 0 293763 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 1180568 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.00 3/179 17293 /proc/meminfo: memFree=29401468/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1247104 CPUtime=1122.31 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 2671267 0 0 0 108062 4169 0 0 25 0 1 0 132917777 1277034496 308823 4089446400 4194304 9819077 140734614339904 18446744073709551615 7816372 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 311776 308823 722 1374 0 310397 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 1247104 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17295 /proc/meminfo: memFree=29316620/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1309484 CPUtime=1182.31 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 2752744 0 0 0 113822 4409 0 0 25 0 1 0 132917777 1340911616 324976 4089446400 4194304 9819077 140734614339904 18446744073709551615 6513072 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 327371 324976 722 1374 0 325992 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 1309484 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17296 /proc/meminfo: memFree=29225564/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1374152 CPUtime=1242.32 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 2791162 0 0 0 119590 4642 0 0 25 0 1 0 132917777 1407131648 341036 4089446400 4194304 9819077 140734614339904 18446744073709551615 6361068 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 343538 341036 722 1374 0 342159 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 1374152 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17298 /proc/meminfo: memFree=29136368/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1443240 CPUtime=1302.32 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 2879442 0 0 0 125353 4879 0 0 25 0 1 0 132917777 1477877760 358541 4089446400 4194304 9819077 140734614339904 18446744073709551615 5813322 0 0 4096 16384 0 0 0 17 3 0 0 0 /proc/17080/statm: 360810 358541 722 1374 0 359431 0 Current children cumulated CPU time (s) 1302.32 Current children cumulated vsize (KiB) 1443240 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17300 /proc/meminfo: memFree=29047428/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1511564 CPUtime=1362.32 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 2954138 0 0 0 131109 5123 0 0 25 0 1 0 132917777 1547841536 375458 4089446400 4194304 9819077 140734614339904 18446744073709551615 8654573 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 377891 375458 722 1374 0 376512 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 1511564 [startup+1422.3 s] /proc/loadavg: 2.05 2.01 2.00 3/179 17301 /proc/meminfo: memFree=28961580/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1574676 CPUtime=1422.32 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3029788 0 0 0 136860 5372 0 0 25 0 1 0 132917777 1612468224 391421 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 393669 391421 722 1374 0 392290 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 1574676 [startup+1482.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 17303 /proc/meminfo: memFree=28870900/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1642272 CPUtime=1482.32 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3127793 0 0 0 142616 5616 0 0 25 0 1 0 132917777 1681686528 408281 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 410568 408281 722 1374 0 409189 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 1642272 [startup+1542.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17304 /proc/meminfo: memFree=28780216/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1709932 CPUtime=1542.33 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3219274 0 0 0 148387 5846 0 0 25 0 1 0 132917777 1750970368 425455 4089446400 4194304 9819077 140734614339904 18446744073709551615 6723464 0 0 4096 16384 0 0 0 17 7 0 0 0 /proc/17080/statm: 427483 425455 722 1374 0 426104 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 1709932 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 2.00 3/179 17306 /proc/meminfo: memFree=28691908/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1775872 CPUtime=1602.32 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3306874 0 0 0 154142 6090 0 0 25 0 1 0 132917777 1818492928 441951 4089446400 4194304 9819077 140734614339904 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17080/statm: 443968 441951 722 1374 0 442589 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 1775872 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 2.00 3/179 17308 /proc/meminfo: memFree=28605684/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1840180 CPUtime=1662.33 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3403011 0 0 0 159893 6340 0 0 25 0 1 0 132917777 1884344320 458200 4089446400 4194304 9819077 140734614339904 18446744073709551615 6002989 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17080/statm: 460045 458200 722 1374 0 458666 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 1840180 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17309 /proc/meminfo: memFree=28516612/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1923080 CPUtime=1722.33 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3509242 0 0 0 165654 6579 0 0 25 0 1 0 132917777 1969233920 474952 4089446400 4194304 9819077 140734614339904 18446744073709551615 7291104 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17080/statm: 480770 474952 722 1374 0 479391 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 1923080 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17311 /proc/meminfo: memFree=28430764/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1987312 CPUtime=1782.33 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3608373 0 0 0 171405 6828 0 0 25 0 1 0 132917777 2035007488 491162 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17080/statm: 496828 491162 722 1374 0 495449 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 1987312 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 17312 /proc/meminfo: memFree=28402736/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=2006700 CPUtime=1800.03 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3634339 0 0 0 173102 6901 0 0 25 0 1 0 132917777 2054860800 496061 4089446400 4194304 9819077 140734614339904 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 5 0 0 0 /proc/17080/statm: 501675 496061 722 1374 0 500296 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 2006700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17313 /proc/meminfo: memFree=28401736/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=2006700 CPUtime=1800.73 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3634342 0 0 0 173172 6901 0 0 18 0 1 0 132917777 2054860800 496064 4089446400 4194304 9819077 140734614339904 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17080/statm: 501675 496064 725 1374 0 500296 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (KiB) 2006700 [startup+1801.5 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17313 /proc/meminfo: memFree=28401736/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=1306464 CPUtime=1801.53 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3634342 0 0 0 173249 6904 0 0 19 0 1 0 132917777 1337819136 321005 4089446400 4194304 9819077 140734614339904 18446744073709551615 6179937 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17080/statm: 326616 321005 725 1374 0 325237 0 Current children cumulated CPU time (s) 1801.53 Current children cumulated vsize (KiB) 1306464 [startup+1801.7 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17313 /proc/meminfo: memFree=28401736/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=797564 CPUtime=1801.73 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3634342 0 0 0 173267 6906 0 0 20 0 1 0 132917777 816705536 193780 4089446400 4194304 9819077 140734614339904 18446744073709551615 6180095 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17080/statm: 199391 193780 725 1374 0 198012 0 Current children cumulated CPU time (s) 1801.73 Current children cumulated vsize (KiB) 797564 [startup+1801.8 s] /proc/loadavg: 2.00 2.00 2.00 3/180 17313 /proc/meminfo: memFree=30106872/32951124 swapFree=67111528/67111528 [pid=17080] ppid=17078 vsize=250052 CPUtime=1801.83 /proc/17080/stat : 17080 (pbscip.linux.x8) R 17078 17080 16717 0 -1 4202496 3634342 0 0 0 173275 6908 0 0 20 0 1 0 132917777 256053248 56904 4089446400 4194304 9819077 140734614339904 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/17080/statm: 62513 56904 725 1374 0 61134 0 Current children cumulated CPU time (s) 1801.83 Current children cumulated vsize (KiB) 250052 Child status: 0 Real time (s): 1801.85 CPU time (s): 1801.89 CPU user time (s): 1732.79 CPU system time (s): 69.0945 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 2006704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1732.79 system time used= 69.0945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3634346 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= 5 involuntary context switches= 1791 runsolver used 2.90656 second user time and 6.73398 second system time The end
Begin job on node138 at 2010-06-30 18:43:39 IDJOB=2693122 IDBENCH=79067 IDSOLVER=1205 FILE ID=node138/2693122-1277916219 PBS_JOBID= 11197308 Free space on /tmp= 74136 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j30/normalized-j308_1-unsat--soft-66-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693122-1277916219/watcher-2693122-1277916219 -o /tmp/evaluation-result-2693122-1277916219/solver-2693122-1277916219 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693122-1277916219.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4e0a136411b79a2ddcc8f753eeb43778 RANDOM SEED=8801839 node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.72 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.08 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.860 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.98 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29922008 kB Buffers: 203824 kB Cached: 1478828 kB SwapCached: 0 kB Active: 1852324 kB Inactive: 1028592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29922008 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 6260 kB Writeback: 0 kB AnonPages: 1198412 kB Mapped: 16336 kB Slab: 83196 kB PageTables: 6996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1367632 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74128 MiB End job on node138 at 2010-06-30 19:13:41