Trace number 4446465

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SCIP 2024-07-07? 3586.54 3597.2

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
MD5SUM963edb3c79c326322e0bda3e585d3232
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15946
Total number of constraints16216
Number of constraints which are clauses16082
Number of constraints which are cardinality constraints (but not clauses)134
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint134
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 135
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.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-4446465-1721333296.opb>
0.10/0.15	c original problem has 15946 variables (15946 bin, 0 int, 0 impl, 0 cont) and 16216 constraints
0.10/0.15	c problem read in 0.15
0.10/0.15	c No objective function, only one solution is needed.
0.21/0.27	c presolving:
0.31/0.34	c (round 1, fast)       250 del vars, 2 del conss, 0 add conss, 2 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1835 clqs
0.31/0.36	c (round 2, fast)       682 del vars, 262 del conss, 0 add conss, 121 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1819 clqs
0.31/0.37	c (round 3, fast)       900 del vars, 412 del conss, 0 add conss, 206 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1840 clqs
0.31/0.38	c (round 4, fast)       1055 del vars, 536 del conss, 0 add conss, 262 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1873 clqs
0.31/0.38	c (round 5, fast)       1130 del vars, 591 del conss, 0 add conss, 286 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1894 clqs
0.31/0.39	c (round 6, fast)       1171 del vars, 625 del conss, 0 add conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1904 clqs
0.41/0.48	c    (0.5s) running MILP presolver
0.69/0.74	c    (0.7s) MILP presolver (4 rounds): 0 aggregations, 138 fixings, 0 bound changes
0.69/0.75	c (round 7, medium)     1319 del vars, 635 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1913 clqs
0.69/0.77	c (round 8, fast)       1319 del vars, 773 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1916 clqs
0.79/0.80	c (round 9, exhaustive) 1319 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1916 clqs
0.88/0.91	c (round 10, exhaustive) 1319 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 0 chg coeffs, 15311 upgd conss, 0 impls, 1916 clqs
1.00/1.10	c (round 11, exhaustive) 1425 del vars, 905 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 1904 clqs
1.10/1.11	c (round 12, fast)       1531 del vars, 1011 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 1904 clqs
2.38/2.40	c (round 13, exhaustive) 1557 del vars, 1012 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 105 chg coeffs, 15311 upgd conss, 0 impls, 96815 clqs
2.38/2.41	c (round 14, fast)       1558 del vars, 1038 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15311 upgd conss, 0 impls, 96826 clqs
3.78/3.87	c (round 15, exhaustive) 1583 del vars, 1038 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 159 chg coeffs, 15311 upgd conss, 0 impls, 96800 clqs
3.78/3.88	c (round 16, fast)       1583 del vars, 1063 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 212 chg coeffs, 15311 upgd conss, 0 impls, 96809 clqs
4.99/5.02	c (round 17, exhaustive) 1609 del vars, 1063 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 212 chg coeffs, 15311 upgd conss, 0 impls, 96809 clqs
4.99/5.03	c (round 18, fast)       1610 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 275 chg coeffs, 15311 upgd conss, 0 impls, 96826 clqs
5.47/5.59	c (round 19, exhaustive) 1635 del vars, 1089 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 275 chg coeffs, 15311 upgd conss, 0 impls, 96823 clqs
5.57/5.60	c (round 20, fast)       1635 del vars, 1114 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 336 chg coeffs, 15311 upgd conss, 0 impls, 96835 clqs
6.08/6.12	c (round 21, exhaustive) 1660 del vars, 1114 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 336 chg coeffs, 15311 upgd conss, 0 impls, 96851 clqs
6.08/6.12	c (round 22, fast)       1660 del vars, 1139 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 393 chg coeffs, 15311 upgd conss, 0 impls, 96867 clqs
6.27/6.32	c (round 23, exhaustive) 1686 del vars, 1139 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 393 chg coeffs, 15311 upgd conss, 0 impls, 96855 clqs
6.27/6.32	c (round 24, fast)       1687 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 459 chg coeffs, 15311 upgd conss, 0 impls, 96863 clqs
6.47/6.56	c (round 25, exhaustive) 1712 del vars, 1165 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 459 chg coeffs, 15311 upgd conss, 0 impls, 96905 clqs
6.47/6.57	c (round 26, fast)       1712 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 518 chg coeffs, 15311 upgd conss, 0 impls, 96911 clqs
6.67/6.79	c    (6.8s) probing: 1000/14960 (6.7%) - 177 fixings, 0 aggregations, 1063752 implications, 0 bound changes
6.98/7.08	c (round 27, exhaustive) 1740 del vars, 1190 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 518 chg coeffs, 15311 upgd conss, 0 impls, 94614 clqs
6.98/7.09	c (round 28, fast)       1743 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 622 chg coeffs, 15311 upgd conss, 0 impls, 94642 clqs
9.86/9.91	c (round 29, exhaustive) 1768 del vars, 1218 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 622 chg coeffs, 15311 upgd conss, 0 impls, 96855 clqs
9.86/9.92	c (round 30, fast)       1768 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 681 chg coeffs, 15311 upgd conss, 0 impls, 96864 clqs
10.07/10.13	c (round 31, exhaustive) 1793 del vars, 1243 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 681 chg coeffs, 15311 upgd conss, 0 impls, 96923 clqs
10.07/10.14	c (round 32, fast)       1793 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 734 chg coeffs, 15311 upgd conss, 0 impls, 96929 clqs
10.26/10.36	c (round 33, exhaustive) 1819 del vars, 1268 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 734 chg coeffs, 15311 upgd conss, 0 impls, 96923 clqs
10.26/10.37	c (round 34, fast)       1821 del vars, 1295 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 785 chg coeffs, 15311 upgd conss, 0 impls, 96931 clqs
10.46/10.55	c (round 35, exhaustive) 1846 del vars, 1295 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 786 chg coeffs, 15311 upgd conss, 0 impls, 96846 clqs
10.46/10.56	c (round 36, fast)       1846 del vars, 1320 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 810 chg coeffs, 15311 upgd conss, 0 impls, 96846 clqs
10.66/10.74	c (round 37, exhaustive) 1871 del vars, 1320 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 810 chg coeffs, 15311 upgd conss, 0 impls, 96763 clqs
10.66/10.74	c (round 38, fast)       1871 del vars, 1345 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 834 chg coeffs, 15311 upgd conss, 0 impls, 96763 clqs
10.86/10.93	c (round 39, exhaustive) 1909 del vars, 1345 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 834 chg coeffs, 15311 upgd conss, 0 impls, 96683 clqs
10.86/10.94	c (round 40, fast)       1922 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 901 chg coeffs, 15311 upgd conss, 0 impls, 96689 clqs
11.07/11.12	c (round 41, exhaustive) 1947 del vars, 1383 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 901 chg coeffs, 15311 upgd conss, 0 impls, 96629 clqs
11.07/11.12	c (round 42, fast)       1947 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 926 chg coeffs, 15311 upgd conss, 0 impls, 96629 clqs
12.25/12.33	c    (12.3s) probing: 2000/14960 (13.4%) - 396 fixings, 1 aggregations, 2361210 implications, 0 bound changes
12.75/12.85	c (round 43, exhaustive) 1972 del vars, 1408 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 926 chg coeffs, 15311 upgd conss, 0 impls, 97016 clqs
12.75/12.86	c (round 44, fast)       1972 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 950 chg coeffs, 15311 upgd conss, 0 impls, 97016 clqs
12.96/13.04	c (round 45, exhaustive) 1997 del vars, 1433 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 950 chg coeffs, 15311 upgd conss, 0 impls, 97040 clqs
12.96/13.04	c (round 46, fast)       1997 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 976 chg coeffs, 15311 upgd conss, 0 impls, 97040 clqs
15.84/15.96	c    (16.0s) probing: 3000/14960 (20.1%) - 447 fixings, 1 aggregations, 3496619 implications, 0 bound changes
16.24/16.34	c (round 47, exhaustive) 2022 del vars, 1458 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 976 chg coeffs, 15311 upgd conss, 0 impls, 97069 clqs
16.24/16.35	c (round 48, fast)       2022 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15311 upgd conss, 0 impls, 97069 clqs
16.95/17.02	c (round 49, exhaustive) 2047 del vars, 1483 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1004 chg coeffs, 15311 upgd conss, 0 impls, 97079 clqs
16.95/17.03	c (round 50, fast)       2047 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1031 chg coeffs, 15311 upgd conss, 0 impls, 97079 clqs
18.83/18.98	c (round 51, exhaustive) 2072 del vars, 1508 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1031 chg coeffs, 15311 upgd conss, 0 impls, 97078 clqs
18.83/18.98	c (round 52, fast)       2072 del vars, 1533 del conss, 0 add conss, 303 chg bounds, 0 chg sides, 1062 chg coeffs, 15311 upgd conss, 0 impls, 97078 clqs
19.23/19.35	c    (19.3s) probing: 4000/14960 (26.7%) - 503 fixings, 1 aggregations, 4436236 implications, 0 bound changes
21.73/21.86	c    (21.8s) probing: 4924/14960 (32.9%) - 503 fixings, 1 aggregations, 5284926 implications, 0 bound changes
21.73/21.86	c    (21.8s) probing aborted: 1000/1000 successive useless probings
21.73/21.88	c    (21.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
21.82/21.96	c    (22.0s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.03)
21.82/21.96	c dynamic symmetry handling statistics:
21.82/21.96	c    orbitopal reduction:       no components
21.82/21.96	c    orbital reduction:         no components
21.82/21.96	c    lexicographic reduction:    3 permutations with support sizes 1222, 512, 244
21.82/21.96	c handled 4 out of 4 symmetry components
21.82/21.98	c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
21.82/21.98	c  2079 deleted vars, 1537 deleted constraints, 1 added constraints, 303 tightened bounds, 0 added holes, 0 changed sides, 1067 changed coefficients
21.82/21.98	c  0 implications, 97111 cliques
21.82/21.98	c presolved problem has 14432 variables (14432 bin, 0 int, 0 impl, 0 cont) and 14680 constraints
21.82/21.98	c    1807 constraints of type <setppc>
21.82/21.98	c       1 constraints of type <orbitope>
21.82/21.98	c   12872 constraints of type <logicor>
21.82/21.98	c transformed objective value is always integral (scale: 1)
21.82/21.98	c Presolving Time: 21.72
21.82/21.98	c - non default parameters ----------------------------------------------------------------------
21.82/21.98	c # SCIP version 10.0.0
21.82/21.98	c 
21.82/21.98	c # maximal time in seconds to run
21.82/21.98	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
21.82/21.98	c limits/time = 3596.994096
21.82/21.98	c 
21.82/21.98	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.82/21.98	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
21.82/21.98	c limits/memory = 27900
21.82/21.98	c 
21.82/21.98	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
21.82/21.98	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
21.82/21.98	c limits/solutions = 1
21.82/21.98	c 
21.82/21.98	c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
21.82/21.98	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
21.82/21.98	c misc/usesymmetry = 3
21.82/21.98	c 
21.82/21.98	c # belongs reading time to solving time?
21.82/21.98	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
21.82/21.98	c timing/reading = TRUE
21.82/21.98	c 
21.82/21.98	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
21.82/21.98	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
21.82/21.98	c propagating/symmetry/detectdoublelex = FALSE
21.82/21.98	c 
21.82/21.98	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
21.82/21.98	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
21.82/21.98	c propagating/symmetry/detectsubgroups = FALSE
21.82/21.98	c 
21.82/21.98	c # Type of symmetries that shall be computed?
21.82/21.98	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
21.82/21.98	c propagating/symmetry/symtype = 1
21.82/21.98	c 
21.82/21.98	c # Should components consisting of a single full reflection be handled?
21.82/21.98	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
21.82/21.98	c propagating/symmetry/usesimplesgncomp = FALSE
21.82/21.98	c 
21.82/21.98	c -----------------------------------------------------------------------------------------------
21.82/21.98	c start solving
21.82/21.98	c 
36.49/36.61	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
36.49/36.61	c  36.6s|     1 |     0 | 15790 |     - |   196M |   0 |  14k|  14k|  14k|   0 |  0 | 122 |   0 | 0.000000e+00 |      --      |    Inf | unknown
145.20/145.66	c   146s|     1 |     0 | 97678 |     - |   219M |   0 |  14k|  14k|  14k|   5 |  1 | 123 |   0 | 0.000000e+00 |      --      |    Inf | unknown
160.37/160.89	c   161s|     1 |     0 |108127 |     - |   224M |   0 |  14k|  14k|  14k|   9 |  2 | 124 |   0 | 0.000000e+00 |      --      |    Inf | unknown
179.42/179.99	c   180s|     1 |     0 |118818 |     - |   229M |   0 |  14k|  14k|  14k|  20 |  3 | 126 |   0 | 0.000000e+00 |      --      |    Inf | unknown
202.26/202.82	c   203s|     1 |     0 |130981 |     - |   233M |   0 |  14k|  14k|  14k|  37 |  4 | 132 |   0 | 0.000000e+00 |      --      |    Inf | unknown
224.90/225.54	c   226s|     1 |     0 |142500 |     - |   236M |   0 |  14k|  14k|  14k|  56 |  5 | 139 |   0 | 0.000000e+00 |      --      |    Inf | unknown
248.84/249.59	c   250s|     1 |     0 |154539 |     - |   240M |   0 |  14k|  14k|  14k|  67 |  6 | 145 |   0 | 0.000000e+00 |      --      |    Inf | unknown
276.77/277.59	c   278s|     1 |     0 |167777 |     - |   242M |   0 |  14k|  14k|  14k|  87 |  7 | 149 |   0 | 0.000000e+00 |      --      |    Inf | unknown
302.79/303.63	c   304s|     1 |     0 |179892 |     - |   245M |   0 |  14k|  14k|  14k| 100 |  8 | 150 |   0 | 0.000000e+00 |      --      |    Inf | unknown
337.37/338.33	c   338s|     1 |     0 |193750 |     - |   250M |   0 |  14k|  14k|  14k| 118 |  9 | 155 |   0 | 0.000000e+00 |      --      |    Inf | unknown
367.18/368.22	c   368s|     1 |     0 |206823 |     - |   253M |   0 |  14k|  14k|  14k| 134 | 10 | 157 |   0 | 0.000000e+00 |      --      |    Inf | unknown
392.80/393.90	c   394s|     1 |     0 |218390 |     - |   255M |   0 |  14k|  14k|  14k| 140 | 11 | 158 |   0 | 0.000000e+00 |      --      |    Inf | unknown
565.30/566.98	c   567s|     1 |     2 |258073 |     - |   257M |   0 |  14k|  14k|  14k| 140 | 11 | 165 |  19 | 0.000000e+00 |      --      |    Inf | unknown
2643.34/2651.17	c  2651s|   100 |    34 |  1820k|16187.5 |   285M |  35 |  14k|  14k|  14k| 181 |  1 | 279 |  19 | 0.000000e+00 |      --      |    Inf | unknown
3586.34/3597.11	c 
3586.34/3597.11	c SCIP Status        : solving was interrupted [time limit reached]
3586.34/3597.11	c Solving Time (sec) : 3597.10
3586.34/3597.11	c Solving Nodes      : 106
3586.34/3597.11	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3586.34/3597.11	c Dual Bound         : +0.00000000000000e+00
3586.34/3597.11	c Gap                : infinite
3586.34/3597.11	s UNKNOWN
3586.34/3597.11	c SCIP Status        : solving was interrupted [time limit reached]
3586.34/3597.11	c Total Time         :    3597.10
3586.34/3597.11	c   solving          :    3597.10
3586.34/3597.11	c   presolving       :      21.72 (included in solving)
3586.34/3597.11	c   reading          :       0.15 (included in solving)
3586.34/3597.11	c   copying          :       0.13 (3 #copies) (minimal 0.03, maximal 0.05, average 0.04)
3586.34/3597.11	c Original Problem   :
3586.34/3597.11	c   Problem name     : HOME/instance-4446465-1721333296.opb
3586.34/3597.11	c   Variables        : 15946 (15946 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.34/3597.11	c   Constraints      : 16216 initial, 16216 maximal
3586.34/3597.11	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.34/3597.11	c Presolved Problem  :
3586.34/3597.11	c   Problem name     : t_HOME/instance-4446465-1721333296.opb
3586.34/3597.11	c   Variables        : 14432 (14432 binary, 0 integer, 0 implicit integer, 0 continuous)
3586.34/3597.11	c   Constraints      : 14680 initial, 14876 maximal
3586.34/3597.11	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3586.34/3597.11	c   Nonzeros         : 80172 constraint, 208391 clique table
3586.34/3597.11	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3586.34/3597.11	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   domcol           :       0.85       0.00     21          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   dualsparsify     :       0.03       0.00      1          0          0          0          0          0          4          0          0          5
3586.34/3597.11	c   gateextraction   :       0.19       0.00     22          0          0          0          0          0          1          0          0          0
3586.34/3597.11	c   implics          :       0.00       0.00     25          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   milp             :       0.35       0.00      1        138          0          0          0          0          0          0          0          0
3586.34/3597.11	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   sparsify         :       0.41       0.00      4          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   trivial          :       0.02       0.00     53        565          0          0          0          0          0          0          0          0
3586.34/3597.11	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   dualfix          :       0.02       0.00     53          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   probing          :      16.45       0.00     21        503          1          0          0          0          0          0          0          0
3586.34/3597.11	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   symmetry         :       0.08       0.00      1          3          0          0          0          0          0          1          0          0
3586.34/3597.11	c   vbounds          :       0.02       0.00      2          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   setppc           :       0.14       0.00     87          0          0          0          0          0        109          0          0          0
3586.34/3597.11	c   linear           :       0.24       0.02     12        303          0          0        303          0        905          0          0          0
3586.34/3597.11	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   logicor          :       2.85       0.00     87        107          0          0          0          0        518          0          0       1062
3586.34/3597.11	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   components       :       0.01       0.00      1          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3586.34/3597.11	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3586.34/3597.11	c   benderslp        :          0          0          0          0         72          0          0         10          0          0          0          0          0          0          0
3586.34/3597.11	c   integral         :          0          0          0          0         72          0          0         10          0          0          0          0          0          0        144
3586.34/3597.11	c   setppc           :       1807+      1898         11     143301          0          0          0          6      59724        352      12535          0          0          0          0
3586.34/3597.11	c   linear           :          0+         1          0       7675          0          0          0          3          2          0          0          0          0          0          0
3586.34/3597.11	c   orbitope         :          1          1          0      12600          0          0          0          0        248          0         21          0          0          0          0
3586.34/3597.11	c   logicor          :      12872+     12988         11      80079          0          0          0          0     173362        121      34019         14          7          0          0
3586.34/3597.11	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3586.34/3597.11	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   integral         :      40.12       0.00       0.00       0.00      40.12       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   setppc           :       1.86       0.00       0.00       1.82       0.00       0.00       0.00       0.00       0.02       0.01
3586.34/3597.11	c   linear           :       0.03       0.02       0.00       0.00       0.00       0.00       0.00       0.01       0.00       0.00
3586.34/3597.11	c   orbitope         :       0.02       0.00       0.00       0.02       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   logicor          :       6.15       0.00       0.03       6.01       0.00       0.00       0.00       0.00       0.08       0.02
3586.34/3597.11	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3586.34/3597.11	c   dualfix          :          1          0          0          0
3586.34/3597.11	c   genvbounds       :          0          0          0          0
3586.34/3597.11	c   nlobbt           :          0          0          0          0
3586.34/3597.11	c   obbt             :          0          0          0          0
3586.34/3597.11	c   probing          :          0          0          0          0
3586.34/3597.11	c   pseudoobj        :          0          0          0          0
3586.34/3597.11	c   redcost          :          0          0          0          0
3586.34/3597.11	c   rootredcost      :          0          0          0          0
3586.34/3597.11	c   symmetry         :       1364          0          0          0
3586.34/3597.11	c   vbounds          :       5896          0          0          0
3586.34/3597.11	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3586.34/3597.11	c   dualfix          :       0.02       0.00       0.02       0.00       0.00       0.00
3586.34/3597.11	c   genvbounds       :       0.01       0.00       0.00       0.01       0.00       0.00
3586.34/3597.11	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   probing          :      16.45       0.00      16.45       0.00       0.00       0.00
3586.34/3597.11	c   pseudoobj        :       0.01       0.00       0.00       0.01       0.00       0.00
3586.34/3597.11	c   redcost          :       0.00       0.00       0.00       0.00       0.00       0.00
3586.34/3597.11	c   rootredcost      :       0.01       0.00       0.00       0.01       0.00       0.00
3586.34/3597.11	c   symmetry         :       0.09       0.00       0.08       0.01       0.00       0.00
3586.34/3597.11	c   vbounds          :       0.08       0.00       0.02       0.06       0.00       0.00
3586.34/3597.11	c Symmetry           :
3586.34/3597.11	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3586.34/3597.11	c   orbital reduction:          0 reductions applied,          0 cutoffs
3586.34/3597.11	c   lexicographic red:          0 reductions applied,          0 cutoffs
3586.34/3597.11	c   shadow tree time :       0.00 s
3586.34/3597.11	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3586.34/3597.11	c   propagation      :       0.03        468        119          -        724      153.9          6       11.2          -          -          -
3586.34/3597.11	c   infeasible LP    :       0.58         41         29          -        493     1274.3          0        0.0          1     1147.0          0
3586.34/3597.11	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3586.34/3597.11	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3586.34/3597.11	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3586.34/3597.11	c   applied globally :       0.01          -          -          0        285      174.8          -          -          1          -          -
3586.34/3597.11	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3586.34/3597.11	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3586.34/3597.11	c   cut pool         :       0.00          -         35         21          -          -        264        417          -          -          -          -          -    (maximal pool size:        264)
3586.34/3597.11	c   aggregation      :       0.06       0.00         17         11          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.34/3597.11	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.34/3597.11	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3586.34/3597.11	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   clique           :       1.42       0.00         11         11          0          0         72        164          0         71         71          0          0
3586.34/3597.11	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   gomory           :      18.55       0.00         16         10          0          0        107         87         50          6          6          0          0
3586.34/3597.11	c   > gomorymi       :          -          -          -          -          -          -          -         43         25          2          2          0          -
3586.34/3597.11	c   > strongcg       :          -          -          -          -          -          -          -         44         25          4          4          0          -
3586.34/3597.11	c   impliedbounds    :       0.08       0.00         17         11          0          0         49         67          0         16         16          0          0
3586.34/3597.11	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   mcf              :       0.01       0.00          1          1          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   multilinear      :       0.00       0.00         18         11          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   rlt              :       0.00       0.00         13         10          0          0          0          0          0          0          0          0          0
3586.34/3597.11	c   zerohalf         :      16.12       0.00         17         11          0          0         94         99          8        100         93          7          0
3586.34/3597.11	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3586.34/3597.11	c   hybrid           :       0.00       0.00         19         11        200          0        289        140          0        117
3586.34/3597.11	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3586.34/3597.11	c   problem variables:       0.00          -          0          0
3586.34/3597.11	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3586.34/3597.11	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c   relpscost        :      40.12       0.00         72          0          0          0          0          0          0        144
3586.34/3597.11	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3586.34/3597.11	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3586.34/3597.11	c   LP solutions     :       0.00          -          -          0          0
3586.34/3597.11	c   relax solutions  :       0.00          -          -          0          0
3586.34/3597.11	c   pseudo solutions :       0.00          -          -          0          0
3586.34/3597.11	c   strong branching :       0.00          -          -          0          0
3586.34/3597.11	c   actconsdiving    :       0.00       0.00          0          0          0
3586.34/3597.11	c   adaptivediving   :     187.46       0.00          1          0          0
3586.34/3597.11	c   alns             :       0.32       0.00          2          0          0
3586.34/3597.11	c   bound            :       0.00       0.00          0          0          0
3586.34/3597.11	c   clique           :       0.06       0.00          1          0          0
3586.34/3597.11	c   coefdiving       :       0.00       0.00          0          0          0
3586.34/3597.11	c   completesol      :       0.00       0.00          0          0          0
3586.34/3597.11	c   conflictdiving   :     132.62       0.00          1          0          0
3586.34/3597.11	c   crossover        :       0.00       0.00          0          0          0
3586.34/3597.11	c   dins             :       0.00       0.00          0          0          0
3586.34/3597.11	c   distributiondivin:       0.02       0.00          0          0          0
3586.34/3597.11	c   dps              :       0.00       0.00          0          0          0
3586.34/3597.11	c   dualval          :       0.00       0.00          0          0          0
3586.34/3597.11	c   farkasdiving     :       0.00       0.00          0          0          0
3586.34/3597.11	c   feasjump         :       0.03       0.00          1          0          0
3586.34/3597.11	c   feaspump         :      96.37       0.00          1          0          0
3586.34/3597.11	c   fixandinfer      :       0.00       0.00          0          0          0
3586.34/3597.11	c   fracdiving       :     109.70       0.00          1          0          0
3586.34/3597.11	c   gins             :       0.00       0.00          0          0          0
3586.34/3597.11	c   guideddiving     :       0.00       0.00          0          0          0
3586.34/3597.11	c   indcoefdiving    :       0.00       0.00          0          0          0
3586.34/3597.11	c   indicator        :       0.00       0.00          0          0          0
3586.34/3597.11	c   indicatordiving  :       0.00       0.00          0          0          0
3586.34/3597.11	c   indoneopt        :       0.00       0.00          0          0          0
3586.34/3597.11	c   indrounding      :       0.00       0.00          0          0          0
3586.34/3597.11	c   indtwoopt        :       0.00       0.00          0          0          0
3586.34/3597.11	c   intdiving        :       0.00       0.00          0          0          0
3586.34/3597.11	c   intshifting      :       0.00       0.00          0          0          0
3586.34/3597.11	c   linesearchdiving :       0.00       0.00          0          0          0
3586.34/3597.11	c   localbranching   :       0.00       0.00          0          0          0
3586.34/3597.11	c   locks            :       0.05       0.00          1          0          0
3586.34/3597.11	c   lpface           :       0.00       0.00          0          0          0
3586.34/3597.11	c   mpec             :       0.00       0.00          0          0          0
3586.34/3597.11	c   multistart       :       0.00       0.00          0          0          0
3586.34/3597.11	c   mutation         :       0.00       0.00          0          0          0
3586.34/3597.11	c   nlpdiving        :       0.00       0.00          0          0          0
3586.34/3597.11	c   objpscostdiving  :     596.85       0.00          1          0          0
3586.34/3597.11	c   octane           :       0.00       0.00          0          0          0
3586.34/3597.11	c   ofins            :       0.00       0.00          0          0          0
3586.34/3597.11	c   oneopt           :       0.00       0.00          0          0          0
3586.34/3597.11	c   padm             :       0.00       0.00          0          0          0
3586.34/3597.11	c   proximity        :       0.00       0.00          0          0          0
3586.34/3597.11	c   pscostdiving     :      28.32       0.00          1          0          0
3586.34/3597.11	c   randrounding     :       0.19       0.00         15          0          0
3586.34/3597.11	c   rens             :       0.28       0.00          1          0          0
3586.34/3597.11	c   reoptsols        :       0.00       0.00          0          0          0
3586.34/3597.11	c   repair           :       0.00       0.00          0          0          0
3586.34/3597.11	c   rins             :       0.00       0.00          0          0          0
3586.34/3597.11	c   rootsoldiving    :       0.00       0.00          0          0          0
3586.34/3597.11	c   rounding         :       0.09       0.00         91          0          0
3586.34/3597.11	c   scheduler        :       0.00       0.00          0          0          0
3586.34/3597.11	c   shiftandpropagate:       0.02       0.00          1          0          0
3586.34/3597.11	c   shifting         :       0.23       0.00         25          0          0
3586.34/3597.11	c   simplerounding   :       0.00       0.00          0          0          0
3586.34/3597.11	c   smallcard        :       0.00       0.00          0          0          0
3586.34/3597.11	c   subnlp           :       0.00       0.00          0          0          0
3586.34/3597.11	c   trivial          :       0.02       0.00          2          0          0
3586.34/3597.11	c   trivialnegation  :       0.00       0.00          0          0          0
3586.34/3597.11	c   trustregion      :       0.00       0.00          0          0          0
3586.34/3597.11	c   trysol           :       0.00       0.00          0          0          0
3586.34/3597.11	c   twoopt           :       0.00       0.00          0          0          0
3586.34/3597.11	c   undercover       :       0.00       0.00          0          0          0
3586.34/3597.11	c   vbounds          :       0.10       0.00          1          0          0
3586.34/3597.11	c   veclendiving     :     135.26       0.00          1          0          0
3586.34/3597.11	c   zeroobj          :       0.00       0.00          0          0          0
3586.34/3597.11	c   zirounding       :       0.03       0.00         71          0          0
3586.34/3597.11	c   other solutions  :          -          -          -          0          -
3586.34/3597.11	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3586.34/3597.11	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3586.34/3597.11	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.34/3597.11	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3586.34/3597.11	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3586.34/3597.11	c   primal LP        :       0.13          4          0       0.00       0.00       0.13          4
3586.34/3597.11	c   dual LP          :    2209.55        140    1625822   13111.47     735.82       0.73         16
3586.34/3597.11	c   lex dual LP      :       0.00          0          0       0.00          -
3586.34/3597.11	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3586.34/3597.11	c   resolve instable :     200.57         33     188788    5720.85     941.27
3586.34/3597.11	c   diving/probing LP:    1291.49        405     500979    1236.99     387.91
3586.34/3597.11	c   strong branching :      33.11         19      18987     999.32     573.47          -          -         37
3586.34/3597.11	c     (at root node) :          -         19      18987     999.32          -
3586.34/3597.11	c   conflict analysis:       0.00          0          0       0.00          -
3586.34/3597.11	c B&B Tree           :
3586.34/3597.11	c   number of runs   :          1
3586.34/3597.11	c   nodes            :        106 (72 internal, 34 leaves)
3586.34/3597.11	c   feasible leaves  :          0
3586.34/3597.11	c   infeas. leaves   :         34
3586.34/3597.11	c   objective leaves :          0
3586.34/3597.11	c   nodes (total)    :        106 (72 internal, 34 leaves)
3586.34/3597.11	c   nodes left       :         38
3586.34/3597.11	c   max depth        :         35
3586.34/3597.11	c   max depth (total):         35
3586.34/3597.11	c   backtracks       :         14 (13.2%)
3586.34/3597.11	c   early backtracks :          0 (0.0%)
3586.34/3597.11	c   nodes exc. ref.  :          0 (0.0%)
3586.34/3597.11	c   delayed cutoffs  :          1
3586.34/3597.11	c   repropagations   :        198 (896 domain reductions, 1 cutoffs)
3586.34/3597.11	c   avg switch length:       5.46
3586.34/3597.11	c   switching time   :       0.25
3586.34/3597.11	c Root Node          :
3586.34/3597.11	c   First LP value   : +0.00000000000000e+00
3586.34/3597.11	c   First LP Iters   :      15790 (1099.41 Iter/sec)
3586.34/3597.11	c   First LP Time    :      14.36
3586.34/3597.11	c   Final Dual Bound : +0.00000000000000e+00
3586.34/3597.11	c   Final Root Iters :     218390
3586.34/3597.11	c   Root LP Estimate : +1.89615198301091e-03
3586.34/3597.11	c Solution           :
3586.34/3597.11	c   Solutions found  :          0 (0 improvements)
3586.34/3597.11	c   Primal Bound     :          -
3586.34/3597.11	c   Dual Bound       : +0.00000000000000e+00
3586.34/3597.11	c   Gap              :   infinite
3586.34/3597.11	c Integrals          :      Total       Avg%
3586.34/3597.11	c   primal-dual      :  359709.93     100.00
3586.34/3597.11	c   primal-ref       :          -          - (not evaluated)
3586.34/3597.11	c   dual-ref         :          -          - (not evaluated)
3586.53/3597.20	c Time complete: 3586.53.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61707 MiB free)
  memory of node 1: 64510 MiB (57163 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=968714, runsolver pid=968711
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121671940/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=79884 memory=39448 CPUtime=0.1 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 6937 0 0 0 9 1 0 0 20 0 1 0 185488806 81801216 9862 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 19971 9862 3258 3540 0 8228 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 79884 KiB
Current children cumulated memory: 39448 KiB

[startup+0.21304 s]*
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121577664/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=107928 memory=69200 CPUtime=0.21 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 14145 0 0 0 18 3 0 0 20 0 1 0 185488806 110518272 17300 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 26982 17300 3545 3540 0 15239 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 107928 KiB
Current children cumulated memory: 69200 KiB

[startup+0.313003 s]*
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121504500/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=124660 memory=82520 CPUtime=0.31 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 17480 0 0 0 27 4 0 0 20 0 1 0 185488806 127651840 20630 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 31165 20630 3577 3540 0 19422 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 124660 KiB
Current children cumulated memory: 82520 KiB

[startup+0.700325 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121473192/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=144848 memory=103188 CPUtime=0.69 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 24388 0 0 0 63 6 0 0 20 0 1 0 185488806 148324352 25797 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 36212 25797 3672 3540 0 24469 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 144848 KiB
Current children cumulated memory: 103188 KiB

[startup+1.50032 s]
/proc/loadavg: 4.16 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121361380/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=180324 memory=135892 CPUtime=1.48 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 33407 0 0 0 141 7 0 0 20 0 1 0 185488806 184651776 33973 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 45081 33973 3784 3540 0 33338 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 180324 KiB
Current children cumulated memory: 135892 KiB

[startup+3.11274 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 968715
/proc/meminfo: memFree=121268060/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=190468 memory=145920 CPUtime=3.09 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 35892 0 0 0 301 8 0 0 20 0 1 0 185488806 195039232 36480 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 47617 36480 3784 3540 0 35874 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 190468 KiB
Current children cumulated memory: 145920 KiB

[startup+6.30029 s]
/proc/loadavg: 4.14 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123740292/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=192576 memory=147496 CPUtime=6.27 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 36319 0 0 0 619 8 0 0 20 0 1 0 185488806 197197824 36874 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 48144 36874 3784 3540 0 36401 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 192576 KiB
Current children cumulated memory: 147496 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.16 4.18 5/241 968808
/proc/meminfo: memFree=123684792/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=198412 memory=152868 CPUtime=12.65 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 37707 0 0 0 1257 8 0 0 20 0 1 0 185488806 203173888 38217 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 49603 38217 3784 3540 0 37860 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 198412 KiB
Current children cumulated memory: 152868 KiB

[startup+25.5003 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 968811
/proc/meminfo: memFree=123593368/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=274656 memory=209592 CPUtime=25.42 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 53933 0 0 0 2531 11 0 0 20 0 1 0 185488806 281247744 52398 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 68664 52398 3992 3540 0 56921 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 274656 KiB
Current children cumulated memory: 209592 KiB

[startup+51.1126 s]
/proc/loadavg: 4.13 4.15 4.18 5/242 968817
/proc/meminfo: memFree=123518012/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=281940 memory=216248 CPUtime=50.96 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 55594 0 0 0 5084 12 0 0 20 0 1 0 185488806 288706560 54062 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 70485 54062 4008 3540 0 58742 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 281940 KiB
Current children cumulated memory: 216248 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.14 4.17 5/242 968826
/proc/meminfo: memFree=123402324/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=281940 memory=216512 CPUtime=102.01 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 55609 0 0 0 10189 12 0 0 20 0 1 0 185488806 288706560 54128 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 70485 54128 4008 3540 0 58742 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 281940 KiB
Current children cumulated memory: 216512 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.14 4.17 5/245 968841
/proc/meminfo: memFree=123322280/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=344872 memory=275660 CPUtime=161.86 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 63319 0 0 0 16171 15 0 0 20 0 1 0 185488806 353148928 68915 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 86218 68915 4008 3540 0 74475 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 344872 KiB
Current children cumulated memory: 275660 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.13 4.17 5/245 968851
/proc/meminfo: memFree=123069488/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=360420 memory=288212 CPUtime=221.71 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 66437 0 0 0 22155 16 0 0 20 0 1 0 185488806 369070080 72053 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 90105 72053 4008 3540 0 78362 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 360420 KiB
Current children cumulated memory: 288212 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.16 5/245 968862
/proc/meminfo: memFree=122903592/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=371696 memory=299044 CPUtime=281.56 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 68205 0 0 0 28139 17 0 0 20 0 1 0 185488806 380616704 74761 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 92924 74761 4008 3540 0 81181 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 371696 KiB
Current children cumulated memory: 299044 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/245 968873
/proc/meminfo: memFree=122769860/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=378792 memory=305208 CPUtime=341.36 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 69743 0 0 0 34119 17 0 0 20 0 1 0 185488806 387883008 76302 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 94698 76302 4008 3540 0 82955 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 378792 KiB
Current children cumulated memory: 305208 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.15 5/244 968883
/proc/meminfo: memFree=122660104/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=382236 memory=306952 CPUtime=401.18 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 70234 0 0 0 40101 17 0 0 20 0 1 0 185488806 391409664 76738 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 95559 76738 4008 3540 0 83816 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 382236 KiB
Current children cumulated memory: 306952 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.13 4.15 5/241 968895
/proc/meminfo: memFree=122632564/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=383284 memory=308272 CPUtime=461.01 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 70565 0 0 0 46083 18 0 0 20 0 1 0 185488806 392482816 77068 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 95821 77068 4008 3540 0 84078 0

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

/proc/loadavg: 4.37 4.32 4.22 5/246 970562
/proc/meminfo: memFree=121934312/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3152.92 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89090 0 0 0 315269 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3152.92 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.27 4.20 5/246 970572
/proc/meminfo: memFree=121934140/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3212.74 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89204 0 0 0 321251 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3212.74 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.24 4.19 5/246 970583
/proc/meminfo: memFree=121933700/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3272.56 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89307 0 0 0 327233 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.21 4.18 5/244 970594
/proc/meminfo: memFree=121933584/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3332.38 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89397 0 0 0 333215 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3332.38 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.21 4.19 5/244 970604
/proc/meminfo: memFree=121931280/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3392.2 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89513 0 0 0 339197 23 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/241 970616
/proc/meminfo: memFree=121931080/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3452.04 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89615 0 0 0 345180 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3452.04 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.17 4.17 5/241 970626
/proc/meminfo: memFree=121924668/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3511.86 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89718 0 0 0 351162 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3511.86 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 970636
/proc/meminfo: memFree=121912504/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3571.68 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 357144 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3571.68 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

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

# cumulated CPU time of all completed processes:  user=3586.29 s, system=0.243637 s

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

[startup+3584 s]*
/proc/loadavg: 4.12 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912440/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3573.38 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 357314 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3573.38 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3590.4 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121912460/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3579.75 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 357951 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3579.75 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3593.6 s]
/proc/loadavg: 4.11 4.16 4.17 5/241 970637
/proc/meminfo: memFree=121910420/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3582.94 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358270 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3582.94 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3595.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910328/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3584.54 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358430 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3584.54 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3596 s]*
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3585.35 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358511 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3585.35 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3596.8 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121910356/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=442188 memory=390056 CPUtime=3586.13 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89822 0 0 0 358589 24 0 0 20 0 1 0 185488806 452800512 97514 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 2 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 110547 97514 4218 3540 0 98804 0
Current children cumulated CPU time: 3586.13 s
Current children cumulated vsize: 442188 KiB
Current children cumulated memory: 390056 KiB

[startup+3597.2 s]
/proc/loadavg: 4.10 4.16 4.17 5/241 970639
/proc/meminfo: memFree=121911312/131655788 swapFree=131071996/131071996
[pid=968714] ppid=968711 vsize=335240 memory=287132 CPUtime=3586.53 cores=4,6
/proc/968714/stat : 968714 (pbscip) R 968711 968714 966724 0 -1 4194304 89859 0 0 0 358629 24 0 0 20 0 1 0 185488806 343285760 71928 134679101440 4194304 18693293 140722965918928 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 21375888 21430392 29134848 140722965922819 140722965922918 140722965922918 140722965929934 0
/proc/968714/statm: 82785 71928 4218 3540 0 71042 0
Current children cumulated CPU time: 3586.53 s
Current children cumulated vsize: 335240 KiB
Current children cumulated memory: 287132 KiB

Child status: 0

Real time (s): 3597.2
CPU time (s): 3586.54
CPU user time (s): 3586.29
CPU system time (s): 0.243637
CPU usage (%): 99.7035
Max. virtual memory (cumulated for all children) (KiB): 442188
Max. memory (cumulated for all children) (KiB): 390056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.29
system time used= 0.243637
maximum resident set size= 390056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89866
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= 33
involuntary context switches= 1822


# summary of solver processes directly reported to runsolver:
#   pid: 968714
#   total CPU time (s): 3586.54
#   total CPU user time (s): 3586.29
#   total CPU system time (s): 0.243637

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3724 second user time and 35.1484 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-18 22:08:27
IDJOB=4446465
IDBENCH=158262
IDSOLVER=3059
FILE ID=nodeC010/4446465-1721333296
RUNJOBID= nodeC010-1721329708-966735
SLURM_JOB_ID= 7542700
Free space on /tmp= 723704 MiB

SOLVER NAME= SCIP 2024-07-07
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K134.opb
COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446465-1721333296/watcher-4446465-1721333296 -o /tmp/evaluation-result-4446465-1721333296/solver-4446465-1721333296 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721329708-966735 --watchdog 3760  pbscip -f HOME/instance-4446465-1721333296.opb -t 3600 -j 2 -m 31000

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

MD5SUM BENCH= 963edb3c79c326322e0bda3e585d3232
RANDOM SEED=622327970

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3488.435
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 3666.586
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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.198
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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.288
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 3491.266
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 3666.561
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
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		: 1197.174
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
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		: 1197.434
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 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121734400 kB
MemAvailable:   126680492 kB
Buffers:          506164 kB
Cached:          5220468 kB
SwapCached:            0 kB
Active:          1032876 kB
Inactive:        8206128 kB
Active(anon):       1432 kB
Inactive(anon):  3548620 kB
Active(file):    1031444 kB
Inactive(file):  4657508 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             44636 kB
Writeback:             0 kB
AnonPages:       3512424 kB
Mapped:           138228 kB
Shmem:             37704 kB
KReclaimable:     194344 kB
Slab:             308864 kB
SReclaimable:     194344 kB
SUnreclaim:       114520 kB
KernelStack:        3792 kB
PageTables:        16764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5121936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58656 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2750464 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      295752 kB
DirectMap2M:    35260416 kB
DirectMap1G:    100663296 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC010 at 2024-07-18 23:08:24