| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | ? | 3588.16 | 3598.22 |
| Name | PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb |
| MD5SUM | 56678f8f787569ff6bace689e56ab709 |
| 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 | 127 |
| Best CPU time to get the best result obtained on this benchmark | 2000.3 |
| 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 | 180608 |
| Total number of constraints | 3078 |
| Number of constraints which are clauses | 1410 |
| Number of constraints which are cardinality constraints (but not clauses) | 1410 |
| Number of constraints which are nor clauses,nor cardinality constraints | 258 |
| Minimum length of a constraint | 128 |
| Maximum length of a constraint | 1411 |
| Number of terms in the objective function | 128 |
| 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 | 128 |
| Number of bits of the sum of numbers in the objective function | 8 |
| Biggest number in a constraint | 495101 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 1113385 |
| Number of bits of the biggest sum of numbers | 21 |
| 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 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4432935-1721168407.opb>
0.30/0.36 c original problem has 180608 variables (180608 bin, 0 int, 0 impl, 0 cont) and 3078 constraints
0.30/0.36 c problem read in 0.36
0.69/0.74 c presolving:
1.09/1.14 c (round 1, fast) 639 del vars, 0 del conss, 0 add conss, 639 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26365 clqs
1.38/1.48 c (1.5s) running MILP presolver
2.29/2.31 c (2.3s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
2.39/2.41 c (round 2, medium) 639 del vars, 3078 del conss, 1668 add conss, 639 chg bounds, 1 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 26365 clqs
2.79/2.86 c (round 3, exhaustive) 639 del vars, 3078 del conss, 1668 add conss, 639 chg bounds, 1 chg sides, 0 chg coeffs, 1668 upgd conss, 0 impls, 26365 clqs
3.38/3.49 c (round 4, medium) 639 del vars, 3080 del conss, 1669 add conss, 639 chg bounds, 2 chg sides, 120 chg coeffs, 1668 upgd conss, 0 impls, 148648 clqs
28.81/28.98 c (29.0s) probing: 1000/179969 (0.6%) - 0 fixings, 0 aggregations, 328 implications, 0 bound changes
28.92/29.01 c (29.0s) probing: 1001/179969 (0.6%) - 0 fixings, 0 aggregations, 329 implications, 0 bound changes
28.92/29.01 c (29.0s) probing aborted: 1000/1000 successive useless probings
29.02/29.16 c (29.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
242.85/243.54 c (243.5s) symmetry computation finished: 355 generators found (max: 355, log10 of symmetry group size: 1600.0) (symcode time: 214.11)
243.65/244.39 c dynamic symmetry handling statistics:
243.65/244.39 c orbitopal reduction: no components
243.65/244.39 c orbital reduction: 1 components of sizes 355
243.65/244.39 c lexicographic reduction: 355 permutations with support sizes 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 2820, 2820, 2820, 2820, 2820, 2820, 2820, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 254, 252, 252, 252, 252, 252, 252, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 252, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, c 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 252, 252, 252, 252, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 254, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256, 256
243.65/244.39 c handled 1 out of 1 symmetry components
243.86/244.54 c presolving (5 rounds: 5 fast, 4 medium, 2 exhaustive):
243.86/244.54 c 639 deleted vars, 3080 deleted constraints, 1669 added constraints, 639 tightened bounds, 0 added holes, 2 changed sides, 120 changed coefficients
243.86/244.54 c 0 implications, 148977 cliques
243.86/244.54 c presolved problem has 179969 variables (179969 bin, 0 int, 0 impl, 0 cont) and 1667 constraints
243.86/244.54 c 256 constraints of type <knapsack>
243.86/244.54 c 1411 constraints of type <setppc>
243.86/244.54 c transformed objective value is always integral (scale: 1)
243.86/244.54 c Presolving Time: 243.86
243.86/244.54 c - non default parameters ----------------------------------------------------------------------
243.86/244.54 c # SCIP version 10.0.0
243.86/244.54 c
243.86/244.54 c # maximal time in seconds to run
243.86/244.54 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
243.86/244.54 c limits/time = 3596.997058
243.86/244.54 c
243.86/244.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
243.86/244.54 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
243.86/244.54 c limits/memory = 27900
243.86/244.54 c
243.86/244.54 c # belongs reading time to solving time?
243.86/244.54 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
243.86/244.54 c timing/reading = TRUE
243.86/244.54 c
243.86/244.54 c -----------------------------------------------------------------------------------------------
243.86/244.54 c start solving
243.86/244.58 c
266.40/267.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
266.40/267.15 c 267s| 1 | 0 | 11168 | - | 1777M | 0 | 179k|1826 |1667 | 0 | 0 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
287.82/288.62 c 289s| 1 | 0 | 18919 | - | 1888M | 0 | 179k|1826 |1799 | 132 | 1 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
299.09/299.92 c 300s| 1 | 0 | 22888 | - | 1935M | 0 | 179k|1825 |1935 | 268 | 2 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
311.65/312.53 c 313s| 1 | 0 | 26343 | - | 1982M | 0 | 179k|1825 |2069 | 402 | 3 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
322.13/323.06 c 323s| 1 | 0 | 29212 | - | 2020M | 0 | 179k|1825 |2205 | 538 | 4 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
328.90/329.81 c 330s| 1 | 0 | 31536 | - | 2060M | 0 | 179k|1823 |2340 | 673 | 5 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
341.17/342.12 c 342s| 1 | 0 | 33423 | - | 2095M | 0 | 179k|1823 |2476 | 809 | 6 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
354.43/355.44 c 355s| 1 | 0 | 35708 | - | 2134M | 0 | 179k|1823 |2609 | 942 | 7 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
369.29/370.32 c 370s| 1 | 0 | 38400 | - | 2161M | 0 | 179k|1812 |2738 |1071 | 8 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
388.35/389.43 c 389s| 1 | 0 | 40955 | - | 2201M | 0 | 179k|1812 |2867 |1200 | 9 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
407.89/409.03 c 409s| 1 | 0 | 43512 | - | 2236M | 0 | 179k|1812 |3002 |1335 | 10 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
426.24/427.48 c 427s| 1 | 0 | 47337 | - | 2241M | 0 | 179k|1812 |3133 |1466 | 11 | 268 | 0 | 1.270000e+02 | -- | Inf | unknown
573.05/574.68 c 575s| 1 | 2 | 67971 | - | 2244M | 0 | 179k|1801 |3133 |1466 | 11 | 268 | 22 | 1.270000e+02 | -- | Inf | unknown
2012.24/2017.80 c 2018s| 100 | 101 |400083 |3563.6 | 2296M | 20 | 179k|1797 |1862 |4155 | 1 | 279 | 22 | 1.270000e+02 | -- | Inf | unknown
3034.89/3043.35 c 3043s| 200 | 201 |648268 |3020.0 | 2299M | 21 | 179k|1809 |1839 |8480 | 1 | 293 | 22 | 1.270000e+02 | -- | Inf | unknown
3476.85/3486.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3476.85/3486.62 c 3487s| 300 | 301 |757105 |2374.0 | 2311M | 79 | 179k|1806 |2003 |9625 | 1 | 293 | 22 | 1.270000e+02 | -- | Inf | unknown
3587.05/3597.18 c
3587.05/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3587.05/3597.18 c Solving Time (sec) : 3597.18
3587.05/3597.18 c Solving Nodes : 341
3587.05/3597.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
3587.05/3597.18 c Dual Bound : +1.27000000000000e+02
3587.05/3597.18 c Gap : infinite
3587.05/3597.18 s UNKNOWN
3587.05/3597.18 c SCIP Status : solving was interrupted [time limit reached]
3587.05/3597.18 c Total Time : 3597.18
3587.05/3597.18 c solving : 3597.18
3587.05/3597.18 c presolving : 243.86 (included in solving)
3587.05/3597.18 c reading : 0.36 (included in solving)
3587.05/3597.18 c copying : 1.14 (4 #copies) (minimal 0.27, maximal 0.30, average 0.29)
3587.05/3597.18 c Original Problem :
3587.05/3597.18 c Problem name : HOME/instance-4432935-1721168407.opb
3587.05/3597.18 c Variables : 180608 (180608 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.05/3597.18 c Constraints : 3078 initial, 3078 maximal
3587.05/3597.18 c Objective : minimize, 128 non-zeros (abs.min = 1, abs.max = 1)
3587.05/3597.18 c Presolved Problem :
3587.05/3597.18 c Problem name : t_HOME/instance-4432935-1721168407.opb
3587.05/3597.18 c Variables : 179969 (179969 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.05/3597.18 c Constraints : 1667 initial, 1827 maximal
3587.05/3597.19 c Objective : minimize, 120 non-zeros (abs.min = 1, abs.max = 1)
3587.05/3597.19 c Nonzeros : 538243 constraint, 1115725 clique table
3587.05/3597.19 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
3587.05/3597.19 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c domcol : 0.31 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c dualsparsify : 0.15 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c gateextraction : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c implics : 0.01 0.00 4 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c milp : 1.14 0.00 1 0 0 0 0 0 3078 1668 0 0
3587.05/3597.19 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c sparsify : 0.71 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c trivial : 0.03 0.00 5 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c dualfix : 0.03 0.00 5 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c probing : 24.43 0.01 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c symmetry : 215.23 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c vbounds : 0.21 0.00 2 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c knapsack : 0.45 0.02 5 0 0 0 0 0 1 1 1 120
3587.05/3597.19 c setppc : 0.11 0.01 5 0 0 0 0 0 1 0 0 0
3587.05/3597.19 c linear : 0.77 0.07 4 639 0 0 639 0 0 0 1 0
3587.05/3597.19 c logicor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c components : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c root node : - - - 0 - - 0 - - - - -
3587.05/3597.19 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
3587.05/3597.19 c benderslp : 0 0 0 0 340 0 0 55 0 0 0 0 0 0 0
3587.05/3597.19 c integral : 0 0 0 0 340 0 0 55 0 0 0 0 0 0 680
3587.05/3597.19 c knapsack : 256 256 11 334378 0 0 0 51 59946 32 54684 2225 80 0 0
3587.05/3597.19 c setppc : 1411 1411 11 334346 0 0 0 2 1026 0 31550 0 0 0 0
3587.05/3597.19 c linear : 0+ 2 0 15969 0 0 0 3 0 2 0 0 0 0 0
3587.05/3597.19 c logicor : 0+ 159 11 202 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c benders : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c fixedvar : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c countsols : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
3587.05/3597.19 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c integral : 103.50 0.00 0.00 0.00 103.50 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c knapsack : 3.31 0.02 0.28 2.80 0.00 0.00 0.00 0.04 0.17 0.01
3587.05/3597.19 c setppc : 1.45 0.01 0.04 1.39 0.00 0.00 0.00 0.00 0.02 0.01
3587.05/3597.19 c linear : 0.10 0.07 0.00 0.01 0.00 0.00 0.00 0.01 0.00 0.00
3587.05/3597.19 c logicor : 0.02 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c fixedvar : 0.01 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c components : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c Propagators : #Propagate #ResProp Cutoffs DomReds
3587.05/3597.19 c dualfix : 1 0 0 0
3587.05/3597.19 c genvbounds : 0 0 0 0
3587.05/3597.19 c nlobbt : 0 0 0 0
3587.05/3597.19 c obbt : 0 0 0 0
3587.05/3597.19 c probing : 0 0 0 0
3587.05/3597.19 c pseudoobj : 979 0 0 0
3587.05/3597.19 c redcost : 13 0 0 0
3587.05/3597.19 c rootredcost : 0 0 0 0
3587.05/3597.19 c symmetry : 10491 0 0 67
3587.05/3597.19 c vbounds : 10401 0 0 0
3587.05/3597.19 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
3587.05/3597.19 c dualfix : 0.03 0.00 0.03 0.01 0.00 0.00
3587.05/3597.19 c genvbounds : 0.01 0.00 0.00 0.01 0.00 0.00
3587.05/3597.19 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
3587.05/3597.19 c probing : 24.44 0.01 24.43 0.00 0.00 0.00
3587.05/3597.19 c pseudoobj : 4.42 0.00 0.00 4.42 0.00 0.00
3587.05/3597.19 c redcost : 0.13 0.00 0.00 0.13 0.00 0.00
3587.05/3597.19 c rootredcost : 0.01 0.00 0.00 0.01 0.00 0.00
3587.05/3597.19 c symmetry : 229.81 0.00 215.23 14.58 0.00 0.00
3587.05/3597.19 c vbounds : 0.27 0.00 0.21 0.07 0.00 0.00
3587.05/3597.19 c Symmetry :
3587.05/3597.19 c orbitopal red. : 0 reductions applied, 0 cutoffs
3587.05/3597.19 c orbital reduction: 67 reductions applied, 0 cutoffs
3587.05/3597.19 c lexicographic red: 0 reductions applied, 0 cutoffs
3587.05/3597.19 c shadow tree time : 0.00 s
3587.05/3597.19 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
3587.05/3597.19 c propagation : 1.03 28 28 - 3888 1664.6 0 0.0 - - -
3587.05/3597.19 c infeasible LP : 0.33 4 4 - 422 2149.3 0 0.0 4 4758.0 0
3587.05/3597.19 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
3587.05/3597.19 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
3587.05/3597.19 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
3587.05/3597.19 c applied globally : 0.01 - - 0 289 800.5 - - 4 - -
3587.05/3597.19 c applied locally : - - - 0 0 0.0 - - 0 - -
3587.05/3597.19 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
3587.05/3597.19 c cut pool : 5.76 - 154 21 - - 8638 58929 - - - - - (maximal pool size: 7974)
3587.05/3597.19 c aggregation : 3.94 0.00 21 11 0 0 5857 41963 0 8085 8085 0 0
3587.05/3597.19 c > cmir : - - - - - - - 29186 0 4691 4691 0 -
3587.05/3597.19 c > flowcover : - - - - - - - 11896 0 3155 3155 0 -
3587.05/3597.19 c > knapsackcover : - - - - - - - 881 0 239 239 0 -
3587.05/3597.19 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c clique : 1.39 0.00 11 11 0 0 45 674 0 250 250 0 0
3587.05/3597.19 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c gomory : 10.27 0.00 20 10 0 0 2504 15496 0 1284 1284 0 0
3587.05/3597.19 c > gomorymi : - - - - - - - 11680 0 904 904 0 -
3587.05/3597.19 c > strongcg : - - - - - - - 3816 0 380 380 0 -
3587.05/3597.19 c impliedbounds : 0.35 0.00 21 11 0 0 218 749 0 77 77 0 0
3587.05/3597.19 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c mcf : 0.04 0.00 1 1 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c multilinear : 0.00 0.00 23 11 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c rlt : 0.00 0.00 18 10 0 0 0 0 0 0 0 0 0
3587.05/3597.19 c zerohalf : 1.62 0.00 21 11 0 0 25 47 11 11 3 8 0
3587.05/3597.19 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
3587.05/3597.19 c hybrid : 2.12 0.00 135 11 9787 0 51378 1466 0 12901
3587.05/3597.19 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c Pricers : ExecTime SetupTime Calls Vars
3587.05/3597.19 c problem variables: 0.00 - 0 0
3587.05/3597.19 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
3587.05/3597.19 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c random : 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c relpscost : 103.50 0.00 340 0 0 0 0 0 0 680
3587.05/3597.19 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
3587.05/3597.19 c Primal Heuristics : ExecTime SetupTime Calls Found Best
3587.05/3597.19 c LP solutions : 0.00 - - 0 0
3587.05/3597.19 c relax solutions : 0.00 - - 0 0
3587.05/3597.19 c pseudo solutions : 0.00 - - 0 0
3587.05/3597.19 c strong branching : 0.00 - - 0 0
3587.05/3597.19 c actconsdiving : 0.00 0.00 0 0 0
3587.05/3597.19 c adaptivediving : 55.84 0.00 3 0 0
3587.05/3597.19 c alns : 30.96 0.00 3 0 0
3587.05/3597.19 c bound : 0.00 0.00 0 0 0
3587.05/3597.19 c clique : 1.68 0.00 1 0 0
3587.05/3597.19 c coefdiving : 0.00 0.00 0 0 0
3587.05/3597.19 c completesol : 0.00 0.00 0 0 0
3587.05/3597.19 c conflictdiving : 294.10 0.00 5 0 0
3587.05/3597.19 c crossover : 0.00 0.00 0 0 0
3587.05/3597.19 c dins : 0.00 0.00 0 0 0
3587.05/3597.19 c distributiondivin: 201.60 0.00 4 0 0
3587.05/3597.19 c dps : 0.00 0.00 0 0 0
3587.05/3597.19 c dualval : 0.00 0.00 0 0 0
3587.05/3597.19 c farkasdiving : 0.00 0.00 0 0 0
3587.05/3597.19 c feasjump : 0.42 0.00 1 0 0
3587.05/3597.19 c feaspump : 12.62 0.00 2 0 0
3587.05/3597.19 c fixandinfer : 0.00 0.00 0 0 0
3587.05/3597.19 c fracdiving : 89.74 0.00 4 0 0
3587.05/3597.19 c gins : 0.00 0.00 0 0 0
3587.05/3597.19 c guideddiving : 0.00 0.00 0 0 0
3587.05/3597.19 c indcoefdiving : 0.00 0.00 0 0 0
3587.05/3597.19 c indicator : 0.00 0.00 0 0 0
3587.05/3597.19 c indicatordiving : 0.00 0.00 0 0 0
3587.05/3597.19 c indoneopt : 0.00 0.00 0 0 0
3587.05/3597.19 c indrounding : 0.00 0.00 0 0 0
3587.05/3597.19 c indtwoopt : 0.00 0.00 0 0 0
3587.05/3597.19 c intdiving : 0.00 0.00 0 0 0
3587.05/3597.19 c intshifting : 0.00 0.00 0 0 0
3587.05/3597.19 c linesearchdiving : 141.36 0.00 4 0 0
3587.05/3597.19 c localbranching : 0.00 0.00 0 0 0
3587.05/3597.19 c locks : 0.74 0.00 1 0 0
3587.05/3597.19 c lpface : 0.09 0.00 0 0 0
3587.05/3597.19 c mpec : 0.00 0.00 0 0 0
3587.05/3597.19 c multistart : 0.00 0.00 0 0 0
3587.05/3597.19 c mutation : 0.00 0.00 0 0 0
3587.05/3597.19 c nlpdiving : 0.00 0.00 0 0 0
3587.05/3597.19 c objpscostdiving : 47.38 0.00 3 0 0
3587.05/3597.19 c octane : 0.00 0.00 0 0 0
3587.05/3597.19 c ofins : 0.00 0.00 0 0 0
3587.05/3597.19 c oneopt : 0.00 0.00 0 0 0
3587.05/3597.19 c padm : 0.00 0.00 0 0 0
3587.05/3597.19 c proximity : 0.00 0.00 0 0 0
3587.05/3597.19 c pscostdiving : 207.94 0.00 11 0 0
3587.05/3597.19 c randrounding : 0.91 0.00 48 0 0
3587.05/3597.19 c rens : 0.82 0.00 1 0 0
3587.05/3597.19 c reoptsols : 0.00 0.00 0 0 0
3587.05/3597.19 c repair : 0.00 0.00 0 0 0
3587.05/3597.19 c rins : 0.00 0.00 0 0 0
3587.05/3597.19 c rootsoldiving : 44.04 0.00 2 0 0
3587.05/3597.19 c rounding : 0.17 0.00 259 0 0
3587.05/3597.19 c scheduler : 0.00 0.00 0 0 0
3587.05/3597.19 c shiftandpropagate: 0.48 0.00 1 0 0
3587.05/3597.19 c shifting : 23.15 0.00 163 0 0
3587.05/3597.19 c simplerounding : 0.00 0.00 475 0 0
3587.05/3597.19 c smallcard : 0.00 0.00 0 0 0
3587.05/3597.19 c subnlp : 0.00 0.00 0 0 0
3587.05/3597.19 c trivial : 0.11 0.00 2 0 0
3587.05/3597.19 c trivialnegation : 0.00 0.00 0 0 0
3587.05/3597.19 c trustregion : 0.00 0.00 0 0 0
3587.05/3597.19 c trysol : 0.00 0.00 0 0 0
3587.05/3597.19 c twoopt : 0.00 0.00 0 0 0
3587.05/3597.19 c undercover : 0.00 0.00 0 0 0
3587.05/3597.19 c vbounds : 2.93 0.00 1 0 0
3587.05/3597.19 c veclendiving : 157.66 0.00 4 0 0
3587.05/3597.19 c zeroobj : 0.00 0.00 0 0 0
3587.05/3597.19 c zirounding : 0.26 0.00 340 0 0
3587.05/3597.19 c other solutions : - - - 0 -
3587.05/3597.19 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
3587.05/3597.19 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
3587.05/3597.19 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.05/3597.19 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
3587.05/3597.19 c primal LP : 1.19 68 0 0.00 0.00 1.19 68
3587.05/3597.19 c dual LP : 1873.98 476 372506 782.58 198.78 0.00 0
3587.05/3597.19 c lex dual LP : 0.00 0 0 0.00 -
3587.05/3597.19 c barrier LP : 0.00 0 0 0.00 - 0.00 0
3587.05/3597.19 c resolve instable : 0.21 1 29 29.00 139.95
3587.05/3597.19 c diving/probing LP: 1185.65 1187 401809 338.51 338.89
3587.05/3597.19 c strong branching : 101.27 22 6167 280.32 60.90 - - 2
3587.05/3597.19 c (at root node) : - 22 6167 280.32 -
3587.05/3597.19 c conflict analysis: 0.00 0 0 0.00 -
3587.05/3597.19 c B&B Tree :
3587.05/3597.19 c number of runs : 1
3587.05/3597.19 c nodes : 341 (340 internal, 1 leaves)
3587.05/3597.19 c feasible leaves : 0
3587.05/3597.19 c infeas. leaves : 0
3587.05/3597.19 c objective leaves : 0
3587.05/3597.19 c nodes (total) : 341 (340 internal, 1 leaves)
3587.05/3597.19 c nodes left : 341
3587.05/3597.19 c max depth : 82
3587.05/3597.19 c max depth (total): 82
3587.05/3597.19 c backtracks : 46 (13.5%)
3587.05/3597.19 c early backtracks : 0 (0.0%)
3587.05/3597.19 c nodes exc. ref. : 0 (0.0%)
3587.05/3597.19 c delayed cutoffs : 0
3587.05/3597.19 c repropagations : 0 (0 domain reductions, 0 cutoffs)
3587.05/3597.19 c avg switch length: 2.42
3587.05/3597.19 c switching time : 1.87
3587.05/3597.19 c Root Node :
3587.05/3597.19 c First LP value : +1.27000000000000e+02
3587.05/3597.19 c First LP Iters : 11114 (946.64 Iter/sec)
3587.05/3597.19 c First LP Time : 11.74
3587.05/3597.19 c Final Dual Bound : +1.27000000000000e+02
3587.05/3597.19 c Final Root Iters : 47283
3587.05/3597.19 c Root LP Estimate : +1.27011463235049e+02
3587.05/3597.19 c Solution :
3587.05/3597.19 c Solutions found : 0 (0 improvements)
3587.05/3597.19 c Primal Bound : -
3587.05/3597.19 c Dual Bound : +1.27000000000000e+02
3587.05/3597.19 c Gap : infinite
3587.05/3597.19 c Integrals : Total Avg%
3587.05/3597.19 c primal-dual : 359717.78 100.00
3587.05/3597.19 c primal-ref : - - (not evaluated)
3587.05/3597.19 c dual-ref : - - (not evaluated)
3588.04/3598.17 c Time complete: 3588.12.
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: 63931 MiB (60759 MiB free)
memory of node 1: 64510 MiB (59586 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432935-1721168407/watcher-4432935-1721168407 -o /tmp/evaluation-result-4432935-1721168407/solver-4432935-1721168407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900915 --watchdog 3760 pbscip -f HOME/instance-4432935-1721168407.opb -t 3600 -j 2 -m 31000
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=904212, runsolver pid=904209
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=123125480/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=167796 memory=126064 CPUtime=0.09 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 28527 0 0 0 6 3 0 0 20 0 1 0 169002535 171823104 31516 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 41949 31516 3282 3540 0 30206 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 167796 KiB
Current children cumulated memory: 126064 KiB
[startup+0.205608 s]*
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122992760/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=237136 memory=194900 CPUtime=0.2 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 45772 0 0 0 14 6 0 0 20 0 1 0 169002535 242827264 48725 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 59284 48725 3282 3540 0 47541 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 237136 KiB
Current children cumulated memory: 194900 KiB
[startup+0.305601 s]*
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122928584/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=243356 memory=201500 CPUtime=0.3 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 47376 0 0 0 24 6 0 0 20 0 1 0 169002535 249196544 50375 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 60839 50375 3282 3540 0 49096 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 243356 KiB
Current children cumulated memory: 201500 KiB
[startup+0.700237 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122747292/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=507752 memory=462580 CPUtime=0.69 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 113132 0 0 0 55 14 0 0 20 0 1 0 169002535 519938048 115645 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 126938 115645 3617 3540 0 115195 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 507752 KiB
Current children cumulated memory: 462580 KiB
[startup+1.50021 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904213
/proc/meminfo: memFree=122609504/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=672976 memory=625600 CPUtime=1.49 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 138154 0 0 0 130 19 0 0 20 0 1 0 169002535 689127424 156400 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 168244 156400 3728 3540 0 156501 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 672976 KiB
Current children cumulated memory: 625600 KiB
[startup+3.1056 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 904215
/proc/meminfo: memFree=122487688/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=730724 memory=685532 CPUtime=3.08 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 163443 0 0 0 286 22 0 0 20 0 1 0 169002535 748261376 171383 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 182681 171383 3824 3540 0 170938 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 730724 KiB
Current children cumulated memory: 685532 KiB
[startup+6.3002 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 904215
/proc/meminfo: memFree=122073996/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1084644 memory=1003884 CPUtime=6.27 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 199679 0 0 0 596 31 0 0 20 0 1 0 169002535 1110675456 250971 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 271161 250971 3824 3540 0 259418 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1084644 KiB
Current children cumulated memory: 1003884 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 904215
/proc/meminfo: memFree=122039484/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1084644 memory=1004016 CPUtime=12.66 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 199702 0 0 0 1234 32 0 0 20 0 1 0 169002535 1110675456 251004 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 271161 251004 3824 3540 0 259418 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1084644 KiB
Current children cumulated memory: 1004016 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 904218
/proc/meminfo: memFree=121788400/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1085668 memory=1004964 CPUtime=25.42 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 200020 0 0 0 2510 32 0 0 20 0 1 0 169002535 1111724032 251241 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 271417 251241 3824 3540 0 259674 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1085668 KiB
Current children cumulated memory: 1004964 KiB
[startup+51.1055 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 904222
/proc/meminfo: memFree=121179200/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552168 memory=1387212 CPUtime=50.97 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 283499 0 0 0 5051 46 0 0 20 0 1 0 169002535 1589420032 346803 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388042 346803 3840 3540 0 376299 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1552168 KiB
Current children cumulated memory: 1387212 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 904231
/proc/meminfo: memFree=120964924/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552176 memory=1389044 CPUtime=102.02 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 283999 0 0 0 10156 46 0 0 20 0 1 0 169002535 1589428224 347261 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388044 347261 3840 3540 0 376301 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 1552176 KiB
Current children cumulated memory: 1389044 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 904241
/proc/meminfo: memFree=120308048/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552180 memory=1389044 CPUtime=161.87 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 284008 0 0 0 16140 47 0 0 20 0 1 0 169002535 1589432320 347261 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388045 347261 3840 3540 0 376302 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 1552180 KiB
Current children cumulated memory: 1389044 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 904253
/proc/meminfo: memFree=119927692/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=1552184 memory=1389220 CPUtime=221.71 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 284038 0 0 0 22124 47 0 0 20 0 1 0 169002535 1589436416 347305 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 388046 347305 3840 3540 0 376303 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 1552184 KiB
Current children cumulated memory: 1389220 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 904264
/proc/meminfo: memFree=118991096/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2063988 memory=1844204 CPUtime=281.54 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 380412 0 0 0 28092 62 0 0 20 0 1 0 169002535 2113523712 461051 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 515997 461051 4016 3540 0 504254 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2063988 KiB
Current children cumulated memory: 1844204 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/257 904658
/proc/meminfo: memFree=118659496/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2263656 memory=2034556 CPUtime=341.36 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 423008 0 0 0 34067 69 0 0 20 0 1 0 169002535 2317983744 508639 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 565914 508639 4016 3540 0 554171 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 2263656 KiB
Current children cumulated memory: 2034556 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/256 904668
/proc/meminfo: memFree=118458344/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2407948 memory=2184960 CPUtime=401.2 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 453538 0 0 0 40045 75 0 0 20 0 1 0 169002535 2465738752 546240 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 601987 546240 4016 3540 0 590244 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2407948 KiB
Current children cumulated memory: 2184960 KiB
[startup+462.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/256 904680
/proc/meminfo: memFree=118342232/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=2413068 memory=2190676 CPUtime=461.03 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 454533 0 0 0 46027 76 0 0 20 0 1 0 169002535 2470981632 547669 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 603267 547669 4016 3540 0 591524 0
################
# More data... #
################
Current children cumulated memory: 2797836 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/256 906022
/proc/meminfo: memFree=117011720/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2797836 CPUtime=3153.48 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 763291 0 0 0 315190 158 0 0 20 0 1 0 169002535 3081912320 699459 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 699459 4048 3540 0 740677 0
Current children cumulated CPU time: 3153.48 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2797836 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/256 906034
/proc/meminfo: memFree=116826664/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2797836 CPUtime=3213.29 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 763732 0 0 0 321170 159 0 0 20 0 1 0 169002535 3081912320 699459 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 699459 4048 3540 0 740677 0
Current children cumulated CPU time: 3213.29 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2797836 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.15 5/256 906045
/proc/meminfo: memFree=116511608/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803384 CPUtime=3273.11 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 764315 0 0 0 327151 160 0 0 20 0 1 0 169002535 3081912320 700846 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700846 4048 3540 0 740677 0
Current children cumulated CPU time: 3273.11 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803384 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.14 5/254 906055
/proc/meminfo: memFree=116340560/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803536 CPUtime=3332.94 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 764731 0 0 0 333134 160 0 0 20 0 1 0 169002535 3081912320 700884 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700884 4048 3540 0 740677 0
Current children cumulated CPU time: 3332.94 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.13 5/254 906065
/proc/meminfo: memFree=116264184/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803536 CPUtime=3392.77 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 765226 0 0 0 339116 161 0 0 20 0 1 0 169002535 3081912320 700884 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700884 4048 3540 0 740677 0
Current children cumulated CPU time: 3392.77 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/255 906077
/proc/meminfo: memFree=116129584/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2803536 CPUtime=3452.61 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 765453 0 0 0 345100 161 0 0 20 0 1 0 169002535 3081912320 700884 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 700884 4048 3540 0 740677 0
Current children cumulated CPU time: 3452.61 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2803536 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/255 906088
/proc/meminfo: memFree=116065412/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805104 CPUtime=3512.45 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766113 0 0 0 351083 162 0 0 20 0 1 0 169002535 3081912320 701276 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701276 4048 3540 0 740677 0
Current children cumulated CPU time: 3512.45 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.50 4.21 4.16 5/255 906098
/proc/meminfo: memFree=116064952/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3572.27 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766664 0 0 0 357065 162 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3572.27 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3598.22 s]
# the end of solver process 904212 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.48 s, system=1.68298 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.54 4.23 4.16 5/255 906100
/proc/meminfo: memFree=116064980/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3573.97 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766664 0 0 0 357235 162 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3590.4 s]
/proc/loadavg: 4.50 4.22 4.16 5/252 906160
/proc/meminfo: memFree=117569804/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3580.36 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766672 0 0 0 357873 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3580.36 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3593.6 s]
/proc/loadavg: 4.50 4.22 4.16 5/257 906197
/proc/meminfo: memFree=117262844/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3583.55 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766676 0 0 0 358192 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3583.55 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3596.8 s]
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=119361440/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3586.74 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766794 0 0 0 358511 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 2 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3586.74 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3597.6 s]
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=119279156/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3587.54 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766832 0 0 0 358591 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3587.54 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3598 s]*
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=119255356/131524600 swapFree=131071996/131071996
[pid=904212] ppid=904209 vsize=3009680 memory=2805340 CPUtime=3587.94 cores=5,7
/proc/904212/stat : 904212 (pbscip) R 904209 904212 900902 0 -1 4194304 766932 0 0 0 358631 163 0 0 20 0 1 0 169002535 3081912320 701335 134679101440 4194304 18693293 140734541773760 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 21375888 21430392 29347840 140734541779972 140734541780071 140734541780071 140734541787086 0
/proc/904212/statm: 752420 701335 4048 3540 0 740677 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 3009680 KiB
Current children cumulated memory: 2805340 KiB
[startup+3598.2 s]*
/proc/loadavg: 4.46 4.22 4.16 5/257 906243
/proc/meminfo: memFree=121593520/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 3598.22
CPU time (s): 3588.16
CPU user time (s): 3586.48
CPU system time (s): 1.68298
CPU usage (%): 99.7206
Max. virtual memory (cumulated for all children) (KiB): 3009680
Max. memory (cumulated for all children) (KiB): 2805340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.48
system time used= 1.68298
maximum resident set size= 2805340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 767434
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= 22
involuntary context switches= 1450
# summary of solver processes directly reported to runsolver:
# pid: 904212
# total CPU time (s): 3588.16
# total CPU user time (s): 3586.48
# total CPU system time (s): 1.68298
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.5274 second user time and 17.4857 second system time
The end
Begin job on nodeC017 at 2024-07-17 00:20:19 IDJOB=4432935 IDBENCH=158605 IDSOLVER=3059 FILE ID=nodeC017/4432935-1721168407 RUNJOBID= nodeC017-1721164808-900915 SLURM_JOB_ID= 7505785 Free space on /tmp= 890012 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/pbfvmc-formulae/hw128/normalized-hw128-vm99p-opt.opb.negationfix.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432935-1721168407/watcher-4432935-1721168407 -o /tmp/evaluation-result-4432935-1721168407/solver-4432935-1721168407 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1721164808-900915 --watchdog 3760 pbscip -f HOME/instance-4432935-1721168407.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 56678f8f787569ff6bace689e56ab709 RANDOM SEED=817372733 nodeC017.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /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 : 3674.379 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3675.069 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3599.793 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3602.325 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3674.411 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3666.291 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 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 : 3600.023 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6999.46 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 : 3676.704 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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 bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.99 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 123234008 kB MemAvailable: 127928576 kB Buffers: 440212 kB Cached: 5042480 kB SwapCached: 0 kB Active: 1016836 kB Inactive: 6566828 kB Active(anon): 1568 kB Inactive(anon): 2137444 kB Active(file): 1015268 kB Inactive(file): 4429384 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 50892 kB Writeback: 0 kB AnonPages: 2101356 kB Mapped: 138848 kB Shmem: 37720 kB KReclaimable: 179128 kB Slab: 295472 kB SReclaimable: 179128 kB SUnreclaim: 116344 kB KernelStack: 4124 kB PageTables: 13436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 2407068 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 62880 kB HardwareCorrupted: 0 kB AnonHugePages: 382976 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 246484 kB DirectMap2M: 33081344 kB DirectMap1G: 102760448 kB Free space on /tmp at the end= 889988 MiB End job on nodeC017 at 2024-07-17 01:20:18