Trace number 4526776

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-07OPTIMUM 128.16 128.698

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/satellite/
normalized-satellite02bc_wcsp.wbo
MD5SUM16713d3fa0552eafdb06b909d1729aab
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2211
Best CPU time to get the best result obtained on this benchmark1.72205
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1030
Total number of constraints43694
Number of soft constraints43512
Number of constraints which are clauses43512
Number of constraints which are cardinality constraints (but not clauses)182
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint9
Top cost 214775
Min constraint cost 1
Max constraint cost 214775
Sum of constraints costs 9197950033
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 10
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.01	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.01	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.01	c 
0.00/0.01	c user parameter file <scip.set> not found - using default parameters
0.00/0.01	c reading problem <HOME/instance-4526776-1751634541.wbo>
0.40/0.48	c original problem has 44542 variables (44542 bin, 0 int, 0 impl, 0 cont) and 87207 constraints
0.40/0.48	c problem read in 0.47
1.18/1.26	c presolving:
1.48/1.54	c (round 1, fast)       85665 del vars, 42841 del conss, 0 add conss, 85650 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 167 clqs
1.58/1.61	c (round 2, fast)       85669 del vars, 42845 del conss, 0 add conss, 85650 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 25167 clqs
1.58/1.62	c (round 3, fast)       85669 del vars, 42845 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 25167 clqs
1.58/1.67	c (round 4, exhaustive) 85669 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 687 impls, 25167 clqs
1.68/1.74	c (round 5, exhaustive) 85669 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25167 clqs
1.88/1.90	c (round 6, exhaustive) 85694 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25711 clqs
1.99/2.04	c (round 7, exhaustive) 85719 del vars, 60666 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25736 clqs
1.99/2.05	c (round 8, fast)       85719 del vars, 60691 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25736 clqs
2.09/2.19	c (round 9, exhaustive) 85744 del vars, 60691 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25779 clqs
2.09/2.19	c (round 10, fast)       85744 del vars, 60716 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25779 clqs
2.27/2.31	c (round 11, exhaustive) 85769 del vars, 60716 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25804 clqs
2.27/2.32	c (round 12, fast)       85769 del vars, 60741 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25804 clqs
2.37/2.43	c (round 13, exhaustive) 85794 del vars, 60741 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25829 clqs
2.37/2.43	c (round 14, fast)       85794 del vars, 60766 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25829 clqs
2.47/2.56	c (round 15, exhaustive) 85819 del vars, 60766 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25854 clqs
2.47/2.56	c (round 16, fast)       85819 del vars, 60791 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25854 clqs
2.57/2.67	c (round 17, exhaustive) 85844 del vars, 60791 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25885 clqs
2.57/2.67	c (round 18, fast)       85844 del vars, 60816 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25885 clqs
2.67/2.78	c (round 19, exhaustive) 85869 del vars, 60816 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25910 clqs
2.67/2.79	c (round 20, fast)       85869 del vars, 60841 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25910 clqs
2.77/2.89	c (round 21, exhaustive) 85894 del vars, 60841 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25935 clqs
2.87/2.90	c (round 22, fast)       85894 del vars, 60866 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25935 clqs
2.99/3.02	c (round 23, exhaustive) 85919 del vars, 60866 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25960 clqs
2.99/3.03	c (round 24, fast)       85919 del vars, 60891 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25960 clqs
3.08/3.13	c (round 25, exhaustive) 85944 del vars, 60891 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25992 clqs
3.08/3.14	c (round 26, fast)       85944 del vars, 60916 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 25992 clqs
3.17/3.25	c (round 27, exhaustive) 85969 del vars, 60916 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26017 clqs
3.17/3.26	c (round 28, fast)       85969 del vars, 60941 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26017 clqs
3.27/3.38	c (round 29, exhaustive) 85994 del vars, 60941 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26042 clqs
3.27/3.38	c (round 30, fast)       85994 del vars, 60966 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26042 clqs
3.37/3.49	c (round 31, exhaustive) 86019 del vars, 60966 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26067 clqs
3.37/3.49	c (round 32, fast)       86019 del vars, 60991 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26067 clqs
3.47/3.59	c (round 33, exhaustive) 86044 del vars, 60991 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26094 clqs
3.47/3.59	c (round 34, fast)       86044 del vars, 61016 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26094 clqs
3.67/3.71	c (round 35, exhaustive) 86069 del vars, 61016 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26125 clqs
3.67/3.72	c (round 36, fast)       86069 del vars, 61041 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26125 clqs
3.77/3.82	c (round 37, exhaustive) 86094 del vars, 61041 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26156 clqs
3.77/3.83	c (round 38, fast)       86094 del vars, 61066 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26156 clqs
3.87/3.92	c (round 39, exhaustive) 86119 del vars, 61066 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26187 clqs
3.87/3.93	c (round 40, fast)       86119 del vars, 61091 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26187 clqs
3.98/4.04	c (round 41, exhaustive) 86144 del vars, 61091 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26219 clqs
3.98/4.04	c (round 42, fast)       86144 del vars, 61116 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26219 clqs
4.08/4.13	c    (4.1s) probing: 1000/2385 (41.9%) - 0 fixings, 493 aggregations, 1079 implications, 0 bound changes
4.08/4.15	c (round 43, exhaustive) 86169 del vars, 61116 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26244 clqs
4.08/4.16	c (round 44, fast)       86169 del vars, 61141 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26244 clqs
4.17/4.27	c (round 45, exhaustive) 86194 del vars, 61141 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26269 clqs
4.17/4.27	c (round 46, fast)       86194 del vars, 61166 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26269 clqs
4.27/4.37	c (round 47, exhaustive) 86219 del vars, 61166 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26294 clqs
4.27/4.38	c (round 48, fast)       86219 del vars, 61191 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26294 clqs
4.37/4.48	c (round 49, exhaustive) 86244 del vars, 61191 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26319 clqs
4.37/4.48	c (round 50, fast)       86244 del vars, 61216 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26319 clqs
4.56/4.60	c (round 51, exhaustive) 86269 del vars, 61216 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26344 clqs
4.56/4.61	c (round 52, fast)       86269 del vars, 61241 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26344 clqs
4.66/4.72	c (round 53, exhaustive) 86294 del vars, 61241 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26369 clqs
4.66/4.72	c (round 54, fast)       86294 del vars, 61266 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26369 clqs
4.76/4.83	c (round 55, exhaustive) 86319 del vars, 61266 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26394 clqs
4.76/4.84	c (round 56, fast)       86319 del vars, 61291 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26394 clqs
4.86/4.93	c (round 57, exhaustive) 86344 del vars, 61291 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26419 clqs
4.86/4.94	c (round 58, fast)       86344 del vars, 61316 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26419 clqs
5.07/5.12	c    (5.1s) probing: 1438/2385 (60.3%) - 0 fixings, 687 aggregations, 1273 implications, 0 bound changes
5.07/5.12	c    (5.1s) probing aborted: 50/50 successive totally useless probings
5.07/5.12	c (round 59, exhaustive) 86356 del vars, 61316 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26431 clqs
5.07/5.13	c (round 60, fast)       86356 del vars, 61341 del conss, 0 add conss, 86337 chg bounds, 0 chg sides, 0 chg coeffs, 25167 upgd conss, 687 impls, 26431 clqs
5.07/5.16	c    (5.1s) probing: 1443/2385 (60.5%) - 0 fixings, 687 aggregations, 1273 implications, 0 bound changes
5.07/5.16	c    (5.1s) probing aborted: 50/50 successive totally useless probings
5.07/5.16	c    (5.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
5.07/5.18	c    (5.2s) no symmetry present (symcode time: 0.00)
5.07/5.19	c presolving (61 rounds: 61 fast, 31 medium, 31 exhaustive):
5.07/5.19	c  86356 deleted vars, 61341 deleted constraints, 0 added constraints, 86337 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
5.07/5.19	c  687 implications, 26431 cliques
5.07/5.19	c presolved problem has 1698 variables (1698 bin, 0 int, 0 impl, 0 cont) and 25866 constraints
5.07/5.19	c   25167 constraints of type <setppc>
5.07/5.19	c     687 constraints of type <linear>
5.07/5.19	c      12 constraints of type <indicator>
5.07/5.19	c transformed objective value is always integral (scale: 1)
5.07/5.19	c Presolving Time: 4.46
5.07/5.19	c - non default parameters ----------------------------------------------------------------------
5.07/5.19	c # SCIP version 10.0.0
5.07/5.19	c 
5.07/5.19	c # maximal time in seconds to run
5.07/5.19	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
5.07/5.19	c limits/time = 3596.994155
5.07/5.19	c 
5.07/5.19	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
5.07/5.19	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
5.07/5.19	c limits/memory = 27900
5.07/5.19	c 
5.07/5.19	c # belongs reading time to solving time?
5.07/5.19	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
5.07/5.19	c timing/reading = TRUE
5.07/5.19	c 
5.07/5.19	c -----------------------------------------------------------------------------------------------
5.07/5.19	c start solving
5.07/5.19	c 
5.26/5.33	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
5.26/5.33	c   5.3s|     1 |     0 |  1413 |     - |   318M |   0 |1698 |  25k|  25k|   0 |  0 |  44 |   0 | 5.789829e+02 |      --      |    Inf | unknown
6.07/6.12	c   6.1s|     1 |     0 |  5590 |     - |   329M |   0 |1698 |  25k|  25k|   6 |  1 |  45 |   0 | 6.706111e+02 |      --      |    Inf | unknown
6.25/6.39	c   6.4s|     1 |     0 |  5784 |     - |   341M |   0 |1698 |  25k|  25k|  15 |  2 |  47 |   0 | 8.287746e+02 |      --      |    Inf | unknown
6.46/6.53	c   6.5s|     1 |     0 |  5894 |     - |   354M |   0 |1698 |  25k|  25k|  21 |  3 |  48 |   0 | 8.751010e+02 |      --      |    Inf | unknown
6.65/6.77	c   6.8s|     1 |     0 |  6127 |     - |   372M |   0 |1698 |  25k|  25k|  27 |  4 |  49 |   0 | 9.326118e+02 |      --      |    Inf | unknown
7.65/7.74	c   7.7s|     1 |     0 |  6294 |     - |   374M |   0 |1698 |  25k|  25k|  38 |  5 |  52 |   0 | 9.471874e+02 |      --      |    Inf | unknown
8.55/8.67	c   8.7s|     1 |     0 |  6462 |     - |   378M |   0 |1698 |  25k|  25k|  51 |  6 |  53 |   0 | 9.713703e+02 |      --      |    Inf | unknown
9.55/9.66	c   9.6s|     1 |     0 |  6508 |     - |   381M |   0 |1698 |  25k|  25k|  56 |  7 |  55 |   0 | 9.716089e+02 |      --      |    Inf | unknown
10.55/10.68	c  10.7s|     1 |     0 |  6775 |     - |   384M |   0 |1698 |  25k|  25k|  67 |  8 |  56 |   0 | 9.834939e+02 |      --      |    Inf | unknown
12.34/12.49	c  12.5s|     1 |     0 |  7134 |     - |   389M |   0 |1698 |  25k|  25k|  77 |  9 |  57 |   0 | 9.962564e+02 |      --      |    Inf | unknown
13.44/13.51	c  13.5s|     1 |     0 |  7903 |     - |   392M |   0 |1698 |  25k|  25k|  88 | 10 |  59 |   0 | 1.079459e+03 |      --      |    Inf | unknown
13.54/13.60	c  13.6s|     1 |     0 |  8149 |     - |   395M |   0 |1698 |  25k|  25k|  99 | 11 |  60 |   0 | 1.096622e+03 |      --      |    Inf | unknown
13.64/13.72	c  13.7s|     1 |     0 |  8467 |     - |   397M |   0 |1698 |  25k|  25k| 107 | 12 |  61 |   0 | 1.120531e+03 |      --      |    Inf | unknown
13.64/13.78	c  13.8s|     1 |     0 |  8510 |     - |   400M |   0 |1698 |  25k|  25k| 115 | 13 |  62 |   0 | 1.122683e+03 |      --      |    Inf | unknown
13.74/13.89	c  13.9s|     1 |     0 |  8837 |     - |   403M |   0 |1698 |  25k|  25k| 121 | 14 |  64 |   0 | 1.162097e+03 |      --      |    Inf | unknown
13.83/13.99	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
13.83/13.99	c  14.0s|     1 |     0 |  9200 |     - |   406M |   0 |1698 |  25k|  25k| 132 | 15 |  65 |   0 | 1.189830e+03 |      --      |    Inf | unknown
14.04/14.12	c  14.1s|     1 |     0 |  9577 |     - |   409M |   0 |1698 |  25k|  25k| 139 | 16 |  67 |   0 | 1.215356e+03 |      --      |    Inf | unknown
14.13/14.27	c  14.3s|     1 |     0 | 10106 |     - |   412M |   0 |1698 |  25k|  25k| 144 | 17 |  68 |   0 | 1.247227e+03 |      --      |    Inf | unknown
14.23/14.34	c  14.3s|     1 |     0 | 10175 |     - |   414M |   0 |1698 |  25k|  25k| 149 | 18 |  70 |   0 | 1.250516e+03 |      --      |    Inf | unknown
14.33/14.42	c  14.4s|     1 |     0 | 10340 |     - |   417M |   0 |1698 |  25k|  25k| 156 | 19 |  72 |   0 | 1.256153e+03 |      --      |    Inf | unknown
14.43/14.52	c  14.5s|     1 |     0 | 10583 |     - |   420M |   0 |1698 |  25k|  26k| 165 | 20 |  73 |   0 | 1.265242e+03 |      --      |    Inf | unknown
14.43/14.59	c  14.6s|     1 |     0 | 10695 |     - |   420M |   0 |1698 |  25k|  26k| 172 | 21 |  74 |   0 | 1.269315e+03 |      --      |    Inf | unknown
14.53/14.69	c  14.7s|     1 |     0 | 10942 |     - |   420M |   0 |1698 |  25k|  25k| 178 | 22 |  75 |   0 | 1.275459e+03 |      --      |    Inf | unknown
14.63/14.76	c  14.7s|     1 |     0 | 11093 |     - |   420M |   0 |1698 |  25k|  26k| 183 | 23 |  76 |   0 | 1.282112e+03 |      --      |    Inf | unknown
14.73/14.83	c  14.8s|     1 |     0 | 11222 |     - |   421M |   0 |1698 |  25k|  26k| 191 | 24 |  82 |   0 | 1.288466e+03 |      --      |    Inf | unknown
14.73/14.90	c  14.9s|     1 |     0 | 11351 |     - |   421M |   0 |1698 |  25k|  26k| 198 | 25 |  83 |   0 | 1.291073e+03 |      --      |    Inf | unknown
14.83/14.96	c  14.9s|     1 |     0 | 11445 |     - |   421M |   0 |1698 |  25k|  26k| 203 | 26 |  86 |   0 | 1.293182e+03 |      --      |    Inf | unknown
14.94/15.03	c  15.0s|     1 |     0 | 11548 |     - |   421M |   0 |1698 |  25k|  26k| 207 | 27 |  87 |   0 | 1.295760e+03 |      --      |    Inf | unknown
14.94/15.08	c  15.1s|     1 |     0 | 11612 |     - |   421M |   0 |1698 |  25k|  26k| 213 | 28 |  88 |   0 | 1.296922e+03 |      --      |    Inf | unknown
15.04/15.14	c  15.1s|     1 |     0 | 11680 |     - |   421M |   0 |1698 |  25k|  26k| 219 | 29 |  90 |   0 | 1.299769e+03 |      --      |    Inf | unknown
15.13/15.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
15.13/15.20	c  15.2s|     1 |     0 | 11771 |     - |   422M |   0 |1698 |  25k|  26k| 227 | 30 |  91 |   0 | 1.301353e+03 |      --      |    Inf | unknown
15.13/15.27	c  15.3s|     1 |     0 | 11872 |     - |   422M |   0 |1698 |  25k|  26k| 234 | 31 |  92 |   0 | 1.305499e+03 |      --      |    Inf | unknown
15.23/15.35	c  15.3s|     1 |     0 | 12013 |     - |   422M |   0 |1698 |  25k|  26k| 241 | 32 |  93 |   0 | 1.309004e+03 |      --      |    Inf | unknown
15.23/15.39	c  15.4s|     1 |     0 | 12032 |     - |   422M |   0 |1698 |  25k|  26k| 247 | 33 |  94 |   0 | 1.309241e+03 |      --      |    Inf | unknown
15.33/15.44	c  15.4s|     1 |     0 | 12064 |     - |   423M |   0 |1698 |  25k|  26k| 250 | 34 |  95 |   0 | 1.309464e+03 |      --      |    Inf | unknown
15.33/15.49	c  15.5s|     1 |     0 | 12083 |     - |   423M |   0 |1698 |  25k|  26k| 254 | 35 |  96 |   0 | 1.309715e+03 |      --      |    Inf | unknown
15.43/15.54	c  15.5s|     1 |     0 | 12105 |     - |   423M |   0 |1698 |  25k|  26k| 256 | 36 | 100 |   0 | 1.310548e+03 |      --      |    Inf | unknown
15.43/15.59	c  15.6s|     1 |     0 | 12123 |     - |   423M |   0 |1698 |  25k|  26k| 259 | 37 | 101 |   0 | 1.310888e+03 |      --      |    Inf | unknown
15.53/15.64	c  15.6s|     1 |     0 | 12148 |     - |   423M |   0 |1698 |  25k|  26k| 266 | 38 | 102 |   0 | 1.311224e+03 |      --      |    Inf | unknown
15.53/15.68	c  15.7s|     1 |     0 | 12167 |     - |   423M |   0 |1698 |  25k|  26k| 267 | 39 | 103 |   0 | 1.311495e+03 |      --      |    Inf | unknown
15.62/15.74	c  15.7s|     1 |     0 | 12223 |     - |   424M |   0 |1698 |  25k|  26k| 268 | 40 | 104 |   0 | 1.312181e+03 |      --      |    Inf | unknown
15.62/15.79	c  15.8s|     1 |     0 | 12262 |     - |   424M |   0 |1698 |  25k|  26k| 270 | 41 | 107 |   0 | 1.313348e+03 |      --      |    Inf | unknown
15.73/15.82	c  15.8s|     1 |     0 | 12276 |     - |   424M |   0 |1698 |  25k|  26k| 271 | 42 | 108 |   0 | 1.313532e+03 |      --      |    Inf | unknown
15.73/15.86	c  15.8s|     1 |     0 | 12309 |     - |   424M |   0 |1698 |  25k|  26k| 272 | 43 | 109 |   0 | 1.314050e+03 |      --      |    Inf | unknown
15.83/15.90	c  15.9s|     1 |     0 | 12311 |     - |   424M |   0 |1698 |  25k|  26k| 275 | 44 | 110 |   0 | 1.314050e+03 |      --      |    Inf | unknown
20.71/20.82	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
20.71/20.82	c  20.8s|     1 |     2 | 19831 |     - |   427M |   0 |1698 |  26k|  26k| 275 | 45 | 170 |  20 | 1.335190e+03 |      --      |    Inf | unknown
50.50/50.76	o 2930
50.50/50.76	c *50.7s|    89 |    11 | 34360 | 250.6 |    LP  |  10 |1698 |  26k|  25k| 282 |  1 | 494 | 563 | 1.429441e+03 | 2.930000e+03 | 104.98%|  11.89%
50.60/50.80	o 2386
50.60/50.80	c i50.8s|    90 |     8 | 34360 | 247.7 |  oneopt|  10 |1698 |  26k|  25k| 282 |  0 | 494 | 563 | 1.429441e+03 | 2.386000e+03 |  66.92%|  16.90%
51.30/51.57	c  51.6s|   100 |    12 | 36428 | 243.6 |   437M |  10 |1698 |  26k|  26k| 291 |  2 | 498 | 563 | 1.429441e+03 | 2.386000e+03 |  66.92%|  18.47%
67.86/68.11	c  68.1s|   200 |    14 | 57725 | 228.2 |   614M |  20 |1698 |  26k|  26k| 627 |  0 | 618 | 635 | 1.475599e+03 | 2.386000e+03 |  61.70%|  50.28%
76.02/76.30	c  76.3s|   300 |    12 | 68854 | 189.1 |   629M |  22 |1698 |  26k|  26k| 703 |  2 | 727 | 652 | 1.611598e+03 | 2.386000e+03 |  48.05%|  52.45%
95.76/96.14	c  96.1s|   400 |    13 | 85491 | 183.4 |   652M |  29 |1698 |  26k|  26k| 878 |  0 | 834 | 687 | 1.709604e+03 | 2.386000e+03 |  39.56%|  53.81%
102.72/103.17	c   103s|   500 |    18 | 99729 | 175.2 |   656M |  29 |1698 |  26k|  26k| 913 |  2 | 903 | 711 | 1.720502e+03 | 2.386000e+03 |  38.68%|  54.70%
102.80/103.29	o 2211
102.80/103.29	c * 103s|   506 |    11 |100053 | 173.7 |    LP  |  29 |1698 |  26k|  26k| 913 |  1 | 911 | 711 | 1.720502e+03 | 2.211000e+03 |  28.51%|  54.85%
115.13/115.70	c   116s|   600 |     3 |113291 | 168.6 |   673M |  29 |1698 |  23k|  26k|1038 |  0 | 933 | 738 | 1.786826e+03 | 2.211000e+03 |  23.74%|  87.17%
127.66/128.29	c 
127.66/128.29	c SCIP Status        : problem is solved [optimal solution found]
127.66/128.29	c Solving Time (sec) : 128.27
127.66/128.29	c Solving Nodes      : 640
127.66/128.29	c Primal Bound       : +2.21100000000000e+03 (5 solutions)
127.66/128.29	c Dual Bound         : +2.21100000000000e+03
127.66/128.29	c Gap                : 0.00 %
127.76/128.35	s OPTIMUM FOUND
127.76/128.35	v -x1030 x1029 -x1028 x1027 x1026 -x1025 -x1024 x1023 -x1022 x1021 -x1020 x1019 -x1018 x1017 -x1016 x1015 -x1014 x1013 x1012 -x1011 
127.76/128.35	v -x1010 x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 x996 -x995 -x994 -x993 -x992 
127.76/128.35	v -x991 -x990 -x989 x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 
127.76/128.35	v x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 x951 -x950 -x949 
127.76/128.35	v -x948 -x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 x933 -x932 x931 -x930 -x929 -x928 
127.76/128.35	v x927 -x926 x925 x924 -x923 -x922 -x921 -x920 x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 x910 -x909 -x908 -x907 -x906 
127.76/128.35	v -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 x892 -x891 -x890 -x889 -x888 -x887 x886 -x885 
127.76/128.35	v -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 x865 -x864 
127.76/128.35	v -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 x845 -x844 -x843 -x842 
127.76/128.35	v x841 -x840 -x839 x838 -x837 x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 x822 -x821 
127.76/128.35	v -x820 -x819 -x818 -x817 -x816 -x815 -x814 x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 
127.76/128.35	v -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 
127.76/128.35	v x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 x759 -x758 x757 
127.76/128.35	v -x756 -x755 -x754 x753 -x752 -x751 x750 -x749 x748 -x747 -x746 -x745 x744 -x743 -x742 x741 -x740 -x739 x738 -x737 x736 -x735 
127.76/128.35	v -x734 x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 
127.76/128.35	v -x712 x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 x693 -x692 
127.76/128.35	v -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672 -x671 
127.76/128.35	v -x670 -x669 -x668 -x667 x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 x657 -x656 x655 -x654 -x653 -x652 x651 -x650 -x649 
127.76/128.35	v x648 -x647 x646 -x645 -x644 -x643 -x642 x641 -x640 -x639 -x638 x637 -x636 -x635 -x634 x633 -x632 -x631 x630 -x629 -x628 
127.76/128.35	v -x627 x626 -x625 -x624 -x623 x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 
127.76/128.35	v -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 x586 -x585 
127.76/128.35	v -x584 -x583 -x582 -x581 -x580 -x579 x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 x568 -x567 -x566 -x565 -x564 
127.76/128.35	v -x563 -x562 -x561 -x560 x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 x548 -x547 -x546 -x545 x544 -x543 -x542 
127.76/128.35	v x541 -x540 x539 -x538 -x537 -x536 -x535 x534 -x533 -x532 -x531 x530 -x529 x528 -x527 -x526 -x525 -x524 x523 -x522 -x521 -x520 
127.76/128.35	v x519 -x518 -x517 -x516 x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 
127.76/128.35	v -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 x479 -x478 
127.76/128.35	v -x477 -x476 -x475 -x474 -x473 -x472 -x471 x470 -x469 -x468 x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 
127.76/128.35	v -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 x441 -x440 -x439 -x438 x437 -x436 -x435 
127.76/128.35	v x434 -x433 x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 x423 -x422 -x421 x420 -x419 -x418 -x417 x416 -x415 -x414 -x413 
127.76/128.35	v x412 -x411 -x410 -x409 x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 
127.76/128.35	v -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 -x371 
127.76/128.35	v -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 
127.76/128.35	v -x348 -x347 -x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 x336 -x335 x334 -x333 -x332 -x331 x330 -x329 -x328 
127.76/128.35	v x327 -x326 x325 -x324 -x323 -x322 -x321 x320 -x319 -x318 -x317 x316 -x315 -x314 x313 -x312 -x311 -x310 x309 -x308 x307 -x306 
127.76/128.35	v -x305 -x304 -x303 -x302 x301 -x300 -x299 x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 
127.76/128.35	v -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 
127.76/128.35	v -x262 -x261 -x260 -x259 -x258 -x257 x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 
127.76/128.35	v -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 x227 -x226 -x225 -x224 x223 -x222 -x221 
127.76/128.35	v x220 -x219 x218 -x217 -x216 -x215 -x214 x213 -x212 -x211 -x210 x209 -x208 -x207 x206 -x205 -x204 -x203 x202 -x201 -x200 x199 
127.76/128.35	v -x198 -x197 -x196 -x195 x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 
127.76/128.35	v -x177 x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 x158 -x157 -x156 
127.76/128.35	v -x155 -x154 -x153 -x152 -x151 -x150 x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 x140 -x139 -x138 -x137 -x136 -x135 
127.76/128.35	v -x134 -x133 -x132 x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 x122 -x121 x120 -x119 -x118 -x117 x116 -x115 -x114 
127.76/128.35	v x113 -x112 x111 -x110 -x109 -x108 -x107 x106 -x105 x104 -x103 -x102 -x101 -x100 x99 -x98 -x97 -x96 x95 -x94 -x93 x92 -x91 -x90 
127.76/128.35	v -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 
127.76/128.35	v x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 x55 -x54 -x53 -x52 -x51 -x50 -x49 x48 -x47 -x46 -x45 x44 -x43 -x42 -x41 x40 -x39 
127.76/128.35	v -x38 x37 -x36 x35 -x34 -x33 -x32 -x31 x30 -x29 -x28 x27 -x26 -x25 -x24 x23 -x22 -x21 -x20 x19 -x18 -x17 x16 -x15 -x14 x13 -x12 
127.76/128.35	v -x11 -x10 x9 -x8 -x7 x6 -x5 -x4 x3 -x2 x1 
127.76/128.35	c SCIP Status        : problem is solved [optimal solution found]
127.76/128.35	c Total Time         :     128.27
127.76/128.35	c   solving          :     128.27
127.76/128.35	c   presolving       :       4.46 (included in solving)
127.76/128.35	c   reading          :       0.47 (included in solving)
127.76/128.35	c   copying          :       0.47 (13 #copies) (minimal 0.03, maximal 0.04, average 0.04)
127.76/128.35	c Original Problem   :
127.76/128.35	c   Problem name     : HOME/instance-4526776-1751634541.wbo
127.76/128.35	c   Variables        : 44542 (44542 binary, 0 integer, 0 implicit integer, 0 continuous)
127.76/128.35	c   Constraints      : 87207 initial, 87207 maximal
127.76/128.35	c   Objective        : minimize, 43512 non-zeros (abs.min = 1, abs.max = 214775)
127.76/128.35	c Presolved Problem  :
127.76/128.35	c   Problem name     : t_HOME/instance-4526776-1751634541.wbo
127.76/128.35	c   Variables        : 1698 (1698 binary, 0 integer, 0 implicit integer, 0 continuous)
127.76/128.35	c   Constraints      : 25866 initial, 26657 maximal
127.76/128.35	c   Objective        : minimize, 687 non-zeros (abs.min = 1, abs.max = 594)
127.76/128.35	c   Nonzeros         : 52422 constraint, 24060 clique table
127.76/128.35	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
127.76/128.35	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   domcol           :       0.00       0.00     29          0          0          0          0          0          0          0          0          0
127.76/128.35	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   dualsparsify     :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
127.76/128.35	c   gateextraction   :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   implics          :       0.00       0.00     31          0          0          0          0          0          0          0          0          0
127.76/128.35	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   milp             :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   sparsify         :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
127.76/128.35	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   trivial          :       0.01       0.00     61          0          0          0          0          0          0          0          0          0
127.76/128.35	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   dualfix          :       0.01       0.00     61          0          0          0          0          0          0          0          0          0
127.76/128.35	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   probing          :       2.80       0.00     29          0        687          0          0          0          0          0          0          0
127.76/128.35	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   symmetry         :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
127.76/128.35	c   vbounds          :       0.00       0.00      1          0          0          0          0          0          0          0          0          0
127.76/128.35	c   knapsack         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   setppc           :       0.56       0.00    114          0          0          0          0          0          0          0          0          0
127.76/128.35	c   linear           :       0.38       0.01     92      42825         19          0      43512          0      17841          0          0          0
127.76/128.35	c   logicor          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   indicator        :       0.09       0.00     31      42825          0          0      42825          0      43500          0          0          0
127.76/128.35	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
127.76/128.35	c   root node        :          -          -      -        495          -          -        495          -          -          -          -          -
127.76/128.35	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
127.76/128.35	c   benderslp        :          0          0          0          0        384          0          0         97          0          0          0          0          0          0          0
127.76/128.35	c   integral         :          0          0          0          0        384          0          0         97          0          0        439          0          0        357        660
127.76/128.35	c   knapsack         :          0+        24          0       9728          0          0          0          0         29          9        243          0          0          0          0
127.76/128.35	c   setppc           :      25167+     25328         45      16640          2          0          0         91      24846        215      36194          0          0          0          0
127.76/128.35	c   linear           :        687+       696         45      16425          2          0          0         47       3133          1       9860          0          0          0          0
127.76/128.35	c   logicor          :          0+       620         45       5176          0          0          0          0        507         19        938          1          1          0          0
127.76/128.35	c   benders          :          0          0          0          0          2          0          0          7          0          0          0          0          0          0          0
127.76/128.35	c   indicator        :         12         12        265      16405          2          0          0          5          0          0          0          0          0          0          0
127.76/128.35	c   fixedvar         :          0          0          0          0          2          0          0          7          0          0          0          0          0          0          0
127.76/128.35	c   countsols        :          0          0          0          0          2          0          0          7          0          0          0          0          0          0          0
127.76/128.35	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
127.76/128.35	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
127.76/128.35	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   integral         :      39.69       0.00       0.00       0.00      39.69       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   knapsack         :       0.03       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.01
127.76/128.35	c   setppc           :       1.54       0.00       0.04       1.12       0.00       0.00       0.00       0.06       0.01       0.30
127.76/128.35	c   linear           :       0.33       0.01       0.19       0.11       0.00       0.00       0.00       0.00       0.00       0.02
127.76/128.35	c   logicor          :       0.05       0.00       0.00       0.03       0.00       0.00       0.00       0.00       0.00       0.02
127.76/128.35	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   indicator        :       0.05       0.00       0.00       0.05       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   fixedvar         :       0.03       0.00       0.00       0.00       0.00       0.00       0.00       0.02       0.00       0.00
127.76/128.35	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
127.76/128.35	c   dualfix          :          1          0          0          0
127.76/128.35	c   genvbounds       :          0          0          0          0
127.76/128.35	c   nlobbt           :          0          0          0          0
127.76/128.35	c   obbt             :          0          0          0          0
127.76/128.35	c   probing          :          0          0          0          0
127.76/128.35	c   pseudoobj        :       5153          0          0          5
127.76/128.35	c   redcost          :       1558          0          0      24679
127.76/128.35	c   rootredcost      :          4          0          0          0
127.76/128.35	c   symmetry         :          0          0          0          0
127.76/128.35	c   vbounds          :       7406          0          0          0
127.76/128.35	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
127.76/128.35	c   dualfix          :       0.01       0.00       0.01       0.00       0.00       0.00
127.76/128.35	c   genvbounds       :       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   probing          :       2.80       0.00       2.80       0.00       0.00       0.00
127.76/128.35	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
127.76/128.35	c   redcost          :       0.15       0.00       0.00       0.15       0.00       0.00
127.76/128.35	c   rootredcost      :       0.00       0.00       0.00       0.00       0.00       0.00
127.76/128.35	c   symmetry         :       0.03       0.00       0.02       0.00       0.00       0.00
127.76/128.35	c   vbounds          :       0.02       0.00       0.00       0.02       0.00       0.00
127.76/128.35	c Symmetry           :
127.76/128.35	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
127.76/128.35	c   orbital reduction:          0 reductions applied,          0 cutoffs
127.76/128.35	c   lexicographic red:          0 reductions applied,          0 cutoffs
127.76/128.35	c   shadow tree time :       0.00 s
127.76/128.35	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
127.76/128.35	c   propagation      :       0.01        238        237          -        650       62.6         59        6.9          -          -          -
127.76/128.35	c   infeasible LP    :       0.03         39         39          -        218       64.8          3       13.0         36      118.2          0
127.76/128.35	c   bound exceed. LP :       0.22         72         19          -        160       95.7          0        0.0          0        0.0        470
127.76/128.35	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
127.76/128.35	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
127.76/128.35	c   applied globally :       0.05          -          -          0        922       45.8          -          -         36          -          -
127.76/128.35	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
127.76/128.35	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
127.76/128.35	c   cut pool         :       1.09          -        401         88          -          -       4599      11106          -          -          -          -          -    (maximal pool size:       2436)
127.76/128.35	c   aggregation      :       1.70       0.00        218         45          0          0          0          0          0          0          0          0          0
127.76/128.35	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
127.76/128.35	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
127.76/128.35	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
127.76/128.35	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   clique           :       0.23       0.00         45         45          0          0        254       1750          0        494        494          0          0
127.76/128.35	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.35	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   gomory           :      41.64       0.00        102         10          0          0       4107       8100          0        201        201          0          0
127.76/128.36	c   > gomorymi       :          -          -          -          -          -          -          -       4261          0         91         91          0          -
127.76/128.36	c   > strongcg       :          -          -          -          -          -          -          -       3839          0        110        110          0          -
127.76/128.36	c   impliedbounds    :       0.12       0.00        218         45          0          0         21         33          0         23         23          0          0
127.76/128.36	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   mcf              :       0.02       0.00          1          1          0          0          0          0          0          0          0          0          0
127.76/128.36	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   multilinear      :       0.00       0.00         92         45          0          0          0          0          0          0          0          0          0
127.76/128.36	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   rapidlearning    :       0.03       0.00          0          0          0          0          0          0          0          0          0          0          0
127.76/128.36	c   rlt              :       0.00       0.00         36         10          0          0          0          0          0          0          0          0          0
127.76/128.36	c   zerohalf         :       0.76       0.00        112         20          0          0        217       1223          0        456        456          0          0
127.76/128.36	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
127.76/128.36	c   hybrid           :       0.08       0.00        234         44       1175          0       9932        275          0       1802
127.76/128.36	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c Pricers            :   ExecTime  SetupTime      Calls       Vars
127.76/128.36	c   problem variables:       0.00          -          0          0
127.76/128.36	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
127.76/128.36	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c   relpscost        :      39.69       0.00        382          0          0          0        439          0        380        660
127.76/128.36	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
127.76/128.36	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
127.76/128.36	c   LP solutions     :       0.00          -          -          2          2
127.76/128.36	c   relax solutions  :       0.00          -          -          0          0
127.76/128.36	c   pseudo solutions :       0.00          -          -          0          0
127.76/128.36	c   strong branching :       0.01          -          -          0          0
127.76/128.36	c   actconsdiving    :       0.00       0.00          0          0          0
127.76/128.36	c   adaptivediving   :       0.00       0.00          0          0          0
127.76/128.36	c   alns             :       0.32       0.00          5          0          0
127.76/128.36	c   bound            :       0.00       0.00          0          0          0
127.76/128.36	c   clique           :       0.04       0.00          1          0          0
127.76/128.36	c   coefdiving       :       0.00       0.00          0          0          0
127.76/128.36	c   completesol      :       0.00       0.00          0          0          0
127.76/128.36	c   conflictdiving   :       0.36       0.00          1          0          0
127.76/128.36	c   crossover        :       0.09       0.00          1          1          0
127.76/128.36	c   dins             :       0.00       0.00          0          0          0
127.76/128.36	c   distributiondivin:       0.04       0.00          0          0          0
127.76/128.36	c   dps              :       0.00       0.00          0          0          0
127.76/128.36	c   dualval          :       0.00       0.00          0          0          0
127.76/128.36	c   farkasdiving     :       2.33       0.00          1          0          0
127.76/128.36	c   feasjump         :       0.02       0.00          1          0          0
127.76/128.36	c   feaspump         :       0.64       0.00          1          0          0
127.76/128.36	c   fixandinfer      :       0.00       0.00          0          0          0
127.76/128.36	c   fracdiving       :       0.00       0.00          0          0          0
127.76/128.36	c   gins             :       0.19       0.00          2          0          0
127.76/128.36	c   guideddiving     :       0.00       0.00          0          0          0
127.76/128.36	c   indcoefdiving    :       0.00       0.00          0          0          0
127.76/128.36	c   indicator        :       0.00       0.00          0          0          0
127.76/128.36	c   indicatordiving  :       0.00       0.00          0          0          0
127.76/128.36	c   indoneopt        :       0.07       0.00          4          1          0
127.76/128.36	c   indrounding      :       0.00       0.00          0          0          0
127.76/128.36	c   indtwoopt        :       0.00       0.00          0          0          0
127.76/128.36	c   intdiving        :       0.00       0.00          0          0          0
127.76/128.36	c   intshifting      :       0.00       0.00          0          0          0
127.76/128.36	c   linesearchdiving :       0.00       0.00          0          0          0
127.76/128.36	c   localbranching   :       0.00       0.00          0          0          0
127.76/128.36	c   locks            :       0.01       0.00          1          0          0
127.76/128.36	c   lpface           :       0.00       0.00          0          0          0
127.76/128.36	c   mpec             :       0.00       0.00          0          0          0
127.76/128.36	c   multistart       :       0.00       0.00          0          0          0
127.76/128.36	c   mutation         :       0.00       0.00          0          0          0
127.76/128.36	c   nlpdiving        :       0.00       0.00          0          0          0
127.76/128.36	c   objpscostdiving  :       0.00       0.00          0          0          0
127.76/128.36	c   octane           :       0.00       0.00          0          0          0
127.76/128.36	c   ofins            :       0.00       0.00          0          0          0
127.76/128.36	c   oneopt           :       0.01       0.00          2          1          1
127.76/128.36	c   padm             :       0.00       0.00          0          0          0
127.76/128.36	c   proximity        :       0.00       0.00          0          0          0
127.76/128.36	c   pscostdiving     :       0.10       0.00          1          0          0
127.76/128.36	c   randrounding     :       0.27       0.00         88          0          0
127.76/128.36	c   rens             :       0.10       0.00          1          0          0
127.76/128.36	c   reoptsols        :       0.00       0.00          0          0          0
127.76/128.36	c   repair           :       0.00       0.00          0          0          0
127.76/128.36	c   rins             :       0.47       0.00          5          0          0
127.76/128.36	c   rootsoldiving    :       0.00       0.00          0          0          0
127.76/128.36	c   rounding         :       0.27       0.00        311          0          0
127.76/128.36	c   scheduler        :       0.00       0.00          0          0          0
127.76/128.36	c   shiftandpropagate:       0.01       0.00          1          0          0
127.76/128.36	c   shifting         :       0.84       0.00        207          0          0
127.76/128.36	c   simplerounding   :       0.03       0.00        623          0          0
127.76/128.36	c   smallcard        :       0.00       0.00          0          0          0
127.76/128.36	c   subnlp           :       0.00       0.00          0          0          0
127.76/128.36	c   trivial          :       0.04       0.00          2          0          0
127.76/128.36	c   trivialnegation  :       0.00       0.00          0          0          0
127.76/128.36	c   trustregion      :       0.00       0.00          0          0          0
127.76/128.36	c   trysol           :       0.00       0.00          0          0          0
127.76/128.36	c   twoopt           :       0.00       0.00          0          0          0
127.76/128.36	c   undercover       :       0.00       0.00          0          0          0
127.76/128.36	c   vbounds          :       0.02       0.00          1          0          0
127.76/128.36	c   veclendiving     :       0.00       0.00          0          0          0
127.76/128.36	c   zeroobj          :       0.00       0.00          0          0          0
127.76/128.36	c   zirounding       :       0.06       0.00        330          0          0
127.76/128.36	c   other solutions  :          -          -          -          0          -
127.76/128.36	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
127.76/128.36	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.12500   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
127.76/128.36	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
127.76/128.36	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
127.76/128.36	c   primal LP        :       0.16         70          0       0.00       0.00       0.16         70
127.76/128.36	c   dual LP          :      26.46       1579     108389     124.30    4096.88       1.90        707
127.76/128.36	c   lex dual LP      :       0.00          0          0       0.00          -
127.76/128.36	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
127.76/128.36	c   resolve instable :       0.00          0          0       0.00          -
127.76/128.36	c   diving/probing LP:       3.27        267      12631      47.31    3862.08
127.76/128.36	c   strong branching :      35.21        756     165178     218.49    4690.57          -          -        121
127.76/128.36	c     (at root node) :          -         20       8345     417.25          -
127.76/128.36	c   conflict analysis:       0.15         47        470      10.00    3179.82
127.76/128.36	c B&B Tree           :
127.76/128.36	c   number of runs   :          1
127.76/128.36	c   nodes            :        640 (330 internal, 310 leaves)
127.76/128.36	c   feasible leaves  :          2
127.76/128.36	c   infeas. leaves   :         76
127.76/128.36	c   objective leaves :        232
127.76/128.36	c   nodes (total)    :        640 (330 internal, 310 leaves)
127.76/128.36	c   nodes left       :          0
127.76/128.36	c   max depth        :         29
127.76/128.36	c   max depth (total):         29
127.76/128.36	c   backtracks       :        136 (21.2%)
127.76/128.36	c   early backtracks :          0 (0.0%)
127.76/128.36	c   nodes exc. ref.  :          0 (0.0%)
127.76/128.36	c   delayed cutoffs  :         10
127.76/128.36	c   repropagations   :        134 (1284 domain reductions, 10 cutoffs)
127.76/128.36	c   avg switch length:       3.15
127.76/128.36	c   switching time   :       0.72
127.76/128.36	c Root Node          :
127.76/128.36	c   First LP value   : +5.78982905982906e+02
127.76/128.36	c   First LP Iters   :       1413 (31906.97 Iter/sec)
127.76/128.36	c   First LP Time    :       0.04
127.76/128.36	c   Final Dual Bound : +1.33518986651783e+03
127.76/128.36	c   Final Root Iters :      12311
127.76/128.36	c   Root LP Estimate : +4.77293015264136e+03
127.76/128.36	c Solution           :
127.76/128.36	c   Solutions found  :          5 (3 improvements)
127.76/128.36	c   First Solution   : +2.93000000000000e+03   (in run 1, after 89 nodes, 50.75 seconds, depth 8, found by <relaxation>)
127.76/128.36	c   Gap First Sol.   :     104.98 %
127.76/128.36	c   Gap Last Sol.    :      28.51 %
127.76/128.36	c   Primal Bound     : +2.21100000000000e+03   (in run 1, after 640 nodes, 128.27 seconds, depth -1, found by <relaxation>)
127.76/128.36	c   Dual Bound       : +2.21100000000000e+03
127.76/128.36	c   Gap              :       0.00 %
127.76/128.36	c Integrals          :      Total       Avg%
127.76/128.36	c   primal-dual      :    7295.13      56.87
127.76/128.36	c   primal-ref       :          -          - (not evaluated)
127.76/128.36	c   dual-ref         :          -          - (not evaluated)
128.05/128.68	c Time complete: 128.139.

Verifier Data

OK	2211

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: 63794 MiB (57473 MiB free)
  memory of node 1: 64507 MiB (50257 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526776-1751634541/watcher-4526776-1751634541 -o /tmp/evaluation-result-4526776-1751634541/solver-4526776-1751634541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88030 --watchdog 3760 pbscip -f HOME/instance-4526776-1751634541.wbo -t 3600 -j 2 -m 31000 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=91634, runsolver pid=91631

[startup+0.100217 s]*
/proc/loadavg: 4.11 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110288516/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=58444 memory=30720 CPUtime=0.1 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 4776 0 0 0 9 1 0 0 20 0 1 0 79133853 59846656 7680 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 14611 7680 3232 3530 0 6062 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58444 KiB
Current children cumulated memory: 30720 KiB

[startup+0.21348 s]*
/proc/loadavg: 4.11 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110288516/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=76360 memory=48640 CPUtime=0.2 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 9289 0 0 0 18 2 0 0 20 0 1 0 79133853 78192640 12160 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 19090 12160 3232 3530 0 10541 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 76360 KiB
Current children cumulated memory: 48640 KiB

[startup+0.313359 s]*
/proc/loadavg: 4.11 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110289020/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=89560 memory=61312 CPUtime=0.31 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 12459 0 0 0 28 3 0 0 20 0 1 0 79133853 91709440 15328 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 22390 15328 3232 3530 0 13841 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 89560 KiB
Current children cumulated memory: 61312 KiB

[startup+0.700381 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110261300/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=195712 memory=167812 CPUtime=0.68 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 39237 0 0 0 57 11 0 0 20 0 1 0 79133853 200409088 41921 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 48928 41953 3552 3530 0 40379 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 195712 KiB
Current children cumulated memory: 167812 KiB

[startup+1.50036 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110104052/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=359020 memory=324144 CPUtime=1.48 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 80861 0 0 0 128 20 0 0 20 0 1 0 79133853 367636480 81036 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 89755 81036 3584 3530 0 81206 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 359020 KiB
Current children cumulated memory: 324144 KiB

[startup+3.11335 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110037352/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=345936 memory=311972 CPUtime=3.08 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 81356 0 0 0 288 20 0 0 20 0 1 0 79133853 354238464 77993 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 86484 77993 3616 3530 0 77935 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 345936 KiB
Current children cumulated memory: 311972 KiB

[startup+6.30032 s]
/proc/loadavg: 4.10 4.12 4.15 5/251 91635
/proc/meminfo: memFree=110010008/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=395576 memory=356492 CPUtime=6.25 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 93367 0 0 0 604 21 0 0 20 0 1 0 79133853 405069824 89123 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 98894 89123 3840 3530 0 90345 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 395576 KiB
Current children cumulated memory: 356492 KiB

[startup+12.7003 s]
/proc/loadavg: 4.10 4.12 4.15 5/251 91635
/proc/meminfo: memFree=109954244/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=453092 memory=393868 CPUtime=12.64 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 102720 0 0 0 1241 23 0 0 20 0 1 0 79133853 463966208 98467 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 113273 98467 3840 3530 0 104724 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 453092 KiB
Current children cumulated memory: 393868 KiB

[startup+25.5004 s]
/proc/loadavg: 4.07 4.11 4.15 5/251 91635
/proc/meminfo: memFree=109905700/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=525316 memory=442144 CPUtime=25.39 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 114202 0 0 0 2514 25 0 0 20 0 1 0 79133853 537923584 110536 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 131329 110536 3936 3530 0 122780 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 525316 KiB
Current children cumulated memory: 442144 KiB

[startup+51.1132 s]
/proc/loadavg: 4.11 4.12 4.15 5/251 91636
/proc/meminfo: memFree=109883292/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=525604 memory=442528 CPUtime=50.92 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 114322 0 0 0 5067 25 0 0 20 0 1 0 79133853 538218496 110632 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 131401 110632 3936 3530 0 122852 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 525604 KiB
Current children cumulated memory: 442528 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.14 4.16 5/251 91863
/proc/meminfo: memFree=110315684/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=746496 memory=596008 CPUtime=101.91 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 160793 0 0 0 10155 36 0 0 20 0 1 0 79133853 764411904 149002 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 186624 149002 3936 3530 0 178075 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 746496 KiB
Current children cumulated memory: 596008 KiB

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

# cumulated CPU time of all completed processes:  user=127.712 s, system=0.44754 s

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

[startup+102.4 s]
/proc/loadavg: 4.21 4.14 4.16 5/251 91863
/proc/meminfo: memFree=110315684/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=746496 memory=596008 CPUtime=102.01 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 160793 0 0 0 10165 36 0 0 20 0 1 0 79133853 764411904 149002 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 186624 149002 3936 3530 0 178075 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 746496 KiB
Current children cumulated memory: 596008 KiB

[startup+115.2 s]
/proc/loadavg: 4.16 4.14 4.15 5/251 91955
/proc/meminfo: memFree=110354216/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=746496 memory=596648 CPUtime=114.73 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 160954 0 0 0 11435 38 0 0 20 0 1 0 79133853 764411904 149162 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 186624 149162 3936 3530 0 178075 0
Current children cumulated CPU time: 114.73 s
Current children cumulated vsize: 746496 KiB
Current children cumulated memory: 596648 KiB

[startup+121.6 s]
/proc/loadavg: 4.15 4.13 4.15 5/247 92053
/proc/meminfo: memFree=110460668/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=753684 memory=597432 CPUtime=121.08 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 164787 0 0 0 12066 42 0 0 20 0 1 0 79133853 771772416 149358 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 188421 149358 3936 3530 0 179872 0
Current children cumulated CPU time: 121.08 s
Current children cumulated vsize: 753684 KiB
Current children cumulated memory: 597432 KiB

[startup+124.8 s]
/proc/loadavg: 4.15 4.13 4.15 4/245 92076
/proc/meminfo: memFree=110481356/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=753684 memory=597432 CPUtime=124.27 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 164787 0 0 0 12385 42 0 0 20 0 1 0 79133853 771772416 149358 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 188421 149358 3936 3530 0 179872 0
Current children cumulated CPU time: 124.27 s
Current children cumulated vsize: 753684 KiB
Current children cumulated memory: 597432 KiB

[startup+126.4 s]
/proc/loadavg: 4.06 4.12 4.15 4/245 92076
/proc/meminfo: memFree=110514512/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=753684 memory=597432 CPUtime=125.86 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 164787 0 0 0 12544 42 0 0 20 0 1 0 79133853 771772416 149358 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 188421 149358 3936 3530 0 179872 0
Current children cumulated CPU time: 125.86 s
Current children cumulated vsize: 753684 KiB
Current children cumulated memory: 597432 KiB

[startup+128 s]*
/proc/loadavg: 4.06 4.12 4.15 4/245 92076
/proc/meminfo: memFree=110521248/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=753684 memory=597432 CPUtime=127.47 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 164787 0 0 0 12705 42 0 0 20 0 1 0 79133853 771772416 149358 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 188421 149358 3936 3530 0 179872 0
Current children cumulated CPU time: 127.47 s
Current children cumulated vsize: 753684 KiB
Current children cumulated memory: 597432 KiB

[startup+128.4 s]
/proc/loadavg: 4.06 4.12 4.15 4/245 92076
/proc/meminfo: memFree=110521248/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=753684 memory=597432 CPUtime=127.86 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 164800 0 0 0 12744 42 0 0 20 0 1 0 79133853 771772416 149358 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 188421 149358 3936 3530 0 179872 0
Current children cumulated CPU time: 127.86 s
Current children cumulated vsize: 753684 KiB
Current children cumulated memory: 597432 KiB

[startup+128.6 s]
/proc/loadavg: 4.06 4.12 4.15 4/245 92076
/proc/meminfo: memFree=110521248/131382112 swapFree=33010416/33010684
[pid=91634] ppid=91631 vsize=694496 memory=538360 CPUtime=128.05 cores=1,3
/proc/91634/stat : 91634 (pbscip) R 91631 91634 88018 0 -1 4194304 164800 0 0 0 12763 42 0 0 20 0 1 0 79133853 711163904 134590 18446744073709551615 4235264 18693293 140722442774368 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 56786944 140722442779015 140722442779114 140722442779114 140722442784718 0
/proc/91634/statm: 173624 134590 3936 3530 0 165075 0
Current children cumulated CPU time: 128.05 s
Current children cumulated vsize: 694496 KiB
Current children cumulated memory: 538360 KiB

Child status: 0

Real time (s): 128.698
CPU time (s): 128.16
CPU user time (s): 127.712
CPU system time (s): 0.44754
CPU usage (%): 99.5812
Max. virtual memory (cumulated for all children) (KiB): 753684
Max. memory (cumulated for all children) (KiB): 599208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.712
system time used= 0.44754
maximum resident set size= 611880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164807
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= 88
involuntary context switches= 158


# summary of solver processes directly reported to runsolver:
#   pid: 91634
#   total CPU time (s): 128.16
#   total CPU user time (s): 127.712
#   total CPU system time (s): 0.44754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.555488 second user time and 1.45499 second system time

The end

Launcher Data

Begin job on nodeC012 at 2025-07-04 15:09:01
IDJOB=4526776
IDBENCH=144151
IDSOLVER=3382
FILE ID=nodeC012/4526776-1751634541
RUNJOBID= nodeC012-1751626031-88030
SLURM_JOB_ID= 9598953
Free space on /tmp= 431480 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/satellite/normalized-satellite02bc_wcsp.wbo
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526776-1751634541/watcher-4526776-1751634541 -o /tmp/evaluation-result-4526776-1751634541/solver-4526776-1751634541 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751626031-88030 --watchdog 3760  pbscip -f HOME/instance-4526776-1751634541.wbo -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 16713d3fa0552eafdb06b909d1729aab
RANDOM SEED=1447998873

nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.329
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1297.099
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.627
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.154
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.088
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 3591.454
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
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	: 0xb00001f
cpu MHz		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        110318060 kB
MemAvailable:   111033756 kB
Buffers:            2136 kB
Cached:          1514800 kB
SwapCached:           16 kB
Active:         19519560 kB
Inactive:         894572 kB
Active(anon):   18910192 kB
Inactive(anon):     4948 kB
Active(file):     609368 kB
Inactive(file):   889624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             20100 kB
Writeback:             4 kB
AnonPages:      18823068 kB
Mapped:           138536 kB
Shmem:             17944 kB
KReclaimable:     112280 kB
Slab:             197840 kB
SReclaimable:     112280 kB
SUnreclaim:        85560 kB
KernelStack:        4048 kB
PageTables:        40672 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   21674088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6328320 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431480 MiB
End job on nodeC012 at 2025-07-04 15:11:10