Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPnone SCIP 1.2.1.2 without any LP solver | SAT (TO) | 53 | 1800.05 | 1800.65 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
| MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 37 |
| Best CPU time to get the best result obtained on this benchmark | 4.86426 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | NO |
| Number of variables | 1108 |
| Total number of constraints | 2313 |
| Number of constraints which are clauses | 2313 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 295 |
| Number of terms in the objective function | 1108 |
| Biggest coefficient in the objective function | 1 |
| Number of bits for the biggest coefficient in the objective function | 1 |
| Sum of the numbers in the objective function | 1108 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1108 |
| Number of bits of the biggest sum of numbers | 11 |
| 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-2664070-1276596276.opb>
0.09/0.16 c original problem has 1108 variables (1108 bin, 0 int, 0 impl, 0 cont) and 2313 constraints
0.09/0.16 c problem read
0.09/0.16 c presolving settings loaded
0.09/0.16 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.19/0.21 o 1108
0.19/0.21 c feasible solution found by trivial heuristic, objective value 1.108000e+03
0.19/0.21 c presolving:
0.19/0.25 c (round 1) 8 del vars, 210 del conss, 8 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10 impls, 0 clqs
0.39/0.47 c (round 2) 8 del vars, 388 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2030 upgd conss, 10 impls, 0 clqs
0.49/0.52 c (round 3) 12 del vars, 394 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2030 upgd conss, 10 impls, 0 clqs
0.49/0.53 c (round 4) 15 del vars, 396 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2030 upgd conss, 10 impls, 0 clqs
0.49/0.58 c (round 5) 16 del vars, 398 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2049 upgd conss, 10 impls, 0 clqs
0.59/0.60 c (round 6) 16 del vars, 398 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2058 upgd conss, 10 impls, 0 clqs
0.59/0.67 c (round 7) 16 del vars, 420 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2058 upgd conss, 10 impls, 0 clqs
0.59/0.67 c (round 8) 17 del vars, 423 del conss, 8 chg bounds, 6 chg sides, 0 chg coeffs, 2058 upgd conss, 10 impls, 0 clqs
0.59/0.69 c (0.5s) probing: 101/1091 (9.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.69 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.59/0.69 c presolving (9 rounds):
0.59/0.69 c 17 deleted vars, 423 deleted constraints, 8 tightened bounds, 0 added holes, 6 changed sides, 0 changed coefficients
0.59/0.69 c 10 implications, 0 cliques
0.59/0.69 c presolved problem has 1091 variables (1091 bin, 0 int, 0 impl, 0 cont) and 1890 constraints
0.59/0.69 c 1890 constraints of type <logicor>
0.59/0.69 c transformed objective value is always integral (scale: 1)
0.59/0.69 c Presolving Time: 0.45
0.59/0.69 c - non default parameters ----------------------------------------------------------------------
0.59/0.69 c # SCIP version 1.2.1.2
0.59/0.69 c
0.59/0.69 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: -1]
0.59/0.69 c conflict/interconss = 0
0.59/0.69 c
0.59/0.69 c # should binary conflicts be preferred?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c conflict/preferbinary = TRUE
0.59/0.69 c
0.59/0.69 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 0]
0.59/0.69 c constraints/agelimit = 1
0.59/0.69 c
0.59/0.69 c # should enforcement of pseudo solution be disabled?
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/disableenfops = TRUE
0.59/0.69 c
0.59/0.69 c # frequency for displaying node information lines
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 100]
0.59/0.69 c display/freq = 10000
0.59/0.69 c
0.59/0.69 c # maximal time in seconds to run
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/time = 1799.84
0.59/0.69 c
0.59/0.69 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.59/0.69 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.59/0.69 c limits/memory = 1620
0.59/0.69 c
0.59/0.69 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.59/0.69 c # [type: int, range: [-1,2147483647], default: 1]
0.59/0.69 c lp/solvefreq = -1
0.59/0.69 c
0.59/0.69 c # LP pricing strategy ('l'pi default, 'a'uto, 'f'ull pricing, 'p'artial, 's'teepest edge pricing, 'q'uickstart steepest edge pricing, 'd'evex pricing)
0.59/0.69 c # [type: char, range: {lafpsqd}, default: l]
0.59/0.69 c lp/pricing = a
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify inequalities
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/linear/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # should presolving try to simplify knapsacks
0.59/0.69 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.59/0.69 c constraints/knapsack/simplifyinequalities = TRUE
0.59/0.69 c
0.59/0.69 c # priority of node selection rule <dfs> in standard mode
0.59/0.69 c # [type: int, range: [-536870912,536870911], default: 0]
0.59/0.69 c nodeselection/dfs/stdpriority = 1000000
0.59/0.69 c
0.59/0.69 c -----------------------------------------------------------------------------------------------
0.59/0.69 c start solving
0.69/0.70 c
0.69/0.70 o 1103
0.69/0.70 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.69/0.70 c t 0.5s| 1 | 0 | 0 | - |7317k| 0 | - |1091 |1890 | 0 | 0 | 0 | 0 | 0 | -- | 1.103000e+03 | Inf
0.69/0.70 o 1005
0.69/0.70 c t 0.5s| 1 | 0 | 0 | - |7331k| 0 | - |1091 |1890 | 0 | 0 | 0 | 0 | 0 | -- | 1.005000e+03 | Inf
0.69/0.70 c 0.5s| 1 | 2 | 0 | - |7303k| 0 | - |1091 |1890 | 0 | 0 | 0 | 0 | 0 | 1.200000e+01 | 1.005000e+03 |8275.00%
0.79/0.89 o 53
0.79/0.89 c * 0.7s| 1023 | 1010 | 0 | 0.0 |7877k|1022 | - |1091 |1890 | 0 | 0 | 0 | 0 | 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
5.29/5.34 c 4.9s| 10000 | 971 | 0 | 0.0 |7884k|1022 | - |1091 |1890 | 0 | 0 | 0 |4823 | 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
10.48/10.51 c 9.9s| 20000 | 968 | 0 | 0.0 |7894k|1022 | - |1091 |1890 | 0 | 0 | 0 | 10k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
15.99/16.06 c 15.2s| 30000 | 968 | 0 | 0.0 |7900k|1022 | - |1091 |1893 | 0 | 0 | 0 | 15k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
21.18/21.25 c 20.2s| 40000 | 962 | 0 | 0.0 |7887k|1022 | - |1091 |1892 | 0 | 0 | 0 | 20k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
26.09/26.16 c 24.9s| 50000 | 959 | 0 | 0.0 |7890k|1022 | - |1091 |1895 | 0 | 0 | 0 | 26k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
31.39/31.45 c 30.0s| 60000 | 961 | 0 | 0.0 |7888k|1022 | - |1091 |1892 | 0 | 0 | 0 | 31k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
37.29/37.32 c 35.7s| 70000 | 958 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 36k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
42.79/42.81 c 40.9s| 80000 | 960 | 0 | 0.0 |7892k|1022 | - |1091 |1892 | 0 | 0 | 0 | 42k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
48.48/48.56 c 46.4s| 90000 | 964 | 0 | 0.0 |7892k|1022 | - |1091 |1894 | 0 | 0 | 0 | 47k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
53.38/53.49 c 51.1s|100000 | 954 | 0 | 0.0 |7895k|1022 | - |1091 |1893 | 0 | 0 | 0 | 52k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
58.67/58.79 c 56.2s|110000 | 955 | 0 | 0.0 |7888k|1022 | - |1091 |1892 | 0 | 0 | 0 | 58k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
63.57/63.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
63.57/63.63 c 60.8s|120000 | 953 | 0 | 0.0 |7901k|1022 | - |1091 |1893 | 0 | 0 | 0 | 63k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
68.67/68.78 c 65.8s|130000 | 960 | 0 | 0.0 |7894k|1022 | - |1091 |1892 | 0 | 0 | 0 | 68k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
74.47/74.52 c 71.3s|140000 | 960 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 74k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
79.86/79.92 c 76.5s|150000 | 954 | 0 | 0.0 |7889k|1022 | - |1091 |1892 | 0 | 0 | 0 | 79k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
84.76/84.81 c 81.2s|160000 | 955 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 84k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
89.57/89.69 c 85.8s|170000 | 952 | 0 | 0.0 |7888k|1022 | - |1091 |1892 | 0 | 0 | 0 | 89k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
94.36/94.43 c 90.3s|180000 | 950 | 0 | 0.0 |7896k|1022 | - |1091 |1892 | 0 | 0 | 0 | 94k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
99.26/99.36 c 95.0s|190000 | 954 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 100k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
104.05/104.17 c 99.7s|200000 | 956 | 0 | 0.0 |7895k|1022 | - |1091 |1892 | 0 | 0 | 0 | 105k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
109.25/109.32 c 105s|210000 | 955 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 110k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
114.26/114.31 c 109s|220000 | 953 | 0 | 0.0 |7893k|1022 | - |1091 |1893 | 0 | 0 | 0 | 116k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
119.55/119.64 c 114s|230000 | 957 | 0 | 0.0 |7892k|1022 | - |1091 |1892 | 0 | 0 | 0 | 121k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
125.36/125.43 c 120s|240000 | 952 | 0 | 0.0 |7901k|1022 | - |1091 |1892 | 0 | 0 | 0 | 127k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
130.65/130.79 c 125s|250000 | 954 | 0 | 0.0 |7891k|1022 | - |1091 |1892 | 0 | 0 | 0 | 132k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
136.15/136.25 c 130s|260000 | 953 | 0 | 0.0 |7893k|1022 | - |1091 |1892 | 0 | 0 | 0 | 137k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
141.55/141.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
141.55/141.66 c 136s|270000 | 950 | 0 | 0.0 |7899k|1022 | - |1091 |1893 | 0 | 0 | 0 | 143k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
146.55/146.65 c 140s|280000 | 957 | 0 | 0.0 |7893k|1022 | - |1091 |1894 | 0 | 0 | 0 | 148k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
151.65/151.73 c 145s|290000 | 957 | 0 | 0.0 |7894k|1022 | - |1091 |1892 | 0 | 0 | 0 | 154k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
157.34/157.49 c 151s|300000 | 954 | 0 | 0.0 |7901k|1022 | - |1091 |1893 | 0 | 0 | 0 | 159k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
163.04/163.15 c 156s|310000 | 956 | 0 | 0.0 |7892k|1022 | - |1091 |1893 | 0 | 0 | 0 | 165k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
168.73/168.85 c 162s|320000 | 953 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 170k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
173.83/173.96 c 167s|330000 | 953 | 0 | 0.0 |7896k|1022 | - |1091 |1894 | 0 | 0 | 0 | 176k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
178.83/178.98 c 171s|340000 | 953 | 0 | 0.0 |7898k|1022 | - |1091 |1892 | 0 | 0 | 0 | 181k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
183.93/184.05 c 176s|350000 | 947 | 0 | 0.0 |7899k|1022 | - |1091 |1894 | 0 | 0 | 0 | 187k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
189.03/189.19 c 181s|360000 | 952 | 0 | 0.0 |7895k|1022 | - |1091 |1893 | 0 | 0 | 0 | 192k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
194.53/194.70 c 186s|370000 | 946 | 0 | 0.0 |7903k|1022 | - |1091 |1893 | 0 | 0 | 0 | 198k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
200.23/200.31 c 192s|380000 | 953 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 203k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
205.73/205.83 c 197s|390000 | 959 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 209k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
211.52/211.61 c 203s|400000 | 951 | 0 | 0.0 |7903k|1022 | - |1091 |1892 | 0 | 0 | 0 | 214k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
216.82/216.98 c 208s|410000 | 947 | 0 | 0.0 |7900k|1022 | - |1091 |1896 | 0 | 0 | 0 | 220k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
222.61/222.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
222.61/222.74 c 213s|420000 | 951 | 0 | 0.0 |7894k|1022 | - |1091 |1893 | 0 | 0 | 0 | 225k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
228.01/228.17 c 218s|430000 | 950 | 0 | 0.0 |7896k|1022 | - |1091 |1893 | 0 | 0 | 0 | 231k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
233.51/233.65 c 224s|440000 | 949 | 0 | 0.0 |7896k|1022 | - |1091 |1892 | 0 | 0 | 0 | 237k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
238.71/238.88 c 229s|450000 | 949 | 0 | 0.0 |7896k|1022 | - |1091 |1895 | 0 | 0 | 0 | 242k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
244.31/244.49 c 234s|460000 | 944 | 0 | 0.0 |7893k|1022 | - |1091 |1894 | 0 | 0 | 0 | 248k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
249.91/250.00 c 239s|470000 | 945 | 0 | 0.0 |7898k|1022 | - |1091 |1894 | 0 | 0 | 0 | 253k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
255.51/255.64 c 245s|480000 | 957 | 0 | 0.0 |7894k|1022 | - |1091 |1892 | 0 | 0 | 0 | 258k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
261.20/261.32 c 250s|490000 | 958 | 0 | 0.0 |7895k|1022 | - |1091 |1892 | 0 | 0 | 0 | 264k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
266.50/266.62 c 255s|500000 | 944 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 269k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
271.90/272.06 c 261s|510000 | 948 | 0 | 0.0 |7893k|1022 | - |1091 |1893 | 0 | 0 | 0 | 275k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
277.50/277.60 c 266s|520000 | 948 | 0 | 0.0 |7895k|1022 | - |1091 |1895 | 0 | 0 | 0 | 280k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
283.20/283.32 c 271s|530000 | 952 | 0 | 0.0 |7899k|1022 | - |1091 |1893 | 0 | 0 | 0 | 286k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
288.70/288.89 c 277s|540000 | 949 | 0 | 0.0 |7893k|1022 | - |1091 |1892 | 0 | 0 | 0 | 292k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
294.20/294.35 c 282s|550000 | 953 | 0 | 0.0 |7893k|1022 | - |1091 |1892 | 0 | 0 | 0 | 297k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
299.49/299.65 c 287s|560000 | 945 | 0 | 0.0 |7892k|1022 | - |1091 |1893 | 0 | 0 | 0 | 302k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
304.89/305.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
304.89/305.00 c 292s|570000 | 945 | 0 | 0.0 |7894k|1022 | - |1091 |1893 | 0 | 0 | 0 | 308k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
310.48/310.68 c 298s|580000 | 943 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 314k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
316.18/316.38 c 303s|590000 | 947 | 0 | 0.0 |7896k|1022 | - |1091 |1895 | 0 | 0 | 0 | 319k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
322.09/322.21 c 309s|600000 | 941 | 0 | 0.0 |7890k|1022 | - |1091 |1892 | 0 | 0 | 0 | 325k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
327.38/327.53 c 314s|610000 | 947 | 0 | 0.0 |7903k|1022 | - |1091 |1894 | 0 | 0 | 0 | 330k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
332.78/332.91 c 319s|620000 | 948 | 0 | 0.0 |7894k|1022 | - |1091 |1893 | 0 | 0 | 0 | 336k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
338.48/338.61 c 324s|630000 | 942 | 0 | 0.0 |7903k|1022 | - |1091 |1893 | 0 | 0 | 0 | 341k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
343.77/343.90 c 329s|640000 | 949 | 0 | 0.0 |7893k|1022 | - |1091 |1892 | 0 | 0 | 0 | 347k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
349.47/349.62 c 335s|650000 | 944 | 0 | 0.0 |7892k|1022 | - |1091 |1892 | 0 | 0 | 0 | 352k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
355.27/355.49 c 341s|660000 | 947 | 0 | 0.0 |7912k|1022 | - |1091 |1892 | 0 | 0 | 0 | 358k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
360.97/361.13 c 346s|670000 | 947 | 0 | 0.0 |7904k|1022 | - |1091 |1892 | 0 | 0 | 0 | 363k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
366.57/366.78 c 351s|680000 | 951 | 0 | 0.0 |7894k|1022 | - |1091 |1892 | 0 | 0 | 0 | 369k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
372.17/372.34 c 357s|690000 | 943 | 0 | 0.0 |7899k|1022 | - |1091 |1892 | 0 | 0 | 0 | 374k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
377.76/377.93 c 362s|700000 | 943 | 0 | 0.0 |7903k|1022 | - |1091 |1892 | 0 | 0 | 0 | 380k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
383.86/384.03 c 368s|710000 | 942 | 0 | 0.0 |7894k|1022 | - |1091 |1892 | 0 | 0 | 0 | 386k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
389.57/389.76 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
389.57/389.76 c 374s|720000 | 947 | 0 | 0.0 |7893k|1022 | - |1091 |1892 | 0 | 0 | 0 | 391k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
394.77/394.93 c 378s|730000 | 950 | 0 | 0.0 |7896k|1022 | - |1091 |1894 | 0 | 0 | 0 | 397k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
400.05/400.24 c 384s|740000 | 942 | 0 | 0.0 |7895k|1022 | - |1091 |1893 | 0 | 0 | 0 | 402k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
405.16/405.38 c 388s|750000 | 949 | 0 | 0.0 |7895k|1022 | - |1091 |1892 | 0 | 0 | 0 | 407k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
410.76/410.94 c 394s|760000 | 940 | 0 | 0.0 |7895k|1022 | - |1091 |1892 | 0 | 0 | 0 | 413k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
416.46/416.67 c 399s|770000 | 947 | 0 | 0.0 |7904k|1022 | - |1091 |1892 | 0 | 0 | 0 | 418k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
422.06/422.27 c 405s|780000 | 954 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 424k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
427.45/427.63 c 410s|790000 | 946 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 429k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
432.75/432.97 c 415s|800000 | 940 | 0 | 0.0 |7900k|1022 | - |1091 |1895 | 0 | 0 | 0 | 435k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
437.94/438.16 c 420s|810000 | 944 | 0 | 0.0 |7899k|1022 | - |1091 |1892 | 0 | 0 | 0 | 440k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
442.95/443.14 c 425s|820000 | 952 | 0 | 0.0 |7899k|1022 | - |1091 |1893 | 0 | 0 | 0 | 445k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
447.95/448.14 c 429s|830000 | 945 | 0 | 0.0 |7899k|1022 | - |1091 |1893 | 0 | 0 | 0 | 450k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
452.94/453.15 c 434s|840000 | 953 | 0 | 0.0 |7907k|1022 | - |1091 |1897 | 0 | 0 | 0 | 455k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
458.04/458.24 c 439s|850000 | 945 | 0 | 0.0 |7896k|1022 | - |1091 |1892 | 0 | 0 | 0 | 461k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
463.04/463.22 c 444s|860000 | 948 | 0 | 0.0 |7901k|1022 | - |1091 |1894 | 0 | 0 | 0 | 466k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
467.54/467.79 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
467.54/467.79 c 448s|870000 | 942 | 0 | 0.0 |7902k|1022 | - |1091 |1897 | 0 | 0 | 0 | 471k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
472.74/472.95 c 453s|880000 | 948 | 0 | 0.0 |7902k|1022 | - |1091 |1893 | 0 | 0 | 0 | 476k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
477.84/478.06 c 458s|890000 | 949 | 0 | 0.0 |7901k|1022 | - |1091 |1892 | 0 | 0 | 0 | 481k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
482.93/483.17 c 463s|900000 | 945 | 0 | 0.0 |7899k|1022 | - |1091 |1892 | 0 | 0 | 0 | 487k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
487.83/488.02 c 468s|910000 | 951 | 0 | 0.0 |7903k|1022 | - |1091 |1892 | 0 | 0 | 0 | 492k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
492.63/492.82 c 472s|920000 | 945 | 0 | 0.0 |7902k|1022 | - |1091 |1893 | 0 | 0 | 0 | 497k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
497.62/497.85 c 477s|930000 | 949 | 0 | 0.0 |7898k|1022 | - |1091 |1892 | 0 | 0 | 0 | 502k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
502.62/502.85 c 482s|940000 | 945 | 0 | 0.0 |7908k|1022 | - |1091 |1892 | 0 | 0 | 0 | 507k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
507.52/507.79 c 486s|950000 | 946 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 512k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
512.52/512.76 c 491s|960000 | 948 | 0 | 0.0 |7901k|1022 | - |1091 |1893 | 0 | 0 | 0 | 517k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
517.62/517.82 c 496s|970000 | 947 | 0 | 0.0 |7903k|1022 | - |1091 |1896 | 0 | 0 | 0 | 522k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
522.52/522.78 c 501s|980000 | 952 | 0 | 0.0 |7914k|1022 | - |1091 |1893 | 0 | 0 | 0 | 528k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
527.52/527.77 c 506s|990000 | 940 | 0 | 0.0 |7897k|1022 | - |1091 |1893 | 0 | 0 | 0 | 533k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
532.31/532.51 c 510s| 1000k| 946 | 0 | 0.0 |7901k|1022 | - |1091 |1892 | 0 | 0 | 0 | 538k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
536.31/536.52 c 514s| 1010k| 943 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 542k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
541.42/541.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
541.42/541.63 c 519s| 1020k| 945 | 0 | 0.0 |7900k|1022 | - |1091 |1894 | 0 | 0 | 0 | 548k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
546.52/546.77 c 524s| 1030k| 944 | 0 | 0.0 |7903k|1022 | - |1091 |1897 | 0 | 0 | 0 | 553k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
551.61/551.80 c 528s| 1040k| 951 | 0 | 0.0 |7900k|1022 | - |1091 |1892 | 0 | 0 | 0 | 558k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
557.00/557.28 c 534s| 1050k| 945 | 0 | 0.0 |7899k|1022 | - |1091 |1892 | 0 | 0 | 0 | 563k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
562.10/562.32 c 538s| 1060k| 948 | 0 | 0.0 |7899k|1022 | - |1091 |1892 | 0 | 0 | 0 | 569k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
567.21/567.48 c 543s| 1070k| 941 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 574k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
572.60/572.82 c 549s| 1080k| 947 | 0 | 0.0 |7912k|1022 | - |1091 |1892 | 0 | 0 | 0 | 579k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
577.90/578.19 c 554s| 1090k| 943 | 0 | 0.0 |7898k|1022 | - |1091 |1892 | 0 | 0 | 0 | 585k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
582.80/583.05 c 558s| 1100k| 942 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 590k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
588.09/588.31 c 563s| 1110k| 961 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 595k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
593.00/593.20 c 568s| 1120k| 949 | 0 | 0.0 |7901k|1022 | - |1091 |1892 | 0 | 0 | 0 | 601k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
597.89/598.14 c 573s| 1130k| 947 | 0 | 0.0 |7900k|1022 | - |1091 |1893 | 0 | 0 | 0 | 606k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
602.69/602.94 c 577s| 1140k| 949 | 0 | 0.0 |7914k|1022 | - |1091 |1903 | 0 | 0 | 0 | 611k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
607.29/607.57 c 582s| 1150k| 948 | 0 | 0.0 |7906k|1022 | - |1091 |1896 | 0 | 0 | 0 | 616k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
611.89/612.10 c 586s| 1160k| 943 | 0 | 0.0 |7902k|1022 | - |1091 |1896 | 0 | 0 | 0 | 621k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
616.68/616.94 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
616.68/616.94 c 591s| 1170k| 945 | 0 | 0.0 |7902k|1022 | - |1091 |1893 | 0 | 0 | 0 | 627k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
621.29/621.53 c 595s| 1180k| 944 | 0 | 0.0 |7901k|1022 | - |1091 |1892 | 0 | 0 | 0 | 632k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
625.98/626.21 c 600s| 1190k| 947 | 0 | 0.0 |7907k|1022 | - |1091 |1902 | 0 | 0 | 0 | 637k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
630.88/631.12 c 604s| 1200k| 946 | 0 | 0.0 |7900k|1022 | - |1091 |1893 | 0 | 0 | 0 | 642k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
635.59/635.83 c 609s| 1210k| 945 | 0 | 0.0 |7902k|1022 | - |1091 |1896 | 0 | 0 | 0 | 648k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
640.08/640.40 c 613s| 1220k| 948 | 0 | 0.0 |7900k|1022 | - |1091 |1893 | 0 | 0 | 0 | 653k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
645.08/645.32 c 618s| 1230k| 949 | 0 | 0.0 |7915k|1022 | - |1091 |1893 | 0 | 0 | 0 | 658k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
650.37/650.68 c 623s| 1240k| 949 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 663k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
655.38/655.65 c 628s| 1250k| 942 | 0 | 0.0 |7899k|1022 | - |1091 |1893 | 0 | 0 | 0 | 669k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
660.67/660.96 c 633s| 1260k| 942 | 0 | 0.0 |7899k|1022 | - |1091 |1892 | 0 | 0 | 0 | 674k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
665.97/666.26 c 638s| 1270k| 946 | 0 | 0.0 |7900k|1022 | - |1091 |1893 | 0 | 0 | 0 | 679k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
671.07/671.36 c 643s| 1280k| 941 | 0 | 0.0 |7917k|1022 | - |1091 |1892 | 0 | 0 | 0 | 685k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
676.07/676.38 c 647s| 1290k| 940 | 0 | 0.0 |7902k|1022 | - |1091 |1893 | 0 | 0 | 0 | 690k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
681.16/681.44 c 652s| 1300k| 944 | 0 | 0.0 |7901k|1022 | - |1091 |1893 | 0 | 0 | 0 | 695k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
686.26/686.51 c 657s| 1310k| 941 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 700k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
691.26/691.51 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
691.26/691.51 c 662s| 1320k| 950 | 0 | 0.0 |7902k|1022 | - |1091 |1892 | 0 | 0 | 0 | 706k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
696.16/696.45 c 667s| 1330k| 939 | 0 | 0.0 |7905k|1022 | - |1091 |1892 | 0 | 0 | 0 | 711k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
701.06/701.32 c 671s| 1340k| 938 | 0 | 0.0 |7897k|1022 | - |1091 |1892 | 0 | 0 | 0 | 716k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
706.25/706.54 c 676s| 1350k| 946 | 0 | 0.0 |7903k|1022 | - |1091 |1892 | 0 | 0 | 0 | 722k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
711.36/711.61 c 681s| 1360k| 945 | 0 | 0.0 |7911k|1022 | - |1091 |1892 | 0 | 0 | 0 | 727k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
716.45/716.80 c 686s| 1370k| 946 | 0 | 0.0 |7912k|1022 | - |1091 |1892 | 0 | 0 | 0 | 733k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
721.85/722.17 c 691s| 1380k| 944 | 0 | 0.0 |7915k|1022 | - |1091 |1892 | 0 | 0 | 0 | 738k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
727.25/727.52 c 696s| 1390k| 952 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 | 744k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
732.14/732.41 c 701s| 1400k| 947 | 0 | 0.0 |7932k|1022 | - |1091 |1899 | 0 | 0 | 0 | 749k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
737.34/737.63 c 706s| 1410k| 946 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 | 754k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
742.34/742.68 c 711s| 1420k| 949 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 | 760k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
747.25/747.53 c 715s| 1430k| 946 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 | 765k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
752.54/752.89 c 720s| 1440k| 942 | 0 | 0.0 |7919k|1022 | - |1091 |1892 | 0 | 0 | 0 | 770k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
758.04/758.32 c 726s| 1450k| 948 | 0 | 0.0 |7935k|1022 | - |1091 |1894 | 0 | 0 | 0 | 775k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
763.04/763.32 c 730s| 1460k| 947 | 0 | 0.0 |7924k|1022 | - |1091 |1895 | 0 | 0 | 0 | 781k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
768.03/768.33 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
768.03/768.33 c 735s| 1470k| 941 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 | 786k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
772.94/773.28 c 740s| 1480k| 939 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 | 791k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
777.83/778.13 c 745s| 1490k| 946 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 | 796k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
782.94/783.26 c 750s| 1500k| 943 | 0 | 0.0 |7920k|1022 | - |1091 |1892 | 0 | 0 | 0 | 801k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
788.12/788.40 c 754s| 1510k| 952 | 0 | 0.0 |7932k|1022 | - |1091 |1893 | 0 | 0 | 0 | 807k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
793.33/793.63 c 759s| 1520k| 944 | 0 | 0.0 |7927k|1022 | - |1091 |1896 | 0 | 0 | 0 | 812k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
798.73/799.03 c 765s| 1530k| 944 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 | 818k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
803.92/804.29 c 770s| 1540k| 943 | 0 | 0.0 |7921k|1022 | - |1091 |1893 | 0 | 0 | 0 | 823k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
809.02/809.33 c 774s| 1550k| 947 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 | 829k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
814.11/814.40 c 779s| 1560k| 942 | 0 | 0.0 |7919k|1022 | - |1091 |1892 | 0 | 0 | 0 | 834k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
819.32/819.66 c 784s| 1570k| 951 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 | 839k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
824.12/824.41 c 789s| 1580k| 946 | 0 | 0.0 |7937k|1022 | - |1091 |1892 | 0 | 0 | 0 | 844k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
828.81/829.13 c 793s| 1590k| 940 | 0 | 0.0 |7924k|1022 | - |1091 |1898 | 0 | 0 | 0 | 849k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
833.81/834.14 c 798s| 1600k| 941 | 0 | 0.0 |7931k|1022 | - |1091 |1895 | 0 | 0 | 0 | 854k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
838.81/839.11 c 803s| 1610k| 944 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 | 859k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
843.51/843.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
843.51/843.82 c 807s| 1620k| 942 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 | 864k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
848.31/848.63 c 812s| 1630k| 945 | 0 | 0.0 |7933k|1022 | - |1091 |1894 | 0 | 0 | 0 | 869k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
853.31/853.69 c 817s| 1640k| 946 | 0 | 0.0 |7935k|1022 | - |1091 |1893 | 0 | 0 | 0 | 875k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
858.51/858.80 c 822s| 1650k| 938 | 0 | 0.0 |7921k|1022 | - |1091 |1894 | 0 | 0 | 0 | 880k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
863.40/863.77 c 826s| 1660k| 939 | 0 | 0.0 |7920k|1022 | - |1091 |1893 | 0 | 0 | 0 | 885k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
868.71/869.08 c 832s| 1670k| 944 | 0 | 0.0 |7923k|1022 | - |1091 |1892 | 0 | 0 | 0 | 890k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
873.60/873.98 c 836s| 1680k| 940 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 | 895k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
878.89/879.24 c 841s| 1690k| 953 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 | 902k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
884.60/884.96 c 847s| 1700k| 952 | 0 | 0.0 |7932k|1022 | - |1091 |1892 | 0 | 0 | 0 | 907k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
890.40/890.75 c 852s| 1710k| 944 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 | 913k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
896.10/896.43 c 858s| 1720k| 950 | 0 | 0.0 |7934k|1022 | - |1091 |1892 | 0 | 0 | 0 | 918k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
901.70/902.07 c 863s| 1730k| 946 | 0 | 0.0 |7932k|1022 | - |1091 |1892 | 0 | 0 | 0 | 924k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
906.99/907.34 c 868s| 1740k| 946 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 | 930k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
912.39/912.77 c 874s| 1750k| 948 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 | 935k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
918.09/918.49 c 879s| 1760k| 947 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 | 941k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
923.59/923.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
923.59/923.96 c 884s| 1770k| 948 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 | 946k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
929.09/929.44 c 890s| 1780k| 947 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 | 952k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
934.37/934.73 c 895s| 1790k| 949 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 | 958k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
939.98/940.39 c 900s| 1800k| 949 | 0 | 0.0 |7934k|1022 | - |1091 |1893 | 0 | 0 | 0 | 963k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
945.87/946.30 c 906s| 1810k| 944 | 0 | 0.0 |7929k|1022 | - |1091 |1893 | 0 | 0 | 0 | 969k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
951.47/951.88 c 911s| 1820k| 943 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 | 975k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
957.07/957.41 c 916s| 1830k| 944 | 0 | 0.0 |7937k|1022 | - |1091 |1892 | 0 | 0 | 0 | 980k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
962.57/962.92 c 922s| 1840k| 939 | 0 | 0.0 |7929k|1022 | - |1091 |1893 | 0 | 0 | 0 | 986k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
968.06/968.49 c 927s| 1850k| 947 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 | 991k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
973.87/974.22 c 933s| 1860k| 941 | 0 | 0.0 |7934k|1022 | - |1091 |1892 | 0 | 0 | 0 | 997k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
979.16/979.60 c 938s| 1870k| 948 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 |1002k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
983.76/984.15 c 942s| 1880k| 948 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 |1007k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
988.96/989.31 c 947s| 1890k| 955 | 0 | 0.0 |7930k|1022 | - |1091 |1893 | 0 | 0 | 0 |1012k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
994.35/994.79 c 952s| 1900k| 940 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 |1018k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
999.86/1000.20 c 957s| 1910k| 945 | 0 | 0.0 |7921k|1022 | - |1091 |1892 | 0 | 0 | 0 |1023k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1004.97/1005.35 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1004.97/1005.35 c 962s| 1920k| 944 | 0 | 0.0 |7923k|1022 | - |1091 |1894 | 0 | 0 | 0 |1028k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1010.05/1010.47 c 967s| 1930k| 950 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 |1033k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1015.25/1015.64 c 972s| 1940k| 942 | 0 | 0.0 |7921k|1022 | - |1091 |1893 | 0 | 0 | 0 |1039k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1020.85/1021.27 c 978s| 1950k| 941 | 0 | 0.0 |7925k|1022 | - |1091 |1893 | 0 | 0 | 0 |1044k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1025.65/1026.04 c 982s| 1960k| 954 | 0 | 0.0 |7927k|1022 | - |1091 |1895 | 0 | 0 | 0 |1049k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1030.45/1030.83 c 987s| 1970k| 954 | 0 | 0.0 |7931k|1022 | - |1091 |1899 | 0 | 0 | 0 |1054k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1035.24/1035.68 c 991s| 1980k| 947 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 |1059k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1040.04/1040.44 c 996s| 1990k| 949 | 0 | 0.0 |7929k|1022 | - |1091 |1900 | 0 | 0 | 0 |1064k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1044.94/1045.36 c 1001s| 2000k| 941 | 0 | 0.0 |7930k|1022 | - |1091 |1893 | 0 | 0 | 0 |1069k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1049.74/1050.18 c 1005s| 2010k| 950 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 |1075k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1054.54/1054.96 c 1010s| 2020k| 962 | 0 | 0.0 |7933k|1022 | - |1091 |1894 | 0 | 0 | 0 |1080k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1059.24/1059.61 c 1014s| 2030k| 943 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1085k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1063.83/1064.28 c 1019s| 2040k| 946 | 0 | 0.0 |7929k|1022 | - |1091 |1893 | 0 | 0 | 0 |1090k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1068.93/1069.33 c 1023s| 2050k| 944 | 0 | 0.0 |7926k|1022 | - |1091 |1897 | 0 | 0 | 0 |1095k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1074.44/1074.84 c 1029s| 2060k| 942 | 0 | 0.0 |7922k|1022 | - |1091 |1893 | 0 | 0 | 0 |1100k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1079.63/1080.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1079.63/1080.01 c 1034s| 2070k| 942 | 0 | 0.0 |7925k|1022 | - |1091 |1893 | 0 | 0 | 0 |1106k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1084.83/1085.21 c 1039s| 2080k| 943 | 0 | 0.0 |7927k|1022 | - |1091 |1892 | 0 | 0 | 0 |1111k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1089.83/1090.28 c 1044s| 2090k| 944 | 0 | 0.0 |7931k|1022 | - |1091 |1893 | 0 | 0 | 0 |1116k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1094.82/1095.26 c 1048s| 2100k| 945 | 0 | 0.0 |7926k|1022 | - |1091 |1897 | 0 | 0 | 0 |1121k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1099.72/1100.19 c 1053s| 2110k| 946 | 0 | 0.0 |7923k|1022 | - |1091 |1892 | 0 | 0 | 0 |1127k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1104.82/1105.21 c 1058s| 2120k| 947 | 0 | 0.0 |7927k|1022 | - |1091 |1897 | 0 | 0 | 0 |1132k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1109.92/1110.30 c 1063s| 2130k| 951 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 |1137k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1115.11/1115.56 c 1068s| 2140k| 939 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 |1142k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1120.02/1120.42 c 1072s| 2150k| 945 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 |1147k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1124.83/1125.20 c 1077s| 2160k| 943 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1153k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1129.92/1130.36 c 1082s| 2170k| 945 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 |1158k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1135.11/1135.56 c 1087s| 2180k| 942 | 0 | 0.0 |7935k|1022 | - |1091 |1893 | 0 | 0 | 0 |1163k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1140.01/1140.46 c 1091s| 2190k| 942 | 0 | 0.0 |7931k|1022 | - |1091 |1895 | 0 | 0 | 0 |1168k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1145.11/1145.52 c 1096s| 2200k| 942 | 0 | 0.0 |7931k|1022 | - |1091 |1897 | 0 | 0 | 0 |1174k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1150.22/1150.61 c 1101s| 2210k| 937 | 0 | 0.0 |7931k|1022 | - |1091 |1892 | 0 | 0 | 0 |1179k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1155.20/1155.69 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.20/1155.69 c 1106s| 2220k| 944 | 0 | 0.0 |7926k|1022 | - |1091 |1894 | 0 | 0 | 0 |1184k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1160.30/1160.77 c 1111s| 2230k| 942 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 |1189k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1165.30/1165.77 c 1116s| 2240k| 948 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 |1194k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1170.40/1170.84 c 1121s| 2250k| 939 | 0 | 0.0 |7926k|1022 | - |1091 |1897 | 0 | 0 | 0 |1200k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1175.29/1175.75 c 1125s| 2260k| 942 | 0 | 0.0 |7924k|1022 | - |1091 |1894 | 0 | 0 | 0 |1205k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1180.20/1180.63 c 1130s| 2270k| 948 | 0 | 0.0 |7923k|1022 | - |1091 |1892 | 0 | 0 | 0 |1210k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1185.60/1186.05 c 1135s| 2280k| 940 | 0 | 0.0 |7938k|1022 | - |1091 |1895 | 0 | 0 | 0 |1215k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1190.80/1191.29 c 1140s| 2290k| 949 | 0 | 0.0 |7923k|1022 | - |1091 |1892 | 0 | 0 | 0 |1221k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1195.79/1196.23 c 1145s| 2300k| 943 | 0 | 0.0 |7932k|1022 | - |1091 |1896 | 0 | 0 | 0 |1226k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1200.79/1201.28 c 1150s| 2310k| 946 | 0 | 0.0 |7928k|1022 | - |1091 |1894 | 0 | 0 | 0 |1231k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1205.79/1206.23 c 1154s| 2320k| 951 | 0 | 0.0 |7928k|1022 | - |1091 |1895 | 0 | 0 | 0 |1236k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1210.79/1211.26 c 1159s| 2330k| 960 | 0 | 0.0 |7928k|1022 | - |1091 |1892 | 0 | 0 | 0 |1241k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1216.10/1216.59 c 1164s| 2340k| 951 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 |1247k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1220.98/1221.48 c 1169s| 2350k| 948 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 |1252k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1225.88/1226.34 c 1173s| 2360k| 950 | 0 | 0.0 |7932k|1022 | - |1091 |1897 | 0 | 0 | 0 |1257k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1230.88/1231.34 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1230.88/1231.34 c 1178s| 2370k| 946 | 0 | 0.0 |7923k|1022 | - |1091 |1892 | 0 | 0 | 0 |1262k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1235.78/1236.20 c 1183s| 2380k| 949 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 |1267k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1240.68/1241.16 c 1188s| 2390k| 940 | 0 | 0.0 |7928k|1022 | - |1091 |1895 | 0 | 0 | 0 |1273k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1245.57/1246.05 c 1192s| 2400k| 940 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1278k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1250.57/1251.08 c 1197s| 2410k| 944 | 0 | 0.0 |7934k|1022 | - |1091 |1895 | 0 | 0 | 0 |1283k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1255.78/1256.23 c 1202s| 2420k| 946 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 |1288k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1260.67/1261.19 c 1207s| 2430k| 948 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1293k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1265.46/1265.91 c 1211s| 2440k| 951 | 0 | 0.0 |7931k|1022 | - |1091 |1892 | 0 | 0 | 0 |1298k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1270.27/1270.79 c 1216s| 2450k| 947 | 0 | 0.0 |7940k|1022 | - |1091 |1892 | 0 | 0 | 0 |1304k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1274.87/1275.36 c 1220s| 2460k| 949 | 0 | 0.0 |7927k|1022 | - |1091 |1894 | 0 | 0 | 0 |1309k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1279.97/1280.43 c 1225s| 2470k| 952 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 |1314k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1284.86/1285.32 c 1230s| 2480k| 949 | 0 | 0.0 |7927k|1022 | - |1091 |1895 | 0 | 0 | 0 |1319k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1289.86/1290.33 c 1235s| 2490k| 953 | 0 | 0.0 |7930k|1022 | - |1091 |1892 | 0 | 0 | 0 |1324k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1294.95/1295.45 c 1239s| 2500k| 944 | 0 | 0.0 |7933k|1022 | - |1091 |1896 | 0 | 0 | 0 |1329k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1300.16/1300.63 c 1244s| 2510k| 945 | 0 | 0.0 |7923k|1022 | - |1091 |1893 | 0 | 0 | 0 |1335k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1305.35/1305.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1305.35/1305.82 c 1249s| 2520k| 947 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 |1340k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1310.55/1311.02 c 1254s| 2530k| 949 | 0 | 0.0 |7925k|1022 | - |1091 |1892 | 0 | 0 | 0 |1345k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1315.25/1315.75 c 1259s| 2540k| 939 | 0 | 0.0 |7923k|1022 | - |1091 |1893 | 0 | 0 | 0 |1350k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1320.25/1320.79 c 1264s| 2550k| 948 | 0 | 0.0 |7925k|1022 | - |1091 |1893 | 0 | 0 | 0 |1356k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1325.15/1325.66 c 1268s| 2560k| 944 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 |1361k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1330.15/1330.63 c 1273s| 2570k| 945 | 0 | 0.0 |7934k|1022 | - |1091 |1894 | 0 | 0 | 0 |1366k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1335.25/1335.77 c 1278s| 2580k| 948 | 0 | 0.0 |7940k|1022 | - |1091 |1894 | 0 | 0 | 0 |1371k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1340.35/1340.87 c 1283s| 2590k| 944 | 0 | 0.0 |7932k|1022 | - |1091 |1892 | 0 | 0 | 0 |1376k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1345.44/1345.98 c 1288s| 2600k| 948 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 |1382k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1350.54/1351.02 c 1293s| 2610k| 947 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 |1387k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1355.44/1355.92 c 1297s| 2620k| 942 | 0 | 0.0 |7928k|1022 | - |1091 |1892 | 0 | 0 | 0 |1392k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1360.15/1360.64 c 1302s| 2630k| 948 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 |1397k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1365.24/1365.75 c 1307s| 2640k| 939 | 0 | 0.0 |7932k|1022 | - |1091 |1892 | 0 | 0 | 0 |1402k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1370.14/1370.67 c 1311s| 2650k| 946 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 |1408k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1374.93/1375.47 c 1316s| 2660k| 937 | 0 | 0.0 |7927k|1022 | - |1091 |1894 | 0 | 0 | 0 |1413k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1380.43/1380.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1380.43/1380.93 c 1321s| 2670k| 946 | 0 | 0.0 |7940k|1022 | - |1091 |1895 | 0 | 0 | 0 |1418k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1385.83/1386.39 c 1326s| 2680k| 939 | 0 | 0.0 |7933k|1022 | - |1091 |1896 | 0 | 0 | 0 |1424k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1391.32/1391.88 c 1332s| 2690k| 945 | 0 | 0.0 |7927k|1022 | - |1091 |1894 | 0 | 0 | 0 |1429k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1396.72/1397.23 c 1337s| 2700k| 940 | 0 | 0.0 |7929k|1022 | - |1091 |1895 | 0 | 0 | 0 |1435k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1402.03/1402.57 c 1342s| 2710k| 941 | 0 | 0.0 |7926k|1022 | - |1091 |1897 | 0 | 0 | 0 |1440k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1407.43/1407.94 c 1347s| 2720k| 943 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1445k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1412.22/1412.78 c 1352s| 2730k| 951 | 0 | 0.0 |7931k|1022 | - |1091 |1896 | 0 | 0 | 0 |1451k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1417.21/1417.79 c 1356s| 2740k| 951 | 0 | 0.0 |7927k|1022 | - |1091 |1895 | 0 | 0 | 0 |1456k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1422.32/1422.89 c 1361s| 2750k| 950 | 0 | 0.0 |7934k|1022 | - |1091 |1900 | 0 | 0 | 0 |1461k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1427.41/1427.92 c 1366s| 2760k| 953 | 0 | 0.0 |7935k|1022 | - |1091 |1905 | 0 | 0 | 0 |1467k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1432.41/1432.93 c 1371s| 2770k| 948 | 0 | 0.0 |7929k|1022 | - |1091 |1899 | 0 | 0 | 0 |1472k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1437.22/1437.79 c 1375s| 2780k| 939 | 0 | 0.0 |7926k|1022 | - |1091 |1896 | 0 | 0 | 0 |1477k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1442.41/1442.96 c 1380s| 2790k| 945 | 0 | 0.0 |7931k|1022 | - |1091 |1895 | 0 | 0 | 0 |1482k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1447.31/1447.80 c 1385s| 2800k| 942 | 0 | 0.0 |7935k|1022 | - |1091 |1896 | 0 | 0 | 0 |1488k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1452.31/1452.81 c 1390s| 2810k| 938 | 0 | 0.0 |7924k|1022 | - |1091 |1895 | 0 | 0 | 0 |1493k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1457.51/1458.03 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1457.51/1458.03 c 1395s| 2820k| 943 | 0 | 0.0 |7928k|1022 | - |1091 |1895 | 0 | 0 | 0 |1498k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1462.61/1463.15 c 1400s| 2830k| 944 | 0 | 0.0 |7933k|1022 | - |1091 |1895 | 0 | 0 | 0 |1504k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1467.80/1468.40 c 1405s| 2840k| 941 | 0 | 0.0 |7932k|1022 | - |1091 |1895 | 0 | 0 | 0 |1509k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1472.90/1473.46 c 1410s| 2850k| 945 | 0 | 0.0 |7933k|1022 | - |1091 |1901 | 0 | 0 | 0 |1514k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1478.00/1478.50 c 1414s| 2860k| 936 | 0 | 0.0 |7928k|1022 | - |1091 |1898 | 0 | 0 | 0 |1519k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1483.09/1483.67 c 1419s| 2870k| 944 | 0 | 0.0 |7937k|1022 | - |1091 |1896 | 0 | 0 | 0 |1525k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1488.20/1488.70 c 1424s| 2880k| 936 | 0 | 0.0 |7923k|1022 | - |1091 |1895 | 0 | 0 | 0 |1530k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1493.30/1493.84 c 1429s| 2890k| 945 | 0 | 0.0 |7928k|1022 | - |1091 |1896 | 0 | 0 | 0 |1535k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1498.29/1498.87 c 1434s| 2900k| 945 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 |1540k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1503.58/1504.17 c 1439s| 2910k| 944 | 0 | 0.0 |7928k|1022 | - |1091 |1892 | 0 | 0 | 0 |1546k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1509.09/1509.69 c 1444s| 2920k| 939 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 |1551k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1514.20/1514.78 c 1449s| 2930k| 939 | 0 | 0.0 |7930k|1022 | - |1091 |1892 | 0 | 0 | 0 |1557k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1519.38/1519.96 c 1454s| 2940k| 947 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 |1562k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1525.09/1525.60 c 1460s| 2950k| 938 | 0 | 0.0 |7927k|1022 | - |1091 |1892 | 0 | 0 | 0 |1568k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1530.88/1531.41 c 1465s| 2960k| 959 | 0 | 0.0 |7927k|1022 | - |1091 |1892 | 0 | 0 | 0 |1573k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1536.58/1537.11 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1536.58/1537.11 c 1471s| 2970k| 950 | 0 | 0.0 |7937k|1022 | - |1091 |1893 | 0 | 0 | 0 |1578k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1541.88/1542.48 c 1476s| 2980k| 947 | 0 | 0.0 |7926k|1022 | - |1091 |1892 | 0 | 0 | 0 |1584k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1547.38/1547.91 c 1481s| 2990k| 943 | 0 | 0.0 |7929k|1022 | - |1091 |1892 | 0 | 0 | 0 |1589k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1552.87/1553.47 c 1486s| 3000k| 943 | 0 | 0.0 |7925k|1022 | - |1091 |1893 | 0 | 0 | 0 |1595k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1558.27/1558.87 c 1491s| 3010k| 943 | 0 | 0.0 |7940k|1022 | - |1091 |1893 | 0 | 0 | 0 |1600k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1563.47/1564.03 c 1496s| 3020k| 941 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 |1605k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1568.97/1569.59 c 1502s| 3030k| 943 | 0 | 0.0 |7940k|1022 | - |1091 |1893 | 0 | 0 | 0 |1611k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1575.17/1575.71 c 1508s| 3040k| 946 | 0 | 0.0 |7932k|1022 | - |1091 |1898 | 0 | 0 | 0 |1617k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1580.36/1580.97 c 1513s| 3050k| 942 | 0 | 0.0 |7927k|1022 | - |1091 |1896 | 0 | 0 | 0 |1622k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1585.76/1586.37 c 1518s| 3060k| 937 | 0 | 0.0 |7931k|1022 | - |1091 |1899 | 0 | 0 | 0 |1627k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1591.16/1591.76 c 1523s| 3070k| 943 | 0 | 0.0 |7924k|1022 | - |1091 |1893 | 0 | 0 | 0 |1633k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1596.45/1597.03 c 1528s| 3080k| 948 | 0 | 0.0 |7931k|1022 | - |1091 |1893 | 0 | 0 | 0 |1639k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1601.75/1602.38 c 1533s| 3090k| 947 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 |1644k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1606.96/1607.52 c 1538s| 3100k| 944 | 0 | 0.0 |7928k|1022 | - |1091 |1893 | 0 | 0 | 0 |1650k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1612.16/1612.76 c 1543s| 3110k| 942 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1655k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1617.35/1617.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1617.35/1617.91 c 1548s| 3120k| 945 | 0 | 0.0 |7926k|1022 | - |1091 |1894 | 0 | 0 | 0 |1661k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1622.45/1623.00 c 1553s| 3130k| 941 | 0 | 0.0 |7925k|1022 | - |1091 |1895 | 0 | 0 | 0 |1666k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1627.36/1627.98 c 1558s| 3140k| 942 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 |1672k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1632.64/1633.22 c 1563s| 3150k| 939 | 0 | 0.0 |7933k|1022 | - |1091 |1899 | 0 | 0 | 0 |1677k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1638.05/1638.60 c 1568s| 3160k| 935 | 0 | 0.0 |7924k|1022 | - |1091 |1895 | 0 | 0 | 0 |1682k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1643.24/1643.87 c 1573s| 3170k| 943 | 0 | 0.0 |7939k|1022 | - |1091 |1892 | 0 | 0 | 0 |1688k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1648.54/1649.13 c 1578s| 3180k| 946 | 0 | 0.0 |7930k|1022 | - |1091 |1893 | 0 | 0 | 0 |1693k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1653.74/1654.34 c 1583s| 3190k| 943 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 |1699k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1658.64/1659.26 c 1588s| 3200k| 942 | 0 | 0.0 |7930k|1022 | - |1091 |1893 | 0 | 0 | 0 |1704k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1663.74/1664.34 c 1592s| 3210k| 939 | 0 | 0.0 |7951k|1022 | - |1091 |1893 | 0 | 0 | 0 |1709k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1668.93/1669.57 c 1597s| 3220k| 944 | 0 | 0.0 |7928k|1022 | - |1091 |1896 | 0 | 0 | 0 |1714k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1674.03/1674.63 c 1602s| 3230k| 941 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 |1720k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1679.14/1679.72 c 1607s| 3240k| 939 | 0 | 0.0 |7930k|1022 | - |1091 |1894 | 0 | 0 | 0 |1725k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1683.73/1684.39 c 1612s| 3250k| 944 | 0 | 0.0 |7926k|1022 | - |1091 |1893 | 0 | 0 | 0 |1730k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1689.12/1689.78 c 1617s| 3260k| 941 | 0 | 0.0 |7930k|1022 | - |1091 |1893 | 0 | 0 | 0 |1736k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1694.44/1695.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1694.44/1695.04 c 1622s| 3270k| 946 | 0 | 0.0 |7924k|1022 | - |1091 |1892 | 0 | 0 | 0 |1741k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1699.32/1699.92 c 1626s| 3280k| 944 | 0 | 0.0 |7927k|1022 | - |1091 |1892 | 0 | 0 | 0 |1746k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1704.92/1705.55 c 1632s| 3290k| 940 | 0 | 0.0 |7926k|1022 | - |1091 |1894 | 0 | 0 | 0 |1752k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1710.22/1710.83 c 1637s| 3300k| 942 | 0 | 0.0 |7925k|1022 | - |1091 |1893 | 0 | 0 | 0 |1757k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1715.71/1716.33 c 1642s| 3310k| 942 | 0 | 0.0 |7923k|1022 | - |1091 |1892 | 0 | 0 | 0 |1763k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1720.71/1721.35 c 1647s| 3320k| 941 | 0 | 0.0 |7929k|1022 | - |1091 |1895 | 0 | 0 | 0 |1768k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1725.91/1726.53 c 1652s| 3330k| 940 | 0 | 0.0 |7929k|1022 | - |1091 |1892 | 0 | 0 | 0 |1773k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1731.01/1731.66 c 1657s| 3340k| 941 | 0 | 0.0 |7929k|1022 | - |1091 |1893 | 0 | 0 | 0 |1779k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1736.01/1736.63 c 1662s| 3350k| 938 | 0 | 0.0 |7922k|1022 | - |1091 |1892 | 0 | 0 | 0 |1784k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1741.50/1742.15 c 1667s| 3360k| 938 | 0 | 0.0 |7925k|1022 | - |1091 |1893 | 0 | 0 | 0 |1790k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1746.91/1747.56 c 1672s| 3370k| 934 | 0 | 0.0 |7928k|1022 | - |1091 |1894 | 0 | 0 | 0 |1795k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1751.80/1752.47 c 1677s| 3380k| 942 | 0 | 0.0 |7941k|1022 | - |1091 |1895 | 0 | 0 | 0 |1800k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1757.01/1757.63 c 1682s| 3390k| 942 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 |1805k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1762.50/1763.18 c 1687s| 3400k| 943 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 |1810k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1767.90/1768.50 c 1692s| 3410k| 943 | 0 | 0.0 |7930k|1022 | - |1091 |1893 | 0 | 0 | 0 |1815k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1773.00/1773.68 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1773.00/1773.68 c 1697s| 3420k| 940 | 0 | 0.0 |7925k|1022 | - |1091 |1894 | 0 | 0 | 0 |1820k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1778.79/1779.47 c 1703s| 3430k| 942 | 0 | 0.0 |7931k|1022 | - |1091 |1893 | 0 | 0 | 0 |1826k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1784.50/1785.12 c 1708s| 3440k| 936 | 0 | 0.0 |7923k|1022 | - |1091 |1893 | 0 | 0 | 0 |1831k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1789.79/1790.48 c 1713s| 3450k| 945 | 0 | 0.0 |7927k|1022 | - |1091 |1893 | 0 | 0 | 0 |1837k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1795.09/1795.71 c 1718s| 3460k| 945 | 0 | 0.0 |7927k|1022 | - |1091 |1895 | 0 | 0 | 0 |1842k| 0 | 1.300000e+01 | 5.300000e+01 | 307.69%
1800.01/1800.61 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.01/1800.61 c
1800.01/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.61 c Solving Time (sec) : 1723.00
1800.01/1800.61 c Solving Nodes : 3469069
1800.01/1800.61 c Primal Bound : +5.30000000000000e+01 (4 solutions)
1800.01/1800.61 c Dual Bound : +1.30000000000000e+01
1800.01/1800.61 c Gap : 307.69 %
1800.01/1800.62 s SATISFIABLE
1800.01/1800.62 v -x1108 x1107 x1106 -x1105 -x1104 x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090
1800.01/1800.62 v -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072
1800.01/1800.62 v -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054
1800.01/1800.62 v -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036
1800.01/1800.62 v -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1800.01/1800.62 v -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000
1800.01/1800.62 v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
1800.01/1800.62 v -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
1800.01/1800.62 v x958 x957 x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1800.01/1800.62 v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1800.01/1800.62 v -x915 x914 -x913 x912 -x911 x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 x899 -x898 -x897 -x896 -x895
1800.01/1800.62 v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1800.01/1800.62 v -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1800.01/1800.62 v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1800.01/1800.62 v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1800.01/1800.62 v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791
1800.01/1800.62 v -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
1800.01/1800.62 v -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
1800.01/1800.62 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
1800.01/1800.62 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707
1800.01/1800.62 v -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686
1800.01/1800.62 v -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665
1800.01/1800.62 v -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645
1800.01/1800.62 v -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624
1800.01/1800.62 v -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603
1800.01/1800.62 v -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 x588 -x587 -x586 -x585 -x584 -x583 -x582
1800.01/1800.62 v -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561
1800.01/1800.62 v -x560 -x559 -x558 -x557 -x556 x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540
1800.01/1800.62 v -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519
1800.01/1800.62 v -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498
1800.01/1800.62 v -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477
1800.01/1800.62 v -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456
1800.01/1800.62 v -x455 -x454 x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435
1800.01/1800.62 v -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 x417 -x416 -x415 -x414
1800.01/1800.62 v -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393
1800.01/1800.62 v -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372
1800.01/1800.62 v -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352
1800.01/1800.62 v -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331
1800.01/1800.62 v -x330 -x329 -x328 -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310
1800.01/1800.62 v -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 x289
1800.01/1800.62 v -x288 -x287 -x286 -x285 x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 x270 -x269 x268 -x267
1800.01/1800.62 v -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247
1800.01/1800.62 v -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226
1800.01/1800.62 v -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205
1800.01/1800.62 v -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184
1800.01/1800.62 v -x183 -x182 -x181 -x180 -x179 x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163
1800.01/1800.62 v -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142
1800.01/1800.62 v -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121
1800.01/1800.62 v x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100
1800.01/1800.62 v -x99 -x98 -x97 -x96 x95 x94 -x93 x92 x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74
1800.01/1800.62 v -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 x62 x61 -x60 -x59 x58 -x57 x56 x55 -x54 x53 x52 -x51 -x50 x49 x48 x47
1800.01/1800.62 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 x39 -x38 x37 -x36 x35 x34 -x33 x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21
1800.01/1800.62 v -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1800.01/1800.62 c SCIP Status : solving was interrupted [user interrupt]
1800.01/1800.62 c Solving Time : 1723.00
1800.01/1800.62 c Original Problem :
1800.01/1800.62 c Problem name : HOME/instance-2664070-1276596276.opb
1800.01/1800.62 c Variables : 1108 (1108 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.62 c Constraints : 2313 initial, 2313 maximal
1800.01/1800.62 c Presolved Problem :
1800.01/1800.62 c Problem name : t_HOME/instance-2664070-1276596276.opb
1800.01/1800.62 c Variables : 1091 (1091 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.01/1800.62 c Constraints : 1890 initial, 2451 maximal
1800.01/1800.62 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.01/1800.62 c trivial : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c dualfix : 0.00 5 0 0 0 0 0 0 0
1800.01/1800.62 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c implics : 0.00 0 0 0 0 0 0 0 0
1800.01/1800.62 c probing : 0.01 0 0 0 0 0 0 0 0
1800.01/1800.62 c linear : 0.09 8 4 0 8 0 255 6 0
1800.01/1800.62 c logicor : 0.33 0 0 0 0 0 168 0 0
1800.01/1800.62 c root node : - 0 - - 0 - - - -
1800.01/1800.62 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.01/1800.62 c integral : 0 0 0 0 0 0 0 0 0 0
1800.01/1800.62 c logicor : 1890+ 0 5783673 0 1 465873 4835289 0 0 0
1800.01/1800.62 c countsols : 0 0 0 0 1 0 0 0 0 0
1800.01/1800.62 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.01/1800.62 c integral : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.62 c logicor : 257.88 0.00 257.88 0.00 0.00
1800.01/1800.62 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.01/1800.62 c Propagators : Time Calls Cutoffs DomReds
1800.01/1800.62 c vbounds : 5.67 2 0 0
1800.01/1800.62 c rootredcost : 5.50 0 0 0
1800.01/1800.62 c pseudoobj : 1150.05 11773044 1366354 47776204
1800.01/1800.62 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.01/1800.62 c propagation : 785.76 1812635 1812635 1812635 217.0 13404 210.4 -
1800.01/1800.62 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.01/1800.62 c pseudo solution : 13.34 28750 28750 28750 199.1 1101 178.8 -
1800.01/1800.62 c applied globally : - - - 418939 70.3 - - -
1800.01/1800.62 c applied locally : - - - 1428273 259.2 - - -
1800.01/1800.62 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.01/1800.62 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1800.01/1800.62 c redcost : 0.00 0 0 0 0 0
1800.01/1800.62 c impliedbounds : 0.00 0 0 0 0 0
1800.01/1800.62 c intobj : 0.00 0 0 0 0 0
1800.01/1800.62 c cgmip : 0.00 0 0 0 0 0
1800.01/1800.62 c gomory : 0.00 0 0 0 0 0
1800.01/1800.62 c strongcg : 0.00 0 0 0 0 0
1800.01/1800.62 c cmir : 0.00 0 0 0 0 0
1800.01/1800.62 c flowcover : 0.00 0 0 0 0 0
1800.01/1800.62 c clique : 0.00 0 0 0 0 0
1800.01/1800.62 c zerohalf : 0.00 0 0 0 0 0
1800.01/1800.62 c mcf : 0.00 0 0 0 0 0
1800.01/1800.62 c rapidlearning : 0.00 0 0 0 0 0
1800.01/1800.62 c Pricers : Time Calls Vars
1800.01/1800.62 c problem variables: 0.00 0 0
1800.01/1800.62 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.01/1800.62 c relpscost : 0.00 0 0 0 0 0 0
1800.01/1800.62 c pscost : 0.00 0 0 0 0 0 0
1800.01/1800.62 c inference : 44.37 2519179 0 0 0 0 5038358
1800.01/1800.62 c mostinf : 0.00 0 0 0 0 0 0
1800.01/1800.62 c leastinf : 0.00 0 0 0 0 0 0
1800.01/1800.62 c fullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.62 c allfullstrong : 0.00 0 0 0 0 0 0
1800.01/1800.62 c random : 0.00 0 0 0 0 0 0
1800.01/1800.62 c Primal Heuristics : Time Calls Found
1800.01/1800.62 c LP solutions : 0.00 - 0
1800.01/1800.62 c pseudo solutions : 0.00 - 1
1800.01/1800.62 c oneopt : 2.51 0 0
1800.01/1800.62 c trivial : 0.02 2 3
1800.01/1800.62 c simplerounding : 0.00 0 0
1800.01/1800.62 c zirounding : 0.00 0 0
1800.01/1800.62 c rounding : 0.00 0 0
1800.01/1800.62 c shifting : 0.00 0 0
1800.01/1800.62 c intshifting : 0.00 0 0
1800.01/1800.62 c twoopt : 0.00 0 0
1800.01/1800.62 c fixandinfer : 0.00 0 0
1800.01/1800.62 c feaspump : 0.00 0 0
1800.01/1800.62 c coefdiving : 0.00 0 0
1800.01/1800.62 c pscostdiving : 0.00 0 0
1800.01/1800.62 c fracdiving : 0.00 0 0
1800.01/1800.62 c veclendiving : 0.00 0 0
1800.01/1800.62 c intdiving : 0.00 0 0
1800.01/1800.62 c actconsdiving : 0.00 0 0
1800.01/1800.62 c objpscostdiving : 0.00 0 0
1800.01/1800.62 c rootsoldiving : 0.00 0 0
1800.01/1800.62 c linesearchdiving : 0.00 0 0
1800.01/1800.62 c guideddiving : 0.00 0 0
1800.01/1800.62 c octane : 0.00 0 0
1800.01/1800.62 c rens : 0.00 0 0
1800.01/1800.62 c rins : 0.00 0 0
1800.01/1800.62 c localbranching : 0.00 0 0
1800.01/1800.62 c mutation : 0.00 0 0
1800.01/1800.62 c crossover : 0.00 0 0
1800.01/1800.62 c dins : 0.00 0 0
1800.01/1800.62 c undercover : 0.00 0 0
1800.01/1800.62 c nlp : 1.42 0 0
1800.01/1800.62 c trysol : 1.42 0 0
1800.01/1800.62 c LP : Time Calls Iterations Iter/call Iter/sec
1800.01/1800.62 c primal LP : 0.00 0 0 0.00 -
1800.01/1800.62 c dual LP : 0.00 0 0 0.00 -
1800.01/1800.62 c lex dual LP : 0.00 0 0 0.00 -
1800.01/1800.62 c barrier LP : 0.00 0 0 0.00 -
1800.01/1800.62 c diving/probing LP: 0.00 0 0 0.00 -
1800.01/1800.62 c strong branching : 0.00 0 0 0.00 -
1800.01/1800.62 c (at root node) : - 0 0 0.00 -
1800.01/1800.62 c conflict analysis: 0.00 0 0 0.00 -
1800.01/1800.62 c B&B Tree :
1800.01/1800.62 c number of runs : 1
1800.01/1800.62 c nodes : 3469069
1800.01/1800.62 c nodes (total) : 3469069
1800.01/1800.62 c nodes left : 942
1800.01/1800.62 c max depth : 1022
1800.01/1800.62 c max depth (total): 1022
1800.01/1800.62 c backtracks : 1082090 (31.2%)
1800.01/1800.62 c delayed cutoffs : 1053757
1800.01/1800.62 c repropagations : 2499914 (16733444 domain reductions, 911088 cutoffs)
1800.01/1800.62 c avg switch length: 2.57
1800.01/1800.62 c switching time : 84.21
1800.01/1800.62 c Solution :
1800.01/1800.62 c Solutions found : 4 (4 improvements)
1800.01/1800.62 c First Solution : +1.10800000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.01/1800.62 c Primal Bound : +5.30000000000000e+01 (in run 1, after 1023 nodes, 0.67 seconds, depth 1022, found by <relaxation>)
1800.01/1800.62 c Dual Bound : +1.30000000000000e+01
1800.01/1800.62 c Gap : 307.69 %
1800.01/1800.62 c Root Dual Bound : +1.20000000000000e+01
1800.01/1800.62 c Root Iterations : 0
1800.01/1800.65 c Time complete: 1800.04.
OK 53
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2664070-1276596276/watcher-2664070-1276596276 -o /tmp/evaluation-result-2664070-1276596276/solver-2664070-1276596276 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664070-1276596276.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/106 5866 /proc/meminfo: memFree=1820388/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=6584 CPUtime=0 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 1010 0 0 0 0 0 0 0 15 0 1 0 35229146 6742016 932 1992294400 4194304 7136930 140736006977424 18446744073709551615 6346613 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5866/statm: 1646 942 254 719 0 925 0 [startup+0.0347399 s] /proc/loadavg: 0.85 0.97 0.99 3/106 5866 /proc/meminfo: memFree=1820388/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=9548 CPUtime=0.02 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 1876 0 0 0 2 0 0 0 18 0 1 0 35229146 9777152 1799 1992294400 4194304 7136930 140736006977424 18446744073709551615 6164672 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5866/statm: 2387 1799 271 719 0 1666 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 9548 [startup+0.10075 s] /proc/loadavg: 0.85 0.97 0.99 3/106 5866 /proc/meminfo: memFree=1820388/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=10776 CPUtime=0.09 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 2180 0 0 0 9 0 0 0 18 0 1 0 35229146 11034624 2102 1992294400 4194304 7136930 140736006977424 18446744073709551615 5650597 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5866/statm: 2694 2102 271 719 0 1973 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10776 [startup+0.300786 s] /proc/loadavg: 0.85 0.97 0.99 3/106 5866 /proc/meminfo: memFree=1820388/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=24700 CPUtime=0.29 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 6358 0 0 0 27 2 0 0 18 0 1 0 35229146 25292800 5412 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 6175 5414 354 719 0 5454 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24700 [startup+0.700858 s] /proc/loadavg: 0.85 0.97 0.99 3/106 5866 /proc/meminfo: memFree=1820388/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=28124 CPUtime=0.69 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 9791 0 0 0 63 6 0 0 18 0 1 0 35229146 28798976 6275 1992294400 4194304 7136930 140736006977424 18446744073709551615 5953094 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 7031 6275 376 719 0 6310 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28124 [startup+1.501 s] /proc/loadavg: 0.85 0.97 0.99 2/107 5867 /proc/meminfo: memFree=1795580/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=29816 CPUtime=1.49 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 10245 0 0 0 140 9 0 0 19 0 1 0 35229146 30531584 6726 1992294400 4194304 7136930 140736006977424 18446744073709551615 4660351 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 7454 6726 390 719 0 6733 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29816 [startup+3.10129 s] /proc/loadavg: 0.86 0.97 0.99 2/107 5867 /proc/meminfo: memFree=1793844/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=31012 CPUtime=3.09 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 10533 0 0 0 295 14 0 0 23 0 1 0 35229146 31756288 7014 1992294400 4194304 7136930 140736006977424 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 7753 7014 390 719 0 7032 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 31012 [startup+6.30086 s] /proc/loadavg: 0.86 0.97 0.99 2/107 5867 /proc/meminfo: memFree=1792480/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=32076 CPUtime=6.29 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 10825 0 0 0 601 28 0 0 25 0 1 0 35229146 32845824 7306 1992294400 4194304 7136930 140736006977424 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 8019 7306 390 719 0 7298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32076 [startup+12.701 s] /proc/loadavg: 0.87 0.97 0.99 2/107 5867 /proc/meminfo: memFree=1790876/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=33428 CPUtime=12.69 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 11148 0 0 0 1215 54 0 0 25 0 1 0 35229146 34230272 7629 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 8357 7629 390 719 0 7636 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33428 [startup+25.5003 s] /proc/loadavg: 0.90 0.97 0.99 2/107 5869 /proc/meminfo: memFree=1789140/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=34960 CPUtime=25.48 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 11543 0 0 0 2446 102 0 0 25 0 1 0 35229146 35799040 8024 1992294400 4194304 7136930 140736006977424 18446744073709551615 5924559 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 8740 8024 390 719 0 8019 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34960 [startup+51.1009 s] /proc/loadavg: 0.93 0.97 0.99 2/107 5869 /proc/meminfo: memFree=1786784/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=37428 CPUtime=51.08 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12128 0 0 0 4900 208 0 0 25 0 1 0 35229146 38326272 8609 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 9357 8609 390 719 0 8636 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 37428 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 5871 /proc/meminfo: memFree=1785296/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=38956 CPUtime=102.26 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12500 0 0 0 9801 425 0 0 25 0 1 0 35229146 39890944 8981 1992294400 4194304 7136930 140736006977424 18446744073709551615 5905997 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 9739 8981 390 719 0 9018 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 38956 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5871 /proc/meminfo: memFree=1784800/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=39232 CPUtime=162.24 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12589 0 0 0 15547 677 0 0 25 0 1 0 35229146 40173568 9070 1992294400 4194304 7136930 140736006977424 18446744073709551615 5507878 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 9808 9070 390 719 0 9087 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 39232 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5873 /proc/meminfo: memFree=1784304/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=39792 CPUtime=222.22 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12703 0 0 0 21298 924 0 0 25 0 1 0 35229146 40747008 9184 1992294400 4194304 7136930 140736006977424 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 9948 9184 390 719 0 9227 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39792 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5875 /proc/meminfo: memFree=1784056/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=39932 CPUtime=282.19 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12757 0 0 0 27050 1169 0 0 25 0 1 0 35229146 40890368 9238 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 9983 9238 390 719 0 9262 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 39932 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5877 /proc/meminfo: memFree=1783808/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=40080 CPUtime=342.18 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12784 0 0 0 32808 1410 0 0 25 0 1 0 35229146 41041920 9265 1992294400 4194304 7136930 140736006977424 18446744073709551615 5507737 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 10020 9265 390 719 0 9299 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 40080 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5879 /proc/meminfo: memFree=1783312/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=40508 CPUtime=402.16 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 12874 0 0 0 38563 1653 0 0 25 0 1 0 35229146 41480192 9355 1992294400 4194304 7136930 140736006977424 18446744073709551615 4677433 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 10127 9355 390 719 0 9406 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 40508 [startup+462.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5879 /proc/meminfo: memFree=1782692/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=41064 CPUtime=462.14 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13022 0 0 0 44308 1906 0 0 25 0 1 0 35229146 42049536 9503 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 10266 9503 390 719 0 9545 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 41064 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 5881 /proc/meminfo: memFree=1782196/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=41348 CPUtime=522.12 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13099 0 0 0 50044 2168 0 0 25 0 1 0 35229146 42340352 9580 1992294400 4194304 7136930 140736006977424 18446744073709551615 4660050 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 10337 9580 390 719 0 9616 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 41348 [startup+582.301 s] /proc/loadavg: 1.06 0.99 0.99 2/107 5886 /proc/meminfo: memFree=1780584/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=42192 CPUtime=582.1 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13315 0 0 0 55773 2437 0 0 25 0 1 0 35229146 43204608 9796 1992294400 4194304 7136930 140736006977424 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 10548 9796 390 719 0 9827 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 42192 [startup+642.302 s] /proc/loadavg: 1.02 0.99 0.99 2/107 5888 /proc/meminfo: memFree=1780460/2059040 swapFree=4136716/4192956 [pid=5866] ppid=5864 vsize=42340 CPUtime=642.09 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13332 0 0 0 61504 2705 0 0 25 0 1 0 35229146 43356160 9813 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 10585 9813 390 719 0 9864 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 42340 [startup+702.301 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5899 /proc/meminfo: memFree=1776356/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44108 CPUtime=822.01 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13778 0 0 0 78700 3501 0 0 25 0 1 0 35229146 45166592 10259 1992294400 4194304 7136930 140736006977424 18446744073709551615 4704051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11027 10259 390 719 0 10306 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 44108 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5901 /proc/meminfo: memFree=1775984/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44384 CPUtime=882 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13855 0 0 0 84443 3757 0 0 25 0 1 0 35229146 45449216 10336 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11096 10336 390 719 0 10375 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 44384 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5903 /proc/meminfo: memFree=1775984/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44384 CPUtime=941.98 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13865 0 0 0 90203 3995 0 0 25 0 1 0 35229146 45449216 10346 1992294400 4194304 7136930 140736006977424 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11096 10346 390 719 0 10375 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 44384 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5905 /proc/meminfo: memFree=1775860/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44528 CPUtime=1001.95 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13881 0 0 0 95955 4240 0 0 25 0 1 0 35229146 45596672 10362 1992294400 4194304 7136930 140736006977424 18446744073709551615 4240461 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11132 10362 390 719 0 10411 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 44528 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5905 /proc/meminfo: memFree=1775860/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44664 CPUtime=1061.93 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13913 0 0 0 101692 4501 0 0 25 0 1 0 35229146 45735936 10394 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11166 10394 390 719 0 10445 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 44664 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5907 /proc/meminfo: memFree=1775736/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44808 CPUtime=1121.91 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13939 0 0 0 107424 4767 0 0 25 0 1 0 35229146 45883392 10420 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11202 10420 390 719 0 10481 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 44808 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5909 /proc/meminfo: memFree=1775612/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=44808 CPUtime=1181.9 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 13960 0 0 0 113167 5023 0 0 25 0 1 0 35229146 45883392 10441 1992294400 4194304 7136930 140736006977424 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11202 10441 390 719 0 10481 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 44808 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5911 /proc/meminfo: memFree=1774992/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=45224 CPUtime=1241.88 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14048 0 0 0 118883 5305 0 0 25 0 1 0 35229146 46309376 10529 1992294400 4194304 7136930 140736006977424 18446744073709551615 5506109 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11306 10529 390 719 0 10585 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 45224 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5913 /proc/meminfo: memFree=1774620/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=45376 CPUtime=1301.86 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14098 0 0 0 124618 5568 0 0 25 0 1 0 35229146 46465024 10579 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11344 10579 390 719 0 10623 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 45376 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5913 /proc/meminfo: memFree=1774496/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=45512 CPUtime=1361.83 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14122 0 0 0 130348 5835 0 0 25 0 1 0 35229146 46604288 10603 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11378 10603 390 719 0 10657 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 45512 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5915 /proc/meminfo: memFree=1774124/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=45800 CPUtime=1421.82 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14199 0 0 0 136081 6101 0 0 25 0 1 0 35229146 46899200 10680 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11450 10680 390 719 0 10729 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 45800 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5917 /proc/meminfo: memFree=1773876/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46084 CPUtime=1481.8 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14260 0 0 0 141814 6366 0 0 25 0 1 0 35229146 47190016 10741 1992294400 4194304 7136930 140736006977424 18446744073709551615 4240470 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11521 10741 390 719 0 10800 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 46084 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5919 /proc/meminfo: memFree=1773628/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46216 CPUtime=1541.78 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14312 0 0 0 147569 6609 0 0 25 0 1 0 35229146 47325184 10793 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11554 10793 390 719 0 10833 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 46216 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5921 /proc/meminfo: memFree=1773380/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46216 CPUtime=1601.75 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14312 0 0 0 153323 6852 0 0 25 0 1 0 35229146 47325184 10793 1992294400 4194304 7136930 140736006977424 18446744073709551615 4349973 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11554 10793 390 719 0 10833 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 46216 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5921 /proc/meminfo: memFree=1773256/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46368 CPUtime=1661.73 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14331 0 0 0 159059 7114 0 0 25 0 1 0 35229146 47480832 10812 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11592 10812 390 719 0 10871 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 46368 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5923 /proc/meminfo: memFree=1772884/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46500 CPUtime=1721.72 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14376 0 0 0 164800 7372 0 0 25 0 1 0 35229146 47616000 10857 1992294400 4194304 7136930 140736006977424 18446744073709551615 5917612 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11625 10857 390 719 0 10904 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 46500 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5925 /proc/meminfo: memFree=1772512/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46500 CPUtime=1781.7 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14396 0 0 0 170553 7617 0 0 25 0 1 0 35229146 47616000 10877 1992294400 4194304 7136930 140736006977424 18446744073709551615 5905979 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11625 10877 390 719 0 10904 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 46500 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/107 5925 /proc/meminfo: memFree=1772512/2059040 swapFree=4136752/4192956 [pid=5866] ppid=5864 vsize=46500 CPUtime=1800.01 /proc/5866/stat : 5866 (pbscip.linux.x8) R 5864 5866 5841 0 -1 4202496 14398 0 0 0 172315 7686 0 0 25 0 1 0 35229146 47616000 10879 1992294400 4194304 7136930 140736006977424 18446744073709551615 6354266 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5866/statm: 11625 10879 390 719 0 10904 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 46500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.05 CPU user time (s): 1723.18 CPU system time (s): 76.8713 CPU usage (%): 99.9666 Max. virtual memory (cumulated for all children) (KiB): 46500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1723.18 system time used= 76.8713 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14448 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 5056 runsolver used 2.95655 second user time and 8.5627 second system time The end
Begin job on node012 at 2010-06-15 12:04:36 IDJOB=2664070 IDBENCH=2883 IDSOLVER=1167 FILE ID=node012/2664070-1276596276 PBS_JOBID= 11172233 Free space on /tmp= 62588 MiB SOLVER NAME= SCIPnone SCIP 1.2.1.2 without any LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb 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-2664070-1276596276/watcher-2664070-1276596276 -o /tmp/evaluation-result-2664070-1276596276/solver-2664070-1276596276 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.none -f HOME/instance-2664070-1276596276.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED=1702718575 node012.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1820792 kB Buffers: 50656 kB Cached: 107192 kB SwapCached: 9420 kB Active: 103392 kB Inactive: 67368 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820792 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 3856 kB Writeback: 4 kB AnonPages: 11336 kB Mapped: 9332 kB Slab: 45508 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181620 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62584 MiB End job on node012 at 2010-06-15 12:34:39