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 | SAT | -75 | 3587.7 | 3597.48 |
| Name | PB24/normalized-PB07/OPT-NLC/ submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb |
| MD5SUM | 3e57f143ec316384ecd8a4071d2e7f39 |
| Bench Category | OPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -86 |
| Best CPU time to get the best result obtained on this benchmark | 3600.2 |
| 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 | 1000 |
| Total number of constraints | 1000 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
| Minimum length of a constraint | 60 |
| Maximum length of a constraint | 107 |
| Number of terms in the objective function | 1000 |
| 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 | 1000 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1000 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 75484 |
| Sum of products size (including duplicates) | 150968 |
| Number of different products | 37742 |
| Sum of products size | 75484 |
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-4498166-1751268244.opb>
0.09/0.11 c original problem has 38742 variables (1000 bin, 0 int, 37742 cont) and 39742 constraints
0.09/0.11 c original problem has 37742 implied integral variables (0 bin, 0 int, 37742 cont)
0.09/0.11 c problem read in 0.117 seconds
0.20/0.27 o 0
0.20/0.27 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.20/0.27 c presolving:
0.40/0.41 c (round 1, fast) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.40/0.45 c (round 2, fast) 37742 del vars, 1000 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 0 impls, 0 clqs
0.49/0.53 c (round 3, medium) 37742 del vars, 39742 del conss, 0 add conss, 37742 chg bounds, 0 chg sides, 0 chg coeffs, 37742 upgd conss, 0 impls, 37741 clqs
0.59/0.67 c (0.7s) probing: 51/1000 (5.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.59/0.67 c (0.7s) probing aborted: 50/50 successive totally useless probings
0.59/0.68 c (0.7s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.68/0.70 c (0.7s) no symmetry present (symcode time: 0.01)
0.68/0.71 c presolving (4 rounds: 4 fast, 2 medium, 1 exhaustive):
0.68/0.71 c 37742 deleted vars, 39742 deleted constraints, 0 added constraints, 37742 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.68/0.71 c 0 implications, 37741 cliques
0.68/0.71 c presolved problem has 1000 variables (1000 bin, 0 int, 0 cont) and 37742 constraints
0.68/0.71 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.68/0.71 c 37742 constraints of type <setppc>
0.68/0.71 c transformed objective value is always integral (scale: 1)
0.68/0.71 c Presolving Time: 0.45
0.68/0.71 c
0.68/0.71 c - non default parameters ----------------------------------------------------------------------
0.68/0.71 c
0.68/0.71 c # SCIP version 10.0.0
0.68/0.71 c
0.68/0.71 c # maximal time in seconds to run
0.68/0.71 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.68/0.71 c limits/time = 3596.998013
0.68/0.71 c
0.68/0.71 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.68/0.71 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.68/0.71 c limits/memory = 27900
0.68/0.71 c
0.68/0.71 c # belongs reading time to solving time?
0.68/0.71 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.68/0.71 c timing/reading = TRUE
0.68/0.71 c
0.68/0.71 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.68/0.71 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.68/0.71 c reading/opbreader/maxintsize = 47
0.68/0.71 c
0.68/0.71 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.68/0.71 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.68/0.71 c propagating/genvbounds/timingmask = 0
0.68/0.71 c
0.68/0.71 c -----------------------------------------------------------------------------------------------
0.68/0.72 c transformed 1/1 original solutions to the transformed problem space
0.68/0.72 c
0.79/0.80 o -52
0.79/0.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.79/0.80 c p 0.8s| 1 | 0 | 0 | - | clique| 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-1.000000e+03 |-5.200000e+01 |1823.08%| unknown
0.79/0.83 o -70
0.79/0.83 c p 0.8s| 1 | 0 | 0 | - | locks| 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-1.000000e+03 |-7.000000e+01 |1328.57%| unknown
0.89/0.93 o -75
0.89/0.93 c i 0.9s| 1 | 0 | 195 | - | oneopt| 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-1.000000e+03 |-7.500000e+01 |1233.33%| unknown
0.99/1.03 c 1.0s| 1 | 0 | 1244 | - | 209M | 0 |1000 | 37k| 37k| 0 | 0 | 0 | 0 |-5.000000e+02 |-7.500000e+01 | 566.67%| unknown
1.49/1.58 c 1.6s| 1 | 0 | 1854 | - | 221M | 0 |1000 | 37k| 37k| 39 | 1 | 0 | 0 |-4.790000e+02 |-7.500000e+01 | 538.67%| unknown
2.29/2.32 c 2.3s| 1 | 0 | 2680 | - | 226M | 0 |1000 | 37k| 37k| 93 | 2 | 0 | 0 |-4.580000e+02 |-7.500000e+01 | 510.67%| unknown
2.78/2.83 c 2.8s| 1 | 0 | 3560 | - | 230M | 0 |1000 | 37k| 37k| 141 | 3 | 0 | 0 |-4.416667e+02 |-7.500000e+01 | 488.89%| unknown
3.48/3.52 c 3.5s| 1 | 0 | 4924 | - | 235M | 0 |1000 | 37k| 37k| 196 | 4 | 0 | 0 |-4.297500e+02 |-7.500000e+01 | 473.00%| unknown
4.18/4.25 c 4.3s| 1 | 0 | 6504 | - | 241M | 0 |1000 | 37k| 37k| 253 | 5 | 0 | 0 |-4.175000e+02 |-7.500000e+01 | 456.67%| unknown
5.47/5.54 c 5.5s| 1 | 0 | 9234 | - | 250M | 0 |1000 | 37k| 38k| 294 | 6 | 0 | 0 |-4.080000e+02 |-7.500000e+01 | 444.00%| unknown
6.77/6.83 c 6.8s| 1 | 0 | 11766 | - | 258M | 0 |1000 | 37k| 38k| 346 | 7 | 0 | 0 |-3.985000e+02 |-7.500000e+01 | 431.33%| unknown
8.16/8.27 c 8.3s| 1 | 0 | 14535 | - | 265M | 0 |1000 | 37k| 38k| 400 | 8 | 0 | 0 |-3.920000e+02 |-7.500000e+01 | 422.67%| unknown
9.75/9.89 c 9.9s| 1 | 0 | 17792 | - | 272M | 0 |1000 | 37k| 38k| 453 | 9 | 0 | 0 |-3.845000e+02 |-7.500000e+01 | 412.67%| unknown
12.15/12.29 c 12.3s| 1 | 0 | 22908 | - | 281M | 0 |1000 | 37k| 38k| 504 | 10 | 0 | 0 |-3.778000e+02 |-7.500000e+01 | 403.73%| unknown
14.84/14.95 c 15.0s| 1 | 0 | 29237 | - | 285M | 0 |1000 | 37k| 38k| 555 | 11 | 0 | 0 |-3.708659e+02 |-7.500000e+01 | 394.49%| unknown
16.84/16.96 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
16.84/16.96 c 17.0s| 1 | 0 | 33370 | - | 289M | 0 |1000 | 37k| 38k| 602 | 12 | 0 | 0 |-3.654386e+02 |-7.500000e+01 | 387.25%| unknown
19.23/19.38 c 19.4s| 1 | 0 | 38639 | - | 293M | 0 |1000 | 37k| 38k| 645 | 13 | 0 | 0 |-3.595163e+02 |-7.500000e+01 | 379.36%| unknown
21.82/21.90 c 21.9s| 1 | 0 | 43341 | - | 297M | 0 |1000 | 37k| 38k| 694 | 14 | 0 | 0 |-3.520793e+02 |-7.500000e+01 | 369.44%| unknown
24.31/24.41 c 24.4s| 1 | 0 | 47904 | - | 301M | 0 |1000 | 37k| 38k| 737 | 15 | 0 | 0 |-3.465638e+02 |-7.500000e+01 | 362.09%| unknown
26.81/27.00 c 27.0s| 1 | 0 | 52384 | - | 306M | 0 |1000 | 37k| 38k| 774 | 16 | 0 | 0 |-3.426583e+02 |-7.500000e+01 | 356.88%| unknown
29.31/29.48 c 29.5s| 1 | 0 | 56453 | - | 311M | 0 |1000 | 37k| 38k| 809 | 17 | 0 | 0 |-3.382744e+02 |-7.500000e+01 | 351.03%| unknown
31.60/31.75 c 31.8s| 1 | 0 | 60116 | - | 315M | 0 |1000 | 37k| 38k| 850 | 18 | 0 | 0 |-3.343462e+02 |-7.500000e+01 | 345.79%| unknown
34.00/34.18 c 34.2s| 1 | 0 | 63615 | - | 319M | 0 |1000 | 37k| 38k| 879 | 19 | 0 | 0 |-3.308855e+02 |-7.500000e+01 | 341.18%| unknown
36.68/36.80 c 36.8s| 1 | 0 | 67740 | - | 323M | 0 |1000 | 37k| 38k| 909 | 20 | 0 | 0 |-3.279853e+02 |-7.500000e+01 | 337.31%| unknown
37.98/38.16 c 38.2s| 1 | 0 | 69841 | - | 323M | 0 |1000 | 37k| 38k| 921 | 21 | 0 | 0 |-3.271346e+02 |-7.500000e+01 | 336.18%| unknown
39.18/39.37 c 39.4s| 1 | 0 | 71811 | - | 324M | 0 |1000 | 37k| 38k| 931 | 22 | 0 | 0 |-3.260869e+02 |-7.500000e+01 | 334.78%| unknown
40.37/40.56 c 40.6s| 1 | 0 | 73769 | - | 324M | 0 |1000 | 37k| 38k| 937 | 23 | 0 | 0 |-3.252193e+02 |-7.500000e+01 | 333.63%| unknown
41.57/41.77 c 41.8s| 1 | 0 | 75542 | - | 324M | 0 |1000 | 37k| 38k| 950 | 24 | 0 | 0 |-3.243107e+02 |-7.500000e+01 | 332.41%| unknown
42.67/42.87 c 42.9s| 1 | 0 | 77259 | - | 325M | 0 |1000 | 37k| 38k| 961 | 25 | 0 | 0 |-3.235604e+02 |-7.500000e+01 | 331.41%| unknown
44.06/44.20 c 44.2s| 1 | 0 | 79367 | - | 325M | 0 |1000 | 37k| 38k| 973 | 26 | 0 | 0 |-3.223930e+02 |-7.500000e+01 | 329.86%| unknown
44.96/45.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
44.96/45.19 c 45.2s| 1 | 0 | 80907 | - | 325M | 0 |1000 | 37k| 38k| 986 | 27 | 0 | 0 |-3.217324e+02 |-7.500000e+01 | 328.98%| unknown
45.46/45.68 c 45.7s| 1 | 0 | 81650 | - | 326M | 0 |1000 | 37k| 38k| 992 | 28 | 0 | 0 |-3.213566e+02 |-7.500000e+01 | 328.48%| unknown
46.55/46.72 c 46.7s| 1 | 0 | 83231 | - | 326M | 0 |1000 | 37k| 38k| 998 | 29 | 0 | 0 |-3.205598e+02 |-7.500000e+01 | 327.41%| unknown
48.05/48.23 c 48.2s| 1 | 0 | 85769 | - | 326M | 0 |1000 | 37k| 38k|1007 | 30 | 0 | 0 |-3.194489e+02 |-7.500000e+01 | 325.93%| unknown
49.25/49.46 c 49.5s| 1 | 0 | 87693 | - | 326M | 0 |1000 | 37k| 38k|1020 | 31 | 0 | 0 |-3.187034e+02 |-7.500000e+01 | 324.94%| unknown
50.34/50.59 c 50.6s| 1 | 0 | 89412 | - | 326M | 0 |1000 | 37k| 38k|1036 | 32 | 0 | 0 |-3.180773e+02 |-7.500000e+01 | 324.10%| unknown
51.54/51.70 c 51.7s| 1 | 0 | 91146 | - | 327M | 0 |1000 | 37k| 38k|1047 | 33 | 0 | 0 |-3.172903e+02 |-7.500000e+01 | 323.05%| unknown
52.54/52.78 c 52.8s| 1 | 0 | 92798 | - | 327M | 0 |1000 | 37k| 38k|1056 | 34 | 0 | 0 |-3.165917e+02 |-7.500000e+01 | 322.12%| unknown
53.94/54.19 c 54.2s| 1 | 0 | 95018 | - | 327M | 0 |1000 | 37k| 38k|1066 | 35 | 0 | 0 |-3.154545e+02 |-7.500000e+01 | 320.61%| unknown
55.23/55.42 c 55.4s| 1 | 0 | 97000 | - | 327M | 0 |1000 | 37k| 38k|1079 | 36 | 0 | 0 |-3.146713e+02 |-7.500000e+01 | 319.56%| unknown
56.03/56.21 c 56.2s| 1 | 0 | 98367 | - | 327M | 0 |1000 | 37k| 38k|1089 | 37 | 0 | 0 |-3.143702e+02 |-7.500000e+01 | 319.16%| unknown
56.83/57.08 c 57.1s| 1 | 0 | 99775 | - | 327M | 0 |1000 | 37k| 38k|1098 | 38 | 0 | 0 |-3.139316e+02 |-7.500000e+01 | 318.58%| unknown
57.72/57.94 c 57.9s| 1 | 0 |101077 | - | 328M | 0 |1000 | 37k| 38k|1108 | 39 | 0 | 0 |-3.135270e+02 |-7.500000e+01 | 318.04%| unknown
58.52/58.75 c 58.8s| 1 | 0 |102268 | - | 328M | 0 |1000 | 37k| 38k|1116 | 40 | 0 | 0 |-3.131759e+02 |-7.500000e+01 | 317.57%| unknown
59.61/59.89 c 59.9s| 1 | 0 |103872 | - | 328M | 0 |1000 | 37k| 38k|1123 | 41 | 0 | 0 |-3.125347e+02 |-7.500000e+01 | 316.71%| unknown
60.61/60.82 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
60.61/60.82 c 60.8s| 1 | 0 |105193 | - | 328M | 0 |1000 | 37k| 38k|1141 | 42 | 0 | 0 |-3.120672e+02 |-7.500000e+01 | 316.09%| unknown
61.31/61.58 c 61.6s| 1 | 0 |106350 | - | 328M | 0 |1000 | 37k| 38k|1154 | 43 | 0 | 0 |-3.117290e+02 |-7.500000e+01 | 315.64%| unknown
62.70/62.98 c 63.0s| 1 | 0 |108367 | - | 329M | 0 |1000 | 37k| 38k|1169 | 44 | 0 | 0 |-3.106046e+02 |-7.500000e+01 | 314.14%| unknown
64.20/64.49 c 64.5s| 1 | 0 |110585 | - | 329M | 0 |1000 | 37k| 38k|1184 | 45 | 0 | 0 |-3.094801e+02 |-7.500000e+01 | 312.64%| unknown
65.50/65.71 c 65.7s| 1 | 0 |112383 | - | 329M | 0 |1000 | 37k| 38k|1203 | 46 | 0 | 0 |-3.084535e+02 |-7.500000e+01 | 311.27%| unknown
66.69/66.91 c 66.9s| 1 | 0 |114191 | - | 329M | 0 |1000 | 37k| 38k|1217 | 47 | 0 | 0 |-3.075958e+02 |-7.500000e+01 | 310.13%| unknown
68.09/68.30 c 68.3s| 1 | 0 |116211 | - | 329M | 0 |1000 | 37k| 38k|1236 | 48 | 0 | 0 |-3.064703e+02 |-7.500000e+01 | 308.63%| unknown
69.28/69.51 c 69.5s| 1 | 0 |117932 | - | 330M | 0 |1000 | 37k| 38k|1250 | 49 | 0 | 0 |-3.055007e+02 |-7.500000e+01 | 307.33%| unknown
70.58/70.81 c 70.8s| 1 | 0 |119851 | - | 330M | 0 |1000 | 37k| 38k|1264 | 50 | 0 | 0 |-3.046676e+02 |-7.500000e+01 | 306.22%| unknown
71.68/71.95 c 72.0s| 1 | 0 |121441 | - | 330M | 0 |1000 | 37k| 38k|1278 | 51 | 0 | 0 |-3.040419e+02 |-7.500000e+01 | 305.39%| unknown
73.17/73.41 c 73.4s| 1 | 0 |123596 | - | 330M | 0 |1000 | 37k| 38k|1289 | 52 | 0 | 0 |-3.031481e+02 |-7.500000e+01 | 304.20%| unknown
74.27/74.56 c 74.6s| 1 | 0 |125284 | - | 330M | 0 |1000 | 37k| 38k|1307 | 53 | 0 | 0 |-3.023620e+02 |-7.500000e+01 | 303.15%| unknown
75.96/76.27 c 76.3s| 1 | 0 |127842 | - | 331M | 0 |1000 | 37k| 38k|1323 | 54 | 0 | 0 |-3.008030e+02 |-7.500000e+01 | 301.07%| unknown
76.87/77.15 c 77.1s| 1 | 0 |129208 | - | 331M | 0 |1000 | 37k| 38k|1338 | 55 | 0 | 0 |-3.003405e+02 |-7.500000e+01 | 300.45%| unknown
78.36/78.66 c 78.7s| 1 | 0 |131562 | - | 331M | 0 |1000 | 37k| 38k|1352 | 56 | 0 | 0 |-2.992645e+02 |-7.500000e+01 | 299.02%| unknown
79.65/79.92 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
79.65/79.92 c 79.9s| 1 | 0 |133489 | - | 331M | 0 |1000 | 37k| 38k|1372 | 57 | 0 | 0 |-2.986030e+02 |-7.500000e+01 | 298.14%| unknown
80.95/81.23 c 81.2s| 1 | 0 |135517 | - | 332M | 0 |1000 | 37k| 38k|1382 | 58 | 0 | 0 |-2.976683e+02 |-7.500000e+01 | 296.89%| unknown
82.44/82.73 c 82.7s| 1 | 0 |137808 | - | 332M | 0 |1000 | 37k| 38k|1395 | 59 | 0 | 0 |-2.966418e+02 |-7.500000e+01 | 295.52%| unknown
84.14/84.40 c 84.4s| 1 | 0 |140499 | - | 332M | 0 |1000 | 37k| 38k|1413 | 60 | 0 | 0 |-2.955069e+02 |-7.500000e+01 | 294.01%| unknown
85.24/85.59 c 85.6s| 1 | 0 |142481 | - | 332M | 0 |1000 | 37k| 38k|1427 | 61 | 0 | 0 |-2.950364e+02 |-7.500000e+01 | 293.38%| unknown
86.33/86.67 c 86.7s| 1 | 0 |144101 | - | 333M | 0 |1000 | 37k| 38k|1439 | 62 | 0 | 0 |-2.944398e+02 |-7.500000e+01 | 292.59%| unknown
87.63/87.91 c 87.9s| 1 | 0 |146034 | - | 333M | 0 |1000 | 37k| 38k|1452 | 63 | 0 | 0 |-2.938422e+02 |-7.500000e+01 | 291.79%| unknown
88.83/89.13 c 89.1s| 1 | 0 |147762 | - | 333M | 0 |1000 | 37k| 38k|1468 | 64 | 0 | 0 |-2.931023e+02 |-7.500000e+01 | 290.80%| unknown
90.22/90.52 c 90.5s| 1 | 0 |149804 | - | 333M | 0 |1000 | 37k| 38k|1481 | 65 | 0 | 0 |-2.922299e+02 |-7.500000e+01 | 289.64%| unknown
91.52/91.85 c 91.9s| 1 | 0 |151792 | - | 334M | 0 |1000 | 37k| 38k|1495 | 66 | 0 | 0 |-2.912590e+02 |-7.500000e+01 | 288.35%| unknown
92.72/93.10 c 93.1s| 1 | 0 |153596 | - | 334M | 0 |1000 | 37k| 38k|1513 | 67 | 0 | 0 |-2.904819e+02 |-7.500000e+01 | 287.31%| unknown
93.61/93.96 c 94.0s| 1 | 0 |154893 | - | 334M | 0 |1000 | 37k| 38k|1523 | 68 | 0 | 0 |-2.900549e+02 |-7.500000e+01 | 286.74%| unknown
95.11/95.44 c 95.4s| 1 | 0 |157055 | - | 335M | 0 |1000 | 37k| 38k|1537 | 69 | 0 | 0 |-2.891155e+02 |-7.500000e+01 | 285.49%| unknown
96.50/96.84 c 96.8s| 1 | 0 |159194 | - | 336M | 0 |1000 | 37k| 38k|1553 | 70 | 0 | 0 |-2.883325e+02 |-7.500000e+01 | 284.44%| unknown
97.60/97.90 c 97.9s| 1 | 0 |160752 | - | 336M | 0 |1000 | 37k| 38k|1565 | 71 | 0 | 0 |-2.876760e+02 |-7.500000e+01 | 283.57%| unknown
98.40/98.72 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
98.40/98.72 c 98.7s| 1 | 0 |161918 | - | 336M | 0 |1000 | 37k| 38k|1580 | 72 | 0 | 0 |-2.871174e+02 |-7.500000e+01 | 282.82%| unknown
99.39/99.73 c 99.7s| 1 | 0 |163373 | - | 336M | 0 |1000 | 37k| 38k|1594 | 73 | 0 | 0 |-2.866114e+02 |-7.500000e+01 | 282.15%| unknown
100.49/100.83 c 101s| 1 | 0 |164862 | - | 336M | 0 |1000 | 37k| 38k|1609 | 74 | 0 | 0 |-2.860794e+02 |-7.500000e+01 | 281.44%| unknown
102.19/102.50 c 103s| 1 | 0 |167107 | - | 337M | 0 |1000 | 37k| 38k|1626 | 75 | 0 | 0 |-2.849161e+02 |-7.500000e+01 | 279.89%| unknown
103.28/103.68 c 104s| 1 | 0 |168737 | - | 337M | 0 |1000 | 37k| 38k|1645 | 76 | 0 | 0 |-2.842996e+02 |-7.500000e+01 | 279.07%| unknown
104.18/104.59 c 105s| 1 | 0 |170065 | - | 337M | 0 |1000 | 37k| 38k|1662 | 77 | 0 | 0 |-2.839869e+02 |-7.500000e+01 | 278.65%| unknown
105.38/105.76 c 106s| 1 | 0 |171678 | - | 337M | 0 |1000 | 37k| 38k|1674 | 78 | 0 | 0 |-2.834593e+02 |-7.500000e+01 | 277.95%| unknown
106.37/106.73 c 107s| 1 | 0 |173022 | - | 337M | 0 |1000 | 37k| 38k|1691 | 79 | 0 | 0 |-2.830477e+02 |-7.500000e+01 | 277.40%| unknown
107.47/107.89 c 108s| 1 | 0 |174569 | - | 338M | 0 |1000 | 37k| 38k|1708 | 80 | 0 | 0 |-2.823644e+02 |-7.500000e+01 | 276.49%| unknown
108.67/109.10 c 109s| 1 | 0 |176254 | - | 338M | 0 |1000 | 37k| 38k|1728 | 81 | 0 | 0 |-2.817440e+02 |-7.500000e+01 | 275.66%| unknown
109.56/110.00 c 110s| 1 | 0 |177428 | - | 338M | 0 |1000 | 37k| 38k|1739 | 82 | 0 | 0 |-2.814064e+02 |-7.500000e+01 | 275.21%| unknown
110.76/111.16 c 111s| 1 | 0 |178952 | - | 338M | 0 |1000 | 37k| 38k|1748 | 83 | 0 | 0 |-2.808246e+02 |-7.500000e+01 | 274.43%| unknown
111.86/112.22 c 112s| 1 | 0 |180349 | - | 339M | 0 |1000 | 37k| 38k|1760 | 84 | 0 | 0 |-2.802041e+02 |-7.500000e+01 | 273.61%| unknown
112.85/113.20 c 113s| 1 | 0 |181633 | - | 339M | 0 |1000 | 37k| 38k|1773 | 85 | 0 | 0 |-2.797328e+02 |-7.500000e+01 | 272.98%| unknown
114.15/114.53 c 115s| 1 | 0 |183423 | - | 339M | 0 |1000 | 37k| 38k|1788 | 86 | 0 | 0 |-2.790133e+02 |-7.500000e+01 | 272.02%| unknown
115.15/115.58 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
115.15/115.58 c 116s| 1 | 0 |184768 | - | 340M | 0 |1000 | 37k| 38k|1799 | 87 | 0 | 0 |-2.784360e+02 |-7.500000e+01 | 271.25%| unknown
116.14/116.52 c 117s| 1 | 0 |185949 | - | 340M | 0 |1000 | 37k| 38k|1815 | 88 | 0 | 0 |-2.780125e+02 |-7.500000e+01 | 270.68%| unknown
117.04/117.43 c 117s| 1 | 0 |187213 | - | 340M | 0 |1000 | 37k| 38k|1831 | 89 | 0 | 0 |-2.776470e+02 |-7.500000e+01 | 270.20%| unknown
118.14/118.56 c 119s| 1 | 0 |188711 | - | 340M | 0 |1000 | 37k| 38k|1845 | 90 | 0 | 0 |-2.770890e+02 |-7.500000e+01 | 269.45%| unknown
119.04/119.47 c 119s| 1 | 0 |189893 | - | 340M | 0 |1000 | 37k| 38k|1861 | 91 | 0 | 0 |-2.767627e+02 |-7.500000e+01 | 269.02%| unknown
120.13/120.55 c 121s| 1 | 0 |191218 | - | 340M | 0 |1000 | 37k| 38k|1873 | 92 | 0 | 0 |-2.763149e+02 |-7.500000e+01 | 268.42%| unknown
121.23/121.67 c 122s| 1 | 0 |192631 | - | 341M | 0 |1000 | 37k| 38k|1891 | 93 | 0 | 0 |-2.757538e+02 |-7.500000e+01 | 267.67%| unknown
122.22/122.69 c 123s| 1 | 0 |193965 | - | 341M | 0 |1000 | 37k| 38k|1905 | 94 | 0 | 0 |-2.752873e+02 |-7.500000e+01 | 267.05%| unknown
123.12/123.56 c 124s| 1 | 0 |195114 | - | 341M | 0 |1000 | 37k| 38k|1922 | 95 | 0 | 0 |-2.749311e+02 |-7.500000e+01 | 266.57%| unknown
124.02/124.40 c 124s| 1 | 0 |196225 | - | 341M | 0 |1000 | 37k| 38k|1941 | 96 | 0 | 0 |-2.745929e+02 |-7.500000e+01 | 266.12%| unknown
124.72/125.12 c 125s| 1 | 0 |197183 | - | 342M | 0 |1000 | 37k| 38k|1953 | 97 | 0 | 0 |-2.743681e+02 |-7.500000e+01 | 265.82%| unknown
126.01/126.44 c 126s| 1 | 0 |198918 | - | 342M | 0 |1000 | 37k| 39k|1966 | 98 | 0 | 0 |-2.738704e+02 |-7.500000e+01 | 265.16%| unknown
127.21/127.63 c 128s| 1 | 0 |200485 | - | 342M | 0 |1000 | 37k| 39k|1986 | 99 | 0 | 0 |-2.733184e+02 |-7.500000e+01 | 264.42%| unknown
128.50/128.90 c 129s| 1 | 0 |202090 | - | 343M | 0 |1000 | 37k| 38k|2001 |100 | 0 | 0 |-2.726900e+02 |-7.500000e+01 | 263.59%| unknown
129.91/130.31 c 130s| 1 | 0 |203900 | - | 343M | 0 |1000 | 37k| 39k|2020 |101 | 0 | 0 |-2.719578e+02 |-7.500000e+01 | 262.61%| unknown
130.81/131.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
130.81/131.24 c 131s| 1 | 0 |205138 | - | 343M | 0 |1000 | 37k| 39k|2038 |102 | 0 | 0 |-2.716262e+02 |-7.500000e+01 | 262.17%| unknown
132.40/132.88 c 133s| 1 | 0 |207202 | - | 343M | 0 |1000 | 37k| 39k|2055 |103 | 0 | 0 |-2.705590e+02 |-7.500000e+01 | 260.75%| unknown
133.90/134.35 c 134s| 1 | 0 |209151 | - | 344M | 0 |1000 | 37k| 39k|2076 |104 | 0 | 0 |-2.699129e+02 |-7.500000e+01 | 259.88%| unknown
134.89/135.38 c 135s| 1 | 0 |210527 | - | 344M | 0 |1000 | 37k| 39k|2092 |105 | 0 | 0 |-2.695965e+02 |-7.500000e+01 | 259.46%| unknown
135.99/136.45 c 136s| 1 | 0 |211928 | - | 344M | 0 |1000 | 37k| 39k|2114 |106 | 0 | 0 |-2.691459e+02 |-7.500000e+01 | 258.86%| unknown
136.49/136.96 c 137s| 1 | 0 |212621 | - | 344M | 0 |1000 | 37k| 39k|2124 |107 | 0 | 0 |-2.690497e+02 |-7.500000e+01 | 258.73%| unknown
137.38/137.86 c 138s| 1 | 0 |213777 | - | 344M | 0 |1000 | 37k| 39k|2139 |108 | 0 | 0 |-2.686659e+02 |-7.500000e+01 | 258.22%| unknown
137.98/138.45 c 138s| 1 | 0 |214540 | - | 345M | 0 |1000 | 37k| 39k|2152 |109 | 0 | 0 |-2.684467e+02 |-7.500000e+01 | 257.93%| unknown
138.88/139.36 c 139s| 1 | 0 |215686 | - | 345M | 0 |1000 | 37k| 39k|2168 |110 | 0 | 0 |-2.680872e+02 |-7.500000e+01 | 257.45%| unknown
139.98/140.48 c 140s| 1 | 0 |217135 | - | 345M | 0 |1000 | 37k| 39k|2184 |111 | 0 | 0 |-2.676961e+02 |-7.500000e+01 | 256.93%| unknown
140.87/141.33 c 141s| 1 | 0 |218231 | - | 345M | 0 |1000 | 37k| 39k|2194 |112 | 0 | 0 |-2.673860e+02 |-7.500000e+01 | 256.51%| unknown
142.07/142.55 c 143s| 1 | 0 |219867 | - | 345M | 0 |1000 | 37k| 39k|2209 |113 | 0 | 0 |-2.668553e+02 |-7.500000e+01 | 255.81%| unknown
143.07/143.52 c 144s| 1 | 0 |221123 | - | 346M | 0 |1000 | 37k| 39k|2230 |114 | 0 | 0 |-2.664537e+02 |-7.500000e+01 | 255.27%| unknown
143.67/144.19 c 144s| 1 | 0 |222011 | - | 346M | 0 |1000 | 37k| 39k|2247 |115 | 0 | 0 |-2.661959e+02 |-7.500000e+01 | 254.93%| unknown
144.46/144.96 c 145s| 1 | 0 |223029 | - | 346M | 0 |1000 | 37k| 39k|2262 |116 | 0 | 0 |-2.659287e+02 |-7.500000e+01 | 254.57%| unknown
145.36/145.87 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
145.36/145.87 c 146s| 1 | 0 |224219 | - | 347M | 0 |1000 | 37k| 39k|2278 |117 | 0 | 0 |-2.655848e+02 |-7.500000e+01 | 254.11%| unknown
145.76/146.25 c 146s| 1 | 0 |224704 | - | 347M | 0 |1000 | 37k| 39k|2292 |118 | 0 | 0 |-2.654976e+02 |-7.500000e+01 | 254.00%| unknown
146.45/146.98 c 147s| 1 | 0 |225686 | - | 347M | 0 |1000 | 37k| 39k|2306 |119 | 0 | 0 |-2.652986e+02 |-7.500000e+01 | 253.73%| unknown
147.66/148.11 c 148s| 1 | 0 |227114 | - | 347M | 0 |1000 | 37k| 39k|2317 |120 | 0 | 0 |-2.647063e+02 |-7.500000e+01 | 252.94%| unknown
148.65/149.14 c 149s| 1 | 0 |228453 | - | 347M | 0 |1000 | 37k| 39k|2336 |121 | 0 | 0 |-2.642978e+02 |-7.500000e+01 | 252.40%| unknown
149.65/150.12 c 150s| 1 | 0 |229720 | - | 348M | 0 |1000 | 37k| 39k|2354 |122 | 0 | 0 |-2.638322e+02 |-7.500000e+01 | 251.78%| unknown
150.54/151.04 c 151s| 1 | 0 |230934 | - | 348M | 0 |1000 | 37k| 39k|2369 |123 | 0 | 0 |-2.634690e+02 |-7.500000e+01 | 251.29%| unknown
151.54/152.04 c 152s| 1 | 0 |232188 | - | 348M | 0 |1000 | 37k| 39k|2380 |124 | 0 | 0 |-2.631649e+02 |-7.500000e+01 | 250.89%| unknown
152.83/153.32 c 153s| 1 | 0 |233765 | - | 348M | 0 |1000 | 37k| 39k|2398 |125 | 0 | 0 |-2.626663e+02 |-7.500000e+01 | 250.22%| unknown
153.83/154.35 c 154s| 1 | 0 |235060 | - | 349M | 0 |1000 | 37k| 39k|2416 |126 | 0 | 0 |-2.622562e+02 |-7.500000e+01 | 249.67%| unknown
154.73/155.23 c 155s| 1 | 0 |236145 | - | 349M | 0 |1000 | 37k| 39k|2430 |127 | 0 | 0 |-2.619047e+02 |-7.500000e+01 | 249.21%| unknown
155.23/155.75 c 156s| 1 | 0 |236804 | - | 349M | 0 |1000 | 37k| 39k|2444 |128 | 0 | 0 |-2.617716e+02 |-7.500000e+01 | 249.03%| unknown
155.73/156.25 c 156s| 1 | 0 |237403 | - | 350M | 0 |1000 | 37k| 39k|2455 |129 | 0 | 0 |-2.616293e+02 |-7.500000e+01 | 248.84%| unknown
156.33/156.86 c 157s| 1 | 0 |238153 | - | 350M | 0 |1000 | 37k| 39k|2466 |130 | 0 | 0 |-2.614216e+02 |-7.500000e+01 | 248.56%| unknown
157.23/157.77 c 158s| 1 | 0 |239299 | - | 350M | 0 |1000 | 37k| 39k|2479 |131 | 0 | 0 |-2.610804e+02 |-7.500000e+01 | 248.11%| unknown
158.12/158.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
158.12/158.61 c 159s| 1 | 0 |240353 | - | 350M | 0 |1000 | 37k| 39k|2493 |132 | 0 | 0 |-2.607764e+02 |-7.500000e+01 | 247.70%| unknown
158.82/159.36 c 159s| 1 | 0 |241290 | - | 351M | 0 |1000 | 37k| 39k|2508 |133 | 0 | 0 |-2.604244e+02 |-7.500000e+01 | 247.23%| unknown
159.52/160.03 c 160s| 1 | 0 |242145 | - | 351M | 0 |1000 | 37k| 39k|2524 |134 | 0 | 0 |-2.600916e+02 |-7.500000e+01 | 246.79%| unknown
160.12/160.66 c 161s| 1 | 0 |242939 | - | 351M | 0 |1000 | 37k| 39k|2542 |135 | 0 | 0 |-2.598416e+02 |-7.500000e+01 | 246.46%| unknown
160.81/161.34 c 161s| 1 | 0 |243808 | - | 352M | 0 |1000 | 37k| 39k|2553 |136 | 0 | 0 |-2.596523e+02 |-7.500000e+01 | 246.20%| unknown
161.21/161.79 c 162s| 1 | 0 |244355 | - | 352M | 0 |1000 | 37k| 39k|2564 |137 | 0 | 0 |-2.595157e+02 |-7.500000e+01 | 246.02%| unknown
162.31/162.88 c 163s| 1 | 0 |245636 | - | 352M | 0 |1000 | 37k| 39k|2576 |138 | 0 | 0 |-2.589418e+02 |-7.500000e+01 | 245.26%| unknown
163.31/163.87 c 164s| 1 | 0 |246834 | - | 352M | 0 |1000 | 37k| 39k|2590 |139 | 0 | 0 |-2.585405e+02 |-7.500000e+01 | 244.72%| unknown
164.10/164.65 c 165s| 1 | 0 |247772 | - | 352M | 0 |1000 | 37k| 39k|2605 |140 | 0 | 0 |-2.583042e+02 |-7.500000e+01 | 244.41%| unknown
164.90/165.50 c 165s| 1 | 0 |248785 | - | 353M | 0 |1000 | 37k| 39k|2614 |141 | 0 | 0 |-2.580303e+02 |-7.500000e+01 | 244.04%| unknown
165.80/166.32 c 166s| 1 | 0 |249812 | - | 353M | 0 |1000 | 37k| 39k|2631 |142 | 0 | 0 |-2.576890e+02 |-7.500000e+01 | 243.59%| unknown
166.60/167.10 c 167s| 1 | 0 |250787 | - | 353M | 0 |1000 | 37k| 39k|2651 |143 | 0 | 0 |-2.573717e+02 |-7.500000e+01 | 243.16%| unknown
167.10/167.60 c 168s| 1 | 0 |251395 | - | 353M | 0 |1000 | 37k| 39k|2667 |144 | 0 | 0 |-2.572282e+02 |-7.500000e+01 | 242.97%| unknown
167.69/168.28 c 168s| 1 | 0 |252195 | - | 354M | 0 |1000 | 37k| 39k|2681 |145 | 0 | 0 |-2.569673e+02 |-7.500000e+01 | 242.62%| unknown
168.19/168.71 c 169s| 1 | 0 |252700 | - | 354M | 0 |1000 | 37k| 39k|2698 |146 | 0 | 0 |-2.568120e+02 |-7.500000e+01 | 242.42%| unknown
168.79/169.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
168.79/169.36 c 169s| 1 | 0 |253426 | - | 354M | 0 |1000 | 37k| 39k|2708 |147 | 0 | 0 |-2.565418e+02 |-7.500000e+01 | 242.06%| unknown
169.39/169.97 c 170s| 1 | 0 |254136 | - | 355M | 0 |1000 | 37k| 39k|2723 |148 | 0 | 0 |-2.562556e+02 |-7.500000e+01 | 241.67%| unknown
169.79/170.39 c 170s| 1 | 0 |254618 | - | 355M | 0 |1000 | 37k| 39k|2732 |149 | 0 | 0 |-2.561484e+02 |-7.500000e+01 | 241.53%| unknown
170.59/171.17 c 171s| 1 | 0 |255575 | - | 355M | 0 |1000 | 37k| 39k|2747 |150 | 0 | 0 |-2.558696e+02 |-7.500000e+01 | 241.16%| unknown
171.38/171.93 c 172s| 1 | 0 |256472 | - | 355M | 0 |1000 | 37k| 39k|2770 |151 | 0 | 0 |-2.556068e+02 |-7.500000e+01 | 240.81%| unknown
172.08/172.68 c 173s| 1 | 0 |257336 | - | 355M | 0 |1000 | 37k| 39k|2786 |152 | 0 | 0 |-2.553790e+02 |-7.500000e+01 | 240.51%| unknown
172.78/173.39 c 173s| 1 | 0 |258129 | - | 355M | 0 |1000 | 37k| 39k|2805 |153 | 0 | 0 |-2.550780e+02 |-7.500000e+01 | 240.10%| unknown
173.38/173.95 c 174s| 1 | 0 |258741 | - | 356M | 0 |1000 | 37k| 39k|2819 |154 | 0 | 0 |-2.548173e+02 |-7.500000e+01 | 239.76%| unknown
173.98/174.53 c 175s| 1 | 0 |259380 | - | 356M | 0 |1000 | 37k| 39k|2834 |155 | 0 | 0 |-2.546163e+02 |-7.500000e+01 | 239.49%| unknown
174.48/175.09 c 175s| 1 | 0 |260011 | - | 356M | 0 |1000 | 37k| 39k|2857 |156 | 0 | 0 |-2.544188e+02 |-7.500000e+01 | 239.23%| unknown
175.07/175.64 c 176s| 1 | 0 |260656 | - | 356M | 0 |1000 | 37k| 39k|2876 |157 | 0 | 0 |-2.542542e+02 |-7.500000e+01 | 239.01%| unknown
175.48/176.08 c 176s| 1 | 0 |261173 | - | 357M | 0 |1000 | 37k| 39k|2889 |158 | 0 | 0 |-2.541470e+02 |-7.500000e+01 | 238.86%| unknown
176.07/176.63 c 177s| 1 | 0 |261794 | - | 357M | 0 |1000 | 37k| 39k|2901 |159 | 0 | 0 |-2.539612e+02 |-7.500000e+01 | 238.61%| unknown
176.87/177.44 c 177s| 1 | 0 |262708 | - | 357M | 0 |1000 | 37k| 39k|2916 |160 | 0 | 0 |-2.536456e+02 |-7.500000e+01 | 238.19%| unknown
177.57/178.15 c 178s| 1 | 0 |263516 | - | 357M | 0 |1000 | 37k| 39k|2930 |161 | 0 | 0 |-2.533933e+02 |-7.500000e+01 | 237.86%| unknown
178.16/178.71 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
178.16/178.71 c 179s| 1 | 0 |264179 | - | 358M | 0 |1000 | 37k| 39k|2951 |162 | 0 | 0 |-2.532141e+02 |-7.500000e+01 | 237.62%| unknown
178.76/179.32 c 179s| 1 | 0 |264879 | - | 358M | 0 |1000 | 37k| 39k|2962 |163 | 0 | 0 |-2.530403e+02 |-7.500000e+01 | 237.39%| unknown
179.16/179.74 c 180s| 1 | 0 |265318 | - | 358M | 0 |1000 | 37k| 39k|2975 |164 | 0 | 0 |-2.528672e+02 |-7.500000e+01 | 237.16%| unknown
179.76/180.35 c 180s| 1 | 0 |265976 | - | 359M | 0 |1000 | 37k| 39k|2992 |165 | 0 | 0 |-2.526536e+02 |-7.500000e+01 | 236.87%| unknown
180.26/180.80 c 181s| 1 | 0 |266448 | - | 359M | 0 |1000 | 37k| 39k|3007 |166 | 0 | 0 |-2.525037e+02 |-7.500000e+01 | 236.67%| unknown
180.75/181.34 c 181s| 1 | 0 |267045 | - | 359M | 0 |1000 | 37k| 39k|3021 |167 | 0 | 0 |-2.523375e+02 |-7.500000e+01 | 236.45%| unknown
181.35/182.00 c 182s| 1 | 0 |267790 | - | 359M | 0 |1000 | 37k| 39k|3034 |168 | 0 | 0 |-2.520960e+02 |-7.500000e+01 | 236.13%| unknown
182.15/182.72 c 183s| 1 | 0 |268570 | - | 360M | 0 |1000 | 37k| 39k|3048 |169 | 0 | 0 |-2.518261e+02 |-7.500000e+01 | 235.77%| unknown
182.65/183.29 c 183s| 1 | 0 |269188 | - | 360M | 0 |1000 | 37k| 39k|3062 |170 | 0 | 0 |-2.516385e+02 |-7.500000e+01 | 235.52%| unknown
183.15/183.77 c 184s| 1 | 0 |269714 | - | 360M | 0 |1000 | 37k| 39k|3077 |171 | 0 | 0 |-2.514808e+02 |-7.500000e+01 | 235.31%| unknown
183.65/184.27 c 184s| 1 | 0 |270278 | - | 361M | 0 |1000 | 37k| 39k|3089 |172 | 0 | 0 |-2.513270e+02 |-7.500000e+01 | 235.10%| unknown
184.14/184.76 c 185s| 1 | 0 |270802 | - | 361M | 0 |1000 | 37k| 39k|3101 |173 | 0 | 0 |-2.511450e+02 |-7.500000e+01 | 234.86%| unknown
184.55/185.12 c 185s| 1 | 0 |271191 | - | 361M | 0 |1000 | 37k| 39k|3112 |174 | 0 | 0 |-2.510513e+02 |-7.500000e+01 | 234.74%| unknown
185.04/185.63 c 186s| 1 | 0 |271727 | - | 361M | 0 |1000 | 37k| 39k|3122 |175 | 0 | 0 |-2.508575e+02 |-7.500000e+01 | 234.48%| unknown
185.54/186.15 c 186s| 1 | 0 |272271 | - | 362M | 0 |1000 | 37k| 39k|3132 |176 | 0 | 0 |-2.506805e+02 |-7.500000e+01 | 234.24%| unknown
185.84/186.48 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
185.84/186.48 c 186s| 1 | 0 |272621 | - | 362M | 0 |1000 | 37k| 39k|3148 |177 | 0 | 0 |-2.506164e+02 |-7.500000e+01 | 234.16%| unknown
186.44/187.01 c 187s| 1 | 0 |273186 | - | 362M | 0 |1000 | 37k| 39k|3161 |178 | 0 | 0 |-2.504735e+02 |-7.500000e+01 | 233.96%| unknown
186.74/187.36 c 187s| 1 | 0 |273566 | - | 362M | 0 |1000 | 37k| 39k|3174 |179 | 0 | 0 |-2.503988e+02 |-7.500000e+01 | 233.87%| unknown
187.23/187.85 c 188s| 1 | 0 |274108 | - | 363M | 0 |1000 | 37k| 39k|3189 |180 | 0 | 0 |-2.502438e+02 |-7.500000e+01 | 233.66%| unknown
187.54/188.15 c 188s| 1 | 0 |274415 | - | 363M | 0 |1000 | 37k| 39k|3205 |181 | 0 | 0 |-2.501827e+02 |-7.500000e+01 | 233.58%| unknown
187.93/188.51 c 189s| 1 | 0 |274785 | - | 363M | 0 |1000 | 37k| 39k|3212 |182 | 0 | 0 |-2.500844e+02 |-7.500000e+01 | 233.45%| unknown
188.33/188.96 c 189s| 1 | 0 |275245 | - | 364M | 0 |1000 | 37k| 39k|3227 |183 | 0 | 0 |-2.499548e+02 |-7.500000e+01 | 233.27%| unknown
188.93/189.51 c 190s| 1 | 0 |275813 | - | 364M | 0 |1000 | 37k| 39k|3239 |184 | 0 | 0 |-2.497769e+02 |-7.500000e+01 | 233.04%| unknown
189.23/189.81 c 190s| 1 | 0 |276102 | - | 364M | 0 |1000 | 37k| 39k|3251 |185 | 0 | 0 |-2.497287e+02 |-7.500000e+01 | 232.97%| unknown
189.73/190.31 c 190s| 1 | 0 |276620 | - | 364M | 0 |1000 | 37k| 39k|3263 |186 | 0 | 0 |-2.495610e+02 |-7.500000e+01 | 232.75%| unknown
190.03/190.63 c 191s| 1 | 0 |276946 | - | 365M | 0 |1000 | 37k| 39k|3279 |187 | 0 | 0 |-2.494754e+02 |-7.500000e+01 | 232.63%| unknown
190.62/191.22 c 191s| 1 | 0 |277580 | - | 365M | 0 |1000 | 37k| 39k|3293 |188 | 0 | 0 |-2.492951e+02 |-7.500000e+01 | 232.39%| unknown
191.32/191.90 c 192s| 1 | 0 |278304 | - | 365M | 0 |1000 | 37k| 39k|3315 |189 | 0 | 0 |-2.490874e+02 |-7.500000e+01 | 232.12%| unknown
191.72/192.38 c 192s| 1 | 0 |278779 | - | 366M | 0 |1000 | 37k| 39k|3331 |190 | 0 | 0 |-2.489310e+02 |-7.500000e+01 | 231.91%| unknown
192.22/192.89 c 193s| 1 | 0 |279290 | - | 366M | 0 |1000 | 37k| 39k|3345 |191 | 0 | 0 |-2.488029e+02 |-7.500000e+01 | 231.74%| unknown
192.72/193.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
192.72/193.36 c 193s| 1 | 0 |279769 | - | 366M | 0 |1000 | 37k| 39k|3361 |192 | 0 | 0 |-2.486689e+02 |-7.500000e+01 | 231.56%| unknown
193.12/193.72 c 194s| 1 | 0 |280146 | - | 366M | 0 |1000 | 37k| 39k|3369 |193 | 0 | 0 |-2.485947e+02 |-7.500000e+01 | 231.46%| unknown
193.42/194.09 c 194s| 1 | 0 |280512 | - | 367M | 0 |1000 | 37k| 39k|3375 |194 | 0 | 0 |-2.485204e+02 |-7.500000e+01 | 231.36%| unknown
193.81/194.46 c 194s| 1 | 0 |280889 | - | 367M | 0 |1000 | 37k| 39k|3393 |195 | 0 | 0 |-2.484332e+02 |-7.500000e+01 | 231.24%| unknown
194.31/194.99 c 195s| 1 | 0 |281430 | - | 367M | 0 |1000 | 37k| 39k|3409 |196 | 0 | 0 |-2.482770e+02 |-7.500000e+01 | 231.04%| unknown
194.61/195.28 c 195s| 1 | 0 |281720 | - | 367M | 0 |1000 | 37k| 39k|3419 |197 | 0 | 0 |-2.482213e+02 |-7.500000e+01 | 230.96%| unknown
195.11/195.77 c 196s| 1 | 0 |282208 | - | 368M | 0 |1000 | 37k| 39k|3432 |198 | 0 | 0 |-2.480661e+02 |-7.500000e+01 | 230.75%| unknown
195.51/196.14 c 196s| 1 | 0 |282561 | - | 368M | 0 |1000 | 37k| 39k|3444 |199 | 0 | 0 |-2.479757e+02 |-7.500000e+01 | 230.63%| unknown
196.01/196.60 c 197s| 1 | 0 |283051 | - | 368M | 0 |1000 | 37k| 39k|3456 |200 | 0 | 0 |-2.478597e+02 |-7.500000e+01 | 230.48%| unknown
196.41/197.06 c 197s| 1 | 0 |283491 | - | 369M | 0 |1000 | 37k| 39k|3469 |201 | 0 | 0 |-2.477221e+02 |-7.500000e+01 | 230.30%| unknown
196.90/197.56 c 198s| 1 | 0 |284007 | - | 369M | 0 |1000 | 37k| 39k|3480 |202 | 0 | 0 |-2.475996e+02 |-7.500000e+01 | 230.13%| unknown
197.30/197.99 c 198s| 1 | 0 |284449 | - | 369M | 0 |1000 | 37k| 39k|3495 |203 | 0 | 0 |-2.474978e+02 |-7.500000e+01 | 230.00%| unknown
197.70/198.39 c 198s| 1 | 0 |284873 | - | 369M | 0 |1000 | 37k| 39k|3510 |204 | 0 | 0 |-2.474070e+02 |-7.500000e+01 | 229.88%| unknown
198.10/198.77 c 199s| 1 | 0 |285258 | - | 369M | 0 |1000 | 37k| 39k|3526 |205 | 0 | 0 |-2.473206e+02 |-7.500000e+01 | 229.76%| unknown
198.50/199.18 c 199s| 1 | 0 |285661 | - | 370M | 0 |1000 | 37k| 39k|3538 |206 | 0 | 0 |-2.472476e+02 |-7.500000e+01 | 229.66%| unknown
198.90/199.52 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
198.90/199.52 c 200s| 1 | 0 |285993 | - | 370M | 0 |1000 | 37k| 39k|3553 |207 | 0 | 0 |-2.471907e+02 |-7.500000e+01 | 229.59%| unknown
199.30/199.93 c 200s| 1 | 0 |286384 | - | 370M | 0 |1000 | 37k| 39k|3566 |208 | 0 | 0 |-2.470974e+02 |-7.500000e+01 | 229.46%| unknown
199.69/200.37 c 200s| 1 | 0 |286795 | - | 370M | 0 |1000 | 37k| 39k|3580 |209 | 0 | 0 |-2.469419e+02 |-7.500000e+01 | 229.26%| unknown
200.19/200.84 c 201s| 1 | 0 |287277 | - | 371M | 0 |1000 | 37k| 39k|3596 |210 | 0 | 0 |-2.468236e+02 |-7.500000e+01 | 229.10%| unknown
200.59/201.20 c 201s| 1 | 0 |287625 | - | 371M | 0 |1000 | 37k| 39k|3608 |211 | 0 | 0 |-2.467408e+02 |-7.500000e+01 | 228.99%| unknown
200.89/201.50 c 202s| 1 | 0 |287906 | - | 371M | 0 |1000 | 37k| 39k|3621 |212 | 0 | 0 |-2.466758e+02 |-7.500000e+01 | 228.90%| unknown
201.19/201.88 c 202s| 1 | 0 |288289 | - | 372M | 0 |1000 | 37k| 39k|3633 |213 | 0 | 0 |-2.466032e+02 |-7.500000e+01 | 228.80%| unknown
201.69/202.33 c 202s| 1 | 0 |288733 | - | 372M | 0 |1000 | 37k| 39k|3649 |214 | 0 | 0 |-2.465094e+02 |-7.500000e+01 | 228.68%| unknown
202.09/202.71 c 203s| 1 | 0 |289096 | - | 372M | 0 |1000 | 37k| 39k|3662 |215 | 0 | 0 |-2.464140e+02 |-7.500000e+01 | 228.55%| unknown
202.49/203.12 c 203s| 1 | 0 |289489 | - | 372M | 0 |1000 | 37k| 39k|3673 |216 | 0 | 0 |-2.463304e+02 |-7.500000e+01 | 228.44%| unknown
202.68/203.38 c 203s| 1 | 0 |289716 | - | 372M | 0 |1000 | 37k| 39k|3689 |217 | 0 | 0 |-2.462735e+02 |-7.500000e+01 | 228.36%| unknown
203.28/203.93 c 204s| 1 | 0 |290269 | - | 373M | 0 |1000 | 37k| 39k|3707 |218 | 0 | 0 |-2.460999e+02 |-7.500000e+01 | 228.13%| unknown
203.58/204.20 c 204s| 1 | 0 |290508 | - | 373M | 0 |1000 | 37k| 39k|3721 |219 | 0 | 0 |-2.460549e+02 |-7.500000e+01 | 228.07%| unknown
203.98/204.63 c 205s| 1 | 0 |290904 | - | 373M | 0 |1000 | 37k| 39k|3733 |220 | 0 | 0 |-2.459227e+02 |-7.500000e+01 | 227.90%| unknown
204.28/204.97 c 205s| 1 | 0 |291224 | - | 373M | 0 |1000 | 37k| 39k|3745 |221 | 0 | 0 |-2.458630e+02 |-7.500000e+01 | 227.82%| unknown
204.58/205.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
204.58/205.29 c 205s| 1 | 0 |291518 | - | 373M | 0 |1000 | 37k| 39k|3761 |222 | 0 | 0 |-2.457846e+02 |-7.500000e+01 | 227.71%| unknown
204.98/205.61 c 206s| 1 | 0 |291811 | - | 374M | 0 |1000 | 37k| 39k|3774 |223 | 0 | 0 |-2.456891e+02 |-7.500000e+01 | 227.59%| unknown
205.38/206.02 c 206s| 1 | 0 |292204 | - | 374M | 0 |1000 | 37k| 39k|3789 |224 | 0 | 0 |-2.455930e+02 |-7.500000e+01 | 227.46%| unknown
205.67/206.40 c 206s| 1 | 0 |292569 | - | 374M | 0 |1000 | 37k| 39k|3800 |225 | 0 | 0 |-2.455204e+02 |-7.500000e+01 | 227.36%| unknown
206.17/206.88 c 207s| 1 | 0 |293041 | - | 375M | 0 |1000 | 37k| 39k|3814 |226 | 0 | 0 |-2.454132e+02 |-7.500000e+01 | 227.22%| unknown
206.57/207.27 c 207s| 1 | 0 |293418 | - | 375M | 0 |1000 | 37k| 39k|3827 |227 | 0 | 0 |-2.453065e+02 |-7.500000e+01 | 227.08%| unknown
206.87/207.57 c 208s| 1 | 0 |293702 | - | 375M | 0 |1000 | 37k| 39k|3839 |228 | 0 | 0 |-2.452693e+02 |-7.500000e+01 | 227.03%| unknown
207.37/208.04 c 208s| 1 | 0 |294151 | - | 375M | 0 |1000 | 37k| 39k|3850 |229 | 0 | 0 |-2.451449e+02 |-7.500000e+01 | 226.86%| unknown
207.77/208.41 c 208s| 1 | 0 |294500 | - | 375M | 0 |1000 | 37k| 39k|3863 |230 | 0 | 0 |-2.450338e+02 |-7.500000e+01 | 226.71%| unknown
208.27/208.93 c 209s| 1 | 0 |295017 | - | 376M | 0 |1000 | 37k| 39k|3880 |231 | 0 | 0 |-2.449381e+02 |-7.500000e+01 | 226.58%| unknown
208.57/209.29 c 209s| 1 | 0 |295349 | - | 376M | 0 |1000 | 37k| 39k|3893 |232 | 0 | 0 |-2.448869e+02 |-7.500000e+01 | 226.52%| unknown
208.96/209.62 c 210s| 1 | 0 |295645 | - | 376M | 0 |1000 | 37k| 39k|3902 |233 | 0 | 0 |-2.448199e+02 |-7.500000e+01 | 226.43%| unknown
209.26/209.94 c 210s| 1 | 0 |295953 | - | 376M | 0 |1000 | 37k| 39k|3918 |234 | 0 | 0 |-2.447503e+02 |-7.500000e+01 | 226.33%| unknown
209.76/210.40 c 210s| 1 | 0 |296415 | - | 377M | 0 |1000 | 37k| 39k|3930 |235 | 0 | 0 |-2.446294e+02 |-7.500000e+01 | 226.17%| unknown
210.16/210.83 c 211s| 1 | 0 |296809 | - | 377M | 0 |1000 | 37k| 39k|3943 |236 | 0 | 0 |-2.445199e+02 |-7.500000e+01 | 226.03%| unknown
210.46/211.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
210.46/211.19 c 211s| 1 | 0 |297167 | - | 377M | 0 |1000 | 37k| 39k|3957 |237 | 0 | 0 |-2.444431e+02 |-7.500000e+01 | 225.92%| unknown
210.96/211.60 c 212s| 1 | 0 |297555 | - | 378M | 0 |1000 | 37k| 39k|3970 |238 | 0 | 0 |-2.443337e+02 |-7.500000e+01 | 225.78%| unknown
211.36/212.05 c 212s| 1 | 0 |297978 | - | 378M | 0 |1000 | 37k| 39k|3982 |239 | 0 | 0 |-2.442079e+02 |-7.500000e+01 | 225.61%| unknown
211.75/212.43 c 212s| 1 | 0 |298321 | - | 378M | 0 |1000 | 37k| 39k|3992 |240 | 0 | 0 |-2.441289e+02 |-7.500000e+01 | 225.51%| unknown
212.05/212.79 c 213s| 1 | 0 |298652 | - | 378M | 0 |1000 | 37k| 39k|4004 |241 | 0 | 0 |-2.440716e+02 |-7.500000e+01 | 225.43%| unknown
212.36/213.10 c 213s| 1 | 0 |298948 | - | 379M | 0 |1000 | 37k| 39k|4014 |242 | 0 | 0 |-2.440295e+02 |-7.500000e+01 | 225.37%| unknown
212.75/213.49 c 213s| 1 | 0 |299308 | - | 379M | 0 |1000 | 37k| 39k|4028 |243 | 0 | 0 |-2.439524e+02 |-7.500000e+01 | 225.27%| unknown
213.15/213.82 c 214s| 1 | 0 |299596 | - | 379M | 0 |1000 | 37k| 39k|4037 |244 | 0 | 0 |-2.438988e+02 |-7.500000e+01 | 225.20%| unknown
213.56/214.21 c 214s| 1 | 0 |299934 | - | 379M | 0 |1000 | 37k| 39k|4051 |245 | 0 | 0 |-2.438331e+02 |-7.500000e+01 | 225.11%| unknown
213.86/214.54 c 215s| 1 | 0 |300233 | - | 380M | 0 |1000 | 37k| 39k|4065 |246 | 0 | 0 |-2.437468e+02 |-7.500000e+01 | 225.00%| unknown
214.16/214.84 c 215s| 1 | 0 |300511 | - | 380M | 0 |1000 | 37k| 39k|4073 |247 | 0 | 0 |-2.436972e+02 |-7.500000e+01 | 224.93%| unknown
214.66/215.38 c 215s| 1 | 0 |301048 | - | 380M | 0 |1000 | 37k| 40k|4087 |248 | 0 | 0 |-2.435883e+02 |-7.500000e+01 | 224.78%| unknown
215.05/215.79 c 216s| 1 | 0 |301468 | - | 380M | 0 |1000 | 37k| 40k|4100 |249 | 0 | 0 |-2.435060e+02 |-7.500000e+01 | 224.67%| unknown
215.55/216.29 c 216s| 1 | 0 |301938 | - | 381M | 0 |1000 | 37k| 39k|4113 |250 | 0 | 0 |-2.433695e+02 |-7.500000e+01 | 224.49%| unknown
215.85/216.57 c 217s| 1 | 0 |302195 | - | 381M | 0 |1000 | 37k| 39k|4128 |251 | 0 | 0 |-2.433304e+02 |-7.500000e+01 | 224.44%| unknown
216.45/217.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
216.45/217.11 c 217s| 1 | 0 |302711 | - | 381M | 0 |1000 | 37k| 40k|4142 |252 | 0 | 0 |-2.432252e+02 |-7.500000e+01 | 224.30%| unknown
216.75/217.42 c 217s| 1 | 0 |302983 | - | 381M | 0 |1000 | 37k| 40k|4153 |253 | 0 | 0 |-2.431900e+02 |-7.500000e+01 | 224.25%| unknown
217.15/217.84 c 218s| 1 | 0 |303389 | - | 382M | 0 |1000 | 37k| 40k|4168 |254 | 0 | 0 |-2.431107e+02 |-7.500000e+01 | 224.15%| unknown
217.45/218.16 c 218s| 1 | 0 |303685 | - | 382M | 0 |1000 | 37k| 40k|4176 |255 | 0 | 0 |-2.430541e+02 |-7.500000e+01 | 224.07%| unknown
217.74/218.48 c 218s| 1 | 0 |303985 | - | 382M | 0 |1000 | 37k| 40k|4185 |256 | 0 | 0 |-2.430118e+02 |-7.500000e+01 | 224.02%| unknown
218.14/218.84 c 219s| 1 | 0 |304321 | - | 382M | 0 |1000 | 37k| 40k|4198 |257 | 0 | 0 |-2.429577e+02 |-7.500000e+01 | 223.94%| unknown
218.54/219.20 c 219s| 1 | 0 |304662 | - | 383M | 0 |1000 | 37k| 40k|4212 |258 | 0 | 0 |-2.429031e+02 |-7.500000e+01 | 223.87%| unknown
218.84/219.57 c 220s| 1 | 0 |305034 | - | 383M | 0 |1000 | 37k| 40k|4220 |259 | 0 | 0 |-2.428483e+02 |-7.500000e+01 | 223.80%| unknown
219.24/219.92 c 220s| 1 | 0 |305379 | - | 383M | 0 |1000 | 37k| 40k|4234 |260 | 0 | 0 |-2.427997e+02 |-7.500000e+01 | 223.73%| unknown
219.54/220.27 c 220s| 1 | 0 |305706 | - | 384M | 0 |1000 | 37k| 40k|4248 |261 | 0 | 0 |-2.427505e+02 |-7.500000e+01 | 223.67%| unknown
219.84/220.51 c 221s| 1 | 0 |305897 | - | 384M | 0 |1000 | 37k| 40k|4258 |262 | 0 | 0 |-2.427284e+02 |-7.500000e+01 | 223.64%| unknown
220.04/220.78 c 221s| 1 | 0 |306143 | - | 384M | 0 |1000 | 37k| 40k|4267 |263 | 0 | 0 |-2.427128e+02 |-7.500000e+01 | 223.62%| unknown
220.34/221.05 c 221s| 1 | 0 |306395 | - | 384M | 0 |1000 | 37k| 40k|4278 |264 | 0 | 0 |-2.426768e+02 |-7.500000e+01 | 223.57%| unknown
220.63/221.38 c 221s| 1 | 0 |306705 | - | 385M | 0 |1000 | 37k| 40k|4288 |265 | 0 | 0 |-2.426415e+02 |-7.500000e+01 | 223.52%| unknown
221.03/221.77 c 222s| 1 | 0 |307096 | - | 385M | 0 |1000 | 37k| 40k|4300 |266 | 0 | 0 |-2.426007e+02 |-7.500000e+01 | 223.47%| unknown
221.43/222.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
221.43/222.16 c 222s| 1 | 0 |307475 | - | 385M | 0 |1000 | 37k| 40k|4316 |267 | 0 | 0 |-2.425509e+02 |-7.500000e+01 | 223.40%| unknown
221.73/222.48 c 222s| 1 | 0 |307774 | - | 385M | 0 |1000 | 37k| 40k|4327 |268 | 0 | 0 |-2.425179e+02 |-7.500000e+01 | 223.36%| unknown
222.03/222.75 c 223s| 1 | 0 |308031 | - | 385M | 0 |1000 | 37k| 40k|4338 |269 | 0 | 0 |-2.424884e+02 |-7.500000e+01 | 223.32%| unknown
222.43/223.13 c 223s| 1 | 0 |308382 | - | 386M | 0 |1000 | 37k| 40k|4348 |270 | 0 | 0 |-2.424364e+02 |-7.500000e+01 | 223.25%| unknown
222.73/223.47 c 223s| 1 | 0 |308679 | - | 386M | 0 |1000 | 37k| 40k|4360 |271 | 0 | 0 |-2.423827e+02 |-7.500000e+01 | 223.18%| unknown
223.12/223.88 c 224s| 1 | 0 |309100 | - | 386M | 0 |1000 | 37k| 40k|4374 |272 | 0 | 0 |-2.423057e+02 |-7.500000e+01 | 223.07%| unknown
223.52/224.24 c 224s| 1 | 0 |309465 | - | 387M | 0 |1000 | 37k| 40k|4385 |273 | 0 | 0 |-2.422709e+02 |-7.500000e+01 | 223.03%| unknown
223.82/224.59 c 225s| 1 | 0 |309816 | - | 387M | 0 |1000 | 37k| 40k|4397 |274 | 0 | 0 |-2.422363e+02 |-7.500000e+01 | 222.98%| unknown
224.22/224.96 c 225s| 1 | 0 |310199 | - | 387M | 0 |1000 | 37k| 40k|4408 |275 | 0 | 0 |-2.422121e+02 |-7.500000e+01 | 222.95%| unknown
224.52/225.28 c 225s| 1 | 0 |310504 | - | 387M | 0 |1000 | 37k| 40k|4419 |276 | 0 | 0 |-2.421854e+02 |-7.500000e+01 | 222.91%| unknown
224.72/225.49 c 225s| 1 | 0 |310687 | - | 387M | 0 |1000 | 37k| 40k|4429 |277 | 0 | 0 |-2.421773e+02 |-7.500000e+01 | 222.90%| unknown
225.22/225.92 c 226s| 1 | 0 |311105 | - | 388M | 0 |1000 | 37k| 40k|4444 |278 | 0 | 0 |-2.421338e+02 |-7.500000e+01 | 222.85%| unknown
225.62/226.34 c 226s| 1 | 0 |311550 | - | 388M | 0 |1000 | 37k| 40k|4461 |279 | 0 | 0 |-2.420944e+02 |-7.500000e+01 | 222.79%| unknown
225.92/226.64 c 227s| 1 | 0 |311836 | - | 388M | 0 |1000 | 37k| 40k|4470 |280 | 0 | 0 |-2.420755e+02 |-7.500000e+01 | 222.77%| unknown
226.42/227.13 c 227s| 1 | 0 |312386 | - | 388M | 0 |1000 | 37k| 40k|4482 |281 | 0 | 0 |-2.420165e+02 |-7.500000e+01 | 222.69%| unknown
226.71/227.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
226.71/227.47 c 227s| 1 | 0 |312726 | - | 389M | 0 |1000 | 37k| 40k|4500 |282 | 0 | 0 |-2.419964e+02 |-7.500000e+01 | 222.66%| unknown
227.01/227.72 c 228s| 1 | 0 |312969 | - | 389M | 0 |1000 | 37k| 40k|4510 |283 | 0 | 0 |-2.419865e+02 |-7.500000e+01 | 222.65%| unknown
227.31/228.08 c 228s| 1 | 0 |313331 | - | 389M | 0 |1000 | 37k| 40k|4528 |284 | 0 | 0 |-2.419474e+02 |-7.500000e+01 | 222.60%| unknown
227.71/228.45 c 228s| 1 | 0 |313696 | - | 389M | 0 |1000 | 37k| 40k|4541 |285 | 0 | 0 |-2.419126e+02 |-7.500000e+01 | 222.55%| unknown
227.91/228.69 c 229s| 1 | 0 |313897 | - | 390M | 0 |1000 | 37k| 40k|4551 |286 | 0 | 0 |-2.419045e+02 |-7.500000e+01 | 222.54%| unknown
228.41/229.13 c 229s| 1 | 0 |314362 | - | 390M | 0 |1000 | 37k| 40k|4566 |287 | 0 | 0 |-2.418674e+02 |-7.500000e+01 | 222.49%| unknown
228.90/229.63 c 230s| 1 | 0 |314951 | - | 390M | 0 |1000 | 37k| 40k|4582 |288 | 0 | 0 |-2.418065e+02 |-7.500000e+01 | 222.41%| unknown
229.31/230.01 c 230s| 1 | 0 |315391 | - | 390M | 0 |1000 | 37k| 40k|4602 |289 | 0 | 0 |-2.417800e+02 |-7.500000e+01 | 222.37%| unknown
229.70/230.41 c 230s| 1 | 0 |315842 | - | 391M | 0 |1000 | 37k| 40k|4618 |290 | 0 | 0 |-2.417414e+02 |-7.500000e+01 | 222.32%| unknown
230.00/230.79 c 231s| 1 | 0 |316242 | - | 391M | 0 |1000 | 37k| 40k|4631 |291 | 0 | 0 |-2.417227e+02 |-7.500000e+01 | 222.30%| unknown
230.50/231.27 c 231s| 1 | 0 |316780 | - | 391M | 0 |1000 | 37k| 40k|4646 |292 | 0 | 0 |-2.416884e+02 |-7.500000e+01 | 222.25%| unknown
230.90/231.62 c 232s| 1 | 0 |317173 | - | 391M | 0 |1000 | 37k| 40k|4657 |293 | 0 | 0 |-2.416743e+02 |-7.500000e+01 | 222.23%| unknown
231.40/232.19 c 232s| 1 | 0 |317827 | - | 392M | 0 |1000 | 37k| 40k|4675 |294 | 0 | 0 |-2.416319e+02 |-7.500000e+01 | 222.18%| unknown
231.89/232.62 c 233s| 1 | 0 |318285 | - | 392M | 0 |1000 | 37k| 40k|4686 |295 | 0 | 0 |-2.416111e+02 |-7.500000e+01 | 222.15%| unknown
232.31/233.05 c 233s| 1 | 0 |318782 | - | 392M | 0 |1000 | 37k| 40k|4702 |296 | 0 | 0 |-2.415882e+02 |-7.500000e+01 | 222.12%| unknown
232.60/233.36 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
232.60/233.36 c 233s| 1 | 0 |319091 | - | 393M | 0 |1000 | 37k| 40k|4714 |297 | 0 | 0 |-2.415686e+02 |-7.500000e+01 | 222.09%| unknown
232.90/233.66 c 234s| 1 | 0 |319378 | - | 393M | 0 |1000 | 37k| 40k|4723 |298 | 0 | 0 |-2.415574e+02 |-7.500000e+01 | 222.08%| unknown
233.30/234.06 c 234s| 1 | 0 |319842 | - | 393M | 0 |1000 | 37k| 40k|4733 |299 | 0 | 0 |-2.415354e+02 |-7.500000e+01 | 222.05%| unknown
233.70/234.43 c 234s| 1 | 0 |320234 | - | 393M | 0 |1000 | 37k| 40k|4747 |300 | 0 | 0 |-2.415160e+02 |-7.500000e+01 | 222.02%| unknown
234.10/234.81 c 235s| 1 | 0 |320646 | - | 394M | 0 |1000 | 37k| 40k|4757 |301 | 0 | 0 |-2.414976e+02 |-7.500000e+01 | 222.00%| unknown
234.49/235.21 c 235s| 1 | 0 |321095 | - | 394M | 0 |1000 | 37k| 40k|4780 |302 | 0 | 0 |-2.414659e+02 |-7.500000e+01 | 221.95%| unknown
234.89/235.60 c 236s| 1 | 0 |321557 | - | 394M | 0 |1000 | 37k| 40k|4795 |303 | 0 | 0 |-2.414420e+02 |-7.500000e+01 | 221.92%| unknown
235.19/235.97 c 236s| 1 | 0 |321948 | - | 395M | 0 |1000 | 37k| 40k|4808 |304 | 0 | 0 |-2.414180e+02 |-7.500000e+01 | 221.89%| unknown
235.59/236.31 c 236s| 1 | 0 |322338 | - | 395M | 0 |1000 | 37k| 40k|4819 |305 | 0 | 0 |-2.413976e+02 |-7.500000e+01 | 221.86%| unknown
235.89/236.65 c 237s| 1 | 0 |322711 | - | 395M | 0 |1000 | 37k| 40k|4832 |306 | 0 | 0 |-2.413785e+02 |-7.500000e+01 | 221.84%| unknown
236.19/236.94 c 237s| 1 | 0 |323021 | - | 395M | 0 |1000 | 37k| 40k|4844 |307 | 0 | 0 |-2.413663e+02 |-7.500000e+01 | 221.82%| unknown
236.69/237.45 c 237s| 1 | 0 |323635 | - | 396M | 0 |1000 | 37k| 40k|4868 |308 | 0 | 0 |-2.413375e+02 |-7.500000e+01 | 221.78%| unknown
236.99/237.73 c 238s| 1 | 0 |323941 | - | 396M | 0 |1000 | 37k| 40k|4887 |309 | 0 | 0 |-2.413259e+02 |-7.500000e+01 | 221.77%| unknown
237.29/238.08 c 238s| 1 | 0 |324336 | - | 396M | 0 |1000 | 37k| 40k|4899 |310 | 0 | 0 |-2.413079e+02 |-7.500000e+01 | 221.74%| unknown
237.68/238.43 c 238s| 1 | 0 |324695 | - | 396M | 0 |1000 | 37k| 40k|4909 |311 | 0 | 0 |-2.412922e+02 |-7.500000e+01 | 221.72%| unknown
237.98/238.70 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
237.98/238.70 c 239s| 1 | 0 |324977 | - | 397M | 0 |1000 | 37k| 40k|4926 |312 | 0 | 0 |-2.412829e+02 |-7.500000e+01 | 221.71%| unknown
238.29/239.03 c 239s| 1 | 0 |325297 | - | 397M | 0 |1000 | 37k| 40k|4937 |313 | 0 | 0 |-2.412690e+02 |-7.500000e+01 | 221.69%| unknown
238.58/239.39 c 239s| 1 | 0 |325746 | - | 397M | 0 |1000 | 37k| 40k|4948 |314 | 0 | 0 |-2.412545e+02 |-7.500000e+01 | 221.67%| unknown
238.88/239.69 c 240s| 1 | 0 |326052 | - | 398M | 0 |1000 | 37k| 40k|4961 |315 | 0 | 0 |-2.412454e+02 |-7.500000e+01 | 221.66%| unknown
239.28/240.10 c 240s| 1 | 0 |326512 | - | 398M | 0 |1000 | 37k| 40k|4969 |316 | 0 | 0 |-2.412288e+02 |-7.500000e+01 | 221.64%| unknown
239.57/240.35 c 240s| 1 | 0 |326751 | - | 398M | 0 |1000 | 37k| 40k|4978 |317 | 0 | 0 |-2.412228e+02 |-7.500000e+01 | 221.63%| unknown
239.87/240.65 c 241s| 1 | 0 |327096 | - | 398M | 0 |1000 | 37k| 40k|4995 |318 | 0 | 0 |-2.412130e+02 |-7.500000e+01 | 221.62%| unknown
262.71/263.52 c 264s| 1 | 2 |327103 | - | 399M | 0 |1000 | 37k| 40k|4995 |318 | 0 | 26 |-2.409755e+02 |-7.500000e+01 | 221.30%| unknown
1158.49/1161.63 c 1162s| 100 | 101 | 1101k|7823.1 | 902M | 12 |1000 | 37k| 39k| 12k| 1 | 0 | 598 |-2.407935e+02 |-7.500000e+01 | 221.06%| unknown
1923.58/1928.74 c 1929s| 200 | 201 | 1937k|8095.9 | 1303M | 14 |1000 | 37k| 39k| 20k| 1 | 0 | 885 |-2.407935e+02 |-7.500000e+01 | 221.06%| unknown
2579.58/2586.64 c 2587s| 300 | 301 | 2633k|7713.3 | 1565M | 15 |1000 | 37k| 39k| 27k| 7 | 0 |1122 |-2.401029e+02 |-7.500000e+01 | 220.14%| unknown
3029.14/3037.51 c 3038s| 400 | 401 | 3106k|6966.1 | 1670M | 16 |1000 | 37k| 39k| 31k| 7 | 0 |1307 |-2.401029e+02 |-7.500000e+01 | 220.14%| unknown
3403.99/3413.35 c 3413s| 500 | 501 | 3598k|6557.3 | 1785M | 16 |1000 | 37k| 39k| 35k| 1 | 0 |1363 |-2.401029e+02 |-7.500000e+01 | 220.14%| unknown
3587.11/3597.00 c
3587.11/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3587.11/3597.00 c Solving Time (sec) : 3597.00
3587.11/3597.00 c Solving Nodes : 548
3587.11/3597.00 c Primal Bound : -7.50000000000000e+01 (186 solutions)
3587.11/3597.00 c Dual Bound : -2.40102876291314e+02
3587.11/3597.00 c Gap : 220.14 %
3587.22/3597.05 s SATISFIABLE
3587.22/3597.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
3587.22/3597.05 v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
3587.22/3597.05 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
3587.22/3597.05 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
3587.22/3597.05 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
3587.22/3597.05 v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149
3587.22/3597.05 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
3587.22/3597.05 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
3587.22/3597.05 v -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215
3587.22/3597.05 v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237
3587.22/3597.05 v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259
3587.22/3597.05 v -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281
3587.22/3597.05 v -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
3587.22/3597.05 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325
3587.22/3597.05 v -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347
3587.22/3597.05 v -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369
3587.22/3597.05 v -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391
3587.22/3597.05 v -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413
3587.22/3597.05 v -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435
3587.22/3597.05 v -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457
3587.22/3597.05 v -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479
3587.22/3597.05 v -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 x495 -x496 -x497 -x498 -x499 -x500 -x501
3587.22/3597.05 v -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 x522 -x523
3587.22/3597.05 v -x524 -x525 -x526 -x527 -x528 x529 -x530 x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545
3587.22/3597.05 v -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 x561 -x562 -x563 -x564 -x565 -x566 -x567
3587.22/3597.05 v x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589
3587.22/3597.05 v -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611
3587.22/3597.05 v -x612 -x613 x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
3587.22/3597.05 v -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 -x651 x652 x653 -x654 -x655
3587.22/3597.05 v x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677
3587.22/3597.05 v -x678 -x679 -x680 -x681 -x682 x683 x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700
3587.22/3597.05 v -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 x719 -x720 -x721 -x722
3587.22/3597.05 v -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 x737 -x738 -x739 -x740 x741 x742 -x743 -x744
3587.22/3597.05 v -x745 x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 x763 -x764 -x765 -x766
3587.22/3597.05 v -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788
3587.22/3597.05 v -x789 -x790 x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 x805 x806 -x807 -x808 -x809 -x810
3587.22/3597.05 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832
3587.22/3597.05 v x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 x850 -x851 -x852 -x853 -x854
3587.22/3597.05 v -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 x868 x869 -x870 -x871 -x872 -x873 -x874 x875 -x876
3587.22/3597.05 v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 x898
3587.22/3597.05 v -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920
3587.22/3597.05 v -x921 -x922 -x923 -x924 -x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942
3587.22/3597.05 v x943 -x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964
3587.22/3597.05 v -x965 x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 x974 x975 -x976 -x977 x978 x979 -x980 x981 -x982 -x983 -x984 -x985 x986 -x987
3587.22/3597.05 v -x988 x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000
3587.22/3597.05 c SCIP Status : solving was interrupted [time limit reached]
3587.22/3597.05 c Total Time : 3597.00
3587.22/3597.05 c solving : 3597.00
3587.22/3597.05 c presolving : 0.45 (included in solving)
3587.22/3597.05 c reading : 0.12 (included in solving)
3587.22/3597.05 c copying : 0.07 (2 #copies) (minimal 0.03, maximal 0.03, average 0.03)
3587.22/3597.05 c Original Problem :
3587.22/3597.05 c Problem name : HOME/instance-4498166-1751268244.opb
3587.22/3597.05 c Variables : 38742 (1000 binary, 0 integer, 37742 continuous)
3587.22/3597.05 c implied integral : 37742 (0 binary, 0 integer, 37742 continuous)
3587.22/3597.05 c Constraints : 39742 initial, 39742 maximal
3587.22/3597.05 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3587.22/3597.05 c Presolved Problem :
3587.22/3597.05 c Problem name : t_HOME/instance-4498166-1751268244.opb
3587.22/3597.05 c Variables : 1000 (1000 binary, 0 integer, 0 continuous)
3587.22/3597.05 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.22/3597.05 c Constraints : 37742 initial, 37742 maximal
3587.22/3597.05 c Objective : minimize, 1000 non-zeros (abs.min = 1, abs.max = 1)
3587.22/3597.05 c Nonzeros : 75484 constraint, 75482 clique table
3587.22/3597.05 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.22/3597.05 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c domcol : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c milp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c trivial : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c dualfix : 0.00 0.00 4 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c probing : 0.10 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c setppc : 0.05 0.00 5 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c and : 0.08 0.00 2 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c linear : 0.07 0.01 1 37742 0 0 37742 0 1000 0 0 0
3587.22/3597.05 c pseudoboolean : 0.06 0.00 1 0 0 0 0 0 38742 0 0 0
3587.22/3597.05 c components : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c root node : - - - 0 - - 0 - - - - -
3587.22/3597.05 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.22/3597.05 c integral : 0 0 0 0 547 0 0 193 0 0 0 0 0 0 1094
3587.22/3597.05 c setppc : 37742 37742 318 84469 0 0 0 187 0 0 21409 0 0 0 0
3587.22/3597.05 c fixedvar : 0 0 0 0 0 0 0 189 0 0 0 0 0 0 0
3587.22/3597.05 c countsols : 0 0 0 0 0 0 0 189 0 0 0 0 0 0 0
3587.22/3597.05 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.22/3597.05 c integral : 936.48 0.00 0.00 0.00 936.48 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c setppc : 3.72 0.00 0.23 2.41 0.00 0.00 0.00 0.27 0.00 0.80
3587.22/3597.05 c fixedvar : 0.42 0.00 0.00 0.00 0.00 0.00 0.00 0.42 0.00 0.00
3587.22/3597.05 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.22/3597.05 c dualfix : 2 0 0 0
3587.22/3597.05 c genvbounds : 0 0 0 0
3587.22/3597.05 c nlobbt : 0 0 0 0
3587.22/3597.05 c obbt : 0 0 0 0
3587.22/3597.05 c probing : 0 0 0 0
3587.22/3597.05 c pseudoobj : 1854 0 0 0
3587.22/3597.05 c redcost : 321 0 0 0
3587.22/3597.05 c rootredcost : 1 0 0 0
3587.22/3597.05 c symmetry : 0 0 0 0
3587.22/3597.05 c vbounds : 18499 0 0 0
3587.22/3597.05 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.22/3597.05 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.22/3597.05 c probing : 0.10 0.00 0.10 0.00 0.00 0.00
3587.22/3597.05 c pseudoobj : 0.02 0.00 0.00 0.02 0.00 0.00
3587.22/3597.05 c redcost : 0.46 0.00 0.00 0.45 0.00 0.00
3587.22/3597.05 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.22/3597.05 c symmetry : 0.03 0.00 0.02 0.01 0.00 0.00
3587.22/3597.05 c vbounds : 0.02 0.00 0.00 0.01 0.00 0.00
3587.22/3597.05 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [--,--])
3587.22/3597.05 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.22/3597.05 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.22/3597.05 c bound exceed. LP : 0.26 328 0 - 0 0.0 0 0.0 0 0.0 270
3587.22/3597.05 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.22/3597.05 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.22/3597.05 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
3587.22/3597.05 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.22/3597.05 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.22/3597.05 c cut pool : 6.85 - 1846 635 - - 29773 126982 - - - - - (maximal pool size: 5466)
3587.22/3597.05 c aggregation : 10.32 0.00 886 318 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c > cmir : - - - - - - - 0 0 0 0 0 -
3587.22/3597.05 c > flowcover : - - - - - - - 0 0 0 0 0 -
3587.22/3597.05 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
3587.22/3597.05 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c clique : 5.30 0.00 318 318 0 0 3062 83189 0 30660 30660 0 0
3587.22/3597.05 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c gomory : 23.41 0.00 477 10 0 0 25376 29217 0 1324 1324 0 0
3587.22/3597.05 c > gomorymi : - - - - - - - 13440 0 131 131 0 -
3587.22/3597.05 c > strongcg : - - - - - - - 15777 0 1193 1193 0 -
3587.22/3597.05 c impliedbounds : 0.89 0.00 886 318 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c mcf : 0.02 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c multilinear : 0.00 0.00 327 318 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
3587.22/3597.05 c zerohalf : 12.65 0.00 487 20 0 0 1335 14576 0 5879 5879 0 0
3587.22/3597.05 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.22/3597.05 c hybrid : 0.63 0.00 1062 318 37863 0 89119 4995 0 5401
3587.22/3597.05 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c Pricers : ExecTime SetupTime Calls Vars
3587.22/3597.05 c problem variables: 0.00 - 0 0
3587.22/3597.05 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.22/3597.05 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c relpscost : 936.48 0.00 547 0 0 0 0 0 0 1094
3587.22/3597.05 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.22/3597.05 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.22/3597.05 c LP solutions : 0.00 - - 0 0
3587.22/3597.05 c relax solutions : 0.00 - - 0 0
3587.22/3597.05 c pseudo solutions : 0.00 - - 0 0
3587.22/3597.05 c strong branching : 0.10 - - 0 0
3587.22/3597.05 c actconsdiving : 0.00 0.00 0 0 0
3587.22/3597.05 c adaptivediving : 24.95 0.00 6 0 0
3587.22/3597.05 c alns : 0.10 0.00 1 0 0
3587.22/3597.05 c bound : 0.00 0.00 0 0 0
3587.22/3597.05 c clique : 0.08 0.00 1 1 1
3587.22/3597.05 c coefdiving : 0.00 0.00 0 0 0
3587.22/3597.05 c completesol : 0.00 0.00 0 0 0
3587.22/3597.05 c conflictdiving : 0.00 0.00 0 0 0
3587.22/3597.05 c crossover : 0.11 0.00 1 1 0
3587.22/3597.05 c dins : 0.00 0.00 0 0 0
3587.22/3597.05 c distributiondivin: 123.60 0.00 17 0 0
3587.22/3597.05 c dks : 0.00 0.00 0 0 0
3587.22/3597.05 c dps : 0.00 0.00 0 0 0
3587.22/3597.05 c dualval : 0.00 0.00 0 0 0
3587.22/3597.05 c farkasdiving : 0.00 0.00 0 0 0
3587.22/3597.05 c feaspump : 0.00 0.00 0 0 0
3587.22/3597.05 c fixandinfer : 0.00 0.00 0 0 0
3587.22/3597.05 c fracdiving : 105.30 0.00 23 0 0
3587.22/3597.05 c gins : 0.02 0.00 0 0 0
3587.22/3597.05 c guideddiving : 84.25 0.00 19 1 0
3587.22/3597.05 c indicator : 0.00 0.00 0 0 0
3587.22/3597.05 c indicatordiving : 0.00 0.00 0 0 0
3587.22/3597.05 c intdiving : 0.00 0.00 0 0 0
3587.22/3597.05 c intshifting : 0.00 0.00 0 0 0
3587.22/3597.05 c linesearchdiving : 63.16 0.00 15 0 0
3587.22/3597.05 c localbranching : 0.00 0.00 0 0 0
3587.22/3597.05 c locks : 0.02 0.00 1 1 1
3587.22/3597.05 c lpface : 0.00 0.00 0 0 0
3587.22/3597.05 c mpec : 0.00 0.00 0 0 0
3587.22/3597.05 c multistart : 0.00 0.00 0 0 0
3587.22/3597.05 c mutation : 0.00 0.00 0 0 0
3587.22/3597.05 c nlpdiving : 0.00 0.00 0 0 0
3587.22/3597.05 c objpscostdiving : 42.81 0.00 2 8 0
3587.22/3597.05 c octane : 0.00 0.00 0 0 0
3587.22/3597.05 c ofins : 0.00 0.00 0 0 0
3587.22/3597.05 c oneopt : 0.01 0.00 1 1 1
3587.22/3597.05 c padm : 0.00 0.00 0 0 0
3587.22/3597.05 c proximity : 0.00 0.00 0 0 0
3587.22/3597.05 c pscostdiving : 109.04 0.00 22 0 0
3587.22/3597.05 c randrounding : 5.87 0.00 319 163 0
3587.22/3597.05 c rens : 0.00 0.00 0 0 0
3587.22/3597.05 c reoptsols : 0.00 0.00 0 0 0
3587.22/3597.05 c repair : 0.00 0.00 0 0 0
3587.22/3597.05 c rins : 0.00 0.00 0 0 0
3587.22/3597.05 c rootsoldiving : 36.06 0.00 6 8 0
3587.22/3597.05 c rounding : 6.52 0.00 499 0 0
3587.22/3597.05 c scheduler : 0.00 0.00 0 0 0
3587.22/3597.05 c shiftandpropagate: 0.00 0.00 0 0 0
3587.22/3597.05 c shifting : 6.20 0.00 390 0 0
3587.22/3597.05 c simplerounding : 0.07 0.00 1609 0 0
3587.22/3597.05 c subnlp : 0.00 0.00 0 0 0
3587.22/3597.05 c trivial : 0.02 0.00 2 1 1
3587.22/3597.05 c trivialnegation : 0.00 0.00 0 0 0
3587.22/3597.05 c trustregion : 0.00 0.00 0 0 0
3587.22/3597.05 c trysol : 0.00 0.00 0 0 0
3587.22/3597.05 c twoopt : 0.00 0.00 0 0 0
3587.22/3597.05 c undercover : 0.00 0.00 0 0 0
3587.22/3597.05 c vbounds : 0.09 0.00 1 1 0
3587.22/3597.05 c veclendiving : 77.78 0.00 30 0 0
3587.22/3597.05 c zeroobj : 0.00 0.00 0 0 0
3587.22/3597.05 c zirounding : 1.71 0.00 547 0 0
3587.22/3597.05 c other solutions : - - - 0 -
3587.22/3597.05 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.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
3587.22/3597.05 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.22/3597.05 c primal LP : 1.51 347 0 0.00 0.00 1.51 347
3587.22/3597.05 c dual LP : 1902.43 1610 2637368 1638.12 1386.31 0.00 0
3587.22/3597.05 c lex dual LP : 0.00 0 0 0.00 -
3587.22/3597.05 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.22/3597.05 c resolve instable : 0.00 0 0 0.00 -
3587.22/3597.05 c diving/probing LP: 649.53 1369 1217519 889.35 1874.45
3587.22/3597.05 c strong branching : 927.19 1366 1215679 889.96 1311.14 - - 1893
3587.22/3597.05 c (at root node) : - 26 26000 1000.00 -
3587.22/3597.05 c conflict analysis: 0.05 27 270 10.00 5053.25
3587.22/3597.05 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.22/3597.05 c benders : 0.00 0 0 0 0.00 0 0 0
3587.22/3597.05 c B&B Tree :
3587.22/3597.05 c number of runs : 1
3587.22/3597.05 c nodes : 548 (547 internal, 1 leaves)
3587.22/3597.05 c feasible leaves : 0
3587.22/3597.05 c infeas. leaves : 0
3587.22/3597.05 c objective leaves : 0
3587.22/3597.05 c nodes (total) : 548 (547 internal, 1 leaves)
3587.22/3597.05 c nodes left : 548
3587.22/3597.05 c max depth : 16
3587.22/3597.05 c max depth (total): 16
3587.22/3597.05 c backtracks : 274 (50.0%)
3587.22/3597.05 c early backtracks : 0 (0.0%)
3587.22/3597.05 c nodes exc. ref. : 0 (0.0%)
3587.22/3597.05 c delayed cutoffs : 0
3587.22/3597.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.22/3597.05 c avg switch length: 7.70
3587.22/3597.05 c switching time : 2.48
3587.22/3597.05 c Root Node :
3587.22/3597.05 c First LP value : -5.00000000000000e+02
3587.22/3597.05 c First LP Iters : 1049 (11192.80 Iter/sec)
3587.22/3597.05 c First LP Time : 0.09
3587.22/3597.05 c Final Dual Bound : -2.40975502196398e+02
3587.22/3597.05 c Final Root Iters : 326901
3587.22/3597.05 c Root LP Estimate : -7.52241462086440e+01
3587.22/3597.05 c Solution :
3587.22/3597.05 c Solutions found : 186 (4 improvements)
3587.22/3597.05 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.26 seconds, depth 0, found by <trivial>)
3587.22/3597.05 c Gap First Sol. : infinite
3587.22/3597.05 c Gap Last Sol. : 1233.33 %
3587.22/3597.05 c Primal Bound : -7.50000000000000e+01 (in run 1, after 1 nodes, 0.93 seconds, depth 0, found by <oneopt>)
3587.22/3597.05 c Dual Bound : -2.40102876291314e+02
3587.22/3597.05 c Gap : 220.14 %
3587.22/3597.05 c Integrals : Total Avg%
3587.22/3597.05 c primal-dual : 248663.92 69.13
3587.22/3597.05 c primal-ref : - - (not evaluated)
3587.22/3597.05 c dual-ref : - - (not evaluated)
3587.61/3597.47 c Time complete (sec): 3587.700
OK -75
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: 63708 MiB (63065 MiB free)
memory of node 1: 64465 MiB (63809 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4498166-1751268244/watcher-4498166-1751268244 -o /tmp/evaluation-result-4498166-1751268244/solver-4498166-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39662 --watchdog 3760 pbsolver -f HOME/instance-4498166-1751268244.opb -t 3600 -m 31000
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=39897, runsolver pid=39893
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129823608/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=81784 memory=70144 CPUtime=0.09 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 15565 0 0 0 7 2 0 0 20 0 1 0 42503869 83746816 17536 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 20446 17536 2176 2575 0 17353 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 81784 KiB
Current children cumulated memory: 70144 KiB
[startup+0.20553 s]*
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129726608/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=141480 memory=132084 CPUtime=0.2 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 31449 0 0 0 15 5 0 0 20 0 1 0 42503869 144875520 33021 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 35370 33021 2368 2575 0 32277 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 141480 KiB
Current children cumulated memory: 132084 KiB
[startup+0.305532 s]*
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129678224/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=179188 memory=164852 CPUtime=0.3 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 39623 0 0 0 24 6 0 0 20 0 1 0 42503869 183488512 41213 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 44797 41213 2432 2575 0 41704 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 179188 KiB
Current children cumulated memory: 164852 KiB
[startup+0.700184 s]
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129628580/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=215376 memory=197492 CPUtime=0.68 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 47872 0 0 0 61 7 0 0 20 0 1 0 42503869 220545024 49373 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 53844 49373 2496 2575 0 50751 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 197492 KiB
[startup+1.50017 s]
/proc/loadavg: 0.87 0.26 0.14 5/266 39902
/proc/meminfo: memFree=129584732/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=263940 memory=240068 CPUtime=1.49 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 62107 0 0 0 139 10 0 0 20 0 1 0 42503869 270274560 60017 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 65985 60017 2624 2575 0 62892 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 263940 KiB
Current children cumulated memory: 240068 KiB
[startup+3.10531 s]
/proc/loadavg: 1.12 0.33 0.17 5/266 39902
/proc/meminfo: memFree=129535308/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=278068 memory=243888 CPUtime=3.09 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 63377 0 0 0 299 10 0 0 20 0 1 0 42503869 284741632 60972 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 69517 60972 2624 2575 0 66424 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 278068 KiB
Current children cumulated memory: 243888 KiB
[startup+6.30013 s]
/proc/loadavg: 1.12 0.33 0.17 5/266 39902
/proc/meminfo: memFree=129479356/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=300492 memory=255920 CPUtime=6.27 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 66391 0 0 0 617 10 0 0 20 0 1 0 42503869 307703808 63980 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 75123 63980 2624 2575 0 72030 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 300492 KiB
Current children cumulated memory: 255920 KiB
[startup+12.7002 s]
/proc/loadavg: 1.57 0.45 0.21 5/266 39902
/proc/meminfo: memFree=129447368/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=326660 memory=268080 CPUtime=12.65 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 69416 0 0 0 1254 11 0 0 20 0 1 0 42503869 334499840 67020 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 81665 67020 2624 2575 0 78572 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 326660 KiB
Current children cumulated memory: 268080 KiB
[startup+25.5002 s]
/proc/loadavg: 2.02 0.58 0.25 5/266 39903
/proc/meminfo: memFree=129399512/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=347988 memory=271280 CPUtime=25.42 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 70215 0 0 0 2530 12 0 0 20 0 1 0 42503869 356339712 67820 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 86997 67820 2624 2575 0 83904 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 347988 KiB
Current children cumulated memory: 271280 KiB
[startup+51.1054 s]
/proc/loadavg: 2.70 0.86 0.35 5/266 39903
/proc/meminfo: memFree=129330836/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=369088 memory=279816 CPUtime=50.95 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 71861 0 0 0 5083 12 0 0 20 0 1 0 42503869 377946112 69954 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 92272 69954 2624 2575 0 89179 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 369088 KiB
Current children cumulated memory: 279816 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 1.42 0.58 5/266 39905
/proc/meminfo: memFree=129151168/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=379328 memory=290312 CPUtime=101.99 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 74485 0 0 0 10187 12 0 0 20 0 1 0 42503869 388431872 72578 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 94832 72578 2624 2575 0 91739 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 379328 KiB
Current children cumulated memory: 290312 KiB
[startup+162.3 s]
/proc/loadavg: 3.92 1.91 0.80 5/267 39908
/proc/meminfo: memFree=129029860/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=395156 memory=306056 CPUtime=161.81 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 78396 0 0 0 16167 14 0 0 20 0 1 0 42503869 404639744 76514 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 98789 76514 2624 2575 0 95696 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 395156 KiB
Current children cumulated memory: 306056 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.31 1.01 5/267 39911
/proc/meminfo: memFree=128804584/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=434520 memory=345608 CPUtime=221.63 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 88288 0 0 0 22148 15 0 0 20 0 1 0 42503869 444948480 86402 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 108630 86402 2624 2575 0 105537 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 434520 KiB
Current children cumulated memory: 345608 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.65 1.21 5/267 39913
/proc/meminfo: memFree=128638244/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=486800 memory=396552 CPUtime=281.45 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 100989 0 0 0 28127 18 0 0 20 0 1 0 42503869 498483200 99138 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 121700 99138 2688 2575 0 118607 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 486800 KiB
Current children cumulated memory: 396552 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 2.91 1.39 5/264 39915
/proc/meminfo: memFree=128450240/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=486800 memory=396552 CPUtime=341.28 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 100989 0 0 0 34110 18 0 0 20 0 1 0 42503869 498483200 99138 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 121700 99138 2688 2575 0 118607 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 486800 KiB
Current children cumulated memory: 396552 KiB
[startup+402.3 s]
/proc/loadavg: 4.07 3.13 1.56 5/264 39917
/proc/meminfo: memFree=128300752/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=486800 memory=396552 CPUtime=401.1 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 100989 0 0 0 40092 18 0 0 20 0 1 0 42503869 498483200 99138 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 121700 99138 2688 2575 0 118607 0
Current children cumulated CPU time: 401.1 s
Current children cumulated vsize: 486800 KiB
Current children cumulated memory: 396552 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.32 1.73 5/263 39919
/proc/meminfo: memFree=128165580/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=486800 memory=396680 CPUtime=460.92 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 100993 0 0 0 46074 18 0 0 20 0 1 0 42503869 498483200 99170 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 121700 99170 2688 2575 0 118607 0
################
# More data... #
################
/proc/loadavg: 4.32 4.15 4.03 5/263 40110
/proc/meminfo: memFree=126697020/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1740012 memory=1024872 CPUtime=3153.62 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 191981 0 0 0 315324 38 0 0 20 0 1 0 42503869 1781772288 256218 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 435003 256218 2688 2575 0 431910 0
Current children cumulated CPU time: 3153.62 s
Current children cumulated vsize: 1740012 KiB
Current children cumulated memory: 1024872 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.18 4.04 5/265 40114
/proc/meminfo: memFree=126644548/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1746268 memory=1079656 CPUtime=3213.47 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 192443 0 0 0 321309 38 0 0 20 0 1 0 42503869 1788178432 269914 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 436567 269914 2688 2575 0 433474 0
Current children cumulated CPU time: 3213.47 s
Current children cumulated vsize: 1746268 KiB
Current children cumulated memory: 1079656 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.22 4.07 5/265 40116
/proc/meminfo: memFree=126594840/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1760412 memory=1131752 CPUtime=3273.32 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 193368 0 0 0 327294 38 0 0 20 0 1 0 42503869 1802661888 282938 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 440103 282938 2688 2575 0 437010 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 1760412 KiB
Current children cumulated memory: 1131752 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.21 4.07 5/264 40118
/proc/meminfo: memFree=126555404/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1775092 memory=1175772 CPUtime=3333.17 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 193465 0 0 0 333279 38 0 0 20 0 1 0 42503869 1817694208 293943 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 443773 293943 2688 2575 0 440680 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 1775092 KiB
Current children cumulated memory: 1175772 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.19 4.07 5/264 40120
/proc/meminfo: memFree=126499544/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1803432 memory=1223356 CPUtime=3393.01 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 193773 0 0 0 339263 38 0 0 20 0 1 0 42503869 1846714368 305839 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 450858 305839 2688 2575 0 447765 0
Current children cumulated CPU time: 3393.01 s
Current children cumulated vsize: 1803432 KiB
Current children cumulated memory: 1223356 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.16 4.07 5/264 40122
/proc/meminfo: memFree=126439732/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1825788 memory=1286460 CPUtime=3452.87 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 194848 0 0 0 345248 39 0 0 20 0 1 0 42503869 1869606912 321615 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 456447 321615 2688 2575 0 453354 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 1825788 KiB
Current children cumulated memory: 1286460 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.08 5/262 40123
/proc/meminfo: memFree=126386920/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1831024 memory=1338684 CPUtime=3512.71 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195323 0 0 0 351232 39 0 0 20 0 1 0 42503869 1874968576 334671 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 457756 334671 2688 2575 0 454663 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 1831024 KiB
Current children cumulated memory: 1338684 KiB
[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.08 5/262 40125
/proc/meminfo: memFree=126347992/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1837456 memory=1378364 CPUtime=3572.55 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195591 0 0 0 357216 39 0 0 20 0 1 0 42503869 1881554944 344591 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 459364 344591 2688 2575 0 456271 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 1837456 KiB
Current children cumulated memory: 1378364 KiB
[startup+3597.48 s]
# the end of solver process 39897 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.3 s, system=0.403874 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.14 4.08 5/262 40125
/proc/meminfo: memFree=126347992/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1837456 memory=1378364 CPUtime=3574.25 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195604 0 0 0 357386 39 0 0 20 0 1 0 42503869 1881554944 344591 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 459364 344591 2688 2575 0 456271 0
Current children cumulated CPU time: 3574.25 s
Current children cumulated vsize: 1837456 KiB
Current children cumulated memory: 1378364 KiB
[startup+3590.4 s]
/proc/loadavg: 4.16 4.16 4.08 5/262 40126
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1844772 memory=1388860 CPUtime=3580.63 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195675 0 0 0 358024 39 0 0 20 0 1 0 42503869 1889046528 347215 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 461193 347215 2688 2575 0 458100 0
Current children cumulated CPU time: 3580.63 s
Current children cumulated vsize: 1844772 KiB
Current children cumulated memory: 1388860 KiB
[startup+3593.6 s]
/proc/loadavg: 4.15 4.15 4.08 5/262 40126
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1844772 memory=1388860 CPUtime=3583.82 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195676 0 0 0 358343 39 0 0 20 0 1 0 42503869 1889046528 347215 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 461193 347215 2688 2575 0 458100 0
Current children cumulated CPU time: 3583.82 s
Current children cumulated vsize: 1844772 KiB
Current children cumulated memory: 1388860 KiB
[startup+3595.2 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1844772 memory=1388988 CPUtime=3585.42 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195686 0 0 0 358503 39 0 0 20 0 1 0 42503869 1889046528 347247 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 461193 347247 2688 2575 0 458100 0
Current children cumulated CPU time: 3585.42 s
Current children cumulated vsize: 1844772 KiB
Current children cumulated memory: 1388988 KiB
[startup+3596.8 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1845388 memory=1388988 CPUtime=3587.02 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195691 0 0 0 358663 39 0 0 20 0 1 0 42503869 1889677312 347247 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 461347 347247 2688 2575 0 458254 0
Current children cumulated CPU time: 3587.02 s
Current children cumulated vsize: 1845388 KiB
Current children cumulated memory: 1388988 KiB
[startup+3597.2 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1845388 memory=1388988 CPUtime=3587.41 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195732 0 0 0 358702 39 0 0 20 0 1 0 42503869 1889677312 347247 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 461347 347247 2688 2575 0 458254 0
Current children cumulated CPU time: 3587.41 s
Current children cumulated vsize: 1845388 KiB
Current children cumulated memory: 1388988 KiB
[startup+3597.4 s]
/proc/loadavg: 4.15 4.15 4.08 5/263 40127
/proc/meminfo: memFree=126337888/131250000 swapFree=33009904/33010684
[pid=39897] ppid=39893 vsize=1834184 memory=1377812 CPUtime=3587.61 cores=4,6
/proc/39897/stat : 39897 (pbsolver) R 39893 39897 39644 0 -1 4194304 195741 0 0 0 358722 39 0 0 20 0 1 0 42503869 1878204416 344453 18446744073709551615 4198400 14743177 140726726047824 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 16769280 16853168 27586560 140726726056330 140726726056426 140726726056426 140726726062028 0
/proc/39897/statm: 458546 344453 2688 2575 0 455453 0
Current children cumulated CPU time: 3587.61 s
Current children cumulated vsize: 1834184 KiB
Current children cumulated memory: 1377812 KiB
Child status: 0
Real time (s): 3597.48
CPU time (s): 3587.7
CPU user time (s): 3587.3
CPU system time (s): 0.403874
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 1845388
Max. memory (cumulated for all children) (KiB): 1388988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.3
system time used= 0.403874
maximum resident set size= 1388988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195913
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= 30
involuntary context switches= 2796
# summary of solver processes directly reported to runsolver:
# pid: 39897
# total CPU time (s): 3587.7
# total CPU user time (s): 3587.3
# total CPU system time (s): 0.403874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51844 second user time and 14.5745 second system time
The end
Begin job on nodeC033 at 2025-06-30 09:24:04 IDJOB=4498166 IDBENCH=148537 IDSOLVER=3366 FILE ID=nodeC033/4498166-1751268244 RUNJOBID= nodeC033-1751268232-39662 SLURM_JOB_ID= 9594200 Free space on /tmp= 432748 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB07/OPT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_4.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498166-1751268244/watcher-4498166-1751268244 -o /tmp/evaluation-result-4498166-1751268244/solver-4498166-1751268244 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751268232-39662 --watchdog 3760 pbsolver -f HOME/instance-4498166-1751268244.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3e57f143ec316384ecd8a4071d2e7f39 RANDOM SEED=1449179163 nodeC033 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 : 3600.063 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 : 7000.13 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.115 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 : 7000.13 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 : 3606.016 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 : 7000.13 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 : 3600.301 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 : 7000.13 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.056 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 : 7000.13 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 : 3599.277 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 : 7000.13 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.691 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 : 7000.13 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 : 3600.253 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 : 7000.13 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129996312 kB MemAvailable: 129728840 kB Buffers: 2128 kB Cached: 532788 kB SwapCached: 68 kB Active: 269740 kB Inactive: 356024 kB Active(anon): 84072 kB Inactive(anon): 24812 kB Active(file): 185668 kB Inactive(file): 331212 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33009904 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 61600 kB Writeback: 28 kB AnonPages: 93604 kB Mapped: 114632 kB Shmem: 18028 kB KReclaimable: 109772 kB Slab: 197748 kB SReclaimable: 109772 kB SUnreclaim: 87976 kB KernelStack: 4192 kB PageTables: 3020 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 388948 kB VmallocTotal: 34359738367 kB VmallocUsed: 150488 kB VmallocChunk: 0 kB Percpu: 3680 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 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: 221908 kB DirectMap2M: 11083776 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 432716 MiB End job on nodeC033 at 2025-06-30 10:24:02