| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2025-06-13 | ? | 3587.61 | 3597.55 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 1d8b9a75b06fe10625c514168771d7f4 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 9.60431 |
| 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 | 45696 |
| Total number of constraints | 1556 |
| Number of constraints which are clauses | 713 |
| Number of constraints which are cardinality constraints (but not clauses) | 713 |
| Number of constraints which are nor clauses,nor cardinality constraints | 130 |
| Minimum length of a constraint | 64 |
| Maximum length of a constraint | 714 |
| Number of terms in the objective function | 64 |
| 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 | 64 |
| Number of bits of the sum of numbers in the objective function | 7 |
| Biggest number in a constraint | 264895 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 587012 |
| Number of bits of the biggest sum of numbers | 20 |
| 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-4509343-1751526542.opb>
0.00/0.08 c original problem has 45696 variables (45696 bin, 0 int, 0 cont) and 1556 constraints
0.00/0.08 c problem read in 0.080 seconds
0.09/0.18 c presolving:
0.20/0.23 c (round 1, fast) 64 del vars, 2 del conss, 0 add conss, 64 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7486 clqs
0.30/0.31 c (0.3s) running MILP presolver
0.39/0.45 c (0.5s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.39/0.47 c (round 2, medium) 64 del vars, 1556 del conss, 841 add conss, 64 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 7486 clqs
0.60/0.66 c (round 3, exhaustive) 64 del vars, 1556 del conss, 841 add conss, 64 chg bounds, 1 chg sides, 0 chg coeffs, 841 upgd conss, 0 impls, 7486 clqs
1.29/1.34 c (1.3s) probing: 51/45632 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.29/1.34 c (1.3s) probing aborted: 50/50 successive totally useless probings
1.29/1.37 c (1.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
9.07/9.16 c (9.2s) symmetry computation finished: 680 generators found (max: 1402, log10 of symmetry group size: 651.26) (symcode time: 7.75)
9.86/9.96 c dynamic symmetry handling statistics:
9.86/9.96 c orbitopal reduction: no components
9.86/9.96 c orbital reduction: 1 components of sizes 680
9.86/9.96 c lexicographic reduction: 680 permutations with support sizes 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 1c 28, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128c , 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, c 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 128, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1426, 128, 1550
9.86/9.96 c handled 1 out of 1 symmetry components
9.86/9.99 c presolving (4 rounds: 4 fast, 3 medium, 2 exhaustive):
9.86/9.99 c 64 deleted vars, 1556 deleted constraints, 841 added constraints, 64 tightened bounds, 0 added holes, 1 changed sides, 0 changed coefficients
9.86/9.99 c 0 implications, 7486 cliques
9.86/9.99 c presolved problem has 45632 variables (45632 bin, 0 int, 0 cont) and 841 constraints
9.86/9.99 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
9.86/9.99 c 128 constraints of type <knapsack>
9.86/9.99 c 713 constraints of type <setppc>
9.86/9.99 c transformed objective value is always integral (scale: 1)
9.86/9.99 c Presolving Time: 9.83
9.86/9.99 c
9.86/9.99 c - non default parameters ----------------------------------------------------------------------
9.86/9.99 c
9.86/9.99 c # SCIP version 10.0.0
9.86/9.99 c
9.86/9.99 c # maximal time in seconds to run
9.86/9.99 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
9.86/9.99 c limits/time = 3596.998007
9.86/9.99 c
9.86/9.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
9.86/9.99 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
9.86/9.99 c limits/memory = 27900
9.86/9.99 c
9.86/9.99 c # belongs reading time to solving time?
9.86/9.99 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
9.86/9.99 c timing/reading = TRUE
9.86/9.99 c
9.86/10.00 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
9.86/10.00 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
9.86/10.00 c reading/opbreader/maxintsize = 47
9.86/10.00 c
9.86/10.00 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
9.86/10.00 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
9.86/10.00 c propagating/genvbounds/timingmask = 0
9.86/10.00 c
9.86/10.00 c -----------------------------------------------------------------------------------------------
9.97/10.00 c
13.86/13.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
13.86/13.97 c 14.0s| 1 | 0 | 8202 | - | 973M | 0 | 45k| 954 | 841 | 0 | 0 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
16.06/16.16 c 16.2s| 1 | 0 | 11332 | - | 1005M | 0 | 45k| 954 | 919 | 78 | 1 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
17.44/17.58 c 17.6s| 1 | 0 | 12491 | - | 1016M | 0 | 45k| 954 | 992 | 151 | 2 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
19.14/19.21 c 19.2s| 1 | 0 | 13510 | - | 1028M | 0 | 45k| 954 |1064 | 223 | 3 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
20.53/20.63 c 20.6s| 1 | 0 | 14210 | - | 1043M | 0 | 45k| 954 |1136 | 295 | 4 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
21.94/22.09 c 22.1s| 1 | 0 | 14729 | - | 1059M | 0 | 45k| 954 |1210 | 369 | 5 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
23.12/23.26 c 23.3s| 1 | 0 | 15209 | - | 1075M | 0 | 45k| 954 |1285 | 444 | 6 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
25.62/25.78 c 25.8s| 1 | 0 | 16589 | - | 1088M | 0 | 45k| 954 |1358 | 517 | 7 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
27.31/27.46 c 27.5s| 1 | 0 | 17374 | - | 1104M | 0 | 45k| 954 |1429 | 588 | 8 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
28.81/28.93 c 28.9s| 1 | 0 | 17938 | - | 1113M | 0 | 45k| 954 |1500 | 659 | 9 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
30.41/30.50 c 30.5s| 1 | 0 | 18662 | - | 1118M | 0 | 45k| 954 |1572 | 731 | 10 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
32.30/32.48 c 32.5s| 1 | 0 | 19524 | - | 1122M | 0 | 45k| 954 |1645 | 804 | 11 | 112 | 0 | 6.400000e+01 | -- | Inf | unknown
58.84/59.02 c 59.0s| 1 | 2 | 26548 | - | 1127M | 0 | 45k| 964 |1645 | 804 | 11 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
238.67/239.40 c 239s| 100 | 101 |197750 |1800.3 | 1149M | 24 | 45k| 964 |1095 |2276 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
327.88/328.91 c 329s| 200 | 201 |274610 |1281.8 | 1151M | 33 | 45k| 964 |1112 |2806 | 2 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
372.54/373.78 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
372.54/373.78 c 374s| 300 | 301 |282785 | 880.5 | 1152M | 33 | 45k| 964 |1095 |3259 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
407.03/408.31 c 408s| 400 | 401 |287032 | 670.4 | 1154M | 34 | 45k| 964 |1113 |3602 | 2 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
444.62/446.05 c 446s| 500 | 501 |291469 | 545.0 | 1158M | 34 | 45k| 964 |1107 |4014 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
513.09/514.71 c 515s| 600 | 601 |345259 | 543.8 | 1160M | 34 | 45k| 964 |1096 |4395 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
553.28/555.01 c 555s| 700 | 701 |351925 | 475.5 | 1161M | 34 | 45k| 964 |1095 |4933 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
602.81/604.79 c 605s| 800 | 801 |372965 | 442.4 | 1163M | 34 | 45k| 964 |1098 |5395 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
669.81/671.95 c 672s| 900 | 901 |415027 | 439.9 | 1167M | 34 | 45k| 964 |1095 |5791 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
711.78/714.07 c 714s| 1000 | 1001 |421593 | 402.5 | 1168M | 34 | 45k| 962 |1107 |6286 | 1 | 122 | 28 | 6.400000e+01 | -- | Inf | unknown
738.89/741.21 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
738.89/741.21 c (run 1, node 1049) performing user restart
738.89/741.21 c
738.89/741.22 c (restart) converted 148 cuts from the global cut pool into linear constraints
738.89/741.22 c
738.99/741.32 c presolving:
738.99/741.34 c (round 1, fast) 0 del vars, 9 del conss, 0 add conss, 0 chg bounds, 13 chg sides, 9 chg coeffs, 0 upgd conss, 0 impls, 7522 clqs
739.09/741.40 c (round 2, exhaustive) 0 del vars, 9 del conss, 0 add conss, 0 chg bounds, 13 chg sides, 9 chg coeffs, 125 upgd conss, 0 impls, 7522 clqs
739.09/741.41 c (round 3, fast) 0 del vars, 9 del conss, 0 add conss, 0 chg bounds, 16 chg sides, 37 chg coeffs, 125 upgd conss, 0 impls, 7522 clqs
739.19/741.54 c presolving (4 rounds: 4 fast, 2 medium, 2 exhaustive):
739.19/741.54 c 0 deleted vars, 9 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 16 changed sides, 51 changed coefficients
739.19/741.54 c 0 implications, 7523 cliques
739.19/741.54 c presolved problem has 45632 variables (45632 bin, 0 int, 0 cont) and 1101 constraints
739.19/741.54 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
739.19/741.54 c 223 constraints of type <knapsack>
739.19/741.54 c 715 constraints of type <setppc>
739.19/741.54 c 23 constraints of type <linear>
739.19/741.54 c 140 constraints of type <logicor>
739.19/741.54 c transformed objective value is always integral (scale: 1)
739.19/741.54 c Presolving Time: 10.06
739.19/741.55 c
742.58/744.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
742.58/744.99 c 745s| 1 | 0 |447113 | - | 1054M | 0 | 45k|1131 | 989 | 0 | 0 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
743.58/745.99 c 746s| 1 | 0 |447672 | - | 1054M | 0 | 45k|1131 |1062 | 73 | 1 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
752.05/754.42 c 754s| 1 | 0 |458901 | - | 1059M | 0 | 45k|1131 |1140 | 151 | 2 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
762.02/764.46 c 764s| 1 | 0 |470563 | - | 1062M | 0 | 45k|1131 |1217 | 228 | 3 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
773.08/775.53 c 776s| 1 | 0 |482117 | - | 1063M | 0 | 45k|1131 |1298 | 309 | 4 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
784.55/787.06 c 787s| 1 | 0 |494630 | - | 1066M | 0 | 45k|1131 |1377 | 388 | 5 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
797.61/800.14 c 800s| 1 | 0 |507555 | - | 1069M | 0 | 45k|1131 |1454 | 465 | 6 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
810.36/812.99 c 813s| 1 | 0 |521356 | - | 1073M | 0 | 45k|1131 |1534 | 545 | 7 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
825.71/828.34 c 828s| 1 | 0 |536277 | - | 1083M | 0 | 45k|1131 |1613 | 624 | 8 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
840.96/843.68 c 844s| 1 | 0 |551132 | - | 1093M | 0 | 45k|1131 |1689 | 700 | 9 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
859.09/861.81 c 862s| 1 | 0 |568114 | - | 1108M | 0 | 45k|1131 |1764 | 775 | 10 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
873.45/876.23 c 876s| 1 | 0 |582234 | - | 1111M | 0 | 45k|1131 |1842 | 853 | 11 | 152 | 28 | 6.400000e+01 | -- | Inf | unknown
945.13/948.19 c 948s| 1 | 2 |622115 | - | 1115M | 0 | 45k|1142 |1842 | 853 | 11 | 163 | 47 | 6.400000e+01 | -- | Inf | unknown
2031.04/2037.07 c 2037s| 100 | 101 | 1834k|1453.5 | 1138M | 51 | 45k|1162 |1475 |2131 | 1 | 184 | 47 | 6.400000e+01 | -- | Inf | unknown
2381.94/2388.84 c 2389s| 200 | 201 | 2216k|1643.5 | 1263M | 58 | 45k|1212 |1508 |2710 | 1 | 236 | 47 | 6.400000e+01 | -- | Inf | unknown
2755.39/2763.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2755.39/2763.25 c 2763s| 300 | 301 | 2585k|1795.5 | 1265M | 68 | 45k|1223 |1529 |3083 | 1 | 247 | 47 | 6.400000e+01 | -- | Inf | unknown
2866.91/2875.10 c 2875s| 400 | 401 | 2676k|1733.9 | 1268M | 124 | 45k|1229 |1553 |3180 | 1 | 258 | 47 | 6.400000e+01 | -- | Inf | unknown
2898.22/2906.42 c 2906s| 500 | 501 | 2701k|1638.4 | 1271M | 142 | 45k|1221 |1553 |3184 | 1 | 268 | 47 | 6.400000e+01 | -- | Inf | unknown
2947.40/2955.74 c 2956s| 600 | 601 | 2743k|1564.5 | 1277M | 155 | 45k|1223 |1553 |3196 | 1 | 279 | 47 | 6.400000e+01 | -- | Inf | unknown
2983.30/2991.77 c 2992s| 700 | 701 | 2779k|1495.3 | 1278M | 156 | 45k|1230 |1553 |3208 | 1 | 289 | 47 | 6.400000e+01 | -- | Inf | unknown
3013.23/3021.76 c 3022s| 800 | 801 | 2804k|1427.8 | 1280M | 162 | 45k|1230 |1571 |3394 | 1 | 289 | 47 | 6.400000e+01 | -- | Inf | unknown
3105.89/3114.64 c 3115s| 900 | 901 | 2892k|1399.9 | 1284M | 166 | 45k|1230 |1626 |3987 | 2 | 289 | 47 | 6.400000e+01 | -- | Inf | unknown
3213.92/3222.93 c 3223s| 1000 | 1001 | 2991k|1380.0 | 1299M | 166 | 45k|1241 |1608 |4711 | 1 | 300 | 47 | 6.400000e+01 | -- | Inf | unknown
3339.30/3348.68 c 3349s| 1100 | 1101 | 3111k|1371.6 | 1320M | 167 | 45k|1263 |1641 |5397 | 2 | 322 | 47 | 6.400000e+01 | -- | Inf | unknown
3442.83/3452.47 c 3452s| 1200 | 1201 | 3214k|1356.3 | 1328M | 167 | 45k|1261 |1598 |6051 | 1 | 322 | 47 | 6.400000e+01 | -- | Inf | unknown
3587.06/3597.02 c
3587.06/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.06/3597.02 c Solving Time (sec) : 3597.03
3587.06/3597.02 c Solving Nodes : 1291 (total of 2340 nodes in 2 runs)
3587.06/3597.02 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.06/3597.02 c Dual Bound : +6.40000000000000e+01
3587.06/3597.02 c Gap : infinite
3587.06/3597.02 s UNKNOWN
3587.06/3597.02 c SCIP Status : solving was interrupted [time limit reached]
3587.06/3597.02 c Total Time : 3597.03
3587.06/3597.02 c solving : 3597.03
3587.06/3597.02 c presolving : 10.06 (included in solving)
3587.06/3597.02 c reading : 0.08 (included in solving)
3587.06/3597.02 c copying : 0.27 (5 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.06/3597.02 c Original Problem :
3587.06/3597.02 c Problem name : HOME/instance-4509343-1751526542.opb
3587.06/3597.02 c Variables : 45696 (45696 binary, 0 integer, 0 continuous)
3587.06/3597.02 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.06/3597.02 c Constraints : 1556 initial, 1556 maximal
3587.06/3597.03 c Objective : minimize, 64 non-zeros (abs.min = 1, abs.max = 1)
3587.06/3597.03 c Presolved Problem :
3587.06/3597.03 c Problem name : t_HOME/instance-4509343-1751526542.opb
3587.06/3597.03 c Variables : 45632 (45632 binary, 0 integer, 0 continuous)
3587.06/3597.03 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
3587.06/3597.03 c Constraints : 1101 initial, 1282 maximal
3587.06/3597.03 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.06/3597.03 c Nonzeros : 179038 constraint, 74559 clique table
3587.06/3597.03 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.06/3597.03 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c domcol : 0.09 0.00 2 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c dualsparsify : 0.03 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c gateextraction : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c implics : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c milp : 0.21 0.00 1 0 0 0 0 0 1554 841 0 0
3587.06/3597.03 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c sparsify : 0.33 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c trivial : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c dualfix : 0.01 0.00 8 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c probing : 0.18 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c symmetry : 8.59 0.01 1 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c vbounds : 0.03 0.00 2 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c knapsack : 0.16 0.01 11 0 0 0 0 0 0 0 3 42
3587.06/3597.03 c setppc : 0.04 0.00 11 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c linear : 0.24 0.02 10 64 0 0 64 0 2 0 14 9
3587.06/3597.03 c logicor : 0.02 0.00 7 0 0 0 0 0 9 0 0 0
3587.06/3597.03 c components : 0.05 0.00 2 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c root node : - - - 0 - - 0 - - - - -
3587.06/3597.03 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.06/3597.03 c integral : 0 0 0 0 2340 0 0 302 0 0 0 0 0 0 4680
3587.06/3597.03 c knapsack : 223 223 22 151460 0 0 0 297 34557 16 108890 4426 179 0 0
3587.06/3597.03 c setppc : 715 715 22 151444 0 0 0 3 26835 0 111692 0 0 0 0
3587.06/3597.03 c linear : 23+ 27 11 63052 0 0 0 3 0 5 10 0 0 0 0
3587.06/3597.03 c logicor : 140+ 317 22 456 0 0 0 0 4 5 0 0 0 0 0
3587.06/3597.03 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.06/3597.03 c integral : 68.27 0.00 0.00 0.00 68.27 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c knapsack : 2.99 0.01 0.28 2.58 0.00 0.00 0.00 0.05 0.07 0.00
3587.06/3597.03 c setppc : 1.86 0.00 0.02 1.82 0.00 0.00 0.00 0.00 0.01 0.01
3587.06/3597.03 c linear : 0.10 0.02 0.00 0.08 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.06/3597.03 c dualfix : 2 0 0 0
3587.06/3597.03 c genvbounds : 0 0 0 0
3587.06/3597.03 c nlobbt : 0 0 0 0
3587.06/3597.03 c obbt : 0 0 0 0
3587.06/3597.03 c probing : 0 0 0 0
3587.06/3597.03 c pseudoobj : 0 0 0 0
3587.06/3597.03 c redcost : 0 0 0 0
3587.06/3597.03 c rootredcost : 0 0 0 0
3587.06/3597.03 c symmetry : 16338 0 0 13655
3587.06/3597.03 c vbounds : 24442 0 0 0
3587.06/3597.03 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.06/3597.03 c dualfix : 0.01 0.00 0.01 0.00 0.00 0.00
3587.06/3597.03 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.06/3597.03 c probing : 0.18 0.00 0.18 0.00 0.00 0.00
3587.06/3597.03 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
3587.06/3597.03 c redcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.06/3597.03 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.06/3597.03 c symmetry : 86.85 0.01 8.59 78.25 0.00 0.00
3587.06/3597.03 c vbounds : 0.08 0.00 0.03 0.04 0.00 0.00
3587.06/3597.03 c Symmetry :
3587.06/3597.03 c #affected vars : 45632 (45632 bin, 0 int, 0 cont)
3587.06/3597.03 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.06/3597.03 c orbital reduction: 13655 reductions applied, 0 cutoffs
3587.06/3597.03 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.06/3597.03 c shadow tree time : 0.01 s
3587.06/3597.03 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.06/3597.03 c propagation : 0.03 18 18 - 1077 222.7 0 0.0 - - -
3587.06/3597.03 c infeasible LP : 1.12 19 18 - 2903 2263.3 0 0.0 11 5270.4 0
3587.06/3597.03 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.06/3597.03 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.06/3597.03 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.06/3597.03 c applied globally : 0.02 - - 0 333 236.9 - - 11 - -
3587.06/3597.03 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.06/3597.03 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.06/3597.03 c cut pool : 3.41 - 798 42 - - 15105 83059 - - - - - (maximal pool size: 6843)
3587.06/3597.03 c aggregation : 3.05 0.00 86 22 0 0 8930 46514 27 9014 9002 12 0
3587.06/3597.03 c > cmir : - - - - - - - 35894 0 6234 6234 0 -
3587.06/3597.03 c > flowcover : - - - - - - - 8565 0 2188 2188 0 -
3587.06/3597.03 c > knapsackcover : - - - - - - - 2055 27 592 580 12 -
3587.06/3597.03 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c clique : 0.36 0.00 22 22 0 0 32 96 0 18 18 0 0
3587.06/3597.03 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c gomory : 8.57 0.00 84 20 0 0 6169 36376 35 4062 4057 5 0
3587.06/3597.03 c > gomorymi : - - - - - - - 28116 20 3185 3180 5 -
3587.06/3597.03 c > strongcg : - - - - - - - 8260 15 877 877 0 -
3587.06/3597.03 c impliedbounds : 0.12 0.00 86 22 0 0 6 25 0 20 20 0 0
3587.06/3597.03 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c mcf : 0.03 0.00 2 2 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c multilinear : 0.00 0.00 45 22 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c rlt : 0.00 0.00 20 20 0 0 0 0 0 0 0 0 0
3587.06/3597.03 c zerohalf : 1.57 0.00 86 22 0 0 107 48 77 43 4 39 0
3587.06/3597.03 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.06/3597.03 c hybrid : 1.29 0.00 681 22 13336 0 74288 1657 0 24055
3587.06/3597.03 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c Pricers : ExecTime SetupTime Calls Vars
3587.06/3597.03 c problem variables: 0.00 - 0 0
3587.06/3597.03 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.06/3597.03 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c relpscost : 68.27 0.00 2340 0 0 0 0 0 0 4680
3587.06/3597.03 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.06/3597.03 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.06/3597.03 c LP solutions : 0.00 - - 0 0
3587.06/3597.03 c relax solutions : 0.00 - - 0 0
3587.06/3597.03 c pseudo solutions : 0.00 - - 0 0
3587.06/3597.03 c strong branching : 0.00 - - 0 0
3587.06/3597.03 c actconsdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c adaptivediving : 33.99 0.00 6 0 0
3587.06/3597.03 c alns : 8.60 0.00 3 0 0
3587.06/3597.03 c bound : 0.00 0.00 0 0 0
3587.06/3597.03 c clique : 0.21 0.00 1 0 0
3587.06/3597.03 c coefdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c completesol : 0.00 0.00 0 0 0
3587.06/3597.03 c conflictdiving : 274.41 0.00 24 0 0
3587.06/3597.03 c crossover : 0.00 0.00 0 0 0
3587.06/3597.03 c dins : 0.00 0.00 0 0 0
3587.06/3597.03 c distributiondivin: 156.46 0.00 10 0 0
3587.06/3597.03 c dks : 0.00 0.00 0 0 0
3587.06/3597.03 c dps : 0.00 0.00 0 0 0
3587.06/3597.03 c dualval : 0.00 0.00 0 0 0
3587.06/3597.03 c farkasdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c feaspump : 27.21 0.00 6 0 0
3587.06/3597.03 c fixandinfer : 0.00 0.00 0 0 0
3587.06/3597.03 c fracdiving : 127.06 0.00 13 0 0
3587.06/3597.03 c gins : 0.00 0.00 0 0 0
3587.06/3597.03 c guideddiving : 0.00 0.00 0 0 0
3587.06/3597.03 c indicator : 0.00 0.00 0 0 0
3587.06/3597.03 c indicatordiving : 0.00 0.00 0 0 0
3587.06/3597.03 c intdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c intshifting : 0.00 0.00 0 0 0
3587.06/3597.03 c linesearchdiving : 130.80 0.00 10 0 0
3587.06/3597.03 c localbranching : 0.00 0.00 0 0 0
3587.06/3597.03 c locks : 0.19 0.00 1 0 0
3587.06/3597.03 c lpface : 0.48 0.00 0 0 0
3587.06/3597.03 c mpec : 0.00 0.00 0 0 0
3587.06/3597.03 c multistart : 0.00 0.00 0 0 0
3587.06/3597.03 c mutation : 0.00 0.00 0 0 0
3587.06/3597.03 c nlpdiving : 0.00 0.00 0 0 0
3587.06/3597.03 c objpscostdiving : 100.74 0.00 10 0 0
3587.06/3597.03 c octane : 0.00 0.00 0 0 0
3587.06/3597.03 c ofins : 0.00 0.00 0 0 0
3587.06/3597.03 c oneopt : 0.00 0.00 0 0 0
3587.06/3597.03 c padm : 0.00 0.00 0 0 0
3587.06/3597.03 c proximity : 0.00 0.00 0 0 0
3587.06/3597.03 c pscostdiving : 146.03 0.00 36 0 0
3587.06/3597.03 c randrounding : 1.31 0.00 291 0 0
3587.06/3597.03 c rens : 0.33 0.00 2 0 0
3587.06/3597.03 c reoptsols : 0.00 0.00 0 0 0
3587.06/3597.03 c repair : 0.00 0.00 0 0 0
3587.06/3597.03 c rins : 0.00 0.00 0 0 0
3587.06/3597.03 c rootsoldiving : 87.99 0.00 2 0 0
3587.06/3597.03 c rounding : 0.33 0.00 717 0 0
3587.06/3597.03 c scheduler : 0.00 0.00 0 0 0
3587.06/3597.03 c shiftandpropagate: 0.35 0.00 2 0 0
3587.06/3597.03 c shifting : 10.70 0.00 430 0 0
3587.06/3597.03 c simplerounding : 0.00 0.00 0 0 0
3587.06/3597.03 c subnlp : 0.00 0.00 0 0 0
3587.06/3597.03 c trivial : 0.04 0.00 4 0 0
3587.06/3597.03 c trivialnegation : 0.00 0.00 0 0 0
3587.06/3597.03 c trustregion : 0.00 0.00 0 0 0
3587.06/3597.03 c trysol : 0.00 0.00 0 0 0
3587.06/3597.03 c twoopt : 0.00 0.00 0 0 0
3587.06/3597.03 c undercover : 0.00 0.00 0 0 0
3587.06/3597.03 c vbounds : 0.27 0.00 2 0 0
3587.06/3597.03 c veclendiving : 128.97 0.00 11 0 0
3587.06/3597.03 c zeroobj : 0.00 0.00 0 0 0
3587.06/3597.03 c zirounding : 0.11 0.00 1000 0 0
3587.06/3597.03 c other solutions : - - - 0 -
3587.06/3597.03 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.06/3597.03 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.06/3597.03 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.06/3597.03 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
3587.06/3597.03 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.06/3597.03 c primal LP : 1.40 319 0 0.00 0.00 1.40 319
3587.06/3597.03 c dual LP : 2165.84 3021 1815920 601.70 838.44 0.01 3
3587.06/3597.03 c lex dual LP : 0.00 0 0 0.00 -
3587.06/3597.03 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.06/3597.03 c resolve instable : 0.23 3 94 31.33 417.07
3587.06/3597.03 c diving/probing LP: 1116.07 9611 1528791 159.07 1369.80
3587.06/3597.03 c strong branching : 65.84 47 19562 416.21 297.11 - - 29
3587.06/3597.03 c (at root node) : - 47 19562 416.21 -
3587.06/3597.03 c conflict analysis: 0.00 0 0 0.00 -
3587.06/3597.03 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
3587.06/3597.03 c benders : 0.00 0 0 0 0.00 0 0 0
3587.06/3597.03 c B&B Tree :
3587.06/3597.03 c number of runs : 2
3587.06/3597.03 c nodes : 1291 (1291 internal, 0 leaves)
3587.06/3597.03 c feasible leaves : 0
3587.06/3597.03 c infeas. leaves : 0
3587.06/3597.03 c objective leaves : 0
3587.06/3597.03 c nodes (total) : 2340 (2340 internal, 0 leaves)
3587.06/3597.03 c nodes left : 1292
3587.06/3597.03 c max depth : 167
3587.06/3597.03 c max depth (total): 167
3587.06/3597.03 c backtracks : 93 (7.2%)
3587.06/3597.03 c early backtracks : 0 (0.0%)
3587.06/3597.03 c nodes exc. ref. : 0 (0.0%)
3587.06/3597.03 c delayed cutoffs : 0
3587.06/3597.03 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.06/3597.03 c avg switch length: 2.01
3587.06/3597.03 c switching time : 2.67
3587.06/3597.03 c Root Node :
3587.06/3597.03 c First LP value : +6.40000000000000e+01
3587.06/3597.03 c First LP Iters : 8202 (2589.91 Iter/sec)
3587.06/3597.03 c First LP Time : 3.17
3587.06/3597.03 c Final Dual Bound : +6.40000000000000e+01
3587.06/3597.03 c Final Root Iters : 165444
3587.06/3597.03 c Root LP Estimate : +8.44051014358396e+01
3587.06/3597.03 c Solution :
3587.06/3597.03 c Solutions found : 0 (0 improvements)
3587.06/3597.03 c Primal Bound : -
3587.06/3597.03 c Dual Bound : +6.40000000000000e+01
3587.06/3597.03 c Gap : infinite
3587.06/3597.03 c Integrals : Total Avg%
3587.06/3597.03 c primal-dual : 359702.64 100.00
3587.06/3597.03 c primal-ref : - - (not evaluated)
3587.06/3597.03 c dual-ref : - - (not evaluated)
3587.55/3597.54 c Time complete (sec): 3587.604
ERROR: no interpretation found !
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 (62632 MiB free)
memory of node 1: 64507 MiB (63828 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4509343-1751526542/watcher-4509343-1751526542 -o /tmp/evaluation-result-4509343-1751526542/solver-4509343-1751526542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751526542-73836 --watchdog 3760 pbsolver -f HOME/instance-4509343-1751526542.opb -t 3600 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=73891, runsolver pid=73884
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.50 3.71 3.96 5/263 73892
/proc/meminfo: memFree=129315104/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=96548 memory=87296 CPUtime=0.09 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 19842 0 0 0 7 2 0 0 20 0 1 0 68334145 98865152 21824 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 24137 21824 2368 2575 0 21044 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 96548 KiB
Current children cumulated memory: 87296 KiB
[startup+0.205728 s]*
/proc/loadavg: 2.50 3.71 3.96 5/263 73892
/proc/meminfo: memFree=129183308/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=144260 memory=131840 CPUtime=0.2 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 30944 0 0 0 16 4 0 0 20 0 1 0 68334145 147722240 32960 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 36065 32960 2432 2575 0 32972 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 144260 KiB
Current children cumulated memory: 131840 KiB
[startup+0.30532 s]*
/proc/loadavg: 2.62 3.71 3.96 5/263 73892
/proc/meminfo: memFree=129090632/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=174684 memory=161664 CPUtime=0.3 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 36852 0 0 0 25 5 0 0 20 0 1 0 68334145 178876416 40416 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 43671 40416 2464 2575 0 40578 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 174684 KiB
Current children cumulated memory: 161664 KiB
[startup+0.700192 s]
/proc/loadavg: 2.62 3.71 3.96 5/263 73892
/proc/meminfo: memFree=129010632/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=186136 memory=173536 CPUtime=0.69 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 45907 0 0 0 62 7 0 0 20 0 1 0 68334145 190603264 43384 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 46534 43384 2560 2575 0 43441 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 186136 KiB
Current children cumulated memory: 173536 KiB
[startup+1.50017 s]
/proc/loadavg: 2.62 3.71 3.96 5/263 73892
/proc/meminfo: memFree=128748920/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=442524 memory=351440 CPUtime=1.49 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 71837 0 0 0 136 13 0 0 20 0 1 0 68334145 453144576 87860 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 110631 87860 2592 2575 0 107538 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 442524 KiB
Current children cumulated memory: 351440 KiB
[startup+3.10542 s]
/proc/loadavg: 2.62 3.71 3.96 5/263 73892
/proc/meminfo: memFree=128329296/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=477120 memory=385872 CPUtime=3.09 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 80451 0 0 0 295 14 0 0 20 0 1 0 68334145 488570880 96468 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 119280 96468 2592 2575 0 116187 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 477120 KiB
Current children cumulated memory: 385872 KiB
[startup+6.30018 s]
/proc/loadavg: 2.73 3.72 3.96 5/263 73892
/proc/meminfo: memFree=127817392/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=524364 memory=433488 CPUtime=6.27 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 92353 0 0 0 611 16 0 0 20 0 1 0 68334145 536948736 108372 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 131091 108372 2592 2575 0 127998 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 524364 KiB
Current children cumulated memory: 433488 KiB
[startup+12.7001 s]
/proc/loadavg: 2.91 3.74 3.97 5/263 73892
/proc/meminfo: memFree=127239048/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1004876 memory=911668 CPUtime=12.66 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 210957 0 0 0 1232 34 0 0 20 0 1 0 68334145 1028993024 227917 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 251219 227917 2656 2575 0 248126 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1004876 KiB
Current children cumulated memory: 911668 KiB
[startup+25.5002 s]
/proc/loadavg: 3.16 3.76 3.97 5/263 73893
/proc/meminfo: memFree=126876352/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1126372 memory=1017524 CPUtime=25.42 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 237405 0 0 0 2503 39 0 0 20 0 1 0 68334145 1153404928 254381 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 281593 254381 2688 2575 0 278500 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1126372 KiB
Current children cumulated memory: 1017524 KiB
[startup+51.1049 s]
/proc/loadavg: 3.49 3.79 3.97 5/263 73893
/proc/meminfo: memFree=126646336/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1291812 memory=1179664 CPUtime=50.96 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 277483 0 0 0 5052 44 0 0 20 0 1 0 68334145 1322815488 294916 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 322953 294916 2688 2575 0 319860 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1291812 KiB
Current children cumulated memory: 1179664 KiB
[startup+102.3 s]
/proc/loadavg: 3.83 3.84 3.98 5/261 73909
/proc/meminfo: memFree=126878120/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1291812 memory=1181328 CPUtime=102.01 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 277930 0 0 0 10156 45 0 0 20 0 1 0 68334145 1322815488 295332 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 322953 295332 2688 2575 0 319860 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1291812 KiB
Current children cumulated memory: 1181328 KiB
[startup+162.3 s]
/proc/loadavg: 4.05 3.90 4.00 5/265 73947
/proc/meminfo: memFree=126581716/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1291812 memory=1181840 CPUtime=161.82 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 278057 0 0 0 16137 45 0 0 20 0 1 0 68334145 1322815488 295460 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 322953 295460 2688 2575 0 319860 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1291812 KiB
Current children cumulated memory: 1181840 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 3.94 4.00 5/265 73949
/proc/meminfo: memFree=126466164/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359128 memory=1245840 CPUtime=221.63 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 294102 0 0 0 22115 48 0 0 20 0 1 0 68334145 1391747072 311460 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339782 311460 2688 2575 0 336689 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1359128 KiB
Current children cumulated memory: 1245840 KiB
[startup+282.3 s]
/proc/loadavg: 4.14 3.98 4.01 5/264 74086
/proc/meminfo: memFree=125897004/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359128 memory=1245840 CPUtime=281.43 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 294106 0 0 0 28095 48 0 0 20 0 1 0 68334145 1391747072 311460 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339782 311460 2688 2575 0 336689 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 1359128 KiB
Current children cumulated memory: 1245840 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.02 4.02 5/264 74088
/proc/meminfo: memFree=125875036/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359128 memory=1245840 CPUtime=341.24 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 294109 0 0 0 34076 48 0 0 20 0 1 0 68334145 1391747072 311460 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339782 311460 2688 2575 0 336689 0
Current children cumulated CPU time: 341.24 s
Current children cumulated vsize: 1359128 KiB
Current children cumulated memory: 1245840 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.03 4.02 5/262 74090
/proc/meminfo: memFree=125843460/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359128 memory=1245840 CPUtime=401.05 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 294113 0 0 0 40057 48 0 0 20 0 1 0 68334145 1391747072 311460 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339782 311460 2688 2575 0 336689 0
Current children cumulated CPU time: 401.05 s
Current children cumulated vsize: 1359128 KiB
Current children cumulated memory: 1245840 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.03 4.02 5/262 74092
/proc/meminfo: memFree=125802436/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359128 memory=1245840 CPUtime=460.86 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 294113 0 0 0 46038 48 0 0 20 0 1 0 68334145 1391747072 311460 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339782 311460 2688 2575 0 336689 0
################
# More data... #
################
/proc/loadavg: 4.14 4.12 4.09 5/263 74235
/proc/meminfo: memFree=124628832/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359364 memory=1279248 CPUtime=3213.32 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 299579 0 0 0 321282 50 0 0 20 0 1 0 68334145 1391988736 319812 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339841 319812 2688 2575 0 336748 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 1359364 KiB
Current children cumulated memory: 1279248 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 74237
/proc/meminfo: memFree=124630404/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1359364 memory=1279248 CPUtime=3273.17 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 299607 0 0 0 327267 50 0 0 20 0 1 0 68334145 1391988736 319812 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 339841 319812 2688 2575 0 336748 0
Current children cumulated CPU time: 3273.17 s
Current children cumulated vsize: 1359364 KiB
Current children cumulated memory: 1279248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/263 74240
/proc/meminfo: memFree=124626156/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1367032 memory=1287216 CPUtime=3333.02 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 300074 0 0 0 333252 50 0 0 20 0 1 0 68334145 1399840768 321804 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 341758 321804 2688 2575 0 338665 0
Current children cumulated CPU time: 3333.02 s
Current children cumulated vsize: 1367032 KiB
Current children cumulated memory: 1287216 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 74242
/proc/meminfo: memFree=124618320/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1367032 memory=1287344 CPUtime=3392.87 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 300361 0 0 0 339237 50 0 0 20 0 1 0 68334145 1399840768 321836 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 341758 321836 2688 2575 0 338665 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 1367032 KiB
Current children cumulated memory: 1287344 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 74244
/proc/meminfo: memFree=124617644/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1368796 memory=1288624 CPUtime=3452.7 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 300795 0 0 0 345220 50 0 0 20 0 1 0 68334145 1401647104 322156 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 342199 322156 2688 2575 0 339106 0
Current children cumulated CPU time: 3452.7 s
Current children cumulated vsize: 1368796 KiB
Current children cumulated memory: 1288624 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 74246
/proc/meminfo: memFree=124610240/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1374160 memory=1292976 CPUtime=3512.54 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 302137 0 0 0 351204 50 0 0 20 0 1 0 68334145 1407139840 323244 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 343540 323244 2688 2575 0 340447 0
Current children cumulated CPU time: 3512.54 s
Current children cumulated vsize: 1374160 KiB
Current children cumulated memory: 1292976 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 74249
/proc/meminfo: memFree=124602488/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1387832 memory=1305264 CPUtime=3572.39 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 305213 0 0 0 357188 51 0 0 20 0 1 0 68334145 1421139968 326316 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 346958 326316 2688 2575 0 343865 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 1387832 KiB
Current children cumulated memory: 1305264 KiB
[startup+3597.55 s]
# the end of solver process 73891 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.08 s, system=0.524487 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.09 4.11 4.09 5/263 74250
/proc/meminfo: memFree=124602580/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1388844 memory=1306160 CPUtime=3574.09 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 305443 0 0 0 357358 51 0 0 20 0 1 0 68334145 1422176256 326540 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 347211 326540 2688 2575 0 344118 0
Current children cumulated CPU time: 3574.09 s
Current children cumulated vsize: 1388844 KiB
Current children cumulated memory: 1306160 KiB
[startup+3590.4 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 74250
/proc/meminfo: memFree=124602644/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1389952 memory=1307312 CPUtime=3580.47 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 305720 0 0 0 357996 51 0 0 20 0 1 0 68334145 1423310848 326828 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 347488 326828 2688 2575 0 344395 0
Current children cumulated CPU time: 3580.47 s
Current children cumulated vsize: 1389952 KiB
Current children cumulated memory: 1307312 KiB
[startup+3593.6 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 74250
/proc/meminfo: memFree=124594612/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1392244 memory=1309744 CPUtime=3583.66 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 306345 0 0 0 358315 51 0 0 20 0 1 0 68334145 1425657856 327436 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 348061 327436 2688 2575 0 344968 0
Current children cumulated CPU time: 3583.66 s
Current children cumulated vsize: 1392244 KiB
Current children cumulated memory: 1309744 KiB
[startup+3595.2 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 74250
/proc/meminfo: memFree=124594628/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1392600 memory=1310128 CPUtime=3585.26 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 306434 0 0 0 358475 51 0 0 20 0 1 0 68334145 1426022400 327532 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 348150 327532 2688 2575 0 345057 0
Current children cumulated CPU time: 3585.26 s
Current children cumulated vsize: 1392600 KiB
Current children cumulated memory: 1310128 KiB
[startup+3596.8 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 74250
/proc/meminfo: memFree=124594628/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1392600 memory=1310128 CPUtime=3586.85 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 306434 0 0 0 358634 51 0 0 20 0 1 0 68334145 1426022400 327532 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 348150 327532 2688 2575 0 345057 0
Current children cumulated CPU time: 3586.85 s
Current children cumulated vsize: 1392600 KiB
Current children cumulated memory: 1310128 KiB
[startup+3597.2 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 74250
/proc/meminfo: memFree=124594628/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1392600 memory=1310128 CPUtime=3587.25 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 306436 0 0 0 358674 51 0 0 20 0 1 0 68334145 1426022400 327532 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 348150 327532 2688 2575 0 345057 0
Current children cumulated CPU time: 3587.25 s
Current children cumulated vsize: 1392600 KiB
Current children cumulated memory: 1310128 KiB
[startup+3597.4 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 74250
/proc/meminfo: memFree=124594628/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1392600 memory=1310128 CPUtime=3587.45 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 306444 0 0 0 358694 51 0 0 20 0 1 0 68334145 1426022400 327532 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 348150 327532 2688 2575 0 345057 0
Current children cumulated CPU time: 3587.45 s
Current children cumulated vsize: 1392600 KiB
Current children cumulated memory: 1310128 KiB
[startup+3597.5 s]
/proc/loadavg: 4.23 4.14 4.10 5/263 74250
/proc/meminfo: memFree=124594628/131250000 swapFree=33010416/33010684
[pid=73891] ppid=73884 vsize=1369444 memory=1287012 CPUtime=3587.55 cores=5,7
/proc/73891/stat : 73891 (pbsolver) R 73884 73891 73823 0 -1 4194304 306631 0 0 0 358704 51 0 0 20 0 1 0 68334145 1402310656 321753 18446744073709551615 4198400 14743177 140726561901744 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 16769280 16853168 53444608 140726561905034 140726561905130 140726561905130 140726561910732 0
/proc/73891/statm: 342361 321753 2688 2575 0 339268 0
Current children cumulated CPU time: 3587.55 s
Current children cumulated vsize: 1369444 KiB
Current children cumulated memory: 1287012 KiB
Child status: 0
Real time (s): 3597.55
CPU time (s): 3587.61
CPU user time (s): 3587.08
CPU system time (s): 0.524487
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 1392600
Max. memory (cumulated for all children) (KiB): 1310128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.08
system time used= 0.524487
maximum resident set size= 1310128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306675
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= 32
involuntary context switches= 3819
# summary of solver processes directly reported to runsolver:
# pid: 73891
# total CPU time (s): 3587.61
# total CPU user time (s): 3587.08
# total CPU system time (s): 0.524487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.51015 second user time and 12.8458 second system time
The end
Begin job on nodeC027 at 2025-07-03 09:09:03 IDJOB=4509343 IDBENCH=158611 IDSOLVER=3366 FILE ID=nodeC027/4509343-1751526542 RUNJOBID= nodeC027-1751526542-73836 SLURM_JOB_ID= 9598657 Free space on /tmp= 431172 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw64/normalized-hw64-vm99p-opt.opb.negationfix.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4509343-1751526542/watcher-4509343-1751526542 -o /tmp/evaluation-result-4509343-1751526542/solver-4509343-1751526542 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751526542-73836 --watchdog 3760 pbsolver -f HOME/instance-4509343-1751526542.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1d8b9a75b06fe10625c514168771d7f4 RANDOM SEED=1927648802 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.037 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3602.910 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.303 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.012 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3600.109 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.627 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.664 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3554.338 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 129515112 kB MemAvailable: 129743988 kB Buffers: 2488 kB Cached: 1028732 kB SwapCached: 12 kB Active: 614912 kB Inactive: 488232 kB Active(anon): 87188 kB Inactive(anon): 2792 kB Active(file): 527724 kB Inactive(file): 485440 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 63504 kB Writeback: 0 kB AnonPages: 75320 kB Mapped: 103356 kB Shmem: 18056 kB KReclaimable: 109500 kB Slab: 197612 kB SReclaimable: 109500 kB SUnreclaim: 88112 kB KernelStack: 4008 kB PageTables: 2696 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 339156 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 16384 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431108 MiB End job on nodeC027 at 2025-07-03 10:09:00