Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | -76 | 41.5503 | 41.7362 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/ normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb |
| MD5SUM | c7d48d7b52922a8c66e4a5b5da991f51 |
| 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 | -76 |
| Best CPU time to get the best result obtained on this benchmark | 9.84808 |
| 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 | 3380 |
| Total number of constraints | 1507 |
| Number of constraints which are clauses | 1378 |
| Number of constraints which are cardinality constraints (but not clauses) | 77 |
| Number of constraints which are nor clauses,nor cardinality constraints | 52 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 27 |
| Number of terms in the objective function | 2002 |
| 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 | 2002 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 26 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 2002 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.01 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01 c
0.00/0.01 c user parameter file <scip.set> not found - using default parameters
0.00/0.01 c reading problem <HOME/instance-4519570-1751550309.opb>
0.00/0.01 c original problem has 3380 variables (3380 bin, 0 int, 0 impl, 0 cont) and 1507 constraints
0.00/0.01 c problem read in 0.01
0.00/0.02 o 0
0.00/0.02 c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
0.00/0.02 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver (3 rounds): 0 aggregations, 650 fixings, 0 bound changes
0.00/0.04 c (round 1, medium) 650 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.00/0.04 c (round 2, fast) 676 del vars, 52 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 0 upgd conss, 0 impls, 51 clqs
0.00/0.04 c (round 3, exhaustive) 676 del vars, 52 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 802 upgd conss, 0 impls, 51 clqs
0.00/0.05 c (round 4, medium) 676 del vars, 78 del conss, 676 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 802 upgd conss, 0 impls, 727 clqs
0.00/0.05 c (round 5, exhaustive) 676 del vars, 78 del conss, 676 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 1430 upgd conss, 0 impls, 727 clqs
0.00/0.06 c (round 6, exhaustive) 676 del vars, 78 del conss, 676 add conss, 0 chg bounds, 0 chg sides, 26 chg coeffs, 1455 upgd conss, 0 impls, 727 clqs
0.00/0.07 c (0.1s) probing: 51/2704 (1.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.07 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.07 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.00/0.09 c (0.1s) symmetry computation finished: 74 generators found (max: 1500, log10 of symmetry group size: 70.0) (symcode time: 0.02)
0.08/0.11 c dynamic symmetry handling statistics:
0.08/0.11 c orbitopal reduction: no components
0.08/0.11 c orbital reduction: 1 components of sizes 74
0.08/0.11 c lexicographic reduction: 74 permutations with support sizes 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 104, 106, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 106, 206, 206, 206, 106
0.08/0.11 c handled 1 out of 1 symmetry components
0.08/0.11 c presolving (7 rounds: 7 fast, 6 medium, 4 exhaustive):
0.08/0.11 c 676 deleted vars, 78 deleted constraints, 676 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 26 changed coefficients
0.08/0.11 c 0 implications, 727 cliques
0.08/0.11 c presolved problem has 2704 variables (2704 bin, 0 int, 0 impl, 0 cont) and 2105 constraints
0.08/0.11 c 727 constraints of type <setppc>
0.08/0.11 c 1378 constraints of type <logicor>
0.08/0.11 c transformed objective value is always integral (scale: 1)
0.08/0.11 c Presolving Time: 0.09
0.08/0.11 c - non default parameters ----------------------------------------------------------------------
0.08/0.11 c # SCIP version 10.0.0
0.08/0.11 c
0.08/0.11 c # maximal time in seconds to run
0.08/0.11 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.08/0.11 c limits/time = 3596.998007
0.08/0.11 c
0.08/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.08/0.11 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.08/0.11 c limits/memory = 27900
0.08/0.11 c
0.08/0.11 c # belongs reading time to solving time?
0.08/0.11 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.08/0.11 c timing/reading = TRUE
0.08/0.11 c
0.08/0.11 c -----------------------------------------------------------------------------------------------
0.08/0.11 c start solving
0.08/0.11 c transformed 1/1 original solutions to the transformed problem space
0.08/0.11 c
0.08/0.13 o -51
0.08/0.13 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.08/0.13 c p 0.1s| 1 | 0 | 0 | - | vbounds| 0 |2704 |2116 |2105 | 0 | 0 | 11 | 0 |-1.352000e+03 |-5.100000e+01 |2550.98%| unknown
0.18/0.23 c 0.2s| 1 | 0 | 1699 | - | 47M | 0 |2704 |2127 |2105 | 0 | 0 | 22 | 0 |-7.700000e+01 |-5.100000e+01 | 50.98%| unknown
0.18/0.23 o -56
0.18/0.23 c r 0.2s| 1 | 0 | 1699 | - |shifting| 0 |2704 |2127 |2105 | 0 | 0 | 22 | 0 |-7.700000e+01 |-5.600000e+01 | 37.50%| unknown
0.27/0.38 c 0.4s| 1 | 0 | 2102 | - | 49M | 0 |2704 |2127 |2125 | 20 | 1 | 22 | 0 |-7.700000e+01 |-5.600000e+01 | 37.50%| unknown
0.27/0.39 o -58
0.27/0.39 c r 0.4s| 1 | 0 | 2102 | - |shifting| 0 |2704 |2127 |2125 | 20 | 1 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
0.46/0.52 c 0.5s| 1 | 0 | 2502 | - | 51M | 0 |2704 |2127 |2134 | 29 | 2 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
0.55/0.64 c 0.6s| 1 | 0 | 2817 | - | 52M | 0 |2704 |2127 |2139 | 34 | 3 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
0.65/0.76 c 0.8s| 1 | 0 | 3169 | - | 52M | 0 |2704 |2127 |2142 | 37 | 4 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
0.75/0.89 c 0.9s| 1 | 0 | 3437 | - | 53M | 0 |2704 |2127 |2145 | 40 | 5 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
0.95/1.02 c 1.0s| 1 | 0 | 3884 | - | 53M | 0 |2704 |2127 |2150 | 45 | 6 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.05/1.14 c 1.1s| 1 | 0 | 4204 | - | 53M | 0 |2704 |2127 |2154 | 49 | 7 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.24/1.33 c 1.3s| 1 | 0 | 5259 | - | 54M | 0 |2704 |2127 |2165 | 60 | 8 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.34/1.43 c 1.4s| 1 | 0 | 5551 | - | 54M | 0 |2704 |2127 |2169 | 64 | 9 | 22 | 0 |-7.700000e+01 |-5.800000e+01 | 32.76%| unknown
1.34/1.44 o -59
1.34/1.44 c r 1.4s| 1 | 0 | 5551 | - |shifting| 0 |2704 |2127 |2169 | 64 | 9 | 22 | 0 |-7.700000e+01 |-5.900000e+01 | 30.51%| unknown
1.44/1.53 c 1.5s| 1 | 0 | 5719 | - | 55M | 0 |2704 |2127 |2176 | 71 | 10 | 22 | 0 |-7.700000e+01 |-5.900000e+01 | 30.51%| unknown
1.54/1.65 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.54/1.65 c 1.6s| 1 | 0 | 7056 | - | 55M | 0 |2704 |2127 |2188 | 85 | 11 | 22 | 0 |-7.700000e+01 |-5.900000e+01 | 30.51%| unknown
1.54/1.65 o -60
1.54/1.65 c r 1.6s| 1 | 0 | 7056 | - |shifting| 0 |2704 |2128 |2188 | 85 | 11 | 23 | 0 |-7.700000e+01 |-6.000000e+01 | 28.33%| unknown
1.54/1.65 o -61
1.54/1.65 c i 1.6s| 1 | 0 | 7056 | - | oneopt| 0 |2704 |2128 |2188 | 85 | 11 | 23 | 0 |-7.700000e+01 |-6.100000e+01 | 26.23%| unknown
1.85/1.92 o -64
1.85/1.92 c L 1.9s| 1 | 0 | 11226 | - | alns| 0 |2704 |2129 |2188 | 85 | 11 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
1.85/1.96 c 2.0s| 1 | 0 | 11226 | - | 55M | 0 |2704 |2129 |2188 | 85 | 11 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
1.95/2.02 c 2.0s| 1 | 0 | 12195 | - | 55M | 0 |2704 |2129 |2196 | 93 | 12 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
1.95/2.05 c 2.0s| 1 | 0 | 12537 | - | 55M | 0 |2704 |2129 |2194 | 97 | 13 | 24 | 0 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
2.24/2.34 c 2.3s| 1 | 2 | 13062 | - | 55M | 0 |2704 |2127 |2194 | 97 | 13 | 24 | 15 |-7.700000e+01 |-6.400000e+01 | 20.31%| unknown
6.32/6.40 o -65
6.32/6.40 c r 6.4s| 40 | 29 | 33552 | 645.8 |shifting| 10 |2704 |2106 |2130 | 224 | 1 | 30 | 381 |-7.700000e+01 |-6.500000e+01 | 18.46%| 59.24%
8.71/8.83 o -66
8.71/8.83 c r 8.8s| 58 | 47 | 38178 | 523.0 |shifting| 19 |2704 |2104 |2131 | 322 | 1 | 30 | 588 |-7.700000e+01 |-6.600000e+01 | 16.67%| 59.25%
8.71/8.89 o -67
8.71/8.89 c i 8.9s| 58 | 49 | 38303 | 525.2 | oneopt| 19 |2704 |2104 |2139 | 330 | 2 | 30 | 588 |-7.700000e+01 |-6.700000e+01 | 14.93%| 59.25%
10.70/10.81 o -68
10.70/10.81 c r10.8s| 83 | 72 | 41882 | 408.7 |shifting| 27 |2704 |2099 |2133 | 352 | 0 | 30 | 895 |-7.700000e+01 |-6.800000e+01 | 13.24%| 59.26%
12.30/12.50 c 12.5s| 100 | 91 | 43875 | 358.7 | 78M | 29 |2704 |2097 |2142 | 381 | 1 | 30 |1137 |-7.700000e+01 |-6.800000e+01 | 13.24%| 59.26%
16.89/17.02 o -69
16.89/17.02 c d17.0s| 165 | 156 | 54099 | 278.9 |fracdivi| 35 |2704 |2094 |2148 | 0 | 1 | 34 |1689 |-7.700000e+01 |-6.900000e+01 | 11.59%| 59.26%
18.27/18.45 o -71
18.27/18.45 c o18.4s| 194 | 185 | 62783 | 281.9 |objpscos| 35 |2704 |2093 |2143 | 522 | 1 | 36 |1840 |-7.700000e+01 |-7.100000e+01 | 8.45%| 59.26%
18.57/18.79 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
18.57/18.79 c 18.8s| 200 | 183 | 64870 | 283.9 | 80M | 35 |2704 |2092 |2132 | 522 | 1 | 36 |1886 |-7.700000e+01 |-7.100000e+01 | 8.45%| 59.51%
21.36/21.54 c 21.5s| 300 | 275 | 82392 | 247.6 | 80M | 37 |2704 |2090 |2148 | 709 | 1 | 37 |2140 |-7.700000e+01 |-7.100000e+01 | 8.45%| 59.51%
21.56/21.76 o -72
21.56/21.76 c d21.7s| 313 | 267 | 84024 | 242.5 |guideddi| 45 |2704 |2088 |2172 | 0 | 1 | 37 |2142 |-7.700000e+01 |-7.200000e+01 | 6.94%| 60.79%
24.36/24.51 c 24.5s| 400 | 346 |101911 | 234.4 | 89M | 45 |2704 |2110 |2168 |1053 | 1 | 60 |2346 |-7.700000e+01 |-7.200000e+01 | 6.94%| 61.01%
26.55/26.72 c 26.7s| 500 | 446 |116608 | 216.9 | 93M | 45 |2704 |2111 |2158 |1237 | 1 | 61 |2469 |-7.700000e+01 |-7.200000e+01 | 6.94%| 61.01%
26.65/26.81 o -74
26.65/26.81 c L26.8s| 513 | 389 |117275 | 212.7 | rins| 45 |2704 |2111 |2170 |1251 | 1 | 61 |2471 |-7.700000e+01 |-7.400000e+01 | 4.05%| 62.72%
29.04/29.29 c 29.3s| 600 | 466 |138243 | 216.8 | 94M | 45 |2704 |2131 |2143 |1556 | 1 | 81 |2589 |-7.700000e+01 |-7.400000e+01 | 4.05%| 62.72%
31.53/31.77 c 31.8s| 700 | 560 |157151 | 212.9 | 97M | 45 |2704 |2146 |2156 |1820 | 2 | 96 |2702 |-7.700000e+01 |-7.400000e+01 | 4.05%| 62.72%
31.73/31.94 c r31.9s| 709 | 569 |158939 | 212.7 |ziroundi| 45 |2704 |2145 |2148 |1820 | 1 | 96 |2711 |-7.700000e+01 |-7.400000e+01 | 4.05%| 62.72%
32.13/32.31 o -75
32.13/32.31 c r32.3s| 733 | 419 |162359 | 210.4 |shifting| 50 |2704 |2145 |2156 |1856 | 0 | 96 |2723 |-7.700000e+01 |-7.500000e+01 | 2.67%| 70.78%
32.73/32.92 o -76
32.73/32.92 c *32.9s| 756 | 66 |167616 | 210.9 | LP | 50 |2704 |2118 |2158 |1898 | 3 | 97 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 92.97%
33.13/33.31 c 33.3s| 800 | 64 |171409 | 204.1 | 100M | 50 |2704 |2202 |2145 |1903 | 1 | 232 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 93.34%
34.03/34.28 c 34.3s| 900 | 59 |180604 | 191.6 | 101M | 50 |2704 |2400 | 0 |1936 | 0 | 483 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 93.57%
35.32/35.56 c 35.6s| 1000 | 56 |187899 | 179.7 | 102M | 50 |2704 |2473 | 0 |2055 | 0 | 708 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 94.45%
36.32/36.52 c 36.5s| 1100 | 48 |193126 | 168.1 | 103M | 50 |2704 |2479 |2145 |2132 | 0 | 901 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 94.84%
37.72/37.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
37.72/37.99 c 38.0s| 1200 | 48 |206216 | 165.0 | 104M | 50 |2704 |2472 |2149 |2255 | 1 |1079 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 95.90%
38.72/38.90 c 38.9s| 1300 | 35 |213219 | 157.7 | 104M | 50 |2704 |2546 |2141 |2301 | 1 |1316 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 96.40%
39.82/40.06 c 40.0s| 1400 | 27 |222042 | 152.7 | 105M | 50 |2704 |2522 |2140 |2422 | 0 |1460 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 97.65%
41.01/41.26 c 41.3s| 1500 | 23 |234009 | 150.5 | 105M | 50 |2704 |2573 |2169 |2520 | 0 |1652 |2744 |-7.700000e+01 |-7.600000e+01 | 1.32%| 98.39%
41.50/41.70 c
41.50/41.70 c SCIP Status : problem is solved [optimal solution found]
41.50/41.70 c Solving Time (sec) : 41.69
41.50/41.70 c Solving Nodes : 1562
41.50/41.70 c Primal Bound : -7.60000000000000e+01 (49 solutions)
41.50/41.70 c Dual Bound : -7.60000000000000e+01
41.50/41.70 c Gap : 0.00 %
41.50/41.70 s OPTIMUM FOUND
41.50/41.70 v -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693 -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686
41.50/41.70 v -x2685 -x2684 -x2683 -x2682 x2681 -x2680 -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668
41.50/41.70 v -x2667 -x2666 -x2665 -x2664 -x2663 -x2662 x2661 -x2660 -x2659 -x2658 -x2657 -x2656 -x2655 -x2654 -x2653 -x2652 -x2651 -x2650
41.50/41.70 v -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 x2643 -x2642 -x2641 -x2640 -x2639 -x2638 -x2637 -x2636 -x2635 -x2634 -x2633 -x2632
41.50/41.70 v -x2631 -x2630 x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x2617 -x2616 -x2615 -x2614
41.50/41.70 v -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600 -x2599 -x2598 -x2597
41.50/41.70 v x2596 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585 -x2584 -x2583 -x2582 -x2581 -x2580 -x2579
41.50/41.70 v -x2578 -x2577 -x2576 -x2575 -x2574 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 -x2564 -x2563 -x2562 -x2561
41.50/41.70 v -x2560 -x2559 -x2558 -x2557 -x2556 x2555 -x2554 -x2553 -x2552 -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543
41.50/41.70 v -x2542 x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 -x2534 -x2533 -x2532 -x2531 -x2530 -x2529 -x2528 -x2527 -x2526 -x2525
41.50/41.70 v x2524 -x2523 -x2522 -x2521 -x2520 -x2519 -x2518 -x2517 -x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 -x2507
41.50/41.70 v -x2506 -x2505 -x2504 -x2503 x2502 -x2501 -x2500 -x2499 -x2498 -x2497 -x2496 -x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489
41.50/41.70 v -x2488 -x2487 -x2486 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477 -x2476 -x2475 -x2474 -x2473 -x2472 -x2471
41.50/41.70 v -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 x2464 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 -x2456 -x2455 -x2454 -x2453
41.50/41.70 v -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435
41.50/41.70 v x2434 -x2433 -x2432 -x2431 -x2430 -x2429 -x2428 -x2427 -x2426 -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x2419 -x2418 -x2417
41.50/41.70 v -x2416 -x2415 -x2414 -x2413 -x2412 -x2411 -x2410 -x2409 x2408 -x2407 -x2406 x2405 -x2404 -x2403 -x2402 x2401 -x2400 -x2399
41.50/41.70 v -x2398 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 -x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383 -x2382 -x2381
41.50/41.70 v -x2380 -x2379 -x2378 -x2377 -x2376 -x2375 -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363
41.50/41.70 v x2362 -x2361 -x2360 -x2359 -x2358 -x2357 -x2356 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 x2345
41.50/41.70 v -x2344 -x2343 -x2342 -x2341 -x2340 -x2339 -x2338 -x2337 -x2336 -x2335 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327
41.50/41.70 v -x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319 -x2318 -x2317 -x2316 -x2315 -x2314 -x2313 -x2312 -x2311 x2310 -x2309
41.50/41.70 v -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301 -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 -x2294 -x2293 -x2292 -x2291
41.50/41.70 v -x2290 -x2289 -x2288 -x2287 -x2286 -x2285 -x2284 -x2283 x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 -x2274 -x2273
41.50/41.70 v x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256 -x2255
41.50/41.70 v -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 x2240 -x2239 -x2238 -x2237
41.50/41.70 v -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 x2223 -x2222 -x2221 -x2220 -x2219
41.50/41.70 v -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208 -x2207 -x2206 -x2205 -x2204 -x2203 -x2202 -x2201
41.50/41.70 v -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 x2188 -x2187 -x2186 -x2185 -x2184 -x2183
41.50/41.70 v -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x2166 -x2165
41.50/41.70 v -x2164 -x2163 -x2162 -x2161 -x2160 -x2159 x2158 -x2157 -x2156 -x2155 -x2154 x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147
41.50/41.70 v -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129
41.50/41.70 v -x2128 -x2127 -x2126 x2125 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114 -x2113 -x2112 -x2111
41.50/41.70 v -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098 -x2097 -x2096 -x2095 x2094 -x2093
41.50/41.70 v -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076
41.50/41.70 v -x2075 -x2074 -x2073 -x2072 -x2071 -x2070 -x2069 -x2068 x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058
41.50/41.70 v -x2057 -x2056 -x2055 x3380 x3379 x3378 x3377 x3376 x3375 x3374 x3373 x3372 x3371 x3370 -x3369 x3368 x3367 x3366 x3365 x3364 x3363
41.50/41.70 v x3362 x3361 x3360 x3359 x3358 x3357 x3356 x3355 x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342
41.50/41.70 v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324
41.50/41.70 v -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306
41.50/41.70 v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 x1292 -x1291 -x1290 -x1289 -x1288
41.50/41.70 v -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270
41.50/41.70 v -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253
41.50/41.70 v -x1252 x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 -x1234
41.50/41.70 v -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217
41.50/41.70 v -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199
41.50/41.70 v x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 x1182 -x1181
41.50/41.70 v -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 x1165 -x1164 -x1163
41.50/41.70 v -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145
41.50/41.70 v -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127
41.50/41.70 v -x1126 x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109
41.50/41.70 v -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091
41.50/41.70 v -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073
41.50/41.70 v -x1072 x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055
41.50/41.70 v -x1054 -x1053 -x1052 -x1051 x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 x1037
41.50/41.70 v -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019
41.50/41.70 v -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001
41.50/41.70 v -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980
41.50/41.70 v -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959
41.50/41.70 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 x944 -x943 -x942 -x941 -x940 -x939 -x938
41.50/41.70 v -x937 x936 x935 x934 x933 x932 x931 x930 x929 x928 x927 x926 -x925 x924 x923 x922 x921 x920 x919 x918 x917 x916 x915 x914
41.50/41.70 v x913 x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
41.50/41.70 v -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872
41.50/41.70 v -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851
41.50/41.70 v -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830
41.50/41.70 v -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809
41.50/41.70 v -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788
41.50/41.70 v -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767
41.50/41.70 v -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746
41.50/41.70 v -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725
41.50/41.70 v -x724 -x723 -x722 -x721 -x720 -x719 x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704
41.50/41.70 v -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683
41.50/41.70 v -x682 -x681 x680 -x679 -x678 -x677 x2054 x2053 x2052 x2051 x2050 x2049 x2048 x2047 x2046 x2045 x2044 x2043 x2042 x2041 x2040
41.50/41.70 v x2039 -x2038 x2037 x2036 x2035 x2034 x2033 x2032 x2031 x2030 x2029 -x3354 -x3353 -x3352 -x3351 -x3350 -x3349 -x3348 -x3347
41.50/41.70 v -x3346 -x3345 -x3344 -x3343 -x3342 -x3341 -x3340 -x3339 -x3338 -x3337 -x3336 -x3335 -x3334 -x3333 -x3332 x3331 -x3330 -x3329
41.50/41.70 v -x3328 -x3327 -x3326 -x3325 -x3324 -x3323 -x3322 -x3321 -x3320 -x3319 -x3318 -x3317 -x3316 -x3315 -x3314 -x3313 -x3312 x3311
41.50/41.70 v -x3310 -x3309 -x3308 -x3307 -x3306 -x3305 -x3304 -x3303 -x3302 -x3301 -x3300 -x3299 -x3298 -x3297 -x3296 -x3295 -x3294 x3293
41.50/41.70 v -x3292 -x3291 -x3290 -x3289 -x3288 -x3287 -x3286 -x3285 -x3284 -x3283 -x3282 -x3281 -x3280 x3279 -x3278 -x3277 -x3276 -x3275
41.50/41.70 v -x3274 -x3273 -x3272 -x3271 -x3270 -x3269 -x3268 -x3267 -x3266 -x3265 -x3264 -x3263 -x3262 -x3261 -x3260 -x3259 -x3258 -x3257
41.50/41.70 v -x3256 -x3255 -x3254 -x3253 -x3252 -x3251 -x3250 -x3249 -x3248 -x3247 x3246 -x3245 -x3244 -x3243 -x3242 -x3241 -x3240 -x3239
41.50/41.70 v -x3238 -x3237 -x3236 -x3235 -x3234 -x3233 -x3232 -x3231 -x3230 -x3229 -x3228 -x3227 -x3226 -x3225 -x3224 -x3223 -x3222 -x3221
41.50/41.70 v -x3220 -x3219 -x3218 -x3217 -x3216 -x3215 -x3214 -x3213 -x3212 -x3211 -x3210 -x3209 -x3208 -x3207 -x3206 x3205 -x3204 -x3203
41.50/41.70 v -x3202 -x3201 -x3200 -x3199 -x3198 -x3197 -x3196 -x3195 -x3194 -x3193 -x3192 x3191 -x3190 -x3189 -x3188 -x3187 -x3186 -x3185
41.50/41.70 v -x3184 -x3183 -x3182 -x3181 -x3180 -x3179 -x3178 -x3177 -x3176 -x3175 x3174 -x3173 -x3172 -x3171 -x3170 -x3169 -x3168 -x3167
41.50/41.70 v -x3166 -x3165 -x3164 -x3163 -x3162 -x3161 -x3160 -x3159 -x3158 -x3157 -x3156 -x3155 -x3154 -x3153 x3152 -x3151 -x3150 -x3149
41.50/41.70 v -x3148 -x3147 -x3146 -x3145 -x3144 -x3143 -x3142 -x3141 -x3140 -x3139 -x3138 -x3137 -x3136 -x3135 -x3134 -x3133 -x3132 -x3131
41.50/41.70 v -x3130 -x3129 -x3128 -x3127 -x3126 -x3125 -x3124 -x3123 -x3122 -x3121 -x3120 -x3119 -x3118 -x3117 -x3116 -x3115 x3114 -x3113
41.50/41.70 v -x3112 -x3111 -x3110 -x3109 -x3108 -x3107 -x3106 -x3105 -x3104 -x3103 -x3102 -x3101 -x3100 -x3099 -x3098 -x3097 -x3096 -x3095
41.50/41.70 v -x3094 -x3093 -x3092 -x3091 -x3090 -x3089 -x3088 -x3087 -x3086 -x3085 x3084 -x3083 -x3082 -x3081 -x3080 -x3079 -x3078 -x3077
41.50/41.70 v -x3076 -x3075 -x3074 -x3073 -x3072 -x3071 -x3070 -x3069 -x3068 -x3067 -x3066 -x3065 -x3064 -x3063 -x3062 -x3061 -x3060 -x3059
41.50/41.70 v -x3058 -x3057 -x3056 -x3055 -x3054 -x3053 -x3052 x3051 -x3050 -x3049 -x3048 -x3047 -x3046 -x3045 -x3044 -x3043 -x3042 -x3041
41.50/41.70 v -x3040 -x3039 -x3038 -x3037 -x3036 -x3035 -x3034 -x3033 -x3032 -x3031 -x3030 -x3029 -x3028 -x3027 -x3026 -x3025 -x3024
41.50/41.70 v -x3023 -x3022 -x3021 -x3020 -x3019 -x3018 -x3017 -x3016 -x3015 -x3014 -x3013 x3012 -x3011 -x3010 -x3009 -x3008 -x3007 -x3006
41.50/41.70 v -x3005 -x3004 -x3003 -x3002 -x3001 -x3000 -x2999 -x2998 -x2997 -x2996 x2995 -x2994 -x2993 -x2992 -x2991 -x2990 -x2989 -x2988
41.50/41.70 v -x2987 -x2986 -x2985 -x2984 -x2983 -x2982 -x2981 -x2980 -x2979 -x2978 -x2977 -x2976 -x2975 -x2974 -x2973 -x2972 -x2971 -x2970
41.50/41.70 v -x2969 -x2968 -x2967 -x2966 -x2965 -x2964 -x2963 -x2962 -x2961 x2960 -x2959 -x2958 -x2957 -x2956 -x2955 -x2954 -x2953 -x2952
41.50/41.70 v -x2951 -x2950 -x2949 -x2948 -x2947 -x2946 -x2945 -x2944 -x2943 -x2942 -x2941 -x2940 -x2939 -x2938 -x2937 -x2936 -x2935 -x2934
41.50/41.70 v -x2933 x2932 -x2931 -x2930 -x2929 -x2928 -x2927 -x2926 -x2925 -x2924 -x2923 x2922 -x2921 -x2920 -x2919 -x2918 -x2917 -x2916
41.50/41.70 v -x2915 -x2914 -x2913 -x2912 -x2911 -x2910 -x2909 -x2908 -x2907 -x2906 -x2905 -x2904 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898
41.50/41.70 v -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891 x2890 -x2889 -x2888 -x2887 -x2886 -x2885 -x2884 -x2883 -x2882 -x2881 -x2880
41.50/41.70 v -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 x2873 -x2872 -x2871 -x2870 -x2869 -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862
41.50/41.70 v -x2861 -x2860 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844
41.50/41.70 v -x2843 -x2842 -x2841 -x2840 -x2839 x2838 -x2837 -x2836 -x2835 -x2834 -x2833 -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826
41.50/41.70 v -x2825 -x2824 -x2823 -x2822 -x2821 -x2820 -x2819 -x2818 -x2817 -x2816 -x2815 -x2814 -x2813 -x2812 -x2811 -x2810 -x2809 x2808
41.50/41.70 v -x2807 -x2806 -x2805 -x2804 x2803 -x2802 -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x2793 -x2792 -x2791 -x2790
41.50/41.70 v -x2789 -x2788 -x2787 -x2786 -x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777 -x2776 x2775 -x2774 -x2773 -x2772
41.50/41.70 v -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 -x2757 -x2756 -x2755 -x2754
41.50/41.70 v -x2753 -x2752 -x2751 -x2750 -x2749 -x2748 -x2747 -x2746 -x2745 x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736
41.50/41.70 v -x2735 -x2734 -x2733 -x2732 -x2731 -x2730 -x2729 -x2728 -x2727 -x2726 -x2725 -x2724 -x2723 -x2722 -x2721 -x2720 -x2719 -x2718
41.50/41.70 v x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708 -x2707 -x2706 -x2705 x2028 -x2027 -x2026 -x2025 -x2024
41.50/41.70 v -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 -x2006
41.50/41.70 v -x2005 -x2004 -x2003 -x2002 -x2001 -x2000 -x1999 -x1998 -x1997 -x1996 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988
41.50/41.70 v -x1987 -x1986 -x1985 -x1984 -x1983 x1982 -x1981 -x1980 -x1979 -x1978 -x1977 -x1976 -x1975 -x1974 -x1973 -x1972 -x1971 -x1970
41.50/41.70 v -x1969 x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1956 -x1955 -x1954 -x1953 -x1952
41.50/41.70 v -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 -x1936 -x1935 -x1934
41.50/41.70 v -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 x1927 -x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x1919 -x1918 -x1917 -x1916
41.50/41.70 v -x1915 -x1914 -x1913 -x1912 x1911 -x1910 -x1909 -x1908 -x1907 -x1906 -x1905 -x1904 -x1903 -x1902 -x1901 -x1900 -x1899 -x1898
41.50/41.70 v -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888 -x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1881
41.50/41.70 v -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 x1874 -x1873 -x1872 -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863
41.50/41.70 v -x1862 -x1861 -x1860 -x1859 x1858 -x1857 -x1856 -x1855 -x1854 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845
41.50/41.70 v -x1844 -x1843 -x1842 x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827
41.50/41.70 v -x1826 -x1825 -x1824 -x1823 -x1822 -x1821 -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 -x1809
41.50/41.70 v -x1808 -x1807 -x1806 -x1805 -x1804 -x1803 -x1802 x1801 -x1800 -x1799 -x1798 -x1797 -x1796 -x1795 -x1794 -x1793 -x1792 -x1791
41.50/41.70 v -x1790 -x1789 -x1788 x1787 -x1786 -x1785 -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773
41.50/41.70 v -x1772 -x1771 -x1770 -x1769 -x1768 -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 -x1755
41.50/41.70 v -x1754 -x1753 -x1752 -x1751 -x1750 -x1749 -x1748 x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737
41.50/41.70 v -x1736 -x1735 -x1734 -x1733 -x1732 -x1731 -x1730 -x1729 -x1728 -x1727 x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719
41.50/41.70 v -x1718 -x1717 -x1716 -x1715 -x1714 x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701
41.50/41.70 v -x1700 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693 -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 x1686 -x1685 -x1684 -x1683
41.50/41.70 v -x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665
41.50/41.70 v -x1664 -x1663 -x1662 -x1661 -x1660 -x1659 -x1658 -x1657 -x1656 -x1655 -x1654 -x1653 x1652 -x1651 -x1650 -x1649 -x1648 -x1647
41.50/41.70 v -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 -x1634 -x1633 -x1632 -x1631 -x1630 -x1629
41.50/41.70 v -x1628 -x1627 -x1626 -x1625 -x1624 -x1623 -x1622 -x1621 x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x1614 -x1613 -x1612 -x1611
41.50/41.70 v -x1610 -x1609 -x1608 -x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x1596 -x1595 -x1594 -x1593
41.50/41.70 v -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581 -x1580 -x1579 -x1578 x1577 -x1576 -x1575
41.50/41.70 v -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x1558 -x1557
41.50/41.70 v -x1556 -x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x1546 x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x1539
41.50/41.70 v -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522
41.50/41.70 v -x1521 -x1520 -x1519 -x1518 x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 x1507 -x1506 -x1505 -x1504 -x1503
41.50/41.70 v -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486
41.50/41.70 v -x1485 -x1484 -x1483 -x1482 -x1481 x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468
41.50/41.70 v -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 x1450
41.50/41.70 v -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432
41.50/41.70 v -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414
41.50/41.70 v -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396
41.50/41.70 v -x1395 x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378
41.50/41.70 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360
41.50/41.70 v -x1359 -x1358 -x1357 x1356 -x1355 -x1354 -x1353 -x676 -x675 -x674 -x673 -x672 x671 -x670 x669 x668 x667 -x666 x665 -x664 -x663
41.50/41.70 v -x662 -x661 -x660 x659 x658 -x657 -x656 x655 -x654 -x653 -x652 -x651 x650 x649 -x648 x647 x646 -x645 -x644 -x643 -x642 -x641
41.50/41.70 v x640 -x639 -x638 x637 -x636 -x635 -x634 -x633 -x632 x631 x630 -x629 x628 x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619
41.50/41.70 v -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599
41.50/41.70 v -x598 -x597 x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 -x584 x583 -x582 -x581 -x580 -x579 -x578 -x577
41.50/41.70 v -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556
41.50/41.70 v -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535
41.50/41.70 v -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514
41.50/41.70 v -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494
41.50/41.70 v -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473
41.50/41.70 v -x472 -x471 x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452
41.50/41.70 v -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
41.50/41.70 v -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410
41.50/41.70 v -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389
41.50/41.70 v -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368
41.50/41.70 v -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348
41.50/41.70 v -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327
41.50/41.70 v -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306
41.50/41.70 v -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285
41.50/41.70 v -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264
41.50/41.70 v -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243
41.50/41.70 v -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
41.50/41.70 v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
41.50/41.70 v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
41.50/41.70 v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
41.50/41.70 v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139
41.50/41.70 v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
41.50/41.70 v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
41.50/41.70 v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72
41.50/41.70 v -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47
41.50/41.70 v -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22
41.50/41.70 v -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
41.50/41.70 c SCIP Status : problem is solved [optimal solution found]
41.50/41.70 c Total Time : 41.69
41.50/41.70 c solving : 41.69
41.50/41.70 c presolving : 0.09 (included in solving)
41.50/41.70 c reading : 0.01 (included in solving)
41.50/41.70 c copying : 0.43 (60 #copies) (minimal 0.01, maximal 0.01, average 0.01)
41.50/41.70 c Original Problem :
41.50/41.70 c Problem name : HOME/instance-4519570-1751550309.opb
41.50/41.70 c Variables : 3380 (3380 binary, 0 integer, 0 implicit integer, 0 continuous)
41.50/41.70 c Constraints : 1507 initial, 1507 maximal
41.50/41.70 c Objective : minimize, 2002 non-zeros (abs.min = 1, abs.max = 1)
41.50/41.70 c Presolved Problem :
41.50/41.70 c Problem name : t_HOME/instance-4519570-1751550309.opb
41.50/41.70 c Variables : 2704 (2704 binary, 0 integer, 0 implicit integer, 0 continuous)
41.50/41.70 c Constraints : 2105 initial, 2611 maximal
41.50/41.70 c Objective : minimize, 1352 non-zeros (abs.min = 1, abs.max = 1)
41.50/41.70 c Nonzeros : 8034 constraint, 2502 clique table
41.50/41.70 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
41.50/41.70 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c gateextraction : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
41.50/41.70 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
41.50/41.70 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c milp : 0.01 0.00 1 650 0 0 0 0 0 0 0 0
41.50/41.70 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c trivial : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
41.50/41.70 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c dualfix : 0.00 0.00 7 0 0 0 0 0 0 0 0 0
41.50/41.70 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
41.50/41.70 c symmetry : 0.04 0.00 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c vbounds : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
41.50/41.70 c knapsack : 0.00 0.00 2 0 0 0 0 0 26 676 0 0
41.50/41.70 c setppc : 0.00 0.00 10 0 0 0 0 0 0 0 0 0
41.50/41.70 c linear : 0.01 0.00 9 0 26 0 0 0 52 0 0 26
41.50/41.70 c logicor : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
41.50/41.70 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c root node : - - - 972 - - 972 - - - - -
41.50/41.70 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
41.50/41.70 c benderslp : 0 0 0 0 1111 0 0 309 0 0 0 0 0 0 0
41.50/41.70 c integral : 0 0 0 0 1111 0 0 309 0 0 0 0 0 0 2220
41.50/41.70 c knapsack : 0+ 97 0 15586 0 0 0 0 1272 61 9777 0 0 0 0
41.50/41.70 c setppc : 727 727 12 23176 1 0 0 303 20193 13 14925 0 0 0 0
41.50/41.70 c linear : 0+ 32 0 13668 0 0 0 3 112 7 911 0 0 0 0
41.50/41.70 c logicor : 1378+ 1850 12 11556 1 0 0 75 8371 119 11597 9 9 0 0
41.50/41.70 c benders : 0 0 0 0 1 0 0 51 0 0 0 0 0 0 0
41.50/41.70 c fixedvar : 0 0 0 0 1 0 0 51 0 0 0 0 0 0 0
41.50/41.70 c countsols : 0 0 0 0 1 0 0 51 0 0 0 0 0 0 0
41.50/41.70 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
41.50/41.70 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c integral : 17.53 0.00 0.00 0.00 17.53 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c knapsack : 0.06 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c setppc : 0.09 0.00 0.00 0.05 0.00 0.00 0.00 0.01 0.00 0.03
41.50/41.70 c linear : 0.02 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c logicor : 0.09 0.00 0.00 0.06 0.00 0.00 0.00 0.00 0.00 0.02
41.50/41.70 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c Propagators : #Propagate #ResProp Cutoffs DomReds
41.50/41.70 c dualfix : 3 0 0 0
41.50/41.70 c genvbounds : 0 0 0 0
41.50/41.70 c nlobbt : 0 0 0 0
41.50/41.70 c obbt : 0 0 0 0
41.50/41.70 c probing : 0 0 0 0
41.50/41.70 c pseudoobj : 5781 0 0 0
41.50/41.70 c redcost : 2221 0 0 1573
41.50/41.70 c rootredcost : 11 0 0 26
41.50/41.70 c symmetry : 14860 0 34 25320
41.50/41.70 c vbounds : 7564 0 0 0
41.50/41.70 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
41.50/41.70 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
41.50/41.70 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
41.50/41.70 c redcost : 0.09 0.00 0.00 0.09 0.00 0.00
41.50/41.70 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
41.50/41.70 c symmetry : 1.91 0.00 0.04 1.61 0.00 0.27
41.50/41.70 c vbounds : 0.03 0.00 0.00 0.03 0.00 0.00
41.50/41.70 c Symmetry :
41.50/41.70 c orbitopal red. : 0 reductions applied, 0 cutoffs
41.50/41.70 c orbital reduction: 25260 reductions applied, 34 cutoffs
41.50/41.70 c lexicographic red: 184 reductions applied, 0 cutoffs
41.50/41.70 c shadow tree time : 0.00 s
41.50/41.70 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
41.50/41.70 c propagation : 0.01 182 172 - 781 65.0 3 27.0 - - -
41.50/41.70 c infeasible LP : 0.12 247 247 - 1444 70.4 2 42.0 240 179.9 0
41.50/41.70 c bound exceed. LP : 0.03 34 14 - 42 119.0 0 0.0 13 301.5 260
41.50/41.70 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
41.50/41.70 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
41.50/41.70 c applied globally : 0.01 - - 0 1519 55.6 - - 253 - -
41.50/41.70 c applied locally : - - - 0 0 0.0 - - 0 - -
41.50/41.70 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
41.50/41.70 c cut pool : 0.40 - 478 24 - - 5374 32408 - - - - - (maximal pool size: 2220)
41.50/41.70 c aggregation : 0.09 0.00 120 12 0 0 5 7 0 1 1 0 0
41.50/41.70 c > cmir : - - - - - - - 7 0 1 1 0 -
41.50/41.70 c > flowcover : - - - - - - - 0 0 0 0 0 -
41.50/41.70 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
41.50/41.70 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c clique : 0.02 0.00 12 12 0 0 0 0 0 0 0 0 0
41.50/41.70 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c gomory : 3.02 0.00 111 10 0 0 4937 27928 46 1202 1201 1 0
41.50/41.70 c > gomorymi : - - - - - - - 14587 23 590 589 1 -
41.50/41.70 c > strongcg : - - - - - - - 13341 23 612 612 0 -
41.50/41.70 c impliedbounds : 0.01 0.00 120 12 0 0 0 0 0 0 0 0 0
41.50/41.70 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
41.50/41.70 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c multilinear : 0.00 0.00 43 12 0 0 0 0 0 0 0 0 0
41.50/41.70 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
41.50/41.70 c rapidlearning : 2.56 0.00 48 1 0 361 0 0 0 0 0 0 32
41.50/41.70 c rlt : 0.00 0.00 46 10 0 0 0 0 0 0 0 0 0
41.50/41.70 c zerohalf : 0.29 0.00 113 12 0 0 506 4473 28 1312 1299 13 0
41.50/41.70 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
41.50/41.70 c hybrid : 0.04 0.00 339 13 2524 0 29884 97 0 1237
41.50/41.70 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c Pricers : ExecTime SetupTime Calls Vars
41.50/41.70 c problem variables: 0.00 - 0 0
41.50/41.70 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
41.50/41.70 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c random : 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c relpscost : 17.53 0.00 1110 0 0 0 0 0 0 2220
41.50/41.70 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
41.50/41.70 c Primal Heuristics : ExecTime SetupTime Calls Found Best
41.50/41.70 c LP solutions : 0.00 - - 1 1
41.50/41.70 c relax solutions : 0.00 - - 0 0
41.50/41.70 c pseudo solutions : 0.00 - - 0 0
41.50/41.70 c strong branching : 0.01 - - 0 0
41.50/41.70 c actconsdiving : 0.00 0.00 0 0 0
41.50/41.70 c adaptivediving : 0.09 0.00 4 0 0
41.50/41.70 c alns : 0.11 0.00 3 1 1
41.50/41.70 c bound : 0.00 0.00 0 0 0
41.50/41.70 c clique : 0.01 0.00 1 0 0
41.50/41.70 c coefdiving : 0.00 0.00 0 0 0
41.50/41.70 c completesol : 0.00 0.00 0 0 0
41.50/41.70 c conflictdiving : 0.21 0.00 3 0 0
41.50/41.70 c crossover : 0.03 0.00 2 0 0
41.50/41.70 c dins : 0.00 0.00 0 0 0
41.50/41.70 c distributiondivin: 0.07 0.00 2 0 0
41.50/41.70 c dps : 0.00 0.00 0 0 0
41.50/41.70 c dualval : 0.00 0.00 0 0 0
41.50/41.70 c farkasdiving : 0.00 0.00 0 0 0
41.50/41.70 c feasjump : 0.00 0.00 0 0 0
41.50/41.70 c feaspump : 0.11 0.00 1 1 0
41.50/41.70 c fixandinfer : 0.00 0.00 0 0 0
41.50/41.70 c fracdiving : 0.13 0.00 3 1 1
41.50/41.70 c gins : 0.00 0.00 0 0 0
41.50/41.70 c guideddiving : 0.06 0.00 2 1 1
41.50/41.70 c indcoefdiving : 0.00 0.00 0 0 0
41.50/41.70 c indicator : 0.00 0.00 0 0 0
41.50/41.70 c indicatordiving : 0.00 0.00 0 0 0
41.50/41.70 c indoneopt : 0.00 0.00 0 0 0
41.50/41.70 c indrounding : 0.00 0.00 0 0 0
41.50/41.70 c indtwoopt : 0.00 0.00 0 0 0
41.50/41.70 c intdiving : 0.00 0.00 0 0 0
41.50/41.70 c intshifting : 0.00 0.00 0 0 0
41.50/41.70 c linesearchdiving : 0.05 0.00 2 0 0
41.50/41.70 c localbranching : 0.00 0.00 0 0 0
41.50/41.70 c locks : 0.00 0.00 1 0 0
41.50/41.70 c lpface : 0.00 0.00 0 0 0
41.50/41.70 c mpec : 0.00 0.00 0 0 0
41.50/41.70 c multistart : 0.00 0.00 0 0 0
41.50/41.70 c mutation : 0.00 0.00 0 0 0
41.50/41.70 c nlpdiving : 0.00 0.00 0 0 0
41.50/41.70 c objpscostdiving : 0.25 0.00 2 2 1
41.50/41.70 c octane : 0.00 0.00 0 0 0
41.50/41.70 c ofins : 0.00 0.00 0 0 0
41.50/41.70 c oneopt : 0.01 0.00 16 2 2
41.50/41.70 c padm : 0.00 0.00 0 0 0
41.50/41.70 c proximity : 0.00 0.00 0 0 0
41.50/41.70 c pscostdiving : 0.27 0.00 3 0 0
41.50/41.70 c randrounding : 0.08 0.00 254 0 0
41.50/41.70 c rens : 0.02 0.00 1 0 0
41.50/41.70 c reoptsols : 0.00 0.00 0 0 0
41.50/41.70 c repair : 0.00 0.00 0 0 0
41.50/41.70 c rins : 0.22 0.00 6 1 1
41.50/41.70 c rootsoldiving : 0.03 0.00 2 2 0
41.50/41.70 c rounding : 0.04 0.00 493 0 0
41.50/41.70 c scheduler : 0.00 0.00 0 0 0
41.50/41.70 c shiftandpropagate: 0.00 0.00 0 0 0
41.50/41.70 c shifting : 0.17 0.00 452 10 8
41.50/41.70 c simplerounding : 0.00 0.00 1494 0 0
41.50/41.70 c smallcard : 0.00 0.00 0 0 0
41.50/41.70 c subnlp : 0.00 0.00 0 0 0
41.50/41.70 c trivial : 0.00 0.00 2 1 1
41.50/41.70 c trivialnegation : 0.00 0.00 0 0 0
41.50/41.70 c trustregion : 0.00 0.00 0 0 0
41.50/41.70 c trysol : 0.00 0.00 0 0 0
41.50/41.70 c twoopt : 0.00 0.00 0 0 0
41.50/41.70 c undercover : 0.00 0.00 0 0 0
41.50/41.70 c vbounds : 0.02 0.00 1 1 1
41.50/41.70 c veclendiving : 0.15 0.00 3 0 0
41.50/41.70 c zeroobj : 0.00 0.00 0 0 0
41.50/41.70 c zirounding : 0.08 0.00 1109 25 0
41.50/41.70 c other solutions : - - - 0 -
41.50/41.70 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 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
41.50/41.70 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
41.50/41.70 c primal LP : 0.12 143 0 0.00 0.00 0.12 143
41.50/41.70 c dual LP : 12.53 1762 183439 107.59 14642.40 0.04 57
41.50/41.70 c lex dual LP : 0.00 0 0 0.00 -
41.50/41.70 c barrier LP : 0.00 0 0 0.00 - 0.00 0
41.50/41.70 c resolve instable : 0.00 0 0 0.00 -
41.50/41.70 c diving/probing LP: 1.92 571 53735 94.11 27983.54
41.50/41.70 c strong branching : 14.72 2744 141281 51.49 9600.97 - - 253
41.50/41.70 c (at root node) : - 15 2754 183.60 -
41.50/41.70 c conflict analysis: 0.02 26 260 10.00 13900.77
41.50/41.70 c B&B Tree :
41.50/41.70 c number of runs : 1
41.50/41.70 c nodes : 1562 (1110 internal, 452 leaves)
41.50/41.70 c feasible leaves : 1
41.50/41.70 c infeas. leaves : 428
41.50/41.70 c objective leaves : 23
41.50/41.70 c nodes (total) : 1562 (1110 internal, 452 leaves)
41.50/41.70 c nodes left : 0
41.50/41.70 c max depth : 50
41.50/41.70 c max depth (total): 50
41.50/41.70 c backtracks : 174 (11.1%)
41.50/41.70 c early backtracks : 0 (0.0%)
41.50/41.70 c nodes exc. ref. : 0 (0.0%)
41.50/41.70 c delayed cutoffs : 18
41.50/41.70 c repropagations : 1330 (7162 domain reductions, 11 cutoffs)
41.50/41.70 c avg switch length: 4.13
41.50/41.70 c switching time : 0.29
41.50/41.70 c Root Node :
41.50/41.70 c First LP value : -7.70000000000000e+01
41.50/41.70 c First LP Iters : 1699 (19584.79 Iter/sec)
41.50/41.70 c First LP Time : 0.09
41.50/41.70 c Final Dual Bound : -7.70000000000000e+01
41.50/41.70 c Final Root Iters : 8367
41.50/41.70 c Root LP Estimate : -7.68173658761026e+01
41.50/41.70 c Solution :
41.50/41.70 c Solutions found : 49 (18 improvements)
41.50/41.70 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.01 seconds, depth 0, found by <trivial>)
41.50/41.70 c Gap First Sol. : infinite
41.50/41.70 c Gap Last Sol. : 1.32 %
41.50/41.70 c Primal Bound : -7.60000000000000e+01 (in run 1, after 756 nodes, 32.91 seconds, depth 40, found by <relaxation>)
41.50/41.70 c Dual Bound : -7.60000000000000e+01
41.50/41.70 c Gap : 0.00 %
41.50/41.70 c Integrals : Total Avg%
41.50/41.70 c primal-dual : 382.29 9.17
41.50/41.70 c primal-ref : - - (not evaluated)
41.50/41.70 c dual-ref : - - (not evaluated)
41.50/41.73 c Time complete: 41.5417.
OK -76
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: 63665 MiB (62637 MiB free)
memory of node 1: 64507 MiB (63486 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519570-1751550309/watcher-4519570-1751550309 -o /tmp/evaluation-result-4519570-1751550309/solver-4519570-1751550309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78444 --watchdog 3760 pbscip -f HOME/instance-4519570-1751550309.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78559, runsolver pid=78548
[startup+0.100064 s]*
/proc/loadavg: 0.30 1.48 2.86 5/264 78560
/proc/meminfo: memFree=128985720/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=70248 memory=39112 CPUtime=0.08 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 6892 0 0 0 7 1 0 0 20 0 1 0 70710840 71933952 9778 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 17562 9778 3776 3530 0 9013 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70248 KiB
Current children cumulated memory: 39112 KiB
[startup+0.20557 s]*
/proc/loadavg: 0.30 1.48 2.86 5/264 78560
/proc/meminfo: memFree=128829984/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=92700 memory=58440 CPUtime=0.18 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 11607 0 0 0 16 2 0 0 20 0 1 0 70710840 94924800 14610 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 23175 14610 3904 3530 0 14626 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 92700 KiB
Current children cumulated memory: 58440 KiB
[startup+0.305691 s]*
/proc/loadavg: 0.30 1.48 2.86 5/264 78560
/proc/meminfo: memFree=128713056/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=105424 memory=69832 CPUtime=0.27 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 14404 0 0 0 25 2 0 0 20 0 1 0 70710840 107954176 17458 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 26356 17458 3936 3530 0 17807 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 105424 KiB
Current children cumulated memory: 69832 KiB
[startup+0.7002 s]
/proc/loadavg: 0.30 1.48 2.86 5/264 78560
/proc/meminfo: memFree=128495328/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=113456 memory=76744 CPUtime=0.65 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 16137 0 0 0 63 2 0 0 20 0 1 0 70710840 116178944 19186 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 28364 19186 3936 3530 0 19815 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 113456 KiB
Current children cumulated memory: 76744 KiB
[startup+1.50017 s]
/proc/loadavg: 0.30 1.48 2.86 5/264 78560
/proc/meminfo: memFree=128188768/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=113456 memory=76744 CPUtime=1.44 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 16140 0 0 0 142 2 0 0 20 0 1 0 70710840 116178944 19186 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 7 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 28364 19186 3936 3530 0 19815 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 113456 KiB
Current children cumulated memory: 76744 KiB
[startup+3.10578 s]
/proc/loadavg: 0.30 1.48 2.86 5/264 78560
/proc/meminfo: memFree=127901136/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=116216 memory=81312 CPUtime=3.04 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 18262 0 0 0 301 3 0 0 20 0 1 0 70710840 119005184 20328 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 29054 20328 3968 3530 0 20505 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 116216 KiB
Current children cumulated memory: 81312 KiB
[startup+6.30017 s]
/proc/loadavg: 0.60 1.52 2.86 5/264 78560
/proc/meminfo: memFree=127845532/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=128556 memory=93472 CPUtime=6.22 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 21315 0 0 0 618 4 0 0 20 0 1 0 70710840 131641344 23368 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 32139 23368 3968 3530 0 23590 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 128556 KiB
Current children cumulated memory: 93472 KiB
[startup+12.7001 s]
/proc/loadavg: 0.95 1.58 2.88 5/264 78560
/proc/meminfo: memFree=127007796/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=139872 memory=103200 CPUtime=12.6 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 23761 0 0 0 1256 4 0 0 20 0 1 0 70710840 143228928 25800 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 34968 25800 3968 3530 0 26419 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 139872 KiB
Current children cumulated memory: 103200 KiB
[startup+25.5002 s]
/proc/loadavg: 1.63 1.70 2.89 5/264 78560
/proc/meminfo: memFree=126508880/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=156684 memory=121536 CPUtime=25.35 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 29344 0 0 0 2530 5 0 0 20 0 1 0 70710840 160444416 30384 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 39171 30384 3968 3530 0 30622 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 156684 KiB
Current children cumulated memory: 121536 KiB
[startup+41.7361 s]
# the end of solver process 78559 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=41.4716 s, system=0.078666 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+25.6002 s]
/proc/loadavg: 1.63 1.70 2.89 5/264 78560
/proc/meminfo: memFree=126508880/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=156684 memory=121536 CPUtime=25.45 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 29344 0 0 0 2540 5 0 0 20 0 1 0 70710840 160444416 30384 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 39171 30384 3968 3530 0 30622 0
Current children cumulated CPU time: 25.45 s
Current children cumulated vsize: 156684 KiB
Current children cumulated memory: 121536 KiB
[startup+32.0002 s]*
/proc/loadavg: 1.82 1.73 2.90 5/265 78607
/proc/meminfo: memFree=126556044/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=158480 memory=123584 CPUtime=31.84 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 29844 0 0 0 3179 5 0 0 20 0 1 0 70710840 162283520 30896 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 39620 30896 3968 3530 0 31071 0
Current children cumulated CPU time: 31.84 s
Current children cumulated vsize: 158480 KiB
Current children cumulated memory: 123584 KiB
[startup+38.4002 s]
/proc/loadavg: 1.99 1.77 2.91 5/265 78607
/proc/meminfo: memFree=126512580/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=170448 memory=135512 CPUtime=38.22 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 34848 0 0 0 3815 7 0 0 20 0 1 0 70710840 174538752 33878 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 42612 33878 3968 3530 0 34063 0
Current children cumulated CPU time: 38.22 s
Current children cumulated vsize: 170448 KiB
Current children cumulated memory: 135512 KiB
[startup+40.0001 s]*
/proc/loadavg: 2.15 1.81 2.91 5/265 78607
/proc/meminfo: memFree=126512832/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=171372 memory=136536 CPUtime=39.82 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 35101 0 0 0 3975 7 0 0 20 0 1 0 70710840 175484928 34134 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 42843 34134 3968 3530 0 34294 0
Current children cumulated CPU time: 39.82 s
Current children cumulated vsize: 171372 KiB
Current children cumulated memory: 136536 KiB
[startup+40.8002 s]
/proc/loadavg: 2.15 1.81 2.91 5/265 78607
/proc/meminfo: memFree=126512832/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=171528 memory=136536 CPUtime=40.61 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 35118 0 0 0 4054 7 0 0 20 0 1 0 70710840 175644672 34134 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 42882 34134 3968 3530 0 34333 0
Current children cumulated CPU time: 40.61 s
Current children cumulated vsize: 171528 KiB
Current children cumulated memory: 136536 KiB
[startup+41.2002 s]
/proc/loadavg: 2.15 1.81 2.91 5/265 78607
/proc/meminfo: memFree=126512832/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=172604 memory=137560 CPUtime=41.01 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 35381 0 0 0 4094 7 0 0 20 0 1 0 70710840 176746496 34390 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 43151 34390 3968 3530 0 34602 0
Current children cumulated CPU time: 41.01 s
Current children cumulated vsize: 172604 KiB
Current children cumulated memory: 137560 KiB
[startup+41.6002 s]
/proc/loadavg: 2.15 1.81 2.91 5/265 78607
/proc/meminfo: memFree=126512832/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=172604 memory=137688 CPUtime=41.41 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 35405 0 0 0 4134 7 0 0 20 0 1 0 70710840 176746496 34422 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 43151 34422 3968 3530 0 34602 0
Current children cumulated CPU time: 41.41 s
Current children cumulated vsize: 172604 KiB
Current children cumulated memory: 137688 KiB
[startup+41.7002 s]
/proc/loadavg: 2.15 1.81 2.91 5/265 78607
/proc/meminfo: memFree=126512832/131250000 swapFree=33010416/33010684
[pid=78559] ppid=78548 vsize=172604 memory=137688 CPUtime=41.5 cores=5,7
/proc/78559/stat : 78559 (pbscip) R 78548 78559 78407 0 -1 4194304 35405 0 0 0 4143 7 0 0 20 0 1 0 70710840 176746496 34422 18446744073709551615 4235264 18693293 140724820710256 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 39325696 140724820715913 140724820716012 140724820716012 140724820721614 0
/proc/78559/statm: 43151 34422 3968 3530 0 34602 0
Current children cumulated CPU time: 41.5 s
Current children cumulated vsize: 172604 KiB
Current children cumulated memory: 137688 KiB
Child status: 0
Real time (s): 41.7362
CPU time (s): 41.5503
CPU user time (s): 41.4716
CPU system time (s): 0.078666
CPU usage (%): 99.5545
Max. virtual memory (cumulated for all children) (KiB): 172604
Max. memory (cumulated for all children) (KiB): 137688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4716
system time used= 0.078666
maximum resident set size= 137688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35412
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= 80
involuntary context switches= 126
# summary of solver processes directly reported to runsolver:
# pid: 78559
# total CPU time (s): 41.5503
# total CPU user time (s): 41.4716
# total CPU system time (s): 0.078666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.080854 second user time and 0.22526 second system time
The end
Begin job on nodeC027 at 2025-07-03 15:45:09 IDJOB=4519570 IDBENCH=177275 IDSOLVER=3365 FILE ID=nodeC027/4519570-1751550309 RUNJOBID= nodeC027-1751550309-78444 SLURM_JOB_ID= 9598730 Free space on /tmp= 431156 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdecr1/normalized-injcomp_opt_4layers_maxall_lastlayerdecr1_size_26.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519570-1751550309/watcher-4519570-1751550309 -o /tmp/evaluation-result-4519570-1751550309/solver-4519570-1751550309 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751550309-78444 --watchdog 3760 pbscip -f HOME/instance-4519570-1751550309.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= c7d48d7b52922a8c66e4a5b5da991f51 RANDOM SEED=1086584346 nodeC027 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 : 0xb00002a cpu MHz : 3599.669 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3600.009 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3599.716 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3724.712 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3600.329 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3600.307 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3599.569 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 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 : 0xb00002a cpu MHz : 3599.804 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp 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 : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129229216 kB MemAvailable: 129503476 kB Buffers: 2488 kB Cached: 1073588 kB SwapCached: 12 kB Active: 854580 kB Inactive: 533048 kB Active(anon): 326816 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 530256 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 85056 kB Writeback: 20 kB AnonPages: 314884 kB Mapped: 112856 kB Shmem: 18056 kB KReclaimable: 110560 kB Slab: 200028 kB SReclaimable: 110560 kB SUnreclaim: 89468 kB KernelStack: 4048 kB PageTables: 3208 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 609084 kB VmallocTotal: 34359738367 kB VmallocUsed: 150408 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 18432 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: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431100 MiB End job on nodeC027 at 2025-07-03 15:45:51