Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | MSAT (TO) | 1802.17 | 1802.11 |
| Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-blast-tlan2.ucl--soft-0-100-0.wbo |
| MD5SUM | 8cd432ce35ac43809c1c027beb7ff72a |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 0.046992 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 2221 |
| Total number of constraints | 3050 |
| Number of soft constraints | 3050 |
| Number of constraints which are clauses | 2330 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 720 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 19 |
| Top cost | 154947 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 154946 |
| Biggest number in a constraint | 641 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 2174 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: NONE] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2693881-1277931879.wbo>
0.00/0.05 c original problem has 8321 variables (5271 bin, 0 int, 0 impl, 3050 cont) and 6101 constraints
0.00/0.05 c problem read
0.00/0.05 c presolving settings loaded
0.00/0.05 c [src/scip/lpi_none.c:41] ERROR: there is no LP solver linked to the binary (LPS=none); you should set the parameter <lp/solvefreq> to <-1> to avoid solving LPs
0.09/0.19 o 154946
0.09/0.19 c feasible solution found by trivial heuristic, objective value 1.549460e+05
0.09/0.19 c presolving:
0.19/0.20 c (round 1) 0 del vars, 1 del conss, 0 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3050 impls, 0 clqs
0.19/0.21 c (round 2) 0 del vars, 1 del conss, 3050 chg bounds, 360 chg sides, 720 chg coeffs, 0 upgd conss, 3050 impls, 0 clqs
0.19/0.23 c (round 3) 0 del vars, 1 del conss, 3050 chg bounds, 360 chg sides, 720 chg coeffs, 1 upgd conss, 3050 impls, 0 clqs
0.19/0.28 c (0.2s) probing: 101/5271 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.19/0.28 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.19/0.28 c presolving (4 rounds):
0.19/0.28 c 0 deleted vars, 1 deleted constraints, 3050 tightened bounds, 0 added holes, 360 changed sides, 720 changed coefficients
0.19/0.28 c 3051 implications, 0 cliques
0.19/0.28 c presolved problem has 8321 variables (5271 bin, 0 int, 0 impl, 3050 cont) and 6100 constraints
0.19/0.28 c 3050 constraints of type <indicator>
0.19/0.28 c 1 constraints of type <varbound>
0.19/0.28 c 3049 constraints of type <linear>
0.19/0.28 c transformed objective value is always integral (scale: 1)
0.19/0.28 c Presolving Time: 0.20
0.19/0.28 c - non default parameters ----------------------------------------------------------------------
0.19/0.28 c # SCIP version 1.2.1.2
0.19/0.28 c
0.19/0.28 c # frequency for displaying node information lines
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 100]
0.19/0.28 c display/freq = 10000
0.19/0.28 c
0.19/0.28 c # maximal time in seconds to run
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/time = 1799.96
0.19/0.28 c
0.19/0.28 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.28 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.19/0.28 c limits/memory = 3420
0.19/0.28 c
0.19/0.28 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: 1]
0.19/0.28 c lp/solvefreq = -1
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify inequalities
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/linear/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # should presolving try to simplify knapsacks
0.19/0.28 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.19/0.28 c constraints/knapsack/simplifyinequalities = TRUE
0.19/0.28 c
0.19/0.28 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.19/0.28 c # [type: int, range: [-1,2147483647], default: -1]
0.19/0.28 c separating/rapidlearning/freq = 0
0.19/0.28 c
0.19/0.28 c -----------------------------------------------------------------------------------------------
0.19/0.28 c start solving
0.19/0.29 c
0.29/0.30 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.30 c t 0.2s| 1 | 2 | 0 | - | 23M| 0 | - |8321 |6100 | 0 | 0 | 0 | 0 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
5.69/5.77 c 5.7s| 10000 | 9949 | 0 | 0.0 | 29M|2860 | - |8321 |6296 | 0 | 0 | 0 | 196 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
11.39/11.40 c 11.2s| 20000 | 19949 | 0 | 0.0 | 33M|2860 | - |8321 |6296 | 0 | 0 | 0 | 196 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
16.10/16.17 c 15.9s| 30000 | 29949 | 0 | 0.0 | 37M|2860 | - |8321 |6296 | 0 | 0 | 0 | 196 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
19.90/19.97 c 19.6s| 40000 | 39929 | 0 | 0.0 | 41M|3278 | - |8321 |6399 | 0 | 0 | 0 | 299 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
23.69/23.75 c 23.4s| 50000 | 49855 | 0 | 0.0 | 45M|3331 | - |8321 |6688 | 0 | 0 | 0 | 588 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
27.19/27.28 c 26.8s| 60000 | 59798 | 0 | 0.0 | 49M|3533 | - |8321 |6849 | 0 | 0 | 0 | 749 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
30.19/30.27 c 29.8s| 70000 | 69728 | 0 | 0.0 | 53M|3609 | - |8321 |7054 | 0 | 0 | 0 | 954 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
33.19/33.25 c 32.7s| 80000 | 79693 | 0 | 0.0 | 57M|3609 | - |8321 |7125 | 0 | 0 | 0 |1025 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
36.19/36.28 c 35.6s| 90000 | 89645 | 0 | 0.0 | 61M|3612 | - |8321 |7227 | 0 | 0 | 0 |1127 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
39.29/39.30 c 38.6s|100000 | 99599 | 0 | 0.0 | 65M|3635 | - |8321 |7304 | 0 | 0 | 0 |1204 | 0 | 0.000000e+00 | 1.549460e+05 | Inf
41.29/41.31 o 591
41.29/41.31 c *40.6s|107038 | 78917 | 0 | 0.0 | 60M|3710 | - |8321 |7357 | 0 | 0 | 0 |1257 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
42.59/42.61 c 41.9s|110000 | 81879 | 0 | 0.0 | 61M|3710 | - |8321 |7357 | 0 | 0 | 0 |1257 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
46.90/46.98 c 46.2s|120000 | 91851 | 0 | 0.0 | 65M|3710 | - |8321 |7469 | 0 | 0 | 0 |1372 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
51.30/51.39 c 50.5s|130000 |101826 | 0 | 0.0 | 69M|3710 | - |8321 |7489 | 0 | 0 | 0 |1417 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
55.80/55.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.80/55.81 c 54.8s|140000 |111813 | 0 | 0.0 | 74M|3710 | - |8321 |7468 | 0 | 0 | 0 |1462 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
60.19/60.28 c 59.2s|150000 |121797 | 0 | 0.0 | 78M|3710 | - |8321 |7357 | 0 | 0 | 0 |1506 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
64.49/64.58 c 63.5s|160000 |131793 | 0 | 0.0 | 82M|3710 | - |8321 |7262 | 0 | 0 | 0 |1514 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
68.90/68.93 c 67.8s|170000 |141785 | 0 | 0.0 | 86M|3710 | - |8321 |7232 | 0 | 0 | 0 |1553 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
73.19/73.26 c 72.0s|180000 |151762 | 0 | 0.0 | 90M|3710 | - |8321 |7207 | 0 | 0 | 0 |1596 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
77.49/77.55 c 76.2s|190000 |161730 | 0 | 0.0 | 94M|3710 | - |8321 |7259 | 0 | 0 | 0 |1677 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
81.59/81.68 c 80.3s|200000 |171727 | 0 | 0.0 | 98M|3710 | - |8321 |7229 | 0 | 0 | 0 |1693 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
85.80/85.88 c 84.4s|210000 |181720 | 0 | 0.0 | 103M|3710 | - |8321 |7241 | 0 | 0 | 0 |1733 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
90.20/90.22 c 88.7s|220000 |191701 | 0 | 0.0 | 107M|3710 | - |8321 |7310 | 0 | 0 | 0 |1813 | 0 | 0.000000e+00 | 5.910000e+02 | Inf
93.61/93.61 o 140
93.61/93.61 c *92.0s|228273 | 85413 | 0 | 0.0 | 64M|3710 | - |8321 |7410 | 0 | 0 | 0 |1921 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
94.40/94.45 c 92.8s|230000 | 87038 | 0 | 0.0 | 66M|3710 | - |8321 |7758 | 0 | 0 | 0 |2301 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
99.89/99.97 c 98.3s|240000 | 96956 | 0 | 0.0 | 78M|3710 | - |8321 |7797 | 0 | 0 | 0 |2439 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
105.00/105.04 c 103s|250000 |106903 | 0 | 0.0 | 89M|3710 | - |8321 |7806 | 0 | 0 | 0 |2531 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
110.29/110.31 c 108s|260000 |116887 | 0 | 0.0 | 100M|3710 | - |8321 |7774 | 0 | 0 | 0 |2571 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
115.00/115.05 c 113s|270000 |126840 | 0 | 0.0 | 111M|3710 | - |8321 |7758 | 0 | 0 | 0 |2648 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
119.80/119.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
119.80/119.81 c 118s|280000 |136814 | 0 | 0.0 | 122M|3710 | - |8321 |7102 | 0 | 0 | 0 |2710 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
124.50/124.52 c 122s|290000 |146761 | 0 | 0.0 | 135M|3710 | - |8321 |6529 | 0 | 0 | 0 |2808 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
129.10/129.15 c 127s|300000 |156714 | 0 | 0.0 | 147M|3710 | - |8321 |6531 | 0 | 0 | 0 |2871 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
133.70/133.80 c 132s|310000 |166554 | 0 | 0.0 | 158M|3710 | - |8321 |6650 | 0 | 0 | 0 |3062 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
138.39/138.47 c 136s|320000 |176434 | 0 | 0.0 | 170M|3710 | - |8321 |6734 | 0 | 0 | 0 |3257 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
143.00/143.02 c 141s|330000 |186353 | 0 | 0.0 | 182M|3710 | - |8321 |6734 | 0 | 0 | 0 |3359 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
147.80/147.85 c 145s|340000 |196230 | 0 | 0.0 | 193M|3710 | - |8321 |6759 | 0 | 0 | 0 |3522 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
152.91/152.91 c 150s|350000 |206126 | 0 | 0.0 | 205M|3710 | - |8321 |6800 | 0 | 0 | 0 |3661 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
157.50/157.59 c 155s|360000 |216015 | 0 | 0.0 | 216M|3710 | - |8321 |6796 | 0 | 0 | 0 |3778 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
162.60/162.63 c 160s|370000 |225861 | 0 | 0.0 | 227M|3710 | - |8321 |6932 | 0 | 0 | 0 |4021 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
167.00/167.03 c 164s|380000 |235809 | 0 | 0.0 | 239M|3710 | - |8321 |6877 | 0 | 0 | 0 |4094 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
171.61/171.68 c 169s|390000 |245698 | 0 | 0.0 | 250M|3710 | - |8321 |6968 | 0 | 0 | 0 |4303 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
176.10/176.10 c 173s|400000 |255612 | 0 | 0.0 | 261M|3710 | - |8321 |6878 | 0 | 0 | 0 |4327 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
180.30/180.32 c 177s|410000 |265501 | 0 | 0.0 | 272M|3710 | - |8321 |6919 | 0 | 0 | 0 |4511 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
184.70/184.72 c 182s|420000 |275391 | 0 | 0.0 | 282M|3710 | - |8321 |7020 | 0 | 0 | 0 |4720 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
188.90/188.95 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
188.90/188.95 c 186s|430000 |285289 | 0 | 0.0 | 293M|3710 | - |8321 |6987 | 0 | 0 | 0 |4847 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
193.20/193.29 c 190s|440000 |295258 | 0 | 0.0 | 304M|3710 | - |8321 |6933 | 0 | 0 | 0 |4885 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
197.49/197.59 c 194s|450000 |305153 | 0 | 0.0 | 315M|3710 | - |8321 |6934 | 0 | 0 | 0 |5001 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
202.40/202.50 c 199s|460000 |315026 | 0 | 0.0 | 325M|3710 | - |8321 |6982 | 0 | 0 | 0 |5167 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
206.80/206.84 c 203s|470000 |324923 | 0 | 0.0 | 335M|3710 | - |8321 |6999 | 0 | 0 | 0 |5322 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
211.50/211.56 c 208s|480000 |334823 | 0 | 0.0 | 345M|3710 | - |8321 |7017 | 0 | 0 | 0 |5450 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
215.99/216.08 c 212s|490000 |344801 | 0 | 0.0 | 354M|3710 | - |8321 |6932 | 0 | 0 | 0 |5454 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
220.60/220.66 c 217s|500000 |354747 | 0 | 0.0 | 364M|3710 | - |8321 |6834 | 0 | 0 | 0 |5462 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
225.00/225.02 c 221s|510000 |364667 | 0 | 0.0 | 375M|3710 | - |8321 |6755 | 0 | 0 | 0 |5501 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
229.00/229.03 c 225s|520000 |374629 | 0 | 0.0 | 384M|3710 | - |8321 |6746 | 0 | 0 | 0 |5574 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
233.90/233.94 c 230s|530000 |384539 | 0 | 0.0 | 393M|3710 | - |8321 |6745 | 0 | 0 | 0 |5636 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
238.60/238.60 c 235s|540000 |394514 | 0 | 0.0 | 402M|3710 | - |8321 |6719 | 0 | 0 | 0 |5647 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
243.40/243.41 c 239s|550000 |404483 | 0 | 0.0 | 410M|3710 | - |8321 |6698 | 0 | 0 | 0 |5660 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
247.80/247.86 c 244s|560000 |414444 | 0 | 0.0 | 418M|3710 | - |8321 |6695 | 0 | 0 | 0 |5685 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
251.80/251.83 c 248s|570000 |424409 | 0 | 0.0 | 427M|3710 | - |8321 |6688 | 0 | 0 | 0 |5710 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
255.80/255.83 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
255.80/255.83 c 252s|580000 |434344 | 0 | 0.0 | 436M|3710 | - |8321 |6746 | 0 | 0 | 0 |5810 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
260.21/260.24 c 256s|590000 |444258 | 0 | 0.0 | 444M|3710 | - |8321 |6755 | 0 | 0 | 0 |5845 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
264.20/264.21 c 260s|600000 |454160 | 0 | 0.0 | 453M|3710 | - |8321 |6818 | 0 | 0 | 0 |5939 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
268.41/268.44 c 264s|610000 |464088 | 0 | 0.0 | 461M|3710 | - |8321 |6837 | 0 | 0 | 0 |5985 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
272.40/272.46 c 268s|620000 |474036 | 0 | 0.0 | 469M|3710 | - |8321 |6818 | 0 | 0 | 0 |6028 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
277.30/277.37 c 273s|630000 |483951 | 0 | 0.0 | 476M|3710 | - |8321 |6818 | 0 | 0 | 0 |6087 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
281.81/281.81 c 277s|640000 |493910 | 0 | 0.0 | 485M|3710 | - |8321 |6781 | 0 | 0 | 0 |6107 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
286.40/286.41 c 282s|650000 |503851 | 0 | 0.0 | 493M|3710 | - |8321 |6761 | 0 | 0 | 0 |6135 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
290.60/290.65 c 286s|660000 |513785 | 0 | 0.0 | 501M|3710 | - |8321 |6740 | 0 | 0 | 0 |6167 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
294.81/294.86 c 290s|670000 |523699 | 0 | 0.0 | 509M|3710 | - |8321 |6761 | 0 | 0 | 0 |6234 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
299.10/299.15 c 294s|680000 |533585 | 0 | 0.0 | 517M|3710 | - |8321 |6804 | 0 | 0 | 0 |6312 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
304.00/304.01 c 299s|690000 |543531 | 0 | 0.0 | 523M|3710 | - |8321 |6791 | 0 | 0 | 0 |6345 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
308.70/308.72 c 304s|700000 |553435 | 0 | 0.0 | 531M|3710 | - |8321 |6810 | 0 | 0 | 0 |6415 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
313.10/313.14 c 308s|710000 |563405 | 0 | 0.0 | 538M|3710 | - |8321 |6767 | 0 | 0 | 0 |6421 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
317.11/317.14 c 312s|720000 |573364 | 0 | 0.0 | 547M|3710 | - |8321 |6776 | 0 | 0 | 0 |6462 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
321.10/321.15 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
321.10/321.15 c 316s|730000 |583271 | 0 | 0.0 | 554M|3710 | - |8321 |6877 | 0 | 0 | 0 |6587 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
324.90/324.93 c 320s|740000 |593152 | 0 | 0.0 | 559M|3710 | - |8321 |7028 | 0 | 0 | 0 |6757 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
328.61/328.67 c 323s|750000 |603046 | 0 | 0.0 | 564M|3710 | - |8321 |7158 | 0 | 0 | 0 |6922 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
332.50/332.52 c 327s|760000 |612909 | 0 | 0.0 | 570M|3710 | - |8321 |7255 | 0 | 0 | 0 |7076 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
336.31/336.35 c 331s|770000 |622793 | 0 | 0.0 | 577M|3710 | - |8321 |7253 | 0 | 0 | 0 |7157 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
339.80/339.83 c 334s|780000 |632595 | 0 | 0.0 | 584M|3710 | - |8321 |7435 | 0 | 0 | 0 |7432 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
343.61/343.61 c 338s|790000 |642248 | 0 | 0.0 | 592M|3710 | - |8321 |7981 | 0 | 0 | 0 |8067 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
347.91/347.97 c 342s|800000 |651959 | 0 | 0.0 | 601M|3710 | - |8321 |8231 | 0 | 0 | 0 |8485 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
352.20/352.24 c 346s|810000 |661889 | 0 | 0.0 | 609M|3710 | - |8321 |8141 | 0 | 0 | 0 |8560 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
356.11/356.15 c 350s|820000 |671629 | 0 | 0.0 | 617M|3710 | - |8321 |8671 | 0 | 0 | 0 |9232 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
360.01/360.09 c 354s|830000 |681384 | 0 | 0.0 | 624M|3710 | - |8321 |9166 | 0 | 0 | 0 |9889 | 0 | 0.000000e+00 | 1.400000e+02 | Inf
360.21/360.27 o 139
360.21/360.27 c * 354s|830478 |634065 | 0 | 0.0 | 596M|3710 | - |8321 |9199 | 0 | 0 | 0 |9937 | 0 | 0.000000e+00 | 1.390000e+02 | Inf
364.00/364.00 c 358s|840000 |643294 | 0 | 0.0 | 604M|3710 | - |8321 |9928 | 0 | 0 | 0 | 10k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
367.71/367.79 c 362s|850000 |653042 | 0 | 0.0 | 611M|3710 | - |8321 | 10k| 0 | 0 | 0 | 11k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
371.41/371.45 c 365s|860000 |662799 | 0 | 0.0 | 619M|3710 | - |8321 | 11k| 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
375.21/375.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
375.21/375.28 c 369s|870000 |672593 | 0 | 0.0 | 626M|3710 | - |8321 | 11k| 0 | 0 | 0 | 12k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
379.41/379.41 c 373s|880000 |682231 | 0 | 0.0 | 634M|3710 | - |8321 | 12k| 0 | 0 | 0 | 13k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
383.40/383.45 c 377s|890000 |692025 | 0 | 0.0 | 642M|3710 | - |8321 | 12k| 0 | 0 | 0 | 14k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
387.21/387.25 c 381s|900000 |701853 | 0 | 0.0 | 649M|3710 | - |8321 | 12k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
390.71/390.75 c 384s|910000 |711736 | 0 | 0.0 | 657M|3710 | - |8321 | 13k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
394.50/394.58 c 388s|920000 |721521 | 0 | 0.0 | 665M|3710 | - |8321 | 13k| 0 | 0 | 0 | 15k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
398.61/398.62 c 392s|930000 |731230 | 0 | 0.0 | 673M|3710 | - |8321 | 14k| 0 | 0 | 0 | 16k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
402.31/402.35 c 395s|940000 |741082 | 0 | 0.0 | 681M|3710 | - |8321 | 14k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
405.91/405.98 c 399s|950000 |750962 | 0 | 0.0 | 688M|3710 | - |8321 | 14k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
409.71/409.73 c 403s|960000 |760821 | 0 | 0.0 | 696M|3710 | - |8321 | 14k| 0 | 0 | 0 | 17k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
413.50/413.52 c 406s|970000 |770679 | 0 | 0.0 | 703M|3710 | - |8321 | 14k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
417.41/417.40 c 410s|980000 |780513 | 0 | 0.0 | 710M|3710 | - |8321 | 14k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
421.31/421.34 c 414s|990000 |790331 | 0 | 0.0 | 717M|3710 | - |8321 | 14k| 0 | 0 | 0 | 18k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
425.00/425.06 c 418s| 1000k|800219 | 0 | 0.0 | 725M|3710 | - |8321 | 15k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
428.80/428.87 c 421s| 1010k|810131 | 0 | 0.0 | 732M|3710 | - |8321 | 15k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
432.50/432.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
432.50/432.56 c 425s| 1020k|820003 | 0 | 0.0 | 739M|3710 | - |8321 | 15k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
436.21/436.27 c 429s| 1030k|829872 | 0 | 0.0 | 747M|3710 | - |8321 | 15k| 0 | 0 | 0 | 19k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
439.90/439.99 c 432s| 1040k|839758 | 0 | 0.0 | 755M|3710 | - |8321 | 15k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
443.60/443.62 c 436s| 1050k|849625 | 0 | 0.0 | 762M|3710 | - |8321 | 15k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
447.60/447.68 c 440s| 1060k|859460 | 0 | 0.0 | 769M|3710 | - |8321 | 15k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
451.81/451.81 c 444s| 1070k|869277 | 0 | 0.0 | 776M|3710 | - |8321 | 15k| 0 | 0 | 0 | 20k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
455.41/455.46 c 448s| 1080k|879173 | 0 | 0.0 | 783M|3710 | - |8321 | 15k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
459.11/459.15 c 451s| 1090k|889055 | 0 | 0.0 | 790M|3710 | - |8321 | 15k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
462.71/462.71 c 455s| 1100k|898950 | 0 | 0.0 | 797M|3710 | - |8321 | 15k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
466.21/466.20 c 458s| 1110k|908839 | 0 | 0.0 | 805M|3710 | - |8321 | 16k| 0 | 0 | 0 | 21k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
469.71/469.80 c 462s| 1120k|918741 | 0 | 0.0 | 812M|3710 | - |8321 | 16k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
473.61/473.60 c 465s| 1130k|928580 | 0 | 0.0 | 819M|3710 | - |8321 | 16k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
477.51/477.57 c 469s| 1140k|938342 | 0 | 0.0 | 827M|3710 | - |8321 | 16k| 0 | 0 | 0 | 22k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
481.41/481.40 c 473s| 1150k|948208 | 0 | 0.0 | 835M|3710 | - |8321 | 16k| 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
485.21/485.28 c 477s| 1160k|957998 | 0 | 0.0 | 844M|3710 | - |8321 | 17k| 0 | 0 | 0 | 23k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
489.00/489.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
489.00/489.02 c 480s| 1170k|967907 | 0 | 0.0 | 851M|3710 | - |8321 | 17k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
492.61/492.68 c 484s| 1180k|977797 | 0 | 0.0 | 859M|3710 | - |8321 | 17k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
496.12/496.19 c 487s| 1190k|987695 | 0 | 0.0 | 866M|3710 | - |8321 | 17k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
499.91/499.96 c 491s| 1200k|997553 | 0 | 0.0 | 874M|3710 | - |8321 | 17k| 0 | 0 | 0 | 24k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
503.51/503.56 c 495s| 1210k| 1007k| 0 | 0.0 | 881M|3710 | - |8321 | 17k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
507.22/507.25 c 498s| 1220k| 1017k| 0 | 0.0 | 889M|3710 | - |8321 | 17k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
511.01/511.02 c 502s| 1230k| 1027k| 0 | 0.0 | 897M|3710 | - |8321 | 18k| 0 | 0 | 0 | 25k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
514.61/514.68 c 506s| 1240k| 1036k| 0 | 0.0 | 904M|3710 | - |8321 | 18k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
518.31/518.32 c 509s| 1250k| 1046k| 0 | 0.0 | 911M|3710 | - |8321 | 18k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
521.81/521.85 c 513s| 1260k| 1056k| 0 | 0.0 | 919M|3710 | - |8321 | 18k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
525.51/525.50 c 516s| 1270k| 1066k| 0 | 0.0 | 927M|3710 | - |8321 | 18k| 0 | 0 | 0 | 26k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
529.12/529.14 c 520s| 1280k| 1076k| 0 | 0.0 | 935M|3710 | - |8321 | 18k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
532.71/532.77 c 523s| 1290k| 1086k| 0 | 0.0 | 943M|3710 | - |8321 | 18k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
536.11/536.17 c 527s| 1300k| 1096k| 0 | 0.0 | 950M|3710 | - |8321 | 18k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
539.61/539.67 c 530s| 1310k| 1106k| 0 | 0.0 | 958M|3710 | - |8321 | 18k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
543.11/543.16 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
543.11/543.16 c 533s| 1320k| 1116k| 0 | 0.0 | 966M|3710 | - |8321 | 18k| 0 | 0 | 0 | 27k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
546.82/546.83 c 537s| 1330k| 1126k| 0 | 0.0 | 974M|3710 | - |8321 | 18k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
550.61/550.69 c 541s| 1340k| 1135k| 0 | 0.0 | 981M|3710 | - |8321 | 18k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
554.42/554.45 c 544s| 1350k| 1145k| 0 | 0.0 | 989M|3710 | - |8321 | 19k| 0 | 0 | 0 | 28k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
558.01/558.04 c 548s| 1360k| 1155k| 0 | 0.0 | 997M|3710 | - |8321 | 19k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
561.61/561.61 c 551s| 1370k| 1165k| 0 | 0.0 |1005M|3710 | - |8321 | 19k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
565.11/565.14 c 555s| 1380k| 1175k| 0 | 0.0 |1013M|3710 | - |8321 | 19k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
568.61/568.64 c 558s| 1390k| 1185k| 0 | 0.0 |1020M|3710 | - |8321 | 19k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
572.21/572.25 c 562s| 1400k| 1195k| 0 | 0.0 |1028M|3710 | - |8321 | 19k| 0 | 0 | 0 | 29k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
576.01/576.02 c 566s| 1410k| 1204k| 0 | 0.0 |1036M|3710 | - |8321 | 19k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
579.72/579.74 c 569s| 1420k| 1214k| 0 | 0.0 |1044M|3710 | - |8321 | 19k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
583.31/583.32 c 573s| 1430k| 1224k| 0 | 0.0 |1051M|3710 | - |8321 | 19k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
586.81/586.87 c 576s| 1440k| 1234k| 0 | 0.0 |1059M|3710 | - |8321 | 19k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
590.41/590.46 c 580s| 1450k| 1244k| 0 | 0.0 |1066M|3710 | - |8321 | 19k| 0 | 0 | 0 | 30k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
594.01/594.02 c 583s| 1460k| 1254k| 0 | 0.0 |1074M|3710 | - |8321 | 20k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
597.32/597.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.32/597.34 c 586s| 1470k| 1264k| 0 | 0.0 |1082M|3710 | - |8321 | 20k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
600.72/600.78 c 590s| 1480k| 1274k| 0 | 0.0 |1090M|3710 | - |8321 | 20k| 0 | 0 | 0 | 31k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
604.51/604.51 c 593s| 1490k| 1284k| 0 | 0.0 |1098M|3710 | - |8321 | 20k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
608.32/608.38 c 597s| 1500k| 1294k| 0 | 0.0 |1106M|3710 | - |8321 | 20k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
612.11/612.18 c 601s| 1510k| 1303k| 0 | 0.0 |1115M|3710 | - |8321 | 20k| 0 | 0 | 0 | 32k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
615.81/615.82 c 605s| 1520k| 1313k| 0 | 0.0 |1123M|3710 | - |8321 | 21k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
619.52/619.53 c 608s| 1530k| 1323k| 0 | 0.0 |1131M|3710 | - |8321 | 21k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
623.21/623.25 c 612s| 1540k| 1333k| 0 | 0.0 |1139M|3710 | - |8321 | 21k| 0 | 0 | 0 | 33k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
627.02/627.08 c 616s| 1550k| 1343k| 0 | 0.0 |1147M|3710 | - |8321 | 21k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
630.82/630.87 c 619s| 1560k| 1353k| 0 | 0.0 |1155M|3710 | - |8321 | 21k| 0 | 0 | 0 | 34k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
634.52/634.59 c 623s| 1570k| 1362k| 0 | 0.0 |1163M|3710 | - |8321 | 21k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
638.31/638.39 c 627s| 1580k| 1372k| 0 | 0.0 |1171M|3710 | - |8321 | 21k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
642.31/642.31 c 631s| 1590k| 1382k| 0 | 0.0 |1179M|3710 | - |8321 | 22k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
646.02/646.05 c 634s| 1600k| 1392k| 0 | 0.0 |1186M|3710 | - |8321 | 22k| 0 | 0 | 0 | 35k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
649.61/649.62 c 638s| 1610k| 1402k| 0 | 0.0 |1194M|3710 | - |8321 | 22k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
653.52/653.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
653.52/653.58 c 642s| 1620k| 1412k| 0 | 0.0 |1202M|3710 | - |8321 | 22k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
657.32/657.35 c 645s| 1630k| 1422k| 0 | 0.0 |1211M|3710 | - |8321 | 22k| 0 | 0 | 0 | 36k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
661.01/661.00 c 649s| 1640k| 1431k| 0 | 0.0 |1219M|3710 | - |8321 | 23k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
664.62/664.66 c 652s| 1650k| 1441k| 0 | 0.0 |1227M|3710 | - |8321 | 23k| 0 | 0 | 0 | 37k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
668.62/668.62 c 656s| 1660k| 1451k| 0 | 0.0 |1235M|3710 | - |8321 | 23k| 0 | 0 | 0 | 38k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
672.32/672.30 c 660s| 1670k| 1461k| 0 | 0.0 |1243M|3710 | - |8321 | 23k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
676.12/676.14 c 664s| 1680k| 1471k| 0 | 0.0 |1251M|3710 | - |8321 | 23k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
679.92/679.99 c 667s| 1690k| 1480k| 0 | 0.0 |1259M|3710 | - |8321 | 24k| 0 | 0 | 0 | 39k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
683.62/683.63 c 671s| 1700k| 1490k| 0 | 0.0 |1267M|3710 | - |8321 | 23k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
687.21/687.25 c 675s| 1710k| 1500k| 0 | 0.0 |1274M|3710 | - |8321 | 23k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
691.02/691.05 c 678s| 1720k| 1510k| 0 | 0.0 |1282M|3710 | - |8321 | 23k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
694.81/694.85 c 682s| 1730k| 1520k| 0 | 0.0 |1290M|3710 | - |8321 | 24k| 0 | 0 | 0 | 40k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
698.52/698.54 c 686s| 1740k| 1530k| 0 | 0.0 |1298M|3710 | - |8321 | 24k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
702.02/702.09 c 689s| 1750k| 1540k| 0 | 0.0 |1306M|3710 | - |8321 | 24k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
705.82/705.83 c 693s| 1760k| 1549k| 0 | 0.0 |1313M|3710 | - |8321 | 24k| 0 | 0 | 0 | 41k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
709.52/709.52 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
709.52/709.52 c 696s| 1770k| 1559k| 0 | 0.0 |1321M|3710 | - |8321 | 24k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
713.32/713.39 c 700s| 1780k| 1569k| 0 | 0.0 |1329M|3710 | - |8321 | 24k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
717.02/717.09 c 704s| 1790k| 1579k| 0 | 0.0 |1337M|3710 | - |8321 | 25k| 0 | 0 | 0 | 42k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
720.82/720.84 c 707s| 1800k| 1589k| 0 | 0.0 |1345M|3710 | - |8321 | 25k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
724.52/724.52 c 711s| 1810k| 1599k| 0 | 0.0 |1353M|3710 | - |8321 | 25k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
727.82/727.88 c 714s| 1820k| 1609k| 0 | 0.0 |1360M|3710 | - |8321 | 25k| 0 | 0 | 0 | 43k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
731.52/731.52 c 718s| 1830k| 1618k| 0 | 0.0 |1369M|3710 | - |8321 | 25k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
735.12/735.17 c 721s| 1840k| 1628k| 0 | 0.0 |1377M|3710 | - |8321 | 25k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
738.92/738.91 c 725s| 1850k| 1638k| 0 | 0.0 |1384M|3710 | - |8321 | 25k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
742.62/742.60 c 729s| 1860k| 1648k| 0 | 0.0 |1391M|3710 | - |8321 | 25k| 0 | 0 | 0 | 44k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
746.22/746.24 c 732s| 1870k| 1658k| 0 | 0.0 |1398M|3710 | - |8321 | 25k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
749.92/749.98 c 736s| 1880k| 1668k| 0 | 0.0 |1406M|3710 | - |8321 | 25k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
753.53/753.52 c 739s| 1890k| 1677k| 0 | 0.0 |1413M|3710 | - |8321 | 25k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
756.92/756.97 c 743s| 1900k| 1687k| 0 | 0.0 |1420M|3710 | - |8321 | 25k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
760.62/760.69 c 746s| 1910k| 1697k| 0 | 0.0 |1428M|3710 | - |8321 | 25k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
764.22/764.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
764.22/764.28 c 750s| 1920k| 1707k| 0 | 0.0 |1435M|3710 | - |8321 | 25k| 0 | 0 | 0 | 45k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
768.02/768.02 c 754s| 1930k| 1717k| 0 | 0.0 |1444M|3710 | - |8321 | 26k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
771.71/771.70 c 757s| 1940k| 1727k| 0 | 0.0 |1452M|3710 | - |8321 | 26k| 0 | 0 | 0 | 46k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
775.32/775.40 c 761s| 1950k| 1736k| 0 | 0.0 |1460M|3710 | - |8321 | 26k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
779.01/779.05 c 764s| 1960k| 1746k| 0 | 0.0 |1467M|3710 | - |8321 | 26k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
782.92/782.91 c 768s| 1970k| 1756k| 0 | 0.0 |1475M|3710 | - |8321 | 26k| 0 | 0 | 0 | 47k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
786.52/786.55 c 772s| 1980k| 1766k| 0 | 0.0 |1482M|3710 | - |8321 | 27k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
790.22/790.24 c 775s| 1990k| 1776k| 0 | 0.0 |1490M|3710 | - |8321 | 27k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
793.82/793.82 c 779s| 2000k| 1786k| 0 | 0.0 |1498M|3710 | - |8321 | 27k| 0 | 0 | 0 | 48k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
797.62/797.68 c 783s| 2010k| 1795k| 0 | 0.0 |1506M|3710 | - |8321 | 27k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
801.32/801.36 c 786s| 2020k| 1805k| 0 | 0.0 |1514M|3710 | - |8321 | 27k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
805.11/805.19 c 790s| 2030k| 1815k| 0 | 0.0 |1522M|3710 | - |8321 | 27k| 0 | 0 | 0 | 49k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
808.92/808.94 c 794s| 2040k| 1825k| 0 | 0.0 |1529M|3710 | - |8321 | 27k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
812.72/812.74 c 797s| 2050k| 1835k| 0 | 0.0 |1537M|3710 | - |8321 | 27k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
816.41/816.42 c 801s| 2060k| 1845k| 0 | 0.0 |1545M|3710 | - |8321 | 27k| 0 | 0 | 0 | 50k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
820.12/820.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
820.12/820.12 c 805s| 2070k| 1855k| 0 | 0.0 |1553M|3710 | - |8321 | 27k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
823.93/823.95 c 808s| 2080k| 1864k| 0 | 0.0 |1560M|3710 | - |8321 | 28k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
827.72/827.75 c 812s| 2090k| 1874k| 0 | 0.0 |1568M|3710 | - |8321 | 28k| 0 | 0 | 0 | 51k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
831.62/831.70 c 816s| 2100k| 1884k| 0 | 0.0 |1576M|3710 | - |8321 | 28k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
835.72/835.72 c 820s| 2110k| 1894k| 0 | 0.0 |1585M|3710 | - |8321 | 28k| 0 | 0 | 0 | 52k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
839.43/839.49 c 824s| 2120k| 1903k| 0 | 0.0 |1593M|3710 | - |8321 | 28k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
843.02/843.07 c 827s| 2130k| 1913k| 0 | 0.0 |1600M|3710 | - |8321 | 28k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
846.52/846.54 c 831s| 2140k| 1923k| 0 | 0.0 |1608M|3710 | - |8321 | 28k| 0 | 0 | 0 | 53k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
850.02/850.06 c 834s| 2150k| 1933k| 0 | 0.0 |1616M|3710 | - |8321 | 28k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
853.72/853.71 c 838s| 2160k| 1943k| 0 | 0.0 |1625M|3710 | - |8321 | 29k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
857.42/857.46 c 841s| 2170k| 1953k| 0 | 0.0 |1633M|3710 | - |8321 | 29k| 0 | 0 | 0 | 54k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
861.12/861.19 c 845s| 2180k| 1962k| 0 | 0.0 |1641M|3710 | - |8321 | 29k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
864.73/864.77 c 848s| 2190k| 1972k| 0 | 0.0 |1649M|3710 | - |8321 | 29k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
868.32/868.35 c 852s| 2200k| 1982k| 0 | 0.0 |1656M|3710 | - |8321 | 29k| 0 | 0 | 0 | 55k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
871.82/871.85 c 855s| 2210k| 1992k| 0 | 0.0 |1664M|3710 | - |8321 | 29k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
875.82/875.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
875.82/875.80 c 859s| 2220k| 2002k| 0 | 0.0 |1673M|3710 | - |8321 | 29k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
879.32/879.31 c 863s| 2230k| 2012k| 0 | 0.0 |1681M|3710 | - |8321 | 29k| 0 | 0 | 0 | 56k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
883.23/883.22 c 866s| 2240k| 2021k| 0 | 0.0 |1689M|3710 | - |8321 | 29k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
886.62/886.68 c 870s| 2250k| 2031k| 0 | 0.0 |1696M|3710 | - |8321 | 29k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
890.22/890.22 c 873s| 2260k| 2041k| 0 | 0.0 |1704M|3710 | - |8321 | 29k| 0 | 0 | 0 | 57k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
893.72/893.78 c 877s| 2270k| 2051k| 0 | 0.0 |1713M|3710 | - |8321 | 30k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
897.32/897.36 c 880s| 2280k| 2061k| 0 | 0.0 |1721M|3710 | - |8321 | 30k| 0 | 0 | 0 | 58k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
901.42/901.41 c 884s| 2290k| 2071k| 0 | 0.0 |1729M|3710 | - |8321 | 30k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
905.22/905.20 c 888s| 2300k| 2080k| 0 | 0.0 |1737M|3710 | - |8321 | 30k| 0 | 0 | 0 | 59k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
908.92/908.92 c 892s| 2310k| 2090k| 0 | 0.0 |1746M|3710 | - |8321 | 30k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
912.82/912.89 c 896s| 2320k| 2100k| 0 | 0.0 |1754M|3710 | - |8321 | 31k| 0 | 0 | 0 | 60k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
916.43/916.46 c 899s| 2330k| 2110k| 0 | 0.0 |1762M|3710 | - |8321 | 31k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
920.12/920.19 c 903s| 2340k| 2120k| 0 | 0.0 |1770M|3710 | - |8321 | 31k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
923.93/923.91 c 906s| 2350k| 2129k| 0 | 0.0 |1777M|3710 | - |8321 | 31k| 0 | 0 | 0 | 61k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
927.62/927.70 c 910s| 2360k| 2139k| 0 | 0.0 |1785M|3710 | - |8321 | 31k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
931.22/931.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
931.22/931.27 c 914s| 2370k| 2149k| 0 | 0.0 |1793M|3710 | - |8321 | 31k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
935.13/935.18 c 917s| 2380k| 2159k| 0 | 0.0 |1800M|3710 | - |8321 | 31k| 0 | 0 | 0 | 62k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
938.83/938.85 c 921s| 2390k| 2169k| 0 | 0.0 |1808M|3710 | - |8321 | 31k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
942.53/942.50 c 925s| 2400k| 2179k| 0 | 0.0 |1816M|3710 | - |8321 | 31k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
946.53/946.60 c 929s| 2410k| 2188k| 0 | 0.0 |1824M|3710 | - |8321 | 31k| 0 | 0 | 0 | 63k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
950.62/950.64 c 933s| 2420k| 2198k| 0 | 0.0 |1832M|3710 | - |8321 | 31k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
954.32/954.33 c 936s| 2430k| 2208k| 0 | 0.0 |1839M|3710 | - |8321 | 31k| 0 | 0 | 0 | 64k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
958.23/958.21 c 940s| 2440k| 2218k| 0 | 0.0 |1848M|3710 | - |8321 | 32k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
961.93/961.90 c 944s| 2450k| 2227k| 0 | 0.0 |1856M|3710 | - |8321 | 32k| 0 | 0 | 0 | 65k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
965.62/965.63 c 947s| 2460k| 2237k| 0 | 0.0 |1864M|3710 | - |8321 | 32k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
969.52/969.53 c 951s| 2470k| 2247k| 0 | 0.0 |1872M|3710 | - |8321 | 32k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
973.12/973.14 c 955s| 2480k| 2257k| 0 | 0.0 |1880M|3710 | - |8321 | 32k| 0 | 0 | 0 | 66k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
976.42/976.49 c 958s| 2490k| 2267k| 0 | 0.0 |1888M|3710 | - |8321 | 32k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
979.93/979.97 c 961s| 2500k| 2277k| 0 | 0.0 |1896M|3710 | - |8321 | 32k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
983.53/983.53 c 965s| 2510k| 2286k| 0 | 0.0 |1904M|3710 | - |8321 | 33k| 0 | 0 | 0 | 67k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
987.33/987.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
987.33/987.31 c 968s| 2520k| 2296k| 0 | 0.0 |1912M|3710 | - |8321 | 33k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
990.93/990.91 c 972s| 2530k| 2306k| 0 | 0.0 |1920M|3710 | - |8321 | 33k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
994.63/994.66 c 976s| 2540k| 2316k| 0 | 0.0 |1927M|3710 | - |8321 | 33k| 0 | 0 | 0 | 68k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
998.12/998.17 c 979s| 2550k| 2326k| 0 | 0.0 |1935M|3710 | - |8321 | 33k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1001.72/1001.79 c 983s| 2560k| 2335k| 0 | 0.0 |1943M|3710 | - |8321 | 33k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1005.32/1005.35 c 986s| 2570k| 2345k| 0 | 0.0 |1951M|3710 | - |8321 | 33k| 0 | 0 | 0 | 69k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1008.83/1008.88 c 990s| 2580k| 2355k| 0 | 0.0 |1958M|3710 | - |8321 | 33k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1012.43/1012.45 c 993s| 2590k| 2365k| 0 | 0.0 |1966M|3710 | - |8321 | 33k| 0 | 0 | 0 | 70k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1016.53/1016.51 c 997s| 2600k| 2375k| 0 | 0.0 |1975M|3710 | - |8321 | 34k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1020.03/1020.06 c 1000s| 2610k| 2384k| 0 | 0.0 |1983M|3710 | - |8321 | 34k| 0 | 0 | 0 | 71k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1023.53/1023.54 c 1004s| 2620k| 2394k| 0 | 0.0 |1991M|3710 | - |8321 | 34k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1027.33/1027.33 c 1008s| 2630k| 2404k| 0 | 0.0 |2000M|3710 | - |8321 | 34k| 0 | 0 | 0 | 72k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1031.03/1031.07 c 1011s| 2640k| 2414k| 0 | 0.0 |2008M|3710 | - |8321 | 34k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1034.83/1034.83 c 1015s| 2650k| 2424k| 0 | 0.0 |2015M|3710 | - |8321 | 34k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1038.43/1038.48 c 1019s| 2660k| 2433k| 0 | 0.0 |2023M|3710 | - |8321 | 35k| 0 | 0 | 0 | 73k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1042.03/1042.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1042.03/1042.05 c 1022s| 2670k| 2443k| 0 | 0.0 |2032M|3710 | - |8321 | 35k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1045.53/1045.53 c 1025s| 2680k| 2453k| 0 | 0.0 |2039M|3710 | - |8321 | 35k| 0 | 0 | 0 | 74k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1049.03/1049.07 c 1029s| 2690k| 2463k| 0 | 0.0 |2047M|3710 | - |8321 | 35k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1052.74/1052.79 c 1033s| 2700k| 2473k| 0 | 0.0 |2056M|3710 | - |8321 | 35k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1056.43/1056.48 c 1036s| 2710k| 2483k| 0 | 0.0 |2064M|3710 | - |8321 | 35k| 0 | 0 | 0 | 75k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1060.12/1060.14 c 1040s| 2720k| 2492k| 0 | 0.0 |2072M|3710 | - |8321 | 35k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1063.63/1063.60 c 1043s| 2730k| 2502k| 0 | 0.0 |2080M|3710 | - |8321 | 35k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1067.03/1067.06 c 1047s| 2740k| 2512k| 0 | 0.0 |2088M|3710 | - |8321 | 35k| 0 | 0 | 0 | 76k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1070.53/1070.51 c 1050s| 2750k| 2522k| 0 | 0.0 |2095M|3710 | - |8321 | 35k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1073.93/1073.98 c 1053s| 2760k| 2532k| 0 | 0.0 |2103M|3710 | - |8321 | 35k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1077.62/1077.69 c 1057s| 2770k| 2542k| 0 | 0.0 |2110M|3710 | - |8321 | 35k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1081.43/1081.49 c 1061s| 2780k| 2551k| 0 | 0.0 |2118M|3710 | - |8321 | 36k| 0 | 0 | 0 | 77k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1084.93/1084.97 c 1064s| 2790k| 2561k| 0 | 0.0 |2126M|3710 | - |8321 | 36k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1088.33/1088.39 c 1067s| 2800k| 2571k| 0 | 0.0 |2134M|3710 | - |8321 | 36k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1092.13/1092.10 c 1071s| 2810k| 2581k| 0 | 0.0 |2142M|3710 | - |8321 | 36k| 0 | 0 | 0 | 78k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1095.53/1095.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1095.53/1095.50 c 1074s| 2820k| 2591k| 0 | 0.0 |2150M|3710 | - |8321 | 36k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1099.33/1099.32 c 1078s| 2830k| 2600k| 0 | 0.0 |2158M|3710 | - |8321 | 36k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1102.83/1102.84 c 1082s| 2840k| 2610k| 0 | 0.0 |2166M|3710 | - |8321 | 36k| 0 | 0 | 0 | 79k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1106.53/1106.58 c 1085s| 2850k| 2620k| 0 | 0.0 |2174M|3710 | - |8321 | 36k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1110.23/1110.21 c 1089s| 2860k| 2630k| 0 | 0.0 |2181M|3710 | - |8321 | 36k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1113.53/1113.54 c 1092s| 2870k| 2640k| 0 | 0.0 |2189M|3710 | - |8321 | 36k| 0 | 0 | 0 | 80k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1117.03/1117.04 c 1095s| 2880k| 2650k| 0 | 0.0 |2197M|3710 | - |8321 | 36k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1120.73/1120.72 c 1099s| 2890k| 2659k| 0 | 0.0 |2206M|3710 | - |8321 | 37k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1124.13/1124.20 c 1102s| 2900k| 2669k| 0 | 0.0 |2213M|3710 | - |8321 | 37k| 0 | 0 | 0 | 81k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1127.92/1127.92 c 1106s| 2910k| 2679k| 0 | 0.0 |2221M|3710 | - |8321 | 37k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1131.53/1131.53 c 1110s| 2920k| 2689k| 0 | 0.0 |2228M|3710 | - |8321 | 37k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1135.23/1135.30 c 1113s| 2930k| 2699k| 0 | 0.0 |2236M|3710 | - |8321 | 37k| 0 | 0 | 0 | 82k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1139.13/1139.10 c 1117s| 2940k| 2709k| 0 | 0.0 |2243M|3710 | - |8321 | 37k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1142.63/1142.67 c 1120s| 2950k| 2718k| 0 | 0.0 |2251M|3710 | - |8321 | 37k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1146.34/1146.31 c 1124s| 2960k| 2728k| 0 | 0.0 |2259M|3710 | - |8321 | 37k| 0 | 0 | 0 | 83k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1150.13/1150.17 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1150.13/1150.17 c 1128s| 2970k| 2738k| 0 | 0.0 |2267M|3710 | - |8321 | 38k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1153.83/1153.82 c 1131s| 2980k| 2748k| 0 | 0.0 |2275M|3710 | - |8321 | 38k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1157.33/1157.31 c 1135s| 2990k| 2758k| 0 | 0.0 |2283M|3710 | - |8321 | 38k| 0 | 0 | 0 | 84k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1160.64/1160.69 c 1138s| 3000k| 2768k| 0 | 0.0 |2290M|3710 | - |8321 | 38k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1164.13/1164.10 c 1141s| 3010k| 2777k| 0 | 0.0 |2298M|3710 | - |8321 | 38k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1167.53/1167.55 c 1145s| 3020k| 2787k| 0 | 0.0 |2306M|3710 | - |8321 | 38k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1170.83/1170.83 c 1148s| 3030k| 2797k| 0 | 0.0 |2313M|3710 | - |8321 | 38k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1174.23/1174.30 c 1151s| 3040k| 2807k| 0 | 0.0 |2321M|3710 | - |8321 | 38k| 0 | 0 | 0 | 85k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1177.83/1177.85 c 1155s| 3050k| 2817k| 0 | 0.0 |2329M|3710 | - |8321 | 38k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1181.33/1181.39 c 1158s| 3060k| 2827k| 0 | 0.0 |2336M|3710 | - |8321 | 38k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1184.83/1184.81 c 1162s| 3070k| 2837k| 0 | 0.0 |2344M|3710 | - |8321 | 38k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1188.44/1188.43 c 1165s| 3080k| 2846k| 0 | 0.0 |2352M|3710 | - |8321 | 38k| 0 | 0 | 0 | 86k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1191.94/1191.97 c 1169s| 3090k| 2856k| 0 | 0.0 |2360M|3710 | - |8321 | 38k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1195.63/1195.69 c 1172s| 3100k| 2866k| 0 | 0.0 |2367M|3710 | - |8321 | 38k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1199.23/1199.23 c 1176s| 3110k| 2876k| 0 | 0.0 |2375M|3710 | - |8321 | 38k| 0 | 0 | 0 | 87k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1202.73/1202.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1202.73/1202.76 c 1179s| 3120k| 2886k| 0 | 0.0 |2382M|3710 | - |8321 | 38k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1206.43/1206.48 c 1183s| 3130k| 2895k| 0 | 0.0 |2389M|3710 | - |8321 | 38k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1210.33/1210.35 c 1187s| 3140k| 2905k| 0 | 0.0 |2397M|3710 | - |8321 | 39k| 0 | 0 | 0 | 88k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1214.03/1214.02 c 1190s| 3150k| 2915k| 0 | 0.0 |2405M|3710 | - |8321 | 39k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1217.43/1217.48 c 1194s| 3160k| 2925k| 0 | 0.0 |2413M|3710 | - |8321 | 39k| 0 | 0 | 0 | 89k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1221.23/1221.24 c 1197s| 3170k| 2935k| 0 | 0.0 |2421M|3710 | - |8321 | 39k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1224.63/1224.67 c 1201s| 3180k| 2944k| 0 | 0.0 |2428M|3710 | - |8321 | 39k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1228.53/1228.54 c 1204s| 3190k| 2954k| 0 | 0.0 |2436M|3710 | - |8321 | 39k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1232.03/1232.02 c 1208s| 3200k| 2964k| 0 | 0.0 |2444M|3710 | - |8321 | 39k| 0 | 0 | 0 | 90k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1235.63/1235.64 c 1211s| 3210k| 2974k| 0 | 0.0 |2452M|3710 | - |8321 | 39k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1239.23/1239.24 c 1215s| 3220k| 2984k| 0 | 0.0 |2460M|3710 | - |8321 | 39k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1242.94/1242.92 c 1219s| 3230k| 2994k| 0 | 0.0 |2468M|3710 | - |8321 | 39k| 0 | 0 | 0 | 91k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1246.63/1246.62 c 1222s| 3240k| 3003k| 0 | 0.0 |2476M|3710 | - |8321 | 39k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1250.43/1250.40 c 1226s| 3250k| 3013k| 0 | 0.0 |2484M|3710 | - |8321 | 40k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1254.04/1254.08 c 1229s| 3260k| 3023k| 0 | 0.0 |2491M|3710 | - |8321 | 40k| 0 | 0 | 0 | 92k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1257.84/1257.80 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1257.84/1257.80 c 1233s| 3270k| 3033k| 0 | 0.0 |2499M|3710 | - |8321 | 40k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1261.43/1261.40 c 1237s| 3280k| 3043k| 0 | 0.0 |2507M|3710 | - |8321 | 40k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1264.84/1264.86 c 1240s| 3290k| 3053k| 0 | 0.0 |2514M|3710 | - |8321 | 40k| 0 | 0 | 0 | 93k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1268.63/1268.61 c 1244s| 3300k| 3062k| 0 | 0.0 |2523M|3710 | - |8321 | 40k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1272.13/1272.16 c 1247s| 3310k| 3072k| 0 | 0.0 |2531M|3710 | - |8321 | 40k| 0 | 0 | 0 | 94k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1275.83/1275.84 c 1251s| 3320k| 3082k| 0 | 0.0 |2539M|3710 | - |8321 | 40k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1279.63/1279.65 c 1254s| 3330k| 3092k| 0 | 0.0 |2547M|3710 | - |8321 | 41k| 0 | 0 | 0 | 95k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1283.14/1283.18 c 1258s| 3340k| 3102k| 0 | 0.0 |2555M|3710 | - |8321 | 41k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1286.63/1286.68 c 1261s| 3350k| 3112k| 0 | 0.0 |2563M|3710 | - |8321 | 41k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1290.64/1290.61 c 1265s| 3360k| 3121k| 0 | 0.0 |2571M|3710 | - |8321 | 41k| 0 | 0 | 0 | 96k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1294.34/1294.30 c 1269s| 3370k| 3131k| 0 | 0.0 |2579M|3710 | - |8321 | 41k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1297.73/1297.77 c 1272s| 3380k| 3141k| 0 | 0.0 |2588M|3710 | - |8321 | 42k| 0 | 0 | 0 | 97k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1301.14/1301.17 c 1276s| 3390k| 3151k| 0 | 0.0 |2595M|3710 | - |8321 | 42k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1304.64/1304.66 c 1279s| 3400k| 3160k| 0 | 0.0 |2603M|3710 | - |8321 | 42k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1308.34/1308.36 c 1283s| 3410k| 3170k| 0 | 0.0 |2612M|3710 | - |8321 | 42k| 0 | 0 | 0 | 98k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1311.73/1311.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.73/1311.79 c 1286s| 3420k| 3180k| 0 | 0.0 |2619M|3710 | - |8321 | 42k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1315.23/1315.25 c 1289s| 3430k| 3190k| 0 | 0.0 |2627M|3710 | - |8321 | 42k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1318.74/1318.71 c 1293s| 3440k| 3200k| 0 | 0.0 |2635M|3710 | - |8321 | 42k| 0 | 0 | 0 | 99k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1322.24/1322.20 c 1296s| 3450k| 3210k| 0 | 0.0 |2643M|3710 | - |8321 | 42k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1325.84/1325.82 c 1300s| 3460k| 3219k| 0 | 0.0 |2650M|3710 | - |8321 | 42k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1329.53/1329.56 c 1303s| 3470k| 3229k| 0 | 0.0 |2658M|3710 | - |8321 | 42k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1333.13/1333.14 c 1307s| 3480k| 3239k| 0 | 0.0 |2665M|3710 | - |8321 | 42k| 0 | 0 | 0 | 100k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1336.74/1336.78 c 1310s| 3490k| 3249k| 0 | 0.0 |2673M|3710 | - |8321 | 42k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1340.54/1340.55 c 1314s| 3500k| 3259k| 0 | 0.0 |2681M|3710 | - |8321 | 43k| 0 | 0 | 0 | 101k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1343.83/1343.88 c 1317s| 3510k| 3268k| 0 | 0.0 |2689M|3710 | - |8321 | 43k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1347.44/1347.49 c 1321s| 3520k| 3278k| 0 | 0.0 |2697M|3710 | - |8321 | 43k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1351.14/1351.16 c 1324s| 3530k| 3288k| 0 | 0.0 |2704M|3710 | - |8321 | 43k| 0 | 0 | 0 | 102k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1354.84/1354.81 c 1328s| 3540k| 3298k| 0 | 0.0 |2712M|3710 | - |8321 | 43k| 0 | 0 | 0 | 103k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1358.64/1358.62 c 1332s| 3550k| 3308k| 0 | 0.0 |2721M|3710 | - |8321 | 44k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1362.14/1362.19 c 1335s| 3560k| 3317k| 0 | 0.0 |2729M|3710 | - |8321 | 44k| 0 | 0 | 0 | 104k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1365.74/1365.78 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1365.74/1365.78 c 1339s| 3570k| 3327k| 0 | 0.0 |2738M|3710 | - |8321 | 44k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1369.54/1369.53 c 1342s| 3580k| 3337k| 0 | 0.0 |2747M|3710 | - |8321 | 44k| 0 | 0 | 0 | 105k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1373.14/1373.19 c 1346s| 3590k| 3347k| 0 | 0.0 |2755M|3710 | - |8321 | 44k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1376.74/1376.71 c 1349s| 3600k| 3357k| 0 | 0.0 |2762M|3710 | - |8321 | 44k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1380.54/1380.50 c 1353s| 3610k| 3366k| 0 | 0.0 |2769M|3710 | - |8321 | 44k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1384.24/1384.21 c 1357s| 3620k| 3376k| 0 | 0.0 |2776M|3710 | - |8321 | 44k| 0 | 0 | 0 | 106k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1387.63/1387.69 c 1360s| 3630k| 3386k| 0 | 0.0 |2784M|3710 | - |8321 | 44k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1391.14/1391.19 c 1364s| 3640k| 3396k| 0 | 0.0 |2792M|3710 | - |8321 | 45k| 0 | 0 | 0 | 107k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1395.04/1395.01 c 1367s| 3650k| 3405k| 0 | 0.0 |2800M|3710 | - |8321 | 45k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1398.44/1398.43 c 1371s| 3660k| 3415k| 0 | 0.0 |2808M|3710 | - |8321 | 45k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1402.24/1402.27 c 1374s| 3670k| 3425k| 0 | 0.0 |2815M|3710 | - |8321 | 45k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1405.85/1405.90 c 1378s| 3680k| 3435k| 0 | 0.0 |2822M|3710 | - |8321 | 45k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1409.44/1409.40 c 1381s| 3690k| 3445k| 0 | 0.0 |2828M|3710 | - |8321 | 45k| 0 | 0 | 0 | 108k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1413.04/1413.00 c 1385s| 3700k| 3455k| 0 | 0.0 |2835M|3710 | - |8321 | 45k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1416.44/1416.41 c 1388s| 3710k| 3465k| 0 | 0.0 |2843M|3710 | - |8321 | 45k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1419.84/1419.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1419.84/1419.84 c 1392s| 3720k| 3474k| 0 | 0.0 |2852M|3710 | - |8321 | 45k| 0 | 0 | 0 | 109k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1423.84/1423.80 c 1395s| 3730k| 3484k| 0 | 0.0 |2861M|3710 | - |8321 | 46k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1427.24/1427.27 c 1399s| 3740k| 3494k| 0 | 0.0 |2868M|3710 | - |8321 | 46k| 0 | 0 | 0 | 110k| 0 | 0.000000e+00 | 1.390000e+02 | Inf
1427.44/1427.41 c (node 3740431) switching to memory saving mode (mem: 2736.0M/3420.0M)
1437.94/1437.93 o 15
1437.94/1437.93 c *1409s| 3744k|241043 | 0 | 0.0 | 157M|3922 | - |8321 | 48k| 0 | 0 | 0 | 113k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1437.94/1437.93 c (node 3744838) switching to standard mode (mem: 150.7M/3420.0M)
1439.95/1439.91 c 1411s| 3750k|246028 | 0 | 0.0 | 161M|3922 | - |8321 | 48k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1443.25/1443.25 c 1415s| 3760k|255737 | 0 | 0.0 | 166M|3922 | - |8321 | 48k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1446.34/1446.31 c 1418s| 3770k|265579 | 0 | 0.0 | 172M|3922 | - |8321 | 47k| 0 | 0 | 0 | 114k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1449.15/1449.12 c 1420s| 3780k|275470 | 0 | 0.0 | 176M|3922 | - |8321 | 47k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1451.85/1451.85 c 1423s| 3790k|285379 | 0 | 0.0 | 181M|3922 | - |8321 | 47k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1454.74/1454.70 c 1426s| 3800k|295241 | 0 | 0.0 | 186M|3922 | - |8321 | 47k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1457.44/1457.43 c 1428s| 3810k|305113 | 0 | 0.0 | 191M|3922 | - |8321 | 47k| 0 | 0 | 0 | 115k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1460.14/1460.18 c 1431s| 3820k|314966 | 0 | 0.0 | 195M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1462.84/1462.89 c 1434s| 3830k|324862 | 0 | 0.0 | 200M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1465.64/1465.68 c 1437s| 3840k|334726 | 0 | 0.0 | 205M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1468.34/1468.33 c 1439s| 3850k|344680 | 0 | 0.0 | 209M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1471.04/1471.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1471.04/1471.07 c 1442s| 3860k|354535 | 0 | 0.0 | 214M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1473.74/1473.71 c 1444s| 3870k|364491 | 0 | 0.0 | 219M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1476.35/1476.37 c 1447s| 3880k|374457 | 0 | 0.0 | 223M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1479.15/1479.10 c 1450s| 3890k|384352 | 0 | 0.0 | 228M|3922 | - |8321 | 47k| 0 | 0 | 0 | 116k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1481.74/1481.76 c 1452s| 3900k|394258 | 0 | 0.0 | 233M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1484.24/1484.27 c 1455s| 3910k|404128 | 0 | 0.0 | 238M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1486.74/1486.76 c 1457s| 3920k|414057 | 0 | 0.0 | 243M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1489.45/1489.41 c 1460s| 3930k|423920 | 0 | 0.0 | 248M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1492.14/1492.18 c 1462s| 3940k|433754 | 0 | 0.0 | 253M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1494.84/1494.87 c 1465s| 3950k|443684 | 0 | 0.0 | 257M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1497.55/1497.52 c 1468s| 3960k|453620 | 0 | 0.0 | 262M|3922 | - |8321 | 47k| 0 | 0 | 0 | 117k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1500.14/1500.14 c 1470s| 3970k|463562 | 0 | 0.0 | 267M|3922 | - |8321 | 47k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1502.84/1502.81 c 1473s| 3980k|473508 | 0 | 0.0 | 271M|3922 | - |8321 | 47k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1505.44/1505.47 c 1475s| 3990k|483411 | 0 | 0.0 | 276M|3922 | - |8321 | 47k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1508.15/1508.12 c 1478s| 4000k|493321 | 0 | 0.0 | 281M|3922 | - |8321 | 47k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1510.64/1510.65 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1510.64/1510.65 c 1480s| 4010k|503205 | 0 | 0.0 | 286M|3922 | - |8321 | 47k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1513.34/1513.36 c 1483s| 4020k|513009 | 0 | 0.0 | 291M|3922 | - |8321 | 48k| 0 | 0 | 0 | 118k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1516.15/1516.15 c 1486s| 4030k|522874 | 0 | 0.0 | 296M|3922 | - |8321 | 48k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1518.84/1518.89 c 1488s| 4040k|532762 | 0 | 0.0 | 300M|3922 | - |8321 | 48k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1521.64/1521.67 c 1491s| 4050k|542659 | 0 | 0.0 | 305M|3922 | - |8321 | 48k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1524.44/1524.42 c 1494s| 4060k|552559 | 0 | 0.0 | 310M|3922 | - |8321 | 48k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1527.15/1527.18 c 1496s| 4070k|562401 | 0 | 0.0 | 315M|3922 | - |8321 | 48k| 0 | 0 | 0 | 119k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1529.94/1529.91 c 1499s| 4080k|572308 | 0 | 0.0 | 320M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1532.54/1532.59 c 1502s| 4090k|582230 | 0 | 0.0 | 324M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1535.25/1535.28 c 1504s| 4100k|592161 | 0 | 0.0 | 329M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1537.95/1537.96 c 1507s| 4110k|602065 | 0 | 0.0 | 334M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1540.74/1540.72 c 1510s| 4120k|611970 | 0 | 0.0 | 339M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1543.45/1543.45 c 1512s| 4130k|621881 | 0 | 0.0 | 343M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1546.15/1546.11 c 1515s| 4140k|631766 | 0 | 0.0 | 348M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1548.75/1548.79 c 1518s| 4150k|641690 | 0 | 0.0 | 353M|3922 | - |8321 | 49k| 0 | 0 | 0 | 120k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1551.45/1551.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1551.45/1551.49 c 1520s| 4160k|651608 | 0 | 0.0 | 357M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1554.04/1554.09 c 1523s| 4170k|661553 | 0 | 0.0 | 362M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1556.75/1556.78 c 1525s| 4180k|671482 | 0 | 0.0 | 367M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1559.45/1559.44 c 1528s| 4190k|681406 | 0 | 0.0 | 372M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1562.15/1562.13 c 1530s| 4200k|691312 | 0 | 0.0 | 376M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1564.75/1564.76 c 1533s| 4210k|701221 | 0 | 0.0 | 381M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1567.34/1567.38 c 1536s| 4220k|711164 | 0 | 0.0 | 386M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1570.05/1570.01 c 1538s| 4230k|721108 | 0 | 0.0 | 390M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1572.65/1572.61 c 1541s| 4240k|731011 | 0 | 0.0 | 395M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1575.25/1575.23 c 1543s| 4250k|740935 | 0 | 0.0 | 400M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1577.95/1577.91 c 1546s| 4260k|750865 | 0 | 0.0 | 404M|3922 | - |8321 | 49k| 0 | 0 | 0 | 121k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1580.64/1580.66 c 1549s| 4270k|760733 | 0 | 0.0 | 409M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1583.34/1583.35 c 1551s| 4280k|770642 | 0 | 0.0 | 414M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1585.95/1585.92 c 1554s| 4290k|780551 | 0 | 0.0 | 418M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1588.65/1588.60 c 1556s| 4300k|790460 | 0 | 0.0 | 423M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1591.25/1591.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1591.25/1591.25 c 1559s| 4310k|800371 | 0 | 0.0 | 428M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1593.85/1593.88 c 1561s| 4320k|810287 | 0 | 0.0 | 432M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1596.54/1596.53 c 1564s| 4330k|820213 | 0 | 0.0 | 437M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1599.24/1599.23 c 1567s| 4340k|830144 | 0 | 0.0 | 442M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1601.95/1601.90 c 1569s| 4350k|840071 | 0 | 0.0 | 446M|3922 | - |8321 | 49k| 0 | 0 | 0 | 122k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1604.64/1604.65 c 1572s| 4360k|849903 | 0 | 0.0 | 451M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1607.25/1607.29 c 1574s| 4370k|859840 | 0 | 0.0 | 456M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1610.05/1610.06 c 1577s| 4380k|869730 | 0 | 0.0 | 461M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1612.75/1612.74 c 1580s| 4390k|879650 | 0 | 0.0 | 465M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1615.35/1615.35 c 1582s| 4400k|889604 | 0 | 0.0 | 470M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1618.15/1618.16 c 1585s| 4410k|899451 | 0 | 0.0 | 474M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1620.94/1620.92 c 1588s| 4420k|909319 | 0 | 0.0 | 479M|3922 | - |8321 | 49k| 0 | 0 | 0 | 123k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1623.54/1623.60 c 1590s| 4430k|919222 | 0 | 0.0 | 484M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1626.25/1626.22 c 1593s| 4440k|929165 | 0 | 0.0 | 489M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1628.85/1628.81 c 1595s| 4450k|939087 | 0 | 0.0 | 493M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1631.55/1631.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1631.55/1631.50 c 1598s| 4460k|948991 | 0 | 0.0 | 498M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1634.15/1634.14 c 1601s| 4470k|958910 | 0 | 0.0 | 502M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1636.75/1636.76 c 1603s| 4480k|968798 | 0 | 0.0 | 507M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1639.64/1639.66 c 1606s| 4490k|978611 | 0 | 0.0 | 512M|3922 | - |8321 | 49k| 0 | 0 | 0 | 124k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1642.35/1642.32 c 1609s| 4500k|988542 | 0 | 0.0 | 517M|3922 | - |8321 | 49k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1644.95/1644.99 c 1611s| 4510k|998482 | 0 | 0.0 | 521M|3922 | - |8321 | 49k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1647.54/1647.57 c 1614s| 4520k| 1008k| 0 | 0.0 | 526M|3922 | - |8321 | 49k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1650.24/1650.25 c 1616s| 4530k| 1018k| 0 | 0.0 | 530M|3922 | - |8321 | 49k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1652.95/1652.94 c 1619s| 4540k| 1028k| 0 | 0.0 | 535M|3922 | - |8321 | 49k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1655.56/1655.52 c 1621s| 4550k| 1037k| 0 | 0.0 | 540M|3922 | - |8321 | 49k| 0 | 0 | 0 | 125k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1658.15/1658.13 c 1624s| 4560k| 1047k| 0 | 0.0 | 545M|3922 | - |8321 | 50k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1660.85/1660.84 c 1627s| 4570k| 1057k| 0 | 0.0 | 550M|3922 | - |8321 | 50k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1663.45/1663.47 c 1629s| 4580k| 1067k| 0 | 0.0 | 554M|3922 | - |8321 | 50k| 0 | 0 | 0 | 126k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1666.14/1666.17 c 1632s| 4590k| 1077k| 0 | 0.0 | 559M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1668.94/1668.93 c 1634s| 4600k| 1087k| 0 | 0.0 | 564M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1671.65/1671.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1671.65/1671.68 c 1637s| 4610k| 1097k| 0 | 0.0 | 569M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1674.45/1674.40 c 1640s| 4620k| 1106k| 0 | 0.0 | 573M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1677.04/1677.08 c 1642s| 4630k| 1116k| 0 | 0.0 | 578M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1679.65/1679.65 c 1645s| 4640k| 1126k| 0 | 0.0 | 583M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1682.25/1682.24 c 1647s| 4650k| 1136k| 0 | 0.0 | 587M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1684.85/1684.82 c 1650s| 4660k| 1146k| 0 | 0.0 | 592M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1687.46/1687.41 c 1652s| 4670k| 1156k| 0 | 0.0 | 597M|3922 | - |8321 | 50k| 0 | 0 | 0 | 127k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1690.05/1690.04 c 1655s| 4680k| 1166k| 0 | 0.0 | 601M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1692.75/1692.70 c 1658s| 4690k| 1176k| 0 | 0.0 | 606M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1695.35/1695.37 c 1660s| 4700k| 1186k| 0 | 0.0 | 611M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1698.05/1698.02 c 1663s| 4710k| 1196k| 0 | 0.0 | 615M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1700.75/1700.76 c 1665s| 4720k| 1206k| 0 | 0.0 | 620M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1703.45/1703.45 c 1668s| 4730k| 1215k| 0 | 0.0 | 624M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1706.15/1706.17 c 1671s| 4740k| 1225k| 0 | 0.0 | 629M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1708.85/1708.82 c 1673s| 4750k| 1235k| 0 | 0.0 | 634M|3922 | - |8321 | 50k| 0 | 0 | 0 | 128k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1711.45/1711.47 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1711.45/1711.47 c 1676s| 4760k| 1245k| 0 | 0.0 | 638M|3922 | - |8321 | 50k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1714.15/1714.14 c 1678s| 4770k| 1255k| 0 | 0.0 | 643M|3922 | - |8321 | 50k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1716.85/1716.83 c 1681s| 4780k| 1265k| 0 | 0.0 | 648M|3922 | - |8321 | 50k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1719.45/1719.45 c 1684s| 4790k| 1275k| 0 | 0.0 | 652M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1722.15/1722.13 c 1686s| 4800k| 1285k| 0 | 0.0 | 657M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1724.75/1724.72 c 1689s| 4810k| 1295k| 0 | 0.0 | 661M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1727.35/1727.33 c 1691s| 4820k| 1305k| 0 | 0.0 | 666M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1730.05/1730.00 c 1694s| 4830k| 1315k| 0 | 0.0 | 671M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1732.55/1732.58 c 1696s| 4840k| 1325k| 0 | 0.0 | 675M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1735.25/1735.24 c 1699s| 4850k| 1334k| 0 | 0.0 | 680M|3922 | - |8321 | 51k| 0 | 0 | 0 | 129k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1737.85/1737.80 c 1702s| 4860k| 1344k| 0 | 0.0 | 685M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1740.36/1740.39 c 1704s| 4870k| 1354k| 0 | 0.0 | 689M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1743.05/1743.04 c 1707s| 4880k| 1364k| 0 | 0.0 | 694M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1745.65/1745.60 c 1709s| 4890k| 1374k| 0 | 0.0 | 698M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1748.25/1748.28 c 1712s| 4900k| 1384k| 0 | 0.0 | 703M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1750.95/1750.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1750.95/1750.93 c 1714s| 4910k| 1394k| 0 | 0.0 | 708M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1753.56/1753.53 c 1717s| 4920k| 1404k| 0 | 0.0 | 712M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1756.15/1756.12 c 1719s| 4930k| 1414k| 0 | 0.0 | 717M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1758.65/1758.68 c 1722s| 4940k| 1424k| 0 | 0.0 | 722M|3922 | - |8321 | 51k| 0 | 0 | 0 | 130k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1761.26/1761.27 c 1724s| 4950k| 1434k| 0 | 0.0 | 726M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1763.85/1763.88 c 1727s| 4960k| 1443k| 0 | 0.0 | 731M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1766.55/1766.53 c 1729s| 4970k| 1453k| 0 | 0.0 | 736M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1769.15/1769.19 c 1732s| 4980k| 1463k| 0 | 0.0 | 740M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1771.85/1771.80 c 1735s| 4990k| 1473k| 0 | 0.0 | 745M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1774.36/1774.35 c 1737s| 5000k| 1483k| 0 | 0.0 | 750M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1776.95/1776.90 c 1740s| 5010k| 1493k| 0 | 0.0 | 754M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1779.45/1779.44 c 1742s| 5020k| 1503k| 0 | 0.0 | 759M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1781.95/1781.97 c 1744s| 5030k| 1513k| 0 | 0.0 | 763M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1784.46/1784.44 c 1747s| 5040k| 1523k| 0 | 0.0 | 768M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1786.95/1786.97 c 1749s| 5050k| 1533k| 0 | 0.0 | 773M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1789.46/1789.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1789.46/1789.48 c 1752s| 5060k| 1543k| 0 | 0.0 | 777M|3922 | - |8321 | 51k| 0 | 0 | 0 | 131k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1791.96/1791.99 c 1754s| 5070k| 1553k| 0 | 0.0 | 782M|3922 | - |8321 | 51k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1794.55/1794.54 c 1757s| 5080k| 1563k| 0 | 0.0 | 786M|3922 | - |8321 | 51k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1797.06/1797.01 c 1759s| 5090k| 1573k| 0 | 0.0 | 791M|3922 | - |8321 | 51k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1799.56/1799.56 c 1762s| 5100k| 1582k| 0 | 0.0 | 796M|3922 | - |8321 | 51k| 0 | 0 | 0 | 132k| 0 | 0.000000e+00 | 1.500000e+01 | Inf
1800.06/1800.00 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.06/1800.00 c
1800.06/1800.00 c SCIP Status : solving was interrupted [user interrupt]
1800.06/1800.00 c Solving Time (sec) : 1762.05
1800.06/1800.00 c Solving Nodes : 5101807
1800.06/1800.00 c Primal Bound : +1.50000000000000e+01 (6 solutions)
1800.06/1800.00 c Dual Bound : +0.00000000000000e+00
1800.06/1800.00 c Gap : infinite
1800.16/1800.11 s SATISFIABLE
1800.16/1800.11 v -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 x2204 -x2203
1800.16/1800.11 v -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 x2196 -x2195 -x2194 -x2193 -x2192 -x2191 x2190 -x2189 -x2188 -x2187 x2186 -x2185
1800.16/1800.11 v -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 x2170 -x2169 -x2168 -x2167
1800.16/1800.11 v -x2166 -x2165 -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 x2154 -x2153 -x2152 -x2151 x2150 -x2149
1800.16/1800.11 v -x2148 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131
1800.16/1800.11 v -x2130 -x2129 -x2128 -x2127 -x2126 -x2125 x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113
1800.16/1800.11 v -x2112 -x2111 -x2110 x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095
1800.16/1800.11 v -x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077
1800.16/1800.11 v -x2076 -x2075 -x2074 x2073 -x2072 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 x2059
1800.16/1800.11 v -x2058 -x2057 x2056 x2055 x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040
1800.16/1800.11 v -x2039 -x2038 -x2037 -x2036 -x2035 x2034 x2033 -x2032 -x2031 -x2030 -x2029 -x2028 x2027 -x2026 -x2025 -x2024 x2023 x2022
1800.16/1800.11 v x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 x2010 -x2009 -x2008 -x2007 -x2006 -x2005 -x2004
1800.16/1800.11 v -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 x1997 x1996 x1995 x1994 x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 -x1985
1800.16/1800.11 v -x1984 x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970 -x1969 -x1968 -x1967
1800.16/1800.11 v -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 x1953 -x1952 x1951 -x1950 -x1949
1800.16/1800.11 v -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931
1800.16/1800.11 v -x1930 -x1929 -x1928 x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913
1800.16/1800.11 v -x1912 -x1911 -x1910 -x1909 -x1908 -x1907 x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895
1800.16/1800.11 v -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881 -x1880 -x1879 -x1878 x1877
1800.16/1800.11 v -x1876 -x1875 -x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x1862 -x1861 -x1860 -x1859
1800.16/1800.11 v -x1858 -x1857 x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x1843 -x1842 -x1841
1800.16/1800.11 v -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1824 x1823
1800.16/1800.11 v -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 x1813 -x1812 -x1811 -x1810 -x1809 -x1808 -x1807 -x1806 -x1805
1800.16/1800.11 v -x1804 -x1803 x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787
1800.16/1800.11 v -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 -x1770 -x1769
1800.16/1800.11 v -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755 -x1754 -x1753 -x1752 -x1751
1800.16/1800.11 v -x1750 -x1749 -x1748 x1747 -x1746 -x1745 x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 x1733
1800.16/1800.11 v -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 x1715
1800.16/1800.11 v -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697
1800.16/1800.11 v -x1696 -x1695 -x1694 -x1693 -x1692 x1691 -x1690 -x1689 x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679
1800.16/1800.11 v -x1678 -x1677 -x1676 -x1675 -x1674 x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664 x1663 -x1662 -x1661
1800.16/1800.11 v -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1648 -x1647 -x1646 -x1645 x1644 -x1643
1800.16/1800.11 v -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629 -x1628 -x1627 -x1626 -x1625
1800.16/1800.11 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 -x1609 -x1608 x1607
1800.16/1800.11 v -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 x1589
1800.16/1800.11 v -x1588 -x1587 -x1586 -x1585 -x1584 x1583 -x1582 -x1581 -x1580 x1579 -x1578 -x1577 -x1576 -x1575 -x1574 x1573 -x1572 -x1571 -x1570
1800.16/1800.11 v -x1569 -x1568 -x1567 -x1566 -x1565 x1564 x1563 x1562 x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555 -x1554 -x1553 -x1552
1800.16/1800.11 v -x1551 x1550 -x1549 -x1548 -x1547 x1546 -x1545 -x1544 -x1543 -x1542 x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534
1800.16/1800.11 v -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 x1519 -x1518 -x1517 -x1516 -x1515
1800.16/1800.11 v -x1514 -x1513 -x1512 x1511 -x1510 -x1509 -x1508 -x1507 x1506 -x1505 -x1504 -x1503 -x1502 x1501 -x1500 -x1499 -x1498 -x1497
1800.16/1800.11 v -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479
1800.16/1800.11 v -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 x1466 -x1465 -x1464 x1463 -x1462 -x1461
1800.16/1800.11 v -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443
1800.16/1800.11 v -x1442 -x1441 -x1440 x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425
1800.16/1800.11 v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 x1418 x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 x1410 -x1409 -x1408 -x1407
1800.16/1800.11 v -x1406 -x1405 -x1404 -x1403 x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389
1800.16/1800.11 v -x1388 x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 x1375 -x1374 x1373 -x1372 -x1371 -x1370
1800.16/1800.11 v -x1369 -x1368 -x1367 -x1366 -x1365 x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 x1356 -x1355 x1354 -x1353 -x1352
1800.16/1800.11 v -x1351 -x1350 -x1349 -x1348 x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 x1340 x1339 -x1338 -x1337 -x1336 -x1335 -x1334
1800.16/1800.11 v -x1333 -x1332 x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 x1320 x1319 x1318 -x1317 -x1316 -x1315
1800.16/1800.11 v -x1314 -x1313 -x1312 -x1311 -x1310 x1309 x1308 x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297
1800.16/1800.11 v -x1296 -x1295 -x1294 -x1293 -x1292 x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279
1800.16/1800.11 v -x1278 x1277 -x1276 x1275 x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261
1800.16/1800.11 v x1260 -x1259 -x1258 -x1257 -x1256 -x1255 x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243
1800.16/1800.11 v -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 x1231 -x1230 x1229 x1228 -x1227 -x1226 -x1225 -x1224
1800.16/1800.11 v -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206
1800.16/1800.11 v -x1205 -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188
1800.16/1800.11 v -x1187 -x1186 -x1185 x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 x1175 -x1174 -x1173 -x1172 -x1171 -x1170
1800.16/1800.11 v -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152
1800.16/1800.11 v -x1151 x1150 x1149 x1148 x1147 x1146 x1145 x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133
1800.16/1800.11 v -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115
1800.16/1800.11 v -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098
1800.16/1800.11 v -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080
1800.16/1800.11 v -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062
1800.16/1800.11 v -x1061 -x1060 -x1059 -x1058 -x1057 x1056 -x1055 x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 x1047 -x1046 x1045 -x1044 -x1043
1800.16/1800.11 v -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 x1035 -x1034 -x1033 x1032 x1031 x1030 x1029 x1028 x1027 -x1026 -x1025 x1024
1800.16/1800.11 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009 -x1008 -x1007 -x1006
1800.16/1800.11 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987
1800.16/1800.11 v -x986 -x985 -x984 x983 -x982 x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965
1800.16/1800.11 v -x964 -x963 x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944
1800.16/1800.11 v -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923
1800.16/1800.11 v -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 x913 -x912 -x911 x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902
1800.16/1800.11 v -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
1800.16/1800.11 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
1800.16/1800.11 v -x859 -x858 -x857 x856 -x855 x854 -x853 -x852 x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 x839
1800.16/1800.11 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
1800.16/1800.11 v -x817 -x816 x815 -x814 x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 x800 -x799 -x798 -x797 -x796
1800.16/1800.11 v x795 -x794 -x793 x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 x777 x776 x775 -x774
1800.16/1800.11 v -x773 -x772 -x771 x770 -x769 -x768 x767 -x766 -x765 -x764 x763 -x762 -x761 x760 -x759 -x758 x757 -x756 -x755 x754 -x753
1800.16/1800.11 v -x752 x751 -x750 x749 -x748 -x747 x746 -x745 -x744 -x743 x742 -x741 x740 -x739 -x738 x737 -x736 -x735 x734 -x733 -x732 -x731
1800.16/1800.11 v x730 -x729 x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 x716 x715 x714 x713 x712 -x711 x710 -x709 -x708
1800.16/1800.11 v -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687
1800.16/1800.11 v -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 x673 -x672 -x671 x670 -x669 -x668 -x667 -x666
1800.16/1800.11 v -x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1800.16/1800.11 v x644 -x643 -x642 x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 x629 -x628 x627 -x626 -x625 -x624 -x623
1800.16/1800.11 v -x622 -x621 -x620 x619 -x618 -x617 x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 x607 -x606 -x605 x604 -x603 x602 -x601
1800.16/1800.11 v -x600 x599 -x598 -x597 x596 -x595 -x594 -x593 -x592 x591 -x590 x589 -x588 -x587 x586 -x585 -x584 x583 -x582 -x581 -x580 x579
1800.16/1800.11 v -x578 x577 -x576 -x575 -x574 x573 -x572 x571 -x570 -x569 -x568 x567 -x566 x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 x557
1800.16/1800.11 v -x556 -x555 x554 x553 x552 x551 -x550 -x549 x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536
1800.16/1800.11 v x535 -x534 x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514
1800.16/1800.11 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 x504 -x503 x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493
1800.16/1800.11 v -x492 -x491 x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472
1800.16/1800.11 v x471 -x470 x469 -x468 -x467 x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 x453 -x452 -x451 x450
1800.16/1800.11 v -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 x440 -x439 -x438 x437 x436 x435 -x434 -x433 -x432 x431 -x430 -x429 x428
1800.16/1800.11 v -x427 -x426 x425 -x424 -x423 x422 -x421 -x420 x419 -x418 x417 -x416 -x415 -x414 x413 -x412 -x411 x410 -x409 x408 -x407 -x406
1800.16/1800.11 v x405 -x404 -x403 -x402 x401 -x400 -x399 x398 -x397 -x396 x395 -x394 x393 -x392 -x391 -x390 x389 -x388 -x387 x386 -x385 x384
1800.16/1800.11 v -x383 -x382 x381 -x380 -x379 -x378 x377 -x376 x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 x366 -x365 -x364 -x363 x362
1800.16/1800.11 v -x361 x360 -x359 -x358 x357 x356 x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 x347 -x346 -x345 x344 x343 x342 -x341 -x340
1800.16/1800.11 v x339 -x338 -x337 x336 -x335 x334 -x333 -x332 x331 -x330 -x329 -x328 x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 x318
1800.16/1800.11 v -x317 x316 -x315 x314 -x313 -x312 -x311 -x310 -x309 x308 x307 -x306 -x305 -x304 x303 -x302 -x301 -x300 -x299 x298 -x297 -x296
1800.16/1800.11 v x295 -x294 x293 x292 x291 -x290 -x289 x288 -x287 -x286 x285 x284 x283 -x282 x281 -x280 -x279 x278 -x277 -x276 x275 -x274 -x273
1800.16/1800.11 v x272 -x271 -x270 x269 -x268 -x267 x266 -x265 -x264 x263 -x262 -x261 -x260 -x259 x258 -x257 -x256 -x255 -x254 x253 -x252 x251
1800.16/1800.11 v -x250 -x249 -x248 x247 -x246 x245 -x244 -x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 x234 -x233 x232 x231 x230 -x229
1800.16/1800.11 v x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208
1800.16/1800.11 v -x207 -x206 -x205 x204 -x203 -x202 x201 -x200 x199 x198 x197 -x196 -x195 -x194 -x193 -x192 x191 -x190 -x189 -x188 x187 -x186
1800.16/1800.11 v -x185 x184 -x183 x182 -x181 -x180 -x179 -x178 -x177 -x176 x175 -x174 -x173 x172 x171 -x170 -x169 -x168 x167 -x166 x165 -x164
1800.16/1800.11 v -x163 x162 -x161 x160 -x159 -x158 -x157 x156 -x155 -x154 x153 -x152 -x151 x150 -x149 -x148 -x147 -x146 -x145 x144 -x143 x142
1800.16/1800.11 v x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 x133 -x132 -x131 x130 -x129 -x128 x127 -x126 -x125 x124 -x123 -x122 -x121 -x120
1800.16/1800.11 v x119 -x118 -x117 x116 -x115 -x114 x113 -x112 x111 -x110 -x109 -x108 x107 -x106 -x105 x104 -x103 x102 -x101 -x100 x99 -x98 -x97
1800.16/1800.11 v -x96 x95 -x94 -x93 x92 -x91 -x90 x89 -x88 -x87 x86 -x85 x84 x83 x82 x81 -x80 -x79 -x78 x77 -x76 -x75 x74 -x73 -x72 x71 -x70
1800.16/1800.11 v -x69 x68 -x67 -x66 -x65 -x64 x63 -x62 x61 -x60 x59 -x58 -x57 -x56 -x55 x54 -x53 x52 -x51 -x50 -x49 x48 -x47 x46 x45 x44 -x43
1800.16/1800.11 v x42 -x41 -x40 x39 -x38 x37 -x36 -x35 -x34 x33 -x32 -x31 x30 -x29 -x28 x27 -x26 -x25 x24 -x23 x22 x21 x20 x19 x18 x17 x16 x15
1800.16/1800.11 v x14 x13 x12 x11 x10 x9 x8 x7 -x6 x5 -x4 x3 x2 x1
1800.16/1800.11 c SCIP Status : solving was interrupted [user interrupt]
1800.16/1800.11 c Solving Time : 1762.05
1800.16/1800.11 c Original Problem :
1800.16/1800.11 c Problem name : HOME/instance-2693881-1277931879.wbo
1800.16/1800.11 c Variables : 8321 (5271 binary, 0 integer, 0 implicit integer, 3050 continuous)
1800.16/1800.11 c Constraints : 6101 initial, 6101 maximal
1800.16/1800.11 c Presolved Problem :
1800.16/1800.11 c Problem name : t_HOME/instance-2693881-1277931879.wbo
1800.16/1800.11 c Variables : 8321 (5271 binary, 0 integer, 0 implicit integer, 3050 continuous)
1800.16/1800.11 c Constraints : 6100 initial, 52002 maximal
1800.16/1800.11 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.16/1800.11 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c implics : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c probing : 0.05 0 0 0 0 0 0 0 0
1800.16/1800.11 c indicator : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c varbound : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c linear : 0.04 0 0 0 3050 0 1 360 720
1800.16/1800.11 c logicor : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c bounddisjunction : 0.00 0 0 0 0 0 0 0 0
1800.16/1800.11 c root node : - 0 - - 0 - - - -
1800.16/1800.11 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.16/1800.11 c integral : 0 0 0 0 0 0 0 0 0 0
1800.16/1800.11 c indicator : 3050 0 9538540 0 4935017 11 12967573 0 0 0
1800.16/1800.11 c varbound : 1 0 47497 0 31369 0 224 0 0 0
1800.16/1800.11 c linear : 3049 0 9789485 0 5079244 22799 13027095 0 0 0
1800.16/1800.11 c logicor : 0+ 0 2092670 0 0 2811 1131021 0 0 0
1800.16/1800.11 c bounddisjunction : 0+ 0 24770 0 0 2 2469 0 0 0
1800.16/1800.11 c countsols : 0 0 0 0 5079248 0 0 0 0 0
1800.16/1800.11 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.16/1800.11 c integral : 0.00 0.00 0.00 0.00 0.00
1800.16/1800.11 c indicator : 160.14 0.00 54.61 0.00 105.53
1800.16/1800.11 c varbound : 0.03 0.00 0.02 0.00 0.01
1800.16/1800.11 c linear : 210.51 0.00 207.56 0.00 2.95
1800.16/1800.11 c logicor : 9.83 0.00 9.83 0.00 0.00
1800.16/1800.11 c bounddisjunction : 0.08 0.00 0.08 0.00 0.00
1800.16/1800.11 c countsols : 0.93 0.00 0.00 0.00 0.93
1800.16/1800.11 c Propagators : Time Calls Cutoffs DomReds
1800.16/1800.11 c vbounds : 2.37 2843 0 1095
1800.16/1800.11 c rootredcost : 2.08 0 0 0
1800.16/1800.11 c pseudoobj : 606.05 9791341 2042 11970970
1800.16/1800.11 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.16/1800.11 c propagation : 1.76 27654 27532 89497 24.9 111340 4.3 -
1800.16/1800.11 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.11 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.11 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.16/1800.11 c pseudo solution : 0.07 169 169 251 9.2 935 4.4 -
1800.16/1800.11 c applied globally : - - - 132535 9.4 - - -
1800.16/1800.11 c applied locally : - - - 0 0.0 - - -
1800.16/1800.11 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.16/1800.11 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.16/1800.11 c redcost : 0.00 0 0 0 0 0
1800.16/1800.11 c impliedbounds : 0.00 0 0 0 0 0
1800.16/1800.11 c intobj : 0.00 0 0 0 0 0
1800.16/1800.11 c cgmip : 0.00 0 0 0 0 0
1800.16/1800.11 c gomory : 0.00 0 0 0 0 0
1800.16/1800.11 c strongcg : 0.00 0 0 0 0 0
1800.16/1800.11 c cmir : 0.00 0 0 0 0 0
1800.16/1800.11 c flowcover : 0.00 0 0 0 0 0
1800.16/1800.11 c clique : 0.00 0 0 0 0 0
1800.16/1800.11 c zerohalf : 0.00 0 0 0 0 0
1800.16/1800.11 c mcf : 0.00 0 0 0 0 0
1800.16/1800.11 c rapidlearning : 0.00 0 0 0 0 0
1800.16/1800.11 c Pricers : Time Calls Vars
1800.16/1800.11 c problem variables: 0.00 0 0
1800.16/1800.11 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.16/1800.11 c relpscost : 0.00 0 0 0 0 0 0
1800.16/1800.11 c pscost : 0.00 0 0 0 0 0 0
1800.16/1800.11 c inference : 600.24 5079244 0 0 0 0 10158488
1800.16/1800.11 c mostinf : 0.00 0 0 0 0 0 0
1800.16/1800.11 c leastinf : 0.00 0 0 0 0 0 0
1800.16/1800.11 c fullstrong : 0.00 0 0 0 0 0 0
1800.16/1800.11 c allfullstrong : 0.00 0 0 0 0 0 0
1800.16/1800.11 c random : 0.00 0 0 0 0 0 0
1800.16/1800.11 c Primal Heuristics : Time Calls Found
1800.16/1800.11 c LP solutions : 0.00 - 0
1800.16/1800.11 c pseudo solutions : 7.76 - 4
1800.16/1800.11 c oneopt : 1.63 0 0
1800.16/1800.11 c trivial : 0.12 2 2
1800.16/1800.11 c simplerounding : 0.00 0 0
1800.16/1800.11 c zirounding : 0.00 0 0
1800.16/1800.11 c rounding : 0.00 0 0
1800.16/1800.11 c shifting : 0.00 0 0
1800.16/1800.11 c intshifting : 0.00 0 0
1800.16/1800.11 c twoopt : 0.00 0 0
1800.16/1800.11 c fixandinfer : 0.00 0 0
1800.16/1800.11 c feaspump : 0.00 0 0
1800.16/1800.11 c coefdiving : 0.00 0 0
1800.16/1800.11 c pscostdiving : 0.00 0 0
1800.16/1800.11 c fracdiving : 0.00 0 0
1800.16/1800.11 c veclendiving : 0.00 0 0
1800.16/1800.11 c intdiving : 0.00 0 0
1800.16/1800.11 c actconsdiving : 0.00 0 0
1800.16/1800.11 c objpscostdiving : 0.00 0 0
1800.16/1800.11 c rootsoldiving : 0.00 0 0
1800.16/1800.11 c linesearchdiving : 0.00 0 0
1800.16/1800.11 c guideddiving : 0.00 0 0
1800.16/1800.11 c octane : 0.00 0 0
1800.16/1800.11 c rens : 0.00 0 0
1800.16/1800.11 c rins : 0.00 0 0
1800.16/1800.11 c localbranching : 0.00 0 0
1800.16/1800.11 c mutation : 0.00 0 0
1800.16/1800.11 c crossover : 0.00 0 0
1800.16/1800.11 c dins : 0.00 0 0
1800.16/1800.11 c undercover : 0.00 0 0
1800.16/1800.11 c nlp : 1.17 0 0
1800.16/1800.11 c trysol : 0.94 1 0
1800.16/1800.11 c LP : Time Calls Iterations Iter/call Iter/sec
1800.16/1800.11 c primal LP : 0.00 0 0 0.00 -
1800.16/1800.11 c dual LP : 0.00 0 0 0.00 -
1800.16/1800.11 c lex dual LP : 0.00 0 0 0.00 -
1800.16/1800.11 c barrier LP : 0.00 0 0 0.00 -
1800.16/1800.11 c diving/probing LP: 0.00 0 0 0.00 -
1800.16/1800.11 c strong branching : 0.00 0 0 0.00 -
1800.16/1800.11 c (at root node) : - 0 0 0.00 -
1800.16/1800.11 c conflict analysis: 0.00 0 0 0.00 -
1800.16/1800.11 c B&B Tree :
1800.16/1800.11 c number of runs : 1
1800.16/1800.11 c nodes : 5101807
1800.16/1800.11 c nodes (total) : 5101807
1800.16/1800.11 c nodes left : 1584672
1800.16/1800.11 c max depth : 3922
1800.16/1800.11 c max depth (total): 3922
1800.16/1800.11 c backtracks : 17657 (0.3%)
1800.16/1800.11 c delayed cutoffs : 11572
1800.16/1800.11 c repropagations : 254131 (1263833 domain reductions, 5275 cutoffs)
1800.16/1800.11 c avg switch length: 2.49
1800.16/1800.11 c switching time : 82.58
1800.16/1800.11 c Solution :
1800.16/1800.11 c Solutions found : 6 (5 improvements)
1800.16/1800.11 c First Solution : +1.54946000000000e+05 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.16/1800.11 c Primal Bound : +1.50000000000000e+01 (in run 1, after 3744838 nodes, 1401.85 seconds, depth 3922, found by <relaxation>)
1800.16/1800.11 c Dual Bound : +0.00000000000000e+00
1800.16/1800.11 c Gap : infinite
1800.16/1800.11 c Root Dual Bound : +0.00000000000000e+00
1800.16/1800.11 c Root Iterations : 0
OK 15
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2693881-1277931879/watcher-2693881-1277931879 -o /tmp/evaluation-result-2693881-1277931879/solver-2693881-1277931879 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693881-1277931879.wbo -t 1800 -m 3800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.29 2.42 4/178 7538 /proc/meminfo: memFree=31481220/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=8272 CPUtime=0 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 1546 0 0 0 0 0 0 0 25 0 1 0 134616245 8470528 1469 4089446400 4194304 7136930 140736928555872 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/7538/statm: 2068 1469 275 719 0 1347 0 [startup+0.10112 s] /proc/loadavg: 2.06 2.29 2.42 4/178 7538 /proc/meminfo: memFree=31481220/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=40224 CPUtime=0.09 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 9528 0 0 0 9 0 0 0 25 0 1 0 134616245 41189376 9097 4089446400 4194304 7136930 140736928555872 18446744073709551615 6350488 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 10056 9097 323 719 0 9335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 40224 [startup+0.201091 s] /proc/loadavg: 2.06 2.29 2.42 4/178 7538 /proc/meminfo: memFree=31481220/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=41568 CPUtime=0.19 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 9850 0 0 0 19 0 0 0 25 0 1 0 134616245 42565632 9419 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 10392 9419 348 719 0 9671 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 41568 [startup+0.301067 s] /proc/loadavg: 2.06 2.29 2.42 4/178 7538 /proc/meminfo: memFree=31481220/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=43484 CPUtime=0.29 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 11234 0 0 0 28 1 0 0 25 0 1 0 134616245 44527616 9962 4089446400 4194304 7136930 140736928555872 18446744073709551615 4561370 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 10871 9962 384 719 0 10150 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 43484 [startup+0.701006 s] /proc/loadavg: 2.06 2.29 2.42 4/178 7538 /proc/meminfo: memFree=31481220/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=44012 CPUtime=0.69 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 11370 0 0 0 68 1 0 0 25 0 1 0 134616245 45068288 10098 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 11003 10098 389 719 0 10282 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44012 [startup+1.50085 s] /proc/loadavg: 2.06 2.29 2.42 3/179 7539 /proc/meminfo: memFree=31441532/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=46564 CPUtime=1.49 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 12039 0 0 0 146 3 0 0 25 0 1 0 134616245 47681536 10767 4089446400 4194304 7136930 140736928555872 18446744073709551615 4436423 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 11641 10767 389 719 0 10920 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46564 [startup+3.10055 s] /proc/loadavg: 2.06 2.28 2.41 3/179 7539 /proc/meminfo: memFree=31439504/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=49508 CPUtime=3.09 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 12781 0 0 0 303 6 0 0 25 0 1 0 134616245 50696192 11509 4089446400 4194304 7136930 140736928555872 18446744073709551615 4643170 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 12377 11509 395 719 0 11656 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 49508 [startup+6.30095 s] /proc/loadavg: 2.06 2.28 2.41 3/179 7539 /proc/meminfo: memFree=31434872/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=51288 CPUtime=6.3 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 13246 0 0 0 621 9 0 0 25 0 1 0 134616245 52518912 11974 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 12822 11974 395 719 0 12101 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 51288 [startup+12.7008 s] /proc/loadavg: 2.05 2.27 2.41 3/179 7540 /proc/meminfo: memFree=31427696/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=55316 CPUtime=12.69 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 14283 0 0 0 1254 15 0 0 25 0 1 0 134616245 56643584 13011 4089446400 4194304 7136930 140736928555872 18446744073709551615 4436415 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 13829 13011 395 719 0 13108 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55316 [startup+25.5004 s] /proc/loadavg: 2.04 2.26 2.40 3/179 7540 /proc/meminfo: memFree=31407172/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=68984 CPUtime=25.49 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 17834 0 0 0 2512 37 0 0 25 0 1 0 134616245 70639616 16562 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 17246 16562 395 719 0 16525 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 68984 [startup+51.1006 s] /proc/loadavg: 2.03 2.24 2.39 3/179 7541 /proc/meminfo: memFree=31370036/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=96436 CPUtime=51.09 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 24370 0 0 0 5025 84 0 0 25 0 1 0 134616245 98750464 23098 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 24109 23098 396 719 0 23388 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 96436 [startup+102.301 s] /proc/loadavg: 2.01 2.20 2.37 3/179 7542 /proc/meminfo: memFree=31285564/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=160008 CPUtime=102.3 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 39081 0 0 0 10061 169 0 0 25 0 1 0 134616245 163848192 37809 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 40002 37809 398 719 0 39281 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 160008 [startup+162.301 s] /proc/loadavg: 2.00 2.16 2.34 3/179 7544 /proc/meminfo: memFree=31132236/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=298084 CPUtime=162.29 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 70860 0 0 0 15961 268 0 0 25 0 1 0 134616245 305238016 69588 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 74521 69588 398 719 0 73800 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 298084 [startup+222.307 s] /proc/loadavg: 2.00 2.13 2.32 3/179 7545 /proc/meminfo: memFree=30963920/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=454328 CPUtime=222.3 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 105933 0 0 0 21857 373 0 0 25 0 1 0 134616245 465231872 104661 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 113582 104661 398 719 0 112861 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 454328 [startup+282.301 s] /proc/loadavg: 2.00 2.10 2.30 3/179 7547 /proc/meminfo: memFree=30808860/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=596092 CPUtime=282.31 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 136577 0 0 0 27761 470 0 0 25 0 1 0 134616245 610398208 135305 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 149023 135305 398 719 0 148302 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 596092 [startup+342.3 s] /proc/loadavg: 2.00 2.08 2.27 3/179 7551 /proc/meminfo: memFree=30673916/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=708628 CPUtime=342.3 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 162279 0 0 0 33654 576 0 0 25 0 1 0 134616245 725635072 161007 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 177157 161007 398 719 0 176436 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 708628 [startup+402.3 s] /proc/loadavg: 2.00 2.06 2.26 3/179 7553 /proc/meminfo: memFree=30544660/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=825760 CPUtime=402.31 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 188364 0 0 0 39546 685 0 0 25 0 1 0 134616245 845578240 187092 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 206440 187092 398 719 0 205719 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 825760 [startup+462.301 s] /proc/loadavg: 2.00 2.05 2.24 3/179 7555 /proc/meminfo: memFree=30393324/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=956972 CPUtime=462.31 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 218387 0 0 0 45428 803 0 0 25 0 1 0 134616245 979939328 217115 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 239243 217115 398 719 0 238522 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 956972 [startup+522.301 s] /proc/loadavg: 2.00 2.04 2.22 3/179 7556 /proc/meminfo: memFree=30236052/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=1120828 CPUtime=522.31 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 250851 0 0 0 51301 930 0 0 25 0 1 0 134616245 1147727872 249579 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 280207 249579 398 719 0 279486 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 1120828 [startup+582.301 s] /proc/loadavg: 2.00 2.03 2.20 3/179 7558 /proc/meminfo: memFree=30073924/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=1266412 CPUtime=582.32 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 283923 0 0 0 57178 1054 0 0 25 0 1 0 134616245 1296805888 282651 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 316603 282651 398 719 0 315882 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 1266412 [startup+642.301 s] /proc/loadavg: 2.00 2.02 2.18 3/179 7559 /proc/meminfo: memFree=29921468/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=1412376 CPUtime=642.31 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 316598 0 0 0 63055 1176 0 0 25 0 1 0 134616245 1446273024 315326 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 353094 315326 398 719 0 352373 0 Current children cumulated CPU time (s) 642.31 Current children cumulated vsize (KiB) 1412376 [startup+702.301 s] ################ # More data... # ################ /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 513975 0 0 0 98312 1921 0 0 25 0 1 0 134616245 2390777856 512703 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 583686 512703 398 719 0 582965 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 2334744 [startup+1062.3 s] /proc/loadavg: 2.02 2.01 2.11 3/179 7571 /proc/meminfo: memFree=28795924/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=2489300 CPUtime=1062.32 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 548009 0 0 0 104189 2043 0 0 25 0 1 0 134616245 2549043200 546737 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 622325 546737 398 719 0 621604 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 2489300 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 2.09 3/179 7572 /proc/meminfo: memFree=28634416/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=2635252 CPUtime=1122.33 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 581933 0 0 0 110058 2175 0 0 25 0 1 0 134616245 2698498048 580661 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 658813 580661 398 719 0 658092 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 2635252 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.09 3/179 7574 /proc/meminfo: memFree=28485188/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=2780996 CPUtime=1182.33 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 614616 0 0 0 115928 2305 0 0 25 0 1 0 134616245 2847739904 613344 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 695249 613344 398 719 0 694528 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 2780996 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.08 3/179 7575 /proc/meminfo: memFree=28326140/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=2930224 CPUtime=1242.33 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 648676 0 0 0 121798 2435 0 0 25 0 1 0 134616245 3000549376 647404 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 732556 647404 398 719 0 731835 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 2930224 [startup+1302.3 s] /proc/loadavg: 2.03 2.01 2.08 3/179 7577 /proc/meminfo: memFree=28173696/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3081632 CPUtime=1302.34 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 682214 0 0 0 127667 2567 0 0 25 0 1 0 134616245 3155591168 680942 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 770408 680942 398 719 0 769687 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 3081632 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 2.07 3/179 7579 /proc/meminfo: memFree=28011960/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3236724 CPUtime=1362.34 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 716038 0 0 0 133534 2700 0 0 25 0 1 0 134616245 3314405376 714766 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 809181 714766 398 719 0 808460 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 3236724 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 2.07 3/179 7580 /proc/meminfo: memFree=27856404/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3385116 CPUtime=1422.35 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 748341 0 0 0 139407 2828 0 0 25 0 1 0 134616245 3466358784 747069 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 846279 747069 398 719 0 845558 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 3385116 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.06 3/179 7582 /proc/meminfo: memFree=27874084/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3332216 CPUtime=1482.34 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 767747 0 0 0 145277 2957 0 0 25 0 1 0 134616245 3412189184 735357 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 833054 735357 398 719 0 832333 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 3332216 [startup+1542.31 s] /proc/loadavg: 1.56 1.89 2.02 2/171 7605 /proc/meminfo: memFree=28784536/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3340408 CPUtime=1542.35 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 768613 0 0 0 151122 3113 0 0 25 0 1 0 134616245 3420577792 736223 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 835102 736223 398 719 0 834381 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 3340408 [startup+1602.3 s] /proc/loadavg: 1.20 1.72 1.95 2/171 7607 /proc/meminfo: memFree=28780900/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3340408 CPUtime=1602.34 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 769509 0 0 0 156962 3272 0 0 25 0 1 0 134616245 3420577792 737119 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 835102 737119 398 719 0 834381 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 3340408 [startup+1662.3 s] /proc/loadavg: 1.07 1.59 1.89 2/171 7609 /proc/meminfo: memFree=28776380/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3357984 CPUtime=1662.34 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 770619 0 0 0 162804 3430 0 0 25 0 1 0 134616245 3438575616 738229 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 839496 738229 398 719 0 838775 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 3357984 [startup+1722.3 s] /proc/loadavg: 1.03 1.49 1.84 2/171 7610 /proc/meminfo: memFree=28771728/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3358792 CPUtime=1722.35 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 771697 0 0 0 168645 3590 0 0 25 0 1 0 134616245 3439403008 739307 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 839698 739307 398 719 0 838977 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 3358792 [startup+1782.3 s] /proc/loadavg: 1.01 1.39 1.78 2/171 7612 /proc/meminfo: memFree=28763100/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3364732 CPUtime=1782.35 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 773792 0 0 0 174485 3750 0 0 25 0 1 0 134616245 3445485568 741402 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 841183 741402 398 719 0 840462 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 3364732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.37 1.76 2/171 7612 /proc/meminfo: memFree=28761348/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3365156 CPUtime=1800.06 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 774207 0 0 0 176209 3797 0 0 25 0 1 0 134616245 3445919744 741817 4089446400 4194304 7136930 140736928555872 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 6 0 0 0 /proc/7538/statm: 841289 741817 398 719 0 840568 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 3365156 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -7538 Solver just ended. Dumping a history of the last processes samples [startup+1801.5 s] /proc/loadavg: 1.00 1.37 1.76 2/172 7613 /proc/meminfo: memFree=28786264/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3287372 CPUtime=1801.55 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 774277 0 0 0 176358 3797 0 0 25 0 1 0 134616245 3366268928 722375 4089446400 4194304 7136930 140736928555872 18446744073709551615 6165759 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/7538/statm: 821843 722375 404 719 0 821122 0 Current children cumulated CPU time (s) 1801.55 Current children cumulated vsize (KiB) 3287372 [startup+1801.91 s] /proc/loadavg: 1.00 1.36 1.76 2/172 7613 /proc/meminfo: memFree=28852848/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=3267428 CPUtime=1801.95 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4202496 774277 0 0 0 176398 3797 0 0 25 0 1 0 134616245 3345846272 717389 4089446400 4194304 7136930 140736928555872 18446744073709551615 6165762 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/7538/statm: 816857 717389 404 719 0 816136 0 Current children cumulated CPU time (s) 1801.95 Current children cumulated vsize (KiB) 3267428 [startup+1802.1 s] /proc/loadavg: 1.00 1.36 1.76 2/172 7613 /proc/meminfo: memFree=28852848/32951124 swapFree=67111528/67111528 [pid=7538] ppid=7536 vsize=0 CPUtime=1802.16 /proc/7538/stat : 7538 (pbscip.linux.x8) R 7536 7538 6759 0 -1 4203524 774277 0 0 0 176409 3807 0 0 25 0 1 0 134616245 0 0 4089446400 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 /proc/7538/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.11 CPU time (s): 1802.17 CPU user time (s): 1764.09 CPU system time (s): 38.0762 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 3464948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1764.09 system time used= 38.0762 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 774277 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= 916 runsolver used 2.69459 second user time and 5.56415 second system time The end
Begin job on node111 at 2010-06-30 23:04:39 IDJOB=2693881 IDBENCH=79328 IDSOLVER=1206 FILE ID=node111/2693881-1277931879 PBS_JOBID= 11197429 Free space on /tmp= 74208 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl--soft-0-100-0.wbo COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.none -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2693881-1277931879/watcher-2693881-1277931879 -o /tmp/evaluation-result-2693881-1277931879/solver-2693881-1277931879 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2693881-1277931879.wbo -t 1800 -m 3800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8cd432ce35ac43809c1c027beb7ff72a RANDOM SEED=403824865 node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.85 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31481748 kB Buffers: 217204 kB Cached: 798524 kB SwapCached: 0 kB Active: 721492 kB Inactive: 604008 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31481748 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3516 kB Writeback: 0 kB AnonPages: 309764 kB Mapped: 16784 kB Slab: 79292 kB PageTables: 5332 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 455720 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node111 at 2010-06-30 23:34:42