Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | OPT | -29 | 69.636 | 70.0921 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb |
| MD5SUM | f91dbe69118ae72b0214f31a62e5b167 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -29 |
| Best CPU time to get the best result obtained on this benchmark | 0.785581 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4500 |
| Total number of constraints | 1979 |
| Number of constraints which are clauses | 1830 |
| Number of constraints which are cardinality constraints (but not clauses) | 89 |
| Number of constraints which are nor clauses,nor cardinality constraints | 60 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 31 |
| Number of terms in the objective function | 900 |
| 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 | 900 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 30 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 900 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 8.0.0] [GitHash: 0408ae5eca]
0.00/0.00 c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c External libraries:
0.00/0.00 c SoPlex 8.0.0 Linear programming solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 67f6a391]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 4.0.0 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 3.0.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c bliss 0.77 Computing Graph Automorphisms by T. Junttila and P. Kaski (users.aalto.fi/~tjunttil/bliss)
0.00/0.00 c sassy 2.0 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.00 c
0.00/0.00 c reading problem <HOME/instance-4519617-1751551163.opb>
0.00/0.02 c original problem has 4500 variables (4500 bin, 0 int, 0 cont) and 1979 constraints
0.00/0.02 c problem read in 0.022 seconds
0.00/0.05 o 0
0.00/0.05 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.05 c presolving:
0.00/0.06 c (0.1s) running MILP presolver
0.00/0.08 c (0.1s) MILP presolver (3 rounds): 0 aggregations, 870 fixings, 0 bound changes
0.00/0.08 c (round 1, medium) 870 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 59 clqs
0.00/0.08 c (round 2, fast) 900 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 0 upgd conss, 0 impls, 59 clqs
0.00/0.10 c (round 3, exhaustive) 900 del vars, 60 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1046 upgd conss, 0 impls, 59 clqs
0.09/0.11 c (round 4, medium) 900 del vars, 90 del conss, 900 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1046 upgd conss, 0 impls, 959 clqs
0.09/0.13 c (round 5, exhaustive) 900 del vars, 90 del conss, 900 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1890 upgd conss, 0 impls, 959 clqs
0.09/0.14 c (round 6, exhaustive) 900 del vars, 90 del conss, 900 add conss, 0 chg bounds, 0 chg sides, 30 chg coeffs, 1919 upgd conss, 0 impls, 959 clqs
0.09/0.19 c (0.2s) probing: 51/3600 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.19 c (0.2s) probing aborted: 50/50 successive totally useless probings
0.09/0.20 c (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.21/0.28 c (0.3s) symmetry computation finished: 86 generators found (max: 1500, log10 of symmetry group size: 95.79) (symcode time: 0.07)
0.21/0.31 c dynamic symmetry handling statistics:
0.21/0.31 c orbitopal reduction: no components
0.21/0.31 c orbital reduction: 1 components of sizes 86
0.21/0.31 c lexicographic reduction: 86 permutations with support sizes 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 122, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238, 238
0.21/0.31 c handled 1 out of 1 symmetry components
0.21/0.32 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
0.21/0.32 c 900 deleted vars, 90 deleted constraints, 900 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 30 changed coefficients
0.21/0.32 c 0 implications, 959 cliques
0.21/0.32 c presolved problem has 3600 variables (3600 bin, 0 int, 0 cont) and 2789 constraints
0.21/0.32 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.21/0.32 c 959 constraints of type <setppc>
0.21/0.32 c 1830 constraints of type <logicor>
0.21/0.32 c transformed objective value is always integral (scale: 1)
0.21/0.32 c Presolving Time: 0.28
0.21/0.32 c
0.21/0.32 c - non default parameters ----------------------------------------------------------------------
0.21/0.32 c
0.21/0.32 c # SCIP version 10.0.0
0.21/0.32 c
0.21/0.32 c # maximal time in seconds to run
0.21/0.32 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.21/0.32 c limits/time = 3596.995055
0.21/0.32 c
0.21/0.32 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.21/0.32 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.21/0.32 c limits/memory = 27900
0.21/0.32 c
0.21/0.32 c # belongs reading time to solving time?
0.21/0.32 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.21/0.32 c timing/reading = TRUE
0.21/0.32 c
0.21/0.32 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.21/0.32 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.21/0.32 c reading/opbreader/maxintsize = 47
0.21/0.32 c
0.21/0.32 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.21/0.32 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.21/0.32 c propagating/genvbounds/timingmask = 0
0.21/0.32 c
0.21/0.32 c -----------------------------------------------------------------------------------------------
0.31/0.32 c transformed 1/1 original solutions to the transformed problem space
0.31/0.32 c
0.31/0.41 o -1
0.31/0.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.31/0.41 c p 0.4s| 1 | 0 | 32 | - | vbounds| 0 |3600 |2825 |2789 | 0 | 0 | 36 | 0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
0.51/0.56 c 0.6s| 1 | 0 | 1072 | - | 64M | 0 |3600 |2861 |2789 | 0 | 0 | 76 | 0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
0.99/1.05 c 1.0s| 1 | 0 | 1559 | - | 70M | 0 |3600 |2861 |2814 | 25 | 1 | 76 | 0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
0.99/1.05 o -4
0.99/1.05 c r 1.0s| 1 | 0 | 1559 | - |shifting| 0 |3600 |2861 |2814 | 25 | 1 | 76 | 0 |-3.000000e+01 |-4.000000e+00 | 650.00%| unknown
1.18/1.20 c 1.2s| 1 | 0 | 1680 | - | 71M | 0 |3600 |2859 |2829 | 40 | 2 | 76 | 0 |-3.000000e+01 |-4.000000e+00 | 650.00%| unknown
1.18/1.21 o -5
1.18/1.21 c r 1.2s| 1 | 0 | 1680 | - |shifting| 0 |3600 |2860 |2829 | 40 | 2 | 77 | 0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
1.28/1.37 c 1.4s| 1 | 0 | 1865 | - | 73M | 0 |3600 |2859 |2843 | 54 | 3 | 77 | 0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
1.28/1.38 o -6
1.28/1.38 c r 1.4s| 1 | 0 | 1865 | - |shifting| 0 |3600 |2859 |2843 | 54 | 3 | 77 | 0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
1.47/1.51 c 1.5s| 1 | 0 | 2008 | - | 74M | 0 |3600 |2858 |2857 | 68 | 4 | 77 | 0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
1.57/1.65 c 1.6s| 1 | 0 | 2233 | - | 74M | 0 |3600 |2858 |2874 | 85 | 5 | 77 | 0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
1.57/1.66 o -7
1.57/1.66 c r 1.7s| 1 | 0 | 2233 | - |shifting| 0 |3600 |2858 |2874 | 85 | 5 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.67/1.76 c 1.8s| 1 | 0 | 2346 | - | 75M | 0 |3600 |2857 |2884 | 95 | 6 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.88/1.92 c 1.9s| 1 | 0 | 2574 | - | 75M | 0 |3600 |2857 |2895 | 106 | 7 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
1.99/2.06 c 2.1s| 1 | 0 | 2637 | - | 77M | 0 |3600 |2857 |2901 | 112 | 8 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
2.09/2.16 c 2.2s| 1 | 0 | 2698 | - | 78M | 0 |3600 |2856 |2906 | 117 | 9 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
2.27/2.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.27/2.36 c 2.4s| 1 | 0 | 2756 | - | 80M | 0 |3600 |2856 |2910 | 121 | 10 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
2.37/2.42 c 2.4s| 1 | 0 | 3242 | - | 80M | 0 |3600 |2856 |2923 | 134 | 11 | 77 | 0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
2.57/2.67 o -8
2.57/2.67 c o 2.7s| 1 | 0 | 6519 | - |feaspump| 0 |3600 |2856 |2923 | 134 | 11 | 77 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.87/2.98 c 3.0s| 1 | 0 | 10315 | - | 81M | 0 |3600 |2876 |2923 | 134 | 11 | 97 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.98/3.02 c 3.0s| 1 | 0 | 10616 | - | 81M | 0 |3600 |2875 |2935 | 146 | 12 | 97 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
2.98/3.04 c 3.0s| 1 | 0 | 10736 | - | 81M | 0 |3600 |2876 |2900 | 149 | 13 | 98 | 0 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
3.66/3.71 c 3.7s| 1 | 2 | 11022 | - | 81M | 0 |3600 |2876 |2900 | 149 | 13 | 98 | 19 |-3.000000e+01 |-8.000000e+00 | 275.00%| unknown
7.56/7.68 o -10
7.56/7.68 c r 7.7s| 23 | 20 | 18741 | 686.8 |shifting| 14 |3600 |2846 |2841 | 198 | 2 | 98 | 344 |-3.000000e+01 |-1.000000e+01 | 200.00%| 49.99%
7.86/7.92 o -12
7.86/7.92 c r 7.9s| 23 | 20 | 19768 | 733.5 |shifting| 14 |3600 |2846 |2866 | 223 | 5 | 98 | 344 |-3.000000e+01 |-1.200000e+01 | 150.00%| 49.99%
7.86/7.93 o -13
7.86/7.93 c r 7.9s| 23 | 20 | 19782 | 734.1 |shifting| 14 |3600 |2846 |2867 | 224 | 6 | 98 | 344 |-3.000000e+01 |-1.300000e+01 | 130.77%| 49.99%
12.54/12.70 o -16
12.54/12.70 c d12.7s| 65 | 58 | 36184 | 508.6 |pscostdi| 15 |3600 |2849 |2867 | 0 | 1 | 102 | 755 |-3.000000e+01 |-1.600000e+01 | 87.50%| 55.02%
16.83/16.93 o -18
16.83/16.93 c L16.9s| 94 | 66 | 45484 | 450.0 | alns| 20 |3600 |2849 |2846 | 578 | 2 | 102 |1083 |-3.000000e+01 |-1.800000e+01 | 66.67%| 55.16%
16.83/16.94 o -19
16.83/16.94 c L16.9s| 94 | 66 | 45484 | 450.0 | alns| 20 |3600 |2849 |2846 | 578 | 2 | 102 |1083 |-3.000000e+01 |-1.900000e+01 | 57.89%| 55.16%
16.83/17.00 o -20
16.83/17.00 c L17.0s| 94 | 62 | 45484 | 450.0 | alns| 20 |3600 |2849 |2846 | 578 | 2 | 102 |1083 |-3.000000e+01 |-2.000000e+01 | 50.00%| 55.29%
17.62/17.71 c 17.7s| 100 | 68 | 45581 | 423.7 | 111M | 25 |3600 |2849 |2832 | 578 | 1 | 102 |1187 |-3.000000e+01 |-2.000000e+01 | 50.00%| 55.29%
20.21/20.38 o -23
20.21/20.38 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
20.21/20.38 c d20.4s| 171 | 122 | 55759 | 306.6 |distribu| 39 |3600 |2878 |2859 | 0 | 1 | 140 |1422 |-3.000000e+01 |-2.300000e+01 | 30.43%| 57.65%
20.70/20.88 c 20.9s| 200 | 147 | 59519 | 280.8 | 113M | 39 |3600 |2883 |2860 | 697 | 1 | 151 |1454 |-3.000000e+01 |-2.300000e+01 | 30.43%| 57.66%
24.26/24.44 c 24.4s| 300 | 233 | 80611 | 257.5 | 115M | 40 |3600 |2865 |2854 | 906 | 1 | 158 |1618 |-3.000000e+01 |-2.300000e+01 | 30.43%| 57.67%
27.32/27.52 o -24
27.32/27.52 c L27.5s| 371 | 278 | 92533 | 240.3 | rins| 40 |3600 |2864 |2877 |1151 | 1 | 167 |1714 |-3.000000e+01 |-2.400000e+01 | 25.00%| 60.15%
28.11/28.33 c 28.3s| 400 | 303 | 95753 | 230.9 | 117M | 40 |3600 |2835 |2871 |1228 | 1 | 168 |1738 |-3.000000e+01 |-2.400000e+01 | 25.00%| 60.28%
30.48/30.78 o -25
30.48/30.78 c d30.8s| 483 | 356 |110295 | 221.3 |guideddi| 43 |3600 |2868 |2929 | 0 | 2 | 201 |1847 |-3.000000e+01 |-2.500000e+01 | 20.00%| 60.80%
30.98/31.27 c 31.3s| 500 | 373 |112408 | 218.0 | 120M | 43 |3600 |2873 |2859 |1576 | 2 | 210 |1857 |-3.000000e+01 |-2.500000e+01 | 20.00%| 60.80%
32.27/32.55 o -27
32.27/32.55 c d32.5s| 525 | 326 |123360 | 228.5 |adaptive| 43 |3600 |2873 |2873 | 0 | 1 | 214 |1905 |-3.000000e+01 |-2.700000e+01 | 11.11%| 61.62%
36.31/36.67 c 36.7s| 600 | 395 |150790 | 245.7 | 126M | 44 |3600 |2905 |2899 |1849 | 0 | 253 |1996 |-3.000000e+01 |-2.700000e+01 | 11.11%| 61.62%
39.79/40.18 o -28
39.79/40.18 c d40.2s| 652 | 313 |174728 | 262.8 |pscostdi| 44 |3600 |2942 |2894 | 0 | 1 | 359 |2116 |-3.000000e+01 |-2.800000e+01 | 7.14%| 68.23%
42.58/42.99 c 43.0s| 700 | 341 |197880 | 277.9 | 136M | 44 |3600 |2861 |2907 |2324 | 1 | 360 |2206 |-3.000000e+01 |-2.800000e+01 | 7.14%| 68.26%
47.16/47.51 c 47.5s| 800 | 422 |232445 | 286.4 | 141M | 44 |3600 |2927 |2884 |2544 | 2 | 462 |2307 |-3.000000e+01 |-2.800000e+01 | 7.14%| 68.26%
50.05/50.46 c r50.5s| 843 | 455 |257440 | 301.4 |ziroundi| 44 |3600 |2935 |2888 |2692 | 1 | 509 |2378 |-3.000000e+01 |-2.800000e+01 | 7.14%| 68.26%
50.25/50.61 o -29
50.25/50.61 c r50.6s| 850 | 54 |258249 | 299.9 |rounding| 47 |3600 |2943 |2887 |2692 | 0 | 518 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 87.28%
51.15/51.58 c 51.6s| 900 | 58 |265732 | 291.5 | 145M | 47 |3600 |3006 |2876 |2730 | 1 | 738 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 87.90%
52.04/52.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
52.04/52.45 c 52.4s| 1000 | 56 |271079 | 267.7 | 145M | 47 |3600 |3118 |2876 |2751 | 0 | 952 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 88.54%
53.33/53.72 c 53.7s| 1100 | 58 |277470 | 249.2 | 146M | 47 |3600 |3160 | 0 |2897 | 0 |1122 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 88.75%
54.64/55.06 c 55.1s| 1200 | 61 |288218 | 237.4 | 147M | 47 |3600 |3153 |2813 |3028 | 1 |1277 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 89.54%
55.43/55.89 c 55.9s| 1300 | 64 |293606 | 223.2 | 147M | 47 |3600 |3225 |2844 |3067 | 1 |1388 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 89.65%
56.82/57.24 c 57.2s| 1400 | 56 |298953 | 211.1 | 147M | 47 |3600 |3247 |2866 |3112 | 1 |1503 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 89.89%
57.72/58.11 c 58.1s| 1500 | 56 |303330 | 199.9 | 147M | 47 |3600 |3287 |2855 |3142 | 1 |1628 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 90.10%
58.72/59.16 c 59.2s| 1600 | 52 |308616 | 190.7 | 148M | 47 |3600 |3315 | 0 |3186 | 0 |1764 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 90.15%
60.19/60.69 c 60.7s| 1700 | 40 |315311 | 183.4 | 148M | 47 |3600 |3346 | 0 |3265 | 0 |1916 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 92.05%
61.08/61.57 c 61.6s| 1800 | 45 |318761 | 175.2 | 148M | 47 |3600 |3406 |2872 |3310 | 1 |2025 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 92.28%
61.78/62.22 c 62.2s| 1900 | 29 |323807 | 168.6 | 148M | 47 |3600 |3412 |2850 |3310 | 0 |2167 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 93.87%
62.87/63.34 c 63.3s| 2000 | 26 |329762 | 163.1 | 148M | 47 |3600 |3370 | 0 |3319 | 0 |2284 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 94.31%
63.98/64.49 c 64.5s| 2100 | 25 |335326 | 158.0 | 149M | 47 |3600 |3371 |2874 |3414 | 2 |2415 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 95.16%
64.97/65.42 c 65.4s| 2200 | 26 |340526 | 153.2 | 149M | 47 |3600 |3417 |2880 |3441 | 1 |2512 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 95.19%
65.86/66.31 c 66.3s| 2300 | 22 |345919 | 148.9 | 149M | 47 |3600 |3453 |2868 |3458 | 0 |2648 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 95.40%
66.76/67.27 c 67.3s| 2400 | 15 |353093 | 145.7 | 151M | 47 |3600 |3403 |2849 |3555 | 1 |2793 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 96.57%
67.65/68.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
67.65/68.14 c 68.1s| 2500 | 11 |357579 | 141.6 | 151M | 47 |3600 |3396 |2879 |3634 | 1 |2911 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 97.70%
68.65/69.17 c 69.2s| 2600 | 4 |366086 | 139.5 | 152M | 47 |3600 |3226 |2842 |3728 | 1 |3025 |2382 |-3.000000e+01 |-2.900000e+01 | 3.45%| 99.27%
69.55/70.05 c
69.55/70.05 c SCIP Status : problem is solved [optimal solution found]
69.55/70.05 c Solving Time (sec) : 70.04
69.55/70.05 c Solving Nodes : 2692
69.55/70.05 c Primal Bound : -2.90000000000000e+01 (41 solutions)
69.55/70.05 c Dual Bound : -2.90000000000000e+01
69.55/70.05 c Gap : 0.00 %
69.55/70.05 s OPTIMUM FOUND
69.55/70.05 v x1 x2 x3 x4 x5 x6 x7 x8 -x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 -x31 -x32 -x33 -x34
69.55/70.05 v -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60
69.55/70.05 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86
69.55/70.05 v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110
69.55/70.05 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132
69.55/70.05 v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154
69.55/70.05 v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176
69.55/70.05 v -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198
69.55/70.05 v -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220
69.55/70.05 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242
69.55/70.05 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264
69.55/70.05 v -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286
69.55/70.05 v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308
69.55/70.05 v -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330
69.55/70.05 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352
69.55/70.05 v -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374
69.55/70.05 v -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396
69.55/70.05 v -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418
69.55/70.05 v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440
69.55/70.05 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
69.55/70.05 v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
69.55/70.05 v -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
69.55/70.05 v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
69.55/70.05 v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
69.55/70.05 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572
69.55/70.05 v -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
69.55/70.05 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616
69.55/70.05 v -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638
69.55/70.05 v -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660
69.55/70.05 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682
69.55/70.05 v -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704
69.55/70.05 v -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726
69.55/70.05 v -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748
69.55/70.05 v -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770
69.55/70.05 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792
69.55/70.05 v -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
69.55/70.05 v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836
69.55/70.05 v -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858
69.55/70.05 v -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880
69.55/70.05 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x2701 x2702
69.55/70.05 v x2703 x2704 x2705 x2706 x2707 x2708 -x2709 x2710 x2711 x2712 x2713 x2714 x2715 x2716 x2717 x2718 x2719 x2720 x2721 x2722 x2723 x2724
69.55/70.05 v x2725 x2726 x2727 x2728 x2729 x2730 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916
69.55/70.05 v -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 -x936 -x937 -x938
69.55/70.05 v -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
69.55/70.05 v -x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982
69.55/70.05 v -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003
69.55/70.05 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
69.55/70.05 v -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041
69.55/70.05 v -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
69.55/70.05 v -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079
69.55/70.05 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
69.55/70.05 v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
69.55/70.05 v -x1118 x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136
69.55/70.05 v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155
69.55/70.05 v -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174
69.55/70.05 v -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
69.55/70.05 v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212
69.55/70.05 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
69.55/70.05 v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
69.55/70.05 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269
69.55/70.05 v -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288
69.55/70.05 v -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307
69.55/70.05 v -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
69.55/70.05 v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345
69.55/70.05 v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
69.55/70.05 v -x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383
69.55/70.05 v -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402
69.55/70.05 v -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421
69.55/70.05 v -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
69.55/70.05 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459
69.55/70.05 v -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478
69.55/70.05 v -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 x1496 -x1497
69.55/70.05 v -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516
69.55/70.05 v -x1517 -x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
69.55/70.05 v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
69.55/70.05 v -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573
69.55/70.05 v -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592
69.55/70.05 v -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611
69.55/70.05 v -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630
69.55/70.05 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649
69.55/70.05 v -x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668
69.55/70.05 v -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687
69.55/70.05 v -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
69.55/70.05 v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725
69.55/70.05 v -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744
69.55/70.05 v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763
69.55/70.05 v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782
69.55/70.05 v -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801
69.55/70.05 v -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820
69.55/70.05 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839
69.55/70.05 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858
69.55/70.05 v -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877
69.55/70.05 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896
69.55/70.05 v -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915
69.55/70.05 v -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934
69.55/70.05 v -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
69.55/70.05 v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
69.55/70.05 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991
69.55/70.05 v -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
69.55/70.05 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029
69.55/70.05 v -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
69.55/70.05 v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067
69.55/70.05 v -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086
69.55/70.05 v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105
69.55/70.05 v -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124
69.55/70.05 v -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143
69.55/70.05 v -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 x2162
69.55/70.05 v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
69.55/70.05 v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
69.55/70.05 v -x2201 -x2202 -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
69.55/70.05 v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238
69.55/70.05 v -x2239 -x2240 -x2241 -x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257
69.55/70.05 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276
69.55/70.05 v -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295
69.55/70.05 v -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314
69.55/70.05 v -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333
69.55/70.05 v -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352
69.55/70.05 v x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371
69.55/70.05 v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
69.55/70.05 v -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409
69.55/70.05 v -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428
69.55/70.05 v -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447
69.55/70.05 v -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466
69.55/70.05 v -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
69.55/70.05 v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504
69.55/70.05 v -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523
69.55/70.05 v -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542
69.55/70.05 v -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
69.55/70.05 v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
69.55/70.05 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 x2598 -x2599
69.55/70.05 v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618
69.55/70.05 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637
69.55/70.05 v -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656
69.55/70.05 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
69.55/70.05 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694
69.55/70.05 v -x2695 -x2696 x2697 -x2698 -x2699 -x2700 x4471 x4472 x4473 x4474 x4475 -x4476 x4477 x4478 x4479 x4480 x4481 x4482 x4483 x4484 x4485
69.55/70.05 v x4486 x4487 x4488 x4489 x4490 x4491 x4492 x4493 x4494 x4495 x4496 x4497 x4498 x4499 x4500 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736
69.55/70.05 v -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755
69.55/70.05 v -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774
69.55/70.05 v -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 -x2791 -x2792 x2793
69.55/70.05 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812
69.55/70.05 v -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831
69.55/70.05 v -x2832 -x2833 -x2834 -x2835 x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
69.55/70.05 v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869
69.55/70.05 v -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888
69.55/70.05 v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 x2907
69.55/70.05 v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926
69.55/70.05 v -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945
69.55/70.05 v -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964
69.55/70.05 v -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983
69.55/70.05 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002
69.55/70.05 v -x3003 -x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021
69.55/70.05 v -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040
69.55/70.05 v -x3041 -x3042 -x3043 -x3044 x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059
69.55/70.05 v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 x3073 -x3074 -x3075 -x3076 -x3077 -x3078
69.55/70.05 v -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 x3093 -x3094 -x3095 -x3096 -x3097
69.55/70.05 v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116
69.55/70.05 v x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135
69.55/70.05 v -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154
69.55/70.05 v -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173
69.55/70.05 v -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192
69.55/70.05 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211
69.55/70.05 v -x3212 -x3213 -x3214 -x3215 -x3216 x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230
69.55/70.05 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249
69.55/70.05 v -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 -x3268
69.55/70.05 v -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287
69.55/70.05 v -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306
69.55/70.05 v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
69.55/70.05 v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344
69.55/70.05 v -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363
69.55/70.05 v -x3364 -x3365 x3366 -x3367 -x3368 -x3369 -x3370 -x3371 x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382
69.55/70.05 v -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401
69.55/70.05 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 x3415 -x3416 -x3417 -x3418 -x3419 -x3420
69.55/70.05 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439
69.55/70.05 v -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458
69.55/70.05 v -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477
69.55/70.05 v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 x3496
69.55/70.05 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
69.55/70.05 v -x3516 -x3517 -x3518 -x3519 x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534
69.55/70.05 v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553
69.55/70.05 v -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572
69.55/70.05 v -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591
69.55/70.05 v -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610
69.55/70.05 v -x3611 -x3612 -x3613 x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629
69.55/70.05 v -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648
69.55/70.05 v -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 x3658 -x3659 -x3660 -x3661 -x3662 x3663 -x3664 -x3665 -x3666 -x3667
69.55/70.05 v -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686
69.55/70.05 v -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
69.55/70.05 v x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724
69.55/70.05 v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743
69.55/70.05 v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762
69.55/70.05 v -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 x3777 -x3778 -x3779 -x3780 -x3781
69.55/70.05 v -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800
69.55/70.05 v -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819
69.55/70.05 v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 x3834 -x3835 -x3836 -x3837 -x3838
69.55/70.05 v -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857
69.55/70.05 v -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876
69.55/70.05 v x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895
69.55/70.05 v -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914
69.55/70.05 v x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933
69.55/70.05 v -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
69.55/70.05 v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971
69.55/70.05 v -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 x3987 -x3988 -x3989 -x3990
69.55/70.05 v -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009
69.55/70.05 v -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028
69.55/70.05 v -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047
69.55/70.05 v -x4048 -x4049 -x4050 -x4051 x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066
69.55/70.05 v -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085
69.55/70.05 v -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104
69.55/70.05 v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123
69.55/70.05 v -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142
69.55/70.05 v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
69.55/70.05 v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180
69.55/70.05 v -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199
69.55/70.05 v -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218
69.55/70.05 v -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237
69.55/70.05 v -x4238 -x4239 -x4240 -x4241 x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256
69.55/70.05 v -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275
69.55/70.05 v -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294
69.55/70.05 v -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313
69.55/70.05 v -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332
69.55/70.05 v -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 x4346 -x4347 -x4348 -x4349 -x4350 -x4351
69.55/70.05 v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 -x4370
69.55/70.05 v -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389
69.55/70.05 v x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408
69.55/70.05 v -x4409 -x4410 -x4411 -x4412 x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427
69.55/70.05 v -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446
69.55/70.05 v -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465
69.55/70.05 v -x4466 -x4467 -x4468 x4469 -x4470
69.55/70.05 c SCIP Status : problem is solved [optimal solution found]
69.55/70.05 c Total Time : 70.04
69.55/70.05 c solving : 70.04
69.55/70.05 c presolving : 0.28 (included in solving)
69.55/70.05 c reading : 0.02 (included in solving)
69.55/70.05 c copying : 0.74 (86 #copies) (minimal 0.01, maximal 0.01, average 0.01)
69.55/70.05 c Original Problem :
69.55/70.05 c Problem name : HOME/instance-4519617-1751551163.opb
69.55/70.05 c Variables : 4500 (4500 binary, 0 integer, 0 continuous)
69.55/70.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
69.55/70.05 c Constraints : 1979 initial, 1979 maximal
69.55/70.05 c Objective : minimize, 900 non-zeros (abs.min = 1, abs.max = 1)
69.55/70.05 c Presolved Problem :
69.55/70.05 c Problem name : t_HOME/instance-4519617-1751551163.opb
69.55/70.05 c Variables : 3600 (3600 binary, 0 integer, 0 continuous)
69.55/70.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
69.55/70.05 c Constraints : 2789 initial, 3453 maximal
69.55/70.05 c Objective : minimize, 30 non-zeros (abs.min = 1, abs.max = 1)
69.55/70.05 c Nonzeros : 10710 constraint, 2138 clique table
69.55/70.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
69.55/70.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c gateextraction : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
69.55/70.05 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
69.55/70.05 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c milp : 0.03 0.00 1 870 0 0 0 0 0 0 0 0
69.55/70.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
69.55/70.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
69.55/70.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c probing : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
69.55/70.05 c symmetry : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
69.55/70.05 c knapsack : 0.00 0.00 2 0 0 0 0 0 30 900 0 0
69.55/70.05 c setppc : 0.01 0.00 10 0 0 0 0 0 0 0 0 0
69.55/70.05 c linear : 0.04 0.00 9 0 30 0 0 0 60 0 0 30
69.55/70.05 c logicor : 0.02 0.00 9 0 0 0 0 0 0 0 0 0
69.55/70.05 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c root node : - - - 542 - - 542 - - - - -
69.55/70.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
69.55/70.05 c integral : 0 0 0 0 1721 0 0 382 0 0 111 0 0 42 3414
69.55/70.05 c knapsack : 0+ 82 0 27143 0 0 0 0 4621 280 28702 0 0 0 0
69.55/70.05 c setppc : 959 959 12 30058 0 0 0 376 46557 16 33785 0 0 0 0
69.55/70.05 c linear : 0+ 69 0 20505 0 0 0 3 244 33 3015 0 0 0 0
69.55/70.05 c logicor : 1830+ 2443 12 16447 0 0 0 62 26299 263 29275 0 0 0 0
69.55/70.05 c fixedvar : 0 0 0 0 0 0 0 44 0 0 0 0 0 0 0
69.55/70.05 c countsols : 0 0 0 0 0 0 0 44 0 0 0 0 0 0 0
69.55/70.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
69.55/70.05 c integral : 22.48 0.00 0.00 0.00 22.48 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c knapsack : 0.23 0.00 0.00 0.19 0.00 0.00 0.00 0.00 0.03 0.01
69.55/70.05 c setppc : 0.21 0.00 0.00 0.14 0.00 0.00 0.00 0.01 0.01 0.04
69.55/70.05 c linear : 0.07 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c logicor : 0.23 0.00 0.00 0.18 0.00 0.00 0.00 0.01 0.01 0.03
69.55/70.05 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
69.55/70.05 c dualfix : 3 0 0 0
69.55/70.05 c genvbounds : 0 0 0 0
69.55/70.05 c nlobbt : 0 0 0 0
69.55/70.05 c obbt : 0 0 0 0
69.55/70.05 c probing : 0 0 0 0
69.55/70.05 c pseudoobj : 10231 0 3 338
69.55/70.05 c redcost : 3552 0 0 5151
69.55/70.05 c rootredcost : 10 0 0 30
69.55/70.05 c symmetry : 21180 0 63 81861
69.55/70.05 c vbounds : 10466 0 0 0
69.55/70.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
69.55/70.05 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c probing : 0.03 0.00 0.03 0.00 0.00 0.00
69.55/70.05 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
69.55/70.05 c redcost : 0.21 0.00 0.00 0.21 0.00 0.00
69.55/70.05 c rootredcost : 0.01 0.00 0.00 0.00 0.00 0.00
69.55/70.05 c symmetry : 4.40 0.00 0.11 4.04 0.00 0.25
69.55/70.05 c vbounds : 0.06 0.00 0.00 0.06 0.00 0.00
69.55/70.05 c Symmetry :
69.55/70.05 c #affected vars : 3600 (3600 bin, 0 int, 0 cont)
69.55/70.05 c orbitopal red. : 0 reductions applied, 0 cutoffs
69.55/70.05 c orbital reduction: 81737 reductions applied, 63 cutoffs
69.55/70.05 c lexicographic red: 150 reductions applied, 0 cutoffs
69.55/70.05 c shadow tree time : 0.00 s
69.55/70.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
69.55/70.05 c propagation : 0.05 554 525 - 1996 80.6 8 92.4 - - -
69.55/70.05 c infeasible LP : 0.25 384 384 - 2208 133.5 8 83.6 362 222.0 0
69.55/70.05 c bound exceed. LP : 0.16 129 43 - 257 160.1 1 227.0 40 434.4 1050
69.55/70.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
69.55/70.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
69.55/70.05 c applied globally : 0.03 - - 0 2724 91.6 - - 402 - -
69.55/70.05 c applied locally : - - - 0 1 61.0 - - 0 - -
69.55/70.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
69.55/70.05 c cut pool : 0.62 - 579 24 - - 6676 50038 - - - - - (maximal pool size: 3137)
69.55/70.05 c aggregation : 0.06 0.00 130 12 0 0 0 0 0 0 0 0 0
69.55/70.05 c > cmir : - - - - - - - 0 0 0 0 0 -
69.55/70.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
69.55/70.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
69.55/70.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c clique : 0.01 0.00 12 12 0 0 0 0 0 0 0 0 0
69.55/70.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c gomory : 4.43 0.00 124 10 0 0 6055 44200 16 2360 2360 0 0
69.55/70.05 c > gomorymi : - - - - - - - 22021 8 1416 1416 0 -
69.55/70.05 c > strongcg : - - - - - - - 22179 8 944 944 0 -
69.55/70.05 c impliedbounds : 0.01 0.00 130 12 0 0 0 0 0 0 0 0 0
69.55/70.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
69.55/70.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c multilinear : 0.00 0.00 86 12 0 0 0 0 0 0 0 0 0
69.55/70.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
69.55/70.05 c rapidlearning : 6.37 0.00 69 1 0 324 0 0 0 0 0 0 139
69.55/70.05 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
69.55/70.05 c zerohalf : 0.38 0.00 126 12 0 0 650 5838 13 1469 1464 5 0
69.55/70.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
69.55/70.05 c hybrid : 0.08 0.00 425 13 3831 0 46217 149 0 1726
69.55/70.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c Pricers : ExecTime SetupTime Calls Vars
69.55/70.05 c problem variables: 0.00 - 0 0
69.55/70.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
69.55/70.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c relpscost : 22.48 0.00 1721 0 0 0 111 0 65 3414
69.55/70.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
69.55/70.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
69.55/70.05 c LP solutions : 0.00 - - 0 0
69.55/70.05 c relax solutions : 0.00 - - 0 0
69.55/70.05 c pseudo solutions : 0.00 - - 0 0
69.55/70.05 c strong branching : 0.02 - - 0 0
69.55/70.05 c actconsdiving : 0.00 0.00 0 0 0
69.55/70.05 c adaptivediving : 0.90 0.00 10 1 1
69.55/70.05 c alns : 0.22 0.00 6 3 3
69.55/70.05 c bound : 0.00 0.00 0 0 0
69.55/70.05 c clique : 0.02 0.00 1 0 0
69.55/70.05 c coefdiving : 0.00 0.00 0 0 0
69.55/70.05 c completesol : 0.00 0.00 0 0 0
69.55/70.05 c conflictdiving : 0.58 0.00 6 0 0
69.55/70.05 c crossover : 0.06 0.00 3 0 0
69.55/70.05 c dins : 0.00 0.00 0 0 0
69.55/70.05 c distributiondivin: 0.40 0.00 5 1 1
69.55/70.05 c dks : 0.00 0.00 0 0 0
69.55/70.05 c dps : 0.00 0.00 0 0 0
69.55/70.05 c dualval : 0.00 0.00 0 0 0
69.55/70.05 c farkasdiving : 0.00 0.00 0 0 0
69.55/70.05 c feaspump : 0.24 0.00 1 1 1
69.55/70.05 c fixandinfer : 0.00 0.00 0 0 0
69.55/70.05 c fracdiving : 0.40 0.00 6 0 0
69.55/70.05 c gins : 0.00 0.00 0 0 0
69.55/70.05 c guideddiving : 0.55 0.00 6 1 1
69.55/70.05 c indicator : 0.00 0.00 0 0 0
69.55/70.05 c indicatordiving : 0.00 0.00 0 0 0
69.55/70.05 c intdiving : 0.00 0.00 0 0 0
69.55/70.05 c intshifting : 0.00 0.00 0 0 0
69.55/70.05 c linesearchdiving : 0.39 0.00 6 0 0
69.55/70.05 c localbranching : 0.00 0.00 0 0 0
69.55/70.05 c locks : 0.01 0.00 1 0 0
69.55/70.05 c lpface : 0.01 0.00 0 0 0
69.55/70.05 c mpec : 0.00 0.00 0 0 0
69.55/70.05 c multistart : 0.00 0.00 0 0 0
69.55/70.05 c mutation : 0.00 0.00 0 0 0
69.55/70.05 c nlpdiving : 0.00 0.00 0 0 0
69.55/70.05 c objpscostdiving : 1.32 0.00 3 3 0
69.55/70.05 c octane : 0.00 0.00 0 0 0
69.55/70.05 c ofins : 0.00 0.00 0 0 0
69.55/70.05 c oneopt : 0.01 0.00 16 0 0
69.55/70.05 c padm : 0.00 0.00 0 0 0
69.55/70.05 c proximity : 0.00 0.00 0 0 0
69.55/70.05 c pscostdiving : 0.49 0.00 6 2 2
69.55/70.05 c randrounding : 0.09 0.00 335 0 0
69.55/70.05 c rens : 0.02 0.00 1 0 0
69.55/70.05 c reoptsols : 0.00 0.00 0 0 0
69.55/70.05 c repair : 0.00 0.00 0 0 0
69.55/70.05 c rins : 0.22 0.00 7 1 1
69.55/70.05 c rootsoldiving : 0.13 0.00 3 2 0
69.55/70.05 c rounding : 0.11 0.00 1355 1 1
69.55/70.05 c scheduler : 0.00 0.00 0 0 0
69.55/70.05 c shiftandpropagate: 0.00 0.00 0 0 0
69.55/70.05 c shifting : 0.30 0.00 606 15 7
69.55/70.05 c simplerounding : 0.00 0.00 2199 0 0
69.55/70.05 c subnlp : 0.00 0.00 0 0 0
69.55/70.05 c trivial : 0.01 0.00 2 1 1
69.55/70.05 c trivialnegation : 0.00 0.00 0 0 0
69.55/70.05 c trustregion : 0.00 0.00 0 0 0
69.55/70.05 c trysol : 0.00 0.00 0 0 0
69.55/70.05 c twoopt : 0.00 0.00 0 0 0
69.55/70.05 c undercover : 0.00 0.00 0 0 0
69.55/70.05 c vbounds : 0.08 0.00 1 1 1
69.55/70.05 c veclendiving : 0.17 0.00 6 0 0
69.55/70.05 c zeroobj : 0.00 0.00 0 0 0
69.55/70.05 c zirounding : 0.10 0.00 1000 8 0
69.55/70.05 c other solutions : - - - 0 -
69.55/70.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
69.55/70.05 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
69.55/70.05 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
69.55/70.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
69.55/70.05 c primal LP : 0.22 185 3 3.00 13.52 0.22 184
69.55/70.05 c dual LP : 21.68 2612 249592 97.57 11510.10 0.05 54
69.55/70.05 c lex dual LP : 0.00 0 0 0.00 -
69.55/70.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
69.55/70.05 c resolve instable : 0.00 0 0 0.00 -
69.55/70.05 c diving/probing LP: 5.73 883 122086 138.26 21314.09
69.55/70.05 c strong branching : 18.95 2382 178069 74.76 9397.03 - - 155
69.55/70.05 c (at root node) : - 19 7558 397.79 -
69.55/70.05 c conflict analysis: 0.10 106 1050 9.91 10577.21
69.55/70.05 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
69.55/70.05 c benders : 0.00 0 0 0 0.00 0 0 0
69.55/70.05 c B&B Tree :
69.55/70.05 c number of runs : 1
69.55/70.05 c nodes : 2692 (1707 internal, 985 leaves)
69.55/70.05 c feasible leaves : 0
69.55/70.05 c infeas. leaves : 950
69.55/70.05 c objective leaves : 35
69.55/70.05 c nodes (total) : 2692 (1707 internal, 985 leaves)
69.55/70.05 c nodes left : 0
69.55/70.05 c max depth : 47
69.55/70.05 c max depth (total): 47
69.55/70.05 c backtracks : 275 (10.2%)
69.55/70.05 c early backtracks : 0 (0.0%)
69.55/70.05 c nodes exc. ref. : 0 (0.0%)
69.55/70.05 c delayed cutoffs : 25
69.55/70.05 c repropagations : 2435 (8529 domain reductions, 18 cutoffs)
69.55/70.05 c avg switch length: 4.19
69.55/70.05 c switching time : 0.75
69.55/70.05 c Root Node :
69.55/70.05 c First LP value : -3.00000000000000e+01
69.55/70.05 c First LP Iters : 1040 (8851.29 Iter/sec)
69.55/70.05 c First LP Time : 0.12
69.55/70.05 c Final Dual Bound : -
69.55/70.05 c Final Root Iters : 3631
69.55/70.05 c Root LP Estimate : -2.95897012467428e+01
69.55/70.05 c Solution :
69.55/70.05 c Solutions found : 41 (20 improvements)
69.55/70.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.04 seconds, depth 0, found by <trivial>)
69.55/70.05 c Gap First Sol. : infinite
69.55/70.05 c Gap Last Sol. : 3.45 %
69.55/70.05 c Primal Bound : -2.90000000000000e+01 (in run 1, after 850 nodes, 50.60 seconds, depth 40, found by <rounding>)
69.55/70.05 c Dual Bound : -2.90000000000000e+01
69.55/70.05 c Gap : 0.00 %
69.55/70.05 c Integrals : Total Avg%
69.55/70.05 c primal-dual : 1669.39 23.83
69.55/70.05 c primal-ref : - - (not evaluated)
69.55/70.05 c dual-ref : - - (not evaluated)
69.55/70.08 c Time complete (sec): 69.628
OK -29
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 63837 MiB (61517 MiB free)
memory of node 1: 64465 MiB (61623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519617-1751551163/watcher-4519617-1751551163 -o /tmp/evaluation-result-4519617-1751551163/solver-4519617-1751551163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78153 --watchdog 3760 pbsolver -f HOME/instance-4519617-1751551163.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=79052, runsolver pid=79049
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.11 4.15 4.16 6/250 79053
/proc/meminfo: memFree=126072104/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=39940 memory=30932 CPUtime=0.09 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 5697 0 0 0 8 1 0 0 20 0 1 0 70795738 40898560 7733 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 9985 7733 2560 2575 0 6892 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39940 KiB
Current children cumulated memory: 30932 KiB
[startup+0.208453 s]*
/proc/loadavg: 4.11 4.15 4.16 5/250 79053
/proc/meminfo: memFree=126066308/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=51772 memory=36564 CPUtime=0.21 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 7072 0 0 0 19 2 0 0 20 0 1 0 70795738 53014528 9141 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 12943 9141 2592 2575 0 9850 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 51772 KiB
Current children cumulated memory: 36564 KiB
[startup+0.313083 s]*
/proc/loadavg: 4.11 4.15 4.16 5/250 79053
/proc/meminfo: memFree=126038084/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=75284 memory=55380 CPUtime=0.31 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 11788 0 0 0 28 3 0 0 20 0 1 0 70795738 77090816 13845 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 18821 13845 2592 2575 0 15728 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 75284 KiB
Current children cumulated memory: 55380 KiB
[startup+0.700279 s]
/proc/loadavg: 4.11 4.15 4.16 4/249 79053
/proc/meminfo: memFree=126025184/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=90964 memory=69792 CPUtime=0.69 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 15410 0 0 0 64 5 0 0 20 0 1 0 70795738 93147136 17448 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 22741 17448 2688 2575 0 19648 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 90964 KiB
Current children cumulated memory: 69792 KiB
[startup+1.50027 s]
/proc/loadavg: 4.11 4.15 4.16 6/249 79059
/proc/meminfo: memFree=125976952/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=104872 memory=82116 CPUtime=1.47 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 21609 0 0 0 141 6 0 0 20 0 1 0 70795738 107388928 20529 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 26218 20529 2688 2575 0 23125 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 104872 KiB
Current children cumulated memory: 82116 KiB
[startup+3.11268 s]
/proc/loadavg: 4.11 4.15 4.16 6/251 79084
/proc/meminfo: memFree=125969316/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=122552 memory=100164 CPUtime=3.08 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 26116 0 0 0 301 7 0 0 20 0 1 0 70795738 125493248 25041 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 30638 25041 2688 2575 0 27545 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 122552 KiB
Current children cumulated memory: 100164 KiB
[startup+6.30028 s]
/proc/loadavg: 4.10 4.15 4.16 6/251 79084
/proc/meminfo: memFree=125929756/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=128776 memory=106436 CPUtime=6.26 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 27677 0 0 0 618 8 0 0 20 0 1 0 70795738 131866624 26609 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 32194 26609 2688 2575 0 29101 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 128776 KiB
Current children cumulated memory: 106436 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.14 4.16 6/251 79084
/proc/meminfo: memFree=125875864/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=148764 memory=124740 CPUtime=12.64 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 32274 0 0 0 1255 9 0 0 20 0 1 0 70795738 152334336 31185 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 37191 31185 2688 2575 0 34098 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 148764 KiB
Current children cumulated memory: 124740 KiB
[startup+25.5003 s]
/proc/loadavg: 4.07 4.14 4.16 6/252 79175
/proc/meminfo: memFree=125779492/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=163164 memory=141004 CPUtime=25.35 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 39317 0 0 0 2521 14 0 0 20 0 1 0 70795738 167079936 35251 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 40791 35251 2688 2575 0 37698 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 163164 KiB
Current children cumulated memory: 141004 KiB
[startup+51.1129 s]
/proc/loadavg: 4.10 4.14 4.16 6/251 79491
/proc/meminfo: memFree=125077792/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=185300 memory=160812 CPUtime=50.76 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 45831 0 0 0 5046 30 0 0 20 0 1 0 70795738 189747200 40203 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 46325 40203 2688 2575 0 43232 0
Current children cumulated CPU time: 50.76 s
Current children cumulated vsize: 185300 KiB
Current children cumulated memory: 160812 KiB
[startup+70.092 s]
# the end of solver process 79052 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=69.2368 s, system=0.399239 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2004 s]
/proc/loadavg: 4.10 4.14 4.16 6/251 79491
/proc/meminfo: memFree=125077792/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=185300 memory=160812 CPUtime=50.85 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 45831 0 0 0 5055 30 0 0 20 0 1 0 70795738 189747200 40203 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 46325 40203 2688 2575 0 43232 0
Current children cumulated CPU time: 50.85 s
Current children cumulated vsize: 185300 KiB
Current children cumulated memory: 160812 KiB
[startup+57.6003 s]
/proc/loadavg: 4.10 4.14 4.16 6/247 79501
/proc/meminfo: memFree=125628948/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=198780 memory=175856 CPUtime=57.21 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 52073 0 0 0 5690 31 0 0 20 0 1 0 70795738 203550720 43964 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 49695 43964 2688 2575 0 46602 0
Current children cumulated CPU time: 57.21 s
Current children cumulated vsize: 198780 KiB
Current children cumulated memory: 175856 KiB
[startup+64.0003 s]*
/proc/loadavg: 4.09 4.14 4.16 6/251 79538
/proc/meminfo: memFree=125151716/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=198636 memory=175760 CPUtime=63.59 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 57109 0 0 0 6324 35 0 0 20 0 1 0 70795738 203403264 43940 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 49659 43940 2688 2575 0 46566 0
Current children cumulated CPU time: 63.59 s
Current children cumulated vsize: 198636 KiB
Current children cumulated memory: 175760 KiB
[startup+67.2002 s]
/proc/loadavg: 4.08 4.13 4.16 6/251 79552
/proc/meminfo: memFree=125451440/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=198636 memory=175764 CPUtime=66.76 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 61553 0 0 0 6639 37 0 0 20 0 1 0 70795738 203403264 43941 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 49659 43941 2688 2575 0 46566 0
Current children cumulated CPU time: 66.76 s
Current children cumulated vsize: 198636 KiB
Current children cumulated memory: 175764 KiB
[startup+68.8003 s]
/proc/loadavg: 4.08 4.13 4.16 6/251 79583
/proc/meminfo: memFree=125480688/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=202996 memory=179860 CPUtime=68.34 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 63553 0 0 0 6796 38 0 0 20 0 1 0 70795738 207867904 44965 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 50749 44965 2688 2575 0 47656 0
Current children cumulated CPU time: 68.34 s
Current children cumulated vsize: 202996 KiB
Current children cumulated memory: 179860 KiB
[startup+69.6003 s]
/proc/loadavg: 4.08 4.13 4.16 6/251 79583
/proc/meminfo: memFree=125312100/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=202996 memory=179860 CPUtime=69.14 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 63553 0 0 0 6876 38 0 0 20 0 1 0 70795738 207867904 44965 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 50749 44965 2688 2575 0 47656 0
Current children cumulated CPU time: 69.14 s
Current children cumulated vsize: 202996 KiB
Current children cumulated memory: 179860 KiB
[startup+70.0002 s]*
/proc/loadavg: 4.07 4.13 4.15 5/250 79591
/proc/meminfo: memFree=125316268/131382116 swapFree=33009904/33010684
[pid=79052] ppid=79049 vsize=202996 memory=179988 CPUtime=69.55 cores=1,3
/proc/79052/stat : 79052 (pbsolver) R 79049 79052 78141 0 -1 4194304 63567 0 0 0 6917 38 0 0 20 0 1 0 70795738 207867904 44997 18446744073709551615 4198400 14743177 140734986287280 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 37359616 140734986291594 140734986291690 140734986291690 140734986297292 0
/proc/79052/statm: 50749 44997 2688 2575 0 47656 0
Current children cumulated CPU time: 69.55 s
Current children cumulated vsize: 202996 KiB
Current children cumulated memory: 179988 KiB
Child status: 0
Real time (s): 70.0921
CPU time (s): 69.636
CPU user time (s): 69.2368
CPU system time (s): 0.399239
CPU usage (%): 99.3494
Max. virtual memory (cumulated for all children) (KiB): 202996
Max. memory (cumulated for all children) (KiB): 179988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 69.2368
system time used= 0.399239
maximum resident set size= 179988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63567
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= 474
# summary of solver processes directly reported to runsolver:
# pid: 79052
# total CPU time (s): 69.636
# total CPU user time (s): 69.2368
# total CPU system time (s): 0.399239
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.374384 second user time and 0.708769 second system time
The end
Begin job on nodeC010 at 2025-07-03 15:59:23 IDJOB=4519617 IDBENCH=177316 IDSOLVER=3366 FILE ID=nodeC010/4519617-1751551163 RUNJOBID= nodeC010-1751547548-78153 SLURM_JOB_ID= 9598719 Free space on /tmp= 429924 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519617-1751551163/watcher-4519617-1751551163 -o /tmp/evaluation-result-4519617-1751551163/solver-4519617-1751551163 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751547548-78153 --watchdog 3760 pbsolver -f HOME/instance-4519617-1751551163.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167 RANDOM SEED=1258358676 nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.435 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.346 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1995.248 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3700.000 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3659.354 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3691.145 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.335 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6983.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131382116 kB MemFree: 126111984 kB MemAvailable: 129478284 kB Buffers: 2128 kB Cached: 4165332 kB SwapCached: 24 kB Active: 1061256 kB Inactive: 3579372 kB Active(anon): 484776 kB Inactive(anon): 6336 kB Active(file): 576480 kB Inactive(file): 3573036 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 39308 kB Writeback: 100 kB AnonPages: 474300 kB Mapped: 126528 kB Shmem: 17936 kB KReclaimable: 112820 kB Slab: 197292 kB SReclaimable: 112820 kB SUnreclaim: 84472 kB KernelStack: 4048 kB PageTables: 4136 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98701740 kB Committed_AS: 861996 kB VmallocTotal: 34359738367 kB VmallocUsed: 149368 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 205640 kB DirectMap2M: 12279808 kB DirectMap1G: 123731968 kB Free space on /tmp at the end= 429940 MiB End job on nodeC010 at 2025-07-03 16:00:34