Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT | 9216 | 1790.91 | 1791.35 |
| Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-markshare1.opb |
| MD5SUM | e15fa473b46d7e2b0dca2d01a2541ab9 |
| Bench Category | OPT-BIGINT (optimisation, big integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 21504 |
| Best CPU time to get the best result obtained on this benchmark | 1800.12 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 20480 |
| Optimality of the best value was proved | NO |
| Number of variables | 230 |
| Total number of constraints | 6 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 6 |
| Minimum length of a constraint | 80 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 536870912 |
| Number of bits for the biggest coefficient in the objective function | 30 |
| Sum of the numbers in the objective function | 6442450938 |
| Number of bits of the sum of numbers in the objective function | 33 |
| Biggest number in a constraint | 536870912 |
| Number of bits of the biggest number in a constraint | 30 |
| Biggest sum of numbers in a constraint | 6442450938 |
| Number of bits of the biggest sum of numbers | 33 |
| 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.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
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-2703897-1278560942.opb>
0.00/0.01 c original problem has 230 variables (230 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 60 del vars, 0 del conss, 54 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.03 c presolving (2 rounds):
0.00/0.03 c 60 deleted vars, 0 deleted constraints, 54 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.03 c 28 implications, 0 cliques
0.00/0.03 c presolved problem has 170 variables (170 bin, 0 int, 0 impl, 0 cont) and 6 constraints
0.00/0.03 c 6 constraints of type <linear>
0.00/0.03 c transformed objective value is always integral (scale: 2)
0.00/0.03 c Presolving Time: 0.02
0.00/0.03 c - non default parameters ----------------------------------------------------------------------
0.00/0.03 c # SCIP version 1.2.1.3
0.00/0.03 c
0.00/0.03 c # frequency for displaying node information lines
0.00/0.03 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.03 c display/freq = 10000
0.00/0.03 c
0.00/0.03 c # maximal time in seconds to run
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/time = 1790
0.00/0.03 c
0.00/0.03 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.03 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.03 c limits/memory = 1620
0.00/0.03 c
0.00/0.03 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.00/0.03 c # [type: int, range: [1,2], default: 1]
0.00/0.03 c timing/clocktype = 2
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify inequalities
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/linear/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/indicator/addCouplingCons = TRUE
0.00/0.03 c
0.00/0.03 c # should presolving try to simplify knapsacks
0.00/0.03 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.03 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.03 c
0.00/0.03 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.03 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.03 c separating/rapidlearning/freq = 0
0.00/0.03 c
0.00/0.03 c -----------------------------------------------------------------------------------------------
0.00/0.03 c start solving
0.00/0.03 c
0.00/0.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.03 c 0.0s| 1 | 0 | 33 | - | 657k| 0 | 6 | 170 | 6 | 170 | 6 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.18 c 0.2s| 1 | 0 | 83 | - | 739k| 0 | 10 | 170 | 15 | 170 | 11 | 5 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.20 c 0.2s| 1 | 0 | 88 | - | 763k| 0 | 11 | 170 | 15 | 170 | 17 | 11 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.22 c 0.2s| 1 | 0 | 92 | - | 766k| 0 | 13 | 170 | 15 | 170 | 19 | 13 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.24 c 0.2s| 1 | 0 | 99 | - | 773k| 0 | 13 | 170 | 15 | 170 | 21 | 15 | 0 | 0 | 0.000000e+00 | -- | Inf
0.19/0.27 c 0.3s| 1 | 0 | 102 | - | 775k| 0 | 15 | 170 | 15 | 170 | 22 | 16 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.30 c 0.3s| 1 | 0 | 106 | - | 779k| 0 | 16 | 170 | 15 | 170 | 23 | 17 | 0 | 0 | 0.000000e+00 | -- | Inf
0.29/0.35 c 0.3s| 1 | 2 | 106 | - | 780k| 0 | 16 | 170 | 15 | 170 | 23 | 17 | 0 | 9 | 0.000000e+00 | -- | Inf
0.39/0.49 o 676864
0.39/0.49 c v 0.5s| 65 | 66 | 623 | 8.1 | 852k| 23 | - | 170 | 16 | 170 | 16 | 17 | 7 | 224 | 0.000000e+00 | 6.768640e+05 | Inf
0.59/0.60 o 443392
0.59/0.60 c g 0.6s| 167 | 168 | 1238 | 6.8 | 912k| 42 | - | 170 | 24 | 170 | 16 | 17 | 16 | 363 | 0.000000e+00 | 4.433920e+05 | Inf
0.59/0.61 o 257024
0.59/0.61 c * 0.6s| 182 | 177 | 1308 | 6.6 | 908k| 42 | - | 170 | 24 | 170 | 16 | 17 | 16 | 372 | 0.000000e+00 | 2.570240e+05 | Inf
0.59/0.62 o 192512
0.59/0.62 c * 0.6s| 186 | 175 | 1319 | 6.6 | 911k| 42 | - | 170 | 22 | 170 | 16 | 17 | 16 | 376 | 0.000000e+00 | 1.925120e+05 | Inf
1.19/1.23 o 190464
1.19/1.23 c * 1.2s| 621 | 584 | 3264 | 5.1 |1106k| 42 | - | 170 | 34 | 170 | 16 | 17 | 52 | 454 | 0.000000e+00 | 1.904640e+05 | Inf
1.29/1.34 o 140288
1.29/1.34 c c 1.3s| 766 | 719 | 4417 | 5.6 |1175k| 42 | - | 170 | 49 | 170 | 16 | 17 | 76 | 476 | 0.000000e+00 | 1.402880e+05 | Inf
1.39/1.42 o 124928
1.39/1.42 c p 1.4s| 915 | 859 | 5047 | 5.4 |1235k| 42 | - | 170 | 50 | 170 | 16 | 17 | 85 | 482 | 0.000000e+00 | 1.249280e+05 | Inf
1.49/1.59 o 97280
1.49/1.59 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.59 c g 1.6s| 1194 | 1110 | 6317 | 5.2 |1344k| 42 | - | 170 | 58 | 170 | 16 | 17 | 116 | 511 | 0.000000e+00 | 9.728000e+04 | Inf
2.69/2.71 o 91136
2.69/2.71 c l 2.7s| 3130 | 2933 | 15568 | 4.9 |2134k| 42 | - | 170 | 69 | 170 | 16 | 17 | 268 | 536 | 0.000000e+00 | 9.113600e+04 | Inf
2.79/2.84 o 62464
2.79/2.84 c v 2.8s| 3320 | 3052 | 16581 | 5.0 |2183k| 42 | - | 170 | 71 | 170 | 16 | 17 | 293 | 542 | 0.000000e+00 | 6.246400e+04 | Inf
8.69/8.71 c 8.7s| 10000 | 9038 | 60590 | 6.0 |4790k| 43 | 6 | 170 | 92 | 170 | 16 | 17 |1108 | 759 | 0.000000e+00 | 6.246400e+04 | Inf
9.19/9.21 o 50176
9.19/9.21 c * 9.2s| 10819 | 9567 | 64849 | 6.0 |4992k| 43 | - | 170 | 87 | 170 | 16 | 17 |1170 | 785 | 0.000000e+00 | 5.017600e+04 | Inf
12.59/12.64 o 38912
12.59/12.64 c *12.6s| 16203 | 13249 | 91961 | 5.7 |6652k| 43 | - | 170 | 88 | 170 | 16 | 17 |1556 | 965 | 0.000000e+00 | 3.891200e+04 | Inf
15.18/15.24 c 15.2s| 20000 | 15583 |110095 | 5.5 |7882k| 45 | - | 170 | 103 | 170 | 16 | 17 |1824 |1105 | 0.000000e+00 | 3.891200e+04 | Inf
21.09/21.18 c 21.2s| 30000 | 21550 |158532 | 5.3 | 11M| 45 | 6 | 170 | 95 | 170 | 16 | 17 |2551 |1399 | 0.000000e+00 | 3.891200e+04 | Inf
21.79/21.83 o 35840
21.79/21.83 c *21.8s| 30656 | 21742 |161495 | 5.3 | 11M| 45 | - | 170 | 92 | 170 | 16 | 17 |2597 |1418 | 0.000000e+00 | 3.584000e+04 | Inf
27.18/27.28 c 27.3s| 40000 | 27025 |204786 | 5.1 | 14M| 45 | - | 170 | 77 | 170 | 16 | 17 |3256 |1639 | 0.000000e+00 | 3.584000e+04 | Inf
33.08/33.16 c 33.2s| 50000 | 32364 |250828 | 5.0 | 16M| 45 | 6 | 170 | 82 | 170 | 16 | 17 |3928 |1829 | 0.000000e+00 | 3.584000e+04 | Inf
36.19/36.29 o 27648
36.19/36.29 c *36.3s| 55695 | 32770 |277077 | 5.0 | 17M| 45 | - | 170 | 73 | 170 | 16 | 17 |4310 |1946 | 0.000000e+00 | 2.764800e+04 | Inf
39.28/39.38 c 39.4s| 60000 | 34746 |297457 | 5.0 | 18M| 45 | 6 | 170 | 70 | 170 | 16 | 17 |4620 |2065 | 0.000000e+00 | 2.764800e+04 | Inf
44.68/44.74 c 44.7s| 70000 | 39415 |346112 | 4.9 | 20M| 45 | 6 | 170 | 84 | 170 | 16 | 17 |5487 |2240 | 0.000000e+00 | 2.764800e+04 | Inf
51.08/51.11 c 51.1s| 80000 | 43915 |394690 | 4.9 | 23M| 45 | 6 | 170 | 95 | 170 | 16 | 17 |6286 |2419 | 0.000000e+00 | 2.764800e+04 | Inf
56.78/56.89 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
56.78/56.89 c 56.9s| 90000 | 47720 |440615 | 4.9 | 25M| 45 | 6 | 170 | 90 | 170 | 16 | 17 |6895 |2567 | 0.000000e+00 | 2.764800e+04 | Inf
61.78/61.83 c 61.8s|100000 | 51208 |485403 | 4.9 | 27M| 45 | 6 | 170 | 74 | 170 | 16 | 17 |7539 |2721 | 0.000000e+00 | 2.764800e+04 | Inf
66.98/67.05 c 67.0s|110000 | 55491 |532392 | 4.8 | 30M| 45 | 6 | 170 | 86 | 170 | 16 | 17 |8278 |2836 | 0.000000e+00 | 2.764800e+04 | Inf
70.48/70.51 o 21504
70.48/70.51 c *70.5s|116709 | 56200 |563577 | 4.8 | 30M| 45 | - | 170 | 72 | 170 | 16 | 17 |8776 |2921 | 0.000000e+00 | 2.150400e+04 | Inf
73.58/73.68 c 73.7s|120000 | 57699 |577463 | 4.8 | 30M| 45 | - | 170 | 79 | 170 | 16 | 17 |8987 |2966 | 0.000000e+00 | 2.150400e+04 | Inf
78.78/78.81 c 78.8s|130000 | 61552 |620136 | 4.8 | 33M| 45 | - | 170 | 73 | 170 | 16 | 17 |9679 |3098 | 0.000000e+00 | 2.150400e+04 | Inf
83.48/83.51 c 83.5s|140000 | 64409 |661144 | 4.7 | 34M| 45 | 6 | 170 | 56 | 170 | 16 | 17 | 10k|3210 | 0.000000e+00 | 2.150400e+04 | Inf
88.17/88.26 c 88.3s|150000 | 67581 |702514 | 4.7 | 36M| 45 | 6 | 170 | 65 | 170 | 16 | 17 | 10k|3325 | 0.000000e+00 | 2.150400e+04 | Inf
94.67/94.73 c 94.7s|160000 | 70745 |744671 | 4.7 | 38M| 45 | 6 | 170 | 61 | 170 | 16 | 17 | 11k|3414 | 0.000000e+00 | 2.150400e+04 | Inf
99.27/99.36 c 99.4s|170000 | 73515 |784221 | 4.6 | 40M| 45 | 6 | 170 | 51 | 170 | 16 | 17 | 11k|3530 | 0.000000e+00 | 2.150400e+04 | Inf
103.86/103.93 c 104s|180000 | 76409 |823370 | 4.6 | 42M| 45 | 6 | 170 | 51 | 170 | 16 | 17 | 12k|3622 | 0.000000e+00 | 2.150400e+04 | Inf
108.27/108.33 c 108s|190000 | 78632 |861603 | 4.5 | 43M| 45 | 6 | 170 | 59 | 170 | 16 | 17 | 12k|3714 | 0.000000e+00 | 2.150400e+04 | Inf
112.96/113.03 c 113s|200000 | 81494 |902292 | 4.5 | 45M| 45 | - | 170 | 62 | 170 | 16 | 17 | 13k|3807 | 0.000000e+00 | 2.150400e+04 | Inf
117.57/117.67 o 20480
117.57/117.67 c * 118s|209698 | 84347 |942580 | 4.5 | 47M| 45 | - | 170 | 56 | 170 | 16 | 17 | 13k|3883 | 0.000000e+00 | 2.048000e+04 | Inf
117.76/117.84 c 118s|210000 | 84493 |943987 | 4.5 | 47M| 45 | - | 170 | 56 | 0 | 0 | 17 | 13k|3886 | 0.000000e+00 | 2.048000e+04 | Inf
125.46/125.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.46/125.56 c 126s|220000 | 87538 |984658 | 4.5 | 48M| 45 | 6 | 170 | 59 | 170 | 16 | 17 | 14k|3971 | 0.000000e+00 | 2.048000e+04 | Inf
129.97/130.07 c 130s|230000 | 90093 | 1023k| 4.4 | 50M| 45 | 6 | 170 | 55 | 170 | 16 | 17 | 14k|4065 | 0.000000e+00 | 2.048000e+04 | Inf
134.46/134.57 c 135s|240000 | 92615 | 1062k| 4.4 | 52M| 45 | 6 | 170 | 56 | 170 | 16 | 17 | 15k|4154 | 0.000000e+00 | 2.048000e+04 | Inf
139.05/139.11 c 139s|250000 | 95107 | 1102k| 4.4 | 53M| 45 | 6 | 170 | 49 | 170 | 16 | 17 | 15k|4236 | 0.000000e+00 | 2.048000e+04 | Inf
143.66/143.70 c 144s|260000 | 97600 | 1143k| 4.4 | 55M| 45 | 6 | 170 | 47 | 170 | 16 | 17 | 16k|4322 | 0.000000e+00 | 2.048000e+04 | Inf
148.65/148.71 c 149s|270000 |101159 | 1188k| 4.4 | 57M| 45 | - | 170 | 44 | 170 | 16 | 17 | 16k|4411 | 0.000000e+00 | 2.048000e+04 | Inf
153.45/153.56 c 154s|280000 |104260 | 1232k| 4.4 | 59M| 45 | 6 | 170 | 44 | 170 | 16 | 17 | 17k|4488 | 0.000000e+00 | 2.048000e+04 | Inf
158.05/158.16 c 158s|290000 |106937 | 1271k| 4.4 | 61M| 45 | - | 170 | 38 | 170 | 16 | 17 | 17k|4581 | 0.000000e+00 | 2.048000e+04 | Inf
162.76/162.84 c 163s|300000 |109504 | 1313k| 4.4 | 62M| 45 | 6 | 170 | 41 | 170 | 16 | 17 | 18k|4657 | 0.000000e+00 | 2.048000e+04 | Inf
167.45/167.53 c 168s|310000 |112757 | 1354k| 4.4 | 64M| 45 | - | 170 | 45 | 170 | 16 | 17 | 18k|4730 | 0.000000e+00 | 2.048000e+04 | Inf
171.95/172.06 c 172s|320000 |115192 | 1394k| 4.4 | 66M| 45 | - | 170 | 44 | 170 | 16 | 17 | 19k|4817 | 0.000000e+00 | 2.048000e+04 | Inf
176.65/176.72 c 177s|330000 |118019 | 1435k| 4.4 | 68M| 45 | 6 | 170 | 38 | 170 | 16 | 17 | 19k|4906 | 0.000000e+00 | 2.048000e+04 | Inf
181.24/181.33 c 181s|340000 |121084 | 1476k| 4.3 | 69M| 45 | 6 | 170 | 37 | 170 | 16 | 17 | 20k|4968 | 0.000000e+00 | 2.048000e+04 | Inf
185.76/185.81 c 186s|350000 |123532 | 1516k| 4.3 | 71M| 45 | - | 170 | 39 | 0 | 0 | 17 | 20k|5044 | 0.000000e+00 | 2.048000e+04 | Inf
190.25/190.37 c 190s|360000 |126189 | 1556k| 4.3 | 73M| 45 | 6 | 170 | 38 | 170 | 16 | 17 | 21k|5125 | 0.000000e+00 | 2.048000e+04 | Inf
194.75/194.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
194.75/194.82 c 195s|370000 |128667 | 1594k| 4.3 | 74M| 45 | 6 | 170 | 39 | 170 | 16 | 17 | 21k|5172 | 0.000000e+00 | 2.048000e+04 | Inf
199.14/199.23 c 199s|380000 |130777 | 1632k| 4.3 | 76M| 45 | 6 | 170 | 42 | 170 | 16 | 17 | 22k|5256 | 0.000000e+00 | 2.048000e+04 | Inf
203.45/203.56 c 204s|390000 |132578 | 1669k| 4.3 | 77M| 45 | 6 | 170 | 36 | 170 | 16 | 17 | 22k|5330 | 0.000000e+00 | 2.048000e+04 | Inf
207.74/207.84 c 208s|400000 |134535 | 1707k| 4.3 | 79M| 45 | - | 170 | 40 | 170 | 16 | 17 | 22k|5418 | 0.000000e+00 | 2.048000e+04 | Inf
212.15/212.26 c 212s|410000 |136370 | 1746k| 4.3 | 80M| 45 | 6 | 170 | 38 | 170 | 16 | 17 | 23k|5488 | 0.000000e+00 | 2.048000e+04 | Inf
218.85/218.99 c 219s|420000 |139147 | 1787k| 4.3 | 82M| 45 | - | 170 | 36 | 170 | 16 | 17 | 23k|5555 | 0.000000e+00 | 2.048000e+04 | Inf
223.24/223.36 c 223s|430000 |141390 | 1825k| 4.2 | 83M| 45 | - | 170 | 36 | 0 | 0 | 17 | 24k|5625 | 0.000000e+00 | 2.048000e+04 | Inf
227.54/227.70 c 228s|440000 |143181 | 1864k| 4.2 | 84M| 45 | 6 | 170 | 39 | 170 | 16 | 17 | 24k|5710 | 0.000000e+00 | 2.048000e+04 | Inf
231.95/232.02 c 232s|450000 |144973 | 1901k| 4.2 | 86M| 45 | 6 | 170 | 38 | 170 | 16 | 17 | 25k|5780 | 0.000000e+00 | 2.048000e+04 | Inf
236.24/236.39 c 236s|460000 |146572 | 1939k| 4.2 | 87M| 45 | 6 | 170 | 38 | 170 | 16 | 17 | 25k|5876 | 0.000000e+00 | 2.048000e+04 | Inf
240.74/240.82 c 241s|470000 |148571 | 1978k| 4.2 | 89M| 45 | - | 170 | 41 | 170 | 16 | 17 | 26k|5948 | 0.000000e+00 | 2.048000e+04 | Inf
244.93/245.08 c 245s|480000 |150139 | 2014k| 4.2 | 90M| 45 | 6 | 170 | 35 | 170 | 16 | 17 | 26k|6012 | 0.000000e+00 | 2.048000e+04 | Inf
249.53/249.64 c 250s|490000 |152510 | 2054k| 4.2 | 91M| 45 | 6 | 170 | 40 | 170 | 16 | 17 | 26k|6076 | 0.000000e+00 | 2.048000e+04 | Inf
253.94/254.02 c 254s|500000 |154021 | 2092k| 4.2 | 93M| 45 | 6 | 170 | 37 | 170 | 16 | 17 | 27k|6153 | 0.000000e+00 | 2.048000e+04 | Inf
258.43/258.52 c 259s|510000 |156304 | 2133k| 4.2 | 94M| 45 | 6 | 170 | 39 | 170 | 16 | 17 | 27k|6219 | 0.000000e+00 | 2.048000e+04 | Inf
262.73/262.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
262.73/262.85 c 263s|520000 |157863 | 2172k| 4.2 | 96M| 45 | 6 | 170 | 41 | 170 | 16 | 17 | 28k|6289 | 0.000000e+00 | 2.048000e+04 | Inf
267.13/267.23 c 267s|530000 |159293 | 2211k| 4.2 | 97M| 45 | 6 | 170 | 39 | 170 | 16 | 17 | 28k|6362 | 0.000000e+00 | 2.048000e+04 | Inf
271.54/271.60 c 272s|540000 |160901 | 2250k| 4.2 | 98M| 45 | - | 170 | 41 | 170 | 16 | 17 | 29k|6430 | 0.000000e+00 | 2.048000e+04 | Inf
275.83/275.93 c 276s|550000 |162830 | 2287k| 4.2 | 99M| 45 | - | 170 | 40 | 170 | 16 | 17 | 29k|6487 | 0.000000e+00 | 2.048000e+04 | Inf
280.13/280.24 c 280s|560000 |164601 | 2325k| 4.2 | 101M| 45 | 6 | 170 | 45 | 170 | 16 | 17 | 30k|6550 | 0.000000e+00 | 2.048000e+04 | Inf
284.42/284.58 c 285s|570000 |166392 | 2363k| 4.1 | 102M| 45 | 6 | 170 | 45 | 170 | 16 | 17 | 30k|6618 | 0.000000e+00 | 2.048000e+04 | Inf
288.72/288.87 c 289s|580000 |167994 | 2400k| 4.1 | 103M| 45 | 6 | 170 | 40 | 170 | 16 | 17 | 30k|6677 | 0.000000e+00 | 2.048000e+04 | Inf
293.02/293.13 c 293s|590000 |169381 | 2438k| 4.1 | 104M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 31k|6749 | 0.000000e+00 | 2.048000e+04 | Inf
297.22/297.39 o 19456
297.22/297.39 c * 297s|599847 |169763 | 2475k| 4.1 | 104M| 46 | - | 170 | 39 | 170 | 16 | 17 | 31k|6808 | 0.000000e+00 | 1.945600e+04 | Inf
297.32/297.45 c 297s|600000 |169779 | 2475k| 4.1 | 105M| 46 | - | 170 | 39 | 0 | 0 | 17 | 31k|6808 | 0.000000e+00 | 1.945600e+04 | Inf
305.92/306.09 c 306s|610000 |171084 | 2512k| 4.1 | 106M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 31k|6871 | 0.000000e+00 | 1.945600e+04 | Inf
310.32/310.44 c 310s|620000 |172504 | 2550k| 4.1 | 107M| 46 | - | 170 | 42 | 170 | 16 | 17 | 32k|6940 | 0.000000e+00 | 1.945600e+04 | Inf
314.53/314.69 c 315s|630000 |173810 | 2587k| 4.1 | 108M| 46 | 6 | 170 | 45 | 170 | 16 | 17 | 32k|6999 | 0.000000e+00 | 1.945600e+04 | Inf
318.83/318.96 c 319s|640000 |174914 | 2624k| 4.1 | 109M| 46 | - | 170 | 36 | 0 | 0 | 17 | 32k|7068 | 0.000000e+00 | 1.945600e+04 | Inf
323.12/323.29 c 323s|650000 |176259 | 2662k| 4.1 | 110M| 46 | - | 170 | 43 | 170 | 16 | 17 | 33k|7125 | 0.000000e+00 | 1.945600e+04 | Inf
327.52/327.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
327.52/327.64 c 328s|660000 |177876 | 2700k| 4.1 | 111M| 46 | 6 | 170 | 41 | 170 | 16 | 17 | 33k|7179 | 0.000000e+00 | 1.945600e+04 | Inf
331.81/331.91 c 332s|670000 |179166 | 2736k| 4.1 | 112M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 34k|7242 | 0.000000e+00 | 1.945600e+04 | Inf
336.21/336.30 c 336s|680000 |180843 | 2775k| 4.1 | 114M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 34k|7287 | 0.000000e+00 | 1.945600e+04 | Inf
340.51/340.68 c 341s|690000 |182478 | 2813k| 4.1 | 115M| 46 | - | 170 | 40 | 170 | 16 | 17 | 35k|7348 | 0.000000e+00 | 1.945600e+04 | Inf
344.81/344.96 c 345s|700000 |183718 | 2850k| 4.1 | 116M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 35k|7407 | 0.000000e+00 | 1.945600e+04 | Inf
349.20/349.32 c 349s|710000 |185363 | 2888k| 4.1 | 117M| 46 | - | 170 | 39 | 170 | 16 | 17 | 35k|7452 | 0.000000e+00 | 1.945600e+04 | Inf
353.51/353.61 c 354s|720000 |186856 | 2925k| 4.1 | 118M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 36k|7508 | 0.000000e+00 | 1.945600e+04 | Inf
357.81/357.91 c 358s|730000 |188186 | 2962k| 4.1 | 120M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 36k|7558 | 0.000000e+00 | 1.945600e+04 | Inf
362.20/362.33 c 362s|740000 |189824 | 3002k| 4.1 | 121M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 36k|7613 | 0.000000e+00 | 1.945600e+04 | Inf
362.60/362.78 o 10240
362.60/362.78 c * 363s|740852 |167835 | 3006k| 4.1 | 100M| 46 | - | 170 | 36 | 170 | 16 | 17 | 37k|7619 | 0.000000e+00 | 1.024000e+04 | Inf
370.20/370.32 c 370s|750000 |168502 | 3043k| 4.1 | 100M| 46 | - | 170 | 32 | 170 | 16 | 17 | 37k|7673 | 0.000000e+00 | 1.024000e+04 | Inf
374.20/374.34 c 374s|760000 |169185 | 3081k| 4.1 | 101M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 37k|7736 | 0.000000e+00 | 1.024000e+04 | Inf
378.21/378.34 c 378s|770000 |169667 | 3118k| 4.1 | 101M| 46 | - | 170 | 38 | 170 | 16 | 17 | 37k|7796 | 0.000000e+00 | 1.024000e+04 | Inf
382.20/382.36 c 382s|780000 |170369 | 3155k| 4.0 | 102M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 38k|7860 | 0.000000e+00 | 1.024000e+04 | Inf
386.20/386.39 c 386s|790000 |171516 | 3193k| 4.0 | 103M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 38k|7896 | 0.000000e+00 | 1.024000e+04 | Inf
392.30/392.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
392.30/392.40 c 392s|800000 |172318 | 3229k| 4.0 | 104M| 46 | - | 170 | 33 | 170 | 16 | 17 | 38k|7939 | 0.000000e+00 | 1.024000e+04 | Inf
396.19/396.35 c 396s|810000 |173079 | 3264k| 4.0 | 104M| 46 | - | 170 | 35 | 0 | 0 | 17 | 38k|7990 | 0.000000e+00 | 1.024000e+04 | Inf
400.30/400.43 c 400s|820000 |173650 | 3303k| 4.0 | 105M| 46 | - | 170 | 39 | 0 | 0 | 17 | 39k|8057 | 0.000000e+00 | 1.024000e+04 | Inf
404.19/404.39 c 404s|830000 |174279 | 3339k| 4.0 | 105M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 39k|8110 | 0.000000e+00 | 1.024000e+04 | Inf
408.20/408.32 c 408s|840000 |174840 | 3375k| 4.0 | 106M| 46 | - | 170 | 39 | 0 | 0 | 17 | 39k|8163 | 0.000000e+00 | 1.024000e+04 | Inf
414.29/414.45 c 414s|850000 |175809 | 3412k| 4.0 | 107M| 46 | - | 170 | 35 | 170 | 16 | 17 | 40k|8210 | 0.000000e+00 | 1.024000e+04 | Inf
418.19/418.31 c 418s|860000 |176772 | 3448k| 4.0 | 107M| 46 | 6 | 170 | 32 | 170 | 16 | 17 | 40k|8253 | 0.000000e+00 | 1.024000e+04 | Inf
421.99/422.17 c 422s|870000 |177619 | 3482k| 4.0 | 108M| 46 | - | 170 | 35 | 170 | 16 | 17 | 40k|8297 | 0.000000e+00 | 1.024000e+04 | Inf
425.89/426.04 c 426s|880000 |178084 | 3516k| 4.0 | 108M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 40k|8341 | 0.000000e+00 | 1.024000e+04 | Inf
429.90/430.05 c 430s|890000 |178671 | 3553k| 4.0 | 109M| 46 | - | 170 | 34 | 170 | 16 | 17 | 41k|8393 | 0.000000e+00 | 1.024000e+04 | Inf
433.79/433.95 c 434s|900000 |179120 | 3589k| 4.0 | 109M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 41k|8440 | 0.000000e+00 | 1.024000e+04 | Inf
437.78/437.90 c 438s|910000 |179502 | 3626k| 4.0 | 110M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 41k|8493 | 0.000000e+00 | 1.024000e+04 | Inf
441.58/441.77 c 442s|920000 |179759 | 3661k| 4.0 | 110M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 41k|8547 | 0.000000e+00 | 1.024000e+04 | Inf
445.48/445.66 c 446s|930000 |180183 | 3696k| 4.0 | 111M| 46 | - | 170 | 33 | 0 | 0 | 17 | 42k|8588 | 0.000000e+00 | 1.024000e+04 | Inf
449.38/449.57 c 450s|940000 |180542 | 3731k| 4.0 | 111M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 42k|8637 | 0.000000e+00 | 1.024000e+04 | Inf
455.48/455.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
455.48/455.67 c 456s|950000 |180907 | 3766k| 4.0 | 111M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 42k|8685 | 0.000000e+00 | 1.024000e+04 | Inf
459.48/459.61 c 460s|960000 |181319 | 3803k| 4.0 | 112M| 46 | - | 170 | 36 | 170 | 16 | 17 | 43k|8741 | 0.000000e+00 | 1.024000e+04 | Inf
463.28/463.47 c 463s|970000 |181473 | 3837k| 4.0 | 112M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 43k|8786 | 0.000000e+00 | 1.024000e+04 | Inf
467.18/467.36 c 467s|980000 |181733 | 3871k| 4.0 | 113M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 43k|8836 | 0.000000e+00 | 1.024000e+04 | Inf
471.08/471.26 c 471s|990000 |181871 | 3907k| 3.9 | 113M| 46 | - | 170 | 36 | 170 | 16 | 17 | 43k|8899 | 0.000000e+00 | 1.024000e+04 | Inf
474.98/475.18 c 475s| 1000k|182265 | 3942k| 3.9 | 113M| 46 | - | 170 | 36 | 170 | 16 | 17 | 44k|8949 | 0.000000e+00 | 1.024000e+04 | Inf
478.87/479.09 c 479s| 1010k|182443 | 3978k| 3.9 | 114M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 44k|8999 | 0.000000e+00 | 1.024000e+04 | Inf
482.78/482.98 c 483s| 1020k|183336 | 4012k| 3.9 | 114M| 46 | - | 170 | 36 | 170 | 16 | 17 | 44k|9047 | 0.000000e+00 | 1.024000e+04 | Inf
486.57/486.76 c 487s| 1030k|183868 | 4045k| 3.9 | 115M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 44k|9084 | 0.000000e+00 | 1.024000e+04 | Inf
490.38/490.55 c 491s| 1040k|184243 | 4079k| 3.9 | 115M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 45k|9128 | 0.000000e+00 | 1.024000e+04 | Inf
494.07/494.29 c 494s| 1050k|184518 | 4112k| 3.9 | 115M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 45k|9185 | 0.000000e+00 | 1.024000e+04 | Inf
497.87/498.09 c 498s| 1060k|185127 | 4145k| 3.9 | 116M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 45k|9223 | 0.000000e+00 | 1.024000e+04 | Inf
501.57/501.78 c 502s| 1070k|185278 | 4177k| 3.9 | 116M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 45k|9252 | 0.000000e+00 | 1.024000e+04 | Inf
505.37/505.51 c 506s| 1080k|185342 | 4208k| 3.9 | 116M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 46k|9298 | 0.000000e+00 | 1.024000e+04 | Inf
509.17/509.31 c 509s| 1090k|185464 | 4243k| 3.9 | 117M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 46k|9338 | 0.000000e+00 | 1.024000e+04 | Inf
512.96/513.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
512.96/513.19 c 513s| 1100k|185525 | 4276k| 3.9 | 117M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 46k|9383 | 0.000000e+00 | 1.024000e+04 | Inf
516.87/517.08 c 517s| 1110k|185581 | 4311k| 3.9 | 117M| 46 | - | 170 | 42 | 170 | 16 | 17 | 46k|9432 | 0.000000e+00 | 1.024000e+04 | Inf
520.67/520.82 c 521s| 1120k|185731 | 4344k| 3.9 | 117M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 47k|9489 | 0.000000e+00 | 1.024000e+04 | Inf
524.47/524.67 c 525s| 1130k|185649 | 4378k| 3.9 | 118M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 47k|9539 | 0.000000e+00 | 1.024000e+04 | Inf
528.27/528.50 c 528s| 1140k|185742 | 4412k| 3.9 | 118M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 47k|9578 | 0.000000e+00 | 1.024000e+04 | Inf
532.17/532.34 c 532s| 1150k|186078 | 4447k| 3.9 | 118M| 46 | - | 170 | 36 | 0 | 0 | 17 | 47k|9637 | 0.000000e+00 | 1.024000e+04 | Inf
535.97/536.16 c 536s| 1160k|186747 | 4481k| 3.9 | 119M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 48k|9689 | 0.000000e+00 | 1.024000e+04 | Inf
539.76/539.99 c 540s| 1170k|186446 | 4515k| 3.9 | 119M| 46 | - | 170 | 36 | 0 | 0 | 17 | 48k|9740 | 0.000000e+00 | 1.024000e+04 | Inf
543.76/543.97 c 544s| 1180k|187708 | 4552k| 3.9 | 120M| 46 | - | 170 | 34 | 170 | 16 | 17 | 48k|9779 | 0.000000e+00 | 1.024000e+04 | Inf
547.66/547.82 c 548s| 1190k|188916 | 4586k| 3.9 | 120M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 49k|9828 | 0.000000e+00 | 1.024000e+04 | Inf
551.46/551.68 c 552s| 1200k|189865 | 4622k| 3.9 | 121M| 46 | - | 170 | 33 | 170 | 16 | 17 | 49k|9871 | 0.000000e+00 | 1.024000e+04 | Inf
555.37/555.52 c 556s| 1210k|190532 | 4657k| 3.8 | 122M| 46 | - | 170 | 33 | 170 | 16 | 17 | 49k|9913 | 0.000000e+00 | 1.024000e+04 | Inf
559.16/559.32 c 559s| 1220k|191225 | 4691k| 3.8 | 122M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 50k|9950 | 0.000000e+00 | 1.024000e+04 | Inf
562.96/563.12 c 563s| 1230k|191928 | 4725k| 3.8 | 123M| 46 | - | 170 | 35 | 0 | 0 | 17 | 50k|9988 | 0.000000e+00 | 1.024000e+04 | Inf
566.66/566.88 c 567s| 1240k|192515 | 4758k| 3.8 | 123M| 46 | 6 | 170 | 32 | 170 | 16 | 17 | 50k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
570.46/570.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
570.46/570.65 c 571s| 1250k|192725 | 4791k| 3.8 | 124M| 46 | - | 170 | 33 | 170 | 16 | 17 | 51k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
574.25/574.46 c 574s| 1260k|192824 | 4825k| 3.8 | 124M| 46 | - | 170 | 38 | 170 | 16 | 17 | 51k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
578.05/578.22 c 578s| 1270k|192984 | 4858k| 3.8 | 124M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 51k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
581.85/582.02 c 582s| 1280k|193464 | 4892k| 3.8 | 125M| 46 | - | 170 | 33 | 170 | 16 | 17 | 52k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
585.55/585.76 c 586s| 1290k|193604 | 4925k| 3.8 | 125M| 46 | - | 170 | 35 | 0 | 0 | 17 | 52k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
589.35/589.56 c 590s| 1300k|193426 | 4957k| 3.8 | 125M| 46 | - | 170 | 34 | 170 | 16 | 17 | 52k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
593.15/593.33 c 593s| 1310k|193538 | 4991k| 3.8 | 125M| 46 | - | 170 | 39 | 170 | 16 | 17 | 52k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
596.95/597.14 c 597s| 1320k|193636 | 5024k| 3.8 | 126M| 46 | - | 170 | 44 | 170 | 16 | 17 | 53k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
600.75/600.92 c 601s| 1330k|193492 | 5057k| 3.8 | 126M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 53k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
604.64/604.82 c 605s| 1340k|194231 | 5092k| 3.8 | 126M| 46 | - | 170 | 44 | 170 | 16 | 17 | 53k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
608.44/608.67 c 609s| 1350k|194862 | 5127k| 3.8 | 127M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 53k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
612.55/612.72 c 613s| 1360k|195713 | 5165k| 3.8 | 128M| 46 | - | 170 | 40 | 170 | 16 | 17 | 54k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
616.64/616.80 c 617s| 1370k|196763 | 5200k| 3.8 | 128M| 46 | - | 170 | 34 | 170 | 16 | 17 | 54k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
620.44/620.62 c 621s| 1380k|197232 | 5235k| 3.8 | 129M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 55k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
624.34/624.57 c 625s| 1390k|198456 | 5272k| 3.8 | 130M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 55k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
628.24/628.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
628.24/628.47 c 628s| 1400k|199479 | 5308k| 3.8 | 130M| 46 | - | 170 | 38 | 170 | 16 | 17 | 55k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
632.25/632.47 c 632s| 1410k|200503 | 5345k| 3.8 | 131M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 56k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
636.65/636.85 c 637s| 1420k|202892 | 5386k| 3.8 | 132M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 56k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
641.05/641.22 c 641s| 1430k|205688 | 5425k| 3.8 | 134M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 56k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
645.24/645.42 c 645s| 1440k|208070 | 5464k| 3.8 | 135M| 46 | - | 170 | 38 | 0 | 0 | 17 | 57k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
649.23/649.47 c 649s| 1450k|209765 | 5500k| 3.8 | 136M| 46 | - | 170 | 39 | 170 | 16 | 17 | 57k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
653.33/653.51 c 653s| 1460k|211210 | 5536k| 3.8 | 137M| 46 | - | 170 | 40 | 170 | 16 | 17 | 57k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
657.33/657.52 c 658s| 1470k|212844 | 5572k| 3.8 | 138M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 58k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
661.33/661.52 c 662s| 1480k|214372 | 5609k| 3.8 | 139M| 46 | - | 170 | 39 | 0 | 0 | 17 | 58k| 10k| 0.000000e+00 | 1.024000e+04 | Inf
665.34/665.56 c 666s| 1490k|215742 | 5645k| 3.8 | 140M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 59k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
669.43/669.65 c 670s| 1500k|217517 | 5683k| 3.8 | 141M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 59k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
673.63/673.85 c 674s| 1510k|220045 | 5721k| 3.8 | 143M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 59k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
677.73/677.98 c 678s| 1520k|222120 | 5759k| 3.8 | 144M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 60k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
681.93/682.19 c 682s| 1530k|224319 | 5798k| 3.8 | 145M| 46 | - | 170 | 38 | 170 | 16 | 17 | 60k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
686.03/686.23 c 686s| 1540k|226190 | 5834k| 3.8 | 146M| 46 | - | 170 | 37 | 170 | 16 | 17 | 60k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
690.02/690.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
690.02/690.27 c 690s| 1550k|227814 | 5871k| 3.8 | 147M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 61k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
696.22/696.44 c 696s| 1560k|229440 | 5907k| 3.8 | 148M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 61k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
700.33/700.55 c 701s| 1570k|231076 | 5943k| 3.8 | 149M| 46 | - | 170 | 39 | 170 | 16 | 17 | 61k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
704.42/704.63 c 705s| 1580k|232474 | 5980k| 3.8 | 150M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 62k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
708.52/708.75 c 709s| 1590k|234107 | 6016k| 3.8 | 151M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 62k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
712.53/712.75 c 713s| 1600k|235254 | 6052k| 3.8 | 152M| 46 | - | 170 | 37 | 170 | 16 | 17 | 63k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
716.52/716.75 c 717s| 1610k|236290 | 6088k| 3.8 | 153M| 46 | - | 170 | 38 | 0 | 0 | 17 | 63k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
720.41/720.67 c 721s| 1620k|237194 | 6123k| 3.8 | 154M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 63k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
724.40/724.63 c 725s| 1630k|238201 | 6157k| 3.8 | 154M| 46 | - | 170 | 40 | 170 | 16 | 17 | 63k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
728.30/728.58 c 729s| 1640k|239012 | 6192k| 3.8 | 155M| 46 | - | 170 | 38 | 170 | 16 | 17 | 64k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
732.31/732.53 c 733s| 1650k|239980 | 6227k| 3.8 | 156M| 46 | - | 170 | 38 | 170 | 16 | 17 | 64k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
736.20/736.43 c 736s| 1660k|240766 | 6262k| 3.8 | 156M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 64k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
740.10/740.32 c 740s| 1670k|241718 | 6296k| 3.8 | 157M| 46 | - | 170 | 40 | 170 | 16 | 17 | 65k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
744.10/744.31 c 744s| 1680k|242627 | 6332k| 3.8 | 158M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 65k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
748.10/748.39 c 748s| 1690k|243924 | 6368k| 3.8 | 159M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 65k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
752.20/752.46 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
752.20/752.46 c 752s| 1700k|245671 | 6405k| 3.8 | 160M| 46 | - | 170 | 34 | 170 | 16 | 17 | 65k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
756.20/756.42 c 756s| 1710k|246980 | 6441k| 3.8 | 161M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 66k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
760.19/760.42 c 760s| 1720k|248137 | 6477k| 3.8 | 161M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 66k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
764.60/764.80 c 765s| 1730k|250287 | 6517k| 3.8 | 163M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 66k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
768.60/768.89 c 769s| 1740k|251773 | 6555k| 3.8 | 164M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 67k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
772.99/773.25 c 773s| 1750k|254069 | 6595k| 3.8 | 165M| 46 | - | 170 | 39 | 170 | 16 | 17 | 67k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
777.19/777.40 c 777s| 1760k|256206 | 6633k| 3.8 | 166M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 68k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
781.39/781.60 c 782s| 1770k|258285 | 6671k| 3.8 | 167M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 68k| 11k| 0.000000e+00 | 1.024000e+04 | Inf
785.38/785.67 c 786s| 1780k|259777 | 6708k| 3.8 | 168M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 68k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
789.50/789.70 c 790s| 1790k|261315 | 6745k| 3.8 | 169M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 68k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
793.58/793.85 c 794s| 1800k|263152 | 6782k| 3.8 | 170M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 69k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
797.58/797.86 c 798s| 1810k|264582 | 6818k| 3.8 | 171M| 46 | - | 170 | 35 | 170 | 16 | 17 | 69k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
801.59/801.85 c 802s| 1820k|265522 | 6854k| 3.8 | 172M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 70k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
805.58/805.84 c 806s| 1830k|266490 | 6891k| 3.8 | 173M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 70k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
809.48/809.76 c 810s| 1840k|267597 | 6926k| 3.8 | 174M| 46 | - | 170 | 33 | 170 | 16 | 17 | 70k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
813.48/813.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
813.48/813.76 c 814s| 1850k|268653 | 6962k| 3.8 | 174M| 46 | 6 | 170 | 32 | 170 | 16 | 17 | 70k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
817.48/817.74 c 818s| 1860k|269728 | 6998k| 3.8 | 175M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 71k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
821.39/821.70 c 822s| 1870k|270532 | 7034k| 3.8 | 176M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 71k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
825.38/825.63 c 826s| 1880k|271338 | 7069k| 3.8 | 177M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 71k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
829.28/829.50 c 829s| 1890k|272049 | 7103k| 3.8 | 177M| 46 | 6 | 170 | 32 | 170 | 16 | 17 | 72k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
833.18/833.45 c 833s| 1900k|272851 | 7138k| 3.8 | 178M| 46 | - | 170 | 39 | 170 | 16 | 17 | 72k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
837.18/837.41 c 837s| 1910k|273667 | 7173k| 3.8 | 178M| 46 | - | 170 | 36 | 170 | 16 | 17 | 72k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
841.18/841.46 c 841s| 1920k|274676 | 7211k| 3.8 | 179M| 46 | - | 170 | 40 | 170 | 16 | 17 | 73k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
845.17/845.42 c 845s| 1930k|275287 | 7246k| 3.8 | 180M| 46 | - | 170 | 37 | 0 | 0 | 17 | 73k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
849.17/849.40 c 849s| 1940k|276176 | 7282k| 3.8 | 181M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 73k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
853.07/853.35 c 853s| 1950k|276937 | 7317k| 3.8 | 181M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 74k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
857.07/857.33 c 857s| 1960k|277393 | 7353k| 3.8 | 182M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 74k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
861.07/861.34 c 861s| 1970k|278120 | 7388k| 3.8 | 182M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 74k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
864.97/865.23 c 865s| 1980k|278941 | 7422k| 3.7 | 183M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 74k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
868.97/869.20 c 869s| 1990k|279880 | 7457k| 3.7 | 184M| 46 | - | 170 | 35 | 170 | 16 | 17 | 75k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
872.87/873.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
872.87/873.11 c 873s| 2000k|280324 | 7491k| 3.7 | 184M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 75k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
876.77/877.02 c 877s| 2010k|280889 | 7526k| 3.7 | 185M| 46 | - | 170 | 36 | 170 | 16 | 17 | 75k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
880.66/880.93 c 881s| 2020k|281329 | 7561k| 3.7 | 185M| 46 | - | 170 | 36 | 170 | 16 | 17 | 76k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
884.56/884.83 c 885s| 2030k|281817 | 7595k| 3.7 | 186M| 46 | - | 170 | 41 | 170 | 16 | 17 | 76k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
888.47/888.78 c 889s| 2040k|281950 | 7630k| 3.7 | 186M| 46 | - | 170 | 38 | 0 | 0 | 17 | 76k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
892.46/892.72 c 893s| 2050k|282331 | 7665k| 3.7 | 186M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 76k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
896.36/896.61 c 897s| 2060k|282969 | 7701k| 3.7 | 187M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 77k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
900.36/900.61 c 901s| 2070k|283425 | 7736k| 3.7 | 187M| 46 | - | 170 | 35 | 170 | 16 | 17 | 77k| 12k| 0.000000e+00 | 1.024000e+04 | Inf
904.26/904.55 c 905s| 2080k|283857 | 7772k| 3.7 | 188M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 77k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
908.26/908.51 c 908s| 2090k|284293 | 7806k| 3.7 | 188M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 78k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
912.15/912.46 c 912s| 2100k|284690 | 7841k| 3.7 | 189M| 46 | - | 170 | 35 | 170 | 16 | 17 | 78k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
916.06/916.34 c 916s| 2110k|285125 | 7876k| 3.7 | 189M| 46 | 6 | 170 | 44 | 170 | 16 | 17 | 78k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
920.05/920.33 c 920s| 2120k|285787 | 7911k| 3.7 | 190M| 46 | - | 170 | 37 | 0 | 0 | 17 | 79k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
923.95/924.29 c 924s| 2130k|285951 | 7947k| 3.7 | 190M| 46 | - | 170 | 40 | 0 | 0 | 17 | 79k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
927.85/928.18 c 928s| 2140k|286434 | 7981k| 3.7 | 191M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 79k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
931.75/932.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.75/932.01 c 932s| 2150k|286946 | 8015k| 3.7 | 191M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 80k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
935.55/935.88 c 936s| 2160k|287527 | 8049k| 3.7 | 192M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 80k| 13k| 0.000000e+00 | 1.024000e+04 | Inf
936.86/937.19 o 9216
936.86/937.19 c * 937s| 2163k|282979 | 8061k| 3.7 | 187M| 46 | - | 170 | 35 | 170 | 16 | 17 | 80k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
942.75/943.07 c 943s| 2170k|283224 | 8084k| 3.7 | 187M| 46 | - | 170 | 37 | 170 | 16 | 17 | 80k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
946.65/946.96 c 947s| 2180k|283430 | 8118k| 3.7 | 187M| 46 | - | 170 | 38 | 170 | 16 | 17 | 81k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
950.54/950.87 c 951s| 2190k|283769 | 8153k| 3.7 | 188M| 46 | - | 170 | 35 | 170 | 16 | 17 | 81k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
954.46/954.78 c 955s| 2200k|284081 | 8187k| 3.7 | 188M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 81k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
958.34/958.62 c 959s| 2210k|284354 | 8220k| 3.7 | 189M| 46 | 6 | 170 | 43 | 170 | 16 | 17 | 81k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
962.25/962.55 c 963s| 2220k|285470 | 8254k| 3.7 | 189M| 46 | 6 | 170 | 47 | 170 | 16 | 17 | 82k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
966.15/966.41 c 966s| 2230k|285819 | 8287k| 3.7 | 190M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 82k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
969.95/970.23 c 970s| 2240k|286025 | 8320k| 3.7 | 190M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 82k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
973.74/974.05 c 974s| 2250k|286449 | 8355k| 3.7 | 190M| 46 | - | 170 | 39 | 170 | 16 | 17 | 83k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
977.64/977.94 c 978s| 2260k|287101 | 8388k| 3.7 | 191M| 46 | - | 170 | 37 | 170 | 16 | 17 | 83k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
981.44/981.79 c 982s| 2270k|287286 | 8421k| 3.7 | 191M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 83k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
985.35/985.68 c 986s| 2280k|288015 | 8455k| 3.7 | 192M| 46 | - | 170 | 36 | 0 | 0 | 17 | 83k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
989.14/989.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
989.14/989.47 c 989s| 2290k|288075 | 8488k| 3.7 | 192M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 84k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
992.95/993.30 c 993s| 2300k|288523 | 8521k| 3.7 | 193M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 84k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
996.74/997.02 c 997s| 2310k|289011 | 8554k| 3.7 | 193M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 84k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1000.53/1000.89 c 1001s| 2320k|289299 | 8590k| 3.7 | 193M| 46 | - | 170 | 33 | 170 | 16 | 17 | 85k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1004.43/1004.74 c 1005s| 2330k|289397 | 8623k| 3.7 | 194M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 85k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1008.24/1008.57 c 1009s| 2340k|289760 | 8658k| 3.7 | 194M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 85k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1012.04/1012.36 c 1012s| 2350k|289860 | 8691k| 3.7 | 194M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 85k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1015.93/1016.25 c 1016s| 2360k|290341 | 8727k| 3.7 | 195M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 86k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1019.83/1020.16 c 1020s| 2370k|290575 | 8762k| 3.7 | 195M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 86k| 13k| 0.000000e+00 | 9.216000e+03 | Inf
1023.73/1024.01 c 1024s| 2380k|290794 | 8796k| 3.7 | 195M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 86k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1027.63/1027.99 c 1028s| 2390k|291719 | 8833k| 3.7 | 196M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 86k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1031.43/1031.79 c 1032s| 2400k|292011 | 8867k| 3.7 | 196M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 87k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1035.33/1035.62 c 1036s| 2410k|292151 | 8901k| 3.7 | 197M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 87k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1039.13/1039.48 c 1039s| 2420k|292363 | 8936k| 3.7 | 197M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 87k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1043.02/1043.30 c 1043s| 2430k|292418 | 8969k| 3.7 | 197M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 88k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1046.83/1047.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1046.83/1047.15 c 1047s| 2440k|292835 | 9004k| 3.7 | 198M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 88k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1050.62/1050.96 c 1051s| 2450k|293007 | 9037k| 3.7 | 198M| 46 | - | 170 | 40 | 0 | 0 | 17 | 88k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1054.42/1054.78 c 1055s| 2460k|293082 | 9070k| 3.7 | 198M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 88k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1058.33/1058.65 c 1059s| 2470k|293060 | 9104k| 3.7 | 198M| 46 | - | 170 | 35 | 0 | 0 | 17 | 89k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1062.12/1062.48 c 1062s| 2480k|293230 | 9137k| 3.7 | 199M| 46 | - | 170 | 33 | 170 | 16 | 17 | 89k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1065.92/1066.27 c 1066s| 2490k|293373 | 9171k| 3.7 | 199M| 46 | - | 170 | 35 | 170 | 16 | 17 | 89k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1069.72/1070.07 c 1070s| 2500k|293510 | 9204k| 3.7 | 199M| 46 | - | 170 | 36 | 170 | 16 | 17 | 90k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1073.62/1073.90 c 1074s| 2510k|293630 | 9237k| 3.7 | 199M| 46 | 6 | 170 | 41 | 170 | 16 | 17 | 90k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1077.42/1077.79 c 1078s| 2520k|293746 | 9271k| 3.7 | 200M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 90k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1081.22/1081.56 c 1082s| 2530k|293871 | 9305k| 3.7 | 200M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 90k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1084.91/1085.24 c 1085s| 2540k|294009 | 9337k| 3.7 | 200M| 46 | - | 170 | 38 | 170 | 16 | 17 | 91k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1088.81/1089.13 c 1089s| 2550k|294147 | 9370k| 3.7 | 200M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 91k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1092.61/1092.95 c 1093s| 2560k|294074 | 9403k| 3.7 | 200M| 46 | 6 | 170 | 32 | 170 | 16 | 17 | 91k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1096.42/1096.77 c 1097s| 2570k|294506 | 9437k| 3.7 | 201M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 92k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1100.21/1100.54 c 1101s| 2580k|294649 | 9470k| 3.7 | 201M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 92k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1104.02/1104.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1104.02/1104.33 c 1104s| 2590k|294640 | 9503k| 3.7 | 201M| 46 | - | 170 | 36 | 170 | 16 | 17 | 92k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1107.81/1108.14 c 1108s| 2600k|294667 | 9536k| 3.7 | 202M| 46 | - | 170 | 34 | 170 | 16 | 17 | 92k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1111.61/1111.96 c 1112s| 2610k|295149 | 9569k| 3.7 | 202M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 93k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1115.31/1115.68 c 1116s| 2620k|294987 | 9601k| 3.7 | 202M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 93k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1119.11/1119.46 c 1119s| 2630k|295018 | 9633k| 3.7 | 202M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 93k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1122.90/1123.25 c 1123s| 2640k|295035 | 9666k| 3.7 | 202M| 46 | - | 170 | 35 | 0 | 0 | 17 | 93k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1126.70/1127.06 c 1127s| 2650k|295167 | 9699k| 3.7 | 203M| 46 | - | 170 | 42 | 0 | 0 | 17 | 94k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1130.51/1130.84 c 1131s| 2660k|295318 | 9732k| 3.7 | 203M| 46 | - | 170 | 40 | 0 | 0 | 17 | 94k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1134.20/1134.56 c 1135s| 2670k|295915 | 9764k| 3.7 | 203M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 94k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1137.90/1138.24 c 1138s| 2680k|295706 | 9795k| 3.7 | 204M| 46 | - | 170 | 37 | 170 | 16 | 17 | 95k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1141.70/1142.09 c 1142s| 2690k|295757 | 9830k| 3.7 | 204M| 46 | - | 170 | 42 | 170 | 16 | 17 | 95k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1145.90/1146.23 c 1146s| 2700k|296998 | 9867k| 3.7 | 205M| 46 | 6 | 170 | 41 | 170 | 16 | 17 | 95k| 14k| 0.000000e+00 | 9.216000e+03 | Inf
1150.00/1150.35 c 1150s| 2710k|298259 | 9904k| 3.7 | 205M| 46 | - | 170 | 39 | 170 | 16 | 17 | 95k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1154.00/1154.36 c 1154s| 2720k|298976 | 9940k| 3.7 | 206M| 46 | - | 170 | 36 | 170 | 16 | 17 | 96k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1158.01/1158.35 c 1158s| 2730k|299787 | 9977k| 3.7 | 207M| 46 | - | 170 | 37 | 170 | 16 | 17 | 96k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1162.00/1162.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1162.00/1162.30 c 1162s| 2740k|300192 | 10012k| 3.7 | 207M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 96k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1165.90/1166.20 c 1166s| 2750k|300382 | 10047k| 3.7 | 207M| 46 | - | 170 | 41 | 170 | 16 | 17 | 96k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1169.80/1170.13 c 1170s| 2760k|300639 | 10083k| 3.7 | 208M| 46 | - | 170 | 36 | 170 | 16 | 17 | 97k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1173.59/1173.97 c 1174s| 2770k|300926 | 10117k| 3.7 | 208M| 46 | - | 170 | 35 | 170 | 16 | 17 | 97k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1177.49/1177.81 c 1178s| 2780k|300981 | 10151k| 3.7 | 208M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 97k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1181.39/1181.73 c 1182s| 2790k|301175 | 10186k| 3.7 | 209M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 97k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1185.29/1185.62 c 1186s| 2800k|301148 | 10220k| 3.7 | 209M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 98k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1189.09/1189.46 c 1189s| 2810k|301325 | 10254k| 3.6 | 209M| 46 | - | 170 | 35 | 170 | 16 | 17 | 98k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1192.99/1193.36 c 1193s| 2820k|301237 | 10288k| 3.6 | 209M| 46 | - | 170 | 37 | 0 | 0 | 17 | 98k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1196.88/1197.24 c 1197s| 2830k|301219 | 10322k| 3.6 | 210M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 98k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1200.80/1201.16 c 1201s| 2840k|301337 | 10357k| 3.6 | 210M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 98k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1204.69/1205.02 c 1205s| 2850k|301190 | 10391k| 3.6 | 210M| 46 | 6 | 170 | 41 | 170 | 16 | 17 | 99k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1208.49/1208.80 c 1209s| 2860k|301054 | 10423k| 3.6 | 210M| 46 | - | 170 | 39 | 170 | 16 | 17 | 99k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1212.28/1212.66 c 1213s| 2870k|300868 | 10457k| 3.6 | 210M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 99k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1216.08/1216.49 c 1216s| 2880k|300699 | 10490k| 3.6 | 210M| 46 | - | 170 | 35 | 170 | 16 | 17 | 99k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1219.99/1220.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1219.99/1220.30 c 1220s| 2890k|300710 | 10524k| 3.6 | 210M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 100k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1223.78/1224.19 c 1224s| 2900k|300501 | 10559k| 3.6 | 210M| 46 | - | 170 | 39 | 170 | 16 | 17 | 100k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1227.68/1228.07 c 1228s| 2910k|300235 | 10593k| 3.6 | 210M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 100k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1231.48/1231.88 c 1232s| 2920k|300286 | 10626k| 3.6 | 210M| 46 | - | 170 | 45 | 170 | 16 | 17 | 100k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1235.28/1235.61 c 1236s| 2930k|300322 | 10659k| 3.6 | 210M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 100k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1238.98/1239.35 c 1239s| 2940k|300238 | 10691k| 3.6 | 211M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 101k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1242.78/1243.13 c 1243s| 2950k|300088 | 10725k| 3.6 | 211M| 46 | 6 | 170 | 41 | 170 | 16 | 17 | 101k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1246.58/1246.90 c 1247s| 2960k|299947 | 10757k| 3.6 | 211M| 46 | - | 170 | 37 | 0 | 0 | 17 | 101k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1250.38/1250.71 c 1251s| 2970k|299855 | 10791k| 3.6 | 211M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 102k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1254.17/1254.53 c 1255s| 2980k|299928 | 10824k| 3.6 | 211M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 102k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1259.77/1260.17 c 1260s| 2990k|299931 | 10856k| 3.6 | 211M| 46 | - | 170 | 36 | 170 | 16 | 17 | 102k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1263.68/1264.04 c 1264s| 3000k|300014 | 10890k| 3.6 | 211M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 102k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1267.37/1267.79 c 1268s| 3010k|300009 | 10922k| 3.6 | 211M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 103k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1271.17/1271.60 c 1272s| 3020k|300098 | 10956k| 3.6 | 212M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 103k| 15k| 0.000000e+00 | 9.216000e+03 | Inf
1275.06/1275.46 c 1275s| 3030k|300407 | 10992k| 3.6 | 212M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 103k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1278.98/1279.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1278.98/1279.32 c 1279s| 3040k|300354 | 11027k| 3.6 | 212M| 46 | - | 170 | 35 | 170 | 16 | 17 | 103k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1282.77/1283.16 c 1283s| 3050k|300436 | 11062k| 3.6 | 212M| 46 | - | 170 | 32 | 170 | 16 | 17 | 104k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1286.58/1286.91 c 1287s| 3060k|300311 | 11095k| 3.6 | 212M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 104k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1290.37/1290.75 c 1291s| 3070k|300496 | 11128k| 3.6 | 213M| 46 | - | 170 | 35 | 170 | 16 | 17 | 104k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1294.16/1294.52 c 1295s| 3080k|300446 | 11162k| 3.6 | 213M| 46 | - | 170 | 34 | 0 | 0 | 17 | 104k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1297.96/1298.40 c 1298s| 3090k|301075 | 11196k| 3.6 | 213M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 105k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1301.86/1302.22 c 1302s| 3100k|301137 | 11230k| 3.6 | 213M| 46 | - | 170 | 35 | 170 | 16 | 17 | 105k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1305.66/1306.03 c 1306s| 3110k|301035 | 11263k| 3.6 | 214M| 46 | - | 170 | 32 | 170 | 16 | 17 | 105k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1309.56/1309.90 c 1310s| 3120k|300857 | 11297k| 3.6 | 214M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 105k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1313.36/1313.77 c 1314s| 3130k|301345 | 11332k| 3.6 | 214M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 106k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1317.26/1317.62 c 1318s| 3140k|301343 | 11366k| 3.6 | 214M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 106k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1320.96/1321.39 c 1321s| 3150k|301081 | 11398k| 3.6 | 214M| 46 | - | 170 | 35 | 0 | 0 | 17 | 106k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1324.76/1325.16 c 1325s| 3160k|301126 | 11431k| 3.6 | 214M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 107k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1328.56/1328.90 c 1329s| 3170k|301274 | 11464k| 3.6 | 215M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 107k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1332.35/1332.72 c 1333s| 3180k|301482 | 11496k| 3.6 | 215M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 107k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1336.16/1336.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1336.16/1336.56 c 1337s| 3190k|301748 | 11530k| 3.6 | 215M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 107k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1339.95/1340.30 c 1340s| 3200k|301394 | 11563k| 3.6 | 215M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 108k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1343.66/1344.09 c 1344s| 3210k|301283 | 11598k| 3.6 | 215M| 46 | - | 170 | 35 | 170 | 16 | 17 | 108k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1347.45/1347.87 c 1348s| 3220k|301206 | 11631k| 3.6 | 215M| 46 | - | 170 | 35 | 170 | 16 | 17 | 108k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1351.25/1351.65 c 1352s| 3230k|301371 | 11665k| 3.6 | 215M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 108k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1355.05/1355.42 c 1355s| 3240k|301355 | 11697k| 3.6 | 216M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 109k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1358.85/1359.24 c 1359s| 3250k|301702 | 11730k| 3.6 | 216M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 109k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1362.65/1363.01 c 1363s| 3260k|301667 | 11762k| 3.6 | 216M| 46 | - | 170 | 36 | 170 | 16 | 17 | 109k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1366.45/1366.82 c 1367s| 3270k|302049 | 11795k| 3.6 | 216M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 109k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1370.25/1370.66 c 1371s| 3280k|302456 | 11830k| 3.6 | 217M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 110k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1374.04/1374.46 c 1374s| 3290k|302447 | 11863k| 3.6 | 217M| 46 | - | 170 | 35 | 170 | 16 | 17 | 110k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1377.85/1378.20 c 1378s| 3300k|302042 | 11896k| 3.6 | 217M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 110k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1381.64/1382.03 c 1382s| 3310k|302307 | 11929k| 3.6 | 217M| 46 | - | 170 | 35 | 0 | 0 | 17 | 110k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1385.45/1385.82 c 1386s| 3320k|302317 | 11960k| 3.6 | 217M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 111k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1389.24/1389.61 c 1390s| 3330k|302169 | 11994k| 3.6 | 217M| 46 | - | 170 | 38 | 170 | 16 | 17 | 111k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1392.94/1393.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1392.94/1393.35 c 1393s| 3340k|302065 | 12027k| 3.6 | 217M| 46 | - | 170 | 36 | 0 | 0 | 17 | 111k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1396.74/1397.17 c 1397s| 3350k|302254 | 12060k| 3.6 | 218M| 46 | - | 170 | 38 | 170 | 16 | 17 | 111k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1400.54/1400.98 c 1401s| 3360k|302452 | 12093k| 3.6 | 218M| 46 | 6 | 170 | 41 | 170 | 16 | 17 | 112k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1404.43/1404.80 c 1405s| 3370k|302551 | 12125k| 3.6 | 218M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 112k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1408.24/1408.63 c 1409s| 3380k|302606 | 12159k| 3.6 | 218M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 112k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1412.04/1412.48 c 1412s| 3390k|302998 | 12192k| 3.6 | 219M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 113k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1415.84/1416.27 c 1416s| 3400k|302888 | 12225k| 3.6 | 219M| 46 | - | 170 | 33 | 0 | 0 | 17 | 113k| 16k| 0.000000e+00 | 9.216000e+03 | Inf
1419.53/1419.99 c 1420s| 3410k|302765 | 12256k| 3.6 | 219M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 113k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1423.33/1423.72 c 1424s| 3420k|302748 | 12289k| 3.6 | 219M| 46 | - | 170 | 36 | 170 | 16 | 17 | 113k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1427.13/1427.57 c 1428s| 3430k|303162 | 12323k| 3.6 | 219M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 114k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1431.13/1431.58 c 1432s| 3440k|304879 | 12359k| 3.6 | 220M| 46 | - | 170 | 43 | 170 | 16 | 17 | 114k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1435.03/1435.46 c 1435s| 3450k|305851 | 12393k| 3.6 | 221M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 114k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1438.93/1439.35 c 1439s| 3460k|306851 | 12428k| 3.6 | 222M| 46 | - | 170 | 38 | 170 | 16 | 17 | 114k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1442.84/1443.23 c 1443s| 3470k|307914 | 12463k| 3.6 | 223M| 46 | - | 170 | 35 | 170 | 16 | 17 | 115k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1446.63/1447.03 c 1447s| 3480k|308319 | 12496k| 3.6 | 223M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 115k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1450.43/1450.85 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1450.43/1450.85 c 1451s| 3490k|308761 | 12530k| 3.6 | 223M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 115k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1454.32/1454.70 c 1455s| 3500k|309331 | 12565k| 3.6 | 224M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 115k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1458.13/1458.54 c 1459s| 3510k|309790 | 12598k| 3.6 | 224M| 46 | - | 170 | 36 | 0 | 0 | 17 | 116k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1461.92/1462.31 c 1462s| 3520k|310309 | 12630k| 3.6 | 225M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 116k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1465.72/1466.11 c 1466s| 3530k|310806 | 12663k| 3.6 | 225M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 116k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1469.52/1469.90 c 1470s| 3540k|311289 | 12696k| 3.6 | 226M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 116k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1473.32/1473.73 c 1474s| 3550k|311773 | 12729k| 3.6 | 226M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 117k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1477.12/1477.53 c 1478s| 3560k|312055 | 12764k| 3.6 | 227M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 117k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1480.92/1481.36 c 1481s| 3570k|312239 | 12797k| 3.6 | 227M| 46 | - | 170 | 35 | 170 | 16 | 17 | 117k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1484.72/1485.19 c 1485s| 3580k|312359 | 12831k| 3.6 | 227M| 46 | - | 170 | 36 | 0 | 0 | 17 | 117k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1488.61/1489.00 c 1489s| 3590k|312766 | 12863k| 3.6 | 228M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 117k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1492.33/1492.75 c 1493s| 3600k|312976 | 12895k| 3.6 | 228M| 46 | - | 170 | 34 | 0 | 0 | 17 | 118k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1496.11/1496.53 c 1497s| 3610k|313250 | 12928k| 3.6 | 228M| 46 | - | 170 | 34 | 0 | 0 | 17 | 118k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1499.92/1500.35 c 1500s| 3620k|313484 | 12961k| 3.6 | 229M| 46 | - | 170 | 35 | 170 | 16 | 17 | 118k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1503.62/1504.08 c 1504s| 3630k|313580 | 12993k| 3.6 | 229M| 46 | - | 170 | 35 | 170 | 16 | 17 | 118k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1507.41/1507.87 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1507.41/1507.87 c 1508s| 3640k|313464 | 13025k| 3.6 | 229M| 46 | - | 170 | 35 | 0 | 0 | 17 | 119k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1511.31/1511.73 c 1512s| 3650k|313694 | 13059k| 3.6 | 229M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 119k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1515.21/1515.60 c 1516s| 3660k|314453 | 13092k| 3.6 | 230M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 119k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1518.81/1519.27 c 1519s| 3670k|314550 | 13123k| 3.6 | 230M| 46 | - | 170 | 38 | 170 | 16 | 17 | 119k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1522.61/1523.01 c 1523s| 3680k|314253 | 13155k| 3.6 | 230M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 120k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1526.41/1526.84 c 1527s| 3690k|314456 | 13188k| 3.6 | 230M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 120k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1530.10/1530.59 c 1531s| 3700k|314535 | 13220k| 3.6 | 231M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 120k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1534.01/1534.41 c 1534s| 3710k|314653 | 13254k| 3.6 | 231M| 46 | - | 170 | 36 | 170 | 16 | 17 | 120k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1537.80/1538.23 c 1538s| 3720k|314670 | 13287k| 3.6 | 231M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 121k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1541.61/1542.04 c 1542s| 3730k|314792 | 13320k| 3.6 | 231M| 46 | - | 170 | 39 | 0 | 0 | 17 | 121k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1545.40/1545.88 c 1546s| 3740k|314708 | 13353k| 3.6 | 231M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 121k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1549.20/1549.69 c 1550s| 3750k|314605 | 13386k| 3.6 | 232M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 121k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1553.10/1553.50 c 1553s| 3760k|314943 | 13420k| 3.6 | 232M| 46 | - | 170 | 40 | 170 | 16 | 17 | 122k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1556.80/1557.28 c 1557s| 3770k|315015 | 13454k| 3.6 | 232M| 46 | - | 170 | 41 | 170 | 16 | 17 | 122k| 17k| 0.000000e+00 | 9.216000e+03 | Inf
1560.60/1561.03 c 1561s| 3780k|314782 | 13486k| 3.6 | 232M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 122k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1564.40/1564.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1564.40/1564.83 c 1565s| 3790k|314837 | 13519k| 3.6 | 232M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 122k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1568.10/1568.60 c 1569s| 3800k|314993 | 13551k| 3.6 | 233M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 123k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1574.10/1574.55 c 1575s| 3810k|314901 | 13584k| 3.6 | 233M| 46 | - | 170 | 37 | 170 | 16 | 17 | 123k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1577.80/1578.29 c 1578s| 3820k|314689 | 13616k| 3.6 | 233M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 123k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1581.69/1582.14 c 1582s| 3830k|314755 | 13650k| 3.6 | 233M| 46 | - | 170 | 37 | 170 | 16 | 17 | 123k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1585.49/1585.96 c 1586s| 3840k|314984 | 13684k| 3.6 | 233M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 124k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1589.29/1589.75 c 1590s| 3850k|314787 | 13717k| 3.6 | 233M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 124k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1593.09/1593.50 c 1593s| 3860k|315034 | 13750k| 3.6 | 234M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 124k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1596.89/1597.30 c 1597s| 3870k|314780 | 13782k| 3.6 | 234M| 46 | - | 170 | 37 | 170 | 16 | 17 | 124k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1600.59/1601.02 c 1601s| 3880k|314507 | 13813k| 3.6 | 234M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 125k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1604.29/1604.76 c 1605s| 3890k|314254 | 13846k| 3.6 | 234M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 125k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1608.09/1608.52 c 1609s| 3900k|314109 | 13879k| 3.6 | 234M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 125k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1611.79/1612.28 c 1612s| 3910k|313826 | 13912k| 3.6 | 233M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 125k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1615.68/1616.11 c 1616s| 3920k|314067 | 13947k| 3.6 | 234M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 125k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1619.38/1619.81 c 1620s| 3930k|314002 | 13979k| 3.6 | 234M| 46 | - | 170 | 37 | 170 | 16 | 17 | 126k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1623.09/1623.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1623.09/1623.55 c 1624s| 3940k|313707 | 14011k| 3.6 | 234M| 46 | - | 170 | 41 | 170 | 16 | 17 | 126k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1626.78/1627.26 c 1627s| 3950k|313521 | 14043k| 3.6 | 234M| 46 | 6 | 170 | 43 | 170 | 16 | 17 | 126k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1630.49/1630.99 c 1631s| 3960k|313415 | 14076k| 3.6 | 234M| 46 | - | 170 | 36 | 170 | 16 | 17 | 126k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1634.28/1634.79 c 1635s| 3970k|313638 | 14110k| 3.6 | 234M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 127k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1638.08/1638.54 c 1639s| 3980k|313659 | 14144k| 3.6 | 234M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 127k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1641.79/1642.29 c 1642s| 3990k|313462 | 14177k| 3.6 | 234M| 46 | - | 170 | 38 | 170 | 16 | 17 | 127k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1645.58/1646.03 c 1646s| 4000k|313164 | 14210k| 3.6 | 234M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 127k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1649.28/1649.76 c 1650s| 4010k|312926 | 14243k| 3.6 | 234M| 46 | 6 | 170 | 40 | 170 | 16 | 17 | 127k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1652.98/1653.49 c 1653s| 4020k|312644 | 14274k| 3.6 | 234M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 128k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1656.78/1657.23 c 1657s| 4030k|312410 | 14307k| 3.6 | 234M| 46 | - | 170 | 36 | 170 | 16 | 17 | 128k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1660.48/1660.97 c 1661s| 4040k|312237 | 14339k| 3.5 | 234M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 128k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1664.27/1664.73 c 1665s| 4050k|312070 | 14372k| 3.5 | 234M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 128k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1668.07/1668.52 c 1669s| 4060k|312296 | 14405k| 3.5 | 234M| 46 | 6 | 170 | 37 | 170 | 16 | 17 | 129k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1671.77/1672.26 c 1672s| 4070k|312169 | 14437k| 3.5 | 234M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 129k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1675.47/1675.97 c 1676s| 4080k|311976 | 14470k| 3.5 | 234M| 46 | - | 170 | 33 | 170 | 16 | 17 | 129k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1679.28/1679.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1679.28/1679.74 c 1680s| 4090k|311673 | 14502k| 3.5 | 234M| 46 | 6 | 170 | 36 | 170 | 16 | 17 | 129k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1682.97/1683.48 c 1683s| 4100k|311482 | 14536k| 3.5 | 234M| 46 | - | 170 | 34 | 170 | 16 | 17 | 130k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1686.67/1687.19 c 1687s| 4110k|311354 | 14568k| 3.5 | 234M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 130k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1690.47/1690.93 c 1691s| 4120k|311072 | 14599k| 3.5 | 234M| 46 | - | 170 | 34 | 0 | 0 | 17 | 130k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1694.27/1694.78 c 1695s| 4130k|311462 | 14633k| 3.5 | 235M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 130k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1698.07/1698.55 c 1699s| 4140k|311311 | 14667k| 3.5 | 235M| 46 | - | 170 | 36 | 170 | 16 | 17 | 131k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1701.77/1702.28 c 1702s| 4150k|310994 | 14699k| 3.5 | 234M| 46 | - | 170 | 39 | 170 | 16 | 17 | 131k| 18k| 0.000000e+00 | 9.216000e+03 | Inf
1705.46/1706.00 c 1706s| 4160k|310753 | 14731k| 3.5 | 234M| 46 | - | 170 | 35 | 0 | 0 | 17 | 131k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1709.27/1709.70 c 1710s| 4170k|310547 | 14764k| 3.5 | 234M| 46 | - | 170 | 34 | 170 | 16 | 17 | 131k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1712.96/1713.44 c 1713s| 4180k|310108 | 14796k| 3.5 | 234M| 46 | - | 170 | 35 | 170 | 16 | 17 | 132k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1716.67/1717.19 c 1717s| 4190k|309948 | 14829k| 3.5 | 234M| 46 | - | 170 | 34 | 170 | 16 | 17 | 132k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1720.46/1720.92 c 1721s| 4200k|309948 | 14862k| 3.5 | 234M| 46 | - | 170 | 34 | 170 | 16 | 17 | 132k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1724.16/1724.66 c 1725s| 4210k|309805 | 14896k| 3.5 | 234M| 46 | 6 | 170 | 42 | 170 | 16 | 17 | 132k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1727.86/1728.38 c 1728s| 4220k|309427 | 14928k| 3.5 | 234M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 132k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1731.66/1732.18 c 1732s| 4230k|309532 | 14961k| 3.5 | 234M| 46 | - | 170 | 32 | 170 | 16 | 17 | 133k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1735.46/1735.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1735.46/1735.93 c 1736s| 4240k|309313 | 14993k| 3.5 | 234M| 46 | - | 170 | 32 | 0 | 0 | 17 | 133k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1739.16/1739.69 c 1740s| 4250k|309331 | 15026k| 3.5 | 234M| 46 | 6 | 170 | 38 | 170 | 16 | 17 | 133k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1742.96/1743.41 c 1743s| 4260k|308906 | 15057k| 3.5 | 234M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 133k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1746.75/1747.21 c 1747s| 4270k|309011 | 15092k| 3.5 | 234M| 46 | 6 | 170 | 39 | 170 | 16 | 17 | 134k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1750.56/1751.03 c 1751s| 4280k|309433 | 15125k| 3.5 | 235M| 46 | - | 170 | 37 | 170 | 16 | 17 | 134k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1754.35/1754.83 c 1755s| 4290k|309620 | 15158k| 3.5 | 235M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 134k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1758.05/1758.57 c 1759s| 4300k|309430 | 15189k| 3.5 | 235M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 135k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1761.75/1762.29 c 1762s| 4310k|309284 | 15221k| 3.5 | 235M| 46 | - | 170 | 34 | 0 | 0 | 17 | 135k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1765.45/1765.92 c 1766s| 4320k|308955 | 15252k| 3.5 | 235M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 135k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1769.25/1769.70 c 1770s| 4330k|309551 | 15285k| 3.5 | 235M| 46 | 6 | 170 | 34 | 170 | 16 | 17 | 135k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1772.94/1773.44 c 1773s| 4340k|309715 | 15317k| 3.5 | 236M| 46 | 6 | 170 | 33 | 170 | 16 | 17 | 136k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1776.65/1777.13 c 1777s| 4350k|309426 | 15349k| 3.5 | 236M| 46 | - | 170 | 37 | 170 | 16 | 17 | 136k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1780.36/1780.88 c 1781s| 4360k|309422 | 15381k| 3.5 | 236M| 46 | 6 | 170 | 35 | 170 | 16 | 17 | 136k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1784.14/1784.64 c 1785s| 4370k|308993 | 15414k| 3.5 | 236M| 46 | - | 170 | 36 | 170 | 16 | 17 | 136k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1787.95/1788.40 c 1788s| 4380k|308950 | 15447k| 3.5 | 236M| 46 | - | 170 | 41 | 170 | 16 | 17 | 137k| 19k| 0.000000e+00 | 9.216000e+03 | Inf
1789.54/1790.01 c
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time (sec) : 1790.00
1789.54/1790.01 c Solving Nodes : 4384344
1789.54/1790.01 c Primal Bound : +9.21600000000009e+03 (19 solutions)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 s SATISFIABLE
1789.54/1790.01 v x170 -x169 -x168 x167 x166 -x165 -x164 x163 x162 -x161 x160 x159 -x158 -x127 x126 -x125 x124 -x123 x122 -x121 x120 x119 x118 -x117
1789.54/1790.01 v -x116 -x115 x114 x113 x112 x111 -x110 -x109 -x108 x77 -x76 x75 x74 -x73 x72 x71 -x70 x69 x68 x67 -x66 x65 -x64 -x63 -x62
1789.54/1790.01 v -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37
1789.54/1790.01 v -x36 -x35 -x34 -x33 -x32 -x31 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215
1789.54/1790.01 v -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194
1789.54/1790.01 v -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173
1789.54/1790.01 v -x172 -x171 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139
1789.54/1790.01 v x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98
1789.54/1790.01 v -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x30 -x29 -x28 -x27 -x26
1789.54/1790.01 v -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 x12 x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1789.54/1790.01 c SCIP Status : solving was interrupted [time limit reached]
1789.54/1790.01 c Solving Time : 1790.00
1789.54/1790.01 c Original Problem :
1789.54/1790.01 c Problem name : HOME/instance-2703897-1278560942.opb
1789.54/1790.01 c Variables : 230 (230 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 6 initial, 6 maximal
1789.54/1790.01 c Presolved Problem :
1789.54/1790.01 c Problem name : t_HOME/instance-2703897-1278560942.opb
1789.54/1790.01 c Variables : 170 (170 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.54/1790.01 c Constraints : 6 initial, 104 maximal
1789.54/1790.01 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.54/1790.01 c trivial : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c dualfix : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c implics : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c probing : 0.01 0 0 0 0 0 0 0 0
1789.54/1790.01 c linear : 0.00 60 0 0 54 0 0 0 0
1789.54/1790.01 c logicor : 0.00 0 0 0 0 0 0 0 0
1789.54/1790.01 c root node : - 42 - - 42 - - - -
1789.54/1790.01 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c integral : 0 0 0 2378065 0 39 4508 0 0 4747116
1789.54/1790.01 c linear : 6+ 7 6246984 0 1 917097 8492706 0 0 0
1789.54/1790.01 c logicor : 0+ 0 1102521 0 0 8119 33545 0 0 0
1789.54/1790.01 c countsols : 0 0 0 12 2 0 0 0 0 0
1789.54/1790.01 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.54/1790.01 c integral : 27.82 0.00 0.00 27.82 0.00
1789.54/1790.01 c linear : 424.97 0.00 424.97 0.00 0.00
1789.54/1790.01 c logicor : 2.40 0.00 2.40 0.00 0.00
1789.54/1790.01 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.54/1790.01 c Propagators : Time Calls Cutoffs DomReds
1789.54/1790.01 c vbounds : 2.41 2 0 0
1789.54/1790.01 c rootredcost : 2.52 19 0 42
1789.54/1790.01 c pseudoobj : 49.73 6256503 9851 127258
1789.54/1790.01 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.54/1790.01 c propagation : 51.40 935045 130629 158342 46.5 59 25.6 -
1789.54/1790.01 c infeasible LP : 0.46 6463 6394 6835 23.7 0 0.0 0
1789.54/1790.01 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.54/1790.01 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.54/1790.01 c applied globally : - - - 6358 22.1 - - -
1789.54/1790.01 c applied locally : - - - 130877 46.4 - - -
1789.54/1790.01 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.54/1790.01 c cut pool : 0.00 5 - - 2 - (maximal pool size: 29)
1789.54/1790.01 c redcost : 66.15 3295585 0 12410447 0 0
1789.54/1790.01 c impliedbounds : 0.00 6 0 0 0 0
1789.54/1790.01 c intobj : 0.00 0 0 0 0 0
1789.54/1790.01 c cgmip : 0.00 0 0 0 0 0
1789.54/1790.01 c gomory : 0.00 6 0 0 0 0
1789.54/1790.01 c strongcg : 0.00 6 0 0 4 0
1789.54/1790.01 c cmir : 0.02 6 0 0 12 0
1789.54/1790.01 c flowcover : 0.11 6 0 0 16 0
1789.54/1790.01 c clique : 0.00 1 0 0 0 0
1789.54/1790.01 c zerohalf : 0.00 0 0 0 0 0
1789.54/1790.01 c mcf : 0.00 1 0 0 0 0
1789.54/1790.01 c rapidlearning : 0.11 1 0 0 0 9
1789.54/1790.01 c Pricers : Time Calls Vars
1789.54/1790.01 c problem variables: 0.00 0 0
1789.54/1790.01 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.54/1790.01 c relpscost : 25.38 2378053 39 4508 0 0 4747116
1789.54/1790.01 c pscost : 0.00 0 0 0 0 0 0
1789.54/1790.01 c inference : 0.00 2 0 0 0 0 4
1789.54/1790.01 c mostinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c leastinf : 0.00 0 0 0 0 0 0
1789.54/1790.01 c fullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c allfullstrong : 0.00 0 0 0 0 0 0
1789.54/1790.01 c random : 0.00 0 0 0 0 0 0
1789.54/1790.01 c Primal Heuristics : Time Calls Found
1789.54/1790.01 c LP solutions : 0.13 - 12
1789.54/1790.01 c pseudo solutions : 0.00 - 0
1789.54/1790.01 c intshifting : 0.16 0 0
1789.54/1790.01 c oneopt : 1.78 19 0
1789.54/1790.01 c feaspump : 0.30 1 0
1789.54/1790.01 c crossover : 40.08 31 0
1789.54/1790.01 c fracdiving : 13.19 7053 0
1789.54/1790.01 c veclendiving : 10.89 7054 2
1789.54/1790.01 c linesearchdiving : 11.17 7054 1
1789.54/1790.01 c coefdiving : 21.38 7054 1
1789.54/1790.01 c objpscostdiving : 5.73 3527 0
1789.54/1790.01 c guideddiving : 11.64 7054 2
1789.54/1790.01 c pscostdiving : 14.21 7054 1
1789.54/1790.01 c trivial : 0.00 2 0
1789.54/1790.01 c simplerounding : 1.40 0 0
1789.54/1790.01 c zirounding : 1.54 1000 0
1789.54/1790.01 c rounding : 2.86 23577 0
1789.54/1790.01 c shifting : 5.36 6736 0
1789.54/1790.01 c twoopt : 0.00 0 0
1789.54/1790.01 c fixandinfer : 0.00 0 0
1789.54/1790.01 c intdiving : 0.00 0 0
1789.54/1790.01 c actconsdiving : 0.00 0 0
1789.54/1790.01 c rootsoldiving : 4.11 705 0
1789.54/1790.01 c octane : 0.00 0 0
1789.54/1790.01 c rens : 0.04 1 0
1789.54/1790.01 c rins : 0.00 0 0
1789.54/1790.01 c localbranching : 0.00 0 0
1789.54/1790.01 c mutation : 0.00 0 0
1789.54/1790.01 c dins : 0.00 0 0
1789.54/1790.01 c undercover : 0.00 0 0
1789.54/1790.01 c nlp : 1.34 0 0
1789.54/1790.01 c trysol : 2.27 0 0
1789.54/1790.01 c LP : Time Calls Iterations Iter/call Iter/sec
1789.54/1790.01 c primal LP : 0.00 0 0 0.00 -
1789.54/1790.01 c dual LP : 653.73 3929085 14463778 3.68 22125.11
1789.54/1790.01 c lex dual LP : 0.00 0 0 0.00 -
1789.54/1790.01 c barrier LP : 0.00 0 0 0.00 -
1789.54/1790.01 c diving/probing LP: 44.23 351484 996694 2.84 22532.08
1789.54/1790.01 c strong branching : 4.55 19562 68496 3.50 15040.63
1789.54/1790.01 c (at root node) : - 9 330 36.67 -
1789.54/1790.01 c conflict analysis: 0.00 0 0 0.00 -
1789.54/1790.01 c B&B Tree :
1789.54/1790.01 c number of runs : 1
1789.54/1790.01 c nodes : 4384344
1789.54/1790.01 c nodes (total) : 4384344
1789.54/1790.01 c nodes left : 309008
1789.54/1790.01 c max depth : 46
1789.54/1790.01 c max depth (total): 46
1789.54/1790.01 c backtracks : 1049474 (23.9%)
1789.54/1790.01 c delayed cutoffs : 20804
1789.54/1790.01 c repropagations : 36208 (188275 domain reductions, 20474 cutoffs)
1789.54/1790.01 c avg switch length: 5.40
1789.54/1790.01 c switching time : 147.64
1789.54/1790.01 c Solution :
1789.54/1790.01 c Solutions found : 19 (19 improvements)
1789.54/1790.01 c First Solution : +6.76864000000000e+05 (in run 1, after 65 nodes, 0.48 seconds, depth 37, found by <veclendiving>)
1789.54/1790.01 c Primal Bound : +9.21600000000009e+03 (in run 1, after 2163273 nodes, 937.15 seconds, depth 39, found by <relaxation>)
1789.54/1790.01 c Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Gap : infinite
1789.54/1790.01 c Root Dual Bound : +0.00000000000000e+00
1789.54/1790.01 c Root Iterations : 106
1790.84/1791.35 c Time complete: 1790.9.
OK 9216
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2703897-1278560942/watcher-2703897-1278560942 -o /tmp/evaluation-result-2703897-1278560942/solver-2703897-1278560942 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703897-1278560942.opb -t 1800 -m 1800 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.86 0.97 0.99 3/106 26533 /proc/meminfo: memFree=1690156/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=7904 CPUtime=0 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 1036 0 0 0 0 0 0 0 19 0 1 0 24301529 8093696 948 1992294400 4194304 8395647 140737389210032 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26533/statm: 1976 957 365 1026 0 946 0 [startup+0.0588579 s] /proc/loadavg: 0.86 0.97 0.99 3/106 26533 /proc/meminfo: memFree=1690156/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=19268 CPUtime=0.05 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 4291 0 0 0 4 1 0 0 21 0 1 0 24301529 19730432 3850 1992294400 4194304 8395647 140737389210032 18446744073709551615 4922593 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 4817 3850 586 1026 0 3787 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 19268 [startup+0.100862 s] /proc/loadavg: 0.86 0.97 0.99 3/106 26533 /proc/meminfo: memFree=1690156/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=30188 CPUtime=0.09 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 6470 0 0 0 7 2 0 0 21 0 1 0 24301529 30912512 6029 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 7547 6029 604 1026 0 6517 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 30188 [startup+0.300881 s] /proc/loadavg: 0.86 0.97 0.99 3/106 26533 /proc/meminfo: memFree=1690156/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=31776 CPUtime=0.29 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 6833 0 0 0 26 3 0 0 21 0 1 0 24301529 32538624 6392 1992294400 4194304 8395647 140737389210032 18446744073709551615 6199451 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 7944 6392 613 1026 0 6914 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 31776 [startup+0.700914 s] /proc/loadavg: 0.86 0.97 0.99 3/106 26533 /proc/meminfo: memFree=1690156/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=31776 CPUtime=0.69 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 7124 0 0 0 64 5 0 0 22 0 1 0 24301529 32538624 6683 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 7944 6683 628 1026 0 6914 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31776 [startup+1.50099 s] /proc/loadavg: 0.86 0.97 0.99 2/107 26534 /proc/meminfo: memFree=1664108/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=32864 CPUtime=1.49 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 7440 0 0 0 138 11 0 0 25 0 1 0 24301529 33652736 6999 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 8216 6999 629 1026 0 7186 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32864 [startup+3.10113 s] /proc/loadavg: 0.86 0.97 0.99 3/107 26534 /proc/meminfo: memFree=1664108/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=32864 CPUtime=3.09 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 7451 0 0 0 293 16 0 0 25 0 1 0 24301529 33652736 7010 1992294400 4194304 8395647 140737389210032 18446744073709551615 5027356 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 8216 7010 629 1026 0 7186 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32864 [startup+6.30141 s] /proc/loadavg: 0.87 0.97 0.99 2/107 26535 /proc/meminfo: memFree=1662744/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=34180 CPUtime=6.29 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 7789 0 0 0 595 34 0 0 25 0 1 0 24301529 35000320 7348 1992294400 4194304 8395647 140737389210032 18446744073709551615 6586922 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 8545 7348 629 1026 0 7515 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34180 [startup+12.701 s] /proc/loadavg: 0.88 0.97 0.99 2/107 26535 /proc/meminfo: memFree=1664356/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=31840 CPUtime=12.69 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 9328 0 0 0 1202 67 0 0 25 0 1 0 24301529 32604160 6826 1992294400 4194304 8395647 140737389210032 18446744073709551615 5029366 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 7960 6826 629 1026 0 6930 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31840 [startup+25.5011 s] /proc/loadavg: 0.91 0.97 0.99 2/107 26536 /proc/meminfo: memFree=1652204/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=37120 CPUtime=25.49 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 20327 0 0 0 2420 129 0 0 25 0 1 0 24301529 38010880 8190 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 9280 8190 629 1026 0 8250 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 37120 [startup+51.1004 s] /proc/loadavg: 0.94 0.97 0.99 2/107 26536 /proc/meminfo: memFree=1647864/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=49604 CPUtime=51.08 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 34403 0 0 0 4853 255 0 0 25 0 1 0 24301529 50794496 11352 1992294400 4194304 8395647 140737389210032 18446744073709551615 5026843 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 12401 11352 629 1026 0 11371 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49604 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 26538 /proc/meminfo: memFree=1628024/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=69300 CPUtime=102.27 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 51331 0 0 0 9731 496 0 0 25 0 1 0 24301529 70963200 16035 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 17325 16035 629 1026 0 16295 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 69300 [startup+162.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26539 /proc/meminfo: memFree=1603968/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=93336 CPUtime=162.25 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 65900 0 0 0 15457 768 0 0 25 0 1 0 24301529 95576064 22111 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 23334 22111 629 1026 0 22304 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 93336 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26540 /proc/meminfo: memFree=1577680/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=118124 CPUtime=222.23 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 73558 0 0 0 21202 1021 0 0 25 0 1 0 24301529 120958976 28402 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 29531 28402 629 1026 0 28501 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 118124 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26542 /proc/meminfo: memFree=1563296/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=133248 CPUtime=282.22 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 77411 0 0 0 26976 1246 0 0 25 0 1 0 24301529 136445952 32255 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 33312 32255 629 1026 0 32282 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 133248 [startup+342.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26544 /proc/meminfo: memFree=1548788/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=146860 CPUtime=342.21 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 90544 0 0 0 32709 1512 0 0 25 0 1 0 24301529 150384640 35723 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 36715 35723 629 1026 0 35685 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 146860 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26546 /proc/meminfo: memFree=1540976/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=153884 CPUtime=402.19 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 104984 0 0 0 38419 1800 0 0 25 0 1 0 24301529 157577216 37517 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 38471 37517 629 1026 0 37441 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 153884 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26547 /proc/meminfo: memFree=1539860/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=155436 CPUtime=462.17 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 109921 0 0 0 44146 2071 0 0 25 0 1 0 24301529 159166464 37876 1992294400 4194304 8395647 140737389210032 18446744073709551615 4556790 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 38859 37876 629 1026 0 37829 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 155436 [startup+522.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26548 /proc/meminfo: memFree=1535892/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=159556 CPUtime=522.16 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 110949 0 0 0 49905 2311 0 0 25 0 1 0 24301529 163385344 38904 1992294400 4194304 8395647 140737389210032 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 39889 38904 629 1026 0 38859 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 159556 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26550 /proc/meminfo: memFree=1530436/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=164876 CPUtime=582.15 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 113151 0 0 0 55665 2550 0 0 25 0 1 0 24301529 168833024 40244 1992294400 4194304 8395647 140737389210032 18446744073709551615 6003097 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 41219 40244 629 1026 0 40189 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 164876 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26552 /proc/meminfo: memFree=1522252/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=176724 CPUtime=642.15 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 115133 0 0 0 61426 2789 0 0 25 0 1 0 24301529 180965376 42226 1992294400 4194304 8395647 140737389210032 18446744073709551615 6616450 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 44181 42226 629 1026 0 43151 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 176724 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1460004/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=237212 CPUtime=1002.04 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 140139 0 0 0 95910 4294 0 0 25 0 1 0 24301529 242905088 57672 1992294400 4194304 8395647 140737389210032 18446744073709551615 6311059 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 59303 57672 629 1026 0 58273 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 237212 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26572 /proc/meminfo: memFree=1456656/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=240260 CPUtime=1062.03 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 140916 0 0 0 101668 4535 0 0 25 0 1 0 24301529 246026240 58449 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 60065 58449 629 1026 0 59035 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 240260 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26573 /proc/meminfo: memFree=1450704/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=246092 CPUtime=1122 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 142383 0 0 0 107430 4770 0 0 25 0 1 0 24301529 251998208 59916 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 61523 59916 629 1026 0 60493 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 246092 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26575 /proc/meminfo: memFree=1448472/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=248120 CPUtime=1181.99 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 142934 0 0 0 113190 5009 0 0 25 0 1 0 24301529 254074880 60467 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 62030 60467 629 1026 0 61000 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 248120 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26577 /proc/meminfo: memFree=1445248/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=251320 CPUtime=1241.98 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 143711 0 0 0 118952 5246 0 0 25 0 1 0 24301529 257351680 61244 1992294400 4194304 8395647 140737389210032 18446744073709551615 5029575 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 62830 61244 629 1026 0 61800 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 251320 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26579 /proc/meminfo: memFree=1440660/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=255104 CPUtime=1301.97 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 145951 0 0 0 124692 5505 0 0 25 0 1 0 24301529 261226496 62195 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 63776 62195 629 1026 0 62746 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 255104 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26580 /proc/meminfo: memFree=1440660/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=255428 CPUtime=1361.95 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 146029 0 0 0 130455 5740 0 0 25 0 1 0 24301529 261558272 62273 1992294400 4194304 8395647 140737389210032 18446744073709551615 4706433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 63857 62273 629 1026 0 62827 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 255428 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26581 /proc/meminfo: memFree=1438924/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=257156 CPUtime=1421.94 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 146498 0 0 0 136219 5975 0 0 25 0 1 0 24301529 263327744 62742 1992294400 4194304 8395647 140737389210032 18446744073709551615 6119562 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 64289 62742 629 1026 0 63259 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 257156 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26583 /proc/meminfo: memFree=1430368/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=265680 CPUtime=1481.92 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 148630 0 0 0 141983 6209 0 0 25 0 1 0 24301529 272056320 64874 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 66420 64874 629 1026 0 65390 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 265680 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26585 /proc/meminfo: memFree=1426524/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=269392 CPUtime=1541.91 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 149570 0 0 0 147744 6447 0 0 25 0 1 0 24301529 275857408 65814 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 67348 65814 629 1026 0 66318 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 269392 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26587 /proc/meminfo: memFree=1421316/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=273916 CPUtime=1601.89 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152070 0 0 0 153492 6697 0 0 25 0 1 0 24301529 280489984 66950 1992294400 4194304 8395647 140737389210032 18446744073709551615 4962548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 68479 66950 629 1026 0 67449 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 273916 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26588 /proc/meminfo: memFree=1421316/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=273916 CPUtime=1661.87 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152070 0 0 0 159252 6935 0 0 25 0 1 0 24301529 280489984 66950 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 68479 66950 629 1026 0 67449 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 273916 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26589 /proc/meminfo: memFree=1420944/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=274748 CPUtime=1721.86 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152276 0 0 0 165015 7171 0 0 25 0 1 0 24301529 281341952 67156 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 68687 67156 629 1026 0 67657 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 274748 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26591 /proc/meminfo: memFree=1420448/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=275004 CPUtime=1781.85 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152340 0 0 0 170787 7398 0 0 25 0 1 0 24301529 281604096 67220 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 68751 67220 629 1026 0 67721 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 275004 Solver just ended. Dumping a history of the last processes samples [startup+1785.5 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26591 /proc/meminfo: memFree=1420448/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=275004 CPUtime=1785.04 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152340 0 0 0 171094 7410 0 0 25 0 1 0 24301529 281604096 67220 1992294400 4194304 8395647 140737389210032 18446744073709551615 7428202 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 68751 67220 629 1026 0 67721 0 Current children cumulated CPU time (s) 1785.04 Current children cumulated vsize (KiB) 275004 [startup+1788.7 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26591 /proc/meminfo: memFree=1420448/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=275004 CPUtime=1788.25 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152340 0 0 0 171401 7424 0 0 25 0 1 0 24301529 281604096 67220 1992294400 4194304 8395647 140737389210032 18446744073709551615 6119418 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/26533/statm: 68751 67220 629 1026 0 67721 0 Current children cumulated CPU time (s) 1788.25 Current children cumulated vsize (KiB) 275004 [startup+1790.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26591 /proc/meminfo: memFree=1420448/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=275004 CPUtime=1789.84 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152342 0 0 0 171556 7428 0 0 25 0 1 0 24301529 281604096 67222 1992294400 4194304 8395647 140737389210032 18446744073709551615 4664161 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26533/statm: 68751 67222 631 1026 0 67721 0 Current children cumulated CPU time (s) 1789.84 Current children cumulated vsize (KiB) 275004 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26591 /proc/meminfo: memFree=1420448/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=275004 CPUtime=1790.64 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152342 0 0 0 171636 7428 0 0 25 0 1 0 24301529 281604096 67222 1992294400 4194304 8395647 140737389210032 18446744073709551615 4723516 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26533/statm: 68751 67222 631 1026 0 67721 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (KiB) 275004 [startup+1791.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 26591 /proc/meminfo: memFree=1420448/2059040 swapFree=4139712/4192956 [pid=26533] ppid=26531 vsize=275004 CPUtime=1790.84 /proc/26533/stat : 26533 (pbscip.linux.x8) R 26531 26533 26481 0 -1 4202496 152342 0 0 0 171656 7428 0 0 25 0 1 0 24301529 281604096 67222 1992294400 4194304 8395647 140737389210032 18446744073709551615 6345268 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/26533/statm: 68751 67222 631 1026 0 67721 0 Current children cumulated CPU time (s) 1790.84 Current children cumulated vsize (KiB) 275004 Child status: 0 Real time (s): 1791.35 CPU time (s): 1790.91 CPU user time (s): 1716.59 CPU system time (s): 74.3157 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 280636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.59 system time used= 74.3157 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 152345 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= 1 involuntary context switches= 12774 runsolver used 3.02254 second user time and 8.43072 second system time The end
Begin job on node043 at 2010-07-08 05:49:02 IDJOB=2703897 IDBENCH=2532 IDSOLVER=1213 FILE ID=node043/2703897-1278560942 PBS_JOBID= 11239539 Free space on /tmp= 62528 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-markshare1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2703897-1278560942/watcher-2703897-1278560942 -o /tmp/evaluation-result-2703897-1278560942/solver-2703897-1278560942 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2703897-1278560942.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e15fa473b46d7e2b0dca2d01a2541ab9 RANDOM SEED=2074139221 node043.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1690684 kB Buffers: 66456 kB Cached: 213068 kB SwapCached: 7536 kB Active: 151876 kB Inactive: 141904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1690684 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 10736 kB Writeback: 0 kB AnonPages: 11320 kB Mapped: 11852 kB Slab: 52796 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181048 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62520 MiB End job on node043 at 2010-07-08 06:18:53