Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver | SAT (TO) | 78 | 1800.1 | 1800.66 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-C499.a.opb |
| MD5SUM | a983c7d791d0da9cc5e2ec69578db721 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 8.99663 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 64 |
| Optimality of the best value was proved | NO |
| Number of variables | 1226 |
| Total number of constraints | 4208 |
| Number of constraints which are clauses | 4208 |
| 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 | 2 |
| Maximum length of a constraint | 105 |
| Number of terms in the objective function | 1226 |
| 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 | 1226 |
| 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 | 1226 |
| 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.01 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2] [Expressions interpreter: NONE]
0.00/0.01 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-2667072-1276596456.opb>
0.09/0.13 c original problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4208 constraints
0.09/0.13 c problem read
0.09/0.13 c presolving settings loaded
0.09/0.17 o 1226
0.09/0.17 o 949
0.09/0.17 c feasible solution found by trivial heuristic, objective value 9.490000e+02
0.09/0.17 c presolving:
0.19/0.29 c (round 1) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4110 upgd conss, 1822 impls, 0 clqs
0.29/0.31 c (round 2) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4142 upgd conss, 1822 impls, 0 clqs
0.29/0.33 c (round 3) 0 del vars, 34 del conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 4174 upgd conss, 1822 impls, 0 clqs
0.29/0.37 c (0.2s) probing: 101/1226 (8.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.29/0.37 c (0.2s) probing aborted: 100/100 successive totally useless probings
0.29/0.37 c presolving (4 rounds):
0.29/0.37 c 0 deleted vars, 34 deleted constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.29/0.37 c 1822 implications, 0 cliques
0.29/0.37 c presolved problem has 1226 variables (1226 bin, 0 int, 0 impl, 0 cont) and 4174 constraints
0.29/0.37 c 4174 constraints of type <logicor>
0.29/0.37 c transformed objective value is always integral (scale: 1)
0.29/0.37 c Presolving Time: 0.18
0.29/0.37 c - non default parameters ----------------------------------------------------------------------
0.29/0.37 c # SCIP version 1.2.1.2
0.29/0.37 c
0.29/0.37 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.29/0.37 c # [type: int, range: [-1,2147483647], default: -1]
0.29/0.37 c conflict/interconss = 0
0.29/0.37 c
0.29/0.37 c # should binary conflicts be preferred?
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c conflict/preferbinary = TRUE
0.29/0.37 c
0.29/0.37 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.29/0.37 c # [type: int, range: [-1,2147483647], default: 0]
0.29/0.37 c constraints/agelimit = 1
0.29/0.37 c
0.29/0.37 c # should enforcement of pseudo solution be disabled?
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/disableenfops = TRUE
0.29/0.37 c
0.29/0.37 c # frequency for displaying node information lines
0.29/0.37 c # [type: int, range: [-1,2147483647], default: 100]
0.29/0.37 c display/freq = 10000
0.29/0.37 c
0.29/0.37 c # maximal time in seconds to run
0.29/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.37 c limits/time = 1799.88
0.29/0.37 c
0.29/0.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.37 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.29/0.37 c limits/memory = 1620
0.29/0.37 c
0.29/0.37 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.29/0.37 c # [type: int, range: [-1,2147483647], default: 1]
0.29/0.37 c lp/solvefreq = 0
0.29/0.37 c
0.29/0.37 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.29/0.37 c # [type: char, range: {lafpsqd}, default: l]
0.29/0.37 c lp/pricing = a
0.29/0.37 c
0.29/0.37 c # should presolving try to simplify inequalities
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/linear/simplifyinequalities = TRUE
0.29/0.37 c
0.29/0.37 c # should presolving try to simplify knapsacks
0.29/0.37 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.29/0.37 c constraints/knapsack/simplifyinequalities = TRUE
0.29/0.37 c
0.29/0.37 c # priority of node selection rule <dfs> in standard mode
0.29/0.37 c # [type: int, range: [-536870912,536870911], default: 0]
0.29/0.37 c nodeselection/dfs/stdpriority = 1000000
0.29/0.37 c
0.29/0.37 c -----------------------------------------------------------------------------------------------
0.29/0.37 c start solving
0.29/0.37 c
0.29/0.37 o 833
0.29/0.37 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.37 c t 0.2s| 1 | 0 | 0 | - |7116k| 0 | - |1226 |4174 | 0 | 0 | 0 | 0 | 0 | -- | 8.330000e+02 | Inf
0.39/0.42 o 129
0.39/0.42 c b 0.2s| 1 | 0 | 0 | - | 10M| 0 | - |1226 |4174 |1226 |4174 | 0 | 0 | 0 | -- | 1.290000e+02 | Inf
1.09/1.15 c 1.0s| 1 | 0 | 1649 | - | 10M| 0 | 293 |1226 |4174 |1226 |4174 | 0 | 0 | 0 | 5.808062e+01 | 1.290000e+02 | 122.11%
1.09/1.16 o 124
1.09/1.16 c b 1.0s| 1 | 0 | 1649 | - | 10M| 0 | 293 |1226 |4174 |1226 |4174 | 0 | 0 | 0 | 5.808062e+01 | 1.240000e+02 | 113.50%
1.79/1.82 c 1.6s| 1 | 0 | 1939 | - | 12M| 0 | 289 |1226 |4174 |1226 |4178 | 4 | 0 | 0 | 5.884804e+01 | 1.240000e+02 | 110.71%
2.99/3.02 c 2.8s| 1 | 0 | 2535 | - | 13M| 0 | 275 |1226 |4174 |1226 |4183 | 9 | 0 | 0 | 5.938266e+01 | 1.240000e+02 | 108.82%
3.89/3.90 c 3.7s| 1 | 0 | 3025 | - | 14M| 0 | 297 |1226 |4174 |1226 |4192 | 18 | 0 | 0 | 6.013716e+01 | 1.240000e+02 | 106.20%
4.99/5.09 c 4.8s| 1 | 0 | 3572 | - | 15M| 0 | 322 |1226 |4174 |1226 |4200 | 26 | 0 | 0 | 6.035409e+01 | 1.240000e+02 | 105.45%
8.89/8.92 c 8.6s| 1 | 0 | 4013 | - | 15M| 0 | 314 |1226 |4174 |1226 |4203 | 29 | 0 | 0 | 6.044667e+01 | 1.240000e+02 | 105.14%
12.68/12.74 c 12.4s| 1 | 0 | 4236 | - | 16M| 0 | 304 |1226 |4174 |1226 |4204 | 30 | 0 | 0 | 6.047011e+01 | 1.240000e+02 | 105.06%
20.58/20.67 o 78
20.58/20.67 c E20.1s| 1 | 0 | 4236 | - | 16M| 0 | 304 |1226 |4174 |1226 |4204 | 30 | 0 | 0 | 6.047011e+01 | 7.800000e+01 | 28.99%
20.58/20.68 c 20.2s| 1 | 0 | 4236 | - | 16M| 0 | 304 |1226 |4174 |1226 |4204 | 30 | 0 | 0 | 6.047011e+01 | 7.800000e+01 | 28.99%
33.58/33.66 c 33.0s| 1 | 2 | 4236 | - | 16M| 0 | 304 |1226 |4174 |1226 |4204 | 30 | 0 | 23 | 6.047011e+01 | 7.800000e+01 | 28.99%
40.08/40.11 c 39.2s| 10000 | 323 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |5459 | 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
46.47/46.59 c 45.5s| 20000 | 319 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 11k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
53.17/53.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
53.17/53.26 c 52.0s| 30000 | 317 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 16k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
60.18/60.28 c 58.8s| 40000 | 319 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 22k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
67.28/67.39 c 65.7s| 50000 | 319 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 28k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
74.26/74.36 c 72.4s| 60000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 34k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
81.47/81.51 c 79.4s| 70000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 40k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
88.66/88.79 c 86.4s| 80000 | 318 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 46k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
95.77/95.82 c 93.2s| 90000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 52k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
103.15/103.23 c 100s|100000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 58k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
110.46/110.60 c 108s|110000 | 317 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 64k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
117.45/117.57 c 114s|120000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 70k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
124.45/124.58 c 121s|130000 | 319 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 76k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
131.75/131.83 c 128s|140000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 82k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
139.05/139.19 c 135s|150000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 88k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
146.25/146.39 c 142s|160000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 94k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
153.45/153.50 c 149s|170000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 100k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
160.74/160.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
160.74/160.86 c 156s|180000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 106k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
168.04/168.11 c 163s|190000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 112k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
175.14/175.28 c 170s|200000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 118k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
182.83/182.91 c 178s|210000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 124k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
190.34/190.42 c 185s|220000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 130k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
197.83/197.90 c 192s|230000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 137k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
204.83/204.92 c 199s|240000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 143k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
211.83/211.98 c 206s|250000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 149k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
219.32/219.41 c 213s|260000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 155k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
226.42/226.57 c 220s|270000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 161k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
233.42/233.57 c 227s|280000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 167k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
240.82/240.90 c 234s|290000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 173k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
247.42/247.54 c 240s|300000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 178k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
254.71/254.85 c 247s|310000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 185k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
261.90/262.07 c 254s|320000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 191k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
269.11/269.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
269.11/269.25 c 261s|330000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 197k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
276.31/276.44 c 268s|340000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 203k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
283.41/283.56 c 275s|350000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 209k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
290.20/290.38 c 282s|360000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 214k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
297.30/297.47 c 288s|370000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 220k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
304.60/304.73 c 296s|380000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 227k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
311.80/311.96 c 303s|390000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 233k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
319.39/319.51 c 310s|400000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 239k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
326.70/326.86 c 317s|410000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 245k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
334.09/334.21 c 324s|420000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 251k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
341.28/341.40 c 331s|430000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 257k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
348.69/348.81 c 338s|440000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 263k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
355.78/355.91 c 345s|450000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 269k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
363.18/363.30 c 352s|460000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 275k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
370.58/370.79 c 359s|470000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 281k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
377.67/377.81 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
377.67/377.81 c 366s|480000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 287k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
384.67/384.88 c 373s|490000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 293k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
391.67/391.82 c 380s|500000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 299k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
398.87/399.02 c 387s|510000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 305k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
406.07/406.27 c 394s|520000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 312k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
413.16/413.38 c 401s|530000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 318k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
420.56/420.74 c 408s|540000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 324k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
427.76/428.00 c 415s|550000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 330k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
435.25/435.48 c 422s|560000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 336k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
442.95/443.12 c 429s|570000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 343k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
450.45/450.63 c 437s|580000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 349k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
458.05/458.25 c 444s|590000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 355k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
465.74/465.90 c 452s|600000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 362k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
473.34/473.50 c 459s|610000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 368k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
480.85/481.04 c 466s|620000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 374k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
488.44/488.63 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
488.44/488.63 c 474s|630000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 380k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
496.14/496.30 c 481s|640000 | 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 387k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
503.63/503.88 c 488s|650000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 393k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
511.23/511.40 c 496s|660000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 399k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
518.73/518.90 c 503s|670000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 405k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
526.12/526.31 c 510s|680000 | 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 412k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
533.62/533.82 c 517s|690000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 418k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
540.82/541.05 c 524s|700000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 424k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
548.01/548.23 c 531s|710000 | 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 430k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
555.42/555.67 c 538s|720000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 436k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
562.41/562.65 c 545s|730000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 442k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
569.31/569.59 c 552s|740000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 448k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
576.21/576.46 c 559s|750000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 453k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
583.31/583.55 c 565s|760000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 460k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
590.51/590.74 c 572s|770000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 466k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
597.90/598.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
597.90/598.12 c 580s|780000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 472k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
605.51/605.78 c 587s|790000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 478k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
613.30/613.52 c 594s|800000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 484k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
620.69/620.91 c 602s|810000 | 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 491k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
628.00/628.27 c 609s|820000 | 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 497k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
635.49/635.71 c 616s|830000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 503k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
642.98/643.24 c 623s|840000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 510k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
650.38/650.62 c 630s|850000 | 303 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 516k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
657.58/657.81 c 637s|860000 | 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 522k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
664.58/664.88 c 644s|870000 | 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 528k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
671.77/672.04 c 651s|880000 | 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 534k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
678.67/678.98 c 658s|890000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 539k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
685.77/686.02 c 665s|900000 | 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 545k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
692.97/693.28 c 672s|910000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 551k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
700.27/700.54 c 679s|920000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 557k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
707.96/708.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
707.96/708.20 c 686s|930000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 563k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
715.66/715.92 c 694s|940000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 569k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
722.96/723.20 c 701s|950000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 575k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
730.06/730.31 c 708s|960000 | 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 581k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
737.35/737.69 c 715s|970000 | 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 587k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
744.86/745.18 c 722s|980000 | 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 594k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
752.05/752.33 c 729s|990000 | 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 600k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
759.35/759.69 c 736s| 1000k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 606k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
766.55/766.87 c 743s| 1010k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 612k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
773.94/774.27 c 750s| 1020k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 618k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
781.74/782.01 c 758s| 1030k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 624k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
789.14/789.43 c 765s| 1040k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 631k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
796.54/796.84 c 772s| 1050k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 637k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
803.84/804.19 c 779s| 1060k| 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 643k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
811.53/811.89 c 787s| 1070k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 649k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
819.13/819.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
819.13/819.40 c 794s| 1080k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 655k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
826.53/826.89 c 801s| 1090k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 661k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
833.82/834.16 c 808s| 1100k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 668k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
841.42/841.74 c 816s| 1110k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 674k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
848.92/849.21 c 823s| 1120k| 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 680k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
856.01/856.32 c 830s| 1130k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 686k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
863.32/863.62 c 837s| 1140k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 692k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
870.61/870.95 c 844s| 1150k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 698k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
877.71/878.09 c 851s| 1160k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 704k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
885.10/885.46 c 858s| 1170k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 710k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
892.40/892.73 c 865s| 1180k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 717k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
899.50/899.85 c 872s| 1190k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 723k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
906.80/907.13 c 879s| 1200k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 729k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
914.20/914.53 c 886s| 1210k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 735k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
921.40/921.77 c 893s| 1220k| 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 740k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
928.80/929.12 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
928.80/929.12 c 900s| 1230k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 746k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
935.99/936.38 c 907s| 1240k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 752k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
943.29/943.66 c 914s| 1250k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 758k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
950.78/951.15 c 922s| 1260k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 764k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
958.39/958.71 c 929s| 1270k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 770k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
965.68/966.07 c 936s| 1280k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 776k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
973.08/973.48 c 943s| 1290k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 782k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
980.58/980.99 c 951s| 1300k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 788k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
988.08/988.45 c 958s| 1310k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 794k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
995.88/996.20 c 965s| 1320k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 800k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1003.77/1004.15 c 973s| 1330k| 316 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 807k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1011.27/1011.69 c 980s| 1340k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 812k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1018.87/1019.29 c 988s| 1350k| 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 819k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1026.47/1026.87 c 995s| 1360k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 825k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1033.97/1034.39 c 1002s| 1370k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 831k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1041.47/1041.82 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1041.47/1041.82 c 1009s| 1380k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 837k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1049.06/1049.41 c 1017s| 1390k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 844k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1056.65/1057.00 c 1024s| 1400k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 850k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1064.16/1064.56 c 1031s| 1410k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 856k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1071.55/1071.99 c 1039s| 1420k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 862k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1079.35/1079.79 c 1046s| 1430k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 869k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1086.95/1087.39 c 1054s| 1440k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 875k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1094.55/1094.91 c 1061s| 1450k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 881k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1102.24/1102.64 c 1068s| 1460k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 888k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1109.94/1110.35 c 1076s| 1470k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 894k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1117.54/1117.99 c 1083s| 1480k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 900k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1125.34/1125.79 c 1091s| 1490k| 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 906k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1132.94/1133.38 c 1098s| 1500k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 912k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1140.54/1140.98 c 1105s| 1510k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 918k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1148.33/1148.72 c 1113s| 1520k| 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 925k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1155.84/1156.26 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1155.84/1156.26 c 1120s| 1530k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 931k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1163.43/1163.88 c 1128s| 1540k| 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 937k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1171.03/1171.46 c 1135s| 1550k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 943k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1178.72/1179.18 c 1142s| 1560k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 949k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1186.32/1186.78 c 1150s| 1570k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 955k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1194.02/1194.41 c 1157s| 1580k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 962k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1201.71/1202.18 c 1165s| 1590k| 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 968k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1209.31/1209.77 c 1172s| 1600k| 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 974k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1217.21/1217.60 c 1180s| 1610k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 980k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1225.01/1225.47 c 1187s| 1620k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 986k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1232.72/1233.12 c 1195s| 1630k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 992k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1240.20/1240.69 c 1202s| 1640k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 | 999k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1248.00/1248.48 c 1210s| 1650k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1005k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1255.70/1256.15 c 1217s| 1660k| 303 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1011k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1263.40/1263.83 c 1224s| 1670k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1017k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1271.09/1271.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1271.09/1271.50 c 1232s| 1680k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1024k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1278.59/1279.02 c 1239s| 1690k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1030k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1286.29/1286.73 c 1247s| 1700k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1036k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1293.79/1294.24 c 1254s| 1710k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1042k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1301.58/1302.01 c 1261s| 1720k| 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1049k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1309.19/1309.66 c 1269s| 1730k| 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1055k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1316.39/1316.85 c 1276s| 1740k| 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1061k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1323.88/1324.39 c 1283s| 1750k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1067k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1331.37/1331.88 c 1290s| 1760k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1073k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1338.78/1339.21 c 1297s| 1770k| 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1079k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1346.47/1346.92 c 1305s| 1780k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1085k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1353.87/1354.32 c 1312s| 1790k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1091k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1361.47/1361.96 c 1319s| 1800k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1097k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1369.07/1369.60 c 1327s| 1810k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1104k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1376.96/1377.45 c 1334s| 1820k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1110k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1384.26/1384.73 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1384.26/1384.73 c 1341s| 1830k| 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1116k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1391.76/1392.22 c 1349s| 1840k| 314 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1122k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1399.35/1399.85 c 1356s| 1850k| 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1128k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1406.85/1407.35 c 1363s| 1860k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1134k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1414.45/1414.94 c 1371s| 1870k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1140k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1421.96/1422.42 c 1378s| 1880k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1146k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1429.35/1429.81 c 1385s| 1890k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1152k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1436.85/1437.34 c 1392s| 1900k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1158k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1444.44/1444.94 c 1400s| 1910k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1164k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1451.94/1452.46 c 1407s| 1920k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1170k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1459.54/1460.05 c 1414s| 1930k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1177k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1467.13/1467.61 c 1422s| 1940k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1183k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1474.64/1475.16 c 1429s| 1950k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1189k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1482.03/1482.56 c 1436s| 1960k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1195k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1489.42/1489.99 c 1443s| 1970k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1201k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1497.02/1497.53 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1497.02/1497.53 c 1451s| 1980k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1207k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1504.42/1504.97 c 1458s| 1990k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1213k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1511.92/1512.47 c 1465s| 2000k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1219k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1519.51/1520.02 c 1472s| 2010k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1226k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1526.91/1527.50 c 1480s| 2020k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1232k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1534.61/1535.13 c 1487s| 2030k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1238k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1542.21/1542.74 c 1494s| 2040k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1244k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1549.81/1550.31 c 1502s| 2050k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1250k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1557.41/1557.92 c 1509s| 2060k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1257k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1564.71/1565.29 c 1516s| 2070k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1263k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1572.40/1572.92 c 1524s| 2080k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1269k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1580.00/1580.52 c 1531s| 2090k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1275k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1587.69/1588.24 c 1538s| 2100k| 303 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1281k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1595.49/1596.02 c 1546s| 2110k| 303 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1287k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1603.20/1603.75 c 1553s| 2120k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1294k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1610.69/1611.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1610.69/1611.20 c 1561s| 2130k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1300k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1618.49/1619.03 c 1568s| 2140k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1306k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1626.28/1626.80 c 1576s| 2150k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1312k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1633.98/1634.55 c 1583s| 2160k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1319k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1641.78/1642.32 c 1591s| 2170k| 308 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1325k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1649.38/1649.93 c 1598s| 2180k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1331k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1657.08/1657.62 c 1606s| 2190k| 300 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1337k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1664.68/1665.28 c 1613s| 2200k| 309 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1343k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1672.27/1672.82 c 1620s| 2210k| 303 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1350k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1680.07/1680.66 c 1628s| 2220k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1356k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1687.66/1688.25 c 1635s| 2230k| 305 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1362k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1695.26/1695.80 c 1643s| 2240k| 304 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1368k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1702.96/1703.59 c 1650s| 2250k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1375k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1710.46/1711.06 c 1658s| 2260k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1381k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1718.05/1718.62 c 1665s| 2270k| 313 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1387k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1725.36/1725.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1725.36/1725.93 c 1672s| 2280k| 315 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1393k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1732.85/1733.41 c 1679s| 2290k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1399k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1740.25/1740.87 c 1686s| 2300k| 306 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1406k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1747.75/1748.37 c 1694s| 2310k| 311 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1412k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1755.55/1756.13 c 1701s| 2320k| 312 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1418k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1763.04/1763.67 c 1708s| 2330k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1424k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1770.55/1771.18 c 1716s| 2340k| 307 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1430k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1778.25/1778.83 c 1723s| 2350k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1437k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1785.95/1786.54 c 1731s| 2360k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1443k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1793.73/1794.38 c 1738s| 2370k| 310 | 4236 | 0.0 | 17M| 350 | - |1226 |4178 | 0 | 0 | 30 |1450k| 23 | 6.066873e+01 | 7.800000e+01 | 28.57%
1800.04/1800.60 c pressed CTRL-C 1 times (5 times for forcing termination)
1800.04/1800.60 c
1800.04/1800.60 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.60 c Solving Time (sec) : 1744.15
1800.04/1800.60 c Solving Nodes : 2377951
1800.04/1800.60 c Primal Bound : +7.80000000000000e+01 (7 solutions)
1800.04/1800.60 c Dual Bound : +6.06687322804544e+01
1800.04/1800.60 c Gap : 28.57 %
1800.04/1800.61 s SATISFIABLE
1800.04/1800.61 v -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208
1800.04/1800.61 v -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190
1800.04/1800.61 v -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172
1800.04/1800.61 v -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 x1154
1800.04/1800.61 v -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136
1800.04/1800.61 v -x1135 x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 x1118
1800.04/1800.61 v -x1117 x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099
1800.04/1800.61 v x1098 -x1097 -x1096 -x1095 -x1094 -x1093 x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081
1800.04/1800.61 v -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063
1800.04/1800.61 v -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045
1800.04/1800.61 v -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027
1800.04/1800.61 v -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 x1009
1800.04/1800.61 v -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
1800.04/1800.61 v -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968
1800.04/1800.61 v -x967 -x966 -x965 -x964 -x963 x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
1800.04/1800.61 v -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 x932 -x931 -x930 x929 -x928 -x927 -x926
1800.04/1800.61 v -x925 -x924 -x923 -x922 x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
1800.04/1800.61 v -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 x888 -x887 -x886 -x885 -x884
1800.04/1800.61 v -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863
1800.04/1800.61 v -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842
1800.04/1800.61 v -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821
1800.04/1800.61 v -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800
1800.04/1800.61 v -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 x791 -x790 -x789 x788 -x787 x786 -x785 -x784 x783 -x782 -x781 -x780 -x779 -x778
1800.04/1800.61 v -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757
1800.04/1800.61 v -x756 -x755 -x754 -x753 x752 -x751 -x750 x749 -x748 x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1800.04/1800.61 v -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1800.04/1800.61 v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1800.04/1800.61 v -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1800.04/1800.61 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1800.04/1800.61 v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1800.04/1800.61 v -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 x610
1800.04/1800.61 v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589
1800.04/1800.61 v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1800.04/1800.61 v -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 x551 -x550 -x549 x548 -x547
1800.04/1800.61 v -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1800.04/1800.61 v -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506
1800.04/1800.61 v -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485
1800.04/1800.61 v -x484 -x483 -x482 x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 x465 -x464 -x463
1800.04/1800.61 v -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1800.04/1800.61 v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422
1800.04/1800.61 v -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 x404 -x403 -x402 -x401
1800.04/1800.61 v -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380
1800.04/1800.61 v x379 -x378 -x377 x376 -x375 -x374 -x373 x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1800.04/1800.61 v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337
1800.04/1800.61 v x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 x321 -x320 -x319 -x318 -x317 -x316
1800.04/1800.61 v -x315 -x314 -x313 x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 x298 -x297 -x296 -x295
1800.04/1800.61 v -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 x276 -x275 -x274
1800.04/1800.61 v -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
1800.04/1800.61 v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
1800.04/1800.61 v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
1800.04/1800.61 v -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1800.04/1800.61 v -x189 -x188 x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1800.04/1800.61 v -x168 -x167 -x166 x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148
1800.04/1800.61 v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 x131 -x130 -x129 -x128 x127
1800.04/1800.61 v -x126 -x125 -x124 -x123 x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 x109 -x108 -x107 -x106
1800.04/1800.61 v -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1800.04/1800.61 v -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57
1800.04/1800.61 v x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 x35 -x34 -x33 -x32
1800.04/1800.61 v -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6
1800.04/1800.61 v -x5 -x4 -x3 -x2 x1
1800.04/1800.61 c SCIP Status : solving was interrupted [user interrupt]
1800.04/1800.61 c Solving Time : 1744.15
1800.04/1800.61 c Original Problem :
1800.04/1800.61 c Problem name : HOME/instance-2667072-1276596456.opb
1800.04/1800.61 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 4208 initial, 4208 maximal
1800.04/1800.61 c Presolved Problem :
1800.04/1800.61 c Problem name : t_HOME/instance-2667072-1276596456.opb
1800.04/1800.61 c Variables : 1226 (1226 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.61 c Constraints : 4174 initial, 4179 maximal
1800.04/1800.61 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1800.04/1800.61 c trivial : 0.01 0 0 0 0 0 0 0 0
1800.04/1800.61 c dualfix : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c boundshift : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c implics : 0.00 0 0 0 0 0 0 0 0
1800.04/1800.61 c probing : 0.02 0 0 0 0 0 0 0 0
1800.04/1800.61 c linear : 0.08 0 0 0 0 0 34 2 0
1800.04/1800.61 c logicor : 0.06 0 0 0 0 0 0 0 0
1800.04/1800.61 c root node : - 0 - - 0 - - - -
1800.04/1800.61 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c integral : 0 0 0 1 0 0 0 0 0 2
1800.04/1800.61 c logicor : 4174+ 7 4398770 0 0 651807 5505428 0 0 0
1800.04/1800.61 c countsols : 0 0 0 0 0 0 0 0 0 0
1800.04/1800.61 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1800.04/1800.61 c integral : 9.29 0.00 0.00 9.29 0.00
1800.04/1800.61 c logicor : 524.45 0.00 524.45 0.00 0.00
1800.04/1800.61 c countsols : 0.00 0.00 0.00 0.00 0.00
1800.04/1800.61 c Propagators : Time Calls Cutoffs DomReds
1800.04/1800.61 c vbounds : 4.06 2 0 0
1800.04/1800.61 c rootredcost : 3.92 0 0 0
1800.04/1800.61 c pseudoobj : 945.78 8136300 798604 17031518
1800.04/1800.61 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.04/1800.61 c propagation : 987.85 1450411 1450411 1450411 157.0 1596 165.8 -
1800.04/1800.61 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.04/1800.61 c pseudo solution : 3.55 4732 4732 4732 152.4 14 160.1 -
1800.04/1800.61 c applied globally : - - - 8 24.4 - - -
1800.04/1800.61 c applied locally : - - - 1455136 156.9 - - -
1800.04/1800.61 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.04/1800.61 c cut pool : 0.00 6 - - 66 - (maximal pool size: 494)
1800.04/1800.61 c redcost : 0.00 8 0 0 0 0
1800.04/1800.61 c impliedbounds : 0.00 8 0 0 0 0
1800.04/1800.61 c intobj : 0.00 0 0 0 0 0
1800.04/1800.61 c cgmip : 0.00 0 0 0 0 0
1800.04/1800.61 c gomory : 8.61 8 0 0 2000 0
1800.04/1800.61 c strongcg : 7.18 8 0 0 2459 0
1800.04/1800.61 c cmir : 0.28 8 0 0 2 0
1800.04/1800.61 c flowcover : 0.45 8 0 0 1 0
1800.04/1800.61 c clique : 0.00 1 0 0 0 0
1800.04/1800.61 c zerohalf : 0.00 0 0 0 0 0
1800.04/1800.61 c mcf : 0.01 1 0 0 0 0
1800.04/1800.61 c rapidlearning : 0.00 0 0 0 0 0
1800.04/1800.61 c Pricers : Time Calls Vars
1800.04/1800.61 c problem variables: 0.00 0 0
1800.04/1800.61 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.04/1800.61 c relpscost : 9.29 1 0 0 0 0 2
1800.04/1800.61 c pscost : 0.00 0 0 0 0 0 0
1800.04/1800.61 c inference : 39.11 1713345 0 0 0 0 3426690
1800.04/1800.61 c mostinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c leastinf : 0.00 0 0 0 0 0 0
1800.04/1800.61 c fullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c allfullstrong : 0.00 0 0 0 0 0 0
1800.04/1800.61 c random : 0.00 0 0 0 0 0 0
1800.04/1800.61 c Primal Heuristics : Time Calls Found
1800.04/1800.61 c LP solutions : 0.00 - 0
1800.04/1800.61 c pseudo solutions : 0.00 - 0
1800.04/1800.61 c crossover : 0.00 0 0
1800.04/1800.61 c oneopt : 1.55 4 2
1800.04/1800.61 c trivial : 0.00 2 4
1800.04/1800.61 c simplerounding : 0.00 0 0
1800.04/1800.61 c zirounding : 0.00 1 0
1800.04/1800.61 c rounding : 0.02 7 0
1800.04/1800.61 c shifting : 0.03 7 0
1800.04/1800.61 c intshifting : 0.00 0 0
1800.04/1800.61 c twoopt : 0.00 0 0
1800.04/1800.61 c fixandinfer : 0.00 0 0
1800.04/1800.61 c feaspump : 0.00 0 0
1800.04/1800.61 c coefdiving : 0.00 0 0
1800.04/1800.61 c pscostdiving : 0.00 0 0
1800.04/1800.61 c fracdiving : 0.00 0 0
1800.04/1800.61 c veclendiving : 0.00 0 0
1800.04/1800.61 c intdiving : 0.00 0 0
1800.04/1800.61 c actconsdiving : 0.00 0 0
1800.04/1800.61 c objpscostdiving : 0.00 0 0
1800.04/1800.61 c rootsoldiving : 0.00 0 0
1800.04/1800.61 c linesearchdiving : 0.00 0 0
1800.04/1800.61 c guideddiving : 0.00 0 0
1800.04/1800.61 c octane : 0.00 0 0
1800.04/1800.61 c rens : 4.17 1 1
1800.04/1800.61 c rins : 0.00 0 0
1800.04/1800.61 c localbranching : 0.00 0 0
1800.04/1800.61 c mutation : 0.00 0 0
1800.04/1800.61 c dins : 0.00 0 0
1800.04/1800.61 c undercover : 0.00 0 0
1800.04/1800.61 c nlp : 1.46 0 0
1800.04/1800.61 c trysol : 1.08 0 0
1800.04/1800.61 c LP : Time Calls Iterations Iter/call Iter/sec
1800.04/1800.61 c primal LP : 0.00 0 0 0.00 -
1800.04/1800.61 c dual LP : 2.64 7 4236 605.14 1604.55
1800.04/1800.61 c lex dual LP : 0.00 0 0 0.00 -
1800.04/1800.61 c barrier LP : 0.00 0 0 0.00 -
1800.04/1800.61 c diving/probing LP: 0.00 0 0 0.00 -
1800.04/1800.61 c strong branching : 9.29 23 11916 518.09 1282.67
1800.04/1800.61 c (at root node) : - 23 11916 518.09 -
1800.04/1800.61 c conflict analysis: 0.00 0 0 0.00 -
1800.04/1800.61 c B&B Tree :
1800.04/1800.61 c number of runs : 1
1800.04/1800.61 c nodes : 2377951
1800.04/1800.61 c nodes (total) : 2377951
1800.04/1800.61 c nodes left : 302
1800.04/1800.61 c max depth : 350
1800.04/1800.61 c max depth (total): 350
1800.04/1800.61 c backtracks : 878140 (36.9%)
1800.04/1800.61 c delayed cutoffs : 931591
1800.04/1800.61 c repropagations : 1828145 (11944989 domain reductions, 790538 cutoffs)
1800.04/1800.61 c avg switch length: 2.46
1800.04/1800.61 c switching time : 64.52
1800.04/1800.61 c Solution :
1800.04/1800.61 c Solutions found : 7 (6 improvements)
1800.04/1800.61 c First Solution : +1.22600000000000e+03 (in run 1, after 0 nodes, 0.03 seconds, depth 0, found by <trivial>)
1800.04/1800.61 c Primal Bound : +7.80000000000000e+01 (in run 1, after 1 nodes, 20.15 seconds, depth 0, found by <rens>)
1800.04/1800.61 c Dual Bound : +6.06687322804544e+01
1800.04/1800.61 c Gap : 28.57 %
1800.04/1800.61 c Root Dual Bound : +6.04701082625109e+01
1800.04/1800.61 c Root Iterations : 4236
1800.04/1800.66 c Time complete: 1800.09.
OK 78
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2667072-1276596456/watcher-2667072-1276596456 -o /tmp/evaluation-result-2667072-1276596456/solver-2667072-1276596456 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667072-1276596456.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 1688 /proc/meminfo: memFree=1842524/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=5084 CPUtime=0 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 606 0 0 0 0 0 0 0 19 0 1 0 35249307 5206016 525 1992294400 4194304 8223781 140734918534064 18446744073709551615 7302071 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1688/statm: 1232 530 334 984 0 245 0 [startup+0.100299 s] /proc/loadavg: 0.85 0.97 0.99 3/106 1688 /proc/meminfo: memFree=1842524/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=12556 CPUtime=0.09 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 2432 0 0 0 8 1 0 0 19 0 1 0 35249307 12857344 2351 1992294400 4194304 8223781 140734918534064 18446744073709551615 7253477 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1688/statm: 3139 2351 365 984 0 2152 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12556 [startup+0.201311 s] /proc/loadavg: 0.85 0.97 0.99 3/106 1688 /proc/meminfo: memFree=1842524/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=22796 CPUtime=0.19 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 5113 0 0 0 17 2 0 0 20 0 1 0 35249307 23343104 4668 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 5699 4668 442 984 0 4712 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 22796 [startup+0.301321 s] /proc/loadavg: 0.85 0.97 0.99 3/106 1688 /proc/meminfo: memFree=1842524/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=26324 CPUtime=0.29 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 6773 0 0 0 26 3 0 0 20 0 1 0 35249307 26955776 5557 1992294400 4194304 8223781 140734918534064 18446744073709551615 4993934 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 6581 5557 449 984 0 5594 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26324 [startup+0.701365 s] /proc/loadavg: 0.85 0.97 0.99 3/106 1688 /proc/meminfo: memFree=1842524/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=36536 CPUtime=0.69 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 10604 0 0 0 62 7 0 0 21 0 1 0 35249307 37412864 7996 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 9134 7996 524 984 0 8147 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 36536 [startup+1.50045 s] /proc/loadavg: 0.85 0.97 0.99 2/107 1689 /proc/meminfo: memFree=1811516/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=46884 CPUtime=1.49 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 13683 0 0 0 141 8 0 0 23 0 1 0 35249307 48009216 10581 1992294400 4194304 8223781 140734918534064 18446744073709551615 6055478 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 11721 10581 540 984 0 10734 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 46884 [startup+3.10063 s] /proc/loadavg: 0.85 0.97 0.99 2/107 1689 /proc/meminfo: memFree=1795396/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=58536 CPUtime=3.09 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 17307 0 0 0 298 11 0 0 25 0 1 0 35249307 59940864 13298 1992294400 4194304 8223781 140734918534064 18446744073709551615 6007114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 14634 13298 560 984 0 13647 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58536 [startup+6.30099 s] /proc/loadavg: 0.86 0.97 0.99 2/107 1689 /proc/meminfo: memFree=1777168/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=72536 CPUtime=6.29 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 22542 0 0 0 614 15 0 0 25 0 1 0 35249307 74276864 16620 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 18134 16620 562 984 0 17147 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 72536 [startup+12.7007 s] /proc/loadavg: 0.87 0.97 0.99 2/107 1689 /proc/meminfo: memFree=1770728/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86368 CPUtime=12.68 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 26892 0 0 0 1249 19 0 0 25 0 1 0 35249307 88440832 19998 1992294400 4194304 8223781 140734918534064 18446744073709551615 6568114 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21592 19998 562 984 0 20605 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 86368 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 0.99 2/107 1689 /proc/meminfo: memFree=1763660/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86336 CPUtime=25.48 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 37056 0 0 0 2505 43 0 0 25 0 1 0 35249307 88408064 20000 1992294400 4194304 8223781 140734918534064 18446744073709551615 6568380 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21584 20000 585 984 0 20597 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 86336 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.99 2/107 1691 /proc/meminfo: memFree=1764032/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86416 CPUtime=51.07 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54329 0 0 0 4999 108 0 0 25 0 1 0 35249307 88489984 19975 1992294400 4194304 8223781 140734918534064 18446744073709551615 5918157 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21604 19975 587 984 0 20617 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86416 [startup+102.302 s] /proc/loadavg: 0.97 0.97 0.99 2/107 1691 /proc/meminfo: memFree=1763908/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86552 CPUtime=102.26 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54365 0 0 0 9966 260 0 0 25 0 1 0 35249307 88629248 20011 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21638 20011 587 984 0 20651 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 86552 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 1693 /proc/meminfo: memFree=1763784/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86552 CPUtime=162.24 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54383 0 0 0 15776 448 0 0 25 0 1 0 35249307 88629248 20029 1992294400 4194304 8223781 140734918534064 18446744073709551615 4704784 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21638 20029 587 984 0 20651 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 86552 [startup+222.309 s] /proc/loadavg: 0.99 0.97 0.99 2/107 1695 /proc/meminfo: memFree=1763660/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86684 CPUtime=222.23 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54394 0 0 0 21584 639 0 0 25 0 1 0 35249307 88764416 20040 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21671 20040 587 984 0 20684 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 86684 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 1697 /proc/meminfo: memFree=1763660/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86684 CPUtime=282.2 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54402 0 0 0 27390 830 0 0 25 0 1 0 35249307 88764416 20048 1992294400 4194304 8223781 140734918534064 18446744073709551615 4240369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21671 20048 587 984 0 20684 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 86684 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 1697 /proc/meminfo: memFree=1763660/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86816 CPUtime=342.19 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54424 0 0 0 33195 1024 0 0 25 0 1 0 35249307 88899584 20070 1992294400 4194304 8223781 140734918534064 18446744073709551615 4998694 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21704 20070 587 984 0 20717 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 86816 [startup+402.302 s] /proc/loadavg: 1.04 0.99 0.99 2/107 1702 /proc/meminfo: memFree=1762792/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86816 CPUtime=402.17 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54435 0 0 0 39004 1213 0 0 25 0 1 0 35249307 88899584 20081 1992294400 4194304 8223781 140734918534064 18446744073709551615 4240323 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21704 20081 587 984 0 20717 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 86816 [startup+462.302 s] /proc/loadavg: 1.01 0.99 0.99 2/107 1704 /proc/meminfo: memFree=1762792/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86816 CPUtime=462.15 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54441 0 0 0 44814 1401 0 0 25 0 1 0 35249307 88899584 20087 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21704 20087 587 984 0 20717 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 86816 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1707 /proc/meminfo: memFree=1762792/2059040 swapFree=4140500/4192956 [pid=1688] ppid=1686 vsize=86816 CPUtime=522.13 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54442 0 0 0 50622 1591 0 0 25 0 1 0 35249307 88899584 20088 1992294400 4194304 8223781 140734918534064 18446744073709551615 4653022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21704 20088 587 984 0 20717 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 86816 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1716 /proc/meminfo: memFree=1760124/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=86816 CPUtime=582.11 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54447 0 0 0 56435 1776 0 0 25 0 1 0 35249307 88899584 20093 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21704 20093 587 984 0 20717 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 86816 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1716 /proc/meminfo: memFree=1760124/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=86948 CPUtime=642.09 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54455 0 0 0 62250 1959 0 0 25 0 1 0 35249307 89034752 20101 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21737 20101 587 984 0 20750 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 86948 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1724 /proc/meminfo: memFree=1760000/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=86948 CPUtime=882.01 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54471 0 0 0 85500 2701 0 0 25 0 1 0 35249307 89034752 20117 1992294400 4194304 8223781 140734918534064 18446744073709551615 5909191 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21737 20117 587 984 0 20750 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 86948 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1724 /proc/meminfo: memFree=1760000/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=86948 CPUtime=941.99 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54472 0 0 0 91312 2887 0 0 25 0 1 0 35249307 89034752 20118 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21737 20118 587 984 0 20750 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 86948 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1726 /proc/meminfo: memFree=1759876/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=86948 CPUtime=1001.98 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54477 0 0 0 97127 3071 0 0 25 0 1 0 35249307 89034752 20123 1992294400 4194304 8223781 140734918534064 18446744073709551615 5919075 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21737 20123 587 984 0 20750 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 86948 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1728 /proc/meminfo: memFree=1759876/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=86948 CPUtime=1061.96 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54479 0 0 0 102939 3257 0 0 25 0 1 0 35249307 89034752 20125 1992294400 4194304 8223781 140734918534064 18446744073709551615 5507381 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21737 20125 587 984 0 20750 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 86948 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1732 /proc/meminfo: memFree=1759752/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87080 CPUtime=1121.94 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54501 0 0 0 108749 3445 0 0 25 0 1 0 35249307 89169920 20147 1992294400 4194304 8223781 140734918534064 18446744073709551615 5506759 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21770 20147 587 984 0 20783 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 87080 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1734 /proc/meminfo: memFree=1759628/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87080 CPUtime=1181.92 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54506 0 0 0 114559 3633 0 0 25 0 1 0 35249307 89169920 20152 1992294400 4194304 8223781 140734918534064 18446744073709551615 5506871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21770 20152 587 984 0 20783 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 87080 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1734 /proc/meminfo: memFree=1759380/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87080 CPUtime=1241.9 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54513 0 0 0 120369 3821 0 0 25 0 1 0 35249307 89169920 20159 1992294400 4194304 8223781 140734918534064 18446744073709551615 4219807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21770 20159 587 984 0 20783 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 87080 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1736 /proc/meminfo: memFree=1759256/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87080 CPUtime=1301.88 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54516 0 0 0 126183 4005 0 0 25 0 1 0 35249307 89169920 20162 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21770 20162 587 984 0 20783 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 87080 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1738 /proc/meminfo: memFree=1759132/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1361.87 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54522 0 0 0 131990 4197 0 0 25 0 1 0 35249307 89309184 20168 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20168 587 984 0 20817 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 87216 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1740 /proc/meminfo: memFree=1759132/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1421.85 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54522 0 0 0 137793 4392 0 0 25 0 1 0 35249307 89309184 20168 1992294400 4194304 8223781 140734918534064 18446744073709551615 5906008 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20168 587 984 0 20817 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 87216 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1742 /proc/meminfo: memFree=1759132/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1481.83 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54522 0 0 0 143600 4583 0 0 25 0 1 0 35249307 89309184 20168 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20168 587 984 0 20817 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 87216 [startup+1542.31 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1742 /proc/meminfo: memFree=1759132/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1541.82 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54522 0 0 0 149406 4776 0 0 25 0 1 0 35249307 89309184 20168 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20168 587 984 0 20817 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 87216 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1744 /proc/meminfo: memFree=1758884/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1601.79 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54522 0 0 0 155218 4961 0 0 25 0 1 0 35249307 89309184 20168 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20168 587 984 0 20817 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 87216 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1747 /proc/meminfo: memFree=1758884/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1661.77 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54526 0 0 0 161028 5149 0 0 25 0 1 0 35249307 89309184 20172 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20172 587 984 0 20817 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 87216 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1749 /proc/meminfo: memFree=1758760/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1721.75 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54526 0 0 0 166851 5324 0 0 25 0 1 0 35249307 89309184 20172 1992294400 4194304 8223781 140734918534064 18446744073709551615 5918807 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20172 587 984 0 20817 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 87216 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1751 /proc/meminfo: memFree=1758388/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1781.74 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54526 0 0 0 172654 5520 0 0 25 0 1 0 35249307 89309184 20172 1992294400 4194304 8223781 140734918534064 18446744073709551615 5506120 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20172 587 984 0 20817 0 Current children cumulated CPU time (s) 1781.74 Current children cumulated vsize (KiB) 87216 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1751 /proc/meminfo: memFree=1758388/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1800.04 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54526 0 0 0 174426 5578 0 0 25 0 1 0 35249307 89309184 20172 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20172 587 984 0 20817 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 87216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.99 2/107 1751 /proc/meminfo: memFree=1758388/2059040 swapFree=4140532/4192956 [pid=1688] ppid=1686 vsize=87216 CPUtime=1800.04 /proc/1688/stat : 1688 (pbscip.linux.x8) R 1686 1688 1660 0 -1 4202496 54526 0 0 0 174426 5578 0 0 25 0 1 0 35249307 89309184 20172 1992294400 4194304 8223781 140734918534064 18446744073709551615 7294506 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/1688/statm: 21804 20172 587 984 0 20817 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 87216 Child status: 0 Real time (s): 1800.66 CPU time (s): 1800.1 CPU user time (s): 1744.31 CPU system time (s): 55.7955 CPU usage (%): 99.969 Max. virtual memory (cumulated for all children) (KiB): 109212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1744.31 system time used= 55.7955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54537 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= 2 involuntary context switches= 18569 runsolver used 2.98155 second user time and 8.5177 second system time The end
Begin job on node005 at 2010-06-15 12:07:36 IDJOB=2667072 IDBENCH=2884 IDSOLVER=1169 FILE ID=node005/2667072-1276596456 PBS_JOBID= 11172234 Free space on /tmp= 62564 MiB SOLVER NAME= SCIPspx SCIP 1.2.1.2 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.a.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667072-1276596456/watcher-2667072-1276596456 -o /tmp/evaluation-result-2667072-1276596456/solver-2667072-1276596456 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2667072-1276596456.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a983c7d791d0da9cc5e2ec69578db721 RANDOM SEED=1733347267 node005.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.246 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.49 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.246 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: 1843052 kB Buffers: 37864 kB Cached: 96500 kB SwapCached: 6428 kB Active: 86596 kB Inactive: 61472 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1843052 kB SwapTotal: 4192956 kB SwapFree: 4140500 kB Dirty: 4984 kB Writeback: 0 kB AnonPages: 11396 kB Mapped: 13052 kB Slab: 46204 kB PageTables: 4088 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181216 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= 62560 MiB End job on node005 at 2010-06-15 12:37:38