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 | -49 | 3586.78 | 3597.35 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb |
| MD5SUM | 3ad6c959019bf046c7e592cfae8de121 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -55 |
| Best CPU time to get the best result obtained on this benchmark | 3586.35 |
| 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 | 1400 |
| Total number of constraints | 109379 |
| Number of constraints which are clauses | 109379 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 2 |
| Number of terms in the objective function | 1400 |
| 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 | 1400 |
| Number of bits of the sum of numbers in the objective function | 11 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1400 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.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-4484779-1751302021.opb>
0.09/0.16 c original problem has 1400 variables (1400 bin, 0 int, 0 cont) and 109379 constraints
0.09/0.16 c problem read in 0.165 seconds
0.30/0.31 o 0
0.30/0.31 c feasible solution found by trivial heuristic after 0.3 seconds, objective value 0.000000e+00
0.30/0.31 c presolving:
0.50/0.55 c (0.6s) running MILP presolver
0.68/0.73 c (0.7s) MILP presolver found nothing
0.89/0.93 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 109379 upgd conss, 0 impls, 109379 clqs
1.58/1.65 c (1.7s) probing: 51/1400 (3.6%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.58/1.65 c (1.7s) probing aborted: 50/50 successive totally useless probings
2.28/2.30 c (2.3s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.28/2.35 c (2.3s) no symmetry present (symcode time: 0.01)
2.28/2.37 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
2.28/2.37 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
2.28/2.37 c 0 implications, 109379 cliques
2.28/2.37 c presolved problem has 1400 variables (1400 bin, 0 int, 0 cont) and 109379 constraints
2.28/2.37 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
2.28/2.37 c 109379 constraints of type <setppc>
2.28/2.37 c transformed objective value is always integral (scale: 1)
2.28/2.37 c Presolving Time: 2.07
2.28/2.37 c
2.28/2.37 c - non default parameters ----------------------------------------------------------------------
2.28/2.37 c
2.28/2.37 c # SCIP version 10.0.0
2.28/2.37 c
2.28/2.37 c # maximal time in seconds to run
2.28/2.37 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
2.28/2.37 c limits/time = 3596.99801
2.28/2.37 c
2.28/2.37 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
2.28/2.37 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
2.28/2.37 c limits/memory = 27900
2.28/2.37 c
2.28/2.37 c # belongs reading time to solving time?
2.28/2.37 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
2.28/2.37 c timing/reading = TRUE
2.28/2.37 c
2.28/2.37 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
2.28/2.37 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
2.28/2.37 c reading/opbreader/maxintsize = 47
2.28/2.37 c
2.28/2.37 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
2.28/2.37 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
2.28/2.37 c propagating/genvbounds/timingmask = 0
2.28/2.37 c
2.28/2.37 c -----------------------------------------------------------------------------------------------
2.28/2.37 c transformed 1/1 original solutions to the transformed problem space
2.28/2.37 c
2.58/2.61 o -35
2.58/2.61 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.58/2.61 c p 2.6s| 1 | 0 | 0 | - | clique| 0 |1400 | 109k| 109k| 0 | 0 | 0 | 0 |-1.400000e+03 |-3.500000e+01 |3900.00%| unknown
3.68/3.71 c 3.7s| 1 | 0 | 1400 | - | 495M | 0 |1400 | 109k| 109k| 0 | 0 | 0 | 0 |-7.000000e+02 |-3.500000e+01 |1900.00%| unknown
5.18/5.28 c 5.3s| 1 | 0 | 1687 | - | 524M | 0 |1400 | 109k| 109k| 13 | 1 | 0 | 0 |-6.610000e+02 |-3.500000e+01 |1788.57%| unknown
8.86/9.00 c 9.0s| 1 | 0 | 1935 | - | 537M | 0 |1400 | 109k| 109k| 36 | 2 | 0 | 0 |-6.400000e+02 |-3.500000e+01 |1728.57%| unknown
13.95/14.10 c 14.1s| 1 | 0 | 2306 | - | 550M | 0 |1400 | 109k| 109k| 58 | 3 | 0 | 0 |-6.100000e+02 |-3.500000e+01 |1642.86%| unknown
16.44/16.52 c 16.5s| 1 | 0 | 3116 | - | 561M | 0 |1400 | 109k| 109k| 98 | 4 | 0 | 0 |-5.737500e+02 |-3.500000e+01 |1539.29%| unknown
18.23/18.33 c 18.3s| 1 | 0 | 3806 | - | 572M | 0 |1400 | 109k| 109k| 134 | 5 | 0 | 0 |-5.402500e+02 |-3.500000e+01 |1443.57%| unknown
19.63/19.73 c 19.7s| 1 | 0 | 4747 | - | 584M | 0 |1400 | 109k| 109k| 171 | 6 | 0 | 0 |-5.063333e+02 |-3.500000e+01 |1346.67%| unknown
21.12/21.25 c 21.2s| 1 | 0 | 6010 | - | 596M | 0 |1400 | 109k| 109k| 219 | 7 | 0 | 0 |-4.638333e+02 |-3.500000e+01 |1225.24%| unknown
22.32/22.46 c 22.5s| 1 | 0 | 7096 | - | 607M | 0 |1400 | 109k| 109k| 266 | 8 | 0 | 0 |-4.232500e+02 |-3.500000e+01 |1109.29%| unknown
23.32/23.49 c 23.5s| 1 | 0 | 7936 | - | 618M | 0 |1400 | 109k| 109k| 308 | 9 | 0 | 0 |-4.067500e+02 |-3.500000e+01 |1062.14%| unknown
24.82/24.98 c 25.0s| 1 | 0 | 9713 | - | 631M | 0 |1400 | 109k| 109k| 347 | 10 | 0 | 0 |-3.904167e+02 |-3.500000e+01 |1015.48%| unknown
26.32/26.44 c 26.4s| 1 | 0 | 11782 | - | 643M | 0 |1400 | 109k| 109k| 377 | 11 | 0 | 0 |-3.588333e+02 |-3.500000e+01 | 925.24%| unknown
27.31/27.49 c 27.5s| 1 | 0 | 13073 | - | 653M | 0 |1400 | 109k| 109k| 400 | 12 | 0 | 0 |-3.480833e+02 |-3.500000e+01 | 894.52%| unknown
28.91/29.10 c 29.1s| 1 | 0 | 15638 | - | 664M | 0 |1400 | 109k| 109k| 426 | 13 | 0 | 0 |-3.095000e+02 |-3.500000e+01 | 784.29%| unknown
29.70/29.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
29.70/29.85 c 29.9s| 1 | 0 | 16613 | - | 675M | 0 |1400 | 109k| 109k| 442 | 14 | 0 | 0 |-3.000000e+02 |-3.500000e+01 | 757.14%| unknown
31.30/31.48 c 31.5s| 1 | 0 | 19359 | - | 686M | 0 |1400 | 109k| 109k| 477 | 15 | 0 | 0 |-2.784286e+02 |-3.500000e+01 | 695.51%| unknown
32.69/32.89 c 32.9s| 1 | 0 | 21508 | - | 697M | 0 |1400 | 109k| 109k| 493 | 16 | 0 | 0 |-2.600000e+02 |-3.500000e+01 | 642.86%| unknown
34.29/34.46 c 34.5s| 1 | 0 | 24163 | - | 707M | 0 |1400 | 109k| 109k| 515 | 17 | 0 | 0 |-2.393500e+02 |-3.500000e+01 | 583.86%| unknown
35.68/35.81 c 35.8s| 1 | 0 | 26873 | - | 718M | 0 |1400 | 109k| 109k| 546 | 18 | 0 | 0 |-2.206429e+02 |-3.500000e+01 | 530.41%| unknown
36.68/36.80 c 36.8s| 1 | 0 | 28585 | - | 728M | 0 |1400 | 109k| 109k| 571 | 19 | 0 | 0 |-2.105000e+02 |-3.500000e+01 | 501.43%| unknown
38.27/38.43 c 38.4s| 1 | 0 | 32175 | - | 739M | 0 |1400 | 109k| 109k| 594 | 20 | 0 | 0 |-1.839583e+02 |-3.500000e+01 | 425.60%| unknown
38.77/38.92 c 38.9s| 1 | 0 | 32994 | - | 739M | 0 |1400 | 109k| 109k| 604 | 21 | 0 | 0 |-1.588333e+02 |-3.500000e+01 | 353.81%| unknown
39.37/39.59 c 39.6s| 1 | 0 | 34528 | - | 739M | 0 |1400 | 109k| 109k| 606 | 22 | 0 | 0 |-1.438000e+02 |-3.500000e+01 | 310.86%| unknown
39.77/39.97 c 40.0s| 1 | 0 | 35240 | - | 739M | 0 |1400 | 109k| 109k| 608 | 23 | 0 | 0 |-1.343750e+02 |-3.500000e+01 | 283.93%| unknown
39.97/40.16 c 40.2s| 1 | 0 | 35415 | - | 739M | 0 |1400 | 109k| 109k| 609 | 24 | 0 | 0 |-1.262500e+02 |-3.500000e+01 | 260.71%| unknown
40.36/40.57 c 40.6s| 1 | 0 | 36303 | - | 740M | 0 |1400 | 109k| 109k| 615 | 25 | 0 | 0 |-1.035000e+02 |-3.500000e+01 | 195.71%| unknown
40.66/40.88 c 40.9s| 1 | 0 | 36831 | - | 740M | 0 |1400 | 109k| 109k| 620 | 26 | 0 | 0 |-8.300000e+01 |-3.500000e+01 | 137.14%| unknown
40.87/41.03 c 41.0s| 1 | 0 | 36911 | - | 740M | 0 |1400 | 109k| 109k| 622 | 27 | 0 | 0 |-7.350000e+01 |-3.500000e+01 | 110.00%| unknown
41.06/41.21 c 41.2s| 1 | 0 | 37038 | - | 741M | 0 |1400 | 109k| 109k| 624 | 28 | 0 | 0 |-6.450000e+01 |-3.500000e+01 | 84.29%| unknown
41.36/41.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
41.36/41.50 c 41.5s| 1 | 0 | 37446 | - | 741M | 0 |1400 | 109k| 109k| 626 | 29 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.46/41.65 c 41.7s| 1 | 0 | 37540 | - | 741M | 0 |1400 | 109k| 109k| 630 | 30 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.66/41.81 c 41.8s| 1 | 0 | 37611 | - | 742M | 0 |1400 | 109k| 109k| 637 | 31 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.76/41.97 c 42.0s| 1 | 0 | 37674 | - | 743M | 0 |1400 | 109k| 109k| 643 | 32 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
41.97/42.12 c 42.1s| 1 | 0 | 37711 | - | 744M | 0 |1400 | 109k| 109k| 649 | 33 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.06/42.29 c 42.3s| 1 | 0 | 37789 | - | 745M | 0 |1400 | 109k| 109k| 657 | 34 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.26/42.48 c 42.5s| 1 | 0 | 37851 | - | 746M | 0 |1400 | 109k| 109k| 665 | 35 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.46/42.64 c 42.6s| 1 | 0 | 37909 | - | 746M | 0 |1400 | 109k| 109k| 672 | 36 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.66/42.84 c 42.8s| 1 | 0 | 38004 | - | 747M | 0 |1400 | 109k| 109k| 680 | 37 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
42.87/43.02 c 43.0s| 1 | 0 | 38080 | - | 748M | 0 |1400 | 109k| 109k| 689 | 38 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
43.06/43.20 c 43.2s| 1 | 0 | 38162 | - | 748M | 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-3.500000e+01 | 60.00%| unknown
45.55/45.79 o -38
45.55/45.79 c L45.8s| 1 | 0 | 38162 | - | rens| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-3.800000e+01 | 47.37%| unknown
45.85/46.06 o -40
45.85/46.06 c L46.1s| 1 | 0 | 38162 | - | alns| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.000000e+01 | 40.00%| unknown
45.85/46.09 c 46.1s| 1 | 0 | 38162 | - | 749M | 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.000000e+01 | 40.00%| unknown
45.95/46.10 o -43
45.95/46.10 c i46.1s| 1 | 0 | 38162 | - | oneopt| 0 |1400 | 109k| 109k| 697 | 39 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
45.95/46.17 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
45.95/46.17 c 46.2s| 1 | 0 | 38211 | - | 749M | 0 |1400 | 109k| 109k| 702 | 40 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
46.04/46.29 c 46.3s| 1 | 0 | 38233 | - | 750M | 0 |1400 | 109k| 109k| 710 | 41 | 0 | 0 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
49.64/49.82 c 49.8s| 1 | 2 | 38299 | - | 751M | 0 |1400 | 109k| 109k| 710 | 41 | 0 | 27 |-5.600000e+01 |-4.300000e+01 | 30.23%| unknown
114.44/114.89 o -44
114.44/114.89 c d 115s| 61 | 62 | 45560 | 122.1 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.400000e+01 | 27.27%| unknown
114.54/114.91 o -46
114.54/114.91 c d 115s| 61 | 62 | 45593 | 122.7 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.600000e+01 | 21.74%| unknown
114.54/114.93 o -47
114.54/114.93 c d 115s| 61 | 62 | 45597 | 122.7 |pscostdi| 15 |1400 | 109k| 109k| 0 | 1 | 0 | 464 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
157.88/158.43 c 158s| 100 | 97 | 50801 | 126.9 | 911M | 20 |1400 | 109k| 109k| 965 | 1 | 4 | 942 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
190.28/190.93 c 191s| 200 | 175 | 60072 | 109.7 | 988M | 26 |1400 | 109k| 109k|1057 | 1 | 15 |1187 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
206.93/207.66 c 208s| 300 | 257 | 68029 | 99.7 | 1004M | 26 |1400 | 109k| 109k|1133 | 1 | 15 |1224 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
224.18/224.99 c 225s| 400 | 335 | 75886 | 94.4 | 1029M | 26 |1400 | 109k| 109k|1217 | 2 | 19 |1271 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
247.22/248.04 c 248s| 500 | 435 |101399 | 126.6 | 1054M | 26 |1400 | 109k| 109k|1395 | 1 | 111 |1309 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
300.77/301.74 c 302s| 600 | 535 |132195 | 156.9 | 1110M | 26 |1400 | 109k| 109k|1665 | 1 | 256 |1352 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
327.59/328.60 c 329s| 700 | 635 |149737 | 159.5 | 1136M | 26 |1400 | 109k| 109k|1811 | 1 | 376 |1387 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
364.99/366.18 c 366s| 800 | 735 |169396 | 164.2 | 1167M | 26 |1400 | 109k| 109k|2128 | 1 | 510 |1425 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
402.58/403.88 c 404s| 900 | 835 |189922 | 168.7 | 1204M | 26 |1400 | 110k| 109k|2347 | 1 | 622 |1456 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
435.07/436.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
435.07/436.45 c 436s| 1000 | 935 |210758 | 172.7 | 1221M | 26 |1400 | 110k| 109k|2585 | 1 | 760 |1496 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
459.90/461.38 c 461s| 1100 | 1035 |226589 | 171.4 | 1231M | 26 |1400 | 110k| 109k|2716 | 2 | 902 |1532 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
501.67/503.29 c 503s| 1200 | 1135 |244890 | 172.4 | 1235M | 26 |1400 | 110k| 109k|2866 | 1 |1022 |1575 |-5.600000e+01 |-4.700000e+01 | 19.15%| unknown
512.83/514.50 o -48
512.93/514.50 c d 514s| 1280 | 1187 |257390 | 171.4 |pscostdi| 26 |1400 | 110k| 109k| 0 | 1 |1131 |1601 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
525.41/527.03 c 527s| 1300 | 1207 |261449 | 171.8 | 1250M | 26 |1400 | 110k| 109k|3076 | 1 |1165 |1610 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
553.01/554.76 c 555s| 1400 | 1307 |280039 | 172.8 | 1268M | 26 |1400 | 110k| 109k|3260 | 1 |1339 |1657 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
578.03/579.80 c 580s| 1500 | 1407 |305171 | 178.1 | 1272M | 26 |1400 | 110k| 109k|3356 | 1 |1490 |1685 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
606.25/608.19 c 608s| 1600 | 1507 |321296 | 177.0 | 1282M | 26 |1400 | 111k| 109k|3556 | 1 |1641 |1721 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
619.70/621.69 c 622s| 1700 | 1607 |334920 | 174.6 | 1298M | 26 |1400 | 111k| 109k|3610 | 1 |1840 |1759 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
639.54/641.55 c 642s| 1800 | 1707 |352444 | 174.7 | 1302M | 26 |1400 | 111k| 109k|3691 | 1 |1955 |1793 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
651.70/653.73 c 654s| 1900 | 1807 |367576 | 173.4 | 1307M | 26 |1400 | 111k| 109k|3741 | 1 |2116 |1827 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
706.85/709.02 c 709s| 2000 | 1907 |385847 | 173.9 | 1315M | 26 |1400 | 111k| 109k|3987 | 1 |2284 |1876 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
727.47/729.79 c 730s| 2100 | 2007 |398677 | 171.7 | 1329M | 33 |1400 | 111k| 109k|4078 | 1 |2431 |1907 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
736.44/738.70 c 739s| 2200 | 2107 |409900 | 169.0 | 1332M | 33 |1400 | 111k| 109k|4101 | 2 |2543 |1958 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
744.81/747.17 c 747s| 2300 | 2207 |420284 | 166.2 | 1334M | 37 |1400 | 111k| 109k|4118 | 1 |2628 |1994 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
760.05/762.42 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
760.05/762.42 c 762s| 2400 | 2297 |432103 | 164.2 | 1357M | 42 |1400 | 111k| 109k|4153 | 1 |2665 |2021 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
797.56/800.02 c 800s| 2500 | 2383 |441733 | 161.5 | 1467M | 44 |1400 | 112k| 109k|4306 | 1 |2702 |2049 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
834.05/836.62 c 837s| 2600 | 2463 |450966 | 158.8 | 1563M | 44 |1400 | 112k| 109k|4506 | 2 |2735 |2058 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
851.10/853.78 c 854s| 2700 | 2563 |464016 | 157.8 | 1567M | 44 |1400 | 112k| 109k|4657 | 1 |2794 |2079 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
857.68/860.34 c 860s| 2800 | 2651 |474501 | 155.9 | 1574M | 44 |1400 | 112k| 109k|4726 | 1 |2813 |2083 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
864.95/867.67 c 868s| 2900 | 2741 |486066 | 154.5 | 1580M | 44 |1400 | 112k| 109k|4790 | 1 |2837 |2087 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
881.20/883.97 c 884s| 3000 | 2835 |497174 | 153.0 | 1595M | 44 |1400 | 112k| 109k|4905 | 1 |2864 |2088 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
896.45/899.21 c 899s| 3100 | 2929 |506388 | 151.1 | 1609M | 44 |1400 | 112k| 109k|4994 | 1 |2920 |2088 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
937.53/940.47 c 940s| 3200 | 3025 |519290 | 150.4 | 1646M | 44 |1400 | 112k| 109k|5182 | 4 |2983 |2095 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
951.49/954.40 c 954s| 3300 | 3109 |528555 | 148.6 | 1650M | 44 |1400 | 112k| 109k|5270 | 1 |3023 |2106 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
978.90/981.99 c 982s| 3400 | 3197 |540317 | 147.7 | 1698M | 44 |1400 | 112k| 109k|5471 | 1 |3091 |2122 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
986.28/989.36 c 989s| 3500 | 3297 |553611 | 147.3 | 1701M | 44 |1400 | 112k| 109k|5485 | 1 |3170 |2126 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1025.07/1028.25 c 1028s| 3600 | 3387 |568906 | 147.5 | 1717M | 44 |1400 | 112k| 109k|5698 | 4 |3184 |2126 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1046.99/1050.26 c 1050s| 3700 | 3477 |578497 | 146.1 | 1720M | 44 |1400 | 112k| 109k|5804 | 1 |3224 |2126 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1060.25/1063.56 c 1064s| 3800 | 3575 |590244 | 145.3 | 1725M | 44 |1400 | 112k| 109k|5893 | 1 |3316 |2128 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1070.12/1073.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1070.12/1073.43 c 1073s| 3900 | 3673 |603041 | 144.9 | 1729M | 44 |1400 | 112k| 109k|5950 | 0 |3371 |2133 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1094.64/1098.03 c 1098s| 4000 | 3767 |612815 | 143.7 | 1736M | 44 |1400 | 112k| 109k|6032 | 1 |3403 |2157 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1115.37/1118.87 c 1119s| 4100 | 3865 |622904 | 142.6 | 1768M | 44 |1400 | 112k| 109k|6114 | 1 |3450 |2189 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1128.73/1132.28 c 1132s| 4200 | 3965 |635005 | 142.1 | 1771M | 44 |1400 | 112k| 109k|6176 | 1 |3492 |2219 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1148.37/1151.92 c 1152s| 4300 | 4065 |649825 | 142.3 | 1786M | 44 |1400 | 112k| 109k|6218 | 1 |3578 |2244 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1158.33/1161.96 c 1162s| 4400 | 4165 |663810 | 142.2 | 1789M | 44 |1400 | 112k| 109k|6259 | 1 |3650 |2286 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1167.00/1170.69 c 1171s| 4500 | 4257 |676165 | 141.8 | 1791M | 44 |1400 | 112k| 109k|6294 | 1 |3721 |2325 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1190.53/1194.29 c 1194s| 4600 | 4353 |687405 | 141.2 | 1806M | 44 |1400 | 112k| 109k|6373 | 1 |3771 |2375 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1208.07/1211.83 c 1212s| 4700 | 4451 |699072 | 140.6 | 1826M | 44 |1400 | 113k| 109k|6440 | 1 |3841 |2406 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1217.64/1221.41 c 1221s| 4800 | 4543 |709493 | 139.9 | 1832M | 44 |1400 | 113k| 109k|6472 | 1 |3908 |2444 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1239.98/1243.88 c 1244s| 4900 | 4637 |721232 | 139.4 | 1834M | 44 |1400 | 113k| 109k|6582 | 1 |3960 |2475 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1263.30/1267.27 c 1267s| 5000 | 4731 |732238 | 138.8 | 1840M | 44 |1400 | 113k| 109k|6679 | 1 |4022 |2518 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1271.77/1275.79 c 1276s| 5100 | 4829 |742480 | 138.1 | 1842M | 44 |1400 | 113k| 109k|6701 | 1 |4092 |2549 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1282.54/1286.56 c 1287s| 5200 | 4929 |751370 | 137.2 | 1844M | 44 |1400 | 113k| 109k|6734 | 1 |4137 |2576 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1305.08/1309.13 c 1309s| 5300 | 5027 |762218 | 136.6 | 1849M | 44 |1400 | 113k| 109k|6798 | 1 |4171 |2614 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1321.52/1325.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1321.52/1325.69 c 1326s| 5400 | 5123 |771054 | 135.7 | 1866M | 44 |1400 | 113k| 109k|6848 | 1 |4202 |2630 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1337.78/1341.97 c 1342s| 5500 | 5223 |782847 | 135.4 | 1868M | 44 |1400 | 113k| 109k|6900 | 1 |4305 |2664 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1354.93/1359.19 c 1359s| 5600 | 5317 |793259 | 134.9 | 1871M | 44 |1400 | 113k| 109k|6969 | 1 |4344 |2672 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1395.71/1400.06 c 1400s| 5700 | 5415 |805394 | 134.6 | 1885M | 44 |1400 | 113k| 109k|7091 | 1 |4416 |2692 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1413.66/1418.03 c 1418s| 5800 | 5511 |817154 | 134.3 | 1887M | 44 |1400 | 113k| 109k|7154 | 1 |4428 |2703 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1427.62/1432.07 c 1432s| 5900 | 5609 |826865 | 133.7 | 1913M | 44 |1400 | 113k| 109k|7200 | 1 |4509 |2712 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1438.58/1443.09 c 1443s| 6000 | 5705 |835988 | 133.0 | 1915M | 44 |1400 | 113k| 109k|7255 | 1 |4547 |2714 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1469.09/1473.63 c 1474s| 6100 | 5799 |847824 | 132.7 | 1921M | 44 |1400 | 113k| 109k|7327 | 1 |4572 |2868 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1478.05/1482.62 c 1483s| 6200 | 5897 |860514 | 132.6 | 1924M | 44 |1400 | 113k| 109k|7330 | 1 |4679 |2900 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1535.18/1539.97 c 1540s| 6300 | 5991 |870870 | 132.2 | 1930M | 44 |1400 | 113k| 109k|7544 | 1 |4770 |2920 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1591.63/1596.56 c 1597s| 6400 | 6081 |881113 | 131.7 | 1936M | 44 |1400 | 113k| 109k|7841 | 1 |4845 |2950 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1617.35/1622.36 c 1622s| 6500 | 6173 |894607 | 131.8 | 1939M | 44 |1400 | 113k| 109k|7985 | 1 |4940 |2967 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1640.88/1645.94 c 1646s| 6600 | 6271 |906803 | 131.6 | 1966M | 44 |1400 | 113k| 109k|8068 | 1 |5029 |2968 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1673.69/1678.88 c 1679s| 6700 | 6363 |918541 | 131.4 | 1997M | 44 |1400 | 113k| 109k|8189 | 1 |5054 |2980 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1693.63/1698.87 c 1699s| 6800 | 6455 |931556 | 131.4 | 2001M | 44 |1400 | 113k| 109k|8292 | 2 |5097 |2992 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1706.19/1711.44 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1706.19/1711.44 c 1711s| 6900 | 6551 |943227 | 131.2 | 2006M | 44 |1400 | 113k| 109k|8332 | 1 |5175 |2996 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1722.34/1727.63 c 1728s| 7000 | 6651 |954979 | 131.0 | 2011M | 44 |1400 | 113k| 109k|8380 | 1 |5277 |2999 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1738.89/1744.23 c 1744s| 7100 | 6739 |964899 | 130.5 | 2014M | 44 |1400 | 113k| 109k|8458 | 1 |5341 |3000 |-5.600000e+01 |-4.800000e+01 | 16.67%| unknown
1744.87/1750.23 o -49
1744.87/1750.23 c o1750s| 7181 | 6820 |973401 | 130.2 |objpscos| 44 |1400 | 114k| 109k|8509 | 1 |5405 |3000 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1746.26/1751.69 c 1752s| 7200 | 6480 |975617 | 130.2 | 2016M | 44 |1400 | 114k| 109k|8509 | 1 |5421 |3000 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1768.49/1774.00 c 1774s| 7300 | 6574 |988444 | 130.2 | 2019M | 44 |1400 | 114k| 109k|8613 | 1 |5508 |3000 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1782.15/1787.69 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
1782.15/1787.69 c (run 1, node 7376) performing user restart
1782.15/1787.69 c
1782.24/1787.71 c (restart) converted 111 cuts from the global cut pool into linear constraints
1782.24/1787.71 c
1782.44/1787.91 c presolving:
1782.84/1788.32 c (round 1, exhaustive) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 2 chg coeffs, 111 upgd conss, 0 impls, 109490 clqs
1783.04/1788.53 c (round 2, exhaustive) 0 del vars, 169 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 42 chg coeffs, 111 upgd conss, 0 impls, 109490 clqs
1783.55/1789.08 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1783.55/1789.08 c 0 deleted vars, 171 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 146 changed coefficients
1783.55/1789.08 c 0 implications, 109490 cliques
1783.55/1789.08 c presolved problem has 1400 variables (1400 bin, 0 int, 0 cont) and 113996 constraints
1783.55/1789.08 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
1783.55/1789.08 c 1 constraints of type <knapsack>
1783.55/1789.08 c 109490 constraints of type <setppc>
1783.55/1789.08 c 4505 constraints of type <logicor>
1783.55/1789.08 c transformed objective value is always integral (scale: 1)
1783.55/1789.08 c Presolving Time: 3.25
1783.84/1789.36 c transformed 67/100 original solutions to the transformed problem space
1783.84/1789.36 c
1784.34/1789.80 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1784.34/1789.80 c 1790s| 1 | 0 |999464 | - | 1884M | 0 |1400 | 113k| 109k| 0 | 0 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1788.33/1793.86 c 1794s| 1 | 0 |999538 | - | 1884M | 0 |1400 | 113k| 109k| 10 | 1 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1792.52/1798.03 c 1798s| 1 | 0 |999647 | - | 1884M | 0 |1400 | 113k| 109k| 23 | 2 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1798.80/1804.30 c 1804s| 1 | 0 |999739 | - | 1884M | 0 |1400 | 113k| 109k| 36 | 3 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1800.20/1805.70 c 1806s| 1 | 0 |999838 | - | 1884M | 0 |1400 | 113k| 109k| 46 | 4 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1804.39/1809.92 c 1810s| 1 | 0 |999938 | - | 1884M | 0 |1400 | 113k| 109k| 56 | 5 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1808.48/1814.02 c 1814s| 1 | 0 | 1000k| - | 1884M | 0 |1400 | 113k| 109k| 66 | 6 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1809.58/1815.16 c 1815s| 1 | 0 | 1000k| - | 1897M | 0 |1400 | 113k| 109k| 76 | 7 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1810.77/1816.34 c 1816s| 1 | 0 | 1000k| - | 1909M | 0 |1400 | 113k| 109k| 87 | 8 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1812.57/1818.18 c 1818s| 1 | 0 | 1000k| - | 1920M | 0 |1400 | 113k| 109k| 96 | 9 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1813.76/1819.34 c 1819s| 1 | 0 | 1000k| - | 1932M | 0 |1400 | 113k| 109k| 104 | 10 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1813.86/1819.49 c 1819s| 1 | 0 | 1000k| - | 1944M | 0 |1400 | 113k| 109k| 113 | 11 |5555 |3001 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1818.55/1824.13 c 1824s| 1 | 2 | 1001k| - | 1945M | 0 |1400 | 114k| 109k| 113 | 11 |5576 |3021 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1873.68/1879.41 c 1879s| 100 | 101 | 1027k| 132.1 | 1960M | 42 |1400 | 114k| 109k| 202 | 1 |5642 |3516 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1974.19/1980.27 c 1980s| 200 | 197 | 1040k| 132.0 | 2009M | 44 |1400 | 114k| 109k| 543 | 1 |5753 |3964 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1987.26/1993.32 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1987.26/1993.32 c 1993s| 300 | 297 | 1052k| 131.9 | 2011M | 54 |1400 | 114k| 109k| 655 | 1 |5800 |4014 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
1996.32/2002.44 c 2002s| 400 | 383 | 1066k| 132.0 | 2012M | 55 |1400 | 114k| 109k| 803 | 0 |5855 |4036 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2012.58/2018.79 c 2019s| 500 | 469 | 1077k| 131.6 | 2012M | 55 |1400 | 114k| 109k| 968 | 1 |5896 |4080 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2079.49/2085.88 c 2086s| 600 | 555 | 1086k| 131.1 | 2012M | 57 |1400 | 114k| 109k|1251 | 1 |5935 |4130 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2089.36/2095.78 c 2096s| 700 | 617 | 1093k| 130.3 | 2012M | 63 |1400 | 114k| 109k|1331 | 2 |5953 |4152 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2105.31/2111.78 c 2112s| 800 | 685 | 1102k| 129.9 | 2013M | 65 |1400 | 114k| 109k|1469 | 1 |5975 |4170 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2130.13/2136.65 c 2137s| 900 | 779 | 1112k| 129.5 | 2014M | 65 |1400 | 114k| 109k|1541 | 1 |6009 |4395 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2160.64/2167.20 c 2167s| 1000 | 873 | 1123k| 129.3 | 2016M | 65 |1400 | 114k| 109k|1620 | 1 |6048 |4513 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2222.77/2229.58 c 2230s| 1100 | 967 | 1134k| 129.0 | 2037M | 65 |1400 | 114k| 109k|1947 | 1 |6074 |4549 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2240.02/2246.87 c 2247s| 1200 | 1059 | 1145k| 128.8 | 2039M | 65 |1400 | 114k| 109k|2156 | 1 |6106 |4572 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2288.39/2295.38 c 2295s| 1300 | 1157 | 1157k| 128.7 | 2088M | 65 |1400 | 114k| 109k|2448 | 1 |6157 |4701 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2298.36/2305.35 c 2305s| 1400 | 1237 | 1165k| 128.2 | 2090M | 65 |1400 | 114k| 109k|2457 | 1 |6279 |4811 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2343.93/2351.05 c 2351s| 1500 | 1315 | 1177k| 128.1 | 2131M | 65 |1400 | 114k| 109k|2580 | 1 |6302 |4903 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2378.43/2385.62 c 2386s| 1600 | 1411 | 1188k| 127.9 | 2145M | 65 |1400 | 114k| 109k|2799 | 1 |6344 |4925 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2413.73/2421.03 c 2421s| 1700 | 1501 | 1201k| 127.9 | 2159M | 65 |1400 | 114k| 109k|3063 | 1 |6360 |4932 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2449.43/2456.86 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2449.43/2456.86 c 2457s| 1800 | 1579 | 1210k| 127.5 | 2161M | 65 |1400 | 114k| 109k|3267 | 2 |6371 |4962 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2483.34/2490.84 c 2491s| 1900 | 1657 | 1222k| 127.5 | 2163M | 65 |1400 | 114k| 109k|3541 | 0 |6393 |4988 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2517.74/2525.39 c 2525s| 2000 | 1749 | 1235k| 127.5 | 2176M | 65 |1400 | 114k| 109k|3771 | 1 |6413 |4997 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2551.75/2559.47 c 2559s| 2100 | 1841 | 1250k| 127.7 | 2235M | 65 |1400 | 114k| 109k|4215 | 1 |6447 |5010 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2600.02/2607.80 c 2608s| 2200 | 1919 | 1260k| 127.4 | 2248M | 65 |1400 | 114k| 109k|4508 | 1 |6462 |5012 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2659.84/2667.88 c 2668s| 2300 | 2009 | 1270k| 127.1 | 2272M | 65 |1400 | 114k| 109k|4720 | 1 |6521 |5014 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2709.70/2717.89 c 2718s| 2400 | 2097 | 1284k| 127.3 | 2277M | 65 |1400 | 114k| 109k|5233 | 1 |6532 |5014 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2733.03/2741.24 c 2741s| 2500 | 2181 | 1294k| 127.0 | 2289M | 65 |1400 | 114k| 109k|5361 | 1 |6545 |5054 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2785.70/2794.06 c 2794s| 2600 | 2265 | 1305k| 126.8 | 2348M | 65 |1400 | 114k| 109k|5559 | 1 |6584 |5078 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2819.80/2828.27 c 2828s| 2700 | 2337 | 1318k| 126.8 | 2351M | 65 |1400 | 114k| 109k|5745 | 1 |6588 |5096 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2853.11/2861.68 c 2862s| 2800 | 2415 | 1327k| 126.5 | 2353M | 65 |1400 | 114k| 109k|5892 | 5 |6634 |5097 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2898.59/2907.27 c 2907s| 2900 | 2495 | 1339k| 126.4 | 2365M | 65 |1400 | 115k| 109k|6194 | 0 |6659 |5099 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2938.08/2946.80 c 2947s| 3000 | 2573 | 1348k| 126.1 | 2366M | 65 |1400 | 115k| 109k|6435 | 1 |6672 |5099 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
2970.88/2979.71 c 2980s| 3100 | 2657 | 1361k| 126.1 | 2370M | 65 |1400 | 115k| 109k|6722 | 1 |6695 |5099 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3023.04/3032.05 c 3032s| 3200 | 2745 | 1372k| 126.0 | 2372M | 65 |1400 | 115k| 109k|6972 | 1 |6714 |5100 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3075.09/3084.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3075.09/3084.21 c 3084s| 3300 | 2829 | 1383k| 125.8 | 2375M | 65 |1400 | 115k| 109k|7218 | 4 |6736 |5101 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3151.29/3160.62 c 3161s| 3400 | 2909 | 1395k| 125.8 | 2459M | 65 |1400 | 115k| 109k|7567 | 0 |6750 |5101 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3165.65/3175.07 c 3175s| 3500 | 3001 | 1406k| 125.6 | 2461M | 65 |1400 | 115k| 109k|7660 | 1 |6786 |5103 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3207.33/3216.82 c 3217s| 3600 | 3066 | 1414k| 125.2 | 2462M | 65 |1400 | 115k| 109k|7809 | 1 |6801 |5107 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3229.86/3239.48 c 3239s| 3700 | 3144 | 1423k| 124.9 | 2465M | 65 |1400 | 115k| 109k|7941 | 1 |6814 |5107 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3258.68/3268.31 c 3268s| 3800 | 3214 | 1433k| 124.6 | 2466M | 65 |1400 | 115k| 109k|8149 | 1 |6837 |5108 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3324.90/3334.74 c 3335s| 3900 | 3288 | 1443k| 124.4 | 2468M | 65 |1400 | 115k| 109k|8432 | 1 |6861 |5109 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3340.84/3350.78 c 3351s| 4000 | 3384 | 1454k| 124.3 | 2471M | 65 |1400 | 115k| 109k|8511 | 1 |6936 |5149 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3371.35/3381.37 c 3381s| 4100 | 3470 | 1464k| 124.1 | 2474M | 65 |1400 | 115k| 109k|8634 | 2 |6957 |5193 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3435.97/3446.13 c 3446s| 4200 | 3558 | 1478k| 124.2 | 2478M | 65 |1400 | 115k| 109k|8874 | 1 |7001 |5224 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3487.51/3497.84 c 3498s| 4300 | 3652 | 1491k| 124.2 | 2481M | 65 |1400 | 115k| 109k|9139 | 1 |7026 |5269 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3529.89/3540.39 c 3540s| 4400 | 3728 | 1503k| 124.2 | 2514M | 65 |1400 | 115k| 109k|9418 | 1 |7044 |5316 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3550.13/3560.67 c 3561s| 4500 | 3814 | 1515k| 124.2 | 2516M | 65 |1400 | 115k| 109k|9541 | 1 |7085 |5368 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3583.54/3594.18 c 3594s| 4600 | 3900 | 1525k| 124.0 | 2585M | 65 |1400 | 115k| 109k|9643 | 1 |7118 |5403 |-5.600000e+01 |-4.900000e+01 | 14.29%| unknown
3586.33/3597.00 c
3586.33/3597.00 c SCIP Status : solving was interrupted [time limit reached]
3586.33/3597.00 c Solving Time (sec) : 3597.00
3586.33/3597.00 c Solving Nodes : 4625 (total of 12001 nodes in 2 runs)
3586.33/3597.00 c Primal Bound : -4.90000000000000e+01 (841 solutions)
3586.33/3597.00 c Dual Bound : -5.60000000000000e+01
3586.33/3597.00 c Gap : 14.29 %
3586.43/3597.02 s SATISFIABLE
3586.43/3597.02 v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382
3586.43/3597.02 v -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363
3586.43/3597.02 v -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 x1345 -x1344
3586.43/3597.02 v -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325
3586.43/3597.02 v -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 x1309 -x1308 -x1307 -x1306
3586.43/3597.02 v -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287
3586.43/3597.02 v -x1286 -x1285 -x1284 -x1283 -x1282 x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268
3586.43/3597.02 v -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249
3586.43/3597.02 v x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230
3586.43/3597.02 v -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 x1211
3586.43/3597.02 v -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192
3586.43/3597.02 v -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173
3586.43/3597.02 v -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
3586.43/3597.02 v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 x1138 -x1137 -x1136 -x1135
3586.43/3597.02 v -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116
3586.43/3597.02 v -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097
3586.43/3597.02 v -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
3586.43/3597.02 v -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059
3586.43/3597.02 v -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040
3586.43/3597.02 v x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021
3586.43/3597.02 v -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002
3586.43/3597.02 v -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981
3586.43/3597.02 v -x980 -x979 -x978 x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959
3586.43/3597.02 v -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
3586.43/3597.02 v x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915
3586.43/3597.02 v -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893
3586.43/3597.02 v -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 x872 -x871
3586.43/3597.02 v -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849
3586.43/3597.02 v -x848 -x847 -x846 -x845 -x844 -x843 x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827
3586.43/3597.02 v -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 x810 -x809 -x808 -x807 -x806 -x805
3586.43/3597.02 v -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783
3586.43/3597.02 v -x782 x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761
3586.43/3597.02 v -x760 x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739
3586.43/3597.02 v -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717
3586.43/3597.02 v -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695
3586.43/3597.02 v -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
3586.43/3597.02 v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651
3586.43/3597.02 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630 -x629
3586.43/3597.02 v -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607
3586.43/3597.02 v -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585
3586.43/3597.02 v -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563
3586.43/3597.02 v -x562 -x561 -x560 -x559 -x558 -x557 x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541
3586.43/3597.02 v -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 -x519
3586.43/3597.02 v -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497
3586.43/3597.02 v -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
3586.43/3597.02 v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453
3586.43/3597.02 v -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431
3586.43/3597.02 v -x430 -x429 -x428 -x427 -x426 -x425 x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409
3586.43/3597.02 v -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387
3586.43/3597.02 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365
3586.43/3597.02 v -x364 -x363 x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343
3586.43/3597.02 v -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321
3586.43/3597.02 v -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299
3586.43/3597.02 v -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277
3586.43/3597.02 v -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255
3586.43/3597.02 v -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233
3586.43/3597.02 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211
3586.43/3597.02 v -x210 -x209 -x208 x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189
3586.43/3597.02 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167
3586.43/3597.02 v -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145
3586.43/3597.02 v -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123
3586.43/3597.02 v -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101
3586.43/3597.02 v -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75
3586.43/3597.02 v -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 x49
3586.43/3597.02 v -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23
3586.43/3597.02 v -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
3586.43/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3586.43/3597.02 c Total Time : 3597.00
3586.43/3597.02 c solving : 3597.00
3586.43/3597.02 c presolving : 3.25 (included in solving)
3586.43/3597.02 c reading : 0.16 (included in solving)
3586.43/3597.02 c copying : 2.08 (20 #copies) (minimal 0.09, maximal 0.13, average 0.10)
3586.43/3597.02 c Original Problem :
3586.43/3597.02 c Problem name : HOME/instance-4484779-1751302021.opb
3586.43/3597.02 c Variables : 1400 (1400 binary, 0 integer, 0 continuous)
3586.43/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.43/3597.02 c Constraints : 109379 initial, 109379 maximal
3586.43/3597.02 c Objective : minimize, 1400 non-zeros (abs.min = 1, abs.max = 1)
3586.43/3597.02 c Presolved Problem :
3586.43/3597.02 c Problem name : t_HOME/instance-4484779-1751302021.opb
3586.43/3597.02 c Variables : 1400 (1400 binary, 0 integer, 0 continuous)
3586.43/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3586.43/3597.02 c Constraints : 113996 initial, 115355 maximal
3586.43/3597.02 c Objective : minimize, 1400 non-zeros (abs.min = 1, abs.max = 1)
3586.43/3597.02 c Nonzeros : 374820 constraint, 220643 clique table
3586.43/3597.02 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3586.43/3597.02 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c domcol : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c dualsparsify : 0.65 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c gateextraction : 0.13 0.00 3 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c milp : 0.27 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c sparsify : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c trivial : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c dualfix : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c probing : 0.53 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c pseudoobj : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c symmetry : 0.05 0.00 1 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c vbounds : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c knapsack : 0.01 0.00 9 0 0 0 0 0 0 0 0 5
3586.43/3597.02 c setppc : 0.35 0.01 12 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c linear : 0.30 0.03 4 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c logicor : 0.68 0.05 8 0 0 0 0 0 171 0 0 141
3586.43/3597.02 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c root node : - - - 0 - - 0 - - - - -
3586.43/3597.02 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3586.43/3597.02 c integral : 0 0 0 0 11631 0 0 3327 0 0 279 0 0 446 22944
3586.43/3597.02 c knapsack : 1+ 2 0 1119 0 0 0 0 1 1 116 0 0 0 0
3586.43/3597.02 c setppc : 109490 109490 51 119291 0 0 0 3321 421063 0 339718 0 0 0 0
3586.43/3597.02 c linear : 0+ 2 0 1495 0 0 0 2 0 0 0 0 0 0 0
3586.43/3597.02 c logicor : 4505+ 5861 11 25210 0 0 0 0 70 229 24 0 0 0 0
3586.43/3597.02 c fixedvar : 0 0 0 0 0 0 0 1003 0 0 0 0 0 0 0
3586.43/3597.02 c countsols : 0 0 0 0 0 0 0 1003 0 0 0 0 0 0 0
3586.43/3597.02 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3586.43/3597.02 c integral : 347.50 0.00 0.00 0.00 347.48 0.00 0.00 0.03 0.00 0.00
3586.43/3597.02 c knapsack : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c setppc : 19.64 0.01 0.24 12.07 0.00 0.00 0.00 3.41 0.09 3.82
3586.43/3597.02 c linear : 0.04 0.03 0.00 0.00 0.00 0.00 0.00 0.01 0.00 0.00
3586.43/3597.02 c logicor : 0.86 0.05 0.02 0.66 0.00 0.00 0.00 0.00 0.00 0.14
3586.43/3597.02 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c Propagators : #Propagate #ResProp Cutoffs DomReds
3586.43/3597.02 c dualfix : 4 0 0 0
3586.43/3597.02 c genvbounds : 0 0 0 0
3586.43/3597.02 c nlobbt : 0 0 0 0
3586.43/3597.02 c obbt : 0 0 0 0
3586.43/3597.02 c probing : 0 0 0 0
3586.43/3597.02 c pseudoobj : 34609 0 0 0
3586.43/3597.02 c redcost : 6729 0 0 20
3586.43/3597.02 c rootredcost : 4 0 0 0
3586.43/3597.02 c symmetry : 0 0 0 0
3586.43/3597.02 c vbounds : 34419 0 0 0
3586.43/3597.02 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3586.43/3597.02 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3586.43/3597.02 c probing : 0.53 0.00 0.53 0.00 0.00 0.00
3586.43/3597.02 c pseudoobj : 1.52 0.00 0.00 1.51 0.00 0.00
3586.43/3597.02 c redcost : 0.20 0.00 0.00 0.19 0.00 0.00
3586.43/3597.02 c rootredcost : 0.03 0.00 0.00 0.03 0.00 0.01
3586.43/3597.02 c symmetry : 0.09 0.00 0.05 0.03 0.00 0.01
3586.43/3597.02 c vbounds : 0.07 0.00 0.01 0.04 0.00 0.01
3586.43/3597.02 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3586.43/3597.02 c propagation : 0.00 230 143 - 160 37.0 0 0.0 - - -
3586.43/3597.02 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3586.43/3597.02 c bound exceed. LP : 7.89 2600 1339 - 23586 240.9 0 0.0 18 196.7 4796
3586.43/3597.02 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3586.43/3597.02 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3586.43/3597.02 c applied globally : 2.09 - - 0 7106 35.4 - - 18 - -
3586.43/3597.02 c applied locally : - - - 0 0 0.0 - - 0 - -
3586.43/3597.02 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3586.43/3597.02 c cut pool : 2.89 - 4732 101 - - 85313 130887 - - - - - (maximal pool size: 4482)
3586.43/3597.02 c aggregation : 10.25 0.00 1762 51 0 0 10 20 0 4 4 0 0
3586.43/3597.02 c > cmir : - - - - - - - 5 0 1 1 0 -
3586.43/3597.02 c > flowcover : - - - - - - - 0 0 0 0 0 -
3586.43/3597.02 c > knapsackcover : - - - - - - - 15 0 3 3 0 -
3586.43/3597.02 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c clique : 0.84 0.00 51 51 0 0 467 1396 0 582 582 0 0
3586.43/3597.02 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c gomory : 2373.47 0.00 1633 20 0 0 79805 105874 1668 5656 5634 22 0
3586.43/3597.02 c > gomorymi : - - - - - - - 36128 834 474 461 13 -
3586.43/3597.02 c > strongcg : - - - - - - - 69746 834 5182 5173 9 -
3586.43/3597.02 c impliedbounds : 3.53 0.00 1763 51 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c mcf : 0.08 0.00 2 2 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c multilinear : 0.00 0.00 483 51 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3586.43/3597.02 c zerohalf : 13.32 0.00 1643 31 0 0 7209 23597 510 12056 11849 207 0
3586.43/3597.02 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3586.43/3597.02 c hybrid : 0.10 0.00 2709 52 18298 0 114767 823 0 3615
3586.43/3597.02 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c Pricers : ExecTime SetupTime Calls Vars
3586.43/3597.02 c problem variables: 0.00 - 0 0
3586.43/3597.02 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3586.43/3597.02 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c relpscost : 347.45 0.00 11631 0 0 0 279 0 447 22944
3586.43/3597.02 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3586.43/3597.02 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3586.43/3597.02 c LP solutions : 0.00 - - 0 0
3586.43/3597.02 c relax solutions : 0.00 - - 0 0
3586.43/3597.02 c pseudo solutions : 0.00 - - 0 0
3586.43/3597.02 c strong branching : 1.57 - - 277 0
3586.43/3597.02 c actconsdiving : 0.00 0.00 0 0 0
3586.43/3597.02 c adaptivediving : 5.32 0.00 76 4 0
3586.43/3597.02 c alns : 1.83 0.00 6 1 1
3586.43/3597.02 c bound : 0.00 0.00 0 0 0
3586.43/3597.02 c clique : 0.23 0.00 1 1 1
3586.43/3597.02 c coefdiving : 0.00 0.00 0 0 0
3586.43/3597.02 c completesol : 0.00 0.00 0 0 0
3586.43/3597.02 c conflictdiving : 15.75 0.00 208 0 0
3586.43/3597.02 c crossover : 2.10 0.00 6 1 0
3586.43/3597.02 c dins : 0.00 0.00 0 0 0
3586.43/3597.02 c distributiondivin: 31.86 0.00 207 0 0
3586.43/3597.02 c dks : 0.00 0.00 0 0 0
3586.43/3597.02 c dps : 0.00 0.00 0 0 0
3586.43/3597.02 c dualval : 0.00 0.00 0 0 0
3586.43/3597.02 c farkasdiving : 0.00 0.00 0 0 0
3586.43/3597.02 c feaspump : 0.00 0.00 0 0 0
3586.43/3597.02 c fixandinfer : 0.00 0.00 0 0 0
3586.43/3597.02 c fracdiving : 15.36 0.00 207 0 0
3586.43/3597.02 c gins : 0.16 0.00 0 0 0
3586.43/3597.02 c guideddiving : 13.86 0.00 207 1 0
3586.43/3597.02 c indicator : 0.00 0.00 0 0 0
3586.43/3597.02 c indicatordiving : 0.00 0.00 0 0 0
3586.43/3597.02 c intdiving : 0.00 0.00 0 0 0
3586.43/3597.02 c intshifting : 0.00 0.00 0 0 0
3586.43/3597.02 c linesearchdiving : 17.26 0.00 208 2 0
3586.43/3597.02 c localbranching : 0.00 0.00 0 0 0
3586.43/3597.02 c locks : 0.12 0.00 1 0 0
3586.43/3597.02 c lpface : 0.03 0.00 0 0 0
3586.43/3597.02 c mpec : 0.00 0.00 0 0 0
3586.43/3597.02 c multistart : 0.00 0.00 0 0 0
3586.43/3597.02 c mutation : 0.00 0.00 0 0 0
3586.43/3597.02 c nlpdiving : 0.00 0.00 0 0 0
3586.43/3597.02 c objpscostdiving : 36.28 0.00 104 161 1
3586.43/3597.02 c octane : 0.00 0.00 0 0 0
3586.43/3597.02 c ofins : 0.00 0.00 0 0 0
3586.43/3597.02 c oneopt : 0.05 0.00 5 1 1
3586.43/3597.02 c padm : 0.00 0.00 0 0 0
3586.43/3597.02 c proximity : 0.00 0.00 0 0 0
3586.43/3597.02 c pscostdiving : 28.62 0.00 208 24 4
3586.43/3597.02 c randrounding : 4.71 0.00 2394 42 0
3586.43/3597.02 c rens : 3.57 0.00 2 1 1
3586.43/3597.02 c reoptsols : 0.00 0.00 0 0 0
3586.43/3597.02 c repair : 0.00 0.00 0 0 0
3586.43/3597.02 c rins : 2.36 0.00 6 5 0
3586.43/3597.02 c rootsoldiving : 39.06 0.00 104 123 0
3586.43/3597.02 c rounding : 7.65 0.00 1676 0 0
3586.43/3597.02 c scheduler : 0.00 0.00 0 0 0
3586.43/3597.02 c shiftandpropagate: 0.00 0.00 0 0 0
3586.43/3597.02 c shifting : 4.93 0.00 842 0 0
3586.43/3597.02 c simplerounding : 0.31 0.00 14340 39 0
3586.43/3597.02 c subnlp : 0.00 0.00 0 0 0
3586.43/3597.02 c trivial : 0.01 0.00 4 1 1
3586.43/3597.02 c trivialnegation : 0.00 0.00 0 0 0
3586.43/3597.02 c trustregion : 0.00 0.00 0 0 0
3586.43/3597.02 c trysol : 0.01 0.00 0 0 0
3586.43/3597.02 c twoopt : 0.00 0.00 0 0 0
3586.43/3597.02 c undercover : 0.00 0.00 0 0 0
3586.43/3597.02 c vbounds : 0.30 0.00 2 0 0
3586.43/3597.02 c veclendiving : 12.11 0.00 207 0 0
3586.43/3597.02 c zeroobj : 0.00 0.00 0 0 0
3586.43/3597.02 c zirounding : 34.40 0.00 7851 157 0
3586.43/3597.02 c other solutions : - - - 0 -
3586.43/3597.02 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 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
3586.43/3597.02 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3586.43/3597.02 c primal LP : 10.64 1428 0 0.00 0.00 10.64 1428
3586.43/3597.02 c dual LP : 385.94 14891 1080228 72.84 2798.94 0.56 61
3586.43/3597.02 c lex dual LP : 0.00 0 0 0.00 -
3586.43/3597.02 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3586.43/3597.02 c resolve instable : 0.00 0 0 0.00 -
3586.43/3597.02 c diving/probing LP: 167.14 8960 447767 49.97 2679.02
3586.43/3597.02 c strong branching : 207.69 5415 517939 95.65 2493.79 - - 1005
3586.43/3597.02 c (at root node) : - 47 7057 150.15 -
3586.43/3597.02 c conflict analysis: 2.71 494 4796 9.71 1766.52
3586.43/3597.02 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3586.43/3597.02 c benders : 0.00 0 0 0 0.00 0 0 0
3586.43/3597.02 c B&B Tree :
3586.43/3597.02 c number of runs : 2
3586.43/3597.02 c nodes : 4625 (4273 internal, 352 leaves)
3586.43/3597.02 c feasible leaves : 0
3586.43/3597.02 c infeas. leaves : 1
3586.43/3597.02 c objective leaves : 350
3586.43/3597.02 c nodes (total) : 12001 (11472 internal, 529 leaves)
3586.43/3597.02 c nodes left : 3922
3586.43/3597.02 c max depth : 65
3586.43/3597.02 c max depth (total): 65
3586.43/3597.02 c backtracks : 657 (14.2%)
3586.43/3597.02 c early backtracks : 0 (0.0%)
3586.43/3597.02 c nodes exc. ref. : 0 (0.0%)
3586.43/3597.02 c delayed cutoffs : 1
3586.43/3597.02 c repropagations : 9 (27 domain reductions, 1 cutoffs)
3586.43/3597.02 c avg switch length: 3.57
3586.43/3597.02 c switching time : 40.24
3586.43/3597.02 c Root Node :
3586.43/3597.02 c First LP value : -7.00000000000000e+02
3586.43/3597.02 c First LP Iters : 1400 (2157.21 Iter/sec)
3586.43/3597.02 c First LP Time : 0.65
3586.43/3597.02 c Final Dual Bound : -5.60000000000000e+01
3586.43/3597.02 c Final Root Iters : 40618
3586.43/3597.02 c Root LP Estimate : -4.99066288043067e+01
3586.43/3597.02 c Solution :
3586.43/3597.02 c Solutions found : 841 (10 improvements)
3586.43/3597.02 c First Solution : +0.00000000000000e+00 (in run 1, after 0 nodes, 0.30 seconds, depth 0, found by <trivial>)
3586.43/3597.02 c Gap First Sol. : infinite
3586.43/3597.02 c Gap Last Sol. : 14.29 %
3586.43/3597.02 c Primal Bound : -4.90000000000000e+01 (in run 1, after 7181 nodes, 1750.23 seconds, depth 25, found by <objpscostdiving>)
3586.43/3597.02 c Dual Bound : -5.60000000000000e+01
3586.43/3597.02 c Gap : 14.29 %
3586.43/3597.02 c Integrals : Total Avg%
3586.43/3597.02 c primal-dual : 52685.29 14.65
3586.43/3597.02 c primal-ref : - - (not evaluated)
3586.43/3597.02 c dual-ref : - - (not evaluated)
3586.73/3597.32 c Time complete (sec): 3586.763
OK -49
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60861 MiB free)
memory of node 1: 64507 MiB (61590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484779-1751302021/watcher-4484779-1751302021 -o /tmp/evaluation-result-4484779-1751302021/solver-4484779-1751302021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37233 --watchdog 3760 pbsolver -f HOME/instance-4484779-1751302021.opb -t 3600 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=37986, runsolver pid=37983
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.25 3.85 3.57 5/265 37987
/proc/meminfo: memFree=125355852/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=57576 memory=46720 CPUtime=0.09 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 9713 0 0 0 8 1 0 0 20 0 1 0 45881676 58957824 11680 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 14394 11680 2176 2575 0 11301 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57576 KiB
Current children cumulated memory: 46720 KiB
[startup+0.205748 s]*
/proc/loadavg: 4.25 3.85 3.57 5/265 37987
/proc/meminfo: memFree=125315784/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=99768 memory=90744 CPUtime=0.2 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 20911 0 0 0 18 2 0 0 20 0 1 0 45881676 102162432 22686 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 24942 22686 2368 2575 0 21849 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 99768 KiB
Current children cumulated memory: 90744 KiB
[startup+0.305669 s]*
/proc/loadavg: 4.25 3.85 3.57 5/265 37987
/proc/meminfo: memFree=125259336/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=152692 memory=142200 CPUtime=0.3 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 33745 0 0 0 26 4 0 0 20 0 1 0 45881676 156356608 35550 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 38173 35550 2400 2575 0 35080 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 152692 KiB
Current children cumulated memory: 142200 KiB
[startup+0.700185 s]
/proc/loadavg: 4.25 3.85 3.57 5/265 37987
/proc/meminfo: memFree=125227080/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=224476 memory=213232 CPUtime=0.68 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 49478 0 0 0 62 6 0 0 20 0 1 0 45881676 229863424 53308 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 56119 53308 2496 2575 0 53026 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 224476 KiB
Current children cumulated memory: 213232 KiB
[startup+1.50018 s]
/proc/loadavg: 4.25 3.85 3.57 5/265 37987
/proc/meminfo: memFree=125190980/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=197564 memory=185444 CPUtime=1.48 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 60175 0 0 0 140 8 0 0 20 0 1 0 45881676 202305536 46361 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 49391 46361 2528 2575 0 46298 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 197564 KiB
Current children cumulated memory: 185444 KiB
[startup+3.1054 s]
/proc/loadavg: 4.25 3.85 3.57 5/265 37987
/proc/meminfo: memFree=124898784/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=556196 memory=510504 CPUtime=3.08 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 100935 0 0 0 290 18 0 0 20 0 1 0 45881676 569544704 127626 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 139049 127626 2688 2575 0 135956 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 556196 KiB
Current children cumulated memory: 510504 KiB
[startup+6.3001 s]
/proc/loadavg: 4.23 3.85 3.57 5/264 37987
/proc/meminfo: memFree=124867104/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=608076 memory=551888 CPUtime=6.27 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 108719 0 0 0 607 20 0 0 20 0 1 0 45881676 622669824 137972 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 152019 137972 2688 2575 0 148926 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 608076 KiB
Current children cumulated memory: 551888 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 3.86 3.57 5/264 37987
/proc/meminfo: memFree=124838420/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=623032 memory=556660 CPUtime=12.65 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 109395 0 0 0 1245 20 0 0 20 0 1 0 45881676 637984768 139165 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 155758 139165 2688 2575 0 152665 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 623032 KiB
Current children cumulated memory: 556660 KiB
[startup+25.5001 s]
/proc/loadavg: 4.25 3.88 3.58 5/264 37987
/proc/meminfo: memFree=124815548/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=721932 memory=569380 CPUtime=25.42 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 111553 0 0 0 2521 21 0 0 20 0 1 0 45881676 739258368 142345 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 180483 142345 2688 2575 0 177390 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 721932 KiB
Current children cumulated memory: 569380 KiB
[startup+51.1058 s]
/proc/loadavg: 4.15 3.89 3.60 5/264 37988
/proc/meminfo: memFree=124685036/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=941444 memory=703140 CPUtime=50.94 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 145016 0 0 0 5067 27 0 0 20 0 1 0 45881676 964038656 175785 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 235361 175785 2688 2575 0 232268 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 941444 KiB
Current children cumulated memory: 703140 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 3.92 3.63 5/265 37994
/proc/meminfo: memFree=124701636/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=974784 memory=703268 CPUtime=101.97 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 145054 0 0 0 10170 27 0 0 20 0 1 0 45881676 998178816 175817 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 243696 175817 2688 2575 0 240603 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 974784 KiB
Current children cumulated memory: 703268 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 3.97 3.66 5/265 37996
/proc/meminfo: memFree=124518316/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=1096468 memory=782756 CPUtime=161.77 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 165384 0 0 0 16147 30 0 0 20 0 1 0 45881676 1122783232 195689 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 274117 195689 2688 2575 0 271024 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 1096468 KiB
Current children cumulated memory: 782756 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 3.98 3.69 5/265 37998
/proc/meminfo: memFree=124370564/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=1186844 memory=825288 CPUtime=221.58 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 191458 0 0 0 22124 34 0 0 20 0 1 0 45881676 1215328256 206322 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 296711 206322 2944 2575 0 293618 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 1186844 KiB
Current children cumulated memory: 825288 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.01 3.72 5/265 38000
/proc/meminfo: memFree=124262588/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=1215292 memory=831176 CPUtime=281.42 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 192954 0 0 0 28107 35 0 0 20 0 1 0 45881676 1244459008 207794 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 303823 207794 2944 2575 0 300730 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 1215292 KiB
Current children cumulated memory: 831176 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.03 3.75 5/264 38002
/proc/meminfo: memFree=124217140/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=1250288 memory=837448 CPUtime=341.25 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 194546 0 0 0 34090 35 0 0 20 0 1 0 45881676 1280294912 209362 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 312572 209362 2944 2575 0 309479 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 1250288 KiB
Current children cumulated memory: 837448 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.03 3.77 5/263 38004
/proc/meminfo: memFree=124177276/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=1303676 memory=849268 CPUtime=401.08 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 195960 0 0 0 40073 35 0 0 20 0 1 0 45881676 1334964224 212317 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 325919 212317 2944 2575 0 322826 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1303676 KiB
Current children cumulated memory: 849268 KiB
[startup+462.3 s]
/proc/loadavg: 4.09 4.04 3.79 5/263 38006
/proc/meminfo: memFree=123776200/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=1355928 memory=899264 CPUtime=460.89 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 213116 0 0 0 46050 39 0 0 20 0 1 0 45881676 1388470272 224816 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 338982 224816 2944 2575 0 335889 0
################
# More data... #
################
/proc/loadavg: 4.18 4.12 4.06 5/263 38245
/proc/meminfo: memFree=123076512/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2583248 memory=1734284 CPUtime=3212.81 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 375909 0 0 0 321210 71 0 0 20 0 1 0 45881676 2645245952 433571 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 645812 433571 2944 2575 0 642719 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 2583248 KiB
Current children cumulated memory: 1734284 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/263 38292
/proc/meminfo: memFree=124674476/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2583248 memory=1756172 CPUtime=3272.64 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 375974 0 0 0 327193 71 0 0 20 0 1 0 45881676 2645245952 439043 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 645812 439043 2944 2575 0 642719 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 2583248 KiB
Current children cumulated memory: 1756172 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/263 38294
/proc/meminfo: memFree=124501676/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2583248 memory=1791116 CPUtime=3332.47 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 375988 0 0 0 333175 72 0 0 20 0 1 0 45881676 2645245952 447779 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 645812 447779 2944 2575 0 642719 0
Current children cumulated CPU time: 3332.47 s
Current children cumulated vsize: 2583248 KiB
Current children cumulated memory: 1791116 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.07 5/262 38296
/proc/meminfo: memFree=124328628/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2583248 memory=1829904 CPUtime=3392.29 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 375995 0 0 0 339157 72 0 0 20 0 1 0 45881676 2645245952 457476 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 645812 457476 2944 2575 0 642719 0
Current children cumulated CPU time: 3392.29 s
Current children cumulated vsize: 2583248 KiB
Current children cumulated memory: 1829904 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/263 38299
/proc/meminfo: memFree=124214880/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2583248 memory=1845648 CPUtime=3452.11 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376187 0 0 0 345139 72 0 0 20 0 1 0 45881676 2645245952 461412 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 645812 461412 2944 2575 0 642719 0
Current children cumulated CPU time: 3452.11 s
Current children cumulated vsize: 2583248 KiB
Current children cumulated memory: 1845648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.07 5/263 38301
/proc/meminfo: memFree=124048696/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2583248 memory=1860008 CPUtime=3511.94 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376291 0 0 0 351122 72 0 0 20 0 1 0 45881676 2645245952 465002 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 645812 465002 2944 2575 0 642719 0
Current children cumulated CPU time: 3511.94 s
Current children cumulated vsize: 2583248 KiB
Current children cumulated memory: 1860008 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/263 38303
/proc/meminfo: memFree=123920012/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1890804 CPUtime=3571.77 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 357104 73 0 0 20 0 1 0 45881676 2743386112 472701 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 472701 2944 2575 0 666679 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1890804 KiB
[startup+3597.35 s]
# the end of solver process 37986 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.01 s, system=0.77066 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.07 4.09 4.07 5/263 38303
/proc/meminfo: memFree=123875840/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1890804 CPUtime=3573.47 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 357274 73 0 0 20 0 1 0 45881676 2743386112 472701 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 472701 2944 2575 0 666679 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1890804 KiB
[startup+3590.4 s]
/proc/loadavg: 4.07 4.09 4.07 5/263 38303
/proc/meminfo: memFree=123871560/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1890804 CPUtime=3579.85 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 357912 73 0 0 20 0 1 0 45881676 2743386112 472701 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 472701 2944 2575 0 666679 0
Current children cumulated CPU time: 3579.85 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1890804 KiB
[startup+3593.6 s]
/proc/loadavg: 4.14 4.10 4.07 5/263 38303
/proc/meminfo: memFree=123823212/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1892852 CPUtime=3583.04 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 358231 73 0 0 20 0 1 0 45881676 2743386112 473213 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 473213 2944 2575 0 666679 0
Current children cumulated CPU time: 3583.04 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1892852 KiB
[startup+3595.2 s]
/proc/loadavg: 4.14 4.10 4.07 5/263 38303
/proc/meminfo: memFree=123823212/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1892852 CPUtime=3584.63 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 358390 73 0 0 20 0 1 0 45881676 2743386112 473213 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 473213 2944 2575 0 666679 0
Current children cumulated CPU time: 3584.63 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1892852 KiB
[startup+3596 s]*
/proc/loadavg: 4.13 4.10 4.07 5/263 38303
/proc/meminfo: memFree=123823212/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1892852 CPUtime=3585.44 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 358471 73 0 0 20 0 1 0 45881676 2743386112 473213 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 473213 2944 2575 0 666679 0
Current children cumulated CPU time: 3585.44 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1892852 KiB
[startup+3596.8 s]
/proc/loadavg: 4.13 4.10 4.07 5/263 38303
/proc/meminfo: memFree=123823212/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1892852 CPUtime=3586.23 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376948 0 0 0 358550 73 0 0 20 0 1 0 45881676 2743386112 473213 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 473213 2944 2575 0 666679 0
Current children cumulated CPU time: 3586.23 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1892852 KiB
[startup+3597.2 s]
/proc/loadavg: 4.13 4.10 4.07 5/263 38303
/proc/meminfo: memFree=123823212/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2679088 memory=1892852 CPUtime=3586.63 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376954 0 0 0 358590 73 0 0 20 0 1 0 45881676 2743386112 473213 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 669772 473213 2944 2575 0 666679 0
Current children cumulated CPU time: 3586.63 s
Current children cumulated vsize: 2679088 KiB
Current children cumulated memory: 1892852 KiB
[startup+3597.3 s]
/proc/loadavg: 4.13 4.10 4.07 5/263 38303
/proc/meminfo: memFree=123823212/131249996 swapFree=33010416/33010684
[pid=37986] ppid=37983 vsize=2640136 memory=1854180 CPUtime=3586.73 cores=1,3
/proc/37986/stat : 37986 (pbsolver) R 37983 37986 37216 0 -1 4194304 376954 0 0 0 358600 73 0 0 20 0 1 0 45881676 2703499264 463545 18446744073709551615 4198400 14743177 140735602338288 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 16769280 16853168 30117888 140735602346378 140735602346474 140735602346474 140735602352076 0
/proc/37986/statm: 660034 463545 2944 2575 0 656941 0
Current children cumulated CPU time: 3586.73 s
Current children cumulated vsize: 2640136 KiB
Current children cumulated memory: 1854180 KiB
Child status: 0
Real time (s): 3597.35
CPU time (s): 3586.78
CPU user time (s): 3586.01
CPU system time (s): 0.77066
CPU usage (%): 99.7063
Max. virtual memory (cumulated for all children) (KiB): 2679088
Max. memory (cumulated for all children) (KiB): 1892852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.01
system time used= 0.77066
maximum resident set size= 1892852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376954
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= 64
involuntary context switches= 3322
# summary of solver processes directly reported to runsolver:
# pid: 37986
# total CPU time (s): 3586.78
# total CPU user time (s): 3586.01
# total CPU system time (s): 0.77066
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.40811 second user time and 14.7568 second system time
The end
Begin job on nodeC030 at 2025-06-30 18:47:01 IDJOB=4484779 IDBENCH=146669 IDSOLVER=3366 FILE ID=nodeC030/4484779-1751302021 RUNJOBID= nodeC030-1751301413-37233 SLURM_JOB_ID= 9594278 Free space on /tmp= 432980 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4484779-1751302021/watcher-4484779-1751302021 -o /tmp/evaluation-result-4484779-1751302021/solver-4484779-1751302021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751301413-37233 --watchdog 3760 pbsolver -f HOME/instance-4484779-1751302021.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3ad6c959019bf046c7e592cfae8de121 RANDOM SEED=1922890458 nodeC030 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.321 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.62 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.785 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.62 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 : 3612.118 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.62 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.322 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.62 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.328 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.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.322 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.62 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 : 3165.755 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.62 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 : 3700.000 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.62 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 125390256 kB MemAvailable: 126836028 kB Buffers: 2564 kB Cached: 2240520 kB SwapCached: 16 kB Active: 3266760 kB Inactive: 1940180 kB Active(anon): 2977244 kB Inactive(anon): 4660 kB Active(file): 289516 kB Inactive(file): 1935520 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 17596 kB Writeback: 24 kB AnonPages: 2966912 kB Mapped: 137840 kB Shmem: 18048 kB KReclaimable: 119552 kB Slab: 206220 kB SReclaimable: 119552 kB SUnreclaim: 86668 kB KernelStack: 4272 kB PageTables: 9184 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 3979968 kB VmallocTotal: 34359738367 kB VmallocUsed: 150552 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 1101824 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: 189140 kB DirectMap2M: 9019392 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 432968 MiB End job on nodeC030 at 2025-06-30 19:46:58