Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 | SAT (TO) | -52 | 1800.09 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_4.opb |
| MD5SUM | 69a7dda5c80f9dda65f29fb6eb76eed7 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -53 |
| Best CPU time to get the best result obtained on this benchmark | 1797.51 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -53 |
| Optimality of the best value was proved | NO |
| Number of variables | 200 |
| Total number of constraints | 200 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 200 |
| Minimum length of a constraint | 10 |
| Maximum length of a constraint | 21 |
| Number of terms in the objective function | 200 |
| 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 | 200 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 200 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 2524 |
| Sum of products size (including duplicates) | 5048 |
| Number of different products | 1262 |
| Sum of products size | 2524 |
0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3450689-1307107454.opb>
0.00/0.01 c original problem has 1462 variables (1462 bin, 0 int, 0 impl, 0 cont) and 1662 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.00/0.02 c presolving:
0.02/0.04 c (round 1) 1262 del vars, 400 del conss, 0 add conss, 1262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 5048 impls, 0 clqs
0.02/0.05 c (round 2) 1262 del vars, 400 del conss, 0 add conss, 1262 chg bounds, 0 chg sides, 0 chg coeffs, 1262 upgd conss, 7572 impls, 0 clqs
0.02/0.06 c (0.1s) probing: 101/200 (50.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.02/0.06 c (0.1s) probing aborted: 100/100 successive totally useless probings
0.02/0.06 c presolving (3 rounds):
0.02/0.06 c 1262 deleted vars, 400 deleted constraints, 0 added constraints, 1262 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.02/0.06 c 7572 implications, 0 cliques
0.02/0.06 c presolved problem has 200 variables (200 bin, 0 int, 0 impl, 0 cont) and 1262 constraints
0.02/0.06 c 1262 constraints of type <logicor>
0.02/0.06 c transformed objective value is always integral (scale: 1)
0.02/0.06 c Presolving Time: 0.04
0.02/0.06 c - non default parameters ----------------------------------------------------------------------
0.02/0.06 c # SCIP version 2.0.1.5
0.02/0.06 c
0.02/0.06 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: -1]
0.02/0.06 c conflict/interconss = 0
0.02/0.06 c
0.02/0.06 c # should binary conflicts be preferred?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c conflict/preferbinary = TRUE
0.02/0.06 c
0.02/0.06 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 0]
0.02/0.06 c constraints/agelimit = 1
0.02/0.06 c
0.02/0.06 c # should enforcement of pseudo solution be disabled?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/disableenfops = TRUE
0.02/0.06 c
0.02/0.06 c # frequency for displaying node information lines
0.02/0.06 c # [type: int, range: [-1,2147483647], default: 100]
0.02/0.06 c display/freq = 10000
0.02/0.06 c
0.02/0.06 c # maximal time in seconds to run
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/time = 1800
0.02/0.06 c
0.02/0.06 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.02/0.06 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.02/0.06 c limits/memory = 13950
0.02/0.06 c
0.02/0.06 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.02/0.06 c # [type: int, range: [1,2], default: 1]
0.02/0.06 c timing/clocktype = 2
0.02/0.06 c
0.02/0.06 c # belongs reading time to solving time?
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c timing/reading = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify inequalities
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/linear/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/indicator/addCouplingCons = TRUE
0.02/0.06 c
0.02/0.06 c # should presolving try to simplify knapsacks
0.02/0.06 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.02/0.06 c constraints/knapsack/simplifyinequalities = TRUE
0.02/0.06 c
0.02/0.06 c -----------------------------------------------------------------------------------------------
0.02/0.06 c start solving
0.02/0.06 c
0.02/0.07 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.02/0.07 c t 0.1s| 1 | 0 | 219 | - |4794k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 | 0.000000e+00 | 100.00%
0.02/0.07 o -1
0.02/0.07 c R 0.1s| 1 | 0 | 219 | - |4797k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-1.000000e+00 | 99.00%
0.02/0.07 o -2
0.02/0.07 c s 0.1s| 1 | 0 | 219 | - |4799k| 0 | 200 | 200 |1262 | 200 |1262 | 0 | 0 | 0 |-1.000000e+02 |-2.000000e+00 | 98.00%
0.09/0.10 c 0.1s| 1 | 0 | 305 | - |4805k| 0 | 192 | 200 |1262 | 200 |1270 | 8 | 0 | 0 |-9.600000e+01 |-2.000000e+00 | 97.92%
0.09/0.16 o -40
0.09/0.16 c b 0.1s| 1 | 0 | 305 | - |4810k| 0 | 192 | 200 |1262 | 200 |1270 | 8 | 0 | 0 |-9.600000e+01 |-4.000000e+01 | 58.33%
0.09/0.16 c 0.1s| 1 | 0 | 347 | - |4814k| 0 | 187 | 200 |1262 | 200 |1278 | 16 | 0 | 0 |-9.350000e+01 |-4.000000e+01 | 57.22%
0.09/0.16 c 0.1s| 1 | 0 | 395 | - |4820k| 0 | 185 | 200 |1262 | 200 |1285 | 23 | 0 | 0 |-9.250000e+01 |-4.000000e+01 | 56.76%
0.09/0.18 c 0.2s| 1 | 0 | 582 | - |4830k| 0 | 182 | 200 |1262 | 200 |1293 | 31 | 0 | 0 |-9.100000e+01 |-4.000000e+01 | 56.04%
0.09/0.23 c 0.2s| 1 | 0 | 738 | - |4838k| 0 | 178 | 200 |1262 | 200 |1302 | 40 | 0 | 0 |-8.875000e+01 |-4.000000e+01 | 54.93%
0.26/0.27 c 0.3s| 1 | 0 | 910 | - |4885k| 0 | 177 | 200 |1262 | 200 |1312 | 50 | 0 | 0 |-8.733333e+01 |-4.000000e+01 | 54.20%
0.29/0.33 c 0.3s| 1 | 0 | 1142 | - |5000k| 0 | 171 | 200 |1262 | 200 |1321 | 59 | 0 | 0 |-8.550000e+01 |-4.000000e+01 | 53.22%
0.39/0.41 c 0.4s| 1 | 0 | 1483 | - |5144k| 0 | 168 | 200 |1262 | 200 |1328 | 66 | 0 | 0 |-8.400000e+01 |-4.000000e+01 | 52.38%
0.39/0.47 c 0.5s| 1 | 0 | 1661 | - |5168k| 0 | 168 | 200 |1262 | 200 |1335 | 73 | 0 | 0 |-8.350000e+01 |-4.000000e+01 | 52.10%
0.49/0.53 c 0.5s| 1 | 0 | 1876 | - |5223k| 0 | 171 | 200 |1262 | 200 |1344 | 82 | 0 | 0 |-8.275000e+01 |-4.000000e+01 | 51.66%
0.59/0.62 c 0.6s| 1 | 0 | 2452 | - |5556k| 0 | 165 | 200 |1262 | 200 | 458 | 94 | 0 | 0 |-8.100000e+01 |-4.000000e+01 | 50.62%
0.59/0.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.59/0.64 c 0.6s| 1 | 0 | 2572 | - |5589k| 0 | 178 | 200 |1262 | 200 | 467 | 103 | 0 | 0 |-8.000000e+01 |-4.000000e+01 | 50.00%
0.59/0.68 c 0.7s| 1 | 0 | 2954 | - |6109k| 0 | 183 | 200 |1262 | 200 | 493 | 129 | 0 | 0 |-7.908088e+01 |-4.000000e+01 | 49.42%
0.69/0.75 c 0.8s| 1 | 0 | 3224 | - |6734k| 0 | 154 | 200 |1262 | 200 | 618 | 254 | 0 | 0 |-7.800000e+01 |-4.000000e+01 | 48.72%
0.79/0.81 c 0.8s| 1 | 0 | 3682 | - |6771k| 0 | 196 | 200 |1262 | 200 | 631 | 267 | 0 | 0 |-7.751660e+01 |-4.000000e+01 | 48.40%
0.89/0.90 c 0.9s| 1 | 0 | 3922 | - |8211k| 0 | 177 | 200 |1262 | 200 | 711 | 347 | 0 | 0 |-7.675000e+01 |-4.000000e+01 | 47.88%
0.89/0.96 c 1.0s| 1 | 0 | 4175 | - |8635k| 0 | 152 | 200 |1262 | 200 | 587 | 360 | 0 | 0 |-7.600000e+01 |-4.000000e+01 | 47.37%
0.89/1.00 c 1.0s| 1 | 0 | 4380 | - |8672k| 0 | 195 | 200 |1262 | 200 | 595 | 368 | 0 | 0 |-7.586090e+01 |-4.000000e+01 | 47.27%
1.00/1.09 c 1.1s| 1 | 0 | 4719 | - |9962k| 0 | 185 | 200 |1262 | 200 | 646 | 419 | 0 | 0 |-7.497951e+01 |-4.000000e+01 | 46.65%
1.11/1.17 c 1.2s| 1 | 0 | 4912 | - | 10M| 0 | 165 | 200 |1262 | 200 | 684 | 457 | 0 | 0 |-7.450000e+01 |-4.000000e+01 | 46.31%
1.19/1.21 c 1.2s| 1 | 0 | 5153 | - | 10M| 0 | 191 | 200 |1262 | 200 | 693 | 466 | 0 | 0 |-7.410938e+01 |-4.000000e+01 | 46.03%
1.19/1.27 c 1.3s| 1 | 0 | 5473 | - | 11M| 0 | 198 | 200 |1262 | 200 | 711 | 484 | 0 | 0 |-7.366702e+01 |-4.000000e+01 | 45.70%
1.29/1.32 c 1.3s| 1 | 0 | 5729 | - | 11M| 0 | 197 | 200 |1262 | 200 | 630 | 511 | 0 | 0 |-7.320499e+01 |-4.000000e+01 | 45.36%
1.29/1.38 c 1.4s| 1 | 0 | 6065 | - | 11M| 0 | 198 | 200 |1262 | 200 | 650 | 531 | 0 | 0 |-7.261626e+01 |-4.000000e+01 | 44.92%
1.39/1.43 c 1.4s| 1 | 0 | 6292 | - | 11M| 0 | 199 | 200 |1262 | 200 | 672 | 553 | 0 | 0 |-7.214502e+01 |-4.000000e+01 | 44.56%
1.49/1.51 c 1.5s| 1 | 0 | 6675 | - | 12M| 0 | 200 | 200 |1262 | 200 | 684 | 565 | 0 | 0 |-7.143188e+01 |-4.000000e+01 | 44.00%
1.49/1.57 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1.49/1.57 c 1.6s| 1 | 0 | 6976 | - | 12M| 0 | 196 | 200 |1262 | 200 | 703 | 584 | 0 | 0 |-7.109097e+01 |-4.000000e+01 | 43.73%
1.59/1.62 c 1.6s| 1 | 0 | 7097 | - | 12M| 0 | 199 | 200 |1262 | 200 | 721 | 602 | 0 | 0 |-7.098573e+01 |-4.000000e+01 | 43.65%
1.59/1.67 c 1.7s| 1 | 0 | 7255 | - | 12M| 0 | 200 | 200 |1262 | 200 | 497 | 612 | 0 | 0 |-7.083199e+01 |-4.000000e+01 | 43.53%
1.69/1.70 c 1.7s| 1 | 0 | 7279 | - | 12M| 0 | 200 | 200 |1262 | 200 | 503 | 618 | 0 | 0 |-7.080466e+01 |-4.000000e+01 | 43.51%
1.69/1.74 c 1.7s| 1 | 0 | 7323 | - | 12M| 0 | 200 | 200 |1262 | 200 | 510 | 625 | 0 | 0 |-7.077773e+01 |-4.000000e+01 | 43.49%
1.69/1.77 c 1.8s| 1 | 0 | 7329 | - | 12M| 0 | 200 | 200 |1262 | 200 | 512 | 627 | 0 | 0 |-7.077618e+01 |-4.000000e+01 | 43.48%
1.79/1.80 c 1.8s| 1 | 0 | 7343 | - | 12M| 0 | 200 | 200 |1262 | 200 | 515 | 630 | 0 | 0 |-7.077190e+01 |-4.000000e+01 | 43.48%
1.79/1.83 c 1.8s| 1 | 0 | 7346 | - | 12M| 0 | 200 | 200 |1262 | 200 | 516 | 631 | 0 | 0 |-7.077162e+01 |-4.000000e+01 | 43.48%
2.49/2.57 c 2.6s| 1 | 2 | 7346 | - | 12M| 0 | 200 | 200 |1262 | 200 | 516 | 631 | 0 | 26 |-7.077162e+01 |-4.000000e+01 | 43.48%
3.20/3.30 o -43
3.20/3.30 c * 3.3s| 47 | 44 | 8849 | 32.7 | 12M| 21 | - | 200 |1262 | 200 | 282 | 996 | 0 | 756 |-7.010195e+01 |-4.300000e+01 | 38.66%
3.49/3.56 o -44
3.49/3.56 c * 3.6s| 101 | 82 | 10283 | 29.4 | 12M| 21 | - | 200 |1262 | 200 | 286 |1590 | 0 |1183 |-7.010195e+01 |-4.400000e+01 | 37.23%
3.59/3.64 o -45
3.59/3.64 c * 3.6s| 127 | 92 | 11067 | 29.5 | 12M| 23 | - | 200 |1262 | 200 | 272 |1944 | 0 |1256 |-7.010195e+01 |-4.500000e+01 | 35.81%
3.59/3.68 o -46
3.59/3.68 c * 3.7s| 155 | 100 | 11711 | 28.3 | 12M| 26 | - | 200 |1262 | 200 | 267 |2245 | 0 |1274 |-7.010195e+01 |-4.600000e+01 | 34.38%
6.99/7.03 o -49
6.99/7.03 c o 7.0s| 2049 | 1828 | 91958 | 41.3 | 14M| 34 | 0 | 200 |1262 | 200 | 255 | 35k| 0 |1591 |-6.874005e+01 |-4.900000e+01 | 28.72%
17.00/17.06 c 17.1s| 10000 | 6812 |368738 | 36.1 | 18M| 41 | 90 | 200 |1262 | 200 | 257 | 168k| 0 |2391 |-6.733333e+01 |-4.900000e+01 | 27.23%
28.29/28.39 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
28.29/28.39 c 28.4s| 20000 | 12996 |683382 | 33.8 | 24M| 51 | - | 200 |1262 | 200 | 259 | 329k| 0 |3342 |-6.660000e+01 |-4.900000e+01 | 26.43%
29.39/29.44 o -50
29.39/29.44 c *29.4s| 21234 | 11487 |713278 | 33.2 | 23M| 51 | - | 200 |1262 | 200 | 245 | 347k| 0 |3423 |-6.655556e+01 |-5.000000e+01 | 24.87%
37.69/37.72 c 37.7s| 30000 | 15021 |945936 | 31.3 | 26M| 51 | 90 | 200 |1262 | 200 | 255 | 479k| 0 |3930 |-6.633333e+01 |-5.000000e+01 | 24.62%
46.89/46.91 c 46.9s| 40000 | 18779 | 1211k| 30.1 | 30M| 51 | 59 | 200 |1262 | 200 | 246 | 635k| 0 |4489 |-6.600000e+01 |-5.000000e+01 | 24.24%
55.49/55.55 c 55.6s| 50000 | 22441 | 1464k| 29.1 | 34M| 58 | 2 | 200 |1262 | 200 | 200 | 788k| 0 |4924 |-6.573171e+01 |-5.000000e+01 | 23.93%
64.59/64.60 c 64.6s| 60000 | 26363 | 1730k| 28.7 | 38M| 58 | 9 | 200 |1262 | 200 | 200 | 941k| 0 |5349 |-6.550000e+01 |-5.000000e+01 | 23.66%
72.39/72.43 o -51
72.39/72.43 c *72.4s| 69050 | 24458 | 1960k| 28.3 | 37M| 58 | - | 200 |1262 | 200 | 251 |1080k| 0 |5683 |-6.525000e+01 |-5.100000e+01 | 21.84%
73.19/73.20 c 73.2s| 70000 | 24688 | 1983k| 28.2 | 37M| 58 | - | 200 |1262 | 200 | 245 |1096k| 0 |5683 |-6.525000e+01 |-5.100000e+01 | 21.84%
81.69/81.79 c 81.8s| 80000 | 27858 | 2238k| 27.9 | 40M| 58 | 99 | 200 |1262 | 200 | 272 |1253k| 0 |5994 |-6.500000e+01 |-5.100000e+01 | 21.54%
89.99/90.03 c 90.0s| 90000 | 30732 | 2481k| 27.5 | 43M| 58 | 2 | 200 |1262 | 200 | 200 |1405k| 0 |6308 |-6.480000e+01 |-5.100000e+01 | 21.30%
98.19/98.29 c 98.3s|100000 | 33534 | 2727k| 27.2 | 46M| 58 | - | 200 |1262 | 200 | 238 |1564k| 0 |6541 |-6.456667e+01 |-5.100000e+01 | 21.01%
106.39/106.42 c 106s|110000 | 35986 | 2972k| 27.0 | 49M| 58 | 2 | 200 |1262 | 200 | 200 |1727k| 0 |6797 |-6.444444e+01 |-5.100000e+01 | 20.86%
114.49/114.57 c 115s|120000 | 38420 | 3220k| 26.8 | 52M| 58 | 63 | 200 |1262 | 200 | 226 |1896k| 0 |7037 |-6.420000e+01 |-5.100000e+01 | 20.56%
122.29/122.36 c 122s|130000 | 40922 | 3456k| 26.5 | 55M| 59 | 45 | 200 |1262 | 200 | 250 |2050k| 0 |7253 |-6.400000e+01 |-5.100000e+01 | 20.31%
130.39/130.43 c 130s|140000 | 43646 | 3699k| 26.4 | 58M| 59 | 82 | 200 |1262 | 200 | 256 |2208k| 0 |7474 |-6.400000e+01 |-5.100000e+01 | 20.31%
138.19/138.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.19/138.24 c 138s|150000 | 45984 | 3936k| 26.2 | 60M| 59 | 4 | 200 |1262 | 200 | 200 |2369k| 0 |7652 |-6.376190e+01 |-5.100000e+01 | 20.01%
146.31/146.35 c 146s|160000 | 48840 | 4173k| 26.0 | 63M| 59 | 26 | 200 |1262 | 200 | 200 |2522k| 0 |7817 |-6.360000e+01 |-5.100000e+01 | 19.81%
154.10/154.16 c 154s|170000 | 51396 | 4403k| 25.9 | 66M| 59 | 26 | 200 |1262 | 200 | 241 |2678k| 0 |8002 |-6.345833e+01 |-5.100000e+01 | 19.63%
161.80/161.85 c 162s|180000 | 53840 | 4629k| 25.7 | 69M| 59 | 77 | 200 |1262 | 200 | 242 |2833k| 0 |8159 |-6.325000e+01 |-5.100000e+01 | 19.37%
169.42/169.46 c 169s|190000 | 56208 | 4852k| 25.5 | 71M| 59 | - | 200 |1262 | 200 | 223 |2985k| 0 |8299 |-6.300000e+01 |-5.100000e+01 | 19.05%
177.20/177.26 c 177s|200000 | 58840 | 5077k| 25.4 | 74M| 59 | 72 | 200 |1262 | 200 | 261 |3130k| 0 |8457 |-6.300000e+01 |-5.100000e+01 | 19.05%
184.81/184.82 c 185s|210000 | 61166 | 5298k| 25.2 | 77M| 59 | - | 200 |1262 | 200 | 226 |3277k| 0 |8590 |-6.287500e+01 |-5.100000e+01 | 18.89%
192.29/192.33 c 192s|220000 | 63676 | 5510k| 25.0 | 80M| 59 | - | 200 |1262 | 200 | 271 |3412k| 0 |8774 |-6.274359e+01 |-5.100000e+01 | 18.72%
199.59/199.67 c 200s|230000 | 66088 | 5717k| 24.8 | 82M| 59 | - | 200 |1262 | 200 | 226 |3547k| 0 |8906 |-6.261111e+01 |-5.100000e+01 | 18.54%
206.89/206.95 c 207s|240000 | 68416 | 5920k| 24.6 | 85M| 59 | 38 | 200 |1262 | 200 | 249 |3680k| 0 |9021 |-6.250000e+01 |-5.100000e+01 | 18.40%
214.19/214.23 c 214s|250000 | 70822 | 6124k| 24.5 | 88M| 59 | 4 | 200 |1262 | 200 | 200 |3816k| 0 |9149 |-6.244444e+01 |-5.100000e+01 | 18.33%
221.59/221.66 c 222s|260000 | 73356 | 6329k| 24.3 | 90M| 59 | 17 | 200 |1262 | 200 | 226 |3945k| 0 |9279 |-6.233333e+01 |-5.100000e+01 | 18.18%
228.89/228.90 c 229s|270000 | 75700 | 6532k| 24.2 | 93M| 59 | - | 200 |1262 | 200 | 230 |4076k| 0 |9396 |-6.225000e+01 |-5.100000e+01 | 18.07%
236.20/236.20 c 236s|280000 | 78028 | 6730k| 24.0 | 95M| 59 | - | 200 |1262 | 200 | 268 |4203k| 0 |9518 |-6.214286e+01 |-5.100000e+01 | 17.93%
243.40/243.40 c 243s|290000 | 80512 | 6925k| 23.9 | 98M| 59 | 26 | 200 |1262 | 200 | 240 |4325k| 0 |9629 |-6.200000e+01 |-5.100000e+01 | 17.74%
250.40/250.48 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
250.40/250.48 c 250s|300000 | 82866 | 7116k| 23.7 | 101M| 59 | 16 | 200 |1262 | 200 | 226 |4448k| 0 |9719 |-6.200000e+01 |-5.100000e+01 | 17.74%
257.50/257.56 c 258s|310000 | 85156 | 7307k| 23.6 | 103M| 59 | 12 | 200 |1262 | 200 | 239 |4570k| 0 |9833 |-6.200000e+01 |-5.100000e+01 | 17.74%
264.59/264.63 c 265s|320000 | 87380 | 7499k| 23.4 | 106M| 59 | 20 | 200 |1262 | 200 | 200 |4690k| 0 |9920 |-6.194118e+01 |-5.100000e+01 | 17.66%
271.50/271.58 c 272s|330000 | 89674 | 7687k| 23.3 | 108M| 59 | 78 | 200 |1262 | 200 | 259 |4809k| 0 | 10k|-6.183333e+01 |-5.100000e+01 | 17.52%
278.50/278.58 c 279s|340000 | 92008 | 7875k| 23.1 | 111M| 59 | - | 200 |1262 | 200 | 277 |4926k| 0 | 10k|-6.175000e+01 |-5.100000e+01 | 17.41%
285.50/285.58 c 286s|350000 | 94370 | 8064k| 23.0 | 113M| 59 | - | 200 |1262 | 200 | 238 |5043k| 0 | 10k|-6.166667e+01 |-5.100000e+01 | 17.30%
292.40/292.49 c 292s|360000 | 96654 | 8248k| 22.9 | 116M| 59 | - | 200 |1262 | 200 | 232 |5159k| 0 | 10k|-6.166667e+01 |-5.100000e+01 | 17.30%
299.21/299.23 c 299s|370000 | 98818 | 8428k| 22.8 | 118M| 59 | - | 200 |1262 | 200 | 259 |5274k| 0 | 10k|-6.156897e+01 |-5.100000e+01 | 17.17%
306.00/306.04 c 306s|380000 |100894 | 8610k| 22.6 | 121M| 59 | - | 200 |1262 | 200 | 243 |5389k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
312.70/312.79 c 313s|390000 |103002 | 8789k| 22.5 | 123M| 59 | - | 200 |1262 | 200 | 255 |5500k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
319.50/319.51 c 320s|400000 |105236 | 8969k| 22.4 | 126M| 59 | 16 | 200 |1262 | 200 | 222 |5613k| 0 | 10k|-6.150000e+01 |-5.100000e+01 | 17.07%
326.10/326.19 c 326s|410000 |107104 | 9145k| 22.3 | 128M| 59 | - | 200 |1262 | 200 | 255 |5726k| 0 | 10k|-6.141667e+01 |-5.100000e+01 | 16.96%
332.90/332.97 c 333s|420000 |109162 | 9325k| 22.2 | 130M| 59 | - | 200 |1262 | 200 | 239 |5838k| 0 | 11k|-6.134300e+01 |-5.100000e+01 | 16.86%
339.70/339.72 c 340s|430000 |111170 | 9504k| 22.1 | 132M| 59 | 48 | 200 |1262 | 200 | 244 |5950k| 0 | 11k|-6.133333e+01 |-5.100000e+01 | 16.85%
346.51/346.55 c 347s|440000 |113074 | 9686k| 22.0 | 135M| 59 | - | 200 |1262 | 200 | 265 |6065k| 0 | 11k|-6.125000e+01 |-5.100000e+01 | 16.73%
353.20/353.27 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
353.20/353.27 c 353s|450000 |115186 | 9866k| 21.9 | 137M| 59 | - | 200 |1262 | 200 | 226 |6180k| 0 | 11k|-6.120000e+01 |-5.100000e+01 | 16.67%
359.80/359.82 c 360s|460000 |117022 | 10042k| 21.8 | 139M| 59 | - | 200 |1262 | 200 | 283 |6294k| 0 | 11k|-6.116667e+01 |-5.100000e+01 | 16.62%
366.50/366.53 c 367s|470000 |118892 | 10219k| 21.7 | 141M| 59 | - | 200 |1262 | 200 | 296 |6406k| 0 | 11k|-6.111111e+01 |-5.100000e+01 | 16.55%
373.10/373.16 c 373s|480000 |120648 | 10393k| 21.6 | 143M| 59 | - | 200 |1262 | 200 | 244 |6516k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
379.70/379.76 c 380s|490000 |122374 | 10568k| 21.6 | 145M| 59 | - | 200 |1262 | 200 | 230 |6627k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
386.40/386.48 c 386s|500000 |124380 | 10746k| 21.5 | 148M| 59 | - | 200 |1262 | 200 | 269 |6739k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
393.00/393.07 c 393s|510000 |126252 | 10921k| 21.4 | 150M| 59 | - | 200 |1262 | 200 | 256 |6852k| 0 | 11k|-6.100000e+01 |-5.100000e+01 | 16.39%
399.61/399.69 c 400s|520000 |128052 | 11097k| 21.3 | 152M| 59 | - | 200 |1262 | 200 | 234 |6966k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
406.30/406.30 c 406s|530000 |130012 | 11273k| 21.3 | 154M| 59 | 83 | 200 |1262 | 200 | 244 |7076k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
412.90/412.91 c 413s|540000 |131686 | 11447k| 21.2 | 156M| 59 | 67 | 200 |1262 | 200 | 248 |7186k| 0 | 12k|-6.100000e+01 |-5.100000e+01 | 16.39%
419.50/419.52 c 420s|550000 |133450 | 11621k| 21.1 | 158M| 59 | 88 | 200 |1262 | 200 | 268 |7295k| 0 | 12k|-6.092857e+01 |-5.100000e+01 | 16.30%
426.00/426.00 c 426s|560000 |135142 | 11793k| 21.0 | 160M| 59 | 11 | 200 |1262 | 200 | 224 |7407k| 0 | 12k|-6.086667e+01 |-5.100000e+01 | 16.21%
432.50/432.50 c 432s|570000 |136858 | 11964k| 21.0 | 162M| 59 | - | 200 |1262 | 200 | 265 |7517k| 0 | 12k|-6.083333e+01 |-5.100000e+01 | 16.16%
439.00/439.09 c 439s|580000 |138732 | 12135k| 20.9 | 165M| 59 | 18 | 200 |1262 | 200 | 224 |7627k| 0 | 12k|-6.078571e+01 |-5.100000e+01 | 16.10%
445.52/445.58 c 446s|590000 |140484 | 12305k| 20.8 | 167M| 59 | 14 | 200 |1262 | 200 | 253 |7737k| 0 | 12k|-6.075000e+01 |-5.100000e+01 | 16.05%
451.91/451.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
451.91/451.99 c 452s|600000 |142018 | 12472k| 20.8 | 169M| 59 | 61 | 200 |1262 | 200 | 256 |7848k| 0 | 12k|-6.075000e+01 |-5.100000e+01 | 16.05%
458.62/458.66 c 459s|610000 |143654 | 12647k| 20.7 | 171M| 59 | 9 | 200 |1262 | 200 | 224 |7959k| 0 | 12k|-6.069231e+01 |-5.100000e+01 | 15.97%
465.01/465.00 c 465s|620000 |145256 | 12811k| 20.7 | 172M| 59 | - | 200 |1262 | 200 | 234 |8066k| 0 | 13k|-6.066667e+01 |-5.100000e+01 | 15.93%
471.41/471.42 c 471s|630000 |146846 | 12979k| 20.6 | 174M| 59 | - | 200 |1262 | 200 | 250 |8174k| 0 | 13k|-6.066667e+01 |-5.100000e+01 | 15.93%
477.71/477.74 c 478s|640000 |148400 | 13144k| 20.5 | 176M| 59 | - | 200 |1262 | 200 | 251 |8285k| 0 | 13k|-6.062500e+01 |-5.100000e+01 | 15.88%
484.11/484.15 c 484s|650000 |149858 | 13312k| 20.5 | 178M| 59 | - | 200 |1262 | 200 | 263 |8393k| 0 | 13k|-6.060000e+01 |-5.100000e+01 | 15.84%
490.41/490.42 c 490s|660000 |151330 | 13473k| 20.4 | 180M| 59 | - | 200 |1262 | 200 | 282 |8500k| 0 | 13k|-6.054167e+01 |-5.100000e+01 | 15.76%
496.70/496.72 c 497s|670000 |152754 | 13637k| 20.3 | 182M| 59 | 22 | 200 |1262 | 200 | 220 |8609k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
503.00/503.01 c 503s|680000 |154044 | 13799k| 20.3 | 183M| 59 | - | 200 |1262 | 200 | 260 |8721k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
509.32/509.38 c 509s|690000 |155520 | 13966k| 20.2 | 185M| 59 | 4 | 200 |1262 | 200 | 221 |8830k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
515.61/515.61 c 516s|700000 |156978 | 14128k| 20.2 | 187M| 59 | 32 | 200 |1262 | 200 | 219 |8936k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
521.80/521.81 c 522s|710000 |158344 | 14287k| 20.1 | 189M| 60 | 66 | 200 |1262 | 200 | 221 |9042k| 0 | 13k|-6.050000e+01 |-5.100000e+01 | 15.70%
527.92/527.94 c 528s|720000 |159634 | 14445k| 20.1 | 190M| 60 | 89 | 200 |1262 | 200 | 246 |9148k| 0 | 14k|-6.050000e+01 |-5.100000e+01 | 15.70%
534.11/534.11 c 534s|730000 |160978 | 14603k| 20.0 | 192M| 60 | 25 | 200 |1262 | 200 | 244 |9252k| 0 | 14k|-6.044444e+01 |-5.100000e+01 | 15.62%
540.12/540.18 c 540s|740000 |162026 | 14757k| 19.9 | 193M| 60 | 6 | 200 |1262 | 200 | 224 |9359k| 0 | 14k|-6.040000e+01 |-5.100000e+01 | 15.56%
546.21/546.22 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
546.21/546.22 c 546s|750000 |163096 | 14912k| 19.9 | 195M| 60 | 32 | 200 |1262 | 200 | 226 |9464k| 0 | 14k|-6.035714e+01 |-5.100000e+01 | 15.50%
552.23/552.25 c 552s|760000 |164266 | 15065k| 19.8 | 196M| 60 | 28 | 200 |1262 | 200 | 226 |9567k| 0 | 14k|-6.033333e+01 |-5.100000e+01 | 15.47%
558.21/558.25 c 558s|770000 |165414 | 15218k| 19.8 | 198M| 60 | 91 | 200 |1262 | 200 | 271 |9672k| 0 | 14k|-6.033333e+01 |-5.100000e+01 | 15.47%
564.32/564.34 c 564s|780000 |166562 | 15373k| 19.7 | 199M| 60 | - | 200 |1262 | 200 | 243 |9778k| 0 | 14k|-6.031579e+01 |-5.100000e+01 | 15.45%
570.40/570.49 c 570s|790000 |167614 | 15530k| 19.6 | 201M| 60 | - | 200 |1262 | 200 | 241 |9886k| 0 | 14k|-6.025000e+01 |-5.100000e+01 | 15.35%
576.51/576.51 c 577s|800000 |168710 | 15685k| 19.6 | 202M| 60 | 35 | 200 |1262 | 200 | 222 |9991k| 0 | 14k|-6.025000e+01 |-5.100000e+01 | 15.35%
582.51/582.54 c 583s|810000 |169786 | 15837k| 19.5 | 203M| 60 | - | 200 |1262 | 200 | 258 | 10M| 0 | 14k|-6.023077e+01 |-5.100000e+01 | 15.33%
588.61/588.62 c 589s|820000 |170858 | 15990k| 19.5 | 205M| 61 | 14 | 200 |1262 | 200 | 221 | 10M| 0 | 14k|-6.020000e+01 |-5.100000e+01 | 15.28%
594.61/594.61 c 595s|830000 |171904 | 16140k| 19.4 | 206M| 61 | 93 | 200 |1262 | 200 | 257 | 10M| 0 | 14k|-6.016667e+01 |-5.100000e+01 | 15.24%
600.62/600.68 c 601s|840000 |172952 | 16294k| 19.4 | 208M| 61 | - | 200 |1262 | 200 | 262 | 10M| 0 | 15k|-6.012500e+01 |-5.100000e+01 | 15.18%
606.61/606.66 c 607s|850000 |173906 | 16444k| 19.3 | 209M| 61 | 40 | 200 |1262 | 200 | 241 | 10M| 0 | 15k|-6.005882e+01 |-5.100000e+01 | 15.08%
612.72/612.73 c 613s|860000 |174898 | 16596k| 19.3 | 210M| 61 | - | 200 |1262 | 200 | 279 | 10M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
618.70/618.71 c 619s|870000 |176042 | 16748k| 19.2 | 212M| 61 | 95 | 200 |1262 | 200 | 289 | 10M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
624.61/624.67 c 625s|880000 |176912 | 16898k| 19.2 | 213M| 61 | - | 200 |1262 | 200 | 269 | 10M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
630.61/630.69 c 631s|890000 |177942 | 17050k| 19.1 | 214M| 61 | 7 | 200 |1262 | 200 | 224 | 10M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
636.71/636.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
636.71/636.75 c 637s|900000 |179030 | 17202k| 19.1 | 216M| 61 | 72 | 200 |1262 | 200 | 260 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
642.72/642.75 c 643s|910000 |180172 | 17355k| 19.1 | 217M| 61 | 64 | 200 |1262 | 200 | 233 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
648.71/648.73 c 649s|920000 |181186 | 17506k| 19.0 | 219M| 61 | - | 200 |1262 | 200 | 231 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
654.71/654.77 c 655s|930000 |182276 | 17660k| 19.0 | 220M| 61 | - | 200 |1262 | 200 | 244 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
660.71/660.75 c 661s|940000 |183382 | 17812k| 18.9 | 221M| 61 | 24 | 200 |1262 | 200 | 225 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
666.71/666.74 c 667s|950000 |184306 | 17963k| 18.9 | 223M| 61 | 86 | 200 |1262 | 200 | 279 | 11M| 0 | 15k|-6.000000e+01 |-5.100000e+01 | 15.00%
672.61/672.69 c 673s|960000 |185312 | 18115k| 18.9 | 224M| 61 | - | 200 |1262 | 200 | 254 | 11M| 0 | 16k|-6.000000e+01 |-5.100000e+01 | 15.00%
678.73/678.73 c 679s|970000 |186186 | 18266k| 18.8 | 225M| 61 | 79 | 200 |1262 | 200 | 245 | 11M| 0 | 16k|-6.000000e+01 |-5.100000e+01 | 15.00%
684.82/684.84 c 685s|980000 |187216 | 18420k| 18.8 | 227M| 61 | - | 200 |1262 | 200 | 245 | 11M| 0 | 16k|-6.000000e+01 |-5.100000e+01 | 15.00%
690.91/690.91 c 691s|990000 |188374 | 18574k| 18.8 | 228M| 61 | 15 | 200 |1262 | 200 | 225 | 11M| 0 | 16k|-6.000000e+01 |-5.100000e+01 | 15.00%
696.81/696.88 c 697s| 1000k|189370 | 18723k| 18.7 | 229M| 61 | - | 200 |1262 | 200 | 249 | 12M| 0 | 16k|-5.992857e+01 |-5.100000e+01 | 14.90%
702.71/702.81 c 703s| 1010k|190190 | 18870k| 18.7 | 231M| 61 | - | 200 |1262 | 200 | 246 | 12M| 0 | 16k|-5.987500e+01 |-5.100000e+01 | 14.82%
708.61/708.66 c 709s| 1020k|191192 | 19017k| 18.6 | 232M| 61 | 65 | 200 |1262 | 200 | 253 | 12M| 0 | 16k|-5.985714e+01 |-5.100000e+01 | 14.80%
714.51/714.57 c 715s| 1030k|192124 | 19164k| 18.6 | 233M| 61 | - | 200 |1262 | 200 | 248 | 12M| 0 | 16k|-5.983333e+01 |-5.100000e+01 | 14.76%
720.43/720.45 c 720s| 1040k|193080 | 19312k| 18.6 | 234M| 61 | - | 200 |1262 | 200 | 256 | 12M| 0 | 16k|-5.980000e+01 |-5.100000e+01 | 14.72%
726.31/726.36 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
726.31/726.36 c 726s| 1050k|193938 | 19459k| 18.5 | 236M| 61 | - | 200 |1262 | 200 | 275 | 12M| 0 | 16k|-5.977778e+01 |-5.100000e+01 | 14.68%
732.21/732.22 c 732s| 1060k|194852 | 19604k| 18.5 | 237M| 61 | - | 200 |1262 | 200 | 239 | 12M| 0 | 16k|-5.975000e+01 |-5.100000e+01 | 14.64%
738.02/738.07 c 738s| 1070k|195808 | 19749k| 18.5 | 238M| 61 | - | 200 |1262 | 200 | 236 | 12M| 0 | 16k|-5.975000e+01 |-5.100000e+01 | 14.64%
743.91/743.94 c 744s| 1080k|196782 | 19896k| 18.4 | 239M| 61 | 32 | 200 |1262 | 200 | 239 | 12M| 0 | 16k|-5.975000e+01 |-5.100000e+01 | 14.64%
749.72/749.76 c 750s| 1090k|197636 | 20041k| 18.4 | 240M| 61 | 9 | 200 |1262 | 200 | 225 | 13M| 0 | 16k|-5.971429e+01 |-5.100000e+01 | 14.59%
755.62/755.62 c 756s| 1100k|198480 | 20187k| 18.3 | 242M| 61 | - | 200 |1262 | 200 | 273 | 13M| 0 | 17k|-5.966667e+01 |-5.100000e+01 | 14.53%
761.51/761.53 c 762s| 1110k|199384 | 20334k| 18.3 | 243M| 61 | - | 200 |1262 | 200 | 278 | 13M| 0 | 17k|-5.966667e+01 |-5.100000e+01 | 14.53%
767.32/767.40 c 767s| 1120k|200300 | 20480k| 18.3 | 244M| 61 | - | 200 |1262 | 200 | 251 | 13M| 0 | 17k|-5.966667e+01 |-5.100000e+01 | 14.53%
773.23/773.29 c 773s| 1130k|201178 | 20628k| 18.2 | 245M| 61 | - | 200 |1262 | 200 | 240 | 13M| 0 | 17k|-5.966667e+01 |-5.100000e+01 | 14.53%
779.11/779.15 c 779s| 1140k|202072 | 20774k| 18.2 | 246M| 61 | - | 200 |1262 | 200 | 248 | 13M| 0 | 17k|-5.966667e+01 |-5.100000e+01 | 14.53%
784.91/784.95 c 785s| 1150k|202962 | 20918k| 18.2 | 248M| 61 | 44 | 200 |1262 | 200 | 261 | 13M| 0 | 17k|-5.962500e+01 |-5.100000e+01 | 14.47%
790.72/790.72 c 791s| 1160k|203730 | 21060k| 18.1 | 249M| 61 | 72 | 200 |1262 | 200 | 261 | 13M| 0 | 17k|-5.960000e+01 |-5.100000e+01 | 14.43%
796.51/796.54 c 797s| 1170k|204566 | 21203k| 18.1 | 250M| 61 | - | 200 |1262 | 200 | 249 | 13M| 0 | 17k|-5.957143e+01 |-5.100000e+01 | 14.39%
802.31/802.36 c 802s| 1180k|205334 | 21347k| 18.1 | 251M| 61 | 38 | 200 |1262 | 200 | 238 | 13M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
808.21/808.26 c 808s| 1190k|206326 | 21496k| 18.1 | 252M| 61 | 18 | 200 |1262 | 200 | 237 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
814.03/814.04 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
814.03/814.04 c 814s| 1200k|207108 | 21638k| 18.0 | 253M| 61 | 50 | 200 |1262 | 200 | 251 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
819.81/819.84 c 820s| 1210k|207870 | 21781k| 18.0 | 254M| 61 | 91 | 200 |1262 | 200 | 272 | 14M| 0 | 17k|-5.950000e+01 |-5.100000e+01 | 14.29%
825.62/825.66 c 826s| 1220k|208678 | 21925k| 18.0 | 255M| 61 | - | 200 |1262 | 200 | 275 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
831.42/831.46 c 831s| 1230k|209404 | 22069k| 17.9 | 256M| 61 | - | 200 |1262 | 200 | 241 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
837.31/837.32 c 837s| 1240k|210204 | 22216k| 17.9 | 258M| 61 | - | 200 |1262 | 200 | 225 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
843.12/843.13 c 843s| 1250k|210906 | 22361k| 17.9 | 259M| 61 | 18 | 200 |1262 | 200 | 239 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
848.81/848.83 c 849s| 1260k|211690 | 22501k| 17.9 | 260M| 61 | 82 | 200 |1262 | 200 | 252 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
854.63/854.65 c 855s| 1270k|212520 | 22645k| 17.8 | 261M| 62 | - | 200 |1262 | 200 | 271 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
860.32/860.34 c 860s| 1280k|213168 | 22785k| 17.8 | 262M| 62 | - | 200 |1262 | 200 | 272 | 14M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
866.02/866.05 c 866s| 1290k|213834 | 22925k| 17.8 | 263M| 62 | - | 200 |1262 | 200 | 240 | 15M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
871.82/871.85 c 872s| 1300k|214912 | 23070k| 17.7 | 264M| 62 | 69 | 200 |1262 | 200 | 258 | 15M| 0 | 18k|-5.950000e+01 |-5.100000e+01 | 14.29%
877.51/877.57 c 878s| 1310k|215672 | 23211k| 17.7 | 265M| 62 | 78 | 200 |1262 | 200 | 271 | 15M| 0 | 18k|-5.946154e+01 |-5.100000e+01 | 14.23%
883.33/883.38 c 883s| 1320k|216418 | 23354k| 17.7 | 266M| 62 | - | 200 |1262 | 200 | 242 | 15M| 0 | 18k|-5.941667e+01 |-5.100000e+01 | 14.17%
889.12/889.12 c 889s| 1330k|217174 | 23495k| 17.7 | 267M| 62 | - | 200 |1262 | 200 | 244 | 15M| 0 | 18k|-5.940000e+01 |-5.100000e+01 | 14.14%
894.82/894.86 c 895s| 1340k|217952 | 23636k| 17.6 | 268M| 62 | - | 200 |1262 | 200 | 252 | 15M| 0 | 18k|-5.937143e+01 |-5.100000e+01 | 14.10%
900.52/900.56 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
900.52/900.56 c 901s| 1350k|218660 | 23777k| 17.6 | 269M| 62 | - | 200 |1262 | 200 | 230 | 15M| 0 | 18k|-5.933333e+01 |-5.100000e+01 | 14.04%
906.21/906.25 c 906s| 1360k|219330 | 23916k| 17.6 | 270M| 62 | 63 | 200 |1262 | 200 | 259 | 15M| 0 | 19k|-5.933333e+01 |-5.100000e+01 | 14.04%
912.01/912.08 c 912s| 1370k|220062 | 24059k| 17.6 | 271M| 62 | 73 | 200 |1262 | 200 | 238 | 15M| 0 | 19k|-5.933333e+01 |-5.100000e+01 | 14.04%
917.92/917.90 c 918s| 1380k|220852 | 24203k| 17.5 | 272M| 62 | 30 | 200 |1262 | 200 | 249 | 15M| 0 | 19k|-5.933333e+01 |-5.100000e+01 | 14.04%
923.62/923.63 c 924s| 1390k|221494 | 24344k| 17.5 | 273M| 62 | 89 | 200 |1262 | 200 | 259 | 16M| 0 | 19k|-5.933333e+01 |-5.100000e+01 | 14.04%
929.32/929.36 c 929s| 1400k|222206 | 24484k| 17.5 | 274M| 62 | - | 200 |1262 | 200 | 258 | 16M| 0 | 19k|-5.928571e+01 |-5.100000e+01 | 13.98%
935.12/935.10 c 935s| 1410k|222940 | 24626k| 17.5 | 275M| 62 | 10 | 200 |1262 | 200 | 237 | 16M| 0 | 19k|-5.925000e+01 |-5.100000e+01 | 13.92%
940.82/940.83 c 941s| 1420k|223720 | 24769k| 17.4 | 276M| 62 | 8 | 200 |1262 | 200 | 230 | 16M| 0 | 19k|-5.925000e+01 |-5.100000e+01 | 13.92%
946.52/946.50 c 946s| 1430k|224392 | 24907k| 17.4 | 277M| 62 | - | 200 |1262 | 200 | 239 | 16M| 0 | 19k|-5.925000e+01 |-5.100000e+01 | 13.92%
952.12/952.19 c 952s| 1440k|225112 | 25047k| 17.4 | 278M| 62 | - | 200 |1262 | 200 | 269 | 16M| 0 | 19k|-5.925000e+01 |-5.100000e+01 | 13.92%
957.82/957.83 c 958s| 1450k|225812 | 25185k| 17.4 | 279M| 62 | 62 | 200 |1262 | 200 | 233 | 16M| 0 | 19k|-5.920000e+01 |-5.100000e+01 | 13.85%
963.42/963.50 c 964s| 1460k|226460 | 25324k| 17.3 | 280M| 62 | 90 | 200 |1262 | 200 | 259 | 16M| 0 | 19k|-5.920000e+01 |-5.100000e+01 | 13.85%
969.13/969.16 c 969s| 1470k|227118 | 25463k| 17.3 | 281M| 62 | - | 200 |1262 | 200 | 253 | 16M| 0 | 19k|-5.916667e+01 |-5.100000e+01 | 13.80%
974.82/974.86 c 975s| 1480k|227796 | 25603k| 17.3 | 282M| 62 | - | 200 |1262 | 200 | 246 | 16M| 0 | 19k|-5.916667e+01 |-5.100000e+01 | 13.80%
980.42/980.45 c 980s| 1490k|228360 | 25740k| 17.3 | 283M| 62 | 31 | 200 |1262 | 200 | 264 | 17M| 0 | 19k|-5.913158e+01 |-5.100000e+01 | 13.75%
986.02/986.00 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
986.02/986.00 c 986s| 1500k|228992 | 25874k| 17.2 | 284M| 62 | - | 200 |1262 | 200 | 237 | 17M| 0 | 20k|-5.911111e+01 |-5.100000e+01 | 13.72%
991.62/991.67 c 992s| 1510k|229678 | 26011k| 17.2 | 285M| 62 | 15 | 200 |1262 | 200 | 222 | 17M| 0 | 20k|-5.906667e+01 |-5.100000e+01 | 13.66%
997.22/997.30 c 997s| 1520k|230252 | 26148k| 17.2 | 286M| 62 | 20 | 200 |1262 | 200 | 251 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1002.92/1002.99 c 1003s| 1530k|230846 | 26286k| 17.2 | 286M| 62 | - | 200 |1262 | 200 | 270 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1008.63/1008.65 c 1009s| 1540k|231554 | 26424k| 17.2 | 287M| 62 | 61 | 200 |1262 | 200 | 268 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1014.42/1014.46 c 1014s| 1550k|232252 | 26567k| 17.1 | 288M| 62 | - | 200 |1262 | 200 | 278 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1020.12/1020.12 c 1020s| 1560k|232678 | 26703k| 17.1 | 289M| 62 | - | 200 |1262 | 200 | 242 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1025.72/1025.73 c 1026s| 1570k|233430 | 26841k| 17.1 | 290M| 62 | - | 200 |1262 | 200 | 248 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1031.32/1031.36 c 1031s| 1580k|233998 | 26978k| 17.1 | 291M| 62 | - | 200 |1262 | 200 | 282 | 17M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1037.02/1037.00 c 1037s| 1590k|234668 | 27115k| 17.0 | 292M| 62 | 16 | 200 |1262 | 200 | 217 | 18M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1042.62/1042.65 c 1043s| 1600k|235348 | 27253k| 17.0 | 293M| 62 | 6 | 200 |1262 | 200 | 241 | 18M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1048.12/1048.20 c 1048s| 1610k|235956 | 27389k| 17.0 | 294M| 62 | - | 200 |1262 | 200 | 227 | 18M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1053.74/1053.80 c 1054s| 1620k|236608 | 27525k| 17.0 | 295M| 62 | - | 200 |1262 | 200 | 245 | 18M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1059.43/1059.46 c 1059s| 1630k|237286 | 27663k| 17.0 | 296M| 62 | 15 | 200 |1262 | 200 | 224 | 18M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1065.02/1065.01 c 1065s| 1640k|237924 | 27797k| 16.9 | 297M| 62 | - | 200 |1262 | 200 | 271 | 18M| 0 | 20k|-5.900000e+01 |-5.100000e+01 | 13.56%
1070.63/1070.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1070.63/1070.60 c 1071s| 1650k|238538 | 27932k| 16.9 | 297M| 62 | - | 200 |1262 | 200 | 236 | 18M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1076.22/1076.28 c 1076s| 1660k|239244 | 28070k| 16.9 | 298M| 62 | - | 200 |1262 | 200 | 246 | 18M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1081.82/1081.84 c 1082s| 1670k|239904 | 28205k| 16.9 | 299M| 62 | - | 200 |1262 | 200 | 254 | 18M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1087.32/1087.39 c 1087s| 1680k|240618 | 28339k| 16.9 | 300M| 62 | 7 | 200 |1262 | 200 | 260 | 18M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1093.03/1093.00 c 1093s| 1690k|241244 | 28475k| 16.8 | 301M| 62 | 45 | 200 |1262 | 200 | 242 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1098.53/1098.59 c 1099s| 1700k|241934 | 28611k| 16.8 | 302M| 62 | - | 200 |1262 | 200 | 263 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1104.22/1104.30 c 1104s| 1710k|242576 | 28750k| 16.8 | 303M| 62 | 22 | 200 |1262 | 200 | 239 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1109.84/1109.87 c 1110s| 1720k|243216 | 28886k| 16.8 | 304M| 62 | 10 | 200 |1262 | 200 | 240 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1115.34/1115.40 c 1115s| 1730k|243918 | 29019k| 16.8 | 305M| 62 | 8 | 200 |1262 | 200 | 224 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1121.02/1121.06 c 1121s| 1740k|244652 | 29158k| 16.8 | 306M| 62 | 60 | 200 |1262 | 200 | 266 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1126.63/1126.70 c 1127s| 1750k|245424 | 29297k| 16.7 | 307M| 62 | 74 | 200 |1262 | 200 | 253 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1132.32/1132.37 c 1132s| 1760k|246100 | 29435k| 16.7 | 308M| 65 | 67 | 200 |1262 | 200 | 265 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1137.92/1137.98 c 1138s| 1770k|246728 | 29571k| 16.7 | 309M| 65 | 16 | 200 |1262 | 200 | 222 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1143.63/1143.67 c 1144s| 1780k|247428 | 29709k| 16.7 | 310M| 65 | 65 | 200 |1262 | 200 | 259 | 19M| 0 | 21k|-5.900000e+01 |-5.100000e+01 | 13.56%
1149.33/1149.34 c 1149s| 1790k|248122 | 29847k| 16.7 | 311M| 65 | 6 | 200 |1262 | 200 | 223 | 20M| 0 | 21k|-5.892308e+01 |-5.100000e+01 | 13.45%
1154.83/1154.88 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1154.83/1154.88 c 1155s| 1800k|248642 | 29981k| 16.7 | 312M| 65 | - | 200 |1262 | 200 | 261 | 20M| 0 | 21k|-5.889474e+01 |-5.100000e+01 | 13.40%
1160.23/1160.29 c 1160s| 1810k|249154 | 30108k| 16.6 | 312M| 65 | - | 200 |1262 | 200 | 238 | 20M| 0 | 22k|-5.887500e+01 |-5.100000e+01 | 13.38%
1165.83/1165.81 c 1166s| 1820k|249746 | 30243k| 16.6 | 313M| 65 | 69 | 200 |1262 | 200 | 248 | 20M| 0 | 22k|-5.885714e+01 |-5.100000e+01 | 13.35%
1171.32/1171.40 c 1171s| 1830k|250318 | 30378k| 16.6 | 314M| 65 | 60 | 200 |1262 | 200 | 252 | 20M| 0 | 22k|-5.883333e+01 |-5.100000e+01 | 13.31%
1176.82/1176.88 c 1177s| 1840k|250896 | 30511k| 16.6 | 315M| 65 | - | 200 |1262 | 200 | 263 | 20M| 0 | 22k|-5.883333e+01 |-5.100000e+01 | 13.31%
1182.44/1182.46 c 1182s| 1850k|251444 | 30645k| 16.6 | 316M| 65 | - | 200 |1262 | 200 | 237 | 20M| 0 | 22k|-5.881818e+01 |-5.100000e+01 | 13.29%
1188.04/1188.09 c 1188s| 1860k|252024 | 30781k| 16.5 | 316M| 65 | - | 200 |1262 | 200 | 273 | 20M| 0 | 22k|-5.880000e+01 |-5.100000e+01 | 13.27%
1193.62/1193.61 c 1194s| 1870k|252642 | 30912k| 16.5 | 317M| 65 | 8 | 200 |1262 | 200 | 222 | 20M| 0 | 22k|-5.880000e+01 |-5.100000e+01 | 13.27%
1199.23/1199.20 c 1199s| 1880k|253226 | 31048k| 16.5 | 318M| 65 | - | 200 |1262 | 200 | 258 | 20M| 0 | 22k|-5.875000e+01 |-5.100000e+01 | 13.19%
1204.62/1204.67 c 1205s| 1890k|253816 | 31179k| 16.5 | 319M| 65 | 38 | 200 |1262 | 200 | 226 | 20M| 0 | 22k|-5.875000e+01 |-5.100000e+01 | 13.19%
1210.13/1210.14 c 1210s| 1900k|254358 | 31310k| 16.5 | 320M| 65 | 12 | 200 |1262 | 200 | 227 | 21M| 0 | 22k|-5.875000e+01 |-5.100000e+01 | 13.19%
1215.54/1215.59 c 1216s| 1910k|254952 | 31443k| 16.5 | 321M| 65 | - | 200 |1262 | 200 | 253 | 21M| 0 | 22k|-5.875000e+01 |-5.100000e+01 | 13.19%
1221.13/1221.12 c 1221s| 1920k|255678 | 31577k| 16.4 | 322M| 65 | - | 200 |1262 | 200 | 268 | 21M| 0 | 22k|-5.875000e+01 |-5.100000e+01 | 13.19%
1226.63/1226.60 c 1227s| 1930k|256248 | 31708k| 16.4 | 322M| 65 | - | 200 |1262 | 200 | 279 | 21M| 0 | 22k|-5.875000e+01 |-5.100000e+01 | 13.19%
1227.64/1227.64 o -52
1227.64/1227.64 c *1228s| 1931k|180159 | 31728k| 16.4 | 233M| 65 | - | 200 |1262 | 200 | 262 | 21M| 0 | 22k|-5.875000e+01 |-5.200000e+01 | 11.49%
1232.13/1232.19 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1232.13/1232.19 c 1232s| 1940k|180377 | 31834k| 16.4 | 233M| 65 | - | 200 |1262 | 200 | 251 | 21M| 0 | 22k|-5.872727e+01 |-5.200000e+01 | 11.46%
1237.54/1237.53 c 1238s| 1950k|180669 | 31959k| 16.4 | 234M| 65 | 22 | 200 |1262 | 200 | 223 | 21M| 0 | 22k|-5.870000e+01 |-5.200000e+01 | 11.41%
1242.83/1242.86 c 1243s| 1960k|180921 | 32085k| 16.4 | 234M| 65 | - | 200 |1262 | 200 | 261 | 21M| 0 | 22k|-5.866667e+01 |-5.200000e+01 | 11.36%
1248.23/1248.21 c 1248s| 1970k|181159 | 32211k| 16.3 | 235M| 65 | 23 | 200 |1262 | 200 | 237 | 21M| 0 | 22k|-5.866667e+01 |-5.200000e+01 | 11.36%
1253.43/1253.47 c 1253s| 1980k|181469 | 32335k| 16.3 | 235M| 65 | 31 | 200 |1262 | 200 | 227 | 21M| 0 | 23k|-5.866667e+01 |-5.200000e+01 | 11.36%
1258.73/1258.79 c 1259s| 1990k|181719 | 32460k| 16.3 | 236M| 65 | - | 200 |1262 | 200 | 251 | 21M| 0 | 23k|-5.866667e+01 |-5.200000e+01 | 11.36%
1264.03/1264.10 c 1264s| 2000k|181941 | 32584k| 16.3 | 236M| 65 | 100 | 200 |1262 | 200 | 254 | 22M| 0 | 23k|-5.866667e+01 |-5.200000e+01 | 11.36%
1269.33/1269.36 c 1269s| 2010k|182243 | 32706k| 16.3 | 237M| 65 | - | 200 |1262 | 200 | 221 | 22M| 0 | 23k|-5.866667e+01 |-5.200000e+01 | 11.36%
1274.63/1274.66 c 1275s| 2020k|182363 | 32830k| 16.2 | 237M| 65 | - | 200 |1262 | 200 | 275 | 22M| 0 | 23k|-5.866667e+01 |-5.200000e+01 | 11.36%
1280.13/1280.14 c 1280s| 2030k|182675 | 32960k| 16.2 | 237M| 65 | - | 200 |1262 | 200 | 222 | 22M| 0 | 23k|-5.864286e+01 |-5.200000e+01 | 11.33%
1285.43/1285.41 c 1285s| 2040k|182923 | 33083k| 16.2 | 238M| 65 | 7 | 200 |1262 | 200 | 245 | 22M| 0 | 23k|-5.862500e+01 |-5.200000e+01 | 11.30%
1290.73/1290.71 c 1291s| 2050k|183173 | 33206k| 16.2 | 238M| 65 | 63 | 200 |1262 | 200 | 248 | 22M| 0 | 23k|-5.860000e+01 |-5.200000e+01 | 11.26%
1296.03/1296.05 c 1296s| 2060k|183333 | 33330k| 16.2 | 239M| 65 | - | 200 |1262 | 200 | 243 | 22M| 0 | 23k|-5.860000e+01 |-5.200000e+01 | 11.26%
1301.35/1301.33 c 1301s| 2070k|183569 | 33454k| 16.2 | 239M| 65 | - | 200 |1262 | 200 | 240 | 22M| 0 | 23k|-5.857143e+01 |-5.200000e+01 | 11.22%
1306.54/1306.56 c 1307s| 2080k|183771 | 33574k| 16.1 | 240M| 65 | 62 | 200 |1262 | 200 | 265 | 22M| 0 | 23k|-5.855263e+01 |-5.200000e+01 | 11.19%
1311.83/1311.84 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1311.83/1311.84 c 1312s| 2090k|183969 | 33698k| 16.1 | 240M| 65 | - | 200 |1262 | 200 | 242 | 22M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1317.03/1317.06 c 1317s| 2100k|184159 | 33818k| 16.1 | 241M| 65 | - | 200 |1262 | 200 | 241 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1322.25/1322.28 c 1322s| 2110k|184313 | 33940k| 16.1 | 241M| 65 | - | 200 |1262 | 200 | 243 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1327.53/1327.60 c 1328s| 2120k|184523 | 34063k| 16.1 | 241M| 65 | - | 200 |1262 | 200 | 279 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1332.93/1332.95 c 1333s| 2130k|184805 | 34190k| 16.0 | 242M| 65 | 84 | 200 |1262 | 200 | 250 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1338.23/1338.23 c 1338s| 2140k|185115 | 34314k| 16.0 | 242M| 65 | 3 | 200 |1262 | 200 | 227 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1343.53/1343.51 c 1344s| 2150k|185365 | 34437k| 16.0 | 243M| 65 | - | 200 |1262 | 200 | 256 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1348.74/1348.70 c 1349s| 2160k|185481 | 34556k| 16.0 | 243M| 65 | 11 | 200 |1262 | 200 | 227 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1353.93/1353.91 c 1354s| 2170k|185723 | 34677k| 16.0 | 244M| 65 | 44 | 200 |1262 | 200 | 260 | 23M| 0 | 23k|-5.850000e+01 |-5.200000e+01 | 11.11%
1359.14/1359.12 c 1359s| 2180k|185921 | 34798k| 16.0 | 244M| 65 | - | 200 |1262 | 200 | 282 | 23M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1364.23/1364.24 c 1364s| 2190k|186067 | 34916k| 15.9 | 244M| 65 | 31 | 200 |1262 | 200 | 258 | 23M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1369.44/1369.47 c 1369s| 2200k|186335 | 35038k| 15.9 | 245M| 65 | - | 200 |1262 | 200 | 254 | 23M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1374.74/1374.72 c 1375s| 2210k|186591 | 35160k| 15.9 | 245M| 65 | 46 | 200 |1262 | 200 | 220 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1379.84/1379.88 c 1380s| 2220k|186669 | 35280k| 15.9 | 246M| 65 | - | 200 |1262 | 200 | 279 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1385.13/1385.13 c 1385s| 2230k|186947 | 35403k| 15.9 | 246M| 65 | 38 | 200 |1262 | 200 | 220 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1390.24/1390.28 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1390.24/1390.28 c 1390s| 2240k|187211 | 35522k| 15.9 | 247M| 65 | - | 200 |1262 | 200 | 243 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1395.53/1395.52 c 1396s| 2250k|187361 | 35644k| 15.8 | 247M| 65 | - | 200 |1262 | 200 | 245 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1400.73/1400.70 c 1401s| 2260k|187631 | 35763k| 15.8 | 247M| 65 | 98 | 200 |1262 | 200 | 242 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1406.04/1406.00 c 1406s| 2270k|187791 | 35888k| 15.8 | 248M| 65 | - | 200 |1262 | 200 | 241 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1411.03/1411.09 c 1411s| 2280k|187925 | 36004k| 15.8 | 248M| 65 | 27 | 200 |1262 | 200 | 224 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1416.33/1416.33 c 1416s| 2290k|188209 | 36125k| 15.8 | 249M| 65 | 41 | 200 |1262 | 200 | 241 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1421.53/1421.58 c 1422s| 2300k|188445 | 36247k| 15.8 | 249M| 65 | 68 | 200 |1262 | 200 | 226 | 24M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1426.94/1426.92 c 1427s| 2310k|188779 | 36373k| 15.7 | 250M| 65 | 37 | 200 |1262 | 200 | 243 | 25M| 0 | 24k|-5.850000e+01 |-5.200000e+01 | 11.11%
1432.14/1432.16 c 1432s| 2320k|188921 | 36493k| 15.7 | 250M| 65 | 78 | 200 |1262 | 200 | 246 | 25M| 0 | 24k|-5.845455e+01 |-5.200000e+01 | 11.04%
1437.33/1437.35 c 1437s| 2330k|189067 | 36613k| 15.7 | 250M| 65 | 7 | 200 |1262 | 200 | 218 | 25M| 0 | 24k|-5.842857e+01 |-5.200000e+01 | 11.00%
1442.63/1442.65 c 1443s| 2340k|189307 | 36737k| 15.7 | 251M| 65 | - | 200 |1262 | 200 | 241 | 25M| 0 | 24k|-5.840000e+01 |-5.200000e+01 | 10.96%
1447.93/1447.92 c 1448s| 2350k|189539 | 36857k| 15.7 | 251M| 65 | 55 | 200 |1262 | 200 | 222 | 25M| 0 | 24k|-5.840000e+01 |-5.200000e+01 | 10.96%
1453.04/1453.04 c 1453s| 2360k|189617 | 36974k| 15.7 | 252M| 65 | 26 | 200 |1262 | 200 | 225 | 25M| 0 | 24k|-5.837500e+01 |-5.200000e+01 | 10.92%
1458.23/1458.29 c 1458s| 2370k|189793 | 37094k| 15.6 | 252M| 65 | 4 | 200 |1262 | 200 | 242 | 25M| 0 | 24k|-5.834483e+01 |-5.200000e+01 | 10.87%
1463.54/1463.57 c 1464s| 2380k|189983 | 37217k| 15.6 | 252M| 65 | 35 | 200 |1262 | 200 | 240 | 25M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1468.74/1468.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1468.74/1468.71 c 1469s| 2390k|190111 | 37335k| 15.6 | 253M| 65 | - | 200 |1262 | 200 | 257 | 25M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1473.84/1473.87 c 1474s| 2400k|190331 | 37454k| 15.6 | 253M| 65 | - | 200 |1262 | 200 | 221 | 25M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1479.04/1479.02 c 1479s| 2410k|190495 | 37572k| 15.6 | 253M| 65 | - | 200 |1262 | 200 | 244 | 25M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1484.23/1484.23 c 1484s| 2420k|190701 | 37693k| 15.6 | 254M| 65 | 82 | 200 |1262 | 200 | 227 | 26M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1489.45/1489.44 c 1489s| 2430k|190885 | 37812k| 15.6 | 254M| 65 | 35 | 200 |1262 | 200 | 237 | 26M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1494.54/1494.58 c 1495s| 2440k|190975 | 37931k| 15.5 | 254M| 65 | - | 200 |1262 | 200 | 252 | 26M| 0 | 25k|-5.833333e+01 |-5.200000e+01 | 10.86%
1499.74/1499.73 c 1500s| 2450k|191125 | 38048k| 15.5 | 255M| 65 | - | 200 |1262 | 200 | 259 | 26M| 0 | 25k|-5.830000e+01 |-5.200000e+01 | 10.81%
1504.93/1504.90 c 1505s| 2460k|191285 | 38165k| 15.5 | 255M| 65 | - | 200 |1262 | 200 | 242 | 26M| 0 | 25k|-5.828571e+01 |-5.200000e+01 | 10.78%
1509.94/1509.98 c 1510s| 2470k|191397 | 38281k| 15.5 | 256M| 65 | - | 200 |1262 | 200 | 228 | 26M| 0 | 25k|-5.825000e+01 |-5.200000e+01 | 10.73%
1515.13/1515.12 c 1515s| 2480k|191589 | 38398k| 15.5 | 256M| 65 | - | 200 |1262 | 200 | 254 | 26M| 0 | 25k|-5.825000e+01 |-5.200000e+01 | 10.73%
1520.25/1520.29 c 1520s| 2490k|191809 | 38518k| 15.5 | 256M| 65 | - | 200 |1262 | 200 | 244 | 26M| 0 | 25k|-5.825000e+01 |-5.200000e+01 | 10.73%
1525.44/1525.43 c 1525s| 2500k|192067 | 38637k| 15.5 | 257M| 65 | - | 200 |1262 | 200 | 272 | 26M| 0 | 25k|-5.825000e+01 |-5.200000e+01 | 10.73%
1530.54/1530.56 c 1531s| 2510k|192255 | 38754k| 15.4 | 257M| 65 | - | 200 |1262 | 200 | 257 | 26M| 0 | 25k|-5.825000e+01 |-5.200000e+01 | 10.73%
1535.65/1535.62 c 1536s| 2520k|192371 | 38869k| 15.4 | 257M| 65 | 8 | 200 |1262 | 200 | 240 | 27M| 0 | 25k|-5.825000e+01 |-5.200000e+01 | 10.73%
1540.73/1540.71 c 1541s| 2530k|192491 | 38984k| 15.4 | 258M| 65 | - | 200 |1262 | 200 | 264 | 27M| 0 | 25k|-5.822222e+01 |-5.200000e+01 | 10.69%
1545.83/1545.86 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1545.83/1545.86 c 1546s| 2540k|192681 | 39102k| 15.4 | 258M| 65 | 28 | 200 |1262 | 200 | 230 | 27M| 0 | 25k|-5.820000e+01 |-5.200000e+01 | 10.65%
1550.95/1550.96 c 1551s| 2550k|192733 | 39216k| 15.4 | 258M| 65 | 56 | 200 |1262 | 200 | 248 | 27M| 0 | 25k|-5.820000e+01 |-5.200000e+01 | 10.65%
1556.14/1556.14 c 1556s| 2560k|192869 | 39334k| 15.4 | 259M| 65 | - | 200 |1262 | 200 | 255 | 27M| 0 | 25k|-5.816667e+01 |-5.200000e+01 | 10.60%
1561.34/1561.34 c 1561s| 2570k|192995 | 39455k| 15.3 | 259M| 65 | 36 | 200 |1262 | 200 | 226 | 27M| 0 | 25k|-5.816667e+01 |-5.200000e+01 | 10.60%
1566.45/1566.43 c 1566s| 2580k|193151 | 39569k| 15.3 | 259M| 65 | - | 200 |1262 | 200 | 223 | 27M| 0 | 26k|-5.816667e+01 |-5.200000e+01 | 10.60%
1571.54/1571.54 c 1572s| 2590k|193289 | 39685k| 15.3 | 260M| 65 | 68 | 200 |1262 | 200 | 234 | 27M| 0 | 26k|-5.814286e+01 |-5.200000e+01 | 10.57%
1576.74/1576.73 c 1577s| 2600k|193457 | 39805k| 15.3 | 260M| 65 | 12 | 200 |1262 | 200 | 234 | 27M| 0 | 26k|-5.812500e+01 |-5.200000e+01 | 10.54%
1581.86/1581.88 c 1582s| 2610k|193505 | 39920k| 15.3 | 260M| 65 | - | 200 |1262 | 200 | 251 | 27M| 0 | 26k|-5.810000e+01 |-5.200000e+01 | 10.50%
1586.93/1586.98 c 1587s| 2620k|193553 | 40034k| 15.3 | 261M| 65 | - | 200 |1262 | 200 | 261 | 27M| 0 | 26k|-5.807143e+01 |-5.200000e+01 | 10.46%
1591.93/1591.99 c 1592s| 2630k|193615 | 40146k| 15.3 | 261M| 65 | - | 200 |1262 | 200 | 263 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1597.15/1597.17 c 1597s| 2640k|193731 | 40264k| 15.2 | 261M| 65 | 54 | 200 |1262 | 200 | 264 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1602.34/1602.31 c 1602s| 2650k|193857 | 40381k| 15.2 | 261M| 65 | - | 200 |1262 | 200 | 274 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1607.44/1607.40 c 1607s| 2660k|194009 | 40498k| 15.2 | 262M| 65 | - | 200 |1262 | 200 | 277 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1612.43/1612.51 c 1613s| 2670k|194117 | 40613k| 15.2 | 262M| 65 | - | 200 |1262 | 200 | 230 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1617.74/1617.70 c 1618s| 2680k|194315 | 40732k| 15.2 | 262M| 65 | 22 | 200 |1262 | 200 | 246 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1622.74/1622.75 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1622.74/1622.75 c 1623s| 2690k|194449 | 40846k| 15.2 | 263M| 65 | - | 200 |1262 | 200 | 280 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1627.84/1627.84 c 1628s| 2700k|194469 | 40961k| 15.2 | 263M| 65 | 82 | 200 |1262 | 200 | 253 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1632.74/1632.76 c 1633s| 2710k|194603 | 41070k| 15.2 | 263M| 65 | 46 | 200 |1262 | 200 | 222 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1637.74/1637.80 c 1638s| 2720k|194757 | 41184k| 15.1 | 264M| 65 | - | 200 |1262 | 200 | 251 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1642.84/1642.87 c 1643s| 2730k|194907 | 41300k| 15.1 | 264M| 65 | 42 | 200 |1262 | 200 | 225 | 28M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1647.94/1647.93 c 1648s| 2740k|195039 | 41416k| 15.1 | 264M| 65 | - | 200 |1262 | 200 | 276 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1652.94/1652.97 c 1653s| 2750k|195211 | 41530k| 15.1 | 265M| 65 | 28 | 200 |1262 | 200 | 260 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1658.04/1658.07 c 1658s| 2760k|195333 | 41645k| 15.1 | 265M| 65 | - | 200 |1262 | 200 | 268 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1663.15/1663.14 c 1663s| 2770k|195427 | 41760k| 15.1 | 265M| 65 | - | 200 |1262 | 200 | 247 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1668.14/1668.18 c 1668s| 2780k|195585 | 41875k| 15.1 | 266M| 65 | - | 200 |1262 | 200 | 257 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1673.34/1673.35 c 1673s| 2790k|195687 | 41991k| 15.0 | 266M| 65 | - | 200 |1262 | 200 | 228 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1678.34/1678.39 c 1678s| 2800k|195857 | 42104k| 15.0 | 266M| 65 | 77 | 200 |1262 | 200 | 265 | 29M| 0 | 26k|-5.800000e+01 |-5.200000e+01 | 10.34%
1683.54/1683.57 c 1684s| 2810k|195949 | 42221k| 15.0 | 267M| 65 | - | 200 |1262 | 200 | 238 | 29M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1688.56/1688.57 c 1689s| 2820k|196057 | 42334k| 15.0 | 267M| 65 | - | 200 |1262 | 200 | 241 | 29M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1693.65/1693.62 c 1694s| 2830k|196255 | 42448k| 15.0 | 267M| 65 | - | 200 |1262 | 200 | 241 | 29M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1698.64/1698.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1698.64/1698.67 c 1699s| 2840k|196371 | 42562k| 15.0 | 267M| 65 | - | 200 |1262 | 200 | 237 | 29M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1703.74/1703.74 c 1704s| 2850k|196501 | 42677k| 15.0 | 268M| 65 | 26 | 200 |1262 | 200 | 223 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1708.84/1708.81 c 1709s| 2860k|196711 | 42794k| 15.0 | 268M| 65 | - | 200 |1262 | 200 | 265 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1713.94/1713.92 c 1714s| 2870k|196863 | 42911k| 14.9 | 269M| 65 | 47 | 200 |1262 | 200 | 246 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1718.94/1718.94 c 1719s| 2880k|196943 | 43022k| 14.9 | 269M| 65 | 28 | 200 |1262 | 200 | 250 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1724.04/1724.00 c 1724s| 2890k|197097 | 43137k| 14.9 | 269M| 65 | - | 200 |1262 | 200 | 254 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1728.95/1728.98 c 1729s| 2900k|197141 | 43249k| 14.9 | 269M| 65 | 60 | 200 |1262 | 200 | 225 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1733.94/1733.99 c 1734s| 2910k|197307 | 43362k| 14.9 | 270M| 65 | - | 200 |1262 | 200 | 241 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1738.94/1738.98 c 1739s| 2920k|197375 | 43473k| 14.9 | 270M| 65 | 24 | 200 |1262 | 200 | 223 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1743.94/1743.96 c 1744s| 2930k|197379 | 43584k| 14.9 | 270M| 65 | 88 | 200 |1262 | 200 | 256 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1748.96/1748.99 c 1749s| 2940k|197451 | 43697k| 14.9 | 270M| 65 | 18 | 200 |1262 | 200 | 236 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1753.94/1753.99 c 1754s| 2950k|197569 | 43808k| 14.8 | 271M| 65 | - | 200 |1262 | 200 | 254 | 30M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1759.05/1759.04 c 1759s| 2960k|197615 | 43923k| 14.8 | 271M| 65 | - | 200 |1262 | 200 | 254 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1764.05/1764.05 c 1764s| 2970k|197727 | 44036k| 14.8 | 271M| 65 | 64 | 200 |1262 | 200 | 257 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1769.14/1769.10 c 1769s| 2980k|197829 | 44150k| 14.8 | 271M| 65 | - | 200 |1262 | 200 | 255 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1774.26/1774.23 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1774.26/1774.23 c 1774s| 2990k|198055 | 44266k| 14.8 | 272M| 65 | - | 200 |1262 | 200 | 238 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1779.34/1779.31 c 1779s| 3000k|198217 | 44381k| 14.8 | 272M| 65 | 52 | 200 |1262 | 200 | 239 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1784.34/1784.33 c 1784s| 3010k|198349 | 44494k| 14.8 | 272M| 65 | - | 200 |1262 | 200 | 224 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1789.35/1789.32 c 1789s| 3020k|198409 | 44606k| 14.8 | 273M| 65 | 5 | 200 |1262 | 200 | 240 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1794.35/1794.36 c 1794s| 3030k|198561 | 44719k| 14.8 | 273M| 67 | 74 | 200 |1262 | 200 | 250 | 31M| 0 | 27k|-5.800000e+01 |-5.200000e+01 | 10.34%
1799.44/1799.44 c 1799s| 3040k|198671 | 44833k| 14.7 | 273M| 67 | - | 200 |1262 | 200 | 266 | 31M| 0 | 28k|-5.800000e+01 |-5.200000e+01 | 10.34%
1800.05/1800.00 c
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Solving Time (sec) : 1800.00
1800.05/1800.00 c Solving Nodes : 3041099
1800.05/1800.00 c Primal Bound : -5.20000000000000e+01 (642 solutions)
1800.05/1800.00 c Dual Bound : -5.80000000000000e+01
1800.05/1800.00 c Gap : 10.34 %
1800.05/1800.00 s SATISFIABLE
1800.05/1800.00 v -x200 -x199 x198 -x197 -x196 -x195 -x194 -x193 x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 x183 x182 -x181 -x180 -x179
1800.05/1800.00 v x178 -x177 -x176 x175 -x174 -x173 x172 -x171 -x170 x169 -x168 x167 -x166 x165 -x164 x163 x162 x161 x160 -x159 x158 x157 -x156
1800.05/1800.00 v -x155 -x154 -x153 x152 -x151 x150 -x149 x148 x147 -x146 -x145 -x144 -x143 x142 -x141 -x140 x139 -x138 -x137 -x136 -x135 -x134
1800.05/1800.00 v -x133 -x132 x131 x130 -x129 -x128 x127 -x126 x125 -x124 -x123 x122 -x121 x120 x119 -x118 -x117 -x116 -x115 x114 x113 -x112
1800.05/1800.00 v x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 x91 x90 -x89 -x88
1800.05/1800.00 v x87 x86 x85 x84 -x83 x82 -x81 x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 x63 -x62
1800.05/1800.00 v -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 x39 -x38 -x37 -x36
1800.05/1800.00 v -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 x24 x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 x13 -x12 -x11 -x10
1800.05/1800.00 v -x9 -x8 -x7 -x6 x5 -x4 -x3 -x2 -x1
1800.05/1800.00 c SCIP Status : solving was interrupted [time limit reached]
1800.05/1800.00 c Total Time : 1800.00
1800.05/1800.00 c solving : 1800.00
1800.05/1800.00 c presolving : 0.04 (included in solving)
1800.05/1800.00 c reading : 0.01 (included in solving)
1800.05/1800.00 c Original Problem :
1800.05/1800.00 c Problem name : HOME/instance-3450689-1307107454.opb
1800.05/1800.00 c Variables : 1462 (1462 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 1662 initial, 1662 maximal
1800.05/1800.00 c Presolved Problem :
1800.05/1800.00 c Problem name : t_HOME/instance-3450689-1307107454.opb
1800.05/1800.00 c Variables : 200 (200 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.05/1800.00 c Constraints : 1262 initial, 1262 maximal
1800.05/1800.00 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
1800.05/1800.00 c trivial : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c dualfix : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c boundshift : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c inttobinary : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c pseudoobj : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c implics : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c probing : 0.00 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c and : 0.02 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c linear : 0.00 1262 0 0 1262 0 200 0 0 0
1800.05/1800.00 c logicor : 0.01 0 0 0 0 0 0 0 0 0
1800.05/1800.00 c pseudoboolean : 0.00 0 0 0 0 0 200 0 0 0
1800.05/1800.00 c root node : - 0 - - 0 - - - - -
1800.05/1800.00 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS #Check #Resprop Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c integral : 0 0 0 2676941 0 867681 0 223 1441 0 0 3323454
1800.05/1800.00 c logicor : 1262 35 3085948 1014380 0 867677 0 20 13587793 31776506 0 0
1800.05/1800.00 c countsols : 0 0 0 7 0 637 0 0 0 0 0 0
1800.05/1800.00 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS Check Resprop
1800.05/1800.00 c integral : 40.00 0.00 0.00 39.81 0.00 0.19 0.00
1800.05/1800.00 c logicor : 84.95 0.00 34.64 41.21 0.00 9.09 0.00
1800.05/1800.00 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00
1800.05/1800.00 c Propagators : #Propagate #Resprop Cutoffs DomReds
1800.05/1800.00 c vbounds : 0 0 0 0
1800.05/1800.00 c rootredcost : 8 0 0 0
1800.05/1800.00 c pseudoobj : 5080089 0 0 0
1800.05/1800.00 c Propagator Timings : TotalTime Propagate Resprop
1800.05/1800.00 c vbounds : 0.88 0.88 0.00
1800.05/1800.00 c rootredcost : 1.03 1.03 0.00
1800.05/1800.00 c pseudoobj : 23.90 23.90 0.00
1800.05/1800.00 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1800.05/1800.00 c propagation : 0.00 20 0 0 0.0 0 0.0 -
1800.05/1800.00 c infeasible LP : 0.00 2 2 2 48.0 0 0.0 0
1800.05/1800.00 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1800.05/1800.00 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1800.05/1800.00 c applied globally : - - - 0 0.0 - - -
1800.05/1800.00 c applied locally : - - - 0 0.0 - - -
1800.05/1800.00 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1800.05/1800.00 c cut pool : 0.02 34 - - 47 - (maximal pool size: 2327)
1800.05/1800.00 c redcost : 12.31 2915688 0 480522 0 0
1800.05/1800.00 c impliedbounds : 0.00 35 0 0 707 0
1800.05/1800.00 c intobj : 0.00 0 0 0 0 0
1800.05/1800.00 c gomory : 0.73 35 0 0 9266 0
1800.05/1800.00 c cgmip : 0.00 0 0 0 0 0
1800.05/1800.00 c closecuts : 0.00 0 0 0 0 0
1800.05/1800.00 c strongcg : 0.28 20 0 0 7831 0
1800.05/1800.00 c cmir : 0.03 10 0 0 0 0
1800.05/1800.00 c flowcover : 0.02 10 0 0 0 0
1800.05/1800.00 c clique : 0.04 35 0 0 232 0
1800.05/1800.00 c zerohalf : 0.00 0 0 0 0 0
1800.05/1800.00 c mcf : 0.00 1 0 0 0 0
1800.05/1800.00 c oddcycle : 0.00 0 0 0 0 0
1800.05/1800.00 c rapidlearning : 0.00 0 0 0 0 0
1800.05/1800.00 c Pricers : Time Calls Vars
1800.05/1800.00 c problem variables: 0.00 0 0
1800.05/1800.00 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1800.05/1800.00 c relpscost : 38.65 1662561 223 1441 0 0 3323454
1800.05/1800.00 c pscost : 0.00 0 0 0 0 0 0
1800.05/1800.00 c inference : 0.00 0 0 0 0 0 0
1800.05/1800.00 c mostinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c leastinf : 0.00 0 0 0 0 0 0
1800.05/1800.00 c fullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c allfullstrong : 0.00 0 0 0 0 0 0
1800.05/1800.00 c random : 0.00 0 0 0 0 0 0
1800.05/1800.00 c Primal Heuristics : Time Calls Found
1800.05/1800.00 c LP solutions : 0.23 - 7
1800.05/1800.00 c pseudo solutions : 0.00 - 0
1800.05/1800.00 c feaspump : 0.07 0 0
1800.05/1800.00 c oneopt : 0.68 10 1
1800.05/1800.00 c crossover : 1.11 9 0
1800.05/1800.00 c coefdiving : 1.73 2073 19
1800.05/1800.00 c fracdiving : 2.04 2073 12
1800.05/1800.00 c veclendiving : 1.73 2073 21
1800.05/1800.00 c linesearchdiving : 1.87 2073 14
1800.05/1800.00 c guideddiving : 2.04 2073 4
1800.05/1800.00 c pscostdiving : 1.81 2073 13
1800.05/1800.00 c objpscostdiving : 0.89 1037 14
1800.05/1800.00 c rootsoldiving : 1.11 1037 0
1800.05/1800.00 c trivial : 0.00 2 1
1800.05/1800.00 c shiftandpropagate: 0.00 0 0
1800.05/1800.00 c simplerounding : 19.49 1669964 534
1800.05/1800.00 c zirounding : 0.58 1000 0
1800.05/1800.00 c rounding : 5.77 62552 1
1800.05/1800.00 c shifting : 1.83 19494 1
1800.05/1800.00 c intshifting : 0.04 0 0
1800.05/1800.00 c twoopt : 0.00 0 0
1800.05/1800.00 c fixandinfer : 0.00 0 0
1800.05/1800.00 c clique : 0.00 0 0
1800.05/1800.00 c intdiving : 0.00 0 0
1800.05/1800.00 c actconsdiving : 0.00 0 0
1800.05/1800.00 c octane : 0.00 0 0
1800.05/1800.00 c rens : 0.01 0 0
1800.05/1800.00 c rins : 0.00 0 0
1800.05/1800.00 c localbranching : 0.00 0 0
1800.05/1800.00 c mutation : 0.00 0 0
1800.05/1800.00 c dins : 0.00 0 0
1800.05/1800.00 c vbounds : 0.00 0 0
1800.05/1800.00 c undercover : 0.01 1 0
1800.05/1800.00 c subnlp : 0.46 0 0
1800.05/1800.00 c trysol : 0.72 0 0
1800.05/1800.00 c LP : Time Calls Iterations Iter/call Iter/sec
1800.05/1800.00 c primal LP : 34.86 0 0 0.00 0.00
1800.05/1800.00 c dual LP : 1219.37 4069004 44632010 10.97 36602.40
1800.05/1800.00 c lex dual LP : 0.00 0 0 0.00 -
1800.05/1800.00 c barrier LP : 0.00 0 0 0.00 -
1800.05/1800.00 c diving/probing LP: 8.74 39368 214183 5.44 24507.21
1800.05/1800.00 c strong branching : 16.57 28010 381920 13.64 23045.76
1800.05/1800.00 c (at root node) : - 26 11229 431.88 -
1800.05/1800.00 c conflict analysis: 0.00 0 0 0.00 -
1800.05/1800.00 c B&B Tree :
1800.05/1800.00 c number of runs : 1
1800.05/1800.00 c nodes : 3041099
1800.05/1800.00 c nodes (total) : 3041099
1800.05/1800.00 c nodes left : 198702
1800.05/1800.00 c max depth : 67
1800.05/1800.00 c max depth (total): 67
1800.05/1800.00 c backtracks : 461980 (15.2%)
1800.05/1800.00 c delayed cutoffs : 0
1800.05/1800.00 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1800.05/1800.00 c avg switch length: 6.11
1800.05/1800.00 c switching time : 117.08
1800.05/1800.00 c Solution :
1800.05/1800.00 c Solutions found : 642 (12 improvements)
1800.05/1800.00 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
1800.05/1800.00 c Primal Bound : -5.20000000000000e+01 (in run 1, after 1931498 nodes, 1227.42 seconds, depth 43, found by <relaxation>)
1800.05/1800.00 c Dual Bound : -5.80000000000000e+01
1800.05/1800.00 c Gap : 10.34 %
1800.05/1800.00 c Root Dual Bound : -7.07716240582329e+01
1800.05/1800.00 c Root Iterations : 7346
OK -52
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-3450689-1307107454/watcher-3450689-1307107454 -o /tmp/evaluation-result-3450689-1307107454/solver-3450689-1307107454 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450689-1307107454.opb -t 1800 -m 15500 running on 4 cores: 0,2,4,6 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: 2.20 2.08 2.02 2/424 24813 /proc/meminfo: memFree=25910256/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=14816 CPUtime=0 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 2702 0 0 0 0 0 0 0 25 0 1 0 822343583 15171584 2655 33554432000 4194304 9163163 140734971015680 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24813/statm: 3704 2655 415 1214 0 2486 0 [startup+0.0339091 s] /proc/loadavg: 2.20 2.08 2.02 2/424 24813 /proc/meminfo: memFree=25910256/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=21844 CPUtime=0.02 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 4493 0 0 0 2 0 0 0 25 0 1 0 822343583 22368256 4188 33554432000 4194304 9163163 140734971015680 18446744073709551615 18446744073699065955 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 5461 4188 505 1214 0 4243 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 21844 [startup+0.100902 s] /proc/loadavg: 2.20 2.08 2.02 2/424 24813 /proc/meminfo: memFree=25910256/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=26720 CPUtime=0.09 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 8129 0 0 0 9 0 0 0 25 0 1 0 822343583 27361280 5632 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 6680 5632 697 1214 0 5462 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 26720 [startup+0.300865 s] /proc/loadavg: 2.20 2.08 2.02 2/424 24813 /proc/meminfo: memFree=25910256/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=29668 CPUtime=0.29 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 8861 0 0 0 28 1 0 0 25 0 1 0 822343583 30380032 6353 33554432000 4194304 9163163 140734971015680 18446744073709551615 8264362 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 7452 6380 692 1214 0 6234 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 29668 [startup+0.700793 s] /proc/loadavg: 2.20 2.08 2.02 2/424 24813 /proc/meminfo: memFree=25910256/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=35700 CPUtime=0.69 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 10390 0 0 0 67 2 0 0 25 0 1 0 822343583 36556800 7874 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 8925 7874 693 1214 0 7707 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 35700 [startup+1.50068 s] /proc/loadavg: 2.20 2.08 2.02 3/425 24814 /proc/meminfo: memFree=25871560/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=45520 CPUtime=1.49 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 12744 0 0 0 146 3 0 0 25 0 1 0 822343583 46612480 10225 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 11380 10225 693 1214 0 10162 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 45520 [startup+3.10038 s] /proc/loadavg: 2.20 2.08 2.02 3/425 24814 /proc/meminfo: memFree=25867468/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=45088 CPUtime=3.09 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 14487 0 0 0 303 6 0 0 25 0 1 0 822343583 46170112 10261 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 11272 10261 713 1214 0 10054 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 45088 [startup+6.30077 s] /proc/loadavg: 2.18 2.08 2.02 3/425 24814 /proc/meminfo: memFree=25867388/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=46064 CPUtime=6.29 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 16355 0 0 0 613 16 0 0 25 0 1 0 822343583 47169536 10450 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 11516 10450 717 1214 0 10298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 46064 [startup+12.7006 s] /proc/loadavg: 2.16 2.08 2.01 3/425 24814 /proc/meminfo: memFree=25860608/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=49568 CPUtime=12.69 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 27203 0 0 0 1236 33 0 0 25 0 1 0 822343583 50757632 11362 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 12392 11362 728 1214 0 11174 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49568 [startup+25.5003 s] /proc/loadavg: 2.13 2.08 2.01 3/425 24815 /proc/meminfo: memFree=25845144/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=57340 CPUtime=25.49 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 33710 0 0 0 2473 76 0 0 25 0 1 0 822343583 58716160 13277 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 14335 13277 728 1214 0 13117 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 57340 [startup+51.1006 s] /proc/loadavg: 2.08 2.07 2.01 3/425 24815 /proc/meminfo: memFree=25826816/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=68112 CPUtime=51.09 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 51134 0 0 0 4955 154 0 0 25 0 1 0 822343583 69746688 16073 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 17028 16073 728 1214 0 15810 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 68112 [startup+102.315 s] /proc/loadavg: 2.03 2.06 2.01 3/425 24817 /proc/meminfo: memFree=25786184/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=86348 CPUtime=102.31 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 72651 0 0 0 9911 320 0 0 25 0 1 0 822343583 88420352 20633 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 21587 20633 728 1214 0 20369 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 86348 [startup+162.3 s] /proc/loadavg: 2.01 2.04 2.00 3/425 24818 /proc/meminfo: memFree=25738344/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=108260 CPUtime=162.29 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 81737 0 0 0 15721 508 0 0 25 0 1 0 822343583 110858240 26165 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 27065 26165 728 1214 0 25847 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 108260 [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.00 3/425 24820 /proc/meminfo: memFree=25698760/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=129352 CPUtime=222.3 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 86578 0 0 0 21540 690 0 0 25 0 1 0 822343583 132456448 31006 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 32338 31006 728 1214 0 31120 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 129352 [startup+282.301 s] /proc/loadavg: 2.00 2.02 2.00 3/425 24822 /proc/meminfo: memFree=25655944/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=152128 CPUtime=282.3 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 94123 0 0 0 27361 869 0 0 25 0 1 0 822343583 155779072 36776 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 38032 36776 728 1214 0 36814 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 152128 [startup+342.301 s] /proc/loadavg: 2.00 2.02 2.00 3/425 24823 /proc/meminfo: memFree=25613388/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=175708 CPUtime=342.3 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 100100 0 0 0 33178 1052 0 0 25 0 1 0 822343583 179924992 42750 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 43927 42750 728 1214 0 42709 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 175708 [startup+402.301 s] /proc/loadavg: 2.08 2.04 2.01 3/425 24825 /proc/meminfo: memFree=25579884/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=195568 CPUtime=402.3 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 106858 0 0 0 38986 1244 0 0 25 0 1 0 822343583 200261632 47765 33554432000 4194304 9163163 140734971015680 18446744073709551615 4840662 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 48892 47765 728 1214 0 47674 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 195568 [startup+462.301 s] /proc/loadavg: 2.07 2.05 2.01 3/425 24826 /proc/meminfo: memFree=25543656/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=212724 CPUtime=462.3 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 111218 0 0 0 44806 1424 0 0 25 0 1 0 822343583 217829376 52117 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 53181 52117 728 1214 0 51963 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 212724 [startup+522.301 s] /proc/loadavg: 2.07 2.05 2.01 3/425 24828 /proc/meminfo: memFree=25511856/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=226788 CPUtime=522.31 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 114824 0 0 0 50633 1598 0 0 25 0 1 0 822343583 232230912 55712 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 56697 55712 728 1214 0 55479 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 226788 [startup+582.301 s] /proc/loadavg: 2.02 2.04 2.00 3/425 24830 /proc/meminfo: memFree=25480288/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=243752 CPUtime=582.3 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 119088 0 0 0 56459 1771 0 0 25 0 1 0 822343583 249602048 59976 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 60938 59976 728 1214 0 59720 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 243752 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.02 2.00 3/425 24836 /proc/meminfo: memFree=25373968/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=298508 CPUtime=822.31 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 133686 0 0 0 79765 2466 0 0 25 0 1 0 822343583 305672192 72790 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 74627 72790 728 1214 0 73409 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 298508 [startup+882.3 s] /proc/loadavg: 2.00 2.01 2.00 3/425 24838 /proc/meminfo: memFree=25344408/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=311500 CPUtime=882.31 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 136966 0 0 0 85593 2638 0 0 25 0 1 0 822343583 318976000 76070 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 77875 76070 728 1214 0 76657 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 311500 [startup+942.3 s] /proc/loadavg: 2.19 2.07 2.02 3/425 24839 /proc/meminfo: memFree=25330960/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=319372 CPUtime=942.32 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 138960 0 0 0 91420 2812 0 0 25 0 1 0 822343583 327036928 78064 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 79843 78064 728 1214 0 78625 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 319372 [startup+1002.3 s] /proc/loadavg: 2.11 2.07 2.02 3/425 24841 /proc/meminfo: memFree=25307360/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=333324 CPUtime=1002.32 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 142480 0 0 0 97248 2984 0 0 25 0 1 0 822343583 341323776 81584 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 83331 81584 728 1214 0 82113 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 333324 [startup+1062.3 s] /proc/loadavg: 2.22 2.10 2.03 3/425 24842 /proc/meminfo: memFree=25286872/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=343000 CPUtime=1062.33 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 144922 0 0 0 103076 3157 0 0 25 0 1 0 822343583 351232000 84026 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 85750 84026 728 1214 0 84532 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 343000 [startup+1122.3 s] /proc/loadavg: 2.08 2.08 2.02 3/425 24844 /proc/meminfo: memFree=25267720/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=351296 CPUtime=1122.32 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 148790 0 0 0 108905 3327 0 0 25 0 1 0 822343583 359727104 86128 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 87824 86128 728 1214 0 86606 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 351296 [startup+1182.3 s] /proc/loadavg: 2.03 2.06 2.01 3/425 24846 /proc/meminfo: memFree=25250940/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=358720 CPUtime=1182.33 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 150674 0 0 0 114732 3501 0 0 25 0 1 0 822343583 367329280 88012 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 89680 88012 728 1214 0 88462 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 358720 [startup+1242.3 s] /proc/loadavg: 2.01 2.05 2.01 3/425 24847 /proc/meminfo: memFree=25230320/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1242.33 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 166453 0 0 0 120561 3672 0 0 25 0 1 0 822343583 376963072 90415 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90415 728 1214 0 90814 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 368128 [startup+1302.3 s] /proc/loadavg: 2.00 2.04 2.00 3/425 24849 /proc/meminfo: memFree=25221964/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1302.34 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 169985 0 0 0 126392 3842 0 0 25 0 1 0 822343583 376963072 90415 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90415 728 1214 0 90814 0 Current children cumulated CPU time (s) 1302.34 Current children cumulated vsize (KiB) 368128 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/425 24850 /proc/meminfo: memFree=25213220/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1362.33 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 171752 0 0 0 132224 4009 0 0 25 0 1 0 822343583 376963072 90415 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90415 728 1214 0 90814 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 368128 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/425 24852 /proc/meminfo: memFree=25204880/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1422.35 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 171753 0 0 0 138057 4178 0 0 25 0 1 0 822343583 376963072 90416 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90416 728 1214 0 90814 0 Current children cumulated CPU time (s) 1422.35 Current children cumulated vsize (KiB) 368128 [startup+1482.3 s] /proc/loadavg: 2.08 2.03 2.01 3/425 24854 /proc/meminfo: memFree=25195644/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1482.33 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 174542 0 0 0 143891 4342 0 0 25 0 1 0 822343583 376963072 90419 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90419 728 1214 0 90814 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 368128 [startup+1542.3 s] /proc/loadavg: 2.03 2.02 2.00 3/425 24855 /proc/meminfo: memFree=25190832/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1542.34 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 174543 0 0 0 149722 4512 0 0 25 0 1 0 822343583 376963072 90420 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90420 728 1214 0 90814 0 Current children cumulated CPU time (s) 1542.34 Current children cumulated vsize (KiB) 368128 [startup+1602.3 s] /proc/loadavg: 2.01 2.02 2.00 3/425 24857 /proc/meminfo: memFree=25185680/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1602.34 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 174543 0 0 0 155556 4678 0 0 25 0 1 0 822343583 376963072 90420 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90420 728 1214 0 90814 0 Current children cumulated CPU time (s) 1602.34 Current children cumulated vsize (KiB) 368128 [startup+1662.3 s] /proc/loadavg: 2.03 2.03 2.00 3/425 24858 /proc/meminfo: memFree=25179056/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1662.34 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 176306 0 0 0 161392 4842 0 0 25 0 1 0 822343583 376963072 90419 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90419 728 1214 0 90814 0 Current children cumulated CPU time (s) 1662.34 Current children cumulated vsize (KiB) 368128 [startup+1722.3 s] /proc/loadavg: 2.01 2.02 2.00 3/425 24860 /proc/meminfo: memFree=25169572/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=368128 CPUtime=1722.35 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 176307 0 0 0 167229 5006 0 0 25 0 1 0 822343583 376963072 90420 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92032 90420 728 1214 0 90814 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 368128 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/425 24862 /proc/meminfo: memFree=25163600/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=369024 CPUtime=1782.34 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 176499 0 0 0 173065 5169 0 0 25 0 1 0 822343583 377880576 90612 33554432000 4194304 9163163 140734971015680 18446744073709551615 8087562 0 0 4096 16384 0 0 0 17 4 0 0 0 /proc/24813/statm: 92256 90612 728 1214 0 91038 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 369024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/425 24890 /proc/meminfo: memFree=25563928/32951124 swapFree=44043512/67111528 [pid=24813] ppid=24811 vsize=369024 CPUtime=1800.06 cores=0,2,4,6 /proc/24813/stat : 24813 (scip-2.0.1.4b.l) R 24811 24813 23890 0 -1 4202496 176502 0 0 0 174789 5217 0 0 25 0 1 0 822343583 377880576 90615 33554432000 4194304 9163163 140734971015680 18446744073709551615 4747208 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/24813/statm: 92256 90615 731 1214 0 91038 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 369024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.03 CPU time (s): 1800.09 CPU user time (s): 1747.9 CPU system time (s): 52.1881 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 375008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1747.9 system time used= 52.1881 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 176502 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= 3 involuntary context switches= 2383 runsolver used 8.01978 second user time and 16.5115 second system time The end
Begin job on node134 at 2011-06-03 15:24:14 IDJOB=3450689 IDBENCH=48213 IDSOLVER=1948 FILE ID=node134/3450689-1307107454 RUNJOBID= node134-1307094831-23908 PBS_JOBID= 13498008 Free space on /tmp= 73992 MiB SOLVER NAME= SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_4.opb COMMAND LINE= HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3450689-1307107454/watcher-3450689-1307107454 -o /tmp/evaluation-result-3450689-1307107454/solver-3450689-1307107454 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450689-1307107454.opb -t 1800 -m 15500 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 69a7dda5c80f9dda65f29fb6eb76eed7 RANDOM SEED=127370835 node134.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.831 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.66 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.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 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.831 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.83 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.831 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 : 7186.06 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.831 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.80 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.831 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.83 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.831 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.75 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.831 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.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25910536 kB Buffers: 259652 kB Cached: 612596 kB SwapCached: 9540 kB Active: 6168940 kB Inactive: 579736 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25910536 kB SwapTotal: 67111528 kB SwapFree: 44043512 kB Dirty: 24504 kB Writeback: 0 kB AnonPages: 5874532 kB Mapped: 23968 kB Slab: 136284 kB PageTables: 89252 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 110821252 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73980 MiB End job on node134 at 2011-06-03 15:54:16