Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 | OPT | 5 | 1276.28 | 1276.31 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb |
| MD5SUM | 6560abb26f607ef952ebe1a74dd5dae1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 16.6255 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 1009 |
| Total number of constraints | 3773 |
| Number of constraints which are clauses | 3773 |
| 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 | 5 |
| Maximum length of a constraint | 446 |
| Number of terms in the objective function | 1009 |
| 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 | 1009 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1009 |
| Number of bits of the biggest sum of numbers | 10 |
| 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 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.01 c Copyright (c) 2002-2011 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-3453263-1307092676.opb>
0.19/0.20 c original problem has 1009 variables (1009 bin, 0 int, 0 impl, 0 cont) and 3773 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.27 o 1009
0.19/0.27 o 979
0.19/0.27 c feasible solution found by trivial heuristic, objective value 9.790000e+02
0.19/0.27 c presolving:
0.69/0.70 c (round 1) 0 del vars, 376 del conss, 0 add conss, 0 chg bounds, 2 chg sides, 0 chg coeffs, 3770 upgd conss, 0 impls, 0 clqs
0.69/0.71 c (0.7s) probing: 101/1009 (10.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.69/0.71 c (0.7s) probing aborted: 100/100 successive totally useless probings
0.69/0.71 c presolving (2 rounds):
0.69/0.71 c 0 deleted vars, 376 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 2 changed sides, 0 changed coefficients
0.69/0.71 c 0 implications, 0 cliques
0.69/0.71 c presolved problem has 1009 variables (1009 bin, 0 int, 0 impl, 0 cont) and 3397 constraints
0.69/0.71 c 3397 constraints of type <logicor>
0.69/0.71 c transformed objective value is always integral (scale: 1)
0.69/0.71 c Presolving Time: 0.49
0.69/0.71 c - non default parameters ----------------------------------------------------------------------
0.69/0.71 c # SCIP version 2.0.1.4
0.69/0.71 c
0.69/0.71 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: -1]
0.69/0.71 c conflict/interconss = 0
0.69/0.71 c
0.69/0.71 c # should binary conflicts be preferred?
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c conflict/preferbinary = TRUE
0.69/0.71 c
0.69/0.71 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 0]
0.69/0.71 c constraints/agelimit = 1
0.69/0.71 c
0.69/0.71 c # should enforcement of pseudo solution be disabled?
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c constraints/disableenfops = TRUE
0.69/0.71 c
0.69/0.71 c # frequency for displaying node information lines
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 100]
0.69/0.71 c display/freq = 10000
0.69/0.71 c
0.69/0.71 c # maximal time in seconds to run
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.71 c limits/time = 1800
0.69/0.71 c
0.69/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.71 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.69/0.71 c limits/memory = 13950
0.69/0.71 c
0.69/0.71 c # frequency for solving LP at the nodes (-1: never; 0: only root LP)
0.69/0.71 c # [type: int, range: [-1,2147483647], default: 1]
0.69/0.71 c lp/solvefreq = 0
0.69/0.71 c
0.69/0.71 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.69/0.71 c # [type: char, range: {lafpsqd}, default: l]
0.69/0.71 c lp/pricing = a
0.69/0.71 c
0.69/0.71 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.69/0.71 c # [type: int, range: [1,2], default: 1]
0.69/0.71 c timing/clocktype = 2
0.69/0.71 c
0.69/0.71 c # belongs reading time to solving time?
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c timing/reading = TRUE
0.69/0.71 c
0.69/0.71 c # should presolving try to simplify inequalities
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c constraints/linear/simplifyinequalities = TRUE
0.69/0.71 c
0.69/0.71 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c constraints/indicator/addCouplingCons = TRUE
0.69/0.71 c
0.69/0.71 c # should presolving try to simplify knapsacks
0.69/0.71 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.69/0.71 c constraints/knapsack/simplifyinequalities = TRUE
0.69/0.71 c
0.69/0.71 c # priority of node selection rule <dfs> in standard mode
0.69/0.71 c # [type: int, range: [-536870912,536870911], default: 0]
0.69/0.71 c nodeselection/dfs/stdpriority = 1000000
0.69/0.71 c
0.69/0.71 c -----------------------------------------------------------------------------------------------
0.69/0.71 c start solving
0.69/0.71 c
0.69/0.71 o 894
0.69/0.71 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.71 c t 0.7s| 1 | 0 | 0 | - | 16M| 0 | - |1009 |3397 | 0 | 0 | 0 | 0 | 0 | -- | 8.940000e+02 | Inf
0.69/0.77 o 14
0.69/0.77 c b 0.8s| 1 | 0 | 0 | - | 28M| 0 | - |1009 |3397 |1009 |3397 | 0 | 0 | 0 | -- | 1.400000e+01 | Inf
0.78/0.85 c 0.9s| 1 | 0 | 405 | - | 28M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 1.400000e+01 | 239.39%
0.78/0.85 o 13
0.78/0.85 c R 0.9s| 1 | 0 | 405 | - | 28M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 1.300000e+01 | 215.15%
0.78/0.86 o 12
0.78/0.86 c s 0.9s| 1 | 0 | 405 | - | 28M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 1.200000e+01 | 190.91%
0.78/0.86 o 6
0.78/0.86 c b 0.9s| 1 | 0 | 405 | - | 28M| 0 | 19 |1009 |3397 |1009 |3397 | 0 | 0 | 0 | 4.125000e+00 | 6.000000e+00 | 45.45%
1.00/1.04 c 1.0s| 1 | 0 | 442 | - | 28M| 0 | 61 |1009 |3395 |1009 |3350 | 1 | 0 | 0 | 4.500000e+00 | 6.000000e+00 | 33.33%
3.79/3.84 c 3.8s| 1 | 0 | 454 | - | 28M| 0 | 34 |1009 |3395 |1009 |3350 | 1 | 0 | 31 | 4.500000e+00 | 6.000000e+00 | 33.33%
4.29/4.36 c 4.4s| 1 | 0 | 459 | - | 28M| 0 | 32 |1009 |3384 |1009 |3350 | 1 | 0 | 39 | 4.500000e+00 | 6.000000e+00 | 33.33%
4.58/4.67 c 4.7s| 1 | 0 | 462 | - | 28M| 0 | 32 |1009 |3384 |1009 |3350 | 1 | 0 | 42 | 4.500000e+00 | 6.000000e+00 | 33.33%
4.89/4.94 c 4.9s| 1 | 2 | 462 | - | 28M| 0 | 32 |1009 |3384 |1009 |3350 | 1 | 0 | 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
17.39/17.49 c 17.5s| 10000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4358 | 0 | 0 | 1 |4320 | 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
27.99/28.08 c 28.1s| 20000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3802 | 0 | 0 | 1 |8812 | 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
37.30/37.38 c 37.4s| 30000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3920 | 0 | 0 | 1 | 13k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
46.49/46.50 c 46.5s| 40000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4083 | 0 | 0 | 1 | 17k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
55.69/55.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
55.69/55.74 c 55.7s| 50000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |3543 | 0 | 0 | 1 | 22k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
65.17/65.26 c 65.3s| 60000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |3820 | 0 | 0 | 1 | 26k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
74.27/74.33 c 74.3s| 70000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |3802 | 0 | 0 | 1 | 31k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
83.48/83.54 c 83.5s| 80000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3670 | 0 | 0 | 1 | 35k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
91.67/91.75 c 91.7s| 90000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3678 | 0 | 0 | 1 | 38k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
99.67/99.70 c 99.7s|100000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3839 | 0 | 0 | 1 | 42k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
107.97/108.03 c 108s|110000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3619 | 0 | 0 | 1 | 46k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
116.77/116.80 c 117s|120000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3748 | 0 | 0 | 1 | 50k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
125.47/125.50 c 126s|130000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3778 | 0 | 0 | 1 | 54k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
134.67/134.74 c 135s|140000 | 4 | 462 | 0.0 | 29M| 805 | - |1009 |3905 | 0 | 0 | 1 | 58k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
142.57/142.68 c 143s|150000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3670 | 0 | 0 | 1 | 62k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
150.77/150.89 c 151s|160000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3622 | 0 | 0 | 1 | 66k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
159.27/159.33 c 159s|170000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |3760 | 0 | 0 | 1 | 69k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
167.27/167.30 c 167s|180000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |3787 | 0 | 0 | 1 | 73k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
175.47/175.51 c 176s|190000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3865 | 0 | 0 | 1 | 77k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
182.17/182.29 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.17/182.29 c 182s|200000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3689 | 0 | 0 | 1 | 80k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
191.07/191.12 c 191s|210000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4030 | 0 | 0 | 1 | 84k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
199.56/199.67 c 200s|220000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3778 | 0 | 0 | 1 | 88k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
207.96/208.09 c 208s|230000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4084 | 0 | 0 | 1 | 91k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
215.47/215.59 c 216s|240000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4287 | 0 | 0 | 1 | 95k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
222.76/222.81 c 223s|250000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4719 | 0 | 0 | 1 | 99k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
230.06/230.18 c 230s|260000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4159 | 0 | 0 | 1 | 103k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
238.06/238.12 c 238s|270000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4195 | 0 | 0 | 1 | 107k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
245.36/245.45 c 245s|280000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4137 | 0 | 0 | 1 | 111k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
253.26/253.39 c 253s|290000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4173 | 0 | 0 | 1 | 115k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
261.86/261.98 c 262s|300000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |4487 | 0 | 0 | 1 | 118k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
268.46/268.54 c 269s|310000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4611 | 0 | 0 | 1 | 122k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
274.76/274.88 c 275s|320000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4791 | 0 | 0 | 1 | 126k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
281.06/281.14 c 281s|330000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3737 | 0 | 0 | 1 | 130k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
288.76/288.82 c 289s|340000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3833 | 0 | 0 | 1 | 134k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
296.16/296.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
296.16/296.28 c 296s|350000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4204 | 0 | 0 | 1 | 138k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
303.96/304.09 c 304s|360000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3810 | 0 | 0 | 1 | 142k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
312.46/312.58 c 313s|370000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |4182 | 0 | 0 | 1 | 146k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
320.66/320.74 c 321s|380000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4021 | 0 | 0 | 1 | 150k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
327.86/327.99 c 328s|390000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3628 | 0 | 0 | 1 | 154k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
335.16/335.20 c 335s|400000 | 4 | 462 | 0.0 | 29M| 805 | - |1009 |3826 | 0 | 0 | 1 | 158k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
342.26/342.37 c 342s|410000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3743 | 0 | 0 | 1 | 162k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
350.36/350.43 c 350s|420000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3726 | 0 | 0 | 1 | 166k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
357.76/357.89 c 358s|430000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3873 | 0 | 0 | 1 | 170k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
364.86/364.90 c 365s|440000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4002 | 0 | 0 | 1 | 174k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
371.26/371.39 c 371s|450000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3837 | 0 | 0 | 1 | 178k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
378.56/378.61 c 379s|460000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4250 | 0 | 0 | 1 | 181k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
385.06/385.18 c 385s|470000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3954 | 0 | 0 | 1 | 186k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
393.36/393.40 c 393s|480000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3641 | 0 | 0 | 1 | 190k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
401.76/401.86 c 402s|490000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3795 | 0 | 0 | 1 | 194k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
410.56/410.66 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
410.56/410.66 c 411s|500000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3861 | 0 | 0 | 1 | 197k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
419.96/420.06 c 420s|510000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3711 | 0 | 0 | 1 | 201k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
428.36/428.42 c 428s|520000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3827 | 0 | 0 | 1 | 205k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
436.56/436.66 c 437s|530000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4175 | 0 | 0 | 1 | 208k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
444.26/444.37 c 444s|540000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4283 | 0 | 0 | 1 | 212k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
451.56/451.69 c 452s|550000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4161 | 0 | 0 | 1 | 216k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
459.86/459.95 c 460s|560000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4310 | 0 | 0 | 1 | 220k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
468.06/468.14 c 468s|570000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |4451 | 0 | 0 | 1 | 223k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
474.76/474.85 c 475s|580000 | 5 | 462 | 0.0 | 29M| 805 | - |1009 |3591 | 0 | 0 | 1 | 227k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
483.06/483.16 c 483s|590000 | 7 | 462 | 0.0 | 29M| 805 | - |1009 |3789 | 0 | 0 | 1 | 230k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
490.46/490.51 c 491s|600000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5512 | 0 | 0 | 1 | 234k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
496.46/496.55 c 497s|610000 | 6 | 462 | 0.0 | 31M| 805 | - |1009 |7177 | 0 | 0 | 1 | 239k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
504.66/504.78 c 505s|620000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4588 | 0 | 0 | 1 | 243k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
511.76/511.82 c 512s|630000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4175 | 0 | 0 | 1 | 247k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
519.06/519.11 c 519s|640000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3884 | 0 | 0 | 1 | 251k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
526.96/527.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
526.96/527.02 c 527s|650000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5437 | 0 | 0 | 1 | 255k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
533.66/533.76 c 534s|660000 | 7 | 462 | 0.0 | 30M| 805 | - |1009 |5538 | 0 | 0 | 1 | 259k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
541.46/541.50 c 541s|670000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |4913 | 0 | 0 | 1 | 264k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
548.66/548.75 c 549s|680000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4369 | 0 | 0 | 1 | 268k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
557.26/557.34 c 557s|690000 | 6 | 462 | 0.0 | 31M| 805 | - |1009 |7212 | 0 | 0 | 1 | 272k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
565.97/566.05 c 566s|700000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |4968 | 0 | 0 | 1 | 276k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
573.47/573.57 c 574s|710000 | 7 | 462 | 0.0 | 30M| 805 | - |1009 |5515 | 0 | 0 | 1 | 279k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
580.67/580.79 c 581s|720000 | 5 | 462 | 0.0 | 30M| 805 | - |1009 |4844 | 0 | 0 | 1 | 283k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
587.97/588.09 c 588s|730000 | 5 | 462 | 0.0 | 30M| 805 | - |1009 |4931 | 0 | 0 | 1 | 287k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
594.17/594.24 c 594s|740000 | 6 | 462 | 0.0 | 31M| 805 | - |1009 |6242 | 0 | 0 | 1 | 290k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
602.79/602.86 c 603s|750000 | 5 | 462 | 0.0 | 31M| 805 | - |1009 |6212 | 0 | 0 | 1 | 294k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
610.77/610.89 c 611s|760000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5119 | 0 | 0 | 1 | 298k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
620.39/620.43 c 620s|770000 | 6 | 462 | 0.0 | 31M| 805 | - |1009 |6229 | 0 | 0 | 1 | 302k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
628.57/628.69 c 629s|780000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5079 | 0 | 0 | 1 | 306k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
637.37/637.48 c 637s|790000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5353 | 0 | 0 | 1 | 310k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
646.07/646.18 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
646.07/646.18 c 646s|800000 | 5 | 462 | 0.0 | 30M| 805 | - |1009 |5432 | 0 | 0 | 1 | 314k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
655.67/655.76 c 656s|810000 | 6 | 462 | 0.0 | 32M| 805 | - |1009 |7486 | 0 | 0 | 1 | 317k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
664.96/665.02 c 665s|820000 | 5 | 462 | 0.0 | 31M| 805 | - |1009 |6864 | 0 | 0 | 1 | 321k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
672.56/672.68 c 673s|830000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5678 | 0 | 0 | 1 | 325k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
681.76/681.81 c 682s|840000 | 5 | 462 | 0.0 | 31M| 805 | - |1009 |5752 | 0 | 0 | 1 | 328k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
691.06/691.10 c 691s|850000 | 5 | 462 | 0.0 | 32M| 805 | - |1009 |7153 | 0 | 0 | 1 | 332k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
698.56/698.61 c 699s|860000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4036 | 0 | 0 | 1 | 336k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
706.66/706.73 c 707s|870000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3995 | 0 | 0 | 1 | 339k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
713.77/713.87 c 714s|880000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3767 | 0 | 0 | 1 | 343k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
722.06/722.15 c 722s|890000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4024 | 0 | 0 | 1 | 346k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
729.86/729.91 c 730s|900000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |4154 | 0 | 0 | 1 | 349k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
737.76/737.85 c 738s|910000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |4351 | 0 | 0 | 1 | 352k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
745.78/745.88 c 746s|920000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |4628 | 0 | 0 | 1 | 355k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
753.76/753.80 c 754s|930000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |5312 | 0 | 0 | 1 | 359k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
761.26/761.35 c 761s|940000 | 6 | 462 | 0.0 | 30M| 805 | - |1009 |4748 | 0 | 0 | 1 | 362k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
770.26/770.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
770.26/770.38 c 770s|950000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3992 | 0 | 0 | 1 | 366k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
777.57/777.63 c 778s|960000 | 6 | 462 | 0.0 | 29M| 805 | - |1009 |3899 | 0 | 0 | 1 | 370k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
786.06/786.19 c 786s|970000 | 5 | 462 | 0.0 | 30M| 805 | - |1009 |4632 | 0 | 0 | 1 | 374k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
792.36/792.45 c 792s|980000 | 5 | 462 | 0.0 | 30M| 805 | - |1009 |4595 | 0 | 0 | 1 | 379k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
800.78/800.82 c 801s|990000 | 5 | 462 | 0.0 | 30M| 805 | - |1009 |5256 | 0 | 0 | 1 | 383k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
808.48/808.57 c 809s| 1000k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4634 | 0 | 0 | 1 | 387k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
816.66/816.79 c 817s| 1010k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4650 | 0 | 0 | 1 | 390k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
824.46/824.50 c 825s| 1020k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4968 | 0 | 0 | 1 | 394k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
830.56/830.60 c 831s| 1030k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4784 | 0 | 0 | 1 | 398k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
840.38/840.48 c 840s| 1040k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |5156 | 0 | 0 | 1 | 402k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
849.56/849.67 c 850s| 1050k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |5229 | 0 | 0 | 1 | 405k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
858.46/858.52 c 859s| 1060k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |5484 | 0 | 0 | 1 | 409k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
867.66/867.79 c 868s| 1070k| 4 | 462 | 0.0 | 30M| 805 | - |1009 |6036 | 0 | 0 | 1 | 413k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
876.57/876.61 c 877s| 1080k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |5251 | 0 | 0 | 1 | 416k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
884.66/884.70 c 885s| 1090k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |5363 | 0 | 0 | 1 | 420k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
892.86/892.96 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
892.86/892.96 c 893s| 1100k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |5812 | 0 | 0 | 1 | 424k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
901.06/901.12 c 901s| 1110k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |5439 | 0 | 0 | 1 | 428k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
908.66/908.71 c 909s| 1120k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3526 | 0 | 0 | 1 | 432k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
918.37/918.41 c 918s| 1130k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |3694 | 0 | 0 | 1 | 436k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
926.36/926.45 c 926s| 1140k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |3742 | 0 | 0 | 1 | 440k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
935.26/935.34 c 935s| 1150k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3959 | 0 | 0 | 1 | 445k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
944.46/944.55 c 945s| 1160k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3760 | 0 | 0 | 1 | 449k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
951.37/951.44 c 951s| 1170k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |3876 | 0 | 0 | 1 | 453k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
961.26/961.37 c 961s| 1180k| 4 | 462 | 0.0 | 29M| 805 | - |1009 |4006 | 0 | 0 | 1 | 457k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
970.36/970.47 c 970s| 1190k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3987 | 0 | 0 | 1 | 461k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
977.96/978.06 c 978s| 1200k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |3617 | 0 | 0 | 1 | 465k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
983.96/984.01 c 984s| 1210k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4527 | 0 | 0 | 1 | 468k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
991.08/991.16 c 991s| 1220k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4563 | 0 | 0 | 1 | 471k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
998.66/998.81 c 999s| 1230k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |4123 | 0 | 0 | 1 | 474k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1006.06/1006.10 c 1006s| 1240k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |4167 | 0 | 0 | 1 | 477k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1012.56/1012.61 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1012.56/1012.61 c 1013s| 1250k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4391 | 0 | 0 | 1 | 481k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1020.46/1020.56 c 1021s| 1260k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3992 | 0 | 0 | 1 | 484k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1028.36/1028.49 c 1028s| 1270k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4346 | 0 | 0 | 1 | 488k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1036.06/1036.20 c 1036s| 1280k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4291 | 0 | 0 | 1 | 491k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1042.86/1042.93 c 1043s| 1290k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4705 | 0 | 0 | 1 | 495k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1052.06/1052.13 c 1052s| 1300k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4361 | 0 | 0 | 1 | 498k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1059.86/1059.92 c 1060s| 1310k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4428 | 0 | 0 | 1 | 502k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1068.66/1068.71 c 1069s| 1320k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4782 | 0 | 0 | 1 | 506k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1076.26/1076.39 c 1076s| 1330k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3993 | 0 | 0 | 1 | 509k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1084.58/1084.66 c 1085s| 1340k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |4154 | 0 | 0 | 1 | 513k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1090.56/1090.61 c 1091s| 1350k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3800 | 0 | 0 | 1 | 516k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1096.68/1096.76 c 1097s| 1360k| 7 | 462 | 0.0 | 30M| 805 | - |1009 |4364 | 0 | 0 | 1 | 519k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1102.46/1102.60 c 1103s| 1370k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |4076 | 0 | 0 | 1 | 522k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1107.86/1107.99 c 1108s| 1380k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4298 | 0 | 0 | 1 | 526k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1114.66/1114.70 c 1115s| 1390k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4238 | 0 | 0 | 1 | 529k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1122.26/1122.38 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1122.26/1122.38 c 1122s| 1400k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |3900 | 0 | 0 | 1 | 533k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1130.56/1130.62 c 1131s| 1410k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4284 | 0 | 0 | 1 | 537k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1137.27/1137.37 c 1137s| 1420k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4470 | 0 | 0 | 1 | 540k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1143.06/1143.10 c 1143s| 1430k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |4006 | 0 | 0 | 1 | 544k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1150.26/1150.30 c 1150s| 1440k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3874 | 0 | 0 | 1 | 548k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1158.36/1158.40 c 1158s| 1450k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |3773 | 0 | 0 | 1 | 551k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1165.98/1166.03 c 1166s| 1460k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |4019 | 0 | 0 | 1 | 555k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1171.66/1171.76 c 1172s| 1470k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |3822 | 0 | 0 | 1 | 559k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1180.66/1180.78 c 1181s| 1480k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4443 | 0 | 0 | 1 | 563k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1188.06/1188.16 c 1188s| 1490k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4463 | 0 | 0 | 1 | 566k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1194.66/1194.72 c 1195s| 1500k| 6 | 462 | 0.0 | 29M| 805 | - |1009 |4192 | 0 | 0 | 1 | 570k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1202.46/1202.56 c 1203s| 1510k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |4030 | 0 | 0 | 1 | 574k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1210.56/1210.60 c 1211s| 1520k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4366 | 0 | 0 | 1 | 577k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1218.56/1218.65 c 1219s| 1530k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4202 | 0 | 0 | 1 | 581k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1224.17/1224.21 c 1224s| 1540k| 7 | 462 | 0.0 | 29M| 805 | - |1009 |4051 | 0 | 0 | 1 | 585k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1232.46/1232.50 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.46/1232.50 c 1232s| 1550k| 5 | 462 | 0.0 | 29M| 805 | - |1009 |4032 | 0 | 0 | 1 | 589k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1239.36/1239.41 c 1239s| 1560k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4995 | 0 | 0 | 1 | 593k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1246.17/1246.24 c 1246s| 1570k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4518 | 0 | 0 | 1 | 597k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1252.77/1252.84 c 1253s| 1580k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |4997 | 0 | 0 | 1 | 601k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1260.16/1260.24 c 1260s| 1590k| 5 | 462 | 0.0 | 30M| 805 | - |1009 |4171 | 0 | 0 | 1 | 605k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1268.28/1268.36 c 1268s| 1600k| 6 | 462 | 0.0 | 30M| 805 | - |1009 |5192 | 0 | 0 | 1 | 609k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1274.56/1274.63 c 1275s| 1610k| 7 | 462 | 0.0 | 30M| 805 | - |1009 |5645 | 0 | 0 | 1 | 613k| 44 | 4.500000e+00 | 6.000000e+00 | 33.33%
1276.16/1276.25 o 5
1276.16/1276.25 c *1276s| 1614k| 0 | 462 | 0.0 | 31M| 805 | - |1009 |6386 | 0 | 0 | 1 | 615k| 44 | 5.000000e+00 | 5.000000e+00 | 0.00%
1276.16/1276.25 c
1276.16/1276.25 c SCIP Status : problem is solved [optimal solution found]
1276.16/1276.25 c Solving Time (sec) : 1276.25
1276.16/1276.25 c Solving Nodes : 1614268
1276.16/1276.25 c Primal Bound : +5.00000000000000e+00 (9 solutions)
1276.16/1276.25 c Dual Bound : +5.00000000000000e+00
1276.16/1276.25 c Gap : 0.00 %
1276.16/1276.26 s OPTIMUM FOUND
1276.16/1276.26 v -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990
1276.16/1276.26 v -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969
1276.16/1276.26 v -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948
1276.16/1276.26 v -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928
1276.16/1276.26 v -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907
1276.16/1276.26 v -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886
1276.16/1276.26 v -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865
1276.16/1276.26 v -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844
1276.16/1276.26 v -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823
1276.16/1276.26 v -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803
1276.16/1276.26 v -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782
1276.16/1276.26 v -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761
1276.16/1276.26 v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740
1276.16/1276.26 v -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719
1276.16/1276.26 v -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698
1276.16/1276.26 v -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678
1276.16/1276.26 v -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657
1276.16/1276.26 v -x656 x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636
1276.16/1276.26 v -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615
1276.16/1276.26 v -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594
1276.16/1276.26 v -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573
1276.16/1276.26 v -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552
1276.16/1276.26 v -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532
1276.16/1276.26 v -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511
1276.16/1276.26 v -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490
1276.16/1276.26 v -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469
1276.16/1276.26 v -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448
1276.16/1276.26 v -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427
1276.16/1276.26 v -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406
1276.16/1276.26 v -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386
1276.16/1276.26 v -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
1276.16/1276.26 v -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344
1276.16/1276.26 v -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323
1276.16/1276.26 v -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302
1276.16/1276.26 v -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281
1276.16/1276.26 v -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261
1276.16/1276.26 v -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240
1276.16/1276.26 v -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219
1276.16/1276.26 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198
1276.16/1276.26 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177
1276.16/1276.26 v -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156
1276.16/1276.26 v -x155 -x154 -x153 x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135
1276.16/1276.26 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114
1276.16/1276.26 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92
1276.16/1276.26 v -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67
1276.16/1276.26 v -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42
1276.16/1276.26 v -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 -x19 -x18 -x17
1276.16/1276.26 v -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1276.16/1276.26 c SCIP Status : problem is solved [optimal solution found]
1276.16/1276.26 c Total Time : 1276.25
1276.16/1276.26 c solving : 1276.25
1276.16/1276.26 c presolving : 0.49 (included in solving)
1276.16/1276.26 c reading : 0.20 (included in solving)
1276.16/1276.26 c Original Problem :
1276.16/1276.26 c Problem name : HOME/instance-3453263-1307092676.opb
1276.16/1276.26 c Variables : 1009 (1009 binary, 0 integer, 0 implicit integer, 0 continuous)
1276.16/1276.26 c Constraints : 3773 initial, 3773 maximal
1276.16/1276.26 c Presolved Problem :
1276.16/1276.26 c Problem name : t_HOME/instance-3453263-1307092676.opb
1276.16/1276.26 c Variables : 1009 (1009 binary, 0 integer, 0 implicit integer, 0 continuous)
1276.16/1276.26 c Constraints : 3397 initial, 8914 maximal
1276.16/1276.26 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1276.16/1276.26 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1276.16/1276.26 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1276.16/1276.26 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1276.16/1276.26 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1276.16/1276.26 c implics : 0.00 0 0 0 0 0 0 0 0 0
1276.16/1276.26 c probing : 0.01 0 0 0 0 0 0 0 0 0
1276.16/1276.26 c linear : 0.11 0 0 0 0 0 3 0 2 0
1276.16/1276.26 c logicor : 0.29 0 0 0 0 0 373 0 0 0
1276.16/1276.26 c root node : - 33 - - 33 - - - - -
1276.16/1276.26 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1276.16/1276.26 c integral : 0 0 0 4 0 12 0 0 11 0 0 2
1276.16/1276.26 c logicor : 3397+ 5 4885503 0 0 7 26157774 616602 43470613 0 0 0
1276.16/1276.26 c countsols : 0 0 0 0 1 10 0 0 0 0 0 0
1276.16/1276.26 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1276.16/1276.26 c integral : 3.14 0.00 0.00 3.14 0.00 0.00 0.00
1276.16/1276.26 c logicor : 477.41 0.00 451.69 0.00 0.00 0.01 25.71
1276.16/1276.26 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1276.16/1276.26 c Propagators : #Propagate #Resprop Cutoffs DomReds
1276.16/1276.26 c vbounds : 0 0 0 0
1276.16/1276.26 c rootredcost : 0 0 0 0
1276.16/1276.26 c pseudoobj : 10284114 24482102 126291 300776935
1276.16/1276.26 c Propagator Timings : TotalTime Propagate Resprop
1276.16/1276.26 c vbounds : 1.16 1.16 0.00
1276.16/1276.26 c rootredcost : 1.23 1.23 0.00
1276.16/1276.26 c pseudoobj : 711.95 451.73 260.22
1276.16/1276.26 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1276.16/1276.26 c propagation : 301.34 479703 479699 479699 28.9 1576 58.7 -
1276.16/1276.26 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1276.16/1276.26 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1276.16/1276.26 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1276.16/1276.26 c pseudo solution : 5.58 131040 131040 131040 6.1 5150 82.3 -
1276.16/1276.26 c applied globally : - - - 612637 23.7 - - -
1276.16/1276.26 c applied locally : - - - 2971 112.7 - - -
1276.16/1276.26 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1276.16/1276.26 c cut pool : 0.00 4 - - 0 - (maximal pool size: 6)
1276.16/1276.26 c redcost : 0.00 5 0 17 0 0
1276.16/1276.26 c impliedbounds : 0.00 5 0 0 0 0
1276.16/1276.26 c intobj : 0.00 0 0 0 0 0
1276.16/1276.26 c gomory : 0.32 5 0 0 500 0
1276.16/1276.26 c cgmip : 0.00 0 0 0 0 0
1276.16/1276.26 c closecuts : 0.00 0 0 0 0 0
1276.16/1276.26 c strongcg : 0.31 5 0 0 500 0
1276.16/1276.26 c cmir : 0.07 5 0 0 0 0
1276.16/1276.26 c flowcover : 0.08 5 0 0 0 0
1276.16/1276.26 c clique : 0.00 1 0 0 0 0
1276.16/1276.26 c zerohalf : 0.00 0 0 0 0 0
1276.16/1276.26 c mcf : 0.01 1 0 0 0 0
1276.16/1276.26 c oddcycle : 0.00 0 0 0 0 0
1276.16/1276.26 c rapidlearning : 0.00 0 0 0 0 0
1276.16/1276.26 c Pricers : Time Calls Vars
1276.16/1276.26 c problem variables: 0.00 0 0
1276.16/1276.26 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1276.16/1276.26 c relpscost : 3.14 4 0 11 0 0 2
1276.16/1276.26 c pscost : 0.00 0 0 0 0 0 0
1276.16/1276.26 c inference : 37.63 873955 0 0 0 0 1747910
1276.16/1276.26 c mostinf : 0.00 0 0 0 0 0 0
1276.16/1276.26 c leastinf : 0.00 0 0 0 0 0 0
1276.16/1276.26 c fullstrong : 0.00 0 0 0 0 0 0
1276.16/1276.26 c allfullstrong : 0.00 0 0 0 0 0 0
1276.16/1276.26 c random : 0.00 0 0 0 0 0 0
1276.16/1276.26 c Primal Heuristics : Time Calls Found
1276.16/1276.26 c LP solutions : 0.00 - 0
1276.16/1276.26 c pseudo solutions : 0.00 - 1
1276.16/1276.26 c crossover : 0.00 0 0
1276.16/1276.26 c oneopt : 0.42 3 2
1276.16/1276.26 c trivial : 0.01 2 3
1276.16/1276.26 c shiftandpropagate: 0.00 0 0
1276.16/1276.26 c simplerounding : 0.00 0 0
1276.16/1276.26 c zirounding : 0.00 1 0
1276.16/1276.26 c rounding : 0.00 5 1
1276.16/1276.26 c shifting : 0.00 5 1
1276.16/1276.26 c intshifting : 0.00 0 0
1276.16/1276.26 c twoopt : 0.00 0 0
1276.16/1276.26 c fixandinfer : 0.00 0 0
1276.16/1276.26 c feaspump : 0.00 0 0
1276.16/1276.26 c clique : 0.00 0 0
1276.16/1276.26 c coefdiving : 0.00 0 0
1276.16/1276.26 c pscostdiving : 0.00 0 0
1276.16/1276.26 c fracdiving : 0.00 0 0
1276.16/1276.26 c veclendiving : 0.00 0 0
1276.16/1276.26 c intdiving : 0.00 0 0
1276.16/1276.26 c actconsdiving : 0.00 0 0
1276.16/1276.26 c objpscostdiving : 0.00 0 0
1276.16/1276.26 c rootsoldiving : 0.00 0 0
1276.16/1276.26 c linesearchdiving : 0.00 0 0
1276.16/1276.26 c guideddiving : 0.00 0 0
1276.16/1276.26 c octane : 0.00 0 0
1276.16/1276.26 c rens : 0.11 1 1
1276.16/1276.26 c rins : 0.00 0 0
1276.16/1276.26 c localbranching : 0.00 0 0
1276.16/1276.26 c mutation : 0.00 0 0
1276.16/1276.26 c dins : 0.00 0 0
1276.16/1276.26 c vbounds : 0.00 0 0
1276.16/1276.26 c undercover : 0.00 0 0
1276.16/1276.26 c subnlp : 0.24 0 0
1276.16/1276.26 c trysol : 0.15 0 0
1276.16/1276.26 c LP : Time Calls Iterations Iter/call Iter/sec
1276.16/1276.26 c primal LP : 0.00 0 0 0.00 -
1276.16/1276.26 c dual LP : 0.10 5 462 92.40 4522.63
1276.16/1276.26 c lex dual LP : 0.00 0 0 0.00 -
1276.16/1276.26 c barrier LP : 0.00 0 0 0.00 -
1276.16/1276.26 c diving/probing LP: 0.00 0 0 0.00 -
1276.16/1276.26 c strong branching : 3.14 44 15888 361.09 5053.79
1276.16/1276.26 c (at root node) : - 44 15888 361.09 -
1276.16/1276.26 c conflict analysis: 0.00 0 0 0.00 -
1276.16/1276.26 c B&B Tree :
1276.16/1276.26 c number of runs : 1
1276.16/1276.26 c nodes : 1614268
1276.16/1276.26 c nodes (total) : 1614268
1276.16/1276.26 c nodes left : 0
1276.16/1276.26 c max depth : 805
1276.16/1276.26 c max depth (total): 805
1276.16/1276.26 c backtracks : 148554 (9.2%)
1276.16/1276.26 c delayed cutoffs : 133635
1276.16/1276.26 c repropagations : 4460544 (44333576 domain reductions, 133622 cutoffs)
1276.16/1276.26 c avg switch length: 6.79
1276.16/1276.26 c switching time : 230.03
1276.16/1276.26 c Solution :
1276.16/1276.26 c Solutions found : 9 (8 improvements)
1276.16/1276.26 c First Solution : +1.00900000000000e+03 (in run 1, after 0 nodes, 0.26 seconds, depth 0, found by <trivial>)
1276.16/1276.26 c Primal Bound : +5.00000000000000e+00 (in run 1, after 1614268 nodes, 1276.25 seconds, depth 113, found by <relaxation>)
1276.16/1276.26 c Dual Bound : +5.00000000000000e+00
1276.16/1276.26 c Gap : 0.00 %
1276.16/1276.26 c Root Dual Bound : +4.50000000000000e+00
1276.16/1276.26 c Root Iterations : 462
1276.26/1276.30 c Time complete: 1276.27.
OK 5
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453263-1307092676/watcher-3453263-1307092676 -o /tmp/evaluation-result-3453263-1307092676/solver-3453263-1307092676 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453263-1307092676.opb -t 1800 -m 15500 running on 4 cores: 1,3,5,7 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.00 1.99 3/464 5855 /proc/meminfo: memFree=30092828/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=10588 CPUtime=0 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 1629 0 0 0 0 0 0 0 25 0 1 0 820867455 10842112 1582 33554432000 4194304 9128323 140736957102416 18446744073709551615 7985376 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 2647 1582 391 1205 0 1438 0 [startup+0.0237851 s] /proc/loadavg: 1.93 2.00 1.99 3/464 5855 /proc/meminfo: memFree=30092828/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=11376 CPUtime=0.01 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 1855 0 0 0 1 0 0 0 25 0 1 0 820867455 11649024 1808 33554432000 4194304 9128323 140736957102416 18446744073709551615 7903758 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 2844 1808 400 1205 0 1635 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11376 [startup+0.10077 s] /proc/loadavg: 1.93 2.00 1.99 3/464 5855 /proc/meminfo: memFree=30092828/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=14692 CPUtime=0.09 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 2676 0 0 0 9 0 0 0 25 0 1 0 820867455 15044608 2629 33554432000 4194304 9128323 140736957102416 18446744073709551615 7902538 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 3673 2629 400 1205 0 2464 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14692 [startup+0.300737 s] /proc/loadavg: 1.93 2.00 1.99 3/464 5855 /proc/meminfo: memFree=30092828/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=61660 CPUtime=0.29 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 14099 0 0 0 28 1 0 0 25 0 1 0 820867455 63139840 14050 33554432000 4194304 9128323 140736957102416 18446744073709551615 5202358 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 15415 14050 500 1205 0 14206 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61660 [startup+0.700662 s] /proc/loadavg: 1.93 2.00 1.99 3/464 5855 /proc/meminfo: memFree=30092828/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=65092 CPUtime=0.69 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 15200 0 0 0 68 1 0 0 25 0 1 0 820867455 66654208 14894 33554432000 4194304 9128323 140736957102416 18446744073709551615 5326944 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 16273 14894 512 1205 0 15064 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 65092 [startup+1.5006 s] /proc/loadavg: 1.93 2.00 1.99 3/465 5857 /proc/meminfo: memFree=29980104/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=118484 CPUtime=1.48 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 38333 0 0 0 142 6 0 0 25 0 1 0 820867455 121327616 27900 33554432000 4194304 9128323 140736957102416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 29621 27900 705 1205 0 28412 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 118484 [startup+3.10031 s] /proc/loadavg: 1.93 2.00 1.99 3/465 5857 /proc/meminfo: memFree=29963116/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=118484 CPUtime=3.09 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 38333 0 0 0 299 10 0 0 25 0 1 0 820867455 121327616 27900 33554432000 4194304 9128323 140736957102416 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 29621 27900 705 1205 0 28412 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 118484 [startup+6.30074 s] /proc/loadavg: 1.94 2.00 1.99 3/465 5857 /proc/meminfo: memFree=29958560/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=118484 CPUtime=6.29 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 38341 0 0 0 613 16 0 0 25 0 1 0 820867455 121327616 27908 33554432000 4194304 9128323 140736957102416 18446744073709551615 4793906 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 29621 27908 712 1205 0 28412 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118484 [startup+12.7006 s] /proc/loadavg: 2.02 2.02 2.00 3/465 5857 /proc/meminfo: memFree=29955004/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=118484 CPUtime=12.69 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 38346 0 0 0 1253 16 0 0 25 0 1 0 820867455 121327616 27913 33554432000 4194304 9128323 140736957102416 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 29621 27913 712 1205 0 28412 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 118484 [startup+25.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/465 5857 /proc/meminfo: memFree=29953680/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=118484 CPUtime=25.49 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 38346 0 0 0 2533 16 0 0 25 0 1 0 820867455 121327616 27913 33554432000 4194304 9128323 140736957102416 18446744073709551615 4912480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 29621 27913 712 1205 0 28412 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 118484 [startup+51.1008 s] /proc/loadavg: 2.15 2.04 2.01 3/465 5858 /proc/meminfo: memFree=29948988/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=122028 CPUtime=51.09 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 39256 0 0 0 5093 16 0 0 25 0 1 0 820867455 124956672 28823 33554432000 4194304 9128323 140736957102416 18446744073709551615 5333320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 30507 28823 712 1205 0 29298 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 122028 [startup+102.318 s] /proc/loadavg: 2.18 2.07 2.01 3/465 5859 /proc/meminfo: memFree=29943120/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=126328 CPUtime=102.29 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 40339 0 0 0 10213 16 0 0 25 0 1 0 820867455 129359872 29906 33554432000 4194304 9128323 140736957102416 18446744073709551615 5983237 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 31582 29906 712 1205 0 30373 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 126328 [startup+162.3 s] /proc/loadavg: 2.06 2.05 2.01 3/465 5861 /proc/meminfo: memFree=29938728/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=129096 CPUtime=162.27 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 41021 0 0 0 16211 16 0 0 25 0 1 0 820867455 132194304 30588 33554432000 4194304 9128323 140736957102416 18446744073709551615 5984500 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 32274 30588 712 1205 0 31065 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 129096 [startup+222.301 s] /proc/loadavg: 2.02 2.04 2.00 3/465 5862 /proc/meminfo: memFree=29937936/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=130096 CPUtime=222.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 41237 0 0 0 22210 16 0 0 25 0 1 0 820867455 133218304 30804 33554432000 4194304 9128323 140736957102416 18446744073709551615 5321294 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 32524 30804 712 1205 0 31315 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 130096 [startup+282.301 s] /proc/loadavg: 2.01 2.03 2.00 3/465 5864 /proc/meminfo: memFree=29938152/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=130496 CPUtime=282.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 41338 0 0 0 28210 16 0 0 25 0 1 0 820867455 133627904 30905 33554432000 4194304 9128323 140736957102416 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 32624 30905 712 1205 0 31415 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 130496 [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5866 /proc/meminfo: memFree=29937752/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=131088 CPUtime=342.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 41430 0 0 0 34210 16 0 0 25 0 1 0 820867455 134234112 30997 33554432000 4194304 9128323 140736957102416 18446744073709551615 6505546 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 32772 30997 712 1205 0 31563 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 131088 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5867 /proc/meminfo: memFree=29936952/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=131872 CPUtime=402.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 41629 0 0 0 40210 16 0 0 25 0 1 0 820867455 135036928 31196 33554432000 4194304 9128323 140736957102416 18446744073709551615 4209025 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 32968 31196 712 1205 0 31759 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 131872 [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5869 /proc/meminfo: memFree=29936548/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=132448 CPUtime=462.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 41742 0 0 0 46210 16 0 0 25 0 1 0 820867455 135626752 31309 33554432000 4194304 9128323 140736957102416 18446744073709551615 5983246 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 33112 31309 712 1205 0 31903 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 132448 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5870 /proc/meminfo: memFree=29935264/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=133676 CPUtime=522.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42030 0 0 0 52210 16 0 0 25 0 1 0 820867455 136884224 31597 33554432000 4194304 9128323 140736957102416 18446744073709551615 5984669 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 33419 31597 712 1205 0 32210 0 Current children cumulated CPU time (s) 522.26 Current children cumulated vsize (KiB) 133676 [startup+582.301 s] /proc/loadavg: 2.13 2.03 2.01 3/465 5872 /proc/meminfo: memFree=29934112/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=134880 CPUtime=582.27 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42319 0 0 0 58210 17 0 0 25 0 1 0 820867455 138117120 31886 33554432000 4194304 9128323 140736957102416 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 33720 31886 712 1205 0 32511 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 134880 [startup+642.3 s] /proc/loadavg: 2.19 2.07 2.02 3/465 5874 /proc/meminfo: memFree=29932444/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=136184 CPUtime=642.27 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42634 0 0 0 64210 17 0 0 25 0 1 0 820867455 139452416 32201 33554432000 4194304 9128323 140736957102416 18446744073709551615 6509536 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34046 32201 712 1205 0 32837 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 136184 [startup+702.301 s] /proc/loadavg: 2.11 2.07 2.02 3/465 5875 /proc/meminfo: memFree=29930160/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=137204 CPUtime=702.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42884 0 0 0 70209 17 0 0 25 0 1 0 820867455 140496896 32451 33554432000 4194304 9128323 140736957102416 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34301 32451 712 1205 0 33092 0 Current children cumulated CPU time (s) 702.26 Current children cumulated vsize (KiB) 137204 [startup+762.317 s] /proc/loadavg: 2.04 2.05 2.01 3/465 5877 /proc/meminfo: memFree=29930488/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=137336 CPUtime=762.28 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42905 0 0 0 76211 17 0 0 25 0 1 0 820867455 140632064 32472 33554432000 4194304 9128323 140736957102416 18446744073709551615 5321233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34334 32472 712 1205 0 33125 0 Current children cumulated CPU time (s) 762.28 Current children cumulated vsize (KiB) 137336 [startup+822.301 s] /proc/loadavg: 2.01 2.04 2.01 3/465 5878 /proc/meminfo: memFree=29929948/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=137612 CPUtime=822.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42954 0 0 0 82209 17 0 0 25 0 1 0 820867455 140914688 32521 33554432000 4194304 9128323 140736957102416 18446744073709551615 5983317 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34403 32521 712 1205 0 33194 0 Current children cumulated CPU time (s) 822.26 Current children cumulated vsize (KiB) 137612 [startup+882.301 s] /proc/loadavg: 2.00 2.03 2.00 3/465 5880 /proc/meminfo: memFree=29930028/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=137612 CPUtime=882.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42962 0 0 0 88209 17 0 0 25 0 1 0 820867455 140914688 32529 33554432000 4194304 9128323 140736957102416 18446744073709551615 4912278 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34403 32529 712 1205 0 33194 0 Current children cumulated CPU time (s) 882.26 Current children cumulated vsize (KiB) 137612 [startup+942.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5882 /proc/meminfo: memFree=29930240/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=137760 CPUtime=942.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 42982 0 0 0 94209 17 0 0 25 0 1 0 820867455 141066240 32549 33554432000 4194304 9128323 140736957102416 18446744073709551615 5984431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34440 32549 712 1205 0 33231 0 Current children cumulated CPU time (s) 942.26 Current children cumulated vsize (KiB) 137760 [startup+1002.3 s] /proc/loadavg: 2.00 2.02 2.00 3/465 5883 /proc/meminfo: memFree=29929696/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=137920 CPUtime=1002.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43015 0 0 0 100209 17 0 0 25 0 1 0 820867455 141230080 32582 33554432000 4194304 9128323 140736957102416 18446744073709551615 4207431 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34480 32582 712 1205 0 33271 0 Current children cumulated CPU time (s) 1002.26 Current children cumulated vsize (KiB) 137920 [startup+1062.3 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5885 /proc/meminfo: memFree=29929144/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138052 CPUtime=1062.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43036 0 0 0 106209 17 0 0 25 0 1 0 820867455 141365248 32603 33554432000 4194304 9128323 140736957102416 18446744073709551615 5984548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34513 32603 712 1205 0 33304 0 Current children cumulated CPU time (s) 1062.26 Current children cumulated vsize (KiB) 138052 [startup+1122.3 s] /proc/loadavg: 2.00 2.01 2.00 3/465 5886 /proc/meminfo: memFree=29928736/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138184 CPUtime=1122.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43051 0 0 0 112209 17 0 0 25 0 1 0 820867455 141500416 32618 33554432000 4194304 9128323 140736957102416 18446744073709551615 4912271 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34546 32618 712 1205 0 33337 0 Current children cumulated CPU time (s) 1122.26 Current children cumulated vsize (KiB) 138184 [startup+1182.3 s] /proc/loadavg: 2.07 2.03 2.01 3/465 5888 /proc/meminfo: memFree=29927828/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138348 CPUtime=1182.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43074 0 0 0 118209 17 0 0 25 0 1 0 820867455 141668352 32641 33554432000 4194304 9128323 140736957102416 18446744073709551615 4207459 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34587 32641 712 1205 0 33378 0 Current children cumulated CPU time (s) 1182.26 Current children cumulated vsize (KiB) 138348 [startup+1242.3 s] /proc/loadavg: 2.16 2.06 2.02 3/465 5890 /proc/meminfo: memFree=29927168/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138512 CPUtime=1242.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43112 0 0 0 124209 17 0 0 25 0 1 0 820867455 141836288 32679 33554432000 4194304 9128323 140736957102416 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34628 32679 712 1205 0 33419 0 Current children cumulated CPU time (s) 1242.26 Current children cumulated vsize (KiB) 138512 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 2.13 2.06 2.02 3/465 5890 /proc/meminfo: memFree=29927288/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138512 CPUtime=1254.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43125 0 0 0 125409 17 0 0 25 0 1 0 820867455 141836288 32692 33554432000 4194304 9128323 140736957102416 18446744073709551615 5333242 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34628 32692 712 1205 0 33419 0 Current children cumulated CPU time (s) 1254.26 Current children cumulated vsize (KiB) 138512 [startup+1267.1 s] /proc/loadavg: 2.10 2.06 2.01 3/465 5890 /proc/meminfo: memFree=29927408/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138652 CPUtime=1267.07 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43130 0 0 0 126690 17 0 0 25 0 1 0 820867455 141979648 32697 33554432000 4194304 9128323 140736957102416 18446744073709551615 4207183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34663 32697 712 1205 0 33454 0 Current children cumulated CPU time (s) 1267.07 Current children cumulated vsize (KiB) 138652 [startup+1270.3 s] /proc/loadavg: 2.10 2.06 2.01 3/465 5890 /proc/meminfo: memFree=29927036/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138652 CPUtime=1270.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43130 0 0 0 127009 17 0 0 25 0 1 0 820867455 141979648 32697 33554432000 4194304 9128323 140736957102416 18446744073709551615 4912320 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34663 32697 712 1205 0 33454 0 Current children cumulated CPU time (s) 1270.26 Current children cumulated vsize (KiB) 138652 [startup+1273.5 s] /proc/loadavg: 2.10 2.06 2.01 3/465 5890 /proc/meminfo: memFree=29927036/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138652 CPUtime=1273.46 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43141 0 0 0 127329 17 0 0 25 0 1 0 820867455 141979648 32708 33554432000 4194304 9128323 140736957102416 18446744073709551615 4840374 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34663 32708 712 1205 0 33454 0 Current children cumulated CPU time (s) 1273.46 Current children cumulated vsize (KiB) 138652 [startup+1275.1 s] /proc/loadavg: 2.09 2.06 2.01 3/465 5890 /proc/meminfo: memFree=29926784/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138652 CPUtime=1275.06 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43143 0 0 0 127489 17 0 0 25 0 1 0 820867455 141979648 32710 33554432000 4194304 9128323 140736957102416 18446744073709551615 4900871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34663 32710 712 1205 0 33454 0 Current children cumulated CPU time (s) 1275.06 Current children cumulated vsize (KiB) 138652 [startup+1275.9 s] /proc/loadavg: 2.09 2.06 2.01 3/465 5891 /proc/meminfo: memFree=29927032/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=138652 CPUtime=1275.87 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43146 0 0 0 127570 17 0 0 25 0 1 0 820867455 141979648 32713 33554432000 4194304 9128323 140736957102416 18446744073709551615 5985952 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/5855/statm: 34663 32713 712 1205 0 33454 0 Current children cumulated CPU time (s) 1275.87 Current children cumulated vsize (KiB) 138652 [startup+1276.3 s] /proc/loadavg: 2.09 2.06 2.01 3/465 5891 /proc/meminfo: memFree=29927032/32950928 swapFree=45617076/67111528 [pid=5855] ppid=5853 vsize=120372 CPUtime=1276.26 cores=1,3,5,7 /proc/5855/stat : 5855 (scip-2.0.1.4.li) R 5853 5855 5789 0 -1 4202496 43149 0 0 0 127609 17 0 0 25 0 1 0 820867455 123260928 28148 33554432000 4194304 9128323 140736957102416 18446744073709551615 6885312 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5855/statm: 30093 28148 715 1205 0 28884 0 Current children cumulated CPU time (s) 1276.26 Current children cumulated vsize (KiB) 120372 Child status: 0 Real time (s): 1276.31 CPU time (s): 1276.28 CPU user time (s): 1276.1 CPU system time (s): 0.180972 CPU usage (%): 99.9976 Max. virtual memory (cumulated for all children) (KiB): 150164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1276.1 system time used= 0.180972 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43151 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= 7 involuntary context switches= 1959 runsolver used 5.70113 second user time and 13.6509 second system time The end
Begin job on node123 at 2011-06-03 11:17:57 IDJOB=3453263 IDBENCH=2838 IDSOLVER=1949 FILE ID=node123/3453263-1307092676 RUNJOBID= node123-1307092676-5809 PBS_JOBID= 13497979 Free space on /tmp= 73816 MiB SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453263-1307092676/watcher-3453263-1307092676 -o /tmp/evaluation-result-3453263-1307092676/solver-3453263-1307092676 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453263-1307092676.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1 RANDOM SEED=341592111 node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30093108 kB Buffers: 253428 kB Cached: 353904 kB SwapCached: 9456 kB Active: 2292396 kB Inactive: 284212 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30093108 kB SwapTotal: 67111528 kB SwapFree: 45617076 kB Dirty: 26412 kB Writeback: 0 kB AnonPages: 1967028 kB Mapped: 25720 kB Slab: 134200 kB PageTables: 78436 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 133398648 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73804 MiB End job on node123 at 2011-06-03 11:39:13