Trace number 4446735

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3587.64 3597.14

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K179.opb
MD5SUM84aa92d361920570c4f42a7fa8308fed
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark73.5881
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21301
Total number of constraints21661
Number of constraints which are clauses21482
Number of constraints which are cardinality constraints (but not clauses)179
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint179
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 180
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

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-4446735-1721335966.opb>
0.00/0.07	c original problem has 21301 variables (21301 bin, 0 int, 0 impl, 0 cont) and 21661 constraints
0.00/0.07	c problem read in 0.07
0.00/0.07	c No objective function, only one solution is needed.
0.10/0.15	c presolving:
0.10/0.18	c (round 1, fast)       250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2465 clqs
0.10/0.19	c (round 2, fast)       682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2449 clqs
0.10/0.20	c (round 3, fast)       900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2470 clqs
0.10/0.20	c (round 4, fast)       1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2501 clqs
0.20/0.21	c (round 5, fast)       1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2524 clqs
0.20/0.21	c (round 6, fast)       1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2534 clqs
0.20/0.27	c    (0.3s) running MILP presolver
0.40/0.48	c    (0.5s) MILP presolver (4 rounds): 0 aggregations, 181 fixings, 0 bound changes
0.40/0.50	c (round 7, medium)     1363 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2542 clqs
0.50/0.51	c (round 8, fast)       1363 del vars, 816 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2547 clqs
0.50/0.54	c (round 9, exhaustive) 1363 del vars, 993 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2547 clqs
0.59/0.64	c (round 10, exhaustive) 1363 del vars, 993 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 20668 upgd conss, 0 impls, 2547 clqs
0.79/0.84	c (round 11, exhaustive) 1471 del vars, 993 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20668 upgd conss, 0 impls, 2535 clqs
0.79/0.85	c (round 12, fast)       1579 del vars, 1101 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20668 upgd conss, 0 impls, 2535 clqs
2.68/2.73	c (round 13, exhaustive) 1605 del vars, 1102 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 20668 upgd conss, 0 impls, 129298 clqs
2.68/2.74	c (round 14, fast)       1606 del vars, 1128 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20668 upgd conss, 0 impls, 129308 clqs
4.18/4.23	c (round 15, exhaustive) 1631 del vars, 1128 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 165 chg coeffs, 20668 upgd conss, 0 impls, 129270 clqs
4.18/4.24	c (round 16, fast)       1631 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 20668 upgd conss, 0 impls, 129279 clqs
5.47/5.53	c (round 17, exhaustive) 1656 del vars, 1153 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 218 chg coeffs, 20668 upgd conss, 0 impls, 129270 clqs
5.47/5.54	c (round 18, fast)       1656 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 20668 upgd conss, 0 impls, 129286 clqs
6.37/6.43	c (round 19, exhaustive) 1682 del vars, 1178 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 284 chg coeffs, 20668 upgd conss, 0 impls, 129275 clqs
6.37/6.44	c (round 20, fast)       1683 del vars, 1204 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 20668 upgd conss, 0 impls, 129288 clqs
7.17/7.20	c (round 21, exhaustive) 1708 del vars, 1204 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 350 chg coeffs, 20668 upgd conss, 0 impls, 129289 clqs
7.17/7.21	c (round 22, fast)       1708 del vars, 1229 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 414 chg coeffs, 20668 upgd conss, 0 impls, 129304 clqs
7.47/7.52	c    (7.5s) probing: 1000/20270 (4.9%) - 137 fixings, 0 aggregations, 1088283 implications, 0 bound changes
8.56/8.62	c (round 23, exhaustive) 1734 del vars, 1229 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 414 chg coeffs, 20668 upgd conss, 0 impls, 129311 clqs
8.56/8.63	c (round 24, fast)       1735 del vars, 1255 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 480 chg coeffs, 20668 upgd conss, 0 impls, 129327 clqs
8.86/8.92	c (round 25, exhaustive) 1761 del vars, 1255 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 480 chg coeffs, 20668 upgd conss, 0 impls, 129365 clqs
8.86/8.93	c (round 26, fast)       1761 del vars, 1281 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 540 chg coeffs, 20668 upgd conss, 0 impls, 129374 clqs
9.67/9.74	c (round 27, exhaustive) 1800 del vars, 1281 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 540 chg coeffs, 20668 upgd conss, 0 impls, 127566 clqs
9.67/9.75	c (round 28, fast)       1800 del vars, 1320 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 644 chg coeffs, 20668 upgd conss, 0 impls, 127585 clqs
11.07/11.19	c (round 29, exhaustive) 1827 del vars, 1320 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 644 chg coeffs, 20668 upgd conss, 0 impls, 128155 clqs
11.16/11.20	c (round 30, fast)       1827 del vars, 1347 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 20668 upgd conss, 0 impls, 128173 clqs
15.75/15.82	c (round 31, exhaustive) 1853 del vars, 1347 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 726 chg coeffs, 20668 upgd conss, 0 impls, 129359 clqs
15.75/15.83	c (round 32, fast)       1854 del vars, 1373 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 787 chg coeffs, 20668 upgd conss, 0 impls, 129366 clqs
16.64/16.76	c    (16.8s) probing: 2000/20270 (9.9%) - 284 fixings, 0 aggregations, 3201650 implications, 0 bound changes
16.84/17.00	c (round 33, exhaustive) 1879 del vars, 1373 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 787 chg coeffs, 20668 upgd conss, 0 impls, 129336 clqs
16.95/17.00	c (round 34, fast)       1879 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 837 chg coeffs, 20668 upgd conss, 0 impls, 129344 clqs
17.24/17.30	c (round 35, exhaustive) 1904 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 837 chg coeffs, 20668 upgd conss, 0 impls, 129359 clqs
17.24/17.31	c (round 36, fast)       1904 del vars, 1423 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 881 chg coeffs, 20668 upgd conss, 0 impls, 129364 clqs
17.54/17.60	c (round 37, exhaustive) 1929 del vars, 1423 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 881 chg coeffs, 20668 upgd conss, 0 impls, 129050 clqs
17.54/17.61	c (round 38, fast)       1929 del vars, 1448 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 20668 upgd conss, 0 impls, 129050 clqs
17.74/17.89	c (round 39, exhaustive) 1954 del vars, 1448 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 902 chg coeffs, 20668 upgd conss, 0 impls, 128770 clqs
17.84/17.90	c (round 40, fast)       1954 del vars, 1473 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 20668 upgd conss, 0 impls, 128770 clqs
18.05/18.19	c (round 41, exhaustive) 1979 del vars, 1473 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 927 chg coeffs, 20668 upgd conss, 0 impls, 128530 clqs
18.14/18.20	c (round 42, fast)       1979 del vars, 1498 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 20668 upgd conss, 0 impls, 128530 clqs
18.54/18.63	c (round 43, exhaustive) 2004 del vars, 1498 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 952 chg coeffs, 20668 upgd conss, 0 impls, 128522 clqs
18.54/18.64	c (round 44, fast)       2004 del vars, 1523 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 979 chg coeffs, 20668 upgd conss, 0 impls, 128522 clqs
18.84/18.92	c (round 45, exhaustive) 2029 del vars, 1523 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 979 chg coeffs, 20668 upgd conss, 0 impls, 128317 clqs
18.84/18.93	c (round 46, fast)       2029 del vars, 1548 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 20668 upgd conss, 0 impls, 128317 clqs
23.23/23.31	c    (23.3s) probing: 3000/20270 (14.8%) - 444 fixings, 0 aggregations, 4223467 implications, 0 bound changes
24.42/24.52	c    (24.5s) probing: 3225/20270 (15.9%) - 444 fixings, 0 aggregations, 4507804 implications, 0 bound changes
24.42/24.52	c    (24.5s) probing aborted: 1000/1000 successive useless probings
24.42/24.57	c    (24.6s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
24.53/24.67	c    (24.7s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.04)
24.53/24.68	c dynamic symmetry handling statistics:
24.53/24.68	c    orbitopal reduction:       no components
24.53/24.68	c    orbital reduction:         no components
24.53/24.68	c    lexicographic reduction:    3 permutations with support sizes 1672, 694, 338
24.53/24.68	c handled 4 out of 4 symmetry components
24.62/24.70	c presolving (47 rounds: 47 fast, 22 medium, 21 exhaustive):
24.62/24.70	c  2034 deleted vars, 1550 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1006 changed coefficients
24.62/24.70	c  0 implications, 129578 cliques
24.62/24.70	c presolved problem has 19819 variables (19819 bin, 0 int, 0 impl, 0 cont) and 20112 constraints
24.62/24.70	c    2439 constraints of type <setppc>
24.62/24.70	c       1 constraints of type <orbitope>
24.62/24.70	c   17672 constraints of type <logicor>
24.62/24.70	c transformed objective value is always integral (scale: 1)
24.62/24.70	c Presolving Time: 24.56
24.62/24.70	c - non default parameters ----------------------------------------------------------------------
24.62/24.70	c # SCIP version 10.0.0
24.62/24.70	c 
24.62/24.70	c # maximal time in seconds to run
24.62/24.70	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
24.62/24.70	c limits/time = 3596.998007
24.62/24.70	c 
24.62/24.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
24.62/24.70	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
24.62/24.70	c limits/memory = 27900
24.62/24.70	c 
24.62/24.70	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
24.62/24.70	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
24.62/24.70	c limits/solutions = 1
24.62/24.70	c 
24.62/24.70	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
24.62/24.70	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
24.62/24.70	c misc/usesymmetry = 3
24.62/24.70	c 
24.62/24.70	c # belongs reading time to solving time?
24.62/24.70	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
24.62/24.70	c timing/reading = TRUE
24.62/24.70	c 
24.62/24.70	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
24.62/24.70	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
24.62/24.70	c propagating/symmetry/detectdoublelex = FALSE
24.62/24.70	c 
24.62/24.70	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
24.62/24.70	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
24.62/24.70	c propagating/symmetry/detectsubgroups = FALSE
24.62/24.70	c 
24.62/24.70	c # Type of symmetries that shall be computed?
24.62/24.70	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
24.62/24.70	c propagating/symmetry/symtype = 1
24.62/24.70	c 
24.62/24.70	c # Should components consisting of a single full reflection be handled?
24.62/24.70	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
24.62/24.70	c propagating/symmetry/usesimplesgncomp = FALSE
24.62/24.70	c 
24.62/24.70	c -----------------------------------------------------------------------------------------------
24.62/24.70	c start solving
24.62/24.71	c 
49.25/49.43	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
49.25/49.43	c  49.4s|     1 |     0 | 18730 |     - |   257M |   0 |  19k|  20k|  20k|   0 |  0 | 277 |   0 | 0.000000e+00 |      --      |    Inf | unknown
274.04/274.96	c   275s|     1 |     0 |118435 |     - |   290M |   0 |  19k|  20k|  20k|  11 |  1 | 278 |   0 | 0.000000e+00 |      --      |    Inf | unknown
306.23/307.29	c   307s|     1 |     0 |130459 |     - |   301M |   0 |  19k|  20k|  20k|  19 |  2 | 288 |   0 | 0.000000e+00 |      --      |    Inf | unknown
337.83/338.93	c   339s|     1 |     0 |141917 |     - |   304M |   0 |  19k|  20k|  20k|  24 |  3 | 290 |   0 | 0.000000e+00 |      --      |    Inf | unknown
421.28/422.61	c   423s|     1 |     0 |161714 |     - |   306M |   0 |  19k|  20k|  20k|  45 |  4 | 300 |   0 | 0.000000e+00 |      --      |    Inf | unknown
458.36/459.89	c   460s|     1 |     0 |175715 |     - |   308M |   0 |  19k|  20k|  20k|  70 |  5 | 303 |   0 | 0.000000e+00 |      --      |    Inf | unknown
494.54/496.18	c   496s|     1 |     0 |188894 |     - |   311M |   0 |  19k|  20k|  20k|  91 |  6 | 304 |   0 | 0.000000e+00 |      --      |    Inf | unknown
534.31/536.07	c   536s|     1 |     0 |202182 |     - |   316M |   0 |  19k|  20k|  20k| 112 |  7 | 314 |   0 | 0.000000e+00 |      --      |    Inf | unknown
579.56/581.49	c   581s|     1 |     0 |216700 |     - |   318M |   0 |  19k|  20k|  20k| 131 |  8 | 315 |   0 | 0.000000e+00 |      --      |    Inf | unknown
642.38/644.44	c   644s|     1 |     0 |237121 |     - |   324M |   0 |  19k|  20k|  20k| 150 |  9 | 316 |   0 | 0.000000e+00 |      --      |    Inf | unknown
693.45/695.60	c   696s|     1 |     0 |254038 |     - |   326M |   0 |  19k|  20k|  20k| 161 | 10 | 319 |   0 | 0.000000e+00 |      --      |    Inf | unknown
739.92/742.27	c   742s|     1 |     0 |269407 |     - |   331M |   0 |  19k|  20k|  20k| 180 | 11 | 329 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1091.21/1094.36	c  1094s|     1 |     2 |353066 |     - |   349M |   0 |  19k|  20k|  20k| 180 | 11 | 350 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3587.50/3597.00	c 
3587.50/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.50/3597.00	c Solving Time (sec) : 3597.00
3587.50/3597.00	c Solving Nodes      : 97
3587.50/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.50/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.50/3597.00	c Gap                : infinite
3587.50/3597.00	s UNKNOWN
3587.50/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.50/3597.00	c Total Time         :    3597.00
3587.50/3597.00	c   solving          :    3597.00
3587.50/3597.00	c   presolving       :      24.56 (included in solving)
3587.50/3597.00	c   reading          :       0.07 (included in solving)
3587.50/3597.00	c   copying          :       0.15 (3 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.50/3597.00	c Original Problem   :
3587.50/3597.00	c   Problem name     : HOME/instance-4446735-1721335966.opb
3587.50/3597.00	c   Variables        : 21301 (21301 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.50/3597.00	c   Constraints      : 21661 initial, 21661 maximal
3587.50/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.50/3597.00	c Presolved Problem  :
3587.50/3597.00	c   Problem name     : t_HOME/instance-4446735-1721335966.opb
3587.50/3597.00	c   Variables        : 19819 (19819 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.50/3597.00	c   Constraints      : 20112 initial, 20398 maximal
3587.50/3597.00	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.50/3597.00	c   Nonzeros         : 110148 constraint, 278106 clique table
3587.50/3597.00	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.50/3597.00	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   domcol           :       1.01       0.00     18          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   dualsparsify     :       0.04       0.00      1          0          0          0          0          0          2          0          0          2
3587.50/3597.00	c   gateextraction   :       0.23       0.00     19          0          0          0          0          0          1          0          0          0
3587.50/3597.00	c   implics          :       0.00       0.00     22          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   milp             :       0.27       0.00      1        181          0          0          0          0          0          0          0          0
3587.50/3597.00	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   sparsify         :       0.54       0.00      4          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   trivial          :       0.03       0.00     47        552          0          0          0          0          0          0          0          0
3587.50/3597.00	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   dualfix          :       0.02       0.00     47          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   probing          :      18.08       0.00     18        444          0          0          0          0          0          0          0          0
3587.50/3597.00	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   symmetry         :       0.11       0.00      1          3          0          0          0          0          0          1          0          0
3587.50/3597.00	c   vbounds          :       0.03       0.00      2          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   setppc           :       0.20       0.00     75          0          0          0          0          0        108          0          0          0
3587.50/3597.00	c   linear           :       0.17       0.01     12        302          0          0        302          0        993          0          0          0
3587.50/3597.00	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   logicor          :       3.76       0.01     75        108          0          0          0          0        446          0          0       1004
3587.50/3597.00	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   components       :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   root node        :          -          -      -         35          -          -         35          -          -          -          -          -
3587.50/3597.00	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.50/3597.00	c   benderslp        :          0          0          0          0         64          0          0         11          0          0          0          0          0          0          0
3587.50/3597.00	c   integral         :          0          0          0          0         64          0          0         11          0          0          0          0          0          0        128
3587.50/3597.00	c   setppc           :       2439+      2530         11     215207          0          0          0          7      69103        272      23559          0          0          0          0
3587.50/3597.00	c   linear           :          0+         1          0       1541          0          0          0          3          0          0          0          0          0          0          0
3587.50/3597.00	c   orbitope         :          1          1          0       7632          0          0          0          0        252          0         27          0          0          0          0
3587.50/3597.00	c   logicor          :      17672+     17873         11      61263          0          0          0          0     127071        122      22823          5          3          0          0
3587.50/3597.00	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.50/3597.00	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   integral         :      54.50       0.00       0.00       0.00      54.50       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   setppc           :       2.62       0.00       0.01       2.52       0.00       0.00       0.00       0.00       0.03       0.07
3587.50/3597.00	c   linear           :       0.02       0.01       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   orbitope         :       0.01       0.00       0.00       0.01       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   logicor          :       4.86       0.01       0.04       4.73       0.00       0.00       0.00       0.00       0.05       0.03
3587.50/3597.00	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.50/3597.00	c   dualfix          :          1          0          0          0
3587.50/3597.00	c   genvbounds       :          0          0          0          0
3587.50/3597.00	c   nlobbt           :          0          0          0          0
3587.50/3597.00	c   obbt             :          0          0          0          0
3587.50/3597.00	c   probing          :          0          0          0          0
3587.50/3597.00	c   pseudoobj        :          0          0          0          0
3587.50/3597.00	c   redcost          :          0          0          0          0
3587.50/3597.00	c   rootredcost      :          0          0          0          0
3587.50/3597.00	c   symmetry         :          0          0          0          0
3587.50/3597.00	c   vbounds          :       5764          0          0          0
3587.50/3597.00	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.50/3597.00	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3587.50/3597.00	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3587.50/3597.00	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.50/3597.00	c   probing          :      18.08       0.00      18.08       0.00       0.00       0.00
3587.50/3597.00	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3587.50/3597.00	c   redcost          :       0.01       0.00       0.00       0.01       0.00       0.00
3587.50/3597.00	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3587.50/3597.00	c   symmetry         :       0.12       0.00       0.11       0.01       0.00       0.00
3587.50/3597.00	c   vbounds          :       0.09       0.00       0.03       0.06       0.00       0.00
3587.50/3597.00	c Symmetry           :
3587.50/3597.00	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.50/3597.00	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.50/3597.00	c   lexicographic red:          0 reductions applied,          0 cutoffs
3587.50/3597.00	c   shadow tree time :       0.00 s
3587.50/3597.00	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.50/3597.00	c   propagation      :       0.04        389        134          -       1446      138.1          1      156.0          -          -          -
3587.50/3597.00	c   infeasible LP    :       0.53         28         18          -        424     2714.3          0        0.0          1     2042.0          0
3587.50/3597.00	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.50/3597.00	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.50/3597.00	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.50/3597.00	c   applied globally :       0.01          -          -          0        411      174.0          -          -          1          -          -
3587.50/3597.00	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.50/3597.00	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.50/3597.00	c   cut pool         :       0.00          -         33         21          -          -        400        606          -          -          -          -          -    (maximal pool size:        400)
3587.50/3597.00	c   aggregation      :       0.07       0.00         14         11          0          0          5          5          0          1          1          0          0
3587.50/3597.00	c   > cmir           :          -          -          -          -          -          -          -          5          0          1          1          0          -
3587.50/3597.00	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.50/3597.00	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.50/3597.00	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   clique           :       2.19       0.00         11         11          0          0         75        135          0         63         63          0          0
3587.50/3597.00	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   gomory           :      22.82       0.00         13         10          0          0        144        273          0         20         20          0          0
3587.50/3597.00	c   > gomorymi       :          -          -          -          -          -          -          -        137          0         15         15          0          -
3587.50/3597.00	c   > strongcg       :          -          -          -          -          -          -          -        136          0          5          5          0          -
3587.50/3597.00	c   impliedbounds    :       0.09       0.00         14         11          0          0         58         69          0         17         17          0          0
3587.50/3597.00	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   multilinear      :       0.00       0.00         17         11          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   rlt              :       0.00       0.00         12         10          0          0          0          0          0          0          0          0          0
3587.50/3597.00	c   zerohalf         :      19.13       0.00         14         11          0          0        125        124          7        124        119          5          0
3587.50/3597.00	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.50/3597.00	c   hybrid           :       0.00       0.00         19         11        228          0        390        180          0        124
3587.50/3597.00	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.50/3597.00	c   problem variables:       0.00          -          0          0
3587.50/3597.00	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.50/3597.00	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c   relpscost        :      54.50       0.00         64          0          0          0          0          0          0        128
3587.50/3597.00	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.50/3597.00	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.50/3597.00	c   LP solutions     :       0.00          -          -          0          0
3587.50/3597.00	c   relax solutions  :       0.00          -          -          0          0
3587.50/3597.00	c   pseudo solutions :       0.00          -          -          0          0
3587.50/3597.00	c   strong branching :       0.00          -          -          0          0
3587.50/3597.00	c   actconsdiving    :       0.00       0.00          0          0          0
3587.50/3597.00	c   adaptivediving   :     243.85       0.00          1          0          0
3587.50/3597.00	c   alns             :       0.43       0.00          2          0          0
3587.50/3597.00	c   bound            :       0.00       0.00          0          0          0
3587.50/3597.00	c   clique           :       0.09       0.00          1          0          0
3587.50/3597.00	c   coefdiving       :       0.00       0.00          0          0          0
3587.50/3597.00	c   completesol      :       0.00       0.00          0          0          0
3587.50/3597.00	c   conflictdiving   :     297.02       0.00          1          0          0
3587.50/3597.00	c   crossover        :       0.00       0.00          0          0          0
3587.50/3597.00	c   dins             :       0.00       0.00          0          0          0
3587.50/3597.00	c   distributiondivin:       0.03       0.00          0          0          0
3587.50/3597.00	c   dps              :       0.00       0.00          0          0          0
3587.50/3597.00	c   dualval          :       0.00       0.00          0          0          0
3587.50/3597.00	c   farkasdiving     :       0.00       0.00          0          0          0
3587.50/3597.00	c   feasjump         :       0.04       0.00          1          0          0
3587.50/3597.00	c   feaspump         :     194.14       0.00          1          0          0
3587.50/3597.00	c   fixandinfer      :       0.00       0.00          0          0          0
3587.50/3597.00	c   fracdiving       :       0.00       0.00          0          0          0
3587.50/3597.00	c   gins             :       0.00       0.00          0          0          0
3587.50/3597.00	c   guideddiving     :       0.00       0.00          0          0          0
3587.50/3597.00	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.50/3597.00	c   indicator        :       0.00       0.00          0          0          0
3587.50/3597.00	c   indicatordiving  :       0.00       0.00          0          0          0
3587.50/3597.00	c   indoneopt        :       0.00       0.00          0          0          0
3587.50/3597.00	c   indrounding      :       0.00       0.00          0          0          0
3587.50/3597.00	c   indtwoopt        :       0.00       0.00          0          0          0
3587.50/3597.00	c   intdiving        :       0.00       0.00          0          0          0
3587.50/3597.00	c   intshifting      :       0.00       0.00          0          0          0
3587.50/3597.00	c   linesearchdiving :       0.00       0.00          0          0          0
3587.50/3597.00	c   localbranching   :       0.00       0.00          0          0          0
3587.50/3597.00	c   locks            :       0.08       0.00          1          0          0
3587.50/3597.00	c   lpface           :       0.00       0.00          0          0          0
3587.50/3597.00	c   mpec             :       0.00       0.00          0          0          0
3587.50/3597.00	c   multistart       :       0.00       0.00          0          0          0
3587.50/3597.00	c   mutation         :       0.00       0.00          0          0          0
3587.50/3597.00	c   nlpdiving        :       0.00       0.00          0          0          0
3587.50/3597.00	c   objpscostdiving  :       0.00       0.00          0          0          0
3587.50/3597.00	c   octane           :       0.00       0.00          0          0          0
3587.50/3597.00	c   ofins            :       0.00       0.00          0          0          0
3587.50/3597.00	c   oneopt           :       0.00       0.00          0          0          0
3587.50/3597.00	c   padm             :       0.00       0.00          0          0          0
3587.50/3597.00	c   proximity        :       0.00       0.00          0          0          0
3587.50/3597.00	c   pscostdiving     :     172.11       0.00          1          0          0
3587.50/3597.00	c   randrounding     :      54.23       0.00         16          0          0
3587.50/3597.00	c   rens             :       0.51       0.00          1          0          0
3587.50/3597.00	c   reoptsols        :       0.00       0.00          0          0          0
3587.50/3597.00	c   repair           :       0.00       0.00          0          0          0
3587.50/3597.00	c   rins             :       0.00       0.00          0          0          0
3587.50/3597.00	c   rootsoldiving    :       0.00       0.00          0          0          0
3587.50/3597.00	c   rounding         :       0.10       0.00         83          0          0
3587.50/3597.00	c   scheduler        :       0.00       0.00          0          0          0
3587.50/3597.00	c   shiftandpropagate:       0.10       0.00          1          0          0
3587.50/3597.00	c   shifting         :       0.26       0.00         24          0          0
3587.50/3597.00	c   simplerounding   :       0.00       0.00          0          0          0
3587.50/3597.00	c   smallcard        :       0.00       0.00          0          0          0
3587.50/3597.00	c   subnlp           :       0.00       0.00          0          0          0
3587.50/3597.00	c   trivial          :       0.01       0.00          2          0          0
3587.50/3597.00	c   trivialnegation  :       0.00       0.00          0          0          0
3587.50/3597.00	c   trustregion      :       0.00       0.00          0          0          0
3587.50/3597.00	c   trysol           :       0.00       0.00          0          0          0
3587.50/3597.00	c   twoopt           :       0.00       0.00          0          0          0
3587.50/3597.00	c   undercover       :       0.00       0.00          0          0          0
3587.50/3597.00	c   vbounds          :       0.04       0.00          1          0          0
3587.50/3597.00	c   veclendiving     :       0.00       0.00          0          0          0
3587.50/3597.00	c   zeroobj          :       0.00       0.00          0          0          0
3587.50/3597.00	c   zirounding       :       0.02       0.00         63          0          0
3587.50/3597.00	c   other solutions  :          -          -          -          0          -
3587.50/3597.00	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.50/3597.00	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.50/3597.00	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.50/3597.00	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.50/3597.00	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.50/3597.00	c   primal LP        :       0.14          5          0       0.00       0.00       0.14          5
3587.50/3597.00	c   dual LP          :    2509.21        111    1418582   13135.02     565.35       0.01          3
3587.50/3597.00	c   lex dual LP      :       0.00          0          0       0.00          -
3587.50/3597.00	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.50/3597.00	c   resolve instable :      15.02          1      17132   17132.00    1140.55
3587.50/3597.00	c   diving/probing LP:     975.52         27     361796   13399.85     370.88
3587.50/3597.00	c   strong branching :      39.46         19      18497     973.53     468.80          -          -         36
3587.50/3597.00	c     (at root node) :          -         19      18497     973.53          -
3587.50/3597.00	c   conflict analysis:       0.00          0          0       0.00          -
3587.50/3597.00	c B&B Tree           :
3587.50/3597.00	c   number of runs   :          1
3587.50/3597.00	c   nodes            :         97 (64 internal, 33 leaves)
3587.50/3597.00	c   feasible leaves  :          0
3587.50/3597.00	c   infeas. leaves   :         32
3587.50/3597.00	c   objective leaves :          0
3587.50/3597.00	c   nodes (total)    :         97 (64 internal, 33 leaves)
3587.50/3597.00	c   nodes left       :         33
3587.50/3597.00	c   max depth        :         40
3587.50/3597.00	c   max depth (total):         40
3587.50/3597.00	c   backtracks       :          9 (9.3%)
3587.50/3597.00	c   early backtracks :          0 (0.0%)
3587.50/3597.00	c   nodes exc. ref.  :          0 (0.0%)
3587.50/3597.00	c   delayed cutoffs  :          0
3587.50/3597.00	c   repropagations   :        115 (67 domain reductions, 0 cutoffs)
3587.50/3597.00	c   avg switch length:       3.94
3587.50/3597.00	c   switching time   :       0.24
3587.50/3597.00	c Root Node          :
3587.50/3597.00	c   First LP value   : +0.00000000000000e+00
3587.50/3597.00	c   First LP Iters   :      18730 (768.83 Iter/sec)
3587.50/3597.00	c   First LP Time    :      24.36
3587.50/3597.00	c   Final Dual Bound : +0.00000000000000e+00
3587.50/3597.00	c   Final Root Iters :     269407
3587.50/3597.00	c   Root LP Estimate : +1.53891117660847e-03
3587.50/3597.00	c Solution           :
3587.50/3597.00	c   Solutions found  :          0 (0 improvements)
3587.50/3597.00	c   Primal Bound     :          -
3587.50/3597.00	c   Dual Bound       : +0.00000000000000e+00
3587.50/3597.00	c   Gap              :   infinite
3587.50/3597.00	c Integrals          :      Total       Avg%
3587.50/3597.00	c   primal-dual      :  359700.00     100.00
3587.50/3597.00	c   primal-ref       :          -          - (not evaluated)
3587.50/3597.00	c   dual-ref         :          -          - (not evaluated)
3587.60/3597.13	c Time complete: 3587.64.

Verifier Data

ERROR: no interpretation found !

Watcher Data

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 (62023 MiB free)
  memory of node 1: 64510 MiB (61701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446735-1721335966/watcher-4446735-1721335966 -o /tmp/evaluation-result-4446735-1721335966/solver-4446735-1721335966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973106 --watchdog 3760 pbscip -f HOME/instance-4446735-1721335966.opb -t 3600 -j 2 -m 31000 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=977358, runsolver pid=977355

[startup+0.100091 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126633204/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=113284 memory=74552 CPUtime=0.1 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 15504 0 0 0 8 2 0 0 20 0 1 0 185756775 116002816 18638 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 28321 18638 3535 3540 0 16578 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 113284 KiB
Current children cumulated memory: 74552 KiB

[startup+0.205716 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126605848/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=143588 memory=101396 CPUtime=0.2 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 22187 0 0 0 18 2 0 0 20 0 1 0 185756775 147034112 25349 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 35897 25349 3583 3540 0 24154 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 143588 KiB
Current children cumulated memory: 101396 KiB

[startup+0.305673 s]*
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126578772/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=170924 memory=128524 CPUtime=0.3 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 29505 0 0 0 26 4 0 0 20 0 1 0 185756775 175026176 32131 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 42731 32131 3646 3540 0 30988 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 170924 KiB
Current children cumulated memory: 128524 KiB

[startup+0.700223 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126586632/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=182628 memory=139896 CPUtime=0.69 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 35355 0 0 0 64 5 0 0 20 0 1 0 185756775 187011072 34974 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 45657 34974 3710 3540 0 33914 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 182628 KiB
Current children cumulated memory: 139896 KiB

[startup+1.50024 s]
/proc/loadavg: 4.45 4.19 4.12 5/256 977359
/proc/meminfo: memFree=126564052/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=225068 memory=179164 CPUtime=1.48 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 42769 0 0 0 142 6 0 0 20 0 1 0 185756775 230469632 44791 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 56267 44791 3758 3540 0 44524 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 225068 KiB
Current children cumulated memory: 179164 KiB

[startup+3.10564 s]
/proc/loadavg: 4.45 4.19 4.12 6/256 977359
/proc/meminfo: memFree=126515132/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=231920 memory=186012 CPUtime=3.09 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 44469 0 0 0 302 7 0 0 20 0 1 0 185756775 237486080 46503 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 57980 46503 3758 3540 0 46237 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 231920 KiB
Current children cumulated memory: 186012 KiB

[startup+6.30021 s]
/proc/loadavg: 4.49 4.20 4.12 6/256 977361
/proc/meminfo: memFree=126511128/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=235344 memory=189424 CPUtime=6.27 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 45313 0 0 0 620 7 0 0 20 0 1 0 185756775 240992256 47356 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 58836 47356 3758 3540 0 47093 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 235344 KiB
Current children cumulated memory: 189424 KiB

[startup+12.7002 s]
/proc/loadavg: 4.45 4.20 4.12 5/256 977361
/proc/meminfo: memFree=126504888/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=241296 memory=195248 CPUtime=12.66 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 46846 0 0 0 1258 8 0 0 20 0 1 0 185756775 247087104 48812 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 60324 48812 3758 3540 0 48581 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 241296 KiB
Current children cumulated memory: 195248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.35 4.19 4.12 5/257 977363
/proc/meminfo: memFree=126448316/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=341524 memory=267100 CPUtime=25.42 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 66626 0 0 0 2530 12 0 0 20 0 1 0 185756775 349720576 66775 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 85381 66775 3966 3540 0 73638 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 341524 KiB
Current children cumulated memory: 267100 KiB

[startup+51.1054 s]
/proc/loadavg: 4.23 4.17 4.11 5/257 977414
/proc/meminfo: memFree=127283012/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=351724 memory=278164 CPUtime=50.95 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 68878 0 0 0 5083 12 0 0 20 0 1 0 185756775 360165376 69541 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 87931 69541 3982 3540 0 76188 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 351724 KiB
Current children cumulated memory: 278164 KiB

[startup+102.3 s]
/proc/loadavg: 4.28 4.19 4.12 5/257 977424
/proc/meminfo: memFree=127194600/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=353304 memory=279736 CPUtime=102 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 69265 0 0 0 10188 12 0 0 20 0 1 0 185756775 361783296 69934 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 88326 69934 3982 3540 0 76583 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 353304 KiB
Current children cumulated memory: 279736 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.17 4.12 5/257 977818
/proc/meminfo: memFree=127178120/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=353880 memory=280520 CPUtime=161.81 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 69525 0 0 0 16168 13 0 0 20 0 1 0 185756775 362373120 70130 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 88470 70130 3982 3540 0 76727 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 353880 KiB
Current children cumulated memory: 280520 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.15 4.11 6/257 977828
/proc/meminfo: memFree=127086836/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=357928 memory=284932 CPUtime=221.6 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 70060 0 0 0 22147 13 0 0 20 0 1 0 185756775 366518272 71233 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 89482 71233 3982 3540 0 77739 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 357928 KiB
Current children cumulated memory: 284932 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 977840
/proc/meminfo: memFree=126878896/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=459848 memory=381088 CPUtime=281.42 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 80404 0 0 0 28126 16 0 0 20 0 1 0 185756775 470884352 95272 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 114962 95272 3982 3540 0 103219 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 459848 KiB
Current children cumulated memory: 381088 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 978018
/proc/meminfo: memFree=126848336/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=463724 memory=385264 CPUtime=341.22 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 81411 0 0 0 34106 16 0 0 20 0 1 0 185756775 474853376 96316 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 115931 96316 3982 3540 0 104188 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 463724 KiB
Current children cumulated memory: 385264 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/256 978029
/proc/meminfo: memFree=126827260/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=466040 memory=387880 CPUtime=401.04 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 82122 0 0 0 40088 16 0 0 20 0 1 0 185756775 477224960 96970 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 116510 96970 3982 3540 0 104767 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 466040 KiB
Current children cumulated memory: 387880 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 978044
/proc/meminfo: memFree=126812476/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=472100 memory=391604 CPUtime=460.85 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 82556 0 0 0 46068 17 0 0 20 0 1 0 185756775 483430400 97901 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 118025 97901 3982 3540 0 106282 0

################
# More data... #
################

/proc/loadavg: 4.13 4.16 4.16 5/254 979223
/proc/meminfo: memFree=126831828/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3213.84 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118263 0 0 0 321359 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3213.84 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/254 979234
/proc/meminfo: memFree=126824340/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3273.67 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118447 0 0 0 327342 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3273.67 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/254 979244
/proc/meminfo: memFree=126823648/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3333.5 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118725 0 0 0 333325 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3333.5 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.16 5/254 979254
/proc/meminfo: memFree=126822952/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3393.34 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 118979 0 0 0 339309 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3393.34 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.15 4.16 5/257 979269
/proc/meminfo: memFree=126812100/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3453.17 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119160 0 0 0 345292 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3453.17 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/258 979282
/proc/meminfo: memFree=126810764/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3513.01 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119330 0 0 0 351276 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3513.01 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.13 4.15 5/258 979293
/proc/meminfo: memFree=126804232/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3572.84 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119415 0 0 0 357259 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3572.84 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3597.14 s]
# the end of solver process 977358 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3587.39 s, system=0.258805 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3584 s]*
/proc/loadavg: 4.08 4.13 4.15 5/258 979293
/proc/meminfo: memFree=126804240/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3574.54 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 357429 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3574.54 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3590.4 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804236/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3580.92 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358067 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3580.92 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3593.6 s]
/proc/loadavg: 4.22 4.15 4.16 5/258 979294
/proc/meminfo: memFree=126804292/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3584.11 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358386 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3584.11 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3595.2 s]
/proc/loadavg: 4.12 4.14 4.15 4/251 979325
/proc/meminfo: memFree=127272168/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3585.7 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358545 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3585.7 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3596 s]*
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3586.51 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358626 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3586.51 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3596.8 s]
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3587.3 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119443 0 0 0 358705 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3587.3 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3597 s]*
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=590196 memory=529256 CPUtime=3587.5 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119444 0 0 0 358725 25 0 0 20 0 1 0 185756775 604360704 132314 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 147549 132314 4208 3540 0 135806 0
Current children cumulated CPU time: 3587.5 s
Current children cumulated vsize: 590196 KiB
Current children cumulated memory: 529256 KiB

[startup+3597.11 s]
/proc/loadavg: 4.12 4.14 4.15 4/251 979327
/proc/meminfo: memFree=127272064/131524600 swapFree=131071996/131071996
[pid=977358] ppid=977355 vsize=530788 memory=469848 CPUtime=3587.6 cores=4,6
/proc/977358/stat : 977358 (pbscip) R 977355 977358 973095 0 -1 4194304 119556 0 0 0 358735 25 0 0 20 0 1 0 185756775 543526912 117462 134679101440 4194304 18693293 140729873338448 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 55443456 140729873343491 140729873343590 140729873343590 140729873350606 0
/proc/977358/statm: 132697 117462 4208 3540 0 120954 0
Current children cumulated CPU time: 3587.6 s
Current children cumulated vsize: 530788 KiB
Current children cumulated memory: 469848 KiB

Child status: 0

Real time (s): 3597.14
CPU time (s): 3587.64
CPU user time (s): 3587.39
CPU system time (s): 0.258805
CPU usage (%): 99.7361
Max. virtual memory (cumulated for all children) (KiB): 590196
Max. memory (cumulated for all children) (KiB): 529256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.39
system time used= 0.258805
maximum resident set size= 529256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119577
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= 27
involuntary context switches= 1323


# summary of solver processes directly reported to runsolver:
#   pid: 977358
#   total CPU time (s): 3587.64
#   total CPU user time (s): 3587.39
#   total CPU system time (s): 0.258805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65372 second user time and 12.8802 second system time

The end

Launcher Data

Begin job on nodeC015 at 2024-07-18 22:52:58
IDJOB=4446735
IDBENCH=158301
IDSOLVER=3059
FILE ID=nodeC015/4446735-1721335966
RUNJOBID= nodeC015-1721328778-973106
SLURM_JOB_ID= 7542690
Free space on /tmp= 890020 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K179.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-4446735-1721335966/watcher-4446735-1721335966 -o /tmp/evaluation-result-4446735-1721335966/solver-4446735-1721335966 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721328778-973106 --watchdog 3760  pbscip -f HOME/instance-4446735-1721335966.opb -t 3600 -j 2 -m 31000

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 84aa92d361920570c4f42a7fa8308fed
RANDOM SEED=1583078636

nodeC015.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		: 3664.721
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.61
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		: 3690.574
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.025
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.61
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		: 3599.902
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.25
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		: 3656.797
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.61
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		: 3690.615
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.25
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		: 3667.740
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.61
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		: 3599.924
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126694208 kB
MemAvailable:   127866912 kB
Buffers:          504188 kB
Cached:          1495480 kB
SwapCached:            0 kB
Active:          1619684 kB
Inactive:        2573680 kB
Active(anon):       1548 kB
Inactive(anon):  2229864 kB
Active(file):    1618136 kB
Inactive(file):   343816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             40272 kB
Writeback:             0 kB
AnonPages:       2191976 kB
Mapped:           140252 kB
Shmem:             37720 kB
KReclaimable:     100800 kB
Slab:             213192 kB
SReclaimable:     100800 kB
SUnreclaim:       112392 kB
KernelStack:        4112 kB
PageTables:        13972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3229572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            68224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    563200 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:      291540 kB
DirectMap2M:    38279168 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC015 at 2024-07-18 23:52:55