Trace number 4446885

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? 3588.11 3597.16

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
MD5SUM8df9702f370312ff59707c84e3b82f3b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark77.5563
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23324
Total number of constraints23718
Number of constraints which are clauses23522
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
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 197
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00	c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-4446885-1721336898.opb>
0.00/0.09	c original problem has 23324 variables (23324 bin, 0 int, 0 impl, 0 cont) and 23718 constraints
0.00/0.09	c problem read in 0.08
0.00/0.09	c No objective function, only one solution is needed.
0.10/0.17	c presolving:
0.10/0.22	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, 2703 clqs
0.21/0.23	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, 2687 clqs
0.21/0.23	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, 2708 clqs
0.21/0.24	c (round 4, fast)       1055 del vars, 535 del conss, 0 add conss, 261 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2739 clqs
0.21/0.24	c (round 5, fast)       1131 del vars, 591 del conss, 0 add conss, 285 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2762 clqs
0.21/0.24	c (round 6, fast)       1172 del vars, 625 del conss, 0 add conss, 299 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2772 clqs
0.21/0.31	c    (0.3s) running MILP presolver
0.52/0.55	c    (0.6s) MILP presolver (4 rounds): 0 aggregations, 197 fixings, 0 bound changes
0.52/0.57	c (round 7, medium)     1379 del vars, 635 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2781 clqs
0.52/0.58	c (round 8, fast)       1379 del vars, 832 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2784 clqs
0.60/0.61	c (round 9, exhaustive) 1379 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 2784 clqs
0.69/0.73	c (round 10, exhaustive) 1379 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 22692 upgd conss, 0 impls, 2784 clqs
0.89/0.95	c (round 11, exhaustive) 1487 del vars, 1026 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 2772 clqs
0.89/0.96	c (round 12, fast)       1595 del vars, 1134 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 2772 clqs
3.28/3.34	c (round 13, exhaustive) 1621 del vars, 1135 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 108 chg coeffs, 22692 upgd conss, 0 impls, 141646 clqs
3.28/3.35	c (round 14, fast)       1622 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22692 upgd conss, 0 impls, 141658 clqs
5.67/5.71	c (round 15, exhaustive) 1647 del vars, 1161 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 162 chg coeffs, 22692 upgd conss, 0 impls, 141639 clqs
5.67/5.72	c (round 16, fast)       1647 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22692 upgd conss, 0 impls, 141650 clqs
6.87/6.93	c (round 17, exhaustive) 1673 del vars, 1186 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 215 chg coeffs, 22692 upgd conss, 0 impls, 141651 clqs
6.87/6.94	c (round 18, fast)       1674 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 22692 upgd conss, 0 impls, 141668 clqs
7.76/7.87	c    (7.9s) probing: 1000/22277 (4.5%) - 96 fixings, 0 aggregations, 1116594 implications, 0 bound changes
7.86/7.98	c (round 19, exhaustive) 1700 del vars, 1212 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 283 chg coeffs, 22692 upgd conss, 0 impls, 141662 clqs
7.86/7.99	c (round 20, fast)       1701 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 22692 upgd conss, 0 impls, 141674 clqs
8.56/8.65	c (round 21, exhaustive) 1730 del vars, 1238 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 342 chg coeffs, 22692 upgd conss, 0 impls, 141667 clqs
8.56/8.66	c (round 22, fast)       1730 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 418 chg coeffs, 22692 upgd conss, 0 impls, 141683 clqs
9.56/9.62	c (round 23, exhaustive) 1756 del vars, 1267 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 418 chg coeffs, 22692 upgd conss, 0 impls, 141677 clqs
9.56/9.62	c (round 24, fast)       1757 del vars, 1293 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 22692 upgd conss, 0 impls, 141689 clqs
9.86/9.97	c (round 25, exhaustive) 1782 del vars, 1293 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 478 chg coeffs, 22692 upgd conss, 0 impls, 141704 clqs
9.86/9.98	c (round 26, fast)       1782 del vars, 1318 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 536 chg coeffs, 22692 upgd conss, 0 impls, 141715 clqs
11.86/11.97	c (round 27, exhaustive) 1809 del vars, 1318 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 536 chg coeffs, 22692 upgd conss, 0 impls, 140392 clqs
11.86/11.98	c (round 28, fast)       1809 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22692 upgd conss, 0 impls, 140414 clqs
12.46/12.51	c (round 29, exhaustive) 1836 del vars, 1345 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 616 chg coeffs, 22692 upgd conss, 0 impls, 141707 clqs
12.46/12.52	c (round 30, fast)       1838 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 22692 upgd conss, 0 impls, 141716 clqs
14.15/14.24	c (round 31, exhaustive) 1864 del vars, 1372 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 675 chg coeffs, 22692 upgd conss, 0 impls, 140021 clqs
14.15/14.25	c (round 32, fast)       1864 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 755 chg coeffs, 22692 upgd conss, 0 impls, 140037 clqs
18.24/18.35	c (round 33, exhaustive) 1890 del vars, 1398 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 756 chg coeffs, 22692 upgd conss, 0 impls, 141448 clqs
18.24/18.36	c (round 34, fast)       1891 del vars, 1424 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 820 chg coeffs, 22692 upgd conss, 0 impls, 141460 clqs
19.14/19.22	c    (19.2s) probing: 2000/22277 (9.0%) - 293 fixings, 1 aggregations, 3335044 implications, 0 bound changes
20.83/20.97	c (round 35, exhaustive) 1916 del vars, 1424 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 821 chg coeffs, 22692 upgd conss, 0 impls, 141698 clqs
20.83/20.98	c (round 36, fast)       1916 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 22692 upgd conss, 0 impls, 141704 clqs
21.23/21.31	c (round 37, exhaustive) 1941 del vars, 1449 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 868 chg coeffs, 22692 upgd conss, 0 impls, 141677 clqs
21.23/21.32	c (round 38, fast)       1941 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 900 chg coeffs, 22692 upgd conss, 0 impls, 141680 clqs
21.53/21.64	c (round 39, exhaustive) 1966 del vars, 1474 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 901 chg coeffs, 22692 upgd conss, 0 impls, 141442 clqs
21.53/21.65	c (round 40, fast)       1966 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 22692 upgd conss, 0 impls, 141443 clqs
21.83/21.98	c (round 41, exhaustive) 1991 del vars, 1499 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 925 chg coeffs, 22692 upgd conss, 0 impls, 141163 clqs
21.83/21.99	c (round 42, fast)       1991 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 22692 upgd conss, 0 impls, 141163 clqs
26.11/26.20	c    (26.2s) probing: 3000/22277 (13.5%) - 401 fixings, 1 aggregations, 4584511 implications, 0 bound changes
31.80/31.91	c    (31.9s) probing: 4000/22277 (18.0%) - 405 fixings, 1 aggregations, 5846604 implications, 0 bound changes
32.20/32.35	c (round 43, exhaustive) 2016 del vars, 1524 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 948 chg coeffs, 22692 upgd conss, 0 impls, 141699 clqs
32.20/32.36	c (round 44, fast)       2016 del vars, 1549 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 22692 upgd conss, 0 impls, 141699 clqs
32.50/32.68	c (round 45, exhaustive) 2042 del vars, 1549 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 974 chg coeffs, 22692 upgd conss, 0 impls, 141500 clqs
32.50/32.69	c (round 46, fast)       2043 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 22692 upgd conss, 0 impls, 141500 clqs
37.68/37.85	c    (37.8s) probing: 5000/22277 (22.4%) - 452 fixings, 1 aggregations, 6988786 implications, 0 bound changes
42.07/42.23	c (round 47, exhaustive) 2068 del vars, 1575 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1004 chg coeffs, 22692 upgd conss, 0 impls, 141736 clqs
42.07/42.23	c (round 48, fast)       2068 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22692 upgd conss, 0 impls, 141738 clqs
42.37/42.56	c (round 49, exhaustive) 2093 del vars, 1600 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1038 chg coeffs, 22692 upgd conss, 0 impls, 141709 clqs
42.37/42.57	c (round 50, fast)       2093 del vars, 1625 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22692 upgd conss, 0 impls, 141709 clqs
42.88/43.02	c    (43.0s) probing: 6000/22277 (26.9%) - 491 fixings, 1 aggregations, 7898608 implications, 0 bound changes
47.55/47.78	c    (47.8s) probing: 7000/22277 (31.4%) - 492 fixings, 1 aggregations, 8859222 implications, 0 bound changes
52.34/52.51	c    (52.5s) probing: 8000/22277 (35.9%) - 498 fixings, 1 aggregations, 9814730 implications, 0 bound changes
56.62/56.81	c    (56.8s) probing: 9000/22277 (40.4%) - 500 fixings, 1 aggregations, 10780258 implications, 0 bound changes
60.61/60.82	c    (60.8s) probing: 10000/22277 (44.9%) - 504 fixings, 1 aggregations, 11747965 implications, 0 bound changes
63.50/63.71	c (round 51, exhaustive) 2118 del vars, 1625 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1063 chg coeffs, 22692 upgd conss, 0 impls, 141715 clqs
63.50/63.72	c (round 52, fast)       2118 del vars, 1650 del conss, 0 add conss, 302 chg bounds, 0 chg sides, 1099 chg coeffs, 22692 upgd conss, 0 impls, 141716 clqs
65.49/65.75	c    (65.8s) probing: 11000/22277 (49.4%) - 516 fixings, 1 aggregations, 12688280 implications, 0 bound changes
68.58/68.89	c    (68.9s) probing: 11644/22277 (52.3%) - 516 fixings, 1 aggregations, 13307058 implications, 0 bound changes
68.58/68.89	c    (68.9s) probing aborted: 1000/1000 successive useless probings
68.68/68.93	c    (68.9s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
68.80/69.06	c    (69.1s) symmetry computation finished: 5 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.05)
68.80/69.06	c dynamic symmetry handling statistics:
68.80/69.06	c    orbitopal reduction:       no components
68.80/69.06	c    orbital reduction:         no components
68.80/69.06	c    lexicographic reduction:    3 permutations with support sizes 1842, 760, 368
68.80/69.06	c handled 4 out of 4 symmetry components
68.80/69.09	c presolving (53 rounds: 53 fast, 25 medium, 24 exhaustive):
68.80/69.09	c  2131 deleted vars, 1660 deleted constraints, 1 added constraints, 302 tightened bounds, 0 added holes, 0 changed sides, 1112 changed coefficients
68.80/69.09	c  0 implications, 141850 cliques
68.80/69.09	c presolved problem has 21749 variables (21749 bin, 0 int, 0 impl, 0 cont) and 22059 constraints
68.80/69.09	c    2676 constraints of type <setppc>
68.80/69.09	c       1 constraints of type <orbitope>
68.80/69.09	c   19382 constraints of type <logicor>
68.80/69.09	c transformed objective value is always integral (scale: 1)
68.80/69.09	c Presolving Time: 68.93
68.80/69.09	c - non default parameters ----------------------------------------------------------------------
68.80/69.09	c # SCIP version 10.0.0
68.80/69.09	c 
68.80/69.09	c # maximal time in seconds to run
68.80/69.09	c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
68.80/69.09	c limits/time = 3596.998011
68.80/69.09	c 
68.80/69.09	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
68.80/69.09	c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
68.80/69.09	c limits/memory = 27900
68.80/69.09	c 
68.80/69.09	c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
68.80/69.09	c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
68.80/69.09	c limits/solutions = 1
68.80/69.09	c 
68.80/69.09	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.
68.80/69.09	c # [type: int, advanced: FALSE, range: [0,7], default: 7]
68.80/69.09	c misc/usesymmetry = 3
68.80/69.09	c 
68.80/69.09	c # belongs reading time to solving time?
68.80/69.09	c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
68.80/69.09	c timing/reading = TRUE
68.80/69.09	c 
68.80/69.09	c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
68.80/69.09	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
68.80/69.09	c propagating/symmetry/detectdoublelex = FALSE
68.80/69.09	c 
68.80/69.09	c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
68.80/69.09	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
68.80/69.09	c propagating/symmetry/detectsubgroups = FALSE
68.80/69.09	c 
68.80/69.09	c # Type of symmetries that shall be computed?
68.80/69.09	c # [type: int, advanced: TRUE, range: [0,1], default: 0]
68.80/69.09	c propagating/symmetry/symtype = 1
68.80/69.09	c 
68.80/69.09	c # Should components consisting of a single full reflection be handled?
68.80/69.09	c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
68.80/69.09	c propagating/symmetry/usesimplesgncomp = FALSE
68.80/69.09	c 
68.80/69.09	c -----------------------------------------------------------------------------------------------
68.80/69.09	c start solving
68.80/69.09	c 
97.59/97.95	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
97.59/97.95	c  98.0s|     1 |     0 | 18596 |     - |   283M |   0 |  21k|  22k|  22k|   0 |  0 | 160 |   0 | 0.000000e+00 |      --      |    Inf | unknown
342.62/343.73	c   344s|     1 |     0 |117414 |     - |   312M |   0 |  21k|  22k|  22k|  12 |  1 | 161 |   0 | 0.000000e+00 |      --      |    Inf | unknown
377.42/378.65	c   379s|     1 |     0 |129202 |     - |   320M |   0 |  21k|  22k|  22k|  28 |  2 | 162 |   0 | 0.000000e+00 |      --      |    Inf | unknown
414.11/415.45	c   415s|     1 |     0 |140727 |     - |   327M |   0 |  21k|  22k|  22k|  32 |  3 | 171 |   0 | 0.000000e+00 |      --      |    Inf | unknown
455.09/456.54	c   457s|     1 |     0 |153404 |     - |   331M |   0 |  21k|  22k|  22k|  42 |  4 | 181 |   0 | 0.000000e+00 |      --      |    Inf | unknown
495.68/497.21	c   497s|     1 |     0 |165985 |     - |   334M |   0 |  21k|  22k|  22k|  60 |  5 | 190 |   0 | 0.000000e+00 |      --      |    Inf | unknown
542.94/544.66	c   545s|     1 |     0 |180035 |     - |   338M |   0 |  21k|  22k|  22k|  88 |  6 | 192 |   0 | 0.000000e+00 |      --      |    Inf | unknown
590.80/592.61	c   593s|     1 |     0 |193853 |     - |   341M |   0 |  21k|  22k|  22k| 109 |  7 | 193 |   0 | 0.000000e+00 |      --      |    Inf | unknown
633.29/635.25	c   635s|     1 |     0 |205996 |     - |   349M |   0 |  21k|  22k|  22k| 119 |  8 | 194 |   0 | 0.000000e+00 |      --      |    Inf | unknown
677.98/680.09	c   680s|     1 |     0 |218601 |     - |   353M |   0 |  21k|  22k|  22k| 129 |  9 | 196 |   0 | 0.000000e+00 |      --      |    Inf | unknown
727.33/729.54	c   730s|     1 |     0 |232799 |     - |   356M |   0 |  21k|  22k|  22k| 152 | 10 | 197 |   0 | 0.000000e+00 |      --      |    Inf | unknown
767.92/770.25	c   770s|     1 |     0 |245332 |     - |   360M |   0 |  21k|  22k|  22k| 161 | 11 | 204 |   0 | 0.000000e+00 |      --      |    Inf | unknown
1340.73/1344.42	c  1344s|     1 |     2 |443425 |     - |   369M |   0 |  21k|  22k|  22k| 161 | 11 | 210 |  23 | 0.000000e+00 |      --      |    Inf | unknown
2452.57/2459.11	c  2459s|   100 |    29 |  1045k|8079.0 |   383M |  40 |  21k|  22k|  22k| 230 |  0 | 240 |  23 | 0.000000e+00 |      --      |    Inf | unknown
3528.87/3537.81	c  3538s|   200 |    39 |  1683k|7228.5 |   401M |  55 |  21k|  22k|   0 | 268 |  0 | 292 |  23 | 0.000000e+00 |      --      |    Inf | unknown
3587.83/3597.00	c 
3587.83/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.83/3597.00	c Solving Time (sec) : 3597.00
3587.83/3597.00	c Solving Nodes      : 236
3587.83/3597.00	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
3587.83/3597.00	c Dual Bound         : +0.00000000000000e+00
3587.83/3597.00	c Gap                : infinite
3587.83/3597.00	s UNKNOWN
3587.83/3597.00	c SCIP Status        : solving was interrupted [time limit reached]
3587.83/3597.00	c Total Time         :    3597.00
3587.83/3597.00	c   solving          :    3597.00
3587.83/3597.00	c   presolving       :      68.93 (included in solving)
3587.83/3597.00	c   reading          :       0.08 (included in solving)
3587.83/3597.00	c   copying          :       0.22 (4 #copies) (minimal 0.05, maximal 0.06, average 0.05)
3587.83/3597.00	c Original Problem   :
3587.83/3597.00	c   Problem name     : HOME/instance-4446885-1721336898.opb
3587.83/3597.00	c   Variables        : 23324 (23324 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.83/3597.00	c   Constraints      : 23718 initial, 23718 maximal
3587.94/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.94/3597.01	c Presolved Problem  :
3587.94/3597.01	c   Problem name     : t_HOME/instance-4446885-1721336898.opb
3587.94/3597.01	c   Variables        : 21749 (21749 binary, 0 integer, 0 implicit integer, 0 continuous)
3587.94/3597.01	c   Constraints      : 22059 initial, 22314 maximal
3587.94/3597.01	c   Objective        : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
3587.94/3597.01	c   Nonzeros         : 120912 constraint, 305062 clique table
3587.94/3597.01	c Presolvers         :   ExecTime  SetupTime  Calls  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
3587.94/3597.01	c   boundshift       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   convertinttobin  :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   domcol           :       1.32       0.00     21          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   dualagg          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   dualcomp         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   dualinfer        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   dualsparsify     :       0.05       0.00      1          0          0          0          0          0         10          0          0         13
3587.94/3597.01	c   gateextraction   :       0.30       0.00     22          0          0          0          0          0          1          0          0          0
3587.94/3597.01	c   implics          :       0.00       0.00     25          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   inttobinary      :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   milp             :       0.31       0.00      1        197          0          0          0          0          0          0          0          0
3587.94/3597.01	c   qpkktref         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   redvub           :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   sparsify         :       0.75       0.00      4          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   stuffing         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   trivial          :       0.03       0.00     53        556          0          0          0          0          0          0          0          0
3587.94/3597.01	c   tworowbnd        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   dualfix          :       0.03       0.00     53          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   genvbounds       :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   probing          :      60.48       0.00     21        516          1          0          0          0          0          0          0          0
3587.94/3597.01	c   pseudoobj        :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   symmetry         :       0.13       0.00      1          3          0          0          0          0          0          1          0          0
3587.94/3597.01	c   vbounds          :       0.04       0.00      2          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   setppc           :       0.25       0.00     87          0          0          0          0          0        108          0          0          0
3587.94/3597.01	c   linear           :       0.19       0.02     12        302          0          0        302          0       1026          0          0          0
3587.94/3597.01	c   orbitope         :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   logicor          :       4.97       0.01     87        108          0          0          0          0        515          0          0       1099
3587.94/3597.01	c   benders          :       0.00       0.00      0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   components       :       0.02       0.00      1          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   root node        :          -          -      -          0          -          -          0          -          -          -          -          -
3587.94/3597.01	c Constraints        :     Number  MaxNumber  #Separate #Propagate    #EnfoLP    #EnfoRelax  #EnfoPS    #Check   #ResProp    Cutoffs    DomReds       Cuts    Applied      Conss   Children
3587.94/3597.01	c   benderslp        :          0          0          0          0        136          0          0         20          0          0          0          0          0          0          0
3587.94/3597.01	c   integral         :          0          0          0          0        136          0          0         20          0          0          0          0          0          0        272
3587.94/3597.01	c   setppc           :       2676+      2806         11     812139          0          0          0         16      21941        339      29187          0          0          0          0
3587.94/3597.01	c   linear           :          0+         1          0        959          0          0          0          3          0          1          0          0          0          0          0
3587.94/3597.01	c   orbitope         :          1          1          0      22289          0          0          0          0          2          0         18          0          0          0          0
3587.94/3597.01	c   logicor          :      19382+     19506         11     197932          0          0          0          0      65004        169      43816         41         11          0          0
3587.94/3597.01	c   benders          :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   fixedvar         :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   components       :          0          0          0          0          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c Constraint Timings :  TotalTime  SetupTime   Separate  Propagate     EnfoLP     EnfoPS     EnfoRelax   Check    ResProp    SB-Prop
3587.94/3597.01	c   benderslp        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   integral         :      62.76       0.00       0.00       0.00      62.76       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   setppc           :       5.86       0.00       0.01       5.76       0.00       0.00       0.00       0.00       0.01       0.08
3587.94/3597.01	c   linear           :       0.02       0.02       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   orbitope         :       0.05       0.00       0.00       0.04       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   logicor          :      16.10       0.01       0.04      15.99       0.00       0.00       0.00       0.00       0.03       0.03
3587.94/3597.01	c   benders          :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   fixedvar         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   components       :       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c Propagators        : #Propagate   #ResProp    Cutoffs    DomReds
3587.94/3597.01	c   dualfix          :          1          0          0          0
3587.94/3597.01	c   genvbounds       :          0          0          0          0
3587.94/3597.01	c   nlobbt           :          0          0          0          0
3587.94/3597.01	c   obbt             :          0          0          0          0
3587.94/3597.01	c   probing          :          0          0          0          0
3587.94/3597.01	c   pseudoobj        :          0          0          0          0
3587.94/3597.01	c   redcost          :          0          0          0          0
3587.94/3597.01	c   rootredcost      :          0          0          0          0
3587.94/3597.01	c   symmetry         :       1768          0          0          5
3587.94/3597.01	c   vbounds          :       9174          0          0          0
3587.94/3597.01	c Propagator Timings :  TotalTime  SetupTime   Presolve  Propagate    ResProp    SB-Prop
3587.94/3597.01	c   dualfix          :       0.03       0.00       0.03       0.00       0.00       0.00
3587.94/3597.01	c   genvbounds       :       0.03       0.00       0.00       0.03       0.00       0.00
3587.94/3597.01	c   nlobbt           :       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   obbt             :       0.00       0.00       0.00       0.00       0.00       0.00
3587.94/3597.01	c   probing          :      60.48       0.00      60.48       0.00       0.00       0.00
3587.94/3597.01	c   pseudoobj        :       0.03       0.00       0.00       0.03       0.00       0.00
3587.94/3597.01	c   redcost          :       0.02       0.00       0.00       0.02       0.00       0.00
3587.94/3597.01	c   rootredcost      :       0.02       0.00       0.00       0.02       0.00       0.00
3587.94/3597.01	c   symmetry         :       0.17       0.00       0.13       0.04       0.00       0.00
3587.94/3597.01	c   vbounds          :       0.38       0.00       0.04       0.33       0.00       0.00
3587.94/3597.01	c Symmetry           :
3587.94/3597.01	c   orbitopal red.   :          0 reductions applied,          0 cutoffs
3587.94/3597.01	c   orbital reduction:          0 reductions applied,          0 cutoffs
3587.94/3597.01	c   lexicographic red:          5 reductions applied,          0 cutoffs
3587.94/3597.01	c   shadow tree time :       0.00 s
3587.94/3597.01	c Conflict Analysis  :       Time      Calls    Success    DomReds  Conflicts   Literals    Reconvs ReconvLits   Dualrays   Nonzeros   LP Iters   (pool size: [10000,10000])
3587.94/3597.01	c   propagation      :       0.04        506        169          -        591       86.2          9       11.1          -          -          -
3587.94/3597.01	c   infeasible LP    :       0.62         62          4          -        152     2179.1          9        9.7          1      935.0          0
3587.94/3597.01	c   bound exceed. LP :       0.00          0          0          -          0        0.0          0        0.0          0        0.0          0
3587.94/3597.01	c   strong branching :       0.00          0          0          -          0        0.0          0        0.0          -          -          0
3587.94/3597.01	c   pseudo solution  :       0.00          0          0          -          0        0.0          0        0.0          -          -          -
3587.94/3597.01	c   applied globally :       0.01          -          -          0        314       44.3          -          -          1          -          -
3587.94/3597.01	c   applied locally  :          -          -          -          0          0        0.0          -          -          0          -          -
3587.94/3597.01	c Separators         :   ExecTime  SetupTime      Calls  RootCalls    Cutoffs    DomReds  FoundCuts ViaPoolAdd  DirectAdd    Applied ViaPoolApp  DirectApp      Conss
3587.94/3597.01	c   cut pool         :       0.01          -         56         21          -          -        478       1007          -          -          -          -          -    (maximal pool size:        478)
3587.94/3597.01	c   aggregation      :       0.12       0.00         22         11          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   > cmir           :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.94/3597.01	c   > flowcover      :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.94/3597.01	c   > knapsackcover  :          -          -          -          -          -          -          -          0          0          0          0          0          -
3587.94/3597.01	c   cgmip            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   clique           :       2.68       0.00         11         11          0          0         80        117          0         51         51          0          0
3587.94/3597.01	c   closecuts        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   convexproj       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   disjunctive      :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   eccuts           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   gauge            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   gomory           :      34.37       0.00         21         10          0          0        277        700         26         40         37          3          0
3587.94/3597.01	c   > gomorymi       :          -          -          -          -          -          -          -        308         13         28         25          3          -
3587.94/3597.01	c   > strongcg       :          -          -          -          -          -          -          -        392         13         12         12          0          -
3587.94/3597.01	c   impliedbounds    :       0.17       0.00         22         11          0          0         44         65          0         34         34          0          0
3587.94/3597.01	c   interminor       :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   intobj           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   lagromory        :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   mcf              :       0.02       0.00          1          1          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   minor            :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   mixing           :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   multilinear      :       0.00       0.00         16         11          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   oddcycle         :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   rapidlearning    :       0.00       0.00          0          0          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   rlt              :       0.00       0.00         17         10          0          0          0          0          0          0          0          0          0
3587.94/3597.01	c   zerohalf         :      18.42       0.00         22         11          0          0        128        125         25        139        116         23          0
3587.94/3597.01	c Cutselectors       :   ExecTime  SetupTime      Calls  RootCalls   Selected     Forced   Filtered  RootSelec   RootForc   RootFilt 
3587.94/3597.01	c   hybrid           :       0.00       0.00         32         11        275          0        824        161          0        114
3587.94/3597.01	c   ensemble         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   dynamic          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c Pricers            :   ExecTime  SetupTime      Calls       Vars
3587.94/3597.01	c   problem variables:       0.00          -          0          0
3587.94/3597.01	c Branching Rules    :   ExecTime  SetupTime   BranchLP  BranchExt   BranchPS    Cutoffs    DomReds       Cuts      Conss   Children
3587.94/3597.01	c   allfullstrong    :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   cloud            :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   distribution     :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   fullstrong       :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   gomory           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   inference        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   leastinf         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   lookahead        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   mostinf          :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   multaggr         :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   nodereopt        :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   pscost           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   random           :       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c   relpscost        :      62.76       0.00        136          0          0          0          0          0          0        272
3587.94/3597.01	c   vanillafullstrong:       0.00       0.00          0          0          0          0          0          0          0          0
3587.94/3597.01	c Primal Heuristics  :   ExecTime  SetupTime      Calls      Found       Best
3587.94/3597.01	c   LP solutions     :       0.00          -          -          0          0
3587.94/3597.01	c   relax solutions  :       0.00          -          -          0          0
3587.94/3597.01	c   pseudo solutions :       0.00          -          -          0          0
3587.94/3597.01	c   strong branching :       0.00          -          -          0          0
3587.94/3597.01	c   actconsdiving    :       0.00       0.00          0          0          0
3587.94/3597.01	c   adaptivediving   :       0.00       0.00          0          0          0
3587.94/3597.01	c   alns             :       1.00       0.00          4          0          0
3587.94/3597.01	c   bound            :       0.00       0.00          0          0          0
3587.94/3597.01	c   clique           :       0.09       0.00          1          0          0
3587.94/3597.01	c   coefdiving       :       0.00       0.00          0          0          0
3587.94/3597.01	c   completesol      :       0.00       0.00          0          0          0
3587.94/3597.01	c   conflictdiving   :     510.95       0.00          1          0          0
3587.94/3597.01	c   crossover        :       0.00       0.00          0          0          0
3587.94/3597.01	c   dins             :       0.00       0.00          0          0          0
3587.94/3597.01	c   distributiondivin:       0.04       0.00          0          0          0
3587.94/3597.01	c   dps              :       0.00       0.00          0          0          0
3587.94/3597.01	c   dualval          :       0.00       0.00          0          0          0
3587.94/3597.01	c   farkasdiving     :       0.00       0.00          0          0          0
3587.94/3597.01	c   feasjump         :       0.04       0.00          1          0          0
3587.94/3597.01	c   feaspump         :     210.53       0.00          1          0          0
3587.94/3597.01	c   fixandinfer      :       0.00       0.00          0          0          0
3587.94/3597.01	c   fracdiving       :       0.00       0.00          0          0          0
3587.94/3597.01	c   gins             :       0.00       0.00          0          0          0
3587.94/3597.01	c   guideddiving     :       0.00       0.00          0          0          0
3587.94/3597.01	c   indcoefdiving    :       0.00       0.00          0          0          0
3587.94/3597.01	c   indicator        :       0.00       0.00          0          0          0
3587.94/3597.01	c   indicatordiving  :       0.00       0.00          0          0          0
3587.94/3597.01	c   indoneopt        :       0.00       0.00          0          0          0
3587.94/3597.01	c   indrounding      :       0.00       0.00          0          0          0
3587.94/3597.01	c   indtwoopt        :       0.00       0.00          0          0          0
3587.94/3597.01	c   intdiving        :       0.00       0.00          0          0          0
3587.94/3597.01	c   intshifting      :       0.00       0.00          0          0          0
3587.94/3597.01	c   linesearchdiving :       0.00       0.00          0          0          0
3587.94/3597.01	c   localbranching   :       0.00       0.00          0          0          0
3587.94/3597.01	c   locks            :       0.09       0.00          1          0          0
3587.94/3597.01	c   lpface           :       0.01       0.00          0          0          0
3587.94/3597.01	c   mpec             :       0.00       0.00          0          0          0
3587.94/3597.01	c   multistart       :       0.00       0.00          0          0          0
3587.94/3597.01	c   mutation         :       0.00       0.00          0          0          0
3587.94/3597.01	c   nlpdiving        :       0.00       0.00          0          0          0
3587.94/3597.01	c   objpscostdiving  :       0.00       0.00          0          0          0
3587.94/3597.01	c   octane           :       0.00       0.00          0          0          0
3587.94/3597.01	c   ofins            :       0.00       0.00          0          0          0
3587.94/3597.01	c   oneopt           :       0.00       0.00          0          0          0
3587.94/3597.01	c   padm             :       0.00       0.00          0          0          0
3587.94/3597.01	c   proximity        :       0.00       0.00          0          0          0
3587.94/3597.01	c   pscostdiving     :     340.50       0.00          1          0          0
3587.94/3597.01	c   randrounding     :       0.26       0.00         25          0          0
3587.94/3597.01	c   rens             :       0.44       0.00          1          0          0
3587.94/3597.01	c   reoptsols        :       0.00       0.00          0          0          0
3587.94/3597.01	c   repair           :       0.00       0.00          0          0          0
3587.94/3597.01	c   rins             :       0.00       0.00          0          0          0
3587.94/3597.01	c   rootsoldiving    :       0.00       0.00          0          0          0
3587.94/3597.01	c   rounding         :       0.14       0.00        128          0          0
3587.94/3597.01	c   scheduler        :       0.00       0.00          0          0          0
3587.94/3597.01	c   shiftandpropagate:       0.02       0.00          1          0          0
3587.94/3597.01	c   shifting         :       0.37       0.00         43          0          0
3587.94/3597.01	c   simplerounding   :       0.00       0.00          0          0          0
3587.94/3597.01	c   smallcard        :       0.00       0.00          0          0          0
3587.94/3597.01	c   subnlp           :       0.00       0.00          0          0          0
3587.94/3597.01	c   trivial          :       0.02       0.00          2          0          0
3587.94/3597.01	c   trivialnegation  :       0.00       0.00          0          0          0
3587.94/3597.01	c   trustregion      :       0.00       0.00          0          0          0
3587.94/3597.01	c   trysol           :       0.00       0.00          0          0          0
3587.94/3597.01	c   twoopt           :       0.00       0.00          0          0          0
3587.94/3597.01	c   undercover       :       0.00       0.00          0          0          0
3587.94/3597.01	c   vbounds          :       0.20       0.00          1          0          0
3587.94/3597.01	c   veclendiving     :       0.00       0.00          0          0          0
3587.94/3597.01	c   zeroobj          :       0.00       0.00          0          0          0
3587.94/3597.01	c   zirounding       :       0.03       0.00        136          0          0
3587.94/3597.01	c   other solutions  :          -          -          -          0          -
3587.94/3597.01	c LNS (Scheduler)    :      Calls  SetupTime  SolveTime SolveNodes       Sols       Best       Exp3    Exp3-IX  EpsGreedy        UCB TgtFixRate  Opt  Inf Node Stal  Sol  Usr Othr Actv
3587.94/3597.01	c   rens             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   rins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   mutation         :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   localbranching   :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   crossover        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   proximity        :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   dins             :          0       0.00       0.00          0          0          0    0.00000    0.14286   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    1
3587.94/3597.01	c   zeroobjective    :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.94/3597.01	c   trustregion      :          0       0.00       0.00          0          0          0    0.00000    0.00000   -1.00000    1.00000      0.900    0    0    0    0    0    0    0    0
3587.94/3597.01	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec  Time-0-It Calls-0-It    ItLimit
3587.94/3597.01	c   primal LP        :       0.15          7          0       0.00       0.00       0.15          7
3587.94/3597.01	c   dual LP          :    2342.07        227    1323568    5908.79     565.13       0.01          3
3587.94/3597.01	c   lex dual LP      :       0.00          0          0       0.00          -
3587.94/3597.01	c   barrier LP       :       0.00          0          0       0.00          -       0.00          0
3587.94/3597.01	c   resolve instable :       9.40          1      13103   13103.00    1394.45
3587.94/3597.01	c   diving/probing LP:    1074.57         35     419394   11982.69     390.29
3587.94/3597.01	c   strong branching :      49.23         23      22765     989.78     462.41          -          -         45
3587.94/3597.01	c     (at root node) :          -         23      22765     989.78          -
3587.94/3597.01	c   conflict analysis:       0.00          0          0       0.00          -
3587.94/3597.01	c B&B Tree           :
3587.94/3597.01	c   number of runs   :          1
3587.94/3597.01	c   nodes            :        236 (136 internal, 100 leaves)
3587.94/3597.01	c   feasible leaves  :          0
3587.94/3597.01	c   infeas. leaves   :         99
3587.94/3597.01	c   objective leaves :          0
3587.94/3597.01	c   nodes (total)    :        236 (136 internal, 100 leaves)
3587.94/3597.01	c   nodes left       :         38
3587.94/3597.01	c   max depth        :         62
3587.94/3597.01	c   max depth (total):         62
3587.94/3597.01	c   backtracks       :         16 (6.8%)
3587.94/3597.01	c   early backtracks :          0 (0.0%)
3587.94/3597.01	c   nodes exc. ref.  :          0 (0.0%)
3587.94/3597.01	c   delayed cutoffs  :          0
3587.94/3597.01	c   repropagations   :        889 (155 domain reductions, 0 cutoffs)
3587.94/3597.01	c   avg switch length:       8.97
3587.94/3597.01	c   switching time   :       0.59
3587.94/3597.01	c Root Node          :
3587.94/3597.01	c   First LP value   : +0.00000000000000e+00
3587.94/3597.01	c   First LP Iters   :      18596 (655.06 Iter/sec)
3587.94/3597.01	c   First LP Time    :      28.39
3587.94/3597.01	c   Final Dual Bound : +0.00000000000000e+00
3587.94/3597.01	c   Final Root Iters :     245332
3587.94/3597.01	c   Root LP Estimate : +1.42402598534319e-03
3587.94/3597.01	c Solution           :
3587.94/3597.01	c   Solutions found  :          0 (0 improvements)
3587.94/3597.01	c   Primal Bound     :          -
3587.94/3597.01	c   Dual Bound       : +0.00000000000000e+00
3587.94/3597.01	c   Gap              :   infinite
3587.94/3597.01	c Integrals          :      Total       Avg%
3587.94/3597.01	c   primal-dual      :  359699.94     100.00
3587.94/3597.01	c   primal-ref       :          -          - (not evaluated)
3587.94/3597.01	c   dual-ref         :          -          - (not evaluated)
3588.04/3597.16	c Time complete: 3588.1.

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=970822, runsolver pid=970819

[startup+0.100123 s]*
/proc/loadavg: 4.10 4.15 4.17 5/241 970823
/proc/meminfo: memFree=124507376/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=117896 memory=77860 CPUtime=0.1 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 16385 0 0 0 8 2 0 0 20 0 1 0 185848971 120725504 19465 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 29474 19465 3489 3540 0 17731 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 117896 KiB
Current children cumulated memory: 77860 KiB

[startup+0.213189 s]*
/proc/loadavg: 4.10 4.15 4.17 5/241 970823
/proc/meminfo: memFree=124434532/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=153548 memory=110776 CPUtime=0.21 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 24581 0 0 0 18 3 0 0 20 0 1 0 185848971 157233152 27694 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 38387 27694 3537 3540 0 26644 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 153548 KiB
Current children cumulated memory: 110776 KiB

[startup+0.313292 s]*
/proc/loadavg: 4.10 4.15 4.17 5/241 970823
/proc/meminfo: memFree=124387900/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=183140 memory=140644 CPUtime=0.32 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 33346 0 0 0 27 5 0 0 20 0 1 0 185848971 187535360 35161 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 45785 35161 3616 3540 0 34042 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 183140 KiB
Current children cumulated memory: 140644 KiB

[startup+0.70036 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 970823
/proc/meminfo: memFree=124391020/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=192260 memory=150344 CPUtime=0.69 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 37999 0 0 0 64 5 0 0 20 0 1 0 185848971 196874240 37586 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 48065 37586 3680 3540 0 36322 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 192260 KiB
Current children cumulated memory: 150344 KiB

[startup+1.50034 s]
/proc/loadavg: 4.10 4.15 4.17 5/241 970823
/proc/meminfo: memFree=124353180/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=233496 memory=188860 CPUtime=1.48 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 45271 0 0 0 142 6 0 0 20 0 1 0 185848971 239099904 47215 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 58374 47215 3728 3540 0 46631 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 233496 KiB
Current children cumulated memory: 188860 KiB

[startup+3.11285 s]
/proc/loadavg: 4.09 4.15 4.17 5/241 970824
/proc/meminfo: memFree=124268164/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=247984 memory=202840 CPUtime=3.09 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 48810 0 0 0 302 7 0 0 20 0 1 0 185848971 253935616 50710 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 61996 50710 3728 3540 0 50253 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 247984 KiB
Current children cumulated memory: 202840 KiB

[startup+6.30032 s]
/proc/loadavg: 4.09 4.15 4.17 5/241 970824
/proc/meminfo: memFree=124254364/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=248552 memory=203368 CPUtime=6.27 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 48952 0 0 0 620 7 0 0 20 0 1 0 185848971 254517248 50842 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 62138 50842 3728 3540 0 50395 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 248552 KiB
Current children cumulated memory: 203368 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.16 4.17 5/241 970826
/proc/meminfo: memFree=124237400/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=257420 memory=212200 CPUtime=12.66 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 52249 0 0 0 1258 8 0 0 20 0 1 0 185848971 263598080 53050 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 64355 53050 3728 3540 0 52612 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 257420 KiB
Current children cumulated memory: 212200 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.16 4.17 5/241 970828
/proc/meminfo: memFree=124232172/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=258928 memory=214008 CPUtime=25.42 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 52655 0 0 0 2534 8 0 0 20 0 1 0 185848971 265142272 53502 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 64732 53502 3728 3540 0 52989 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 258928 KiB
Current children cumulated memory: 214008 KiB

[startup+51.1129 s]
/proc/loadavg: 4.08 4.14 4.16 5/241 970832
/proc/meminfo: memFree=124089392/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=260044 memory=215032 CPUtime=50.95 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 52921 0 0 0 5087 8 0 0 20 0 1 0 185848971 266285056 53758 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 65011 53758 3728 3540 0 53268 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 260044 KiB
Current children cumulated memory: 215032 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/241 970842
/proc/meminfo: memFree=123912252/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=383404 memory=308192 CPUtime=101.98 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76548 0 0 0 10185 13 0 0 20 0 1 0 185848971 392605696 77048 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 95851 77048 3952 3540 0 84108 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 383404 KiB
Current children cumulated memory: 308192 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/243 970856
/proc/meminfo: memFree=123854560/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=385480 memory=308980 CPUtime=161.79 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76784 0 0 0 16166 13 0 0 20 0 1 0 185848971 394731520 77245 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 96370 77245 3952 3540 0 84627 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 385480 KiB
Current children cumulated memory: 308980 KiB

[startup+222.3 s]
/proc/loadavg: 4.29 4.16 4.17 5/243 970866
/proc/meminfo: memFree=123828480/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=385480 memory=308980 CPUtime=221.59 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76787 0 0 0 22146 13 0 0 20 0 1 0 185848971 394731520 77245 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 96370 77245 3952 3540 0 84627 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 385480 KiB
Current children cumulated memory: 308980 KiB

[startup+282.3 s]
/proc/loadavg: 4.68 4.31 4.22 5/243 970877
/proc/meminfo: memFree=123660508/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=386756 memory=309756 CPUtime=281.4 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 76983 0 0 0 28127 13 0 0 20 0 1 0 185848971 396038144 77439 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 96689 77439 3952 3540 0 84946 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 386756 KiB
Current children cumulated memory: 309756 KiB

[startup+342.3 s]
/proc/loadavg: 4.77 4.38 4.25 5/243 970888
/proc/meminfo: memFree=123523928/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=486612 memory=406228 CPUtime=341.22 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 84228 0 0 0 34106 16 0 0 20 0 1 0 185848971 498290688 101557 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 121653 101557 3952 3540 0 109910 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 486612 KiB
Current children cumulated memory: 406228 KiB

[startup+402.3 s]
/proc/loadavg: 4.68 4.45 4.28 5/243 970898
/proc/meminfo: memFree=123491840/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=502968 memory=419548 CPUtime=401.04 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 87598 0 0 0 40087 17 0 0 20 0 1 0 185848971 515039232 104887 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 125742 104887 3952 3540 0 113999 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 502968 KiB
Current children cumulated memory: 419548 KiB

[startup+462.3 s]
/proc/loadavg: 4.41 4.40 4.27 5/241 970910
/proc/meminfo: memFree=123464248/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=509880 memory=424144 CPUtime=460.88 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 88767 0 0 0 46070 18 0 0 20 0 1 0 185848971 522117120 106036 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 127470 106036 3952 3540 0 115727 0

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

/proc/loadavg: 4.16 4.12 4.15 5/244 972591
/proc/meminfo: memFree=123002460/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=651452 memory=586856 CPUtime=3214.07 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 129507 0 0 0 321383 24 0 0 20 0 1 0 185848971 667086848 146714 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 162863 146714 3999 3540 0 151120 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 651452 KiB
Current children cumulated memory: 586856 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/244 972601
/proc/meminfo: memFree=123002104/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=651452 memory=586856 CPUtime=3273.94 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 129731 0 0 0 327370 24 0 0 20 0 1 0 185848971 667086848 146714 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 162863 146714 3999 3540 0 151120 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 651452 KiB
Current children cumulated memory: 586856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/243 972613
/proc/meminfo: memFree=123001880/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=651452 memory=587620 CPUtime=3333.81 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130025 0 0 0 333357 24 0 0 20 0 1 0 185848971 667086848 146905 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 162863 146905 4190 3540 0 151120 0
Current children cumulated CPU time: 3333.81 s
Current children cumulated vsize: 651452 KiB
Current children cumulated memory: 587620 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.13 5/243 972623
/proc/meminfo: memFree=123001628/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=651452 memory=587620 CPUtime=3393.67 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130251 0 0 0 339343 24 0 0 20 0 1 0 185848971 667086848 146905 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 162863 146905 4190 3540 0 151120 0
Current children cumulated CPU time: 3393.67 s
Current children cumulated vsize: 651452 KiB
Current children cumulated memory: 587620 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.13 5/241 972633
/proc/meminfo: memFree=123001332/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=651452 memory=587620 CPUtime=3453.54 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130536 0 0 0 345330 24 0 0 20 0 1 0 185848971 667086848 146905 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 162863 146905 4190 3540 0 151120 0
Current children cumulated CPU time: 3453.54 s
Current children cumulated vsize: 651452 KiB
Current children cumulated memory: 587620 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.13 5/241 972643
/proc/meminfo: memFree=123001108/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=651452 memory=590240 CPUtime=3513.4 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 130763 0 0 0 351316 24 0 0 20 0 1 0 185848971 667086848 147560 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 162863 147560 4190 3540 0 151120 0
Current children cumulated CPU time: 3513.4 s
Current children cumulated vsize: 651452 KiB
Current children cumulated memory: 590240 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/243 972668
/proc/meminfo: memFree=122987684/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3573.27 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133224 0 0 0 357302 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3573.27 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

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

# cumulated CPU time of all completed processes:  user=3587.85 s, system=0.260175 s

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

[startup+3584 s]*
/proc/loadavg: 4.11 4.10 4.12 5/243 972668
/proc/meminfo: memFree=122987688/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3574.98 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133226 0 0 0 357473 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3574.98 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3590.4 s]
/proc/loadavg: 4.10 4.09 4.12 5/243 972668
/proc/meminfo: memFree=122987756/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3581.35 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133291 0 0 0 358110 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3581.35 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3593.6 s]
/proc/loadavg: 4.09 4.09 4.12 5/243 972670
/proc/meminfo: memFree=122987700/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3584.54 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358429 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3584.54 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3595.2 s]
/proc/loadavg: 4.09 4.09 4.12 4/234 972701
/proc/meminfo: memFree=123902076/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3586.14 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358589 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3586.14 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3596 s]*
/proc/loadavg: 4.09 4.09 4.12 3/229 972732
/proc/meminfo: memFree=123924312/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3586.95 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358670 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3586.95 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3596.8 s]
/proc/loadavg: 4.09 4.09 4.12 3/229 972732
/proc/meminfo: memFree=123924312/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3587.73 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358748 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3587.73 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3597 s]*
/proc/loadavg: 4.09 4.09 4.12 3/229 972732
/proc/meminfo: memFree=123924376/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=661536 memory=599920 CPUtime=3587.94 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133292 0 0 0 358769 25 0 0 20 0 1 0 185848971 677412864 149980 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 165384 149980 4190 3540 0 153641 0
Current children cumulated CPU time: 3587.94 s
Current children cumulated vsize: 661536 KiB
Current children cumulated memory: 599920 KiB

[startup+3597.11 s]
/proc/loadavg: 4.09 4.09 4.12 3/229 972732
/proc/meminfo: memFree=123924376/131655788 swapFree=131071996/131071996
[pid=970822] ppid=970819 vsize=588172 memory=526556 CPUtime=3588.04 cores=1,3
/proc/970822/stat : 970822 (pbscip) R 970819 970822 966724 0 -1 4194304 133298 0 0 0 358779 25 0 0 20 0 1 0 185848971 602288128 131639 134679101440 4194304 18693293 140733555505184 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 21375888 21430392 57438208 140733555512323 140733555512422 140733555512422 140733555519438 0
/proc/970822/statm: 147043 131639 4190 3540 0 135300 0
Current children cumulated CPU time: 3588.04 s
Current children cumulated vsize: 588172 KiB
Current children cumulated memory: 526556 KiB

Child status: 0

Real time (s): 3597.16
CPU time (s): 3588.11
CPU user time (s): 3587.85
CPU system time (s): 0.260175
CPU usage (%): 99.7482
Max. virtual memory (cumulated for all children) (KiB): 661536
Max. memory (cumulated for all children) (KiB): 599920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.85
system time used= 0.260175
maximum resident set size= 599920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133317
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= 34
involuntary context switches= 1433


# summary of solver processes directly reported to runsolver:
#   pid: 970822
#   total CPU time (s): 3588.11
#   total CPU user time (s): 3587.85
#   total CPU system time (s): 0.260175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9785 second user time and 32.4026 second system time

The end

Launcher Data

Begin job on nodeC010 at 2024-07-18 23:08:29
IDJOB=4446885
IDBENCH=158326
IDSOLVER=3059
FILE ID=nodeC010/4446885-1721336898
RUNJOBID= nodeC010-1721329708-966736
SLURM_JOB_ID= 7542700
Free space on /tmp= 723724 MiB

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

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

MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=284713794

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		: 3491.754
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		: 3491.761
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.184
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.180
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.754
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		: 3491.841
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.338
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.173
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:        124600376 kB
MemAvailable:   129546692 kB
Buffers:          508140 kB
Cached:          5218416 kB
SwapCached:            0 kB
Active:          1017684 kB
Inactive:        5360900 kB
Active(anon):       1464 kB
Inactive(anon):   687976 kB
Active(file):    1016220 kB
Inactive(file):  4672924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             79856 kB
Writeback:             0 kB
AnonPages:        651692 kB
Mapped:           136616 kB
Shmem:             37704 kB
KReclaimable:     194408 kB
Slab:             309640 kB
SReclaimable:     194408 kB
SUnreclaim:       115232 kB
KernelStack:        3884 kB
PageTables:        10424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1049072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58752 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 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= 723744 MiB
End job on nodeC010 at 2024-07-19 00:08:26