| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SCIP 2025-06-13 | ? | 162.586 | 163.136 |
| Name | PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-20array_ineq6.opb |
| MD5SUM | 3fc1fa6fafd20a9b1fe100c4dc12e1ea |
| Bench Category | DEC-LIN (decision problem, linear constraints, no UNSAT certificate) |
| Best result obtained on this benchmark | UNSAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 72.4891 |
| Has Objective Function | NO |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2520 |
| Total number of constraints | 3361 |
| Number of constraints which are clauses | 2460 |
| Number of constraints which are cardinality constraints (but not clauses) | 20 |
| Number of constraints which are nor clauses,nor cardinality constraints | 881 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 80 |
| Number of terms in the objective function | 0 |
| Biggest coefficient in the objective function | 0 |
| Number of bits for the biggest coefficient in the objective function | 0 |
| Sum of the numbers in the objective function | 0 |
| Number of bits of the sum of numbers in the objective function | 0 |
| Biggest number in a constraint | 549755813888 |
| Number of bits of the biggest number in a constraint | 40 |
| Biggest sum of numbers in a constraint | 2199023255551 |
| Number of bits of the biggest sum of numbers | 41 |
| 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-4541577-1753209881.opb>
0.00/0.01 c original problem has 2520 variables (2520 bin, 0 int, 0 cont) and 3361 constraints
0.00/0.01 c problem read in 0.008 seconds
0.00/0.01 c problem without objective
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 446 del vars, 1018 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1201 clqs
0.00/0.02 c (round 2, fast) 458 del vars, 1242 del conss, 0 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1397 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver (2 rounds): 398 aggregations, 0 fixings, 0 bound changes
0.00/0.03 c (round 3, medium) 856 del vars, 3361 del conss, 1323 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 601 clqs
0.00/0.03 c (round 4, exhaustive) 856 del vars, 3361 del conss, 1323 add conss, 269 chg bounds, 0 chg sides, 0 chg coeffs, 601 upgd conss, 0 impls, 601 clqs
0.00/0.03 c (round 5, fast) 856 del vars, 3361 del conss, 1323 add conss, 269 chg bounds, 1 chg sides, 78 chg coeffs, 601 upgd conss, 0 impls, 601 clqs
0.00/0.03 c (round 6, exhaustive) 856 del vars, 3961 del conss, 1523 add conss, 269 chg bounds, 1 chg sides, 78 chg coeffs, 601 upgd conss, 0 impls, 602 clqs
0.09/0.10 c (0.1s) probing: 1000/1674 (59.7%) - 0 fixings, 0 aggregations, 566 implications, 0 bound changes
0.09/0.10 c (0.1s) probing: 1001/1674 (59.8%) - 0 fixings, 0 aggregations, 575 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 1000/1000 successive useless probings
0.09/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.10 c (0.1s) no symmetry present (symcode time: 0.00)
0.09/0.10 c presolving (7 rounds: 7 fast, 4 medium, 3 exhaustive):
0.09/0.10 c 856 deleted vars, 3961 deleted constraints, 1523 added constraints, 269 tightened bounds, 0 added holes, 1 changed sides, 78 changed coefficients
0.09/0.10 c 0 implications, 1177 cliques
0.09/0.10 c presolved problem has 1674 variables (1674 bin, 0 int, 0 cont) and 923 constraints
0.09/0.10 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
0.09/0.10 c 1 constraints of type <knapsack>
0.09/0.10 c 200 constraints of type <and>
0.09/0.10 c 722 constraints of type <linear>
0.09/0.10 c transformed objective value is always integral (scale: 1)
0.09/0.10 c Presolving Time: 0.09
0.09/0.10 c
0.09/0.10 c - non default parameters ----------------------------------------------------------------------
0.09/0.10 c
0.09/0.10 c # SCIP version 10.0.0
0.09/0.10 c
0.09/0.10 c # maximal time in seconds to run
0.09/0.10 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.10 c limits/time = 3596.998055
0.09/0.10 c
0.09/0.10 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.10 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.10 c limits/memory = 27900
0.09/0.10 c
0.09/0.10 c # belongs reading time to solving time?
0.09/0.10 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.10 c timing/reading = TRUE
0.09/0.10 c
0.09/0.10 c # maximum allowed 'intsize' (i.e. the number of bits required to represent the sum of absolute values of all integers that appear in a constraint or objective function) or -1 for unlimited
0.09/0.10 c # [type: int, advanced: TRUE, range: [-1,2147483647], default: -1]
0.09/0.10 c reading/opbreader/maxintsize = 47
0.09/0.10 c
0.09/0.10 c # timing when propagator should be called (1:BEFORELP, 2:DURINGLPLOOP, 4:AFTERLPLOOP, 15:ALWAYS))
0.09/0.10 c # [type: int, advanced: TRUE, range: [0,15], default: 15]
0.09/0.10 c propagating/genvbounds/timingmask = 0
0.09/0.10 c
0.09/0.10 c -----------------------------------------------------------------------------------------------
0.09/0.10 c
0.09/0.14 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.14 c 0.1s| 1 | 0 | 449 | - | 22M | 0 |1674 | 945 |1123 | 0 | 0 | 21 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.19 c 0.2s| 1 | 0 | 452 | - | 23M | 0 |1674 | 964 |1125 | 2 | 1 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.09/0.20 c 0.2s| 1 | 0 | 500 | - | 24M | 0 |1674 | 964 |1153 | 30 | 2 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.21 c 0.2s| 1 | 0 | 562 | - | 25M | 0 |1674 | 964 |1191 | 68 | 3 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.20/0.30 c 0.3s| 1 | 0 | 613 | - | 31M | 0 |1674 | 964 |1227 | 104 | 4 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
0.68/0.71 c (node 1) unresolved numerical troubles in LP 11 -- using pseudo solution instead (loop 1)
0.68/0.71 c 0.7s| 1 | 2 | 4738 | - | 34M | 0 |1674 | 964 |1275 | 152 | 5 | 40 | 0 | 0.000000e+00 | -- | Inf | unknown
7.42/7.58 c (node 33) numerical troubles in LP 180 -- unresolved
8.72/8.81 c (node 41) numerical troubles in LP 219 -- unresolved
18.49/18.65 c (node 87) numerical troubles in LP 498 -- unresolved
18.99/19.16 c 19.2s| 100 | 93 |246361 |2440.7 | 42M | 16 |1674 |1053 |1280 |3087 | 1 | 129 | 0 | 0.000000e+00 | -- | Inf | 27.15%
19.38/19.51 c (node 106) numerical troubles in LP 573 -- unresolved
26.15/26.34 c (node 181) numerical troubles in LP 776 -- unresolved
28.35/28.53 c 28.5s| 200 | 151 |372328 |1847.2 | 45M | 19 |1674 |1167 |1361 |4744 | 1 | 247 | 0 | 0.000000e+00 | -- | Inf | 40.31%
32.03/32.24 c (node 254) numerical troubles in LP 1081 -- unresolved
33.23/33.43 c (node 265) numerical troubles in LP 1128 -- unresolved
33.53/33.76 c (node 289) numerical troubles in LP 1164 -- unresolved
34.13/34.32 c 34.3s| 300 | 204 |456151 |1509.7 | 46M | 37 |1674 |1231 |1280 |5994 | 1 | 313 | 0 | 0.000000e+00 | -- | Inf | 40.31%
38.11/38.30 c (node 360) numerical troubles in LP 1361 -- unresolved
38.21/38.47 c (node 365) numerical troubles in LP 1380 -- unresolved
38.31/38.56 c (node 366) numerical troubles in LP 1391 -- unresolved -- further messages will be suppressed (use display/verblevel=5 to see all)
40.00/40.26 c 40.3s| 400 | 250 |549079 |1364.3 | 46M | 37 |1674 |1338 |1416 |6771 | 2 | 424 | 0 | 0.000000e+00 | -- | Inf | 40.46%
48.07/48.34 c 48.3s| 500 | 299 |653493 |1300.1 | 47M | 37 |1674 |1394 |1567 |7779 | 3 | 482 | 0 | 0.000000e+00 | -- | Inf | 40.48%
56.14/56.47 c 56.5s| 600 | 360 |776809 |1288.9 | 48M | 37 |1674 |1433 |1281 |9089 | 1 | 524 | 0 | 0.000000e+00 | -- | Inf | 40.58%
63.02/63.30 c 63.3s| 700 | 427 |883357 |1257.0 | 49M | 37 |1674 |1485 |1397 | 10k| 1 | 577 | 0 | 0.000000e+00 | -- | Inf | 41.05%
69.51/69.82 c 69.8s| 800 | 489 |977946 |1218.0 | 49M | 37 |1674 |1518 |1394 | 12k| 0 | 618 | 0 | 0.000000e+00 | -- | Inf | 41.20%
76.39/76.76 c 76.8s| 900 | 555 | 1073k|1189.3 | 50M | 37 |1674 |1617 |1485 | 13k| 0 | 722 | 0 | 0.000000e+00 | -- | Inf | 41.59%
79.08/79.40 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
79.08/79.40 c 79.4s| 1000 | 573 | 1118k|1114.9 | 50M | 37 |1674 |1730 | 0 | 13k| 0 | 838 | 0 | 0.000000e+00 | -- | Inf | 41.59%
87.85/88.21 c 88.2s| 1100 | 642 | 1258k|1141.2 | 51M | 37 |1674 |1804 |1380 | 15k| 1 | 932 | 0 | 0.000000e+00 | -- | Inf | 41.75%
91.65/92.06 c 92.1s| 1200 | 674 | 1322k|1099.4 | 51M | 38 |1674 |1929 | 0 | 15k| 0 |1061 | 0 | 0.000000e+00 | -- | Inf | 41.75%
97.22/97.68 c 97.7s| 1300 | 703 | 1412k|1083.3 | 52M | 38 |1674 |2039 |1362 | 16k| 1 |1180 | 0 | 0.000000e+00 | -- | Inf | 41.80%
101.01/101.48 c Restart triggered after 50 consecutive estimations that the remaining tree will be large
101.01/101.48 c (run 1, node 1366) performing user restart
101.01/101.48 c
101.01/101.48 c (restart) converted 148 cuts from the global cut pool into linear constraints
101.01/101.48 c
101.01/101.49 c presolving:
101.11/101.50 c (round 1, fast) 1 del vars, 14 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 21 chg coeffs, 0 upgd conss, 0 impls, 1208 clqs
101.11/101.51 c (round 2, exhaustive) 1 del vars, 15 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 21 chg coeffs, 145 upgd conss, 0 impls, 1208 clqs
101.11/101.54 c (round 3, exhaustive) 1 del vars, 253 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 258 chg coeffs, 145 upgd conss, 0 impls, 1208 clqs
101.11/101.57 c (round 4, exhaustive) 1 del vars, 254 del conss, 0 add conss, 0 chg bounds, 1 chg sides, 534 chg coeffs, 145 upgd conss, 0 impls, 1208 clqs
101.21/101.60 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
101.21/101.60 c 1 deleted vars, 255 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 1 changed sides, 534 changed coefficients
101.21/101.60 c 0 implications, 1208 cliques
101.21/101.60 c presolved problem has 1673 variables (1673 bin, 0 int, 0 cont) and 2021 constraints
101.21/101.60 c presolved problem has 0 implied integral variables (0 bin, 0 int, 0 cont)
101.21/101.60 c 9 constraints of type <knapsack>
101.21/101.60 c 56 constraints of type <setppc>
101.21/101.60 c 199 constraints of type <and>
101.21/101.60 c 734 constraints of type <linear>
101.21/101.60 c 1023 constraints of type <logicor>
101.21/101.60 c transformed objective value is always integral (scale: 1)
101.21/101.60 c Presolving Time: 0.20
101.21/101.60 c
102.01/102.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
102.01/102.43 c 102s| 1 | 0 | 1486k| - | 55M | 0 |1673 |2021 |1270 | 0 | 0 |1277 | 0 | 0.000000e+00 | -- | Inf | unknown
102.11/102.58 c 103s| 1 | 0 | 1487k| - | 56M | 0 |1673 |2023 |1537 | 267 | 1 |1279 | 0 | 0.000000e+00 | -- | Inf | unknown
102.41/102.82 c 103s| 1 | 0 | 1489k| - | 56M | 0 |1673 |2023 |1767 | 497 | 2 |1279 | 0 | 0.000000e+00 | -- | Inf | unknown
102.71/103.16 c 103s| 1 | 0 | 1490k| - | 56M | 0 |1673 |2023 |1933 | 663 | 3 |1279 | 0 | 0.000000e+00 | -- | Inf | unknown
103.90/104.36 c 104s| 1 | 0 | 1495k| - | 58M | 0 |1673 |2023 |2058 | 788 | 4 |1279 | 0 | 0.000000e+00 | -- | Inf | unknown
105.50/105.96 c (node 1) unresolved numerical troubles in LP 4195 -- using pseudo solution instead (loop 1)
105.50/105.96 c 106s| 1 | 2 | 1503k| - | 59M | 0 |1673 |2023 |2238 | 968 | 5 |1279 | 0 | 0.000000e+00 | -- | Inf | unknown
162.55/163.11 c * 163s| 35 | 0 | 1837k|1289.3 | LP | 10 |1673 |2038 |2340 |1214 | 3 |1295 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| 99.96%
162.55/163.11 c
162.55/163.11 c SCIP Status : problem is solved [optimal solution found]
162.55/163.11 c Solving Time (sec) : 163.11
162.55/163.11 c Solving Nodes : 35 (total of 1401 nodes in 2 runs)
162.55/163.11 c Primal Bound : +0.00000000000000e+00 (1 solutions)
162.55/163.11 c Dual Bound : +0.00000000000000e+00
162.55/163.11 c Gap : 0.00 %
162.55/163.11 c [linear] <linear90>: <x2481>[B] (-0) -<x2441>[B] (+0) +2<x2482>[B] (+0) -2<x2442>[B] (+0) +4<x2483>[B] (+0) -4<x2443>[B] (+0) +8<x2484>[B] (+0) -8<x2444>[B] (+0) +16<x2485>[B] (+0) -16<x2445>[B] (+0) +32<x2486>[B] (+0) -32<x2446>[B] (+0) +64<x2487>[B] (+0) -64<x2447>[B] (+0) +128<x2488>[B] (+0) -128<x2448>[B] (+0) +256<x2489>[B] (+0) -256<x2449>[B] (+0) +512<x2490>[B] (+0) -512<x2450>[B] (+0) +1024<x2491>[B] (+0) -1024<x2451>[B] (+0) +2048<x2492>[B] (+0) -2048<x2452>[B] (+0) +4096<x2493>[B] (+0) -4096<x2453>[B] (+0) +8192<x2494>[B] (+0) -8192<x2454>[B] (+0) +16384<x2495>[B] (+0) -16384<x2455>[B] (+0) +32768<x2496>[B] (+0) -32768<x2456>[B] (+0) +65536<x2497>[B] (+1) -65536<x2457>[B] (+1) +131072<x2498>[B] (+0) -131072<x2458>[B] (+0) +262144<x2499>[B] (+1) -262144<x2459>[B] (+1) +524288<x2500>[B] (+0) -524288<x2460>[B] (+0) +1048576<x2501>[B] (+1) -1048576<x2461>[B] (+1) +2097152<x2502>[B] (+0) -2097152<x2462>[B] (+0) +4194304<x2503>[B] (+1) -4194304<x2463>[B] (+1) +8388608<x2504>[B] (+0) -8388608<x2464>[B]c (+0) +16777216<x2505>[B] (+1) -16777216<x2465>[B] (+1) +33554432<x2506>[B] (+0) -33554432<x2466>[B] (+0) +67108864<x2507>[B] (+1) -67108864<x2467>[B] (+1) +134217728<x2508>[B] (+0) -134217728<x2468>[B] (+0) +268435456<x2509>[B] (+1) -268435456<x2469>[B] (+1) +536870912<x2510>[B] (+0) -536870912<x2470>[B] (+0) +1.07374182e+09<x2511>[B] (+1) -1.07374182e+09<x2471>[B] (+1) +2.14748365e+09<x2512>[B] (+0) -2.14748365e+09<x2472>[B] (+0) +4.2949673e+09<x2513>[B] (+1) -4.2949673e+09<x2473>[B] (+1) +8.58993459e+09<x2514>[B] (+0) -8.58993459e+09<x2474>[B] (+0) +1.71798692e+10<x2515>[B] (+1) -1.71798692e+10<x2475>[B] (+1) +3.43597384e+10<x2516>[B] (+0) -3.43597384e+10<x2476>[B] (+0) +6.87194767e+10<x2517>[B] (+0) -6.87194767e+10<x2477>[B] (+0) +1.37438953e+11<x2518>[B] (+0) -1.37438953e+11<x2478>[B] (+0) +2.74877907e+11<x2519>[B] (+0) -2.74877907e+11<x2479>[B] (+0) +5.49755814e+11<x2520>[B] (+0) -5.49755814e+11<x2480>[B] (+0) >= 1;
162.55/163.11 c ;
162.55/163.11 c violation: left hand side is violated by 1
162.55/163.11 c best solution is not feasible in original problem
162.55/163.11 c internal error
162.55/163.11 s UNKNOWN
162.55/163.11 c SCIP Status : problem is solved [optimal solution found]
162.55/163.11 c Total Time : 163.11
162.55/163.11 c solving : 163.11
162.55/163.11 c presolving : 0.20 (included in solving)
162.55/163.11 c reading : 0.01 (included in solving)
162.55/163.11 c copying : 0.16 (34 #copies) (minimal 0.00, maximal 0.01, average 0.00)
162.55/163.11 c Original Problem :
162.55/163.11 c Problem name : HOME/instance-4541577-1753209881.opb
162.55/163.11 c Variables : 2520 (2520 binary, 0 integer, 0 continuous)
162.55/163.11 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
162.55/163.11 c Constraints : 3361 initial, 3361 maximal
162.55/163.11 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
162.55/163.11 c Presolved Problem :
162.55/163.11 c Problem name : t_HOME/instance-4541577-1753209881.opb
162.55/163.11 c Variables : 1673 (1673 binary, 0 integer, 0 continuous)
162.55/163.11 c implied integral : 0 (0 binary, 0 integer, 0 continuous)
162.55/163.11 c Constraints : 2021 initial, 2038 maximal
162.55/163.11 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
162.55/163.11 c Nonzeros : 43152 constraint, 2420 clique table
162.55/163.11 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
162.55/163.11 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c domcol : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
162.55/163.11 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
162.55/163.11 c gateextraction : 0.00 0.00 5 0 0 0 0 0 600 200 0 0
162.55/163.11 c implics : 0.00 0.00 8 0 0 0 0 0 0 0 0 0
162.55/163.11 c implint : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c milp : 0.01 0.00 1 0 398 0 0 0 2119 1323 0 0
162.55/163.11 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
162.55/163.11 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c trivial : 0.00 0.00 12 11 0 0 0 0 0 0 0 0
162.55/163.11 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c dualfix : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
162.55/163.11 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c probing : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
162.55/163.11 c pseudoobj : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
162.55/163.11 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
162.55/163.11 c vbounds : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
162.55/163.11 c knapsack : 0.00 0.00 19 0 0 0 0 0 0 0 1 79
162.55/163.11 c setppc : 0.00 0.00 16 0 0 0 0 0 4 0 0 0
162.55/163.11 c and : 0.00 0.00 11 0 0 0 0 0 0 0 0 0
162.55/163.11 c linear : 0.02 0.00 18 269 169 0 269 0 1243 0 1 21
162.55/163.11 c logicor : 0.08 0.01 15 0 0 0 0 0 250 0 0 512
162.55/163.11 c components : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
162.55/163.11 c root node : - - - 1 - - 1 - - - - -
162.55/163.11 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
162.55/163.11 c integral : 0 0 0 0 802 0 0 81 0 0 0 0 0 0 1602
162.55/163.11 c knapsack : 9+ 10 10 49283 1 0 298 75 500 18 853 16 4 0 0
162.55/163.11 c setppc : 56+ 58 5 34033 0 0 19 36 224 1 349 21 0 0 0
162.55/163.11 c and : 199 199 1008 47233 1 0 297 39 11543 6 11110 1102 843 0 0
162.55/163.11 c linear : 734 734 10 49314 1 0 298 36 81409 681 91862 0 0 0 0
162.55/163.11 c logicor : 1023+ 1037 10 8045 0 0 0 0 272 14 398 21 4 0 0
162.55/163.11 c fixedvar : 0 0 0 0 1 0 298 0 0 0 0 0 0 0 0
162.55/163.11 c countsols : 0 0 0 0 1 0 298 0 0 0 0 0 0 0 0
162.55/163.11 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
162.55/163.11 c integral : 0.09 0.00 0.00 0.00 0.09 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c knapsack : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c and : 0.11 0.00 0.03 0.07 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c linear : 0.44 0.00 0.00 0.40 0.00 0.00 0.00 0.00 0.04 0.00
162.55/163.11 c logicor : 0.06 0.01 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c Propagators : #Propagate #ResProp Cutoffs DomReds
162.55/163.11 c dualfix : 2 0 0 0
162.55/163.11 c genvbounds : 0 0 0 0
162.55/163.11 c nlobbt : 0 0 0 0
162.55/163.11 c obbt : 0 0 0 0
162.55/163.11 c probing : 0 0 0 0
162.55/163.11 c pseudoobj : 0 0 0 0
162.55/163.11 c redcost : 0 0 0 0
162.55/163.11 c rootredcost : 0 0 0 0
162.55/163.11 c symmetry : 0 0 0 0
162.55/163.11 c vbounds : 22641 0 0 0
162.55/163.11 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
162.55/163.11 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c probing : 0.07 0.00 0.07 0.00 0.00 0.00
162.55/163.11 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c symmetry : 0.01 0.00 0.00 0.00 0.00 0.00
162.55/163.11 c vbounds : 0.04 0.00 0.00 0.04 0.00 0.00
162.55/163.11 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
162.55/163.11 c propagation : 0.06 184 179 - 1860 84.9 46 8.4 - - -
162.55/163.11 c infeasible LP : 0.03 116 40 - 414 76.7 13 26.3 34 88.2 0
162.55/163.11 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
162.55/163.11 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
162.55/163.11 c pseudo solution : 0.00 1 1 - 1 0.0 0 0.0 - - -
162.55/163.11 c applied globally : 0.01 - - 1 1261 46.9 - - 34 - -
162.55/163.11 c applied locally : - - - 0 0 0.0 - - 0 - -
162.55/163.11 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
162.55/163.11 c cut pool : 0.13 - 261 16 - - 6520 64684 - - - - - (maximal pool size: 3156)
162.55/163.11 c aggregation : 0.09 0.00 29 9 0 0 3353 39196 190 9410 9278 132 0
162.55/163.11 c > cmir : - - - - - - - 497 0 25 25 0 -
162.55/163.11 c > flowcover : - - - - - - - 18927 0 7024 7024 0 -
162.55/163.11 c > knapsackcover : - - - - - - - 19772 190 2361 2229 132 -
162.55/163.11 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c clique : 0.01 0.00 9 9 0 0 5 5 0 5 5 0 0
162.55/163.11 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c gomory : 0.75 0.00 29 9 0 0 2337 11787 46 1390 1388 2 0
162.55/163.11 c > gomorymi : - - - - - - - 5280 23 615 613 2 -
162.55/163.11 c > strongcg : - - - - - - - 6507 23 775 775 0 -
162.55/163.11 c impliedbounds : 0.01 0.00 29 9 0 0 822 10066 0 5260 5260 0 0
162.55/163.11 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c mcf : 0.00 0.00 2 2 0 0 0 0 0 0 0 0 0
162.55/163.11 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c multilinear : 0.00 0.00 76 10 0 0 0 0 0 0 0 0 0
162.55/163.11 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
162.55/163.11 c rapidlearning : 1.99 0.00 31 2 0 616 0 0 0 0 0 0 160
162.55/163.11 c rlt : 0.00 0.00 10 10 0 0 0 0 0 0 0 0 0
162.55/163.11 c zerohalf : 0.04 0.00 29 9 0 0 266 3630 35 1008 1004 4 0
162.55/163.11 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
162.55/163.11 c hybrid : 0.08 0.00 507 10 18007 0 47982 1120 0 3504
162.55/163.11 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c Pricers : ExecTime SetupTime Calls Vars
162.55/163.11 c problem variables: 0.00 - 0 0
162.55/163.11 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
162.55/163.11 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c inference : 0.06 0.00 0 0 298 0 0 0 0 596
162.55/163.11 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c random : 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c relpscost : 0.08 0.00 801 0 0 0 0 0 0 1602
162.55/163.11 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
162.55/163.11 c Primal Heuristics : ExecTime SetupTime Calls Found Best
162.55/163.11 c LP solutions : 0.00 - - 1 1
162.55/163.11 c relax solutions : 0.00 - - 0 0
162.55/163.11 c pseudo solutions : 0.00 - - 0 0
162.55/163.11 c strong branching : 0.00 - - 0 0
162.55/163.11 c actconsdiving : 0.00 0.00 0 0 0
162.55/163.11 c adaptivediving : 2.40 0.00 6 0 0
162.55/163.11 c alns : 0.04 0.00 4 0 0
162.55/163.11 c bound : 0.00 0.00 0 0 0
162.55/163.11 c clique : 0.00 0.00 1 0 0
162.55/163.11 c coefdiving : 0.00 0.00 0 0 0
162.55/163.11 c completesol : 0.00 0.00 0 0 0
162.55/163.11 c conflictdiving : 5.69 0.00 30 0 0
162.55/163.11 c crossover : 0.00 0.00 0 0 0
162.55/163.11 c dins : 0.00 0.00 0 0 0
162.55/163.11 c distributiondivin: 6.37 0.00 29 0 0
162.55/163.11 c dks : 0.00 0.00 0 0 0
162.55/163.11 c dps : 0.00 0.00 0 0 0
162.55/163.11 c dualval : 0.00 0.00 0 0 0
162.55/163.11 c farkasdiving : 0.00 0.00 0 0 0
162.55/163.11 c feaspump : 1.15 0.00 14 0 0
162.55/163.11 c fixandinfer : 0.00 0.00 0 0 0
162.55/163.11 c fracdiving : 3.08 0.00 29 0 0
162.55/163.11 c gins : 0.00 0.00 0 0 0
162.55/163.11 c guideddiving : 0.00 0.00 0 0 0
162.55/163.11 c indicator : 0.00 0.00 0 0 0
162.55/163.11 c indicatordiving : 0.00 0.00 0 0 0
162.55/163.11 c intdiving : 0.00 0.00 0 0 0
162.55/163.11 c intshifting : 0.00 0.00 0 0 0
162.55/163.11 c linesearchdiving : 1.39 0.00 32 0 0
162.55/163.11 c localbranching : 0.00 0.00 0 0 0
162.55/163.11 c locks : 0.00 0.00 1 0 0
162.55/163.11 c lpface : 0.00 0.00 0 0 0
162.55/163.11 c mpec : 0.00 0.00 0 0 0
162.55/163.11 c multistart : 0.00 0.00 0 0 0
162.55/163.11 c mutation : 0.00 0.00 0 0 0
162.55/163.11 c nlpdiving : 0.00 0.00 0 0 0
162.55/163.11 c objpscostdiving : 4.29 0.00 15 0 0
162.55/163.11 c octane : 0.00 0.00 0 0 0
162.55/163.11 c ofins : 0.00 0.00 0 0 0
162.55/163.11 c oneopt : 0.00 0.00 0 0 0
162.55/163.11 c padm : 0.00 0.00 0 0 0
162.55/163.11 c proximity : 0.00 0.00 0 0 0
162.55/163.11 c pscostdiving : 5.90 0.00 30 0 0
162.55/163.11 c randrounding : 0.02 0.00 70 0 0
162.55/163.11 c rens : 0.00 0.00 0 0 0
162.55/163.11 c reoptsols : 0.00 0.00 0 0 0
162.55/163.11 c repair : 0.00 0.00 0 0 0
162.55/163.11 c rins : 0.00 0.00 0 0 0
162.55/163.11 c rootsoldiving : 9.45 0.00 17 0 0
162.55/163.11 c rounding : 0.02 0.00 453 0 0
162.55/163.11 c scheduler : 0.00 0.00 0 0 0
162.55/163.11 c shiftandpropagate: 0.02 0.00 2 0 0
162.55/163.11 c shifting : 0.06 0.00 187 0 0
162.55/163.11 c simplerounding : 0.00 0.00 0 0 0
162.55/163.11 c subnlp : 0.00 0.00 0 0 0
162.55/163.11 c trivial : 0.00 0.00 4 0 0
162.55/163.11 c trivialnegation : 0.00 0.00 0 0 0
162.55/163.11 c trustregion : 0.00 0.00 0 0 0
162.55/163.11 c trysol : 0.00 0.00 0 0 0
162.55/163.11 c twoopt : 0.00 0.00 0 0 0
162.55/163.11 c undercover : 0.02 0.00 1 0 0
162.55/163.11 c vbounds : 0.01 0.00 2 0 0
162.55/163.11 c veclendiving : 8.91 0.00 32 0 0
162.55/163.11 c zeroobj : 0.00 0.00 0 0 0
162.55/163.11 c zirounding : 0.03 0.00 781 0 0
162.55/163.11 c other solutions : - - - 0 -
162.55/163.11 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 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
162.55/163.11 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
162.55/163.11 c primal LP : 7.54 299 124274 580.72 16483.86 0.05 85
162.55/163.11 c dual LP : 101.77 3658 1169027 383.41 11486.61 0.22 609
162.55/163.11 c lex dual LP : 0.00 0 0 0.00 -
162.55/163.11 c barrier LP : 0.00 0 0 0.00 - 0.00 0
162.55/163.11 c resolve instable : 45.78 1089 616112 565.76 13458.05
162.55/163.11 c diving/probing LP: 47.55 1112 544644 489.79 11453.95
162.55/163.11 c strong branching : 0.00 0 0 0.00 - - - 0
162.55/163.11 c (at root node) : - 0 0 0.00 -
162.55/163.11 c conflict analysis: 0.00 0 0 0.00 -
162.55/163.11 c Relaxators : Time Calls Cutoffs ImprBounds ImprTime ReducedDom Separated AddedConss
162.55/163.11 c benders : 0.00 0 0 0 0.00 0 0 0
162.55/163.11 c B&B Tree :
162.55/163.11 c number of runs : 2
162.55/163.11 c nodes : 35 (33 internal, 2 leaves)
162.55/163.11 c feasible leaves : 1
162.55/163.11 c infeas. leaves : 1
162.55/163.11 c objective leaves : 0
162.55/163.11 c nodes (total) : 1401 (1099 internal, 302 leaves)
162.55/163.11 c nodes left : 0
162.55/163.11 c max depth : 10
162.55/163.11 c max depth (total): 38
162.55/163.11 c backtracks : 14 (40.0%)
162.55/163.11 c early backtracks : 0 (0.0%)
162.55/163.11 c nodes exc. ref. : 0 (0.0%)
162.55/163.11 c delayed cutoffs : 0
162.55/163.11 c repropagations : 0 (0 domain reductions, 0 cutoffs)
162.55/163.11 c avg switch length: 3.14
162.55/163.11 c switching time : 0.41
162.55/163.11 c Root Node :
162.55/163.11 c First LP value : +0.00000000000000e+00
162.55/163.11 c First LP Iters : 447 (23324.98 Iter/sec)
162.55/163.11 c First LP Time : 0.02
162.55/163.11 c Final Dual Bound : -
162.55/163.11 c Final Root Iters : 32907
162.55/163.11 c Root LP Estimate : -
162.55/163.11 c Solution :
162.55/163.11 c Solutions found : 1 (1 improvements)
162.55/163.11 c First Solution : +0.00000000000000e+00 (in run 2, after 35 nodes, 163.11 seconds, depth 10, found by <relaxation>)
162.55/163.11 c Gap First Sol. : 0.00 %
162.55/163.11 c Gap Last Sol. : 0.00 %
162.55/163.11 c Primal Bound : +0.00000000000000e+00 (in run 2, after 35 nodes, 163.11 seconds, depth -1, found by <relaxation>)
162.55/163.11 c Dual Bound : +0.00000000000000e+00
162.55/163.11 c Gap : 0.00 %
162.55/163.11 c Integrals : Total Avg%
162.55/163.11 c primal-dual : 16310.70 100.00
162.55/163.11 c primal-ref : - - (not evaluated)
162.55/163.11 c dual-ref : - - (not evaluated)
162.55/163.13 c Time complete (sec): 162.583
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 (62469 MiB free)
memory of node 1: 64507 MiB (63654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4541577-1753209881/watcher-4541577-1753209881 -o /tmp/evaluation-result-4541577-1753209881/solver-4541577-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753209881-168477 --watchdog 3760 pbsolver -f HOME/instance-4541577-1753209881.opb -t 3600 -m 31000
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=168526, runsolver pid=168515
[startup+0.100059 s]*
/proc/loadavg: 1.77 3.47 3.87 3/258 168537
/proc/meminfo: memFree=129117792/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=35864 memory=27136 CPUtime=0.09 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 4468 0 0 0 9 0 0 0 20 0 1 0 236665997 36724736 6784 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 8966 6784 2592 2575 0 5873 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 35864 KiB
Current children cumulated memory: 27136 KiB
[startup+0.204545 s]*
/proc/loadavg: 1.77 3.47 3.87 2/254 168547
/proc/meminfo: memFree=129101200/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=55868 memory=44284 CPUtime=0.2 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 9422 0 0 0 19 1 0 0 20 0 1 0 236665997 57208832 11071 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 13967 11071 2944 2575 0 10874 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 55868 KiB
Current children cumulated memory: 44284 KiB
[startup+0.305627 s]*
/proc/loadavg: 1.77 3.47 3.87 2/255 168561
/proc/meminfo: memFree=129101296/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=55868 memory=45052 CPUtime=0.29 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 9617 0 0 0 28 1 0 0 20 0 1 0 236665997 57208832 11263 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 13967 11263 2944 2575 0 10874 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 55868 KiB
Current children cumulated memory: 45052 KiB
[startup+0.700109 s]
/proc/loadavg: 1.77 3.47 3.87 2/252 168561
/proc/meminfo: memFree=129101296/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=57784 memory=47484 CPUtime=0.68 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 10221 0 0 0 67 1 0 0 20 0 1 0 236665997 59170816 11871 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 14446 11871 2944 2575 0 11353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 57784 KiB
Current children cumulated memory: 47484 KiB
[startup+1.50011 s]
/proc/loadavg: 1.77 3.47 3.87 3/252 168561
/proc/meminfo: memFree=129100068/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=60156 memory=49916 CPUtime=1.48 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 10826 0 0 0 147 1 0 0 20 0 1 0 236665997 61599744 12479 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 15039 12479 2944 2575 0 11946 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60156 KiB
Current children cumulated memory: 49916 KiB
[startup+3.10526 s]
/proc/loadavg: 1.77 3.47 3.87 4/260 168680
/proc/meminfo: memFree=129027784/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=67908 memory=56900 CPUtime=3.06 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 14023 0 0 0 301 5 0 0 20 0 1 0 236665997 69537792 14225 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 16977 14225 2944 2575 0 13884 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 67908 KiB
Current children cumulated memory: 56900 KiB
[startup+6.30017 s]
/proc/loadavg: 1.95 3.48 3.87 5/264 168807
/proc/meminfo: memFree=127407188/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=67908 memory=56900 CPUtime=6.22 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 14035 0 0 0 616 6 0 0 20 0 1 0 236665997 69537792 14225 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 16977 14225 2944 2575 0 13884 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 67908 KiB
Current children cumulated memory: 56900 KiB
[startup+12.7002 s]
/proc/loadavg: 2.11 3.49 3.87 5/264 168807
/proc/meminfo: memFree=125151952/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=75728 memory=64196 CPUtime=12.61 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 15844 0 0 0 1254 7 0 0 20 0 1 0 236665997 77545472 16049 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 18932 16049 2944 2575 0 15839 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 75728 KiB
Current children cumulated memory: 64196 KiB
[startup+25.5002 s]
/proc/loadavg: 2.60 3.53 3.88 5/264 168807
/proc/meminfo: memFree=124033720/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=81880 memory=72748 CPUtime=25.36 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 19150 0 0 0 2529 7 0 0 20 0 1 0 236665997 83845120 18187 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 20470 18187 2944 2575 0 17377 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 81880 KiB
Current children cumulated memory: 72748 KiB
[startup+51.1053 s]
/proc/loadavg: 3.08 3.57 3.89 5/264 168808
/proc/meminfo: memFree=123468244/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=83632 memory=75052 CPUtime=50.87 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 20343 0 0 0 5080 7 0 0 20 0 1 0 236665997 85639168 18763 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 20908 18763 2944 2575 0 17815 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 83632 KiB
Current children cumulated memory: 75052 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 3.65 3.90 5/266 168812
/proc/meminfo: memFree=123152016/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=90828 memory=83912 CPUtime=101.91 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 23296 0 0 0 10183 8 0 0 20 0 1 0 236665997 93007872 20978 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 22707 20978 2944 2575 0 19614 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 90828 KiB
Current children cumulated memory: 83912 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 3.73 3.92 5/266 168814
/proc/meminfo: memFree=123073148/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=104832 memory=97172 CPUtime=161.75 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 27078 0 0 0 16166 9 0 0 20 0 1 0 236665997 107347968 24293 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 26208 24293 2944 2575 0 23115 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 97172 KiB
[startup+163.135 s]
# the end of solver process 168526 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=162.493 s, system=0.093862 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+162.4 s]
/proc/loadavg: 3.91 3.73 3.92 5/266 168814
/proc/meminfo: memFree=123073148/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=104832 memory=97172 CPUtime=161.85 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 27078 0 0 0 16176 9 0 0 20 0 1 0 236665997 107347968 24293 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 26208 24293 2944 2575 0 23115 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 97172 KiB
[startup+162.8 s]
/proc/loadavg: 3.91 3.73 3.92 5/266 168814
/proc/meminfo: memFree=123073148/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=104832 memory=97172 CPUtime=162.24 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 27078 0 0 0 16215 9 0 0 20 0 1 0 236665997 107347968 24293 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 26208 24293 2944 2575 0 23115 0
Current children cumulated CPU time: 162.24 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 97172 KiB
[startup+163 s]*
/proc/loadavg: 3.91 3.73 3.92 5/266 168814
/proc/meminfo: memFree=123073148/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=104832 memory=97172 CPUtime=162.45 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 27078 0 0 0 16236 9 0 0 20 0 1 0 236665997 107347968 24293 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 26208 24293 2944 2575 0 23115 0
Current children cumulated CPU time: 162.45 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 97172 KiB
[startup+163.106 s]
/proc/loadavg: 3.91 3.73 3.92 5/266 168814
/proc/meminfo: memFree=123073148/131249996 swapFree=33010672/33010684
[pid=168526] ppid=168515 vsize=104832 memory=97172 CPUtime=162.55 cores=0,2
/proc/168526/stat : 168526 (pbsolver) R 168515 168526 168467 0 -1 4194304 27078 0 0 0 16246 9 0 0 20 0 1 0 236665997 107347968 24293 18446744073709551615 4198400 14743177 140727964031648 0 0 0 0 0 2 0 0 0 17 0 0 0 0 0 0 16769280 16853168 49524736 140727964039560 140727964039656 140727964039656 140727964045260 0
/proc/168526/statm: 26208 24293 2944 2575 0 23115 0
Current children cumulated CPU time: 162.55 s
Current children cumulated vsize: 104832 KiB
Current children cumulated memory: 97172 KiB
Child status: 0
Real time (s): 163.136
CPU time (s): 162.586
CPU user time (s): 162.493
CPU system time (s): 0.093862
CPU usage (%): 99.6634
Max. virtual memory (cumulated for all children) (KiB): 104832
Max. memory (cumulated for all children) (KiB): 97172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 162.493
system time used= 0.093862
maximum resident set size= 97172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27078
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= 26
involuntary context switches= 381
# summary of solver processes directly reported to runsolver:
# pid: 168526
# total CPU time (s): 162.586
# total CPU user time (s): 162.493
# total CPU system time (s): 0.093862
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.343785 second user time and 0.721285 second system time
The end
Begin job on nodeC024 at 2025-07-22 20:44:41 IDJOB=4541577 IDBENCH=163188 IDSOLVER=3366 FILE ID=nodeC024/4541577-1753209881 RUNJOBID= nodeC024-1753209881-168477 SLURM_JOB_ID= 9687777 Free space on /tmp= 433040 MiB SOLVER NAME= SCIP-10 2025-06-13 BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/inequalities/OPB/ineq6/normalized-20array_ineq6.opb COMMAND LINE= pbsolver -f BENCHNAME -t TIMEOUT -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4541577-1753209881/watcher-4541577-1753209881 -o /tmp/evaluation-result-4541577-1753209881/solver-4541577-1753209881 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1753209881-168477 --watchdog 3760 pbsolver -f HOME/instance-4541577-1753209881.opb -t 3600 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 3fc1fa6fafd20a9b1fe100c4dc12e1ea RANDOM SEED=942850719 nodeC024 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.047 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.36 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 : 1905.472 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.36 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.892 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.36 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 : 1522.254 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.36 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 : 3599.913 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.36 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 : 2100.593 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.36 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 : 3598.841 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.36 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 : 1681.613 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.36 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131249996 kB MemFree: 129170444 kB MemAvailable: 129710680 kB Buffers: 2128 kB Cached: 1302868 kB SwapCached: 8 kB Active: 1196200 kB Inactive: 175660 kB Active(anon): 91524 kB Inactive(anon): 1588 kB Active(file): 1104676 kB Inactive(file): 174072 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010672 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 29808 kB Writeback: 0 kB AnonPages: 69956 kB Mapped: 108316 kB Shmem: 26248 kB KReclaimable: 201056 kB Slab: 296240 kB SReclaimable: 201056 kB SUnreclaim: 95184 kB KernelStack: 4008 kB PageTables: 2744 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635680 kB Committed_AS: 349168 kB VmallocTotal: 34359738367 kB VmallocUsed: 150376 kB VmallocChunk: 0 kB Percpu: 3904 kB HardwareCorrupted: 0 kB AnonHugePages: 10240 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 195284 kB DirectMap2M: 6916096 kB DirectMap1G: 128974848 kB Free space on /tmp at the end= 432960 MiB End job on nodeC024 at 2025-07-22 20:47:24