Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver | OPT | 2 | 776.922 | 777.136 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_1.opb |
| MD5SUM | fb11ff2665aef67f0842a460a5ea3114 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 182.966 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 2 |
| Optimality of the best value was proved | YES |
| Number of variables | 94 |
| Total number of constraints | 8 |
| 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 | 8 |
| Minimum length of a constraint | 45 |
| Maximum length of a constraint | 46 |
| Number of terms in the objective function | 64 |
| Biggest coefficient in the objective function | 128 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 2040 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 851 |
| Number of bits of the biggest number in a constraint | 10 |
| Biggest sum of numbers in a constraint | 3063 |
| Number of bits of the biggest sum of numbers | 12 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 1.2.1.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-2665643-1276617254.opb>
0.00/0.01 c original problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 8 constraints
0.00/0.01 c problem read
0.00/0.01 c presolving settings loaded
0.00/0.01 c presolving:
0.00/0.02 c (round 1) 0 del vars, 4 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.00/0.02 c presolving (2 rounds):
0.00/0.02 c 0 deleted vars, 4 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.00/0.02 c 0 implications, 0 cliques
0.00/0.02 c presolved problem has 94 variables (94 bin, 0 int, 0 impl, 0 cont) and 4 constraints
0.00/0.02 c 4 constraints of type <linear>
0.00/0.02 c transformed objective value is always integral (scale: 1)
0.00/0.02 c Presolving Time: 0.01
0.00/0.02 c - non default parameters ----------------------------------------------------------------------
0.00/0.02 c # SCIP version 1.2.1.2
0.00/0.02 c
0.00/0.02 c # frequency for displaying node information lines
0.00/0.02 c # [type: int, range: [-1,2147483647], default: 100]
0.00/0.02 c display/freq = 10000
0.00/0.02 c
0.00/0.02 c # maximal time in seconds to run
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/time = 1800
0.00/0.02 c
0.00/0.02 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.00/0.02 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.00/0.02 c limits/memory = 1620
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify inequalities
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/linear/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # should presolving try to simplify knapsacks
0.00/0.02 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.00/0.02 c constraints/knapsack/simplifyinequalities = TRUE
0.00/0.02 c
0.00/0.02 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.00/0.02 c # [type: int, range: [-1,2147483647], default: -1]
0.00/0.02 c separating/rapidlearning/freq = 0
0.00/0.02 c
0.00/0.02 c -----------------------------------------------------------------------------------------------
0.00/0.02 c start solving
0.00/0.02 c
0.00/0.02 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.00/0.02 c 0.0s| 1 | 0 | 20 | - | 350k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | -- | Inf
0.09/0.10 o 411
0.09/0.10 c y 0.1s| 1 | 0 | 20 | - | 374k| 0 | 4 | 94 | 4 | 94 | 4 | 0 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 25 | - | 529k| 0 | 8 | 94 | 126 | 94 | 9 | 5 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.11 c 0.1s| 1 | 0 | 30 | - | 567k| 0 | 8 | 94 | 126 | 94 | 14 | 10 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.12 c 0.1s| 1 | 0 | 32 | - | 588k| 0 | 10 | 94 | 126 | 94 | 17 | 13 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.13 c 0.1s| 1 | 0 | 36 | - | 617k| 0 | 9 | 94 | 126 | 94 | 20 | 16 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.14 c 0.1s| 1 | 0 | 45 | - | 660k| 0 | 13 | 94 | 126 | 94 | 25 | 21 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.09/0.16 c 0.1s| 1 | 0 | 53 | - | 683k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 0 | 0.000000e+00 | 4.110000e+02 | Inf
0.19/0.23 c 0.2s| 1 | 2 | 53 | - | 684k| 0 | 14 | 94 | 126 | 94 | 29 | 25 | 0 | 9 | 0.000000e+00 | 4.110000e+02 | Inf
0.19/0.27 o 173
0.19/0.27 c c 0.2s| 16 | 17 | 151 | 6.5 | 712k| 15 | - | 94 | 126 | 94 | 14 | 25 | 0 | 69 | 0.000000e+00 | 1.730000e+02 | Inf
0.29/0.32 o 171
0.29/0.32 c * 0.2s| 39 | 38 | 266 | 5.6 | 719k| 22 | - | 94 | 126 | 94 | 14 | 25 | 2 | 144 | 0.000000e+00 | 1.710000e+02 | Inf
0.29/0.32 o 166
0.29/0.32 c * 0.2s| 43 | 39 | 271 | 5.2 | 720k| 25 | - | 94 | 126 | 94 | 14 | 25 | 2 | 149 | 0.000000e+00 | 1.660000e+02 | Inf
0.29/0.35 o 66
0.29/0.35 c f 0.3s| 57 | 47 | 312 | 4.6 | 731k| 25 | - | 94 | 126 | 94 | 14 | 25 | 2 | 185 | 0.000000e+00 | 6.600000e+01 | Inf
0.29/0.36 o 65
0.29/0.36 c * 0.3s| 68 | 52 | 347 | 4.4 | 719k| 25 | - | 94 | 90 | 94 | 14 | 25 | 2 | 200 | 0.000000e+00 | 6.500000e+01 | Inf
0.29/0.39 o 63
0.29/0.39 c * 0.3s| 94 | 72 | 420 | 3.9 | 730k| 25 | - | 94 | 90 | 94 | 14 | 25 | 2 | 236 | 0.000000e+00 | 6.300000e+01 | Inf
0.29/0.40 o 53
0.29/0.40 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.29/0.40 c o 0.3s| 98 | 76 | 429 | 3.9 | 730k| 26 | 0 | 94 | 7 | 94 | 14 | 25 | 2 | 249 | 0.000000e+00 | 5.300000e+01 | Inf
0.39/0.42 o 52
0.39/0.42 c * 0.3s| 133 | 101 | 553 | 3.8 | 714k| 26 | - | 94 | 10 | 94 | 14 | 25 | 5 | 269 | 0.000000e+00 | 5.200000e+01 | Inf
0.39/0.42 o 50
0.39/0.42 c * 0.3s| 135 | 98 | 553 | 3.7 | 714k| 26 | - | 94 | 10 | 94 | 14 | 25 | 5 | 271 | 0.000000e+00 | 5.000000e+01 | Inf
0.49/0.56 o 49
0.49/0.56 c v 0.4s| 348 | 255 | 1112 | 3.1 | 801k| 28 | - | 94 | 15 | 94 | 14 | 25 | 16 | 323 | 0.000000e+00 | 4.900000e+01 | Inf
0.59/0.69 o 48
0.59/0.69 c l 0.6s| 566 | 438 | 1759 | 3.0 | 895k| 28 | - | 94 | 32 | 94 | 14 | 25 | 41 | 357 | 0.000000e+00 | 4.800000e+01 | Inf
0.59/0.70 o 44
0.59/0.70 c s 0.6s| 581 | 445 | 1801 | 3.0 | 895k| 28 | 4 | 94 | 32 | 94 | 14 | 25 | 41 | 358 | 0.000000e+00 | 4.400000e+01 | Inf
0.69/0.72 o 43
0.69/0.72 c * 0.6s| 609 | 467 | 1959 | 3.1 | 912k| 28 | - | 94 | 36 | 94 | 14 | 25 | 46 | 365 | 0.000000e+00 | 4.300000e+01 | Inf
0.69/0.75 o 42
0.69/0.75 c p 0.6s| 634 | 492 | 2077 | 3.2 | 931k| 28 | - | 94 | 38 | 94 | 14 | 25 | 49 | 374 | 0.000000e+00 | 4.200000e+01 | Inf
0.78/0.81 o 41
0.78/0.81 c v 0.7s| 732 | 573 | 2391 | 3.2 | 980k| 28 | - | 94 | 53 | 94 | 14 | 25 | 67 | 381 | 0.000000e+00 | 4.100000e+01 | Inf
0.78/0.84 o 39
0.78/0.84 c * 0.7s| 770 | 599 | 2559 | 3.3 | 996k| 28 | - | 94 | 62 | 94 | 14 | 25 | 79 | 384 | 0.000000e+00 | 3.900000e+01 | Inf
0.78/0.84 o 37
0.78/0.84 c * 0.7s| 771 | 595 | 2559 | 3.3 | 994k| 28 | - | 94 | 62 | 94 | 14 | 25 | 79 | 384 | 0.000000e+00 | 3.700000e+01 | Inf
0.89/0.92 o 35
0.89/0.92 c l 0.8s| 894 | 680 | 2942 | 3.2 |1054k| 28 | - | 94 | 79 | 94 | 14 | 25 | 117 | 392 | 0.000000e+00 | 3.500000e+01 | Inf
0.89/0.92 o 34
0.89/0.92 c p 0.8s| 903 | 686 | 2965 | 3.2 |1060k| 28 | - | 94 | 80 | 94 | 14 | 25 | 118 | 394 | 0.000000e+00 | 3.400000e+01 | Inf
0.89/0.99 o 32
0.89/0.99 c l 0.8s| 998 | 755 | 3296 | 3.3 |1110k| 28 | - | 94 | 90 | 94 | 14 | 25 | 148 | 403 | 0.000000e+00 | 3.200000e+01 | Inf
0.89/0.99 o 30
0.89/0.99 c g 0.8s| 998 | 750 | 3296 | 3.3 |1108k| 28 | - | 94 | 90 | 94 | 14 | 25 | 149 | 403 | 0.000000e+00 | 3.000000e+01 | Inf
0.99/1.08 o 28
0.99/1.08 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
0.99/1.08 c * 0.9s| 1160 | 877 | 3779 | 3.2 |1155k| 28 | - | 94 | 95 | 94 | 14 | 25 | 162 | 409 | 0.000000e+00 | 2.800000e+01 | Inf
1.10/1.11 o 27
1.10/1.11 c * 0.9s| 1203 | 910 | 3960 | 3.3 |1171k| 28 | - | 94 | 101 | 94 | 14 | 25 | 168 | 409 | 0.000000e+00 | 2.700000e+01 | Inf
1.10/1.20 o 26
1.10/1.20 c * 1.0s| 1340 | 1025 | 4386 | 3.2 |1229k| 28 | - | 94 | 122 | 94 | 14 | 25 | 191 | 411 | 0.000000e+00 | 2.600000e+01 | Inf
1.19/1.27 o 25
1.19/1.27 c l 1.0s| 1446 | 1094 | 4750 | 3.3 |1275k| 28 | - | 94 | 153 | 94 | 14 | 25 | 224 | 412 | 0.000000e+00 | 2.500000e+01 | Inf
1.29/1.30 o 24
1.29/1.30 c v 1.1s| 1492 | 1122 | 4969 | 3.3 |1292k| 28 | - | 94 | 161 | 94 | 14 | 25 | 233 | 412 | 0.000000e+00 | 2.400000e+01 | Inf
1.29/1.33 o 23
1.29/1.33 c f 1.1s| 1521 | 1133 | 5130 | 3.3 |1296k| 28 | - | 94 | 169 | 94 | 14 | 25 | 241 | 413 | 0.000000e+00 | 2.300000e+01 | Inf
1.29/1.33 o 21
1.29/1.33 c p 1.1s| 1521 | 1117 | 5130 | 3.3 |1288k| 28 | - | 94 | 170 | 94 | 14 | 25 | 242 | 413 | 0.000000e+00 | 2.100000e+01 | Inf
1.49/1.57 o 19
1.49/1.57 c v 1.3s| 1834 | 1314 | 6542 | 3.5 |1401k| 28 | - | 94 | 245 | 94 | 14 | 25 | 324 | 419 | 0.000000e+00 | 1.900000e+01 | Inf
1.49/1.57 o 17
1.49/1.57 c l 1.3s| 1834 | 1296 | 6544 | 3.5 |1393k| 28 | - | 94 | 246 | 94 | 14 | 25 | 325 | 419 | 0.000000e+00 | 1.700000e+01 | Inf
1.79/1.89 o 14
1.79/1.89 c * 1.6s| 2203 | 1528 | 8500 | 3.8 |1547k| 28 | - | 94 | 341 | 94 | 14 | 25 | 444 | 423 | 0.000000e+00 | 1.400000e+01 | Inf
2.09/2.20 o 12
2.09/2.20 c * 1.8s| 2649 | 1774 | 10287 | 3.9 |1635k| 28 | - | 94 | 439 | 94 | 14 | 25 | 547 | 435 | 0.000000e+00 | 1.200000e+01 | Inf
3.38/3.47 o 11
3.38/3.47 c * 2.9s| 4763 | 2519 | 17782 | 3.7 |2120k| 28 | - | 94 | 739 | 94 | 14 | 25 | 861 | 481 | 0.000000e+00 | 1.100000e+01 | Inf
3.38/3.47 o 9
3.38/3.47 c * 2.9s| 4764 | 2484 | 17782 | 3.7 |2099k| 28 | - | 94 | 739 | 94 | 14 | 25 | 861 | 481 | 0.000000e+00 | 9.000000e+00 | Inf
4.18/4.20 o 8
4.18/4.20 c * 3.5s| 6063 | 2868 | 21872 | 3.6 |2364k| 28 | - | 94 | 914 | 94 | 14 | 25 |1057 | 520 | 0.000000e+00 | 8.000000e+00 | Inf
4.18/4.20 o 6
4.18/4.20 c * 3.5s| 6066 | 2816 | 21875 | 3.6 |2322k| 28 | - | 94 | 879 | 94 | 14 | 25 |1057 | 525 | 0.000000e+00 | 6.000000e+00 | Inf
4.18/4.20 o 4
4.18/4.20 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
4.18/4.20 c * 3.5s| 6067 | 2731 | 21875 | 3.6 |2271k| 28 | - | 94 | 879 | 94 | 14 | 25 |1057 | 525 | 0.000000e+00 | 4.000000e+00 | Inf
4.18/4.20 o 2
4.18/4.20 c * 3.5s| 6068 | 2668 | 21875 | 3.6 |2227k| 28 | - | 94 | 879 | 94 | 14 | 25 |1057 | 525 | 0.000000e+00 | 2.000000e+00 | Inf
5.89/5.90 c 5.0s| 10000 | 3027 | 31063 | 3.1 |2651k| 28 | 4 | 94 |1242 | 94 | 14 | 25 |1454 | 559 | 0.000000e+00 | 2.000000e+00 | Inf
10.29/10.32 c 8.8s| 20000 | 3332 | 52068 | 2.6 |3434k| 28 | - | 94 |2450 | 0 | 0 | 25 |2733 | 605 | 0.000000e+00 | 2.000000e+00 | Inf
15.18/15.22 c 13.1s| 30000 | 3153 | 72514 | 2.4 |3810k| 28 | - | 94 |3322 | 0 | 0 | 25 |4068 | 641 | 0.000000e+00 | 2.000000e+00 | Inf
20.28/20.37 c 17.5s| 40000 | 3238 | 93707 | 2.3 |4201k| 28 | 4 | 94 |3957 | 94 | 14 | 25 |5636 | 699 | 0.000000e+00 | 2.000000e+00 | Inf
25.68/25.79 c 22.2s| 50000 | 3446 |115651 | 2.3 |4450k| 28 | - | 94 |4261 | 0 | 0 | 25 |7113 | 705 | 0.000000e+00 | 2.000000e+00 | Inf
31.18/31.20 c 27.0s| 60000 | 3118 |136113 | 2.3 |4183k| 28 | - | 94 |4066 | 0 | 0 | 25 |8408 | 715 | 0.000000e+00 | 2.000000e+00 | Inf
35.98/36.01 c 31.1s| 70000 | 3197 |157791 | 2.3 |3663k| 28 | 4 | 94 |2483 | 94 | 14 | 25 |9621 | 863 | 0.000000e+00 | 2.000000e+00 | Inf
40.28/40.35 c 34.8s| 80000 | 2973 |179022 | 2.2 |3430k| 28 | 4 | 94 |2068 | 94 | 14 | 25 | 10k| 875 | 0.000000e+00 | 2.000000e+00 | Inf
44.47/44.53 c 38.4s| 90000 | 2928 |200486 | 2.2 |3338k| 28 | 4 | 94 |1777 | 94 | 14 | 25 | 11k| 886 | 0.000000e+00 | 2.000000e+00 | Inf
48.58/48.60 c 41.8s|100000 | 2936 |223870 | 2.2 |3219k| 28 | 4 | 94 |1293 | 94 | 14 | 25 | 12k| 900 | 0.000000e+00 | 2.000000e+00 | Inf
52.58/52.68 c 45.2s|110000 | 2917 |247211 | 2.2 |3261k| 28 | 4 | 94 |1409 | 94 | 14 | 25 | 13k| 926 | 0.000000e+00 | 2.000000e+00 | Inf
56.78/56.81 c 48.6s|120000 | 2879 |269783 | 2.2 |3167k| 28 | 4 | 94 |1327 | 94 | 14 | 25 | 14k| 954 | 0.000000e+00 | 2.000000e+00 | Inf
60.77/60.88 c 52.1s|130000 | 3032 |290971 | 2.2 |3523k| 28 | - | 94 |1775 | 94 | 14 | 25 | 16k| 954 | 0.000000e+00 | 2.000000e+00 | Inf
64.97/65.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
64.97/65.05 c 55.7s|140000 | 2715 |311978 | 2.2 |3121k| 28 | - | 94 |1410 | 0 | 0 | 25 | 17k| 958 | 0.000000e+00 | 2.000000e+00 | Inf
68.97/69.03 c 59.0s|150000 | 2596 |333915 | 2.2 |3097k| 28 | 4 | 94 |1471 | 94 | 14 | 25 | 18k| 959 | 0.000000e+00 | 2.000000e+00 | Inf
73.07/73.14 c 62.4s|160000 | 2531 |357062 | 2.2 |3093k| 28 | - | 94 |1483 | 0 | 0 | 25 | 19k| 968 | 0.000000e+00 | 2.000000e+00 | Inf
77.16/77.23 c 65.9s|170000 | 2461 |380060 | 2.2 |3156k| 28 | - | 94 |1757 | 94 | 14 | 25 | 20k| 978 | 0.000000e+00 | 2.000000e+00 | Inf
81.28/81.36 c 69.3s|180000 | 2418 |403323 | 2.2 |3086k| 28 | 4 | 94 |1544 | 94 | 14 | 25 | 22k| 983 | 0.000000e+00 | 2.000000e+00 | Inf
85.46/85.54 c 72.9s|190000 | 2416 |424112 | 2.2 |3165k| 28 | 4 | 94 |1824 | 94 | 14 | 25 | 23k| 983 | 0.000000e+00 | 2.000000e+00 | Inf
89.77/89.88 c 76.6s|200000 | 2479 |446137 | 2.2 |3290k| 28 | - | 94 |1970 | 94 | 14 | 25 | 24k| 986 | 0.000000e+00 | 2.000000e+00 | Inf
93.97/94.05 c 80.1s|210000 | 2462 |467664 | 2.2 |3111k| 28 | - | 94 |1531 | 94 | 14 | 25 | 25k|1069 | 0.000000e+00 | 2.000000e+00 | Inf
97.96/98.01 c 83.5s|220000 | 2362 |487641 | 2.2 |3199k| 28 | - | 94 |1786 | 94 | 14 | 25 | 26k|1069 | 0.000000e+00 | 2.000000e+00 | Inf
102.06/102.15 c 87.0s|230000 | 2469 |509373 | 2.2 |3425k| 28 | 4 | 94 |2256 | 94 | 14 | 25 | 27k|1075 | 0.000000e+00 | 2.000000e+00 | Inf
106.26/106.33 c 90.5s|240000 | 2282 |532282 | 2.2 |3092k| 28 | 4 | 94 |1604 | 94 | 14 | 25 | 28k|1076 | 0.000000e+00 | 2.000000e+00 | Inf
110.26/110.35 c 93.8s|250000 | 2082 |552959 | 2.2 |2977k| 28 | - | 94 |1651 | 94 | 14 | 25 | 29k|1077 | 0.000000e+00 | 2.000000e+00 | Inf
114.16/114.29 c 97.1s|260000 | 1999 |576202 | 2.2 |2671k| 28 | 4 | 94 | 806 | 94 | 14 | 25 | 30k|1084 | 0.000000e+00 | 2.000000e+00 | Inf
117.86/117.97 c 100s|270000 | 1924 |597485 | 2.2 |2749k| 28 | 4 | 94 |1058 | 94 | 14 | 25 | 31k|1086 | 0.000000e+00 | 2.000000e+00 | Inf
121.76/121.82 c 103s|280000 | 1780 |619618 | 2.2 |2657k| 28 | - | 94 |1040 | 94 | 14 | 25 | 32k|1088 | 0.000000e+00 | 2.000000e+00 | Inf
125.66/125.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
125.66/125.71 c 107s|290000 | 1739 |643870 | 2.2 |2721k| 28 | 4 | 94 |1265 | 94 | 14 | 25 | 33k|1099 | 0.000000e+00 | 2.000000e+00 | Inf
129.45/129.53 c 110s|300000 | 1793 |666385 | 2.2 |2822k| 28 | - | 94 |1393 | 0 | 0 | 25 | 34k|1099 | 0.000000e+00 | 2.000000e+00 | Inf
133.25/133.35 c 113s|310000 | 1725 |688086 | 2.2 |2688k| 28 | 4 | 94 |1145 | 94 | 14 | 25 | 35k|1105 | 0.000000e+00 | 2.000000e+00 | Inf
136.95/137.10 c 116s|320000 | 1706 |710305 | 2.2 |2710k| 28 | 4 | 94 |1255 | 94 | 14 | 25 | 36k|1105 | 0.000000e+00 | 2.000000e+00 | Inf
140.76/140.86 c 119s|330000 | 1662 |733323 | 2.2 |2659k| 28 | 4 | 94 |1145 | 94 | 14 | 25 | 36k|1106 | 0.000000e+00 | 2.000000e+00 | Inf
144.45/144.54 c 122s|340000 | 1666 |754560 | 2.2 |2770k| 28 | - | 94 |1366 | 94 | 14 | 25 | 37k|1119 | 0.000000e+00 | 2.000000e+00 | Inf
148.25/148.32 c 125s|350000 | 1585 |774961 | 2.2 |2689k| 28 | - | 94 |1227 | 0 | 0 | 25 | 38k|1125 | 0.000000e+00 | 2.000000e+00 | Inf
151.95/152.04 c 129s|360000 | 1769 |795464 | 2.2 |2938k| 28 | 4 | 94 |1512 | 94 | 14 | 25 | 39k|1127 | 0.000000e+00 | 2.000000e+00 | Inf
155.75/155.86 c 132s|370000 | 1539 |816014 | 2.2 |2806k| 28 | 4 | 94 |1569 | 94 | 14 | 25 | 40k|1127 | 0.000000e+00 | 2.000000e+00 | Inf
159.46/159.60 c 135s|380000 | 1625 |836895 | 2.2 |2874k| 28 | 4 | 94 |1688 | 94 | 14 | 25 | 40k|1135 | 0.000000e+00 | 2.000000e+00 | Inf
163.35/163.42 c 138s|390000 | 1432 |857398 | 2.2 |2816k| 28 | 4 | 94 |1826 | 94 | 14 | 25 | 41k|1135 | 0.000000e+00 | 2.000000e+00 | Inf
167.05/167.16 c 141s|400000 | 2359 |879544 | 2.2 |3394k| 28 | 4 | 94 |1793 | 94 | 14 | 25 | 42k|1139 | 0.000000e+00 | 2.000000e+00 | Inf
170.85/170.99 c 145s|410000 | 2160 |900684 | 2.2 |3443k| 28 | 4 | 94 |1902 | 94 | 14 | 25 | 42k|1143 | 0.000000e+00 | 2.000000e+00 | Inf
174.94/175.05 c 148s|420000 | 1600 |922773 | 2.2 |2962k| 28 | - | 94 |1686 | 0 | 0 | 25 | 43k|1146 | 0.000000e+00 | 2.000000e+00 | Inf
178.75/178.85 c 151s|430000 | 1896 |942836 | 2.2 |3146k| 28 | - | 94 |1785 | 94 | 14 | 25 | 44k|1153 | 0.000000e+00 | 2.000000e+00 | Inf
182.64/182.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
182.64/182.71 c 155s|440000 | 1402 |960936 | 2.2 |2805k| 28 | - | 94 |1841 | 94 | 14 | 25 | 44k|1156 | 0.000000e+00 | 2.000000e+00 | Inf
186.44/186.57 c 158s|450000 | 1367 |982870 | 2.2 |2591k| 28 | - | 94 |1178 | 0 | 0 | 25 | 45k|1280 | 0.000000e+00 | 2.000000e+00 | Inf
190.04/190.15 c 161s|460000 | 1833 | 1001k| 2.2 |2944k| 28 | - | 94 |1483 | 0 | 0 | 25 | 46k|1290 | 0.000000e+00 | 2.000000e+00 | Inf
193.74/193.87 c 164s|470000 | 1837 | 1019k| 2.2 |3105k| 28 | 4 | 94 |1594 | 94 | 14 | 25 | 47k|1290 | 0.000000e+00 | 2.000000e+00 | Inf
197.44/197.53 c 167s|480000 | 2300 | 1036k| 2.2 |3388k| 28 | 4 | 94 |1437 | 94 | 14 | 25 | 48k|1290 | 0.000000e+00 | 2.000000e+00 | Inf
201.14/201.20 c 170s|490000 | 2263 | 1054k| 2.2 |3491k| 28 | - | 94 |1486 | 0 | 0 | 25 | 48k|1290 | 0.000000e+00 | 2.000000e+00 | Inf
204.73/204.87 c 173s|500000 | 2586 | 1072k| 2.1 |3664k| 28 | 4 | 94 |1557 | 94 | 14 | 25 | 49k|1291 | 0.000000e+00 | 2.000000e+00 | Inf
208.54/208.68 c 177s|510000 | 2210 | 1091k| 2.1 |3612k| 28 | - | 94 |1689 | 0 | 0 | 25 | 50k|1297 | 0.000000e+00 | 2.000000e+00 | Inf
212.33/212.49 c 180s|520000 | 1895 | 1110k| 2.1 |3318k| 28 | - | 94 |1526 | 94 | 14 | 25 | 51k|1297 | 0.000000e+00 | 2.000000e+00 | Inf
216.04/216.12 c 183s|530000 | 1705 | 1128k| 2.1 |3157k| 28 | 4 | 94 |1649 | 94 | 14 | 25 | 52k|1297 | 0.000000e+00 | 2.000000e+00 | Inf
219.73/219.86 c 186s|540000 | 1407 | 1145k| 2.1 |2815k| 28 | - | 94 |1575 | 0 | 0 | 25 | 52k|1298 | 0.000000e+00 | 2.000000e+00 | Inf
223.43/223.59 c 189s|550000 | 1338 | 1163k| 2.1 |2731k| 28 | - | 94 |1673 | 94 | 14 | 25 | 53k|1298 | 0.000000e+00 | 2.000000e+00 | Inf
227.23/227.31 c 192s|560000 | 1217 | 1182k| 2.1 |2656k| 28 | 4 | 94 |1622 | 94 | 14 | 25 | 54k|1299 | 0.000000e+00 | 2.000000e+00 | Inf
230.83/230.94 c 196s|570000 | 1209 | 1203k| 2.1 |2498k| 28 | 4 | 94 |1076 | 94 | 14 | 25 | 55k|1304 | 0.000000e+00 | 2.000000e+00 | Inf
234.33/234.45 c 198s|580000 | 1585 | 1223k| 2.1 |2680k| 28 | - | 94 |1115 | 0 | 0 | 25 | 55k|1307 | 0.000000e+00 | 2.000000e+00 | Inf
237.83/237.91 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
237.83/237.91 c 201s|590000 | 2851 | 1242k| 2.1 |3454k| 28 | - | 94 |1333 | 0 | 0 | 25 | 56k|1313 | 0.000000e+00 | 2.000000e+00 | Inf
241.43/241.53 c 204s|600000 | 3342 | 1262k| 2.1 |3874k| 28 | - | 94 |1411 | 94 | 14 | 25 | 57k|1314 | 0.000000e+00 | 2.000000e+00 | Inf
244.92/245.08 c 207s|610000 | 4134 | 1282k| 2.1 |4380k| 28 | 4 | 94 |1436 | 94 | 14 | 25 | 57k|1321 | 0.000000e+00 | 2.000000e+00 | Inf
248.53/248.63 c 210s|620000 | 4391 | 1301k| 2.1 |4661k| 28 | 4 | 94 |1528 | 94 | 14 | 25 | 58k|1321 | 0.000000e+00 | 2.000000e+00 | Inf
252.23/252.32 c 213s|630000 | 4562 | 1321k| 2.1 |4824k| 28 | 4 | 94 |1419 | 94 | 14 | 25 | 59k|1330 | 0.000000e+00 | 2.000000e+00 | Inf
255.82/255.91 c 216s|640000 | 5000 | 1340k| 2.1 |5217k| 28 | 4 | 94 |1592 | 94 | 14 | 25 | 60k|1331 | 0.000000e+00 | 2.000000e+00 | Inf
259.43/259.58 c 220s|650000 | 5199 | 1359k| 2.1 |5445k| 28 | 4 | 94 |1653 | 94 | 14 | 25 | 60k|1331 | 0.000000e+00 | 2.000000e+00 | Inf
263.22/263.34 c 223s|660000 | 5168 | 1379k| 2.1 |5505k| 28 | 4 | 94 |1575 | 94 | 14 | 25 | 61k|1332 | 0.000000e+00 | 2.000000e+00 | Inf
267.02/267.11 c 226s|670000 | 4804 | 1399k| 2.1 |5342k| 28 | 4 | 94 |1496 | 94 | 14 | 25 | 62k|1334 | 0.000000e+00 | 2.000000e+00 | Inf
270.61/270.74 c 229s|680000 | 5274 | 1418k| 2.1 |5742k| 28 | - | 94 |1661 | 0 | 0 | 25 | 63k|1338 | 0.000000e+00 | 2.000000e+00 | Inf
274.32/274.48 c 232s|690000 | 5038 | 1438k| 2.1 |5626k| 28 | - | 94 |1550 | 0 | 0 | 25 | 64k|1338 | 0.000000e+00 | 2.000000e+00 | Inf
278.02/278.17 c 235s|700000 | 5056 | 1457k| 2.1 |5732k| 28 | - | 94 |1698 | 94 | 14 | 25 | 64k|1342 | 0.000000e+00 | 2.000000e+00 | Inf
281.82/281.94 c 238s|710000 | 4889 | 1477k| 2.1 |5641k| 28 | 4 | 94 |1616 | 94 | 14 | 25 | 65k|1348 | 0.000000e+00 | 2.000000e+00 | Inf
285.62/285.70 c 242s|720000 | 4530 | 1497k| 2.1 |5427k| 28 | 4 | 94 |1541 | 94 | 14 | 25 | 66k|1349 | 0.000000e+00 | 2.000000e+00 | Inf
289.22/289.30 c 245s|730000 | 4745 | 1515k| 2.1 |5636k| 28 | 4 | 94 |1621 | 94 | 14 | 25 | 67k|1350 | 0.000000e+00 | 2.000000e+00 | Inf
292.91/293.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
292.91/293.01 c 248s|740000 | 5066 | 1535k| 2.1 |5982k| 28 | - | 94 |1844 | 0 | 0 | 25 | 68k|1358 | 0.000000e+00 | 2.000000e+00 | Inf
296.71/296.80 c 251s|750000 | 5146 | 1554k| 2.1 |6080k| 28 | 4 | 94 |1835 | 94 | 14 | 25 | 69k|1359 | 0.000000e+00 | 2.000000e+00 | Inf
300.41/300.56 c 254s|760000 | 5175 | 1574k| 2.1 |6130k| 28 | - | 94 |1890 | 0 | 0 | 25 | 69k|1360 | 0.000000e+00 | 2.000000e+00 | Inf
304.20/304.32 c 257s|770000 | 5220 | 1592k| 2.1 |6296k| 28 | 4 | 94 |2098 | 94 | 14 | 25 | 70k|1362 | 0.000000e+00 | 2.000000e+00 | Inf
308.01/308.17 c 260s|780000 | 4947 | 1611k| 2.1 |6111k| 28 | - | 94 |2044 | 0 | 0 | 25 | 71k|1367 | 0.000000e+00 | 2.000000e+00 | Inf
311.81/311.98 c 264s|790000 | 4735 | 1631k| 2.1 |5870k| 28 | - | 94 |1755 | 94 | 14 | 25 | 72k|1369 | 0.000000e+00 | 2.000000e+00 | Inf
315.51/315.67 c 267s|800000 | 4533 | 1651k| 2.1 |5730k| 28 | - | 94 |1698 | 0 | 0 | 25 | 73k|1370 | 0.000000e+00 | 2.000000e+00 | Inf
319.10/319.25 c 270s|810000 | 5094 | 1671k| 2.1 |6178k| 28 | - | 94 |1910 | 0 | 0 | 25 | 73k|1370 | 0.000000e+00 | 2.000000e+00 | Inf
322.90/323.01 c 273s|820000 | 4861 | 1690k| 2.1 |6095k| 28 | 4 | 94 |1863 | 94 | 14 | 25 | 74k|1374 | 0.000000e+00 | 2.000000e+00 | Inf
326.71/326.84 c 276s|830000 | 4378 | 1711k| 2.1 |5650k| 28 | 4 | 94 |1643 | 94 | 14 | 25 | 75k|1378 | 0.000000e+00 | 2.000000e+00 | Inf
330.51/330.65 c 279s|840000 | 3863 | 1731k| 2.1 |5290k| 28 | 4 | 94 |1641 | 94 | 14 | 25 | 76k|1385 | 0.000000e+00 | 2.000000e+00 | Inf
334.31/334.46 c 283s|850000 | 3330 | 1750k| 2.1 |4805k| 28 | - | 94 |1427 | 94 | 14 | 25 | 77k|1392 | 0.000000e+00 | 2.000000e+00 | Inf
338.10/338.23 c 286s|860000 | 2798 | 1771k| 2.1 |4394k| 28 | - | 94 |1510 | 94 | 14 | 25 | 77k|1401 | 0.000000e+00 | 2.000000e+00 | Inf
341.80/341.93 c 289s|870000 | 2451 | 1790k| 2.1 |4138k| 28 | 4 | 94 |1584 | 94 | 14 | 25 | 78k|1404 | 0.000000e+00 | 2.000000e+00 | Inf
345.40/345.57 c 292s|880000 | 2676 | 1810k| 2.1 |4286k| 28 | - | 94 |1655 | 0 | 0 | 25 | 79k|1407 | 0.000000e+00 | 2.000000e+00 | Inf
349.10/349.25 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
349.10/349.25 c 295s|890000 | 2395 | 1830k| 2.1 |4141k| 28 | - | 94 |1629 | 0 | 0 | 25 | 80k|1412 | 0.000000e+00 | 2.000000e+00 | Inf
353.01/353.16 c 298s|900000 | 1486 | 1851k| 2.1 |3074k| 28 | 4 | 94 |1319 | 94 | 14 | 25 | 80k|1414 | 0.000000e+00 | 2.000000e+00 | Inf
356.80/356.91 c 301s|910000 | 1092 | 1872k| 2.1 |2505k| 28 | 4 | 94 |1299 | 94 | 14 | 25 | 81k|1508 | 0.000000e+00 | 2.000000e+00 | Inf
360.39/360.51 c 304s|920000 | 1007 | 1891k| 2.1 |2451k| 28 | - | 94 |1276 | 94 | 14 | 25 | 82k|1514 | 0.000000e+00 | 2.000000e+00 | Inf
363.90/364.06 c 307s|930000 | 1455 | 1912k| 2.1 |2618k| 28 | - | 94 | 988 | 94 | 14 | 25 | 83k|1514 | 0.000000e+00 | 2.000000e+00 | Inf
367.39/367.56 c 310s|940000 | 1622 | 1929k| 2.1 |2886k| 28 | 4 | 94 |1196 | 94 | 14 | 25 | 83k|1514 | 0.000000e+00 | 2.000000e+00 | Inf
370.89/371.08 c 313s|950000 | 1767 | 1947k| 2.0 |3091k| 28 | - | 94 |1338 | 0 | 0 | 25 | 84k|1515 | 0.000000e+00 | 2.000000e+00 | Inf
374.49/374.68 c 316s|960000 | 1452 | 1965k| 2.0 |2906k| 28 | - | 94 |1265 | 0 | 0 | 25 | 85k|1517 | 0.000000e+00 | 2.000000e+00 | Inf
378.19/378.31 c 320s|970000 | 1108 | 1983k| 2.0 |2666k| 28 | 4 | 94 |1359 | 94 | 14 | 25 | 86k|1517 | 0.000000e+00 | 2.000000e+00 | Inf
381.79/381.91 c 323s|980000 | 1053 | 2001k| 2.0 |2677k| 28 | 4 | 94 |1539 | 94 | 14 | 25 | 86k|1518 | 0.000000e+00 | 2.000000e+00 | Inf
385.39/385.59 c 326s|990000 | 931 | 2021k| 2.0 |2435k| 28 | - | 94 |1247 | 94 | 14 | 25 | 87k|1552 | 0.000000e+00 | 2.000000e+00 | Inf
389.09/389.23 c 329s| 1000k| 928 | 2040k| 2.0 |2409k| 28 | - | 94 |1212 | 94 | 14 | 25 | 88k|1552 | 0.000000e+00 | 2.000000e+00 | Inf
392.68/392.82 c 332s| 1010k| 833 | 2059k| 2.0 |2479k| 28 | 4 | 94 |1543 | 94 | 14 | 25 | 89k|1553 | 0.000000e+00 | 2.000000e+00 | Inf
396.28/396.46 c 335s| 1020k| 779 | 2078k| 2.0 |2432k| 28 | - | 94 |1498 | 94 | 14 | 25 | 89k|1553 | 0.000000e+00 | 2.000000e+00 | Inf
399.78/399.94 c 338s| 1030k| 828 | 2096k| 2.0 |2404k| 28 | - | 94 |1289 | 94 | 14 | 25 | 90k|1553 | 0.000000e+00 | 2.000000e+00 | Inf
403.38/403.55 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
403.38/403.55 c 341s| 1040k| 711 | 2116k| 2.0 |2322k| 28 | - | 94 |1296 | 94 | 14 | 25 | 91k|1555 | 0.000000e+00 | 2.000000e+00 | Inf
406.89/407.09 c 344s| 1050k| 959 | 2135k| 2.0 |2529k| 28 | - | 94 |1306 | 0 | 0 | 25 | 91k|1555 | 0.000000e+00 | 2.000000e+00 | Inf
410.47/410.64 c 347s| 1060k| 655 | 2155k| 2.0 |2206k| 28 | 4 | 94 |1027 | 94 | 14 | 25 | 92k|1561 | 0.000000e+00 | 2.000000e+00 | Inf
413.98/414.17 c 350s| 1070k| 895 | 2173k| 2.0 |2477k| 28 | 4 | 94 |1222 | 94 | 14 | 25 | 93k|1563 | 0.000000e+00 | 2.000000e+00 | Inf
417.67/417.82 c 353s| 1080k| 767 | 2192k| 2.0 |2238k| 28 | - | 94 | 984 | 0 | 0 | 25 | 93k|1570 | 0.000000e+00 | 2.000000e+00 | Inf
421.18/421.33 c 356s| 1090k| 1088 | 2213k| 2.0 |2524k| 28 | - | 94 |1024 | 0 | 0 | 25 | 94k|1573 | 0.000000e+00 | 2.000000e+00 | Inf
424.67/424.87 c 358s| 1100k| 877 | 2232k| 2.0 |2529k| 28 | - | 94 |1267 | 0 | 0 | 25 | 95k|1580 | 0.000000e+00 | 2.000000e+00 | Inf
428.27/428.40 c 361s| 1110k| 965 | 2252k| 2.0 |2602k| 28 | - | 94 |1284 | 0 | 0 | 25 | 96k|1584 | 0.000000e+00 | 2.000000e+00 | Inf
431.87/432.04 c 364s| 1120k| 697 | 2272k| 2.0 |2395k| 28 | - | 94 |1279 | 94 | 14 | 25 | 97k|1586 | 0.000000e+00 | 2.000000e+00 | Inf
435.37/435.58 c 367s| 1130k| 830 | 2292k| 2.0 |2372k| 28 | 4 | 94 |1277 | 94 | 14 | 25 | 97k|1589 | 0.000000e+00 | 2.000000e+00 | Inf
438.96/439.18 c 370s| 1140k| 1433 | 2311k| 2.0 |2861k| 28 | 4 | 94 |1483 | 94 | 14 | 25 | 98k|1596 | 0.000000e+00 | 2.000000e+00 | Inf
442.67/442.86 c 374s| 1150k| 1775 | 2330k| 2.0 |3168k| 28 | - | 94 |1507 | 0 | 0 | 25 | 99k|1597 | 0.000000e+00 | 2.000000e+00 | Inf
446.47/446.67 c 377s| 1160k| 1426 | 2349k| 2.0 |3032k| 28 | - | 94 |1446 | 0 | 0 | 25 | 100k|1601 | 0.000000e+00 | 2.000000e+00 | Inf
450.26/450.47 c 380s| 1170k| 740 | 2368k| 2.0 |2505k| 28 | 4 | 94 |1385 | 94 | 14 | 25 | 100k|1601 | 0.000000e+00 | 2.000000e+00 | Inf
453.96/454.19 c 383s| 1180k| 586 | 2390k| 2.0 |2268k| 28 | 4 | 94 |1343 | 94 | 14 | 25 | 101k|1604 | 0.000000e+00 | 2.000000e+00 | Inf
457.56/457.74 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
457.56/457.74 c 386s| 1190k| 659 | 2410k| 2.0 |2384k| 28 | - | 94 |1455 | 94 | 14 | 25 | 102k|1608 | 0.000000e+00 | 2.000000e+00 | Inf
461.36/461.56 c 389s| 1200k| 579 | 2431k| 2.0 |2240k| 28 | 4 | 94 |1234 | 94 | 14 | 25 | 103k|1616 | 0.000000e+00 | 2.000000e+00 | Inf
465.06/465.20 c 392s| 1210k| 543 | 2452k| 2.0 |2227k| 28 | 4 | 94 |1282 | 94 | 14 | 25 | 104k|1627 | 0.000000e+00 | 2.000000e+00 | Inf
468.56/468.73 c 395s| 1220k| 835 | 2472k| 2.0 |2424k| 28 | 4 | 94 |1348 | 94 | 14 | 25 | 105k|1630 | 0.000000e+00 | 2.000000e+00 | Inf
472.16/472.36 c 398s| 1230k| 531 | 2493k| 2.0 |2354k| 28 | - | 94 |1514 | 94 | 14 | 25 | 105k|1630 | 0.000000e+00 | 2.000000e+00 | Inf
475.76/475.97 c 401s| 1240k| 886 | 2512k| 2.0 |2695k| 28 | 4 | 94 |1745 | 94 | 14 | 25 | 106k|1636 | 0.000000e+00 | 2.000000e+00 | Inf
479.56/479.73 c 404s| 1250k| 683 | 2532k| 2.0 |2324k| 28 | - | 94 |1216 | 94 | 14 | 25 | 107k|1638 | 0.000000e+00 | 2.000000e+00 | Inf
483.05/483.27 c 407s| 1260k| 522 | 2551k| 2.0 |2230k| 28 | 4 | 94 |1209 | 94 | 14 | 25 | 107k|1642 | 0.000000e+00 | 2.000000e+00 | Inf
486.65/486.86 c 410s| 1270k| 497 | 2571k| 2.0 |2163k| 28 | 4 | 94 |1068 | 94 | 14 | 25 | 108k|1647 | 0.000000e+00 | 2.000000e+00 | Inf
490.15/490.36 c 413s| 1280k| 494 | 2593k| 2.0 |2166k| 28 | 4 | 94 |1101 | 94 | 14 | 25 | 109k|1647 | 0.000000e+00 | 2.000000e+00 | Inf
493.66/493.89 c 416s| 1290k| 886 | 2613k| 2.0 |2541k| 28 | 4 | 94 |1335 | 94 | 14 | 25 | 110k|1657 | 0.000000e+00 | 2.000000e+00 | Inf
497.25/497.47 c 419s| 1300k| 938 | 2633k| 2.0 |2693k| 28 | 4 | 94 |1441 | 94 | 14 | 25 | 111k|1657 | 0.000000e+00 | 2.000000e+00 | Inf
500.95/501.18 c 422s| 1310k| 341 | 2653k| 2.0 |2081k| 28 | 4 | 94 |1202 | 94 | 14 | 25 | 111k|1657 | 0.000000e+00 | 2.000000e+00 | Inf
504.55/504.74 c 425s| 1320k| 316 | 2675k| 2.0 |2044k| 28 | 4 | 94 |1168 | 94 | 14 | 25 | 112k|1657 | 0.000000e+00 | 2.000000e+00 | Inf
508.06/508.25 c 428s| 1330k| 759 | 2694k| 2.0 |2313k| 28 | 4 | 94 |1100 | 94 | 14 | 25 | 113k|1659 | 0.000000e+00 | 2.000000e+00 | Inf
511.54/511.71 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
511.54/511.71 c 431s| 1340k| 647 | 2713k| 2.0 |2281k| 28 | 4 | 94 | 972 | 94 | 14 | 25 | 114k|1661 | 0.000000e+00 | 2.000000e+00 | Inf
514.94/515.16 c 434s| 1350k| 497 | 2731k| 2.0 |2108k| 28 | - | 94 |1079 | 0 | 0 | 25 | 115k|1665 | 0.000000e+00 | 2.000000e+00 | Inf
518.54/518.77 c 437s| 1360k| 310 | 2751k| 2.0 |2059k| 28 | - | 94 |1087 | 0 | 0 | 25 | 115k|1665 | 0.000000e+00 | 2.000000e+00 | Inf
522.14/522.35 c 440s| 1370k| 664 | 2772k| 2.0 |2226k| 28 | 4 | 94 |1235 | 94 | 14 | 25 | 116k|1671 | 0.000000e+00 | 2.000000e+00 | Inf
525.65/525.88 c 443s| 1380k| 1819 | 2793k| 2.0 |2958k| 28 | - | 94 |1381 | 94 | 14 | 25 | 117k|1671 | 0.000000e+00 | 2.000000e+00 | Inf
529.24/529.46 c 446s| 1390k| 2009 | 2812k| 2.0 |3196k| 28 | 4 | 94 |1331 | 94 | 14 | 25 | 117k|1671 | 0.000000e+00 | 2.000000e+00 | Inf
532.84/533.08 c 449s| 1400k| 1966 | 2832k| 2.0 |3310k| 28 | 4 | 94 |1387 | 94 | 14 | 25 | 118k|1671 | 0.000000e+00 | 2.000000e+00 | Inf
536.55/536.78 c 452s| 1410k| 1614 | 2852k| 2.0 |3209k| 28 | 4 | 94 |1403 | 94 | 14 | 25 | 119k|1682 | 0.000000e+00 | 2.000000e+00 | Inf
540.24/540.48 c 455s| 1420k| 1699 | 2872k| 2.0 |3378k| 28 | 4 | 94 |1532 | 94 | 14 | 25 | 120k|1687 | 0.000000e+00 | 2.000000e+00 | Inf
543.94/544.18 c 458s| 1430k| 1468 | 2892k| 2.0 |3197k| 28 | 4 | 94 |1357 | 94 | 14 | 25 | 120k|1697 | 0.000000e+00 | 2.000000e+00 | Inf
547.73/547.92 c 461s| 1440k| 785 | 2913k| 2.0 |2723k| 28 | - | 94 |1401 | 94 | 14 | 25 | 121k|1697 | 0.000000e+00 | 2.000000e+00 | Inf
551.44/551.60 c 464s| 1450k| 481 | 2932k| 2.0 |2285k| 28 | 4 | 94 |1413 | 94 | 14 | 25 | 122k|1697 | 0.000000e+00 | 2.000000e+00 | Inf
555.03/555.27 c 467s| 1460k| 325 | 2953k| 2.0 |2127k| 28 | 4 | 94 |1365 | 94 | 14 | 25 | 123k|1698 | 0.000000e+00 | 2.000000e+00 | Inf
558.83/559.02 c 471s| 1470k| 446 | 2975k| 2.0 |2249k| 28 | - | 94 |1382 | 0 | 0 | 25 | 124k|1708 | 0.000000e+00 | 2.000000e+00 | Inf
562.54/562.76 c 474s| 1480k| 202 | 2995k| 2.0 |1995k| 28 | 4 | 94 |1227 | 94 | 14 | 25 | 124k|1726 | 0.000000e+00 | 2.000000e+00 | Inf
566.03/566.24 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
566.03/566.24 c 477s| 1490k| 176 | 3014k| 2.0 |2011k| 28 | 4 | 94 |1270 | 94 | 14 | 25 | 125k|1733 | 0.000000e+00 | 2.000000e+00 | Inf
569.64/569.80 c 480s| 1500k| 114 | 3034k| 2.0 |1928k| 28 | 4 | 94 |1238 | 94 | 14 | 25 | 126k|1742 | 0.000000e+00 | 2.000000e+00 | Inf
573.23/573.49 c 483s| 1510k| 230 | 3056k| 2.0 |2007k| 28 | 4 | 94 |1217 | 94 | 14 | 25 | 127k|1745 | 0.000000e+00 | 2.000000e+00 | Inf
576.93/577.13 c 486s| 1520k| 721 | 3077k| 2.0 |2269k| 28 | - | 94 |1192 | 94 | 14 | 25 | 128k|1747 | 0.000000e+00 | 2.000000e+00 | Inf
580.54/580.74 c 489s| 1530k| 747 | 3098k| 2.0 |2467k| 28 | 4 | 94 |1330 | 94 | 14 | 25 | 128k|1748 | 0.000000e+00 | 2.000000e+00 | Inf
584.23/584.44 c 492s| 1540k| 338 | 3120k| 2.0 |2194k| 28 | 4 | 94 |1389 | 94 | 14 | 25 | 129k|1748 | 0.000000e+00 | 2.000000e+00 | Inf
587.92/588.16 c 495s| 1550k| 150 | 3141k| 2.0 |2003k| 28 | - | 94 |1364 | 94 | 14 | 25 | 130k|1749 | 0.000000e+00 | 2.000000e+00 | Inf
591.53/591.76 c 498s| 1560k| 420 | 3162k| 2.0 |2009k| 28 | 4 | 94 |1207 | 94 | 14 | 25 | 131k|1756 | 0.000000e+00 | 2.000000e+00 | Inf
595.12/595.37 c 501s| 1570k| 1806 | 3184k| 2.0 |2865k| 28 | 4 | 94 |1449 | 94 | 14 | 25 | 131k|1760 | 0.000000e+00 | 2.000000e+00 | Inf
598.82/599.08 c 504s| 1580k| 2392 | 3205k| 2.0 |3353k| 28 | - | 94 |1589 | 94 | 14 | 25 | 132k|1768 | 0.000000e+00 | 2.000000e+00 | Inf
602.63/602.82 c 507s| 1590k| 2826 | 3225k| 2.0 |3695k| 28 | 4 | 94 |1557 | 94 | 14 | 25 | 133k|1768 | 0.000000e+00 | 2.000000e+00 | Inf
606.42/606.60 c 510s| 1600k| 2884 | 3245k| 2.0 |3844k| 28 | - | 94 |1508 | 0 | 0 | 25 | 134k|1776 | 0.000000e+00 | 2.000000e+00 | Inf
610.12/610.31 c 514s| 1610k| 3194 | 3265k| 2.0 |4136k| 28 | 4 | 94 |1564 | 94 | 14 | 25 | 135k|1779 | 0.000000e+00 | 2.000000e+00 | Inf
613.82/614.07 c 517s| 1620k| 3178 | 3286k| 2.0 |4236k| 28 | - | 94 |1546 | 0 | 0 | 25 | 136k|1783 | 0.000000e+00 | 2.000000e+00 | Inf
617.62/617.83 c 520s| 1630k| 3191 | 3306k| 2.0 |4408k| 28 | - | 94 |1781 | 94 | 14 | 25 | 137k|1785 | 0.000000e+00 | 2.000000e+00 | Inf
621.41/621.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
621.41/621.67 c 523s| 1640k| 2955 | 3325k| 2.0 |4340k| 28 | - | 94 |1723 | 94 | 14 | 25 | 138k|1787 | 0.000000e+00 | 2.000000e+00 | Inf
625.21/625.49 c 526s| 1650k| 2822 | 3345k| 2.0 |4318k| 28 | 4 | 94 |1682 | 94 | 14 | 25 | 139k|1788 | 0.000000e+00 | 2.000000e+00 | Inf
629.22/629.45 c 530s| 1660k| 2245 | 3365k| 2.0 |3972k| 28 | 4 | 94 |1625 | 94 | 14 | 25 | 140k|1790 | 0.000000e+00 | 2.000000e+00 | Inf
633.11/633.36 c 533s| 1670k| 1687 | 3385k| 2.0 |3624k| 28 | - | 94 |1672 | 0 | 0 | 25 | 141k|1794 | 0.000000e+00 | 2.000000e+00 | Inf
637.12/637.33 c 536s| 1680k| 1070 | 3405k| 2.0 |3150k| 28 | 4 | 94 |1743 | 94 | 14 | 25 | 142k|1795 | 0.000000e+00 | 2.000000e+00 | Inf
641.02/641.26 c 540s| 1690k| 528 | 3424k| 2.0 |2701k| 28 | 4 | 94 |1911 | 94 | 14 | 25 | 143k|1799 | 0.000000e+00 | 2.000000e+00 | Inf
644.91/645.10 c 543s| 1700k| 939 | 3445k| 2.0 |2842k| 28 | - | 94 |1981 | 0 | 0 | 25 | 144k|1806 | 0.000000e+00 | 2.000000e+00 | Inf
648.71/648.91 c 546s| 1710k| 947 | 3466k| 2.0 |2976k| 28 | 4 | 94 |1989 | 94 | 14 | 25 | 144k|1815 | 0.000000e+00 | 2.000000e+00 | Inf
652.51/652.70 c 549s| 1720k| 488 | 3487k| 2.0 |2723k| 28 | - | 94 |2076 | 0 | 0 | 25 | 145k|1819 | 0.000000e+00 | 2.000000e+00 | Inf
656.42/656.62 c 553s| 1730k| 145 | 3508k| 2.0 |2299k| 28 | 4 | 94 |2087 | 94 | 14 | 25 | 146k|1821 | 0.000000e+00 | 2.000000e+00 | Inf
660.21/660.42 c 556s| 1740k| 199 | 3528k| 2.0 |2357k| 28 | - | 94 |2103 | 0 | 0 | 25 | 147k|1825 | 0.000000e+00 | 2.000000e+00 | Inf
663.91/664.16 c 559s| 1750k| 1431 | 3548k| 2.0 |2855k| 28 | 4 | 94 |1753 | 94 | 14 | 25 | 147k|1825 | 0.000000e+00 | 2.000000e+00 | Inf
667.61/667.87 c 562s| 1760k| 1916 | 3568k| 2.0 |3245k| 28 | - | 94 |1798 | 94 | 14 | 25 | 148k|1825 | 0.000000e+00 | 2.000000e+00 | Inf
671.40/671.64 c 565s| 1770k| 2312 | 3588k| 2.0 |3610k| 28 | 4 | 94 |1928 | 94 | 14 | 25 | 148k|1828 | 0.000000e+00 | 2.000000e+00 | Inf
675.11/675.40 c 569s| 1780k| 2288 | 3608k| 2.0 |3655k| 28 | - | 94 |1790 | 94 | 14 | 25 | 149k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
679.01/679.21 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
679.01/679.21 c 572s| 1790k| 1968 | 3629k| 2.0 |3558k| 28 | 4 | 94 |1812 | 94 | 14 | 25 | 150k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
682.81/683.07 c 575s| 1800k| 1580 | 3650k| 2.0 |3371k| 28 | 4 | 94 |1780 | 94 | 14 | 25 | 150k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
686.50/686.79 c 578s| 1810k| 1409 | 3670k| 2.0 |3269k| 28 | 4 | 94 |1709 | 94 | 14 | 25 | 151k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
690.20/690.49 c 581s| 1820k| 1181 | 3690k| 2.0 |3197k| 28 | - | 94 |1896 | 94 | 14 | 25 | 152k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
693.90/694.17 c 584s| 1830k| 1199 | 3710k| 2.0 |3247k| 28 | 4 | 94 |1993 | 94 | 14 | 25 | 152k|1829 | 0.000000e+00 | 2.000000e+00 | Inf
697.80/698.01 c 588s| 1840k| 1096 | 3730k| 2.0 |3066k| 28 | 4 | 94 |1841 | 94 | 14 | 25 | 153k|1830 | 0.000000e+00 | 2.000000e+00 | Inf
701.50/701.71 c 591s| 1850k| 1977 | 3750k| 2.0 |3691k| 28 | - | 94 |2056 | 0 | 0 | 25 | 154k|1834 | 0.000000e+00 | 2.000000e+00 | Inf
705.30/705.52 c 594s| 1860k| 2308 | 3771k| 2.0 |4051k| 28 | - | 94 |2209 | 0 | 0 | 25 | 154k|1836 | 0.000000e+00 | 2.000000e+00 | Inf
709.20/709.41 c 597s| 1870k| 2024 | 3790k| 2.0 |3959k| 28 | - | 94 |2109 | 0 | 0 | 25 | 155k|1837 | 0.000000e+00 | 2.000000e+00 | Inf
713.09/713.30 c 601s| 1880k| 2351 | 3811k| 2.0 |4135k| 28 | 4 | 94 |2161 | 94 | 14 | 25 | 156k|1837 | 0.000000e+00 | 2.000000e+00 | Inf
716.90/717.20 c 604s| 1890k| 3022 | 3831k| 2.0 |4656k| 28 | 4 | 94 |2295 | 94 | 14 | 25 | 157k|1838 | 0.000000e+00 | 2.000000e+00 | Inf
720.89/721.18 c 607s| 1900k| 3225 | 3852k| 2.0 |4920k| 28 | 4 | 94 |2348 | 94 | 14 | 25 | 158k|1841 | 0.000000e+00 | 2.000000e+00 | Inf
724.90/725.16 c 611s| 1910k| 2983 | 3872k| 2.0 |4910k| 28 | - | 94 |2408 | 0 | 0 | 25 | 159k|1843 | 0.000000e+00 | 2.000000e+00 | Inf
729.10/729.38 c 614s| 1920k| 2236 | 3893k| 2.0 |4352k| 28 | - | 94 |2067 | 0 | 0 | 25 | 160k|1845 | 0.000000e+00 | 2.000000e+00 | Inf
733.09/733.35 c 618s| 1930k| 1726 | 3913k| 2.0 |4002k| 28 | 4 | 94 |2099 | 94 | 14 | 25 | 161k|1850 | 0.000000e+00 | 2.000000e+00 | Inf
737.09/737.31 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
737.09/737.31 c 621s| 1940k| 1788 | 3935k| 2.0 |4167k| 28 | 4 | 94 |2407 | 94 | 14 | 25 | 161k|1850 | 0.000000e+00 | 2.000000e+00 | Inf
741.09/741.37 c 624s| 1950k| 1444 | 3956k| 2.0 |3823k| 28 | - | 94 |2259 | 94 | 14 | 25 | 162k|1867 | 0.000000e+00 | 2.000000e+00 | Inf
745.08/745.37 c 628s| 1960k| 1254 | 3975k| 2.0 |3583k| 28 | - | 94 |2145 | 94 | 14 | 25 | 163k|1870 | 0.000000e+00 | 2.000000e+00 | Inf
749.08/749.36 c 631s| 1970k| 730 | 3995k| 2.0 |3044k| 28 | - | 94 |1986 | 0 | 0 | 25 | 164k|1876 | 0.000000e+00 | 2.000000e+00 | Inf
752.98/753.22 c 635s| 1980k| 240 | 4016k| 2.0 |2399k| 28 | 4 | 94 |1834 | 94 | 14 | 25 | 165k|1877 | 0.000000e+00 | 2.000000e+00 | Inf
756.68/756.90 c 638s| 1990k| 372 | 4036k| 2.0 |2405k| 28 | 4 | 94 |1959 | 94 | 14 | 25 | 165k|1887 | 0.000000e+00 | 2.000000e+00 | Inf
760.38/760.69 c 641s| 2000k| 538 | 4056k| 2.0 |2591k| 28 | 4 | 94 |2011 | 94 | 14 | 25 | 166k|1887 | 0.000000e+00 | 2.000000e+00 | Inf
764.19/764.48 c 644s| 2010k| 411 | 4076k| 2.0 |2423k| 28 | 4 | 94 |1933 | 94 | 14 | 25 | 167k|1887 | 0.000000e+00 | 2.000000e+00 | Inf
767.98/768.29 c 647s| 2020k| 85 | 4095k| 2.0 |2098k| 28 | - | 94 |1650 | 94 | 14 | 25 | 167k|1889 | 0.000000e+00 | 2.000000e+00 | Inf
771.68/771.98 c 650s| 2030k| 439 | 4115k| 2.0 |2143k| 28 | - | 94 |1326 | 94 | 14 | 25 | 168k|1900 | 0.000000e+00 | 2.000000e+00 | Inf
775.28/775.57 c 653s| 2040k| 252 | 4135k| 2.0 |2111k| 28 | 4 | 94 |1355 | 94 | 14 | 25 | 169k|1904 | 0.000000e+00 | 2.000000e+00 | Inf
776.87/777.12 c
776.87/777.12 c SCIP Status : problem is solved [optimal solution found]
776.87/777.12 c Solving Time (sec) : 654.60
776.87/777.12 c Solving Nodes : 2044129
776.87/777.12 c Primal Bound : +2.00000000000000e+00 (43 solutions)
776.87/777.12 c Dual Bound : +2.00000000000000e+00
776.87/777.12 c Gap : 0.00 %
776.87/777.12 s OPTIMUM FOUND
776.87/777.12 v x94 x93 x92 -x91 -x90 -x89 x88 -x87 -x86 x85 x84 x83 -x82 -x81 x80 -x79 -x78 -x77 -x76 -x75 x74 x73 -x72 x71 x70 x69 x68 x67 -x66
776.87/777.12 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41
776.87/777.12 v -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16
776.87/777.12 v -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
776.87/777.12 c SCIP Status : problem is solved [optimal solution found]
776.87/777.12 c Solving Time : 654.60
776.87/777.12 c Original Problem :
776.87/777.12 c Problem name : HOME/instance-2665643-1276617254.opb
776.87/777.12 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
776.87/777.12 c Constraints : 8 initial, 8 maximal
776.87/777.12 c Presolved Problem :
776.87/777.12 c Problem name : t_HOME/instance-2665643-1276617254.opb
776.87/777.12 c Variables : 94 (94 binary, 0 integer, 0 implicit integer, 0 continuous)
776.87/777.12 c Constraints : 4 initial, 4447 maximal
776.87/777.12 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
776.87/777.12 c trivial : 0.00 0 0 0 0 0 0 0 0
776.87/777.12 c dualfix : 0.00 0 0 0 0 0 0 0 0
776.87/777.12 c boundshift : 0.00 0 0 0 0 0 0 0 0
776.87/777.12 c inttobinary : 0.00 0 0 0 0 0 0 0 0
776.87/777.12 c implics : 0.00 0 0 0 0 0 0 0 0
776.87/777.12 c probing : 0.01 0 0 0 0 0 0 0 0
776.87/777.12 c linear : 0.00 0 0 0 0 0 4 0 0
776.87/777.12 c logicor : 0.00 0 0 0 0 0 0 0 0
776.87/777.12 c root node : - 58 - - 58 - - - -
776.87/777.12 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
776.87/777.12 c integral : 0 0 0 1041160 0 215 711 0 0 2080442
776.87/777.12 c linear : 4+ 7 2679895 2 0 556281 3615395 0 0 0
776.87/777.12 c logicor : 0+ 0 1410800 0 0 3929 125279 0 0 0
776.87/777.12 c countsols : 0 0 0 20 0 0 0 0 0 0
776.87/777.12 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
776.87/777.12 c integral : 10.44 0.00 0.00 10.44 0.00
776.87/777.12 c linear : 110.66 0.00 110.66 0.00 0.00
776.87/777.12 c logicor : 50.08 0.00 50.08 0.00 0.00
776.87/777.12 c countsols : 0.00 0.00 0.00 0.00 0.00
776.87/777.12 c Propagators : Time Calls Cutoffs DomReds
776.87/777.12 c vbounds : 1.37 2 0 0
776.87/777.12 c rootredcost : 1.02 39 0 48
776.87/777.12 c pseudoobj : 12.33 2680314 595 158164
776.87/777.12 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
776.87/777.12 c propagation : 21.20 560804 131883 204906 22.8 5 21.8 -
776.87/777.12 c infeasible LP : 1.24 30322 30296 33171 12.2 11 21.5 0
776.87/777.12 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
776.87/777.12 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
776.87/777.12 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
776.87/777.12 c applied globally : - - - 169430 20.5 - - -
776.87/777.12 c applied locally : - - - 137 33.2 - - -
776.87/777.12 c Separators : Time Calls Cutoffs DomReds Cuts Conss
776.87/777.12 c cut pool : 0.00 5 - - 24 - (maximal pool size: 87)
776.87/777.12 c redcost : 6.43 1072326 0 347313 0 0
776.87/777.12 c impliedbounds : 0.00 6 0 0 0 0
776.87/777.12 c intobj : 0.00 0 0 0 0 0
776.87/777.12 c cgmip : 0.00 0 0 0 0 0
776.87/777.12 c gomory : 0.00 6 0 0 0 0
776.87/777.12 c strongcg : 0.00 6 0 0 31 0
776.87/777.12 c cmir : 0.02 6 0 0 35 0
776.87/777.12 c flowcover : 0.03 6 0 0 52 0
776.87/777.12 c clique : 0.00 1 0 0 0 0
776.87/777.12 c zerohalf : 0.00 0 0 0 0 0
776.87/777.12 c mcf : 0.00 1 0 0 0 0
776.87/777.12 c rapidlearning : 0.05 1 0 0 0 122
776.87/777.12 c Pricers : Time Calls Vars
776.87/777.12 c problem variables: 0.00 0 0
776.87/777.12 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
776.87/777.12 c relpscost : 9.21 1041140 215 711 0 0 2080442
776.87/777.12 c pscost : 0.00 0 0 0 0 0 0
776.87/777.12 c inference : 0.00 0 0 0 0 0 0
776.87/777.12 c mostinf : 0.00 0 0 0 0 0 0
776.87/777.12 c leastinf : 0.00 0 0 0 0 0 0
776.87/777.12 c fullstrong : 0.00 0 0 0 0 0 0
776.87/777.12 c allfullstrong : 0.00 0 0 0 0 0 0
776.87/777.12 c random : 0.00 0 0 0 0 0 0
776.87/777.12 c Primal Heuristics : Time Calls Found
776.87/777.12 c LP solutions : 0.00 - 20
776.87/777.12 c pseudo solutions : 0.00 - 0
776.87/777.12 c feaspump : 0.30 1 0
776.87/777.12 c oneopt : 1.32 36 0
776.87/777.12 c guideddiving : 0.99 835 1
776.87/777.12 c veclendiving : 1.13 835 4
776.87/777.12 c linesearchdiving : 0.93 835 5
776.87/777.12 c coefdiving : 0.88 836 1
776.87/777.12 c pscostdiving : 0.81 836 3
776.87/777.12 c fracdiving : 0.84 836 2
776.87/777.12 c objpscostdiving : 0.52 436 2
776.87/777.12 c rootsoldiving : 1.08 436 0
776.87/777.12 c trivial : 0.00 2 0
776.87/777.12 c simplerounding : 0.77 0 0
776.87/777.12 c zirounding : 0.97 1000 0
776.87/777.12 c rounding : 0.91 14589 0
776.87/777.12 c shifting : 11.58 22605 4
776.87/777.12 c intshifting : 0.12 0 0
776.87/777.12 c twoopt : 0.00 0 0
776.87/777.12 c fixandinfer : 0.00 0 0
776.87/777.12 c intdiving : 0.00 0 0
776.87/777.12 c actconsdiving : 0.00 0 0
776.87/777.12 c octane : 0.00 0 0
776.87/777.12 c rens : 0.05 1 0
776.87/777.12 c rins : 0.00 0 0
776.87/777.12 c localbranching : 0.00 0 0
776.87/777.12 c mutation : 0.00 0 0
776.87/777.12 c crossover : 0.00 0 0
776.87/777.12 c dins : 0.00 0 0
776.87/777.12 c undercover : 0.00 0 0
776.87/777.12 c nlp : 0.89 0 0
776.87/777.12 c trysol : 1.41 0 0
776.87/777.12 c LP : Time Calls Iterations Iter/call Iter/sec
776.87/777.12 c primal LP : 0.00 0 0 0.00 -
776.87/777.12 c dual LP : 242.59 1557351 4108711 2.64 16936.85
776.87/777.12 c lex dual LP : 0.00 0 0 0.00 -
776.87/777.12 c barrier LP : 0.00 0 0 0.00 -
776.87/777.12 c diving/probing LP: 2.78 15229 35608 2.34 12808.63
776.87/777.12 c strong branching : 0.53 1909 7387 3.87 13937.74
776.87/777.12 c (at root node) : - 9 240 26.67 -
776.87/777.12 c conflict analysis: 0.00 0 0 0.00 -
776.87/777.12 c B&B Tree :
776.87/777.12 c number of runs : 1
776.87/777.12 c nodes : 2044129
776.87/777.12 c nodes (total) : 2044129
776.87/777.12 c nodes left : 0
776.87/777.12 c max depth : 28
776.87/777.12 c max depth (total): 28
776.87/777.12 c backtracks : 557619 (27.3%)
776.87/777.12 c delayed cutoffs : 35812
776.87/777.12 c repropagations : 128473 (258978 domain reductions, 34127 cutoffs)
776.87/777.12 c avg switch length: 4.46
776.87/777.12 c switching time : 85.85
776.87/777.12 c Solution :
776.87/777.12 c Solutions found : 43 (39 improvements)
776.87/777.12 c First Solution : +4.11000000000000e+02 (in run 1, after 1 nodes, 0.07 seconds, depth 0, found by <trysol>)
776.87/777.12 c Primal Bound : +2.00000000000000e+00 (in run 1, after 6068 nodes, 3.55 seconds, depth 25, found by <relaxation>)
776.87/777.12 c Dual Bound : +2.00000000000000e+00
776.87/777.12 c Gap : 0.00 %
776.87/777.12 c Root Dual Bound : +0.00000000000000e+00
776.87/777.12 c Root Iterations : 53
776.87/777.13 c Time complete: 776.91.
OK 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2665643-1276617254/watcher-2665643-1276617254 -o /tmp/evaluation-result-2665643-1276617254/solver-2665643-1276617254 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665643-1276617254.opb -t 1800 -m 1800 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 2/105 11865 /proc/meminfo: memFree=1396308/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=8256 CPUtime=0 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 748 0 0 0 0 0 0 0 23 0 1 0 3019090 8454144 669 1992294400 4194304 9819077 140737201719376 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11865/statm: 2064 680 359 1374 0 685 0 [startup+0.011231 s] /proc/loadavg: 0.85 0.97 0.99 2/105 11865 /proc/meminfo: memFree=1396308/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=9288 CPUtime=0 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 1116 0 0 0 0 0 0 0 23 0 1 0 3019090 9510912 1037 1992294400 4194304 9819077 140737201719376 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11865/statm: 2322 1049 371 1374 0 943 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9288 [startup+0.101277 s] /proc/loadavg: 0.85 0.97 0.99 2/105 11865 /proc/meminfo: memFree=1396308/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=22044 CPUtime=0.09 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 4844 0 0 0 7 2 0 0 18 0 1 0 3019090 22573056 3887 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5511 3887 673 1374 0 4132 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22044 [startup+0.301275 s] /proc/loadavg: 0.85 0.97 0.99 2/105 11865 /proc/meminfo: memFree=1396308/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=15756 CPUtime=0.29 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 11050 0 0 0 23 6 0 0 18 0 1 0 3019090 16134144 2763 1992294400 4194304 9819077 140737201719376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 3939 2763 722 1374 0 2560 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15756 [startup+0.701643 s] /proc/loadavg: 0.85 0.97 0.99 2/105 11865 /proc/meminfo: memFree=1396308/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=16072 CPUtime=0.69 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 18171 0 0 0 57 12 0 0 18 0 1 0 3019090 16457728 2767 1992294400 4194304 9819077 140737201719376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 4018 2767 725 1374 0 2639 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16072 [startup+1.50139 s] /proc/loadavg: 0.85 0.97 0.99 3/106 11866 /proc/meminfo: memFree=1387248/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=16644 CPUtime=1.49 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 27290 0 0 0 123 26 0 0 19 0 1 0 3019090 17043456 2843 1992294400 4194304 9819077 140737201719376 18446744073709551615 4392932 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 4161 2843 725 1374 0 2782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16644 [startup+3.10157 s] /proc/loadavg: 0.85 0.97 0.99 2/106 11866 /proc/meminfo: memFree=1387000/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=17672 CPUtime=3.09 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 46527 0 0 0 261 48 0 0 25 0 1 0 3019090 18096128 3115 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 4418 3115 725 1374 0 3039 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17672 [startup+6.30092 s] /proc/loadavg: 0.86 0.97 0.99 2/106 11866 /proc/meminfo: memFree=1385264/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=18596 CPUtime=6.28 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 85201 0 0 0 535 93 0 0 25 0 1 0 3019090 19042304 3347 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 4649 3347 725 1374 0 3270 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 18596 [startup+12.7006 s] /proc/loadavg: 0.87 0.97 0.99 2/106 11866 /proc/meminfo: memFree=1383280/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=20644 CPUtime=12.68 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 151336 0 0 0 1083 185 0 0 25 0 1 0 3019090 21139456 3859 1992294400 4194304 9819077 140737201719376 18446744073709551615 4999862 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5161 3859 725 1374 0 3782 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 20644 [startup+25.501 s] /proc/loadavg: 0.90 0.97 0.99 2/106 11866 /proc/meminfo: memFree=1382164/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=21748 CPUtime=25.48 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 270438 0 0 0 2198 350 0 0 25 0 1 0 3019090 22269952 4086 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5437 4086 725 1374 0 4058 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21748 [startup+51.1009 s] /proc/loadavg: 0.93 0.97 0.99 2/106 11868 /proc/meminfo: memFree=1381420/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=22472 CPUtime=51.08 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 549628 0 0 0 4389 719 0 0 25 0 1 0 3019090 23011328 4294 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5618 4294 725 1374 0 4239 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 22472 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.99 2/106 11868 /proc/meminfo: memFree=1381296/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=22472 CPUtime=102.27 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 1160551 0 0 0 8709 1518 0 0 25 0 1 0 3019090 23011328 4294 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5618 4294 725 1374 0 4239 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 22472 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11870 /proc/meminfo: memFree=1381048/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=22472 CPUtime=162.25 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 1904159 0 0 0 13728 2497 0 0 25 0 1 0 3019090 23011328 4294 1992294400 4194304 9819077 140737201719376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5618 4294 725 1374 0 4239 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22472 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11872 /proc/meminfo: memFree=1381048/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=22312 CPUtime=222.23 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 2585563 0 0 0 18820 3403 0 0 25 0 1 0 3019090 22847488 4293 1992294400 4194304 9819077 140737201719376 18446744073709551615 8723754 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5618 4294 725 1374 0 4239 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22312 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11874 /proc/meminfo: memFree=1379436/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23496 CPUtime=282.22 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 3302042 0 0 0 23867 4355 0 0 25 0 1 0 3019090 24059904 4695 1992294400 4194304 9819077 140737201719376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 6034 4699 725 1374 0 4655 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23496 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11874 /proc/meminfo: memFree=1379188/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=24136 CPUtime=342.2 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 4008181 0 0 0 28924 5296 0 0 25 0 1 0 3019090 24715264 4699 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 6034 4699 725 1374 0 4655 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 24136 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11876 /proc/meminfo: memFree=1379064/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=24136 CPUtime=402.18 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 4719859 0 0 0 33962 6256 0 0 25 0 1 0 3019090 24715264 4699 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 6034 4699 725 1374 0 4655 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 24136 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11887 /proc/meminfo: memFree=1378568/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=24136 CPUtime=462.16 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 5446634 0 0 0 38989 7227 0 0 25 0 1 0 3019090 24715264 4699 1992294400 4194304 9819077 140737201719376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 6034 4699 725 1374 0 4655 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 24136 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11889 /proc/meminfo: memFree=1378692/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=522.14 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 6195738 0 0 0 43992 8222 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5785 4566 725 1374 0 4406 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 23620 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11891 /proc/meminfo: memFree=1378692/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=582.13 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 6941683 0 0 0 49004 9209 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8657695 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 23620 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11891 /proc/meminfo: memFree=1378692/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=642.11 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 7660141 0 0 0 54066 10145 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 23620 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11893 /proc/meminfo: memFree=1378692/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=702.1 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 8348317 0 0 0 59129 11081 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 23620 [startup+762.308 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=762.09 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9018266 0 0 0 64218 11991 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 5000156 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 23620 Solver just ended. Dumping a history of the last processes samples [startup+767.901 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=767.68 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9081467 0 0 0 64686 12082 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 767.68 Current children cumulated vsize (KiB) 23620 [startup+771.108 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=770.88 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9119438 0 0 0 64958 12130 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 770.88 Current children cumulated vsize (KiB) 23620 [startup+774.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=774.08 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9158540 0 0 0 65228 12180 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 774.08 Current children cumulated vsize (KiB) 23620 [startup+775.901 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=775.67 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9178101 0 0 0 65359 12208 0 0 25 0 1 0 3019090 24186880 4569 1992294400 4194304 9819077 140737201719376 18446744073709551615 8723783 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5865 4569 725 1374 0 4486 0 Current children cumulated CPU time (s) 775.67 Current children cumulated vsize (KiB) 23620 [startup+776.701 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=776.48 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9188427 0 0 0 65425 12223 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 776.48 Current children cumulated vsize (KiB) 23620 [startup+777.101 s] /proc/loadavg: 0.99 0.97 0.99 2/106 11895 /proc/meminfo: memFree=1378444/2059040 swapFree=4192956/4192956 [pid=11865] ppid=11863 vsize=23620 CPUtime=776.87 /proc/11865/stat : 11865 (pbscip.linux.x8) R 11863 11865 11840 0 -1 4202496 9193664 0 0 0 65458 12229 0 0 25 0 1 0 3019090 24186880 4570 1992294400 4194304 9819077 140737201719376 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/11865/statm: 5905 4570 725 1374 0 4526 0 Current children cumulated CPU time (s) 776.87 Current children cumulated vsize (KiB) 23620 Child status: 0 Real time (s): 777.136 CPU time (s): 776.922 CPU user time (s): 654.615 CPU system time (s): 122.307 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 24736 getrusage(RUSAGE_CHILDREN,...) data: user time used= 654.614 system time used= 122.307 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 9193965 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= 504 runsolver used 1.3028 second user time and 3.67244 second system time The end
Begin job on node086 at 2010-06-15 17:54:14 IDJOB=2665643 IDBENCH=2927 IDSOLVER=1168 FILE ID=node086/2665643-1276617254 PBS_JOBID= 11172329 Free space on /tmp= 62576 MiB SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.opb COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2665643-1276617254/watcher-2665643-1276617254 -o /tmp/evaluation-result-2665643-1276617254/solver-2665643-1276617254 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2665643-1276617254.opb -t 1800 -m 1800 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114 RANDOM SEED=1897138659 node086.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1396712 kB Buffers: 82828 kB Cached: 438648 kB SwapCached: 0 kB Active: 227192 kB Inactive: 353480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1396712 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 6444 kB Writeback: 0 kB AnonPages: 59132 kB Mapped: 15312 kB Slab: 60056 kB PageTables: 3956 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181060 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node086 at 2010-06-15 18:07:11